MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I was looking through my notes for a homotopy theory course and found the following mysterious statement (K is of course the Eilenberg-Maclane space):

$$H^{n+1}(K(\mathbb Z_p,n);\mathbb Z_p) \cong \mathbb Z_p.$$

(This would be obvious if n+1 were replaced with n. This is supposed to imply that the natural transformations $H^n(X; \mathbb Z_p)\to H^{n+1}(X; \mathbb Z_p)$ are all multiples of the Bockstein homomorphism).

I'm at a loss trying to understand why. Spectral sequences haven't been covered yet, so there should be some simple reason. Also, is there a way to see the Bockstein in all this?

Thank you!

share|cite|improve this question
it is correct that those elements are multiples of the bockstein. – Sean Tilson Aug 8 '10 at 18:22
up vote 12 down vote accepted

Universal coefficient theorem + $H_{n+1}(K(Z_p,n);Z)=0$. An elementary way to see the latter is that the single $n+1$ cell added to $S^n$ to kill $p$ times the generator is not a cellular cycle.

share|cite|improve this answer
Thank you! This seems to sum it up pretty well. – Ilya Grigoriev Feb 8 '10 at 4:54

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.