Satz 23.2 Kurs:Kommutative Algebra/Teil I/Vorlesung 23
Kommutative Ringtheorie/Faktoriell/Normal/Fakt