13
$\begingroup$

Exercise 1.6.13 from Scott's book Group Theory.

(Hard) Find all subgroups of $(\mathbb{Q},+)$. Hint: It is slightly easier to find those subgroups $H$ such that $1\in H.$

I've found some of those subgroups: $\mathbb{Z}$, $\mathbb{Q}$, $\langle 1,\frac{1}{2}\rangle$, $\langle 1,\frac{1}{2},\frac{1}{3}\rangle$, $\cdots $. But can't I find all of them. How to find them?

  • 0
    $\LaTeX$ tip: use `\langle`: $\langle$; and `\rangle` $\rangle$; for angle brackets, not `<` and `>`. The latter are operators, the former are delimiters. The spacing provided by $\LaTeX$ is different.2012-02-01

1 Answers 1

15

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

  • 3
    The solution can be simplified from the form in the paper -- you don't have to treat the numerator and denominator separately. Choose $k_i \in \mathbb{Z} \cup \{ -\infty \}$. The corresponding subgroup is the set of all rationals whose prime factorization has the property that the exponent on $p_i$ is bigger than or equal to $k_i$.2012-03-01