Kommutative Ringtheorie/Normal/Nenneraufnahme ist normal/Fakt
Zur Navigation springen
Zur Suche springen
Einen Beweis erstellen
Sei ein normaler Integritätsbereich und sei ein multiplikatives System.
Dann ist auch die Nenneraufnahme normal.