[Math] Is every abelian group a product of cyclic groups

abelian-groups

This lecture notes from John Jones https://www2.warwick.ac.uk/fac/sci/maths/people/staff/vincent/cohomology.pdf state that abelian groups are a product of cyclic groups (page 9).

We know that this is true if the group is finite or finitely generated. But does it hold in general for any abelian group?

Best Answer

No, most non-finitely generated abelian groups are not products of cyclic groups. For instance, a product of infinitely many nontrivial cyclic groups is uncountable (since any product of infinitely many sets with more than one element is uncountable). So any countable abelian group that is not finitely generated cannot be a product of cyclic groups. A simple example of such a group is $\mathbb{Q}$.

The proof that $\mathbb{Q}$ is injective in those notes is totally wrong (it's not even correct if you assume $P$ and $Q$ are finitely generated; it seems to be implicitly assuming $P$ is a direct summand of $Q$). A correct proof involves extending $f$ from $P$ to $Q$ one element at a time by transfinite induction, using the divisibility of $\mathbb{Q}$.

Related Question