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