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
    0 references
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    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
    0 references