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