Invariantentheorie/Endliche Gruppe/Satz von Noether/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Satz von Noether

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

Dann ist der Invariantenring eine endlich erzeugte -Algebra.

Zum Beweis, Alternativen Beweis erstellen