Integral degree of a ring, reduction numbers and uniform Artin-Rees numbers (Q932872): Difference between revisions

Let \(A\) be a commutative noetherian ring, \(I\) an \(A\)-ideal and \(M\) a finitely generated \(A\)-module. An ideal \(J \subset I\) is a reduction of \(I\) with respect to \(M\) if \(I^{n+1}M=JI^nM\) for some nonnegative integer \(n\). The minimum such \(n\) for which this relation holds is called the \(J\)-\textit{reduction number of} \(I\) \textit{with respect to \(M\)} and is denoted by \(\text{rn}_J(I;M)\). When \(M\) is understood then we use the notation \(\text{rn}_J(I)\). In this paper the authors consider a special class of ideals, namely ideals that are regular. An ideal is called regular if it contains a nonzero divisor. If \(I\) is a regular ideal and \(J\) is a principal reduction then by [\textit{S. Huckaba}, J. Algebra 108, 503--512 (1987; Zbl 0623.13011)] the reduction number \(\text{rn}_J(I)\) is independent of \(J\) and denoted by \(\text{rn}(I)\). The main goal of the article is to study the supremum of \(\text{rn} (I)\) for regular ideals \(I\) having principal reductions. They introduce a new invariant of the ring \(A\). If \(A \subset B\) is a ring extension and \(b \in B\) is integral over \(A\) then the \textit{integral degree of} \(b\) \textit{over} \(A\) is defined to be \[ \text{id}_A(b)=\min \{ n \geq 1 \; | \; b \;\text{satisfies \; an \; integral\; equation\; of \; degree} \; n \; \}. \] If \(A \subset B\) is an integral extension then the \textit{integral degree of} \(B\) \textit{over} \(A\) is \[ \text{d}_{A}(B)=\sup \{ \text{id}_{A}(b) \; | \; b\in B\; \}. \] Their main theorem is then the following: If \(A\) be a noetherian ring such that \(A \supset \mathbb{Q}\), then \[ \text{d}_A(\overline{A})= \sup \{ \text{rn}(I) \; | \; I \; \text{a \; regular \; ideal \; having \; a\; principal\; reduction} \; \} +1, \] where \(\overline{A}\) is the integral closure of \(A\) in its total quotient ring. The invariant \(\text{d}_{A}(\overline{A})\) is called \textit{the integral degree} of \(A\). As a consequence of the main theorem they prove that \(\text{d}_{A}(\overline{A})\) is a uniform Artin-Rees number for a pair of finitely generated \(A\)-modules \(N \subset M\) and the whole set of regular ideals \(I\) having principal reductions generated by a \(d\)-sequence with respect to \(M/N\). In particular with the these assumptions and \(A\) a noetherian ring with finite integral degree \(\text{d}_{A}(\overline{A})=d\), such that \(A \supset \mathbb{Q}\) they prove that for every integer \(n \geq d\) one has \(I^{n}M \cap N=I^{n-d}(I^{d}M \cap N)\).