GROUPES (mathématiques) Groupes classiques et géométrie

Généralisations

Les groupes GL(E) et SL(E) se définissent de la même manière lorsque E est un espace vectoriel de dimension finie sur un corps commutatif K quelconque ; si n = dim E, on note aussi ces groupes GL(n, K) et SL(n, K). Tout ce qui a été vu dans le chapitre 1 pour le cas K = R s'étend sans changement au cas général, sauf en ce qui concerne la détermination des involutions lorsque K est de caractéristique 2 et, en ce qui concerne les propriétés de conjugaison, lorsque dim E = 2. On peut toutefois montrer que SL(E) est encore son propre groupe des commutateurs sauf lorsque dim E = 2 et que K est un corps fini ayant deux ou trois éléments ; la démonstration de simplicité faite plus haut dans le chapitre 1 s'applique alors sans modification et prouve que SL(E)/(Z ∩ SL(E)) est un groupe simple, sauf dans les deux cas précédents.

On peut étendre la définition de GL(E) et de SL(E) au cas où E est un espace vectoriel (à gauche) de dimension finie sur un corps K non commutatif, mais il faut utiliser dans ce cas une autre définition du déterminant ; moyennant quoi, on peut encore prouver la simplicité du groupe SL(E)/(Z ∩ SL(E)) ; le centre Z(E) de GL(E) est ici formé des homothéties x ↦ λx où λ ≠ 0 est dans le centre de K.

La définition de GL(E) est aussi valable pour un module (à gauche) E sur un anneau quelconque A ; mais, ici, la structure de ce groupe dépend de façon essentielle de la structure de l'anneau A, et on ne connaît de résultats satisfaisants que dans un petit nombre de cas particuliers.

La notion de groupe orthogonal O(Φ) se généralise aussi au cas où E est un espace vectoriel de dimension finie sur un corps commutatif K, que nous supposerons en outre de caractéristique ≠ 2 (la caractéristique 2 introduit ici des phénomènes spéciaux) ; Φ est une forme bilinéaire symétrique non dégénérée sur E. Il faut remarquer d'abord qu'il y a toujours ici des bases orthogonales (e_j) de E pour la forme Φ, c'est-à-dire Φ(e_i, e_j) = 0 pour i ≠ j ; mais, si l'on pose Φ(e_i, e_i) = α_i, il n'est pas possible en général d'obtenir une base orthogonale pour laquelle α_i = ± 1 pour tout i ; la notion de signature de Φ n'a pas de sens lorsque K n'est pas un corps ordonné. Par contre, la définition des vecteurs et sous-espaces isotropes subsiste sans modification ; on appelle encore indice de Witt de Φ la dimension maximale v des sous-espaces totalement isotropes, et on a 2 v ≤ n. Il faut noter que, lorsque K est algébriquement clos (par exemple K = C), on a toujours v = [n/2], partie entière de n/2 ; si K est fini, on a v = [n/2] pour n impair, v = n/2 ou n/2 − 1 si n est pair.

Tout ce qui a été dit dans le chapitre 3 sur les involutions de O(Φ) subsiste sans changement dans le cas général. Les questions de transitivité sont résolues par le théorème de Witt : Soit deux sous-espaces vectoriels V₁ et V₂ de même dimension dans E, pour qu'il existe une transformation u ∈ O(Φ) telle que u(V₁) = V₂, il faut et il suffit que les restrictions de Φ à V₁ et à V₂ soient des formes équivalentes (dégénérées ou non). On peut encore alors transformer V₁ en V₂ par une rotation, sauf dans le même cas d'exception que pour K = R (cf. Propriétés de transitivité, in chap. 3).

Le groupe O⁺(Φ) est encore commutatif pour n = 2 ; il est formé des matrices :

Il n'y a rien d'analogue en général à la prétendue « mesure » des angles ; autrement dit, il n'existe pas en général d'homomorphisme du groupe additif de K sur le groupe[...]