\(E_ *\)-injective spectra and injective \(E_ *E\)-comodules
type: Item
instance of: scholarly article
title: \(E_ *\)-injective spectra and injective \(E_ *E\)-comodules
zbMATH Open document ID: 0758.55006
author: Zen-ichi Yosimura
published in: Osaka Journal of Mathematics
publication date: 1993-01-16T00:00:00Z
review text: A spectrum \(W\) was defined by Ohkawa to be \(E_ *\)-injective if whenever \(f: X\to Y\) has \(E_ *f\) monic, then \(f^*: [Y,W]\to [X,W]\) is epic. In this paper, other characterizations of this property are presented. If \(E\) satisfies a technical condition which is satisfied by \(S\), \(HZ/p\), \(MO\), \(MU\), \(MSp\), \(KU\), and \(KO\), then each of the following four conditions is equivalent to \(W\) being \(E_ *\)-injective. (i.) \(W\) is a quasi \(E\)-module spectrum such that \(E_ *W\) is injective as an \(E_ *E\)-module. (ii.) \(W\) is an \(E_ *\)-local spectrum such that \(E_ *W\) is injective as an \(E_ *E\)-comodule. (iii.) \([X,W]\to \text{Hom}_{E_ *E}(E_ *X,E_ *W)\) is bijective for all \(X\). (iv.) \([X,W]\to\text{Hom}_{E_ *E}(E_ *X,E_ *W)\) is injective for any \(X\). Another result says that \(W\) is \(HG_ *\)-injective if and only if \(W\) is a generalized Eilenberg-MacLane spectrum \(\bigvee_ n\Sigma^ n HA_ n\) with \(A_ n\) a direct summand of \(\text{Hom}(G,D_ n)\) with \(D_ n\) divisible.
Mathematics Subject Classification ID: 55P42
zbMATH DE Number: 93859
zbMATH Keywords: injective spectrum
zbMATH Keywords: Eilenberg-MacLane spectrum
reviewed by: Donald M. Davis
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 93859