Es sei R {\displaystyle {}R} ein kommutativer Ring und M {\displaystyle {}M} ein R {\displaystyle {}R} -Modul. Ein Primideal p ⊆ R {\displaystyle {}{\mathfrak {p}}\subseteq R} heißt assoziiertes Primideal zu M {\displaystyle {}M} , wenn es ein v ∈ M {\displaystyle {}v\in M} mit
gibt.
