Asymptotic prime divisors and integral extension rings (Q1059678): Difference between revisions

Let \(R\subseteq B\) be rings such that R is Noetherian and B is an intermediate ring between a Noetherian integral extension ring C of R and the integral closure of C. Then it is shown that if I is a finitely generated ideal in B, then the sets \(Ass(R/(I^ k)_ a)\) are finite and stabilize for all large k, where \((I^ k)_ a\) is the integral closure in B of \(I^ k\). Moreover, if \(I=JB\) for some ideal J in R and if \(p\in Ass(R/(J^ k)_ a)\), then there exists \(P\in Ass(B/(I^ k)_ a)\) such that \(P\cap R=p\), and the converse holds if minimal prime ideals in C lie over minimal prime ideals in R and k is large. From this it is shown that most of the theorems concerning asymptotic prime divisors, asymptotic sequences, and asymptotic grade that are known to hold for ideals in R continue to hold for finitely generated ideals in B.