Invariantenring/Endliche Gruppe/Ganzheit/Fakt

Es sei $R$ ein kommutativer Ring, auf dem eine endliche Gruppe $G$ durch Ringautomorphismen operiere.

Dann ist  $R^G\subseteq R$  eine ganze Erweiterung.

Zum Beweis, Alternativen Beweis erstellen