Modultheorie/Endlich erzeugt/Nullteiler/Assoziierte Primideale/Fakt

Es sei ${\displaystyle {}R}$ ein kommutativer noetherscher Ring und ${\displaystyle {}M\neq 0}$ ein endlich erzeugter ${\displaystyle {}R}$-Modul.

Dann gilt für die Menge der Nullteiler von ${\displaystyle {}M}$ die Beziehung