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

Die klassischen Gruppen

besitzen Zariski-dichte kompakte Untergruppen.