The piecewise Noetherian property in power series rings over a valuation domain (Q258142)

This paper presents some results about valuation domains and answers questions posed by several mathematicians. Let \(V\) be a valuation domain and \(P\) a non-zero prime ideal. It is proven that the following conditions are equivalent:{\parindent=6mm \begin{itemize}\item[(1)] \(V[[X]]_{P[[X]]}\) is a valuation domain, \item[(2)] \(V[[X]]_{P[[X]]}\) is Noetherian and \item[(3)] \(V_P\) is a \(1\)-dimensional discrete valuation domain and for each sequence \((s_n)_{n\geq 0}\) of elements of \(V\setminus P\), \(\bigcap_{n\geq 0}(s_n)\neq P\). \end{itemize}} Recall that a commutative ring \(R\) is said to be piecewise Noetherian if the following two conditions hold: (a) its prime spectrum is Noetherian and (b) it has the ascending chain condition on \(P\)-primary ideals for each prime ideal \(P\). Let \(V\) be a valuation domain. It is also shown that \(V[[X]]\) is piecewise Noetherian if and only if \(V\) is Noetherian. Since each valuation domain of finite Krull dimension \(>1\) for which any non-zero prime ideal is not idempotent is piecewise Noetherian but not Noetherian, it follows that the piecewise Noetherian property is not preserved under the power series extension.