12
$\begingroup$

Show that every finite subgroup of the quotient group $\mathbb{Q}/\mathbb{Z}$ (under addition) is cyclic.

Note: there is a related problem which I just proved: "Let $G$ be a finite abelian group, then $G$ is non-cyclic iff $G$ has a subgroup isomorphic to $C_p \times C_p$ for some prime $p$."

Since $\mathbb{Q} /\mathbb{Z}$ is abelian, so based on the related problem it suffices to show it has no elementary abelian subgroup group. I tried to start prove by contradiction: Let $\mathbb{Z} such that

$A$/$\mathbb{Z} \simeq C_p \oplus C_p$ for some prime p, but I can't proceed further.

  • 6
    Let $G < \mathbb Q/\mathbb Z$ be finite, can't you just take a minimal element of $\{q \in (0,1]\mid q + \mathbb Z \in G\}$ and prove that $q + \mathbb Z$ generates $G$?2012-06-20
  • 6
    I don't think your idea of proving that there is no subgroup isomorphic to $C_p \oplus C_p$ is the best method for this problem. Follow martini's hint. More concretely, let $n$ be the LCM of all denominators in the elements of $G$ and show that $G$ is a subgroup of the cyclic subgroup $\{ \mathbb{Z} + a/n \mid a \in \mathbb{Z} \}$.2012-06-20
  • 0
    While I agree with above comments, I think your way should be possible too, but harder. (Following their hints it is very straightforward.) @user1729 the homomorphic image is never finite, except when trivial!2012-06-20
  • 0
    I think I should withdraw somewhat. In the end, I believe you need to do pretty much the same observations as in the comments to show what you intended to show.2012-06-20
  • 1
    @user1729 how so? $\mathbf Q^2$ is certainly divisible and has noncyclic finite subgroups.2012-06-20
  • 0
    @tomasz: I have no idea what I was thinking!2012-06-20
  • 0
    The method the OP used can be turned into a proof. Namely, let $\phi_n$ be the map that sends $g$ to $ng$. On $\mathbb{Q}/\mathbb{Z}$, the kernel of $\phi_n$ has $n$ elements for any $n$. But on $C_p \oplus C_p$ the kernel of $\phi_p$ has more than $p$ elements. Hence it can not be a subgroup of $\mathbb{Q}/\mathbb{Z}$. (the same argument also works for any finite abelian non-cyclic group $G$, by the classification theorem, there is always some $n$ for which ${\rm ker}(\phi_n)$ has $>n$ elements in $G$, and hence $G$ can not be a subgroup of $\mathbb{Q}/\mathbb{Z}$.2018-09-07

3 Answers 3

10

Not in the direction you wish but you can identify $\mathbb{Q}/\mathbb{Z}$ as a subgroup of the complex numbers: $\mathbb{Q}/\mathbb{Z} < \mathbb{R}/\mathbb{Z} \cong S^1 \subset \mathbb C^\times$, and then use that every finite multiplicative subgroup of a field is cyclic.

  • 1
    See also http://mathoverflow.net/questions/54735/collecting-proofs-that-finite-multiplicative-subgroups-of-fields-are-cyclic2012-06-20
2

Following your characterisation of cyclic groups it suffices to show that $\mathbb{Q}/\mathbb{Z}$ contains only $p-1$ elements of order $p$ for any given prime $p$. Those are easy to find and it is straightforward to show that there cannot be any more elements of this order.

1

Consider the natural homomorphism $\mathbb{Q}\rightarrow\mathbb{Q}/\mathbb{Z}$ and lift a set $\overline{q}_1,\ldots ,\overline{q}_r$ of generators of the finite subgroup $\overline{G}$ under consideration to $\mathbb{Q}$. The group $\overline{G}$ then is the image of $G:=\mathbb{Z}q_1 +\ldots \mathbb{Z}q_r$, where $q_i$ is the preimage of $\overline{q}_i$. The $\mathbb{Z}$-module $G$ is free of rank $1$ - one only needs the existence of gcd's in $\mathbb{Z}$ to see this. Thus $G$ and hence $\overline{G}$ are cyclic.

  • 0
    This is pretty much the the solution in comments.2012-06-20