Abonnez-vous à Universalis pour 1 euro

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

Article modifié le

Groupes symplectiques et groupes unitaires

Deux autres types de groupes « classiques » ont été étudiés depuis le milieu du xixe siècle. Si E est un espace vectoriel sur un corps (commutatif) K de dimension finie n, une forme bilinéaire alternée Φ sur E ne peut être non dégénérée que si n = 2 ν est pair. Il existe alors une base :

de E (dite base symplectique) telle que :
pour 1 ≤ i ≤ ν, et :
pour tout autre couple d'indices, de sorte que l'on a :
toutes les formes alternées non dégénérées sont équivalentes. On appelle groupe symplectique (sur K) et on note Sp(2ν, K) le sous-groupe formé des u ∈ GL(E) tels que :
pour x, y dans E.

Considérons maintenant un corps K (non nécessairement commutatif) muni d'une involution :

distincte de l'identité, c'est-à-dire une bijection de K sur lui-même telle que :
soit E un espace vectoriel à gauche de dimension finie sur K, et soit Φ une forme hermitienne non dégénérée sur E (pour l'involution donnée) ; le groupe U(Φ) des u ∈ GL(E) tels que :
pour x, y dans E est appelé le groupe unitaire relatif à Φ. Lorsque K est commutatif, les u ∈ U(Φ) tels que (det u)(det u)* = 1 forment un sous-groupe distingué U+(Φ), ou SU(Φ), dit groupe spécial unitaire.

Abonnez-vous à Universalis pour 1 euro

Pour le groupe symplectique et pour le groupe unitaire, les définitions des vecteurs et des sous-espaces orthogonaux, des sous-espaces totalement isotropes, des sous-espaces isotropes et de l' indice de Witt sont les mêmes que dans le chapitre 4. Pour le groupe symplectique, tout vecteur est isotrope et l'indice de Witt est n/2 ; les transvections (cf. Générateurs, in chap. 1) appartenant à Sp(2 ν, K) sont celles pour lesquelles l'hyperplan H de la transvection (toujours isotrope) est orthogonal à la droite D de la transvection ; les transvections symplectiques engendrentSp(2 ν, K), donc det(u) = 1 pour tout u ∈ Sp(2 ν, K). Le centre de Sp(2 ν, K) est Z0. Pour p premier, désignons par Fp le corps fini des entiers relatifs modulo p. Le groupe Sp(2 ν, K)/Z0 est simple pour ν ≥ 1, sauf lorsque ν = 1 et K = F2 ou K = F3, et lorsque ν = 2 et K = F2 ; dans ce dernier cas, Sp(4, F2)/Z0 est isomorphe au groupe symétrique Σ6. Pour ν = 1, Sp(2, K) = SL(2, K).

Lorsque n = 4, les plans totalement isotropes de E correspondent, dans l'espace projectif P(E), aux droites d'un complexe linéaire, et le groupe Sp(4, K)/Z0 est le groupe qui laisse ce complexe invariant, d'où son nom.

Pour les groupes unitaires, on a ν ≤ n/2, mais ν peut prendre toutes les valeurs entières remplissant cette condition. Pour ν > 0, il existe dans U(Φ) des transvections dont l'hyperplan H est nécessairement isotrope et la droite D est orthogonale à H. Ces transvections engendrent un sous-groupe distingué T(Φ) de U(Φ) dont le centre W(Φ) est égal à T(Φ) ∩ Z(E) ; le groupe T(Φ)/W(Φ) est simple, sauf lorsque K = F9 et n = 2, ou lorsque K = F4, n = 2 et n = 3 ; T(Φ), pour n = 2 et K commutatif, s'identifie à SL(2, K0), où K0 est le sous-corps des invariants de l'involution de K. Lorsque K est commutatif, on a T(Φ) = U+(Φ), sauf lorsque n = 3 et K = F4. Lorsque ν ≥ 2, ou lorsque n ≥ 3 et que K est de rang fini sur son centre, T(Φ) est le groupe des commutateurs de U(Φ) ; par contre, pour n = 2, il y a des corps non commutatifs de rang 4 sur leur centre tels que T(Φ) ne soit pas le groupe des commutateurs de U(Φ), le quotient U(Φ)/T(Φ) pouvant avoir des facteurs de composition simples (non commutatifs). Pour ν = 0, les mêmes phénomènes que pour les groupes orthogonaux peuvent se produire.

— Jean DIEUDONNÉ

Accédez à l'intégralité de nos articles

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

Carte mentale
Élargissez votre recherche dans Universalis

Classification

Médias

Dilatation - crédits : Encyclopædia Universalis France

Dilatation

Encyclopædia Universalis France

Transvection - crédits : Encyclopædia Universalis France

Transvection

Encyclopædia Universalis France

Simplicité du groupe O+ - crédits : Encyclopædia Universalis France

Simplicité du groupe O+

Encyclopædia Universalis France

Autres références

  • ALGÈBRE

    • Écrit par
    • 7 145 mots
    La structure de groupe est une des structures algébriques les plus simples et, sans conteste, la plus importante des mathématiques modernes. Son universalité ne s'arrête pas là : le psychologue Piaget a mis en évidence le rôle essentiel joué par cette notion dans les mécanismes mêmes de la pensée, et...

  • BOREL ARMAND (1923-2003)

    • Écrit par
    • 795 mots

    En 1992, le mathématicien Armand Borel a reçu le prix international Balzan « pour ses contributions fondamentales à la théorie des groupes de Lie, des groupes algébriques et des groupes arithmétiques, et pour son action inlassable en faveur de la recherche mathématique et de la propagation...

  • BURNSIDE WILLIAM SNOW (1852-1927)

    • Écrit par
    • 394 mots

    Mathématicien britannique, spécialiste de la théorie des groupes. Né le 2 juillet 1852 à Londres (Grande-Bretagne) d'un père écossais, William Snow Burnside fait ses études supérieures au Pembroke College de l'université de Cambridge, dont il est diplômé en 1875 et où il effectue ses recherches...

  • CAUCHY AUGUSTIN-LOUIS (1789-1857)

    • Écrit par
    • 1 402 mots
    • 1 média
    ...valeurs propres d'une matrice symétrique d'ordre supérieur à 3, et il partage avec Binet la découverte de la formule donnant le produit de deux déterminants. Il a été aussi le premier à dégager clairement la notion de groupe de permutations et on lui doit les premiers résultats non triviaux de la théorie des...
  • Afficher les 34 références

Voir aussi

Abonnez-vous à Universalis pour 1 euro

Rejoignez-nous

Inscrivez-vous à notre newsletter