Earlier I went over the definition and first properties of a discrete valuation ring. Today, it’s time to say how we can tell a ring is a DVR–it turns out to be not too bad, which is nice because the properties we need in this criterion are often easier to work with than the existence of some discrete valuation.
Today’s result is:
Theorem 1 If the domain is Noetherian, integrally closed, and has a unique nonzero prime ideal , then is a DVR. Conversely, any DVR has those properties.
This is equivalent to the fact that Dedekind domains have unique factorization, as we’ll see eventually.
We will show that is principal, by showing it is invertible (as will be seen below). We divide the proof into steps:
For an ideal , let , where is the quotient field of . Then clearly and is an -module, but it isn’t clear that .
Nevertheless, I claim that .
The proof runs across a familiar line—show that any maximal element in the set of with is prime. Then, since there is a maximal element (by Noetherianness) containing any for (in which case ), that maximal element must be , which proves our claim.
So to fill in the missing link, we must prove:
Lemma 2 If is a Noetherian domain, any maximal element in the set of ideals with is prime.
Let be a maximal element, and suppose , with . I claim that if , then . The part follows since is a -module.
By symmetry it’s enough to prove the other half for ; but then if , we’d have , which implies , contradiction.
Then it follows that , by applying the claim I just made twice. But , contradiction.
I now claim . Well, we know that by definition of inverses. and too. So is an ideal sandwiched between and . Thus we only need to prove that is impossible. To do this, choose some which must satisfy . Now by the next lemma, is integral over .
Lemma 3 If is a finitely generated -module satisfying for some , then is integral over .
This follows by the Cayley-Hamilton theorem, and is a standard criterion for integrality. (It can even be generalized to faithful finitely generated -modules.)
So returning back above, is integral over , a contradiction by integrally closedness.
Now I claim is principal, which by Proposition 6 two days ago proves the claim. Indeed, since , write
At least one is invertible, since is local. Then I claim . Indeed, if , then
So we’re done. Taking stock, we have an effective way to say whether a ring is a DVR. Next up, we’ll discuss the application to Dedekind domains and factorization of ideals. Then, completions for fields, which will be a reprise of what we’ve already said for rings so will go quickly and extensions of valuations. Then, ramification. But I should not try to plan too far ahead, since I usually end up changing my mind anyway.
Oh, and I should do a bit of citation- I’m following Serre’s Local Fields and Cassels-Frohlich’s Algebraic Number Theory here as primary sources, but I’ll probably use Lang’s Algebraic Number Theory as well as some commutative algebra books as I continue into more heavily number-theoretic material.