Invariantenring/Gruppe/Normalität/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Normalität von Invariantenringen

Es sei ein normaler Integritätsbereich und eine Gruppe, die auf als Gruppe von Ringautomorphismen operiere.

Dann ist auch der Invariantenring normal.

Zum Beweis, Alternativen Beweis erstellen