Trace properties and the rings \(R(x)\) and \(R\langle x\rangle\) (Q2196675)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Trace properties and the rings \(R(x)\) and \(R\langle x\rangle\)
scientific article

    Statements

    Trace properties and the rings \(R(x)\) and \(R\langle x\rangle\) (English)
    0 references
    0 references
    0 references
    3 September 2020
    0 references
    The authors study trace properties of commutative domains, mainly RTP and LTP, in relation to the rings \(R(X)\) (the Nagata ring, that is, the localization of \(R\) at the set of polynomials of unit content) and \(R\langle X \rangle\) (the localization of \(R\) at the set of monic polynomials). Recall that a domain \(R\) satisfies the radical trace property (RTP) if \(I(R : I)\) is a radical ideal for each nonzero noninvertible ideal \(I\) of \(R\). The domain \(R\) is an LTP domain if \(I(R: I)R_P = PR_P\) for each nonzero noninvertible ideal \(I\) and for each minimal prime \(P\) of \(I(R: I)\). Obviously, RTP implies LTP. Among other results, the authors prove that if \(R(X)\) is an RTP (LTP) domain, then \(R\) satisfies the same property. The following four conditions are equivalent for a domain \(R\) that is either Noetherian or Prüfer: (1) \(R\) is an RTP domain, (2) \(R\) is an LTP domain, (3) \(R(X)\) is an RTP domain, (4) \(R(X)\) is an LTP domain. For an integrally closed domain \(R\), we obtain an equivalence of four conditions, if we add to the first two conditions above the assumption that \(R\) is Prüfer. If \(R\) is a domain that is not a field, and \(R\langle X\rangle\) is an RTP domain, then \(R(X)\) is an RTP domain, and \(R\) is one-dimensional. Many other results in this context for seminormal domains, pseudo-valuation domains, Mori domains, etc, are included in their present paper.
    0 references
    0 references
    radical trace property
    0 references
    RTP domain
    0 references
    LTP domain
    0 references
    uppert to zero
    0 references
    Nagata ring
    0 references
    seminormal domain
    0 references
    Mori domain
    0 references

    Identifiers