Idéal Premier Associé

Un idéal premier associé d'un R-module M est un idéal premier p qui coïncide avec l'annulateur d'un élément m ∈ M, c'est-à-dire p = Ann_R(m). Équivalemment, p est l'annulateur d'un sous-module cyclique R·m et apparaît dans les décompositions primaires comme élément de Ass_R(M).