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

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

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