Quotient of a free abelian group that is not free abelian I'm looking for a tangible example of a free abelian group whose quotient with a subgroup is not free abelian. There's a theorem that says that every abelian group is a quotient of some free group, but I'm looking for a more exact example.
 A: The most obvious example of a free group is $\Bbb Z$--which is the free group of one generator. (Can you see why?)
Now consider any finite cyclic group--necessarily abelian but not a free abelian group, and (isomorphic with) a quotient of $\Bbb Z$.
A: The confusion maybe because every subgroup of a free abelian group is free abelian, while for  the quotient group this is not necessarily true. The canoical example maybe $\mathbb{Z}/p\mathbb{Z}$, where $p$ is prime. Here $\mathbb{Z},p\mathbb{Z}$ are both free but the above group is not free. The wiki article probably can provide more information on this. 
A: The fact that you mention is a more general fact, i.e. every module is factor of a free module - you can imagine the construction in the following way:
take "enough" generators and create a free module over them, then, since different modules differ in "which elements are the same", i.e. in relations between the elements (therefore between the generators), create a submodule of relations $R$; factoring $R$ away is just like saying "the relations in $R$ are not important, zero" and in this way you can naturally get any module.
The example of $\mathbb{Z}_p$'s is:
take one element $x$ and create free group, so you get $F = \mathbb{Z}x$ (which is isomorphic to $\mathbb{Z}$); now you want to say that if two elements differ in a multiple of $p$, they're the same, so the relation submodule $R$ is $p\mathbb{Z}x$ (it contains $...,-1p, 0x, px, 2px..$) and factoring it out you say that all these elements are equal to each other (so to $0$ as well). If now you have for example $(2p + r)x$ and $(3p + r)x$ two elements of $F$, their difference is $p$, which lies in $R$, i.e. it "is not important", these two are the same in factor and you got the structure of $\mathbb{Z}_p$. 
