Klassische lineare Gruppe/C/Kompakte Untergruppe Zariski dicht/Fakt

Die klassischen Gruppen

$\operatorname {GL} _{n}\!{\left({\mathbb {C} }\right)},\,\operatorname {SL} _{n}\!{\left({\mathbb {C} }\right)},\,\operatorname {O} _{n}\!{\left({\mathbb {C} }\right)},\,\operatorname {SO} _{n}\!{\left({\mathbb {C} }\right)},\,\operatorname {Sp} _{n}\!\,{\left({\mathbb {C} }\right)}$

besitzen Zariski-dichte kompakte Untergruppen.

Zum Beweis, Alternativen Beweis erstellen