Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question
3  
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

1 Answer 1

up vote 6 down vote accepted

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.

share|improve this answer
    
@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

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.