Integral domains in which every ideal is projectively equivalent to a prime ideal (Q519789)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Integral domains in which every ideal is projectively equivalent to a prime ideal |
scientific article |
Statements
Integral domains in which every ideal is projectively equivalent to a prime ideal (English)
0 references
7 April 2017
0 references
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.
0 references
projectively equivalent ideals
0 references
integral closure of ideals
0 references
Prüfer domain
0 references
Dedekind domain
0 references
class group
0 references
pullbacks
0 references