Hatcher Corollary 3.39, making unstated assumptions?

Question

The Corollary 3.39 on page 250 says:

If $M$ is a closed connected orientable $n$-manifold, then an element $\alpha \in H^k(M;\mathbb{Z})$ generates an infinite cyclic summand of $H^k(M;\mathbb{Z})$ iff there exists an element $\beta \in H^{n-k}(M;\mathbb{Z})$ such that $\alpha \smile \beta$ is a generator of $H^n(M;\mathbb{Z}) \approx \mathbb{Z}$.

My question regards what he means by "infinite cyclic summand". If we are assuming finitely generated homology groups then this statement makes sense to me using the classification of finitely generated abelian groups. However, no assumption has been stated anywhere in the preceding text. What am I missing?

Compact manifolds have finitely generated (co)homology. See https://math.stackexchange.com/questions/263064/finitely-generated-singular-homology — user281392, Jul 26 '17 at 21:39

score 2 · Answer 1 · answered Jul 27 '17 at 02:31

2

Every compact manifold has finitely generated homology groups, as Hatcher mentions on page 231. You can find a proof in the appendix of the book (Corollaries A.8 and A.9).

answered Jul 27 '17 at 02:31

Eric Wofsey

342,377

Hatcher Corollary 3.39, making unstated assumptions?

1 Answers1