Satz 10.13
Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 10 Kommutative Ringtheorie/Noethersche Ringe/Endlich erzeugte Moduln sind noethersch/Fakt