4. 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 (ej) de E pour la forme Φ, c'est-à-dire Φ(ei, ej) = 0 pour i […]
… pour nos abonnés, l'article se prolonge sur 12 pages…
