## is Noetherian

The ring of integers is Noetherian because every ideal of is generated by one element.

Proposition 4.1.9   Every ideal of the ring of integers is principal.

Proof. Suppose  is a nonzero ideal in  . Let  the least positive element of . Suppose that is any nonzero element of . Using the division algorithm, write , where  is an integer and . We have and , so our assumption that is minimal implies that , so is in the ideal generated by . Thus  is the principal ideal generated by .

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