Invariantentheorie/Endliche Gruppe/Satz von Noether/Fakt

Satz von Noether

Es sei $K$ ein Körper, $R$ eine endlich erzeugte kommutative $K$-Algebra, auf der eine endliche Gruppe $G$ durch $K$-Algebraautomorphismen operiere.

Dann ist der Invariantenring $R^G$ eine endlich erzeugte $K$-Algebra.

Zum Beweis, Alternativen Beweis erstellen