Subgroups_of_Additive_Group_of_Integers

Let $\struct {\Z, +}$ be the additive group of integers. Let $n \Z$ be the additive group of integer multiples of $n$. Every non-trivial subgroup of $\struct {\Z, +}$ has the form $n \Z$.