Groupe de type de Lie - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Lectures avancées

Une référence standard :

  • Simple Groups of Lie Type par Roger W. Carter, ISBN 0-471-50683-4

Les groupes classiques sont décrits dans

  • La géométrie des groupes classiques par Jean Dieudonné
  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Group of Lie type »

Au sujet des notations

Malheureusement, il n'existe pas de notation standard pour les groupes de type de Lie finis, et la littérature contient des douzaines de systèmes de notations incompatibles et confus.

  • Les groupes de type A_{n-1}\, sont quelquefois notés PSL_n(q)\, (le groupe spécial linéaire projectif) ou L_n(q)\, .
  • Les groupes de type C_n\, sont quelquefois notés Sp_{2n}(q)\, (le groupe symplectique) ou Sp_n(q)\, (ce qui prête à confusion).
  • La notation pour les groupes orthogonaux prête particulièrement à confusion. Certains symboles utilisés sont O_n(q)\, , O^{-}_n(q)\, , PSO_n(q)\, , \Omega_n(q)\, , mais il existe tellement de conventions qu'il n'est pas possible, hors contexte, de dire exactement à quels groupes ils correspondent. En particulier certains auteurs désignent par O_n(q)\, un groupe qui n'est pas le groupe orthogonal, mais le groupe simple correspondant.
  • Pour les groupes de Steinberg, certains auteurs écrivent {}^2\!A_n(q^2)\, (et ainsi de suite) pour le groupe que d'autres auteurs désignent par {}^2\!A_n(q)\, . Le problème est que deux corps interviennent, l'un d'ordre q^2\, , et son corps fixe d'ordre q, et les avis divergent sur celui qui devrait être inclus dans la notation. La convention " {}^2\!A_n(q^2)\, " est plus logique et conforme, mais la convention " {}^2\!A_n(q)\, " est de loin la plus commune.
  • Selon les auteurs, des groupes tels que A_n(q)\, sont les groupes de points à valeurs dans le groupe algébrique simple, ou simplement connexe. Par exemple, A_n(q)\, peut signifier soit le groupe spécial linéaire SL_{n+1}(q)\, , soit le groupe projectif spécial linéaire PSL_{n+1}(q)\, . Donc {}^2\!A_n(2^2)\, peut désigner 4 groupes différents, selon l'auteur.
Page générée en 0.106 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise