Lemma 38.14.4. Let $R$ be a henselian local ring with maximal ideal $\mathfrak m$. Let $R \to S$ be a ring map. Let $N$ be an $S$-module. Assume $N$ is countably generated and Mittag-Leffler as an $R$-module. Then for any $R$-module $M$ and for any prime $\mathfrak q \subset S$ which is an associated prime of $N \otimes _ R M$ we have $\mathfrak q + \mathfrak m S \not= S$.
Comments (0)