Kommutative Ringtheorie/Normal/Nenneraufnahme ist normal/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein normaler Integritätsbereich und sei ein multiplikatives System.

Dann ist auch die Nenneraufnahme normal.

Einen Beweis erstellen