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.