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