Bounds related to projective equivalence classes of ideals (Q1119971): Difference between revisions

Let R be a commutative Noetherian ring and I a regular ideal of R. \((I)_ a\) will denote the integral closure of I; if K is an ideal of R with \(K\subseteq I\) and with \((K)_ a=(I)_ a\) then K is called a reduction of I. An ideal H of R is said to be projectively equivalent to I if there are positive integers r and s with \((H^ r)_ a=(I^ s)_ a\). The authors consider the conditions (RN1), (RN2( and (RN3); for instance the ideal I is said to satisfy (RN1) if there is an integer \(e\geq 0\) such that for any \(s\geq 1\) and any reduction K of \((I^ 2)_ a\) one has \(((I^ s)^{n+e})_ a\subseteq K^ n\). It is shown that I satisfies (RN1) if and only if there is an integer \(b\geq 0\) such that for all ideals H projectively equivalent to I, \((H^{n+b})_ a\subseteq H^ n\) for all \(n\geq 1\). The ideal I is said to have bounded power reduction numbers if there is an integer \(h\geq 0\) such that for every integer \(s\geq 1\) and every reduction K of \(I^ s\), \(K(I^ s)^ h=(I^ s)^{h+1}\). It is proved that if the ring R is local and \(R\text{grad}e(I)\geq height(I)=\text{grad}e(I)=a(I)\), where a(I) is the analytic spread of I in the local ring R, then I has bounded power reduction numbers, and so I satisfies (RN3). Various examples of ideals satisfying the conditions discussed above are also given.