Linear reduktive Gruppe/Algebraische (Ko)Operation/Direkter Summand/Fakt
Es sei ein algebraisch abgeschlossener Körper, eine linear reduktive Gruppe über , die auf einer endlich erzeugten -Algebra algebraisch operiere.
Dann ist ein direkter Summand.