# Divisible groups, exercise from Rotman's theory of groups

The following exercise is from Rotman, An Introduction to the theory of groups, 4th ed, p324. "The following conditions on a group G are equivalent: (i) G is divisible, (ii) Every nonzero quotient of G is infinite, (iii) G has no maximal subgroups."

I can prove that (i) implies (ii) and that (ii) is equivalent to (iii) but I am having trouble with showing that (iii) implies (i) and (ii) implies (i). Any suggestions?

• Don't prove (ii) implies (i). It is enough to show (iii) implies (i) to show all are equivalent. – John Habert Feb 18 '14 at 21:10

A more elementary approach to showing $(iii) \Rightarrow (i)$ is to show the contrapositive: Suppose $G$ is not divisible, then for some minimal positive integer $n$, $nG < G$ is a proper subgroup. Since $G$ is abelian, $nG$ is normal. Now consider the quotient $G/nG$; this is again an abelian group where every element of $G/nG$ has order dividing $n$.
To to find a proper maximal subgroup of $G/nG$ there are two cases to consider, if $n$ is prime then $\mathbb{Z}/n\mathbb{Z}$ is a field and $G/nG$ is in fact a $\mathbb{Z}/n\mathbb{Z}$-vector space, so by Zorn's lemma you can find a basis, and a maximal "codimension-1" subspace. If $n$ is composite, I leave the argument up to you, and I'm sure you can figure out the rest.
Let $\Phi(G)$ be the Frattini subgroup of G, i.e. the intersection of all maximal subgroups of G. There is a lemma due to Dlab that states $$\Phi(G) = \bigcap_{p \in \mathbb{P}} \ pG$$ where $\mathbb{P}$ is the set of prime integers.
So $\Phi(G) = G \Leftrightarrow G$ has no maximal subgroups, and in this case $G = \bigcap_{p \in \mathbb{P}} \ pG$, i.e. G is divisible.