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