Linear reduktive Gruppe/Rationale Operation/Endlich erzeugt/Fakt/Beweis