Linear reduktive Gruppe/Algebraische (Ko)Operation/Endlich erzeugt/Fakt

Es sei ${}K$ ein algebraisch abgeschlossener Körper, ${}G$ eine linear reduktive Gruppe über ${}K$, die auf einer endlich erzeugten ${}K$-Algebra ${}R$ ${}K$-algebraisch operiere.

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

Zum Beweis, Alternativen Beweis erstellen