# nLab ordinary homology spectra split

cohomology

### Theorems

#### Stable Homotopy theory

stable homotopy theory

Introduction

# Contents

#### Higher algebra

higher algebra

universal algebra

# Contents

## Statement

For $S$ any spectrum and $H A$ an Eilenberg-MacLane spectrum, then the smash product $S\wedge H A$ (the $A$-ordinary homology spectrum) is non-canonically equivalent to a product of EM-spectra (hence a wedge sum of EM-spectra in the finite case).

A variant for generalized (Eilenberg-Steenrod) cohomology:

Let $X$ be a topological space such that each of the ordinary homology groups $H_n(X,\mathbb{Z})$ is a free abelian group on genrators $\{h_{\alpha,n}\}_{\alpha \in B_n}$. Write $c_{\alpha,n} \in H^n(X,\mathbb{Z}) \simeq Hom(H_n(X,\mathbb{Z}), \mathbb{Z})$ for the corresponding dual basis.

Let $E$ be a multiplicative cohomology theory and write $h'_{n,\alpha} \in (\tau_{\leq 0} E)_n(X)$ and $c'_{n,\aloha} \in (\tau_{\leq 0} E)^n(X)$for the images of these generators under the 0-truncated unit map

$H \mathbb{Z} \simeq \tau_{\leq 0} \mathbb{S} \stackrel{}{\longrightarrow} \tau_{\leq 0} E \,.$
###### Proposition

If one of the following conditions is satisfied

• Each $h'_{n,\alpha}$ lifts through $E_n(X) \to (\tau_{\leq 0}E)_n(X)$;

• each $H_n(X,\mathbb{Z})$ is finitely generated and each $c'_{n,\alpha}$ lifts through $E^n(X) \to (\tau_{\leq 0}E)^n(X)$,

then there are non-canonical equivalences as follows:

1. $E \wedge \Sigma^\infty X_+ \simeq \underset{n,\alpha}{\vee} \Sigma^n E \;\; \in E Mod$ ;

2. $[X,E] \simeq \underset{n,\alpha}{\prod} \Sigma^{-n} E$;

3. $E_\bullet(X) \simeq \pi_\bullet(E) \otimes H_\bullet(X,\mathbb{Z})$

and

$E^\bullet(X)\simeq Hom(H_\bullet(X), \pi_\bullet(E))$