Es sei ${\displaystyle {}R}$ ein kommutativer Ring und ${\displaystyle {}M}$ ein ${\displaystyle {}R}$-Modul. Ein assoziiertes Primideal ${\displaystyle {}{\mathfrak {p}}\subseteq R}$ zu ${\displaystyle {}M}$, das nicht minimal unter des assoziierten Primidealen ist, heißt eingebettetes Primideal von ${\displaystyle {}M}$.