Skip to main content
1 of 2
Dai Tamaki
  • 1.5k
  • 9
  • 14

Do you want to know the integral homology?

If you are happy with homology with coefficients in $\mathbb{F}_p$, the best way to compute (and describe) the homology of Eilenberg-MacLane spaces is the technique developed in a paper by Ravenel and Wilson (MathSciNet). See also Wilson's "sampler" (MathSciNet). They used the structure called Hopf ring (a collection of Hopf algebras equipped with other operation) to describe $\{H_*(K(\mathbb{Z},n);\mathbb{F}_p)\}_{n\ge 0}$ as a whole.

It turns out the Hopf ring structure is compatible with the Eilenberg-Moore spectral sequence and we obtain the Hopf algebra structure on the homology of Eilenberg-MacLane spaces easily. It is also important their technique works for generalized homology theories. In fact, their motivation was to compute the Morava $K$-theory of Eilenberg-MacLane spaces.

Dai Tamaki
  • 1.5k
  • 9
  • 14