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

Es sei ${}R$ ein normaler Integritätsbereich und sei ${}S\subseteq R$ ein multiplikatives System. Zeige, dass dann auch die Nenneraufnahme ${}R_{S}$ normal ist.

Eine Lösung erstellen