Lemma 38.14.1. Let $R$ be a local ring with maximal ideal $\mathfrak m$. Let $R \to S$ be a ring map. Let $N$ be an $S$-module. Assume
$N$ is projective as an $R$-module, and
$S/\mathfrak mS$ is Noetherian and $N/\mathfrak mN$ is a finite $S/\mathfrak mS$-module.
Then for any prime $\mathfrak q \subset S$ which is an associated prime of $N \otimes _ R \kappa (\mathfrak p)$ where $\mathfrak p = R \cap \mathfrak q$ we have $\mathfrak q + \mathfrak m S \not= S$.
Comments (0)