If you visit this [link](http://www.springerlink.com/content/ug8h1563j3484211/), you'll see at the top of the PDF view. Basic properties of finite abelian groups:


Every quotient group of a finite abelian group is isomorphic to a subgroup.


If the above statement true, it would make some proofs in Serge Lang's Algebra easier, particularly in the p-Sylow groups section.


I know that there is a correspondence between subgroups of G/N and subgroups of G containing N, but the corresponding groups are not necessarily isomorphic or are they?



Any factor group of a finite abelian group is isomorphic to some subgroup
The result you are interested in is Theorem 19 on page 8 of


[http://alpha.math.uga.edu/~pete/4400algebra2point5.pdf](http://alpha.math.uga.edu/%7Epete/4400algebra2point5.pdf)


As I explain there, this fact is a kind of duality statement, but it lies deeper than the fact that passage to the dual group takes injections to surjections and conversely (Proposition 16). To deduce Theorem 19 from Proposition 16, one needs the fact that a finite abelian group is [oy vey -- *at least*] non-canonically isomorphic to its own dual group (Theorem 20), which I go on to prove in Section 5 of these notes in the most elementary way I know how.


Note that the first step in the proof of Theorem 20 develops the Sylow theory of finite abelian groups from scratch -- this is much easier than the nonabelian case.


