Invariantenring/Endliche Gruppe/Ganzheit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Dann ist eine ganze Erweiterung.

Zum Beweis, Alternativen Beweis erstellen