# Valuation ring of finite Krull dimension whose every non-maximal ideal is principal

Let $(R, \mathfrak m)$ be a Valuation ring of finite Krull dimension such that every non-maximal ideal i e. every ideal which is not $\mathfrak m$, is principal. Then is $R$ Noetherian i.e. a discrete valuation ring ?

If $\mathfrak{m}=0$, then $R$ is a field. Otherwise, let $r\in\mathfrak{m}$ be nonzero and let $I=r\mathfrak{m}$. Then $r\not\in I$ so $I$ is a non-maximal ideal, and hence is principal. But multiplication by $r$ is an isomorphism of $R$-modules from $\mathfrak{m}$ to $I$, so this means $\mathfrak{m}$ is principal as well. Thus every ideal in $R$ is principal and $R$ is Noetherian.
• If the value group is $\mathbb{Q}$, there are no nonzero non-maximal primes. – Eric Wofsey Jun 9 '18 at 5:39
• Ah right ... thanks ... in your answer you only use that $R$ is local and integral domain ... how much can any of these two properties be relaxed you think ? – user495643 Jun 9 '18 at 5:48