Kommutative Ringtheorie/Normal/Nenneraufnahme ist normal/Fakt/Beweis/Aufgabe