Lemma 10.62.9. Let $R$ be a Noetherian ring. Let $M$ be an $R$-module. The union $\bigcup _{\mathfrak q \in \text{Ass}(M)} \mathfrak q$ is the set of elements of $R$ which are zerodivisors on $M$.

Proof. Any element in any associated prime clearly is a zerodivisor on $M$. Conversely, suppose $x \in R$ is a zerodivisor on $M$. Consider the submodule $N = \{ m \in M \mid xm = 0\}$. Since $N$ is not zero it has an associated prime $\mathfrak q$ by Lemma 10.62.7. Then $x \in \mathfrak q$ and $\mathfrak q$ is an associated prime of $M$ by Lemma 10.62.3. $\square$

There are also:

• 4 comment(s) on Section 10.62: Associated primes

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).