Strong Krull primes and flat modules (Q2443282): Difference between revisions

Let \(R\) be a commutative ring, \(M\) an \(R\)-module and \(p\) be a prime ideal of \(R\). Recall that \(p\) is said to be an associated prime of \(M\)(that is, \(p\in \mathrm{Ass}_R(M)\)) if there is some \(z\in M\) such that \(p=(0:_Rz)\) and \(p\) is called a strong Krull prime of \(M\) (that is, \(p\in \mathrm{sK}_R(M)\)) if for any finitely generated ideal \(I\) of \(R\) with \(I\subseteq p\), there is an element \(z\in M\) such that \(I\subseteq(0:_Rz)\subseteq p\) (\(\mathrm{Ass}_RM=\mathrm{sK}_RM\), whenever \(R\) is Noetherian). In the case \(R\) is Noetherian, \textit{E. Epstein} and \textit{Y. Yao} [Math. Z. 271, No. 3--4, 1193--1210 (2012; Zbl 1245.13009)], gave a criterion for flateness of \(R\)-modules in terms of associated primes and torsion-freeness of certain tensor products. In the paper under review, the authors establish an analogue of this criteria for non-Noetherian rings by replacing associated primes with strong Krull primes. A useful theorem states that if \(f:R\longrightarrow S\) is a homomorphism of Noetherian rings, \(G\) an \(R\)-flat \(S\)-module and \(E\) an \(R\)-module, then \(\mathrm{Ass}_S(E\otimes_RG)=\bigcup_{p\in \mathrm{Ass}_RE}\mathrm{Ass}_S(G/pG)\). The authors partly generalize this theorem by replacing associated primes with strong krull primes. They also give numerous examples to show that their results fail if other popular generalization of associated primes are used in place of strong Krull primes.