Noetherianity of valuation ring and valuation being discrete

119 Views Asked by At

I need a hint for left to right part of the following:

Let $K$ be a valued field with $\nu$ and $\mathcal{O}_\nu$ be its valuation ring. Then, $\mathcal{O}_\nu$ is Noetherian if and only if $\nu$ is discrete.

My intuition is, considering the contrapositive, if $\nu$ is not discrete, then there will be a non-integer valuation $q$ and the ideals (corresponding valuations) "converging" to $q$ would not satisfy the ascending chain condition.

Is it more or less a right track? In case not, I would appreciate any help...

1

There are 1 best solutions below

0
On BEST ANSWER

Hint: Recall that in a valuation ring, the ideals are linearly ordered.

So, if $\mathcal{O}_v$ is Noetherian, then $\mathfrak{m}_v=(a_1,\ldots,a_n)$, and by the above we may assume that $(a_1)\subseteq\cdots\subseteq (a_n)$ so...