Invariantenring/Endliche Gruppe auf Polynomring/Kein Charakter/Faktoriell/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Körper und . Es sei eine endliche Gruppe, die auf als Gruppe von -Algebraautomorphismen operiere. Die Charaktergruppe sei trivial.

Dann ist auch der Invariantenring faktoriell.

Zum Beweis, Alternativen Beweis erstellen