\(t\)-reductions and \(t\)-integral closure of ideals in Noetherian domains (Q1653849)

Let \(I\) be a nonzero ideal of a commutative domain \(R\). An ideal \(J\subseteq I\) is a \(t\)-\textit{reduction} of \(I\) if \((JI^n)_t=(I^{n+1})_t\) for some nonnegative integer \(n\). The main purpose of this paper is to obtain results on \(t\)-reduction and on \(t\)-integral closure of ideals in Noetherian domains that are analogous to known properties of reduction and integral closure of ideals in Noetherian rings. For example, by a theorem due to Hays, if \(R\) is a Noetherian domain such that the residue field of each maximal ideal of \(R\) is infinite, then each nonzero ideal of \(R\) has an invertible reduction if and only if \(\dim(R)\leq 1\). Thus, the \(t\)-analogue proved by the authors is the following theorem: if \(R\) is a Noetherian domain such that the residue field of each maximal \(t\)-ideal of \(R\) is infinite, then each nonzero \(t\)-ideal of \(R\) has a \(t\)-invertible reduction if and only if \(t\)-\(\dim(R)\leq 1\). Here are more results: {\parindent=0.7cm \begin{itemize}\item[{\(\bullet\)}] In a Noetherian domain, a \(t\)-locally \(t\)-basic ideal is \(t\)-basic. \item[{\(\bullet\)}] In a one-dimensional Noetherian domain, the notions of reduction and \(t\)-reduction coincide. \item[{\(\bullet\)}] A Noetherian domain \(R\) is integrally closed if and only if every nonzero ideal is a \(t\)-C-ideal if and only if every principal ideal is a \(t\)-C-ideal. Here, in analogy to Hays' definition of a C-ideal, a nonzero ideal is defined by the authors as a \(t\)-\textit{C-ideal} if it is not a non-trivial \(t\)-reduction of any larger ideal. \end{itemize}}