Ideal Primo Asociado

Un primo asociado de un módulo R-M es un ideal primo p que coincide con el anulador de algún elemento m ∈ M, es decir, p = Ann_R(m). Equivalentemente, p es el anulador de un submódulo cíclico R·m y aparece en las descomposiciones primarias formando el conjunto Ass_R(M).