Modultheorie/Assoziierte Primideale/Noethersch/Endliche Filtration/Fakt

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

Dann gibt es ein Folge von Untermoduln

mit

für gewisse Primideale .