Es sei R {\displaystyle {}R} ein kommutativer noetherscher Ring und M ≠ 0 {\displaystyle {}M\neq 0} ein endlich erzeugter R {\displaystyle {}R} -Modul.
Dann ist die Menge Ass ( M ) {\displaystyle {}\operatorname {Ass} {\left(M\right)}} nicht leer und endlich.
