It's wellknown that that a subgroup of a free group is free. Is a subgroup of a free abelian group (may not be finitely generated) always a free abelian group?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Yes. (EDIT: If you don't like following links, this is the Wikipedia article on Free abelian groups which, uncharacteristically, contains a complete (and correct) proof of precisely that statement). 


A variety of groups $V$ is said to have the Schreier property if every subgroup of a free group in the variety is free. It is a classical theorem of Peter Neumann and James Wiegold that the only varieties of groups with the Schreier property are: the (absolutely) free groups, the free abelian groups, and the free exponent $p$ abelian groups for $p$ prime. 

