Lineare Gruppe/C/Kompakte Untergruppe Zariski dicht/Linear reduktiv/Fakt/Beweis
Beweis
Wir zeigen, dass es zu jeder -rationalen Darstellung
auf einem -Vektorraum und einem -Untervektorraum ein -Komplement gibt. Die induzierte Darstellung
ist stetig. Daher gibt es nach Fakt ein -Komplement . Wir betrachten
Dies ist eine Untergruppe von , die umfasst. Nach Fakt ist Zariski-abgeschlossen und daher gleich .