Notes on projectively related ideals and residual division (Q916724)

Two finite collections of ideals \(I=(I_ 1,...,I_ g)\) and \(J=(J_ 1,...,J_ f)\) of a Noetherian ring R are projectively related if the integral closures of the ideals \(I^{i_ 1}_ 1...I^{i_ g}_ g\) and \(J^{j_ 1}_ 1...J^{j_ f}_ f\) are equal for some positive integers \(i_ 1,...,i_ g\) and \(j_ 1,...,j_ f\). This relation is reflexive, symmetric but not transitive, though it extends the projectively equivalence relation (i.e. the case \((f=g=1)\) of \textit{P. Samuel} [Ann. Math., II. Ser. 56, 11-21 (1952; Zbl 0049.023)]. However this relation preserves asymptotic prime divisors (resp. essential prime divisors) when the ideals from I have height \(\geq 1\) (respectively are regular). Now suppose that either \(g=1\) or each \(I_ i\) is regular and let \(\Gamma\) be a multiplicative set of nonzero ideals of R. Then necessary and sufficient conditions (one of them asks e.g. that no ideal in \(\Gamma\) is contained in any essential prime divisor of I) are given for the existence of an ideal K which is projectively related to I and such that \(K^ n:G=K^ n\) for all \(n\geq 1\) and all \(G\in \Gamma\). These conditions are inherited by some important R-algebras A (with respect to the extensions IA, \(\Gamma\) A) as e.g. localizations, finite integral extensions, faithfully flat Noetherian extensions and factor rings of R modulo prime divisors of zero.