4
$\begingroup$

Another result I would really appreciate some help with:

Suppose $R$ is a DVR and let $K$ be its field of fractions. Let $L$ be a finite extension of $L$. Prove that any valuation domain inside of $L$ containing $R$ must also be a DVR.

This is exercise 11.2 from Matsumura's Commutative Ring Theory. I suppose it uses the Krul-Akizuki theorem but I don't see it. Thank you!

1 Answers 1

4

A valuation ring is noetherian if and only if it is a DVR. Krull Akizuki now concludes.

My claim is a rather classical result. Indeed, a DVR is noetherian. If $A$ is a noetherian valuation ring, let $\mathfrak m$ be its maximal ideal. Since $A$ is noetherian, it is generated by $n$ elements, $a_1,\ldots,a_n$. Choose the one with minimal valuation, let's say that it is $a_1$. Then $\frac{a_i}{a_1} \in A$, i.e. $\mathfrak m = (a_1)$. Hence $\mathfrak m$ is principal, and so $A$ is a DVR.

  • 1
    Since mathematicians usually choose names for things with intelligence, I totally agree. I just wanted to s$k$etch the idea of the construction, which is not totally obvious, imho. I didn't mean to attac$k$ you.2012-12-04