Linear reduktive Gruppe/Rationale Operation/Endlich erzeugt/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein algebraisch abgeschlossener Körper, eine linear reduktive Gruppe über , die auf einem endlichdimensionalen -Vektorraum -rational operiere.

Dann ist der Invariantenring eine endlich erzeugte -Algebra.

Zum Beweis, Alternativen Beweis erstellen