 Associated prime of a module

An associated prime of an $R$-module $M$ is a prime ideal equal to the annihilator ${\mathrm{Ann}}_R(m)$ of some nonzero $m\in M$. The set of these primes is denoted ${\mathrm{Ass}}_R(M)$. Over a Noetherian ring, any maximal member among the annihilators of nonzero elements is prime: if $abm=0$ and $bm\ne 0$, maximality forces ${\mathrm{Ann}}_R(bm)={\mathrm{Ann}}_R(m)$, so $am=0$. Hence every nonzero module has an associated prime.