Lemma 11.13
Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 11 Kommutative Ringtheorie/Verschiedene Charakterisierungen für faktoriell/Fakt