ideals of a discrete valuation ring are powers of its maximal ideal
Theorem 1.
Let be a discrete valuation ring. Then all nonzero ideals of are powers of its maximal ideal .
Proof. Let (that is, is a uniformizer for ). Assume that is not a field (in which case the result is trivial), so that .Let be any ideal; claim for some . By the Krull intersection theorem, we have
so that we may choose with . Since , we have for . , since otherwise , so that is a unit (in a DVR, the maximal ideal consists precisely of the nonunits). Thus .
Corollary 1.
Let be a Noetherian local ring
with a principal maximal ideal. Then all nonzero ideals are powers of the maximal ideal .
Proof. Let be an ideal of . Then by the above argument, for each , for a unit, and thus for .