Certain ideals for which \(I_ 1 \dots I_ g=I_ 1\cap \dots \cap I_ g\) (Q2639914): Difference between revisions

Let \(I_ 1,...,I_ g\) be proper ideals in a Noetherian ring R. It is shown that \[ I_ 1...I_ g=I_ 1\cap...\cap I_ g=\cap \{I_ n:(I_ 1...I_{h-1}I_{h+1}...I_ g)^ n|\;1\leq h\leq g\} \] for all \(n\geq 1\), if and only if each associated prime divisor of \(I_ 1...I_ g\) contains exactly one of the ideals \(I_ 1,...,I_ g\). As a consequence, it is shown that if \(b_ 1,...,b_ k\) are elements in R, any permutation of which forms an R-sequence, and if \(I_ 1,...,I_ g\) are generated by disjoint subsets of \(\{b_ 1,...,b_ k\}\), then for any positive integers \(m_ 1,m_ 2,...m_ g,n\) we have \[ I_ 1^{m_ 1}...I_ g^{m_ g}=I_ 1^{m_ 1}\cap...\cap I_ g^{m_ g}=\cap \{(I_ h^{m_ h}:(I_ 1...I_{h- 1}I_{h+1}...I_ g)^ n)|\;1\leq h\leq g\}. \] \{Remark: a close reading of the proof of (2.1) shows that despite the title, the paper is not so much about \(I_ 1...I_ g=\) \(I_ 1\cap...\cap I_ g\) as it is about \(I_ 1...I_ g=\) \(\cap \{(I_ h:I_ 1...I_{h-1}I_{h+1}...I_ g)|\) \(1\leq h\leq g\},\) (or alternately, about \(I_ 1\cap...\cap I_ g=\) \(\{(I_ h:I_ 1...I_{h-1}I_{h+1}...I_ g)|\) \(1\leq h\leq g\}\)\}.