Kommutative Ringtheorie/Noethersche Ringe/Endlich erzeugte Moduln sind noethersch/Fakt

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

Dann ist ein noetherscher Modul.