1.8 Associated Primes
Let \(R\) a ring, and \(M\) an \(R\)-module. Let \(\mathfrak {p}\) be a prime ideal, then the following are equivalent:
\(\mathfrak {p} = \operatorname {Ann}_R (m)\) for some element \(m \in M\).
\(R / \mathfrak {p}\) embeds into \(M\).
The set \(\operatorname {Assoc}_R (M)\) is the set of primes satisfying the preivious proposition
The associated primes of \(M\) are in the support of \(M\).
The assocated primes of \(M\) are precisely the primes which are minimal in the support of \(M\).
An element \(x \in R\) is a zero-divisor iff it is in an associated prime. (geometrically, it vanishes at an associated point)