How to find all subgroups of $(\mathbb{Q},+)$
Solution 1:
Let $A$ be an additive subgroup of $\mathbb Q$. Let $D$ be the set of denominators occurring in $A$ when you consider reduced fractions only. Then the following are easy to prove:
- $b\in D, u \mid b \implies u\in D$
- $u,v \in D, (u,v)=1 \implies uv \in D$
The first property means that you cannot increase the power of a prime in $D$. The second property means that you can combine powers of different primes. That should give you a description of $D$.
$A \cap \mathbb Z$ is an additive subgroup of $\mathbb Z$ and these are easy to characterize. That should give you a description of the set $N$ of numerators in $A$.
For a complete solution, see the paper
Ross A. Beaumont and H. S. Zuckerman, A characterization of the subgroups of the additive rationals, Pacific J. Math. Volume 1, Number 2 (1951), 169-177. MR0044522