Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

An exercise in Hatcher's book asks to prove that whenever $X$ is a space with the homology groups $H_n(X; \mathbb{Z})$ finitely generated free abelian for each $n \geq 0$, then $H^*(X; \mathbb{Z}) \otimes \mathbb{Z}_p$ and $H^*(X;\mathbb{Z}_p)$ are isomorphic as graded rings.

I've only started to learn about the cup product and I have no idea how to proceed. I see that the two objects in question are isomorphic as groups (from the universal coefficients theorem), but that's about it. So the question is: how to prove the statement in the title of the question?

share|cite|improve this question

Hint: $H^n(X)\to H^n(X;\mathbb{Z}_p)$ is a ring homomorphism. Putting that in a well-chosen commutative diagram, you ultimately need to show that a map $\prod\mathbb{Z}\to\prod\mathbb{Z}_p$ induces an isomorphism $(\prod\mathbb{Z})\otimes\mathbb{Z}_p\to\prod\mathbb{Z}_p$.

share|cite|improve this answer

The universal coefficient theorem says not only that the two are isomorphic as groups but that a natural map between them, namely the reduction $\bmod p$ map $H^{\bullet}(X, \mathbb{Z}) \otimes \mathbb{Z}_p \to H^{\bullet}(X, \mathbb{Z}_p)$, is an isomorphism. This map always respects cup products (with no hypotheses).

share|cite|improve this answer

Since $H_n(X;Z)$ finitely generated free abelian for each $n≥0$ So the Tor part will vanish in the short exact sequence for homology.Another observation: Since homology free this implies $H_n(X) = H^n(X)$.Hence the result follows.

share|cite|improve this answer

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.