Invariantenring/Gruppe/Normalität/Fakt

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.