Invariantenring/Gruppe/Normalität/Fakt

Normalität von Invariantenringen

Es sei ${}R$ ein normaler Integritätsbereich und ${}G$ eine Gruppe, die auf ${}R$ als Gruppe von Ringautomorphismen operiere.

Dann ist auch der Invariantenring normal.

Zum Beweis, Alternativen Beweis erstellen