Proposition 4.1.6 and 4.1.9 together imply that any finitely generated abelian group is Noetherian. This means that subgroups of finitely generated abelian groups are finitely generated, which provides the missing step in our proof of the structure theorem for finitely generated abelian groups.

William Stein 2004-05-06