Kurs:Invariantentheorie (Osnabrück 2012-2013)/Lineare Gruppe/C/Kompakte Untergruppe Zariski dicht/Linear reduktiv/Fakt/Faktreferenznummer