Core of ideals in one-dimensional Noetherian domains (Q2174546): Difference between revisions

If \(I\) is an ideal of a commutative ring \(R\), we recall that \(\mathrm{core}(I)\) is the intersection of all reductions of \(I\), and that \(I\) is basic iff core\((I)=I\). Here are two main results of the present paper: \textbf {(I)} (Theorem 2.1 in the paper.) Consider the following three conditions on a Noetherian domain \(R\) with infinite residue fields: \begin{itemize} \item[1.] \(R\) is a TP domain, \item[2.] core\((I) = I^2I^{-1}\), for each nonzero ideal \(I\) of \(R\), \item[3.] \(\dim R\le 1\). \end{itemize} Then \((1)\Rightarrow (2)\Rightarrow (3)\), and none of these two implications is reversible. Under some additional assumptions, the three conditions above are equivalent. For comparison, recall the following theorem due to \textit{M. Fontana} et al. [J. Algebra 107, 169--182 (1987; Zbl 0612.13010)]: a Noetherian domain \(R\), that is not a field, is TP (has the trace property) if and only \(\dim R=1\), and all the maximal ideals of \(R\) are invertible, except for at most one maximal ideal \(M\) such that \(M^{-1}=R\). \textbf{II.} (Theorem 2.4.) Let \((R, M\)) be a one-dimensional Gorenstein local domain such that \(|\mathrm{Max}(\overline R)|\le |R/M|\) and \(M^{-1}\) is a TP-domain. Let \(I\) be a non-basic ideal of \(R\), and let \(aR\) be a principal reduction of \(I\). \begin{itemize} \item[1.] If \(I^{-1}\) is local, then \(\mathrm{core}(I) =\mathrm{pcore}(I)\). \item[2.] If \(I^{-1}\) is not local,then core\((I) =aM\cap\mathrm{pcore}(I)\). \end{itemize} Here \(\overline R\) is the integral closure of \(R\), and pcore\((I)\) is the intersection of all principal reductions of \(I\). Quoting the authors, `` all results obtained in the previous section are illustrated with original examples, where we explicitly compute the core.''