Associated Prime

An associated prime of an R-module M is a prime ideal p that equals the annihilator of some element m ∈ M, i.e., p = Ann_R(m). Equivalently, p is the annihilator of a cyclic submodule R·m and appears as a prime occurring in primary decompositions and the set Ass_R(M).