Prime divisors and divisorial ideals (Q1123931)

Let \(I_ 1,...,I_ g\) be regular ideals in a Noetherian ring R. The main results of the first part are (1) There exist positive integers \(k_ 1,...,k_ g\) such that \((I_ 1^{n_ 1+m_ 1}...I_ g^{n_ g+m_ g}):(I_ 1^{m_ 1}...I_ g^{m_ g})=I_ 1^{n_ 1}...I_ g^{n_ g}\) for all \(n_ i\geq k_ i\) and \(m_ i\geq 0\); and (as a consequence) (2) The sets \(Ass(R/I_ 1^{n_ 1}...I_ g^{n_ g})\) are equal for large \(n_ 1,...,n_ g.\) The second part is devoted to a generalization of (2) in case R is locally analytically unramified with finite integral closure. Let \(\Delta\) be any multiplicatively closed set of regular ideals in R such that \(I_ 1,...,I_ g\in \Delta\). The \(\Delta\)-closure \(J_{\Delta}\) of an arbitrary ideal J in R is the (well defined) unique maximal element of \(\{\) (JK:K)\(| K\in \Delta \}\). Then (2) holds for \((I_ 1^{n_ 1}...I_ g^{n_ g})\Delta\) instead of \(I_ 1^{n_ 1}...I_ g^{n_ g})\).