Linear reduktive Gruppe/Algebraische (Ko)Operation/Direkter Summand/Fakt

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

Dann ist ${}R^{G}\subseteq R$ ein direkter Summand.

Zum Beweis, Alternativen Beweis erstellen