The Stacks project

Proof. Let $\mathfrak p$ be an element of $\text{WeakAss}_ R(M)$. Then there exists an $m \in M_{\mathfrak p}$ whose annihilator $I = \{ x \in R_{\mathfrak p} \mid xm = 0\} $ has radical $\mathfrak pR_{\mathfrak p}$. Consider the annihilator $J = \{ x \in S_{\mathfrak p} \mid xm = 0 \} $ of $m$ in $S_{\mathfrak p}$. As $IS_{\mathfrak p} \subset J$ we see that any minimal prime $\mathfrak q \subset S_{\mathfrak p}$ over $J$ lies over $\mathfrak p$. Moreover such a $\mathfrak q$ corresponds to a weakly associated prime of $M$ for example by Lemma 10.66.2. $\square$