PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] ideals of a discrete valuation ring are powers of its maximal ideal (Theorem)
Theorem 1   Let $R$ be a discrete valuation ring. Then all nonzero ideals of $R$ are powers of its maximal ideal $\smm$ .

Proof. Let $\smm = (\pi)$ (that is, $\pi$ is a uniformizer for $R$ ). Assume that $R$ is not a field (in which case the result is trivial), so that $\pi\neq 0$ . Let $I=(\alpha)\subset R$ be any ideal; claim $(\alpha)=\smm^k$ for some $k$ . By the Krull intersection theorem, we have $$ \bigcap_{n\geq 0}\smm^n=(0 $$ so that we may choose $k\geq 0$ with $\alpha\in \smm^k-\smm^{k+1}$ . Since $\alpha\in\smm^k$ , we have $\alpha = u\pi^k$ for $u\in R$ . $u\notin \smm$ , since otherwise $\alpha\in\smm^{k+1}$ , so that $\alpha$ is a unit (in a DVR, the maximal ideal consists precisely of the nonunits). Thus $(\alpha)=(\pi)^k$ .

Corollary 1   Let $R$ be a Noetherian local ring with a principal maximal ideal. Then all nonzero ideals are powers of the maximal ideal $\smm$ .

Proof. Let $I=(\alpha_1,\ldots,\alpha_n)$ be an ideal of $R$ . Then by the above argument, for each $i$ , $\alpha_i = u_i\pi^{k_i}$ for $u_i$ a unit, and thus $I=(\pi^{k_1},\ldots,\pi^{k_n}) = (\pi^k)$ for $k=\min(k_1,\ldots,k_n)$ .




"ideals of a discrete valuation ring are powers of its maximal ideal" is owned by rm50. [ full author list (2) ]
(view preamble | get metadata)

View style:

See Also: p-adic canonical form, ideal decomposition in Dedekind domain


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: argument, local ring, Noetherian, unit, Krull intersection theorem, field, uniformizer, proof, maximal ideal, powers, ideals, discrete valuation ring

This is version 6 of ideals of a discrete valuation ring are powers of its maximal ideal, born on 2008-04-21, modified 2008-05-06.
Object id is 10528, canonical name is IdealsOfADiscreteValuationRingArePowersOfItsMaximalIdeal.
Accessed 615 times total.

Classification:
AMS MSC13F30 (Commutative rings and algebras :: Arithmetic rings and other special rings :: Valuation rings)
 13H10 (Commutative rings and algebras :: Local rings and semilocal rings :: Special types )

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)