Kurs:Invariantentheorie (Osnabrück 2012-2013)/Linear reduktive Gruppe/Rationale Operation/Endlich erzeugt/Fakt/Faktreferenznummer