Lemma 10.157.2. Let $R$ be a Noetherian ring. Let $M$ be a finite $R$-module. The following are equivalent:

1. $M$ has no embedded associated prime, and

2. $M$ has property $(S_1)$.

Proof. Let $\mathfrak p$ be an embedded associated prime of $M$. Then there exists another associated prime $\mathfrak q$ of $M$ such that $\mathfrak p \supset \mathfrak q$. In particular this implies that $\dim (\text{Supp}(M_{\mathfrak p})) \geq 1$ (since $\mathfrak q$ is in the support as well). On the other hand $\mathfrak pR_{\mathfrak p}$ is associated to $M_{\mathfrak p}$ (Lemma 10.63.15) and hence $\text{depth}(M_{\mathfrak p}) = 0$ (see Lemma 10.63.18). In other words $(S_1)$ does not hold. Conversely, if $(S_1)$ does not hold then there exists a prime $\mathfrak p$ such that $\dim (\text{Supp}(M_{\mathfrak p})) \geq 1$ and $\text{depth}(M_{\mathfrak p}) = 0$. Then we see (arguing backwards using the lemmas cited above) that $\mathfrak p$ is an embedded associated prime. $\square$

Comment #1164 by Hu Fei on

''Conversely, if $(S_1)$ does not'' should add ''hold''

There are also:

• 4 comment(s) on Section 10.157: Serre's criterion for normality

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).