# A divisible abelian group is not finitely generated: group theoretical proof

Do you a group theoretical proof of the following result?:

Theorem: A (non trivial) divisible abelian group is not finitely generated.

The only proof I know uses the fundamental theorem of finitely generated abelian groups, mainly based on ring theory.

-
The only ring theory involved in the proof of the fundamental theorem is the Euclidean algorithm in the integers, and you won't get very far in group theory without using that at some point! –  Derek Holt Feb 20 '13 at 14:57
@DerekHolt: It is not the problem, I think it is interesting to know whether the property holds thanks to the group structure or to the ring structure. –  Seirios Feb 20 '13 at 20:15

Hints:

1) An abelian divisible group cannot have maximal groups (or, more generally, finite index subgroups);

2) A f.g. abelian group always has maximal subgroups.

-
@Seirios: It can be proved that an abelian group $G$ is f.g. iff it is a quotient of a free abelian group of finite rank. –  Babak S. Feb 20 '13 at 16:18