Integral domains in which every ideal is projectively equivalent to a prime ideal (Q519789): Difference between revisions

Let \(R\) be a commutative integral domain with a unit, and \(I\) and \(J\) be two ideals of \(R\). One says that \(I\) and \(J\) are projectively equivalent if there exist integers \(n\) and \(m\) such that \((I^n)'=(J^m)'\) (where \(K'\) denotes the integral closure of the ideal \(K\)). The goal of this paper is to characterize Noetherian domains and integrally closed domains in which every ideal is projectively equivalent to a prime ideal. For instance the following result is proved (Cor. 2.10): {Let \(R\) be a locally finite dimensional domain which is integrally closed. Then every nonzero ideal is projectively equivalent to a prime ideal if and only if \(R\) is a DVR.} For Noetherian domains the authors prove the following result: {Let \(R\) be a Noetherian domain. Then the following properties are equivalent:{\parindent=8mm\begin{itemize}\item[(i)] every nonzero ideal of \(R\) is projectively equivalent to a prime ideal.\item[(ii)] \(R\) is a one dimensional local domain and every nonzero ideal is projectively equivalent to the same principal ideal.\item[(iii)] the integral closure of \(R\) is a DVR.\end{itemize}} } The authors deduce several statements form these results. In the last part they study the persistence of the condition that every nonzero ideal is projectively equivalent to a prime ideal in pullback constructions.