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