On note
l'ensemble des matrices non singulières
. C'est un ouvert de
. C'est un groupe pour la multiplication matricielle(3.3). C'est le groupe linéaire général. Il possède des sous-groupes intéressants qui sont tous des variétés plongées (dans
).
Cela résulte immédiatement d'un théorème de E. Cartan énoncé ci-dessous mais non démontré dans ces notes(3.4). D'un autre côté, la vérification directe est souvent aisée et nous l'illustrerons dans quelques cas.
Théorème 14
(Théorème de E. Cartan)
Tout sous-groupe fermé de
est une variété plongée de
.