Es sei R {\displaystyle {}R} ein kommutativer Ring, auf dem eine endliche Gruppe G {\displaystyle {}G} durch Ringautomorphismen operiere.
Dann ist R G ⊆ R {\displaystyle {}R^{G}\subseteq R} eine ganze Erweiterung.
