Modultheorie/Endlich erzeugt/Assoziierte Primideale/Noethersch/Fakt

Es sei ein kommutativer noetherscher Ring und ein endlich erzeugter -Modul.

Dann ist die Menge nicht leer und endlich.