Invariantenring/Endliche Gruppe/Ganzheit/Fakt
Zur Navigation springen
Zur Suche springen
Es sei ein kommutativer Ring, auf dem eine endliche Gruppe durch Ringautomorphismen operiere.
Dann ist eine ganze Erweiterung.