Groupe Monstre
Modèle:Voir homonyme En mathématiques, le Monstre M ou groupe de Fischer-Griess FModèle:Ind est le plus gros des 26 groupes simples sporadiques. Son ordre est
- |M| = 2Modèle:Exp × 3Modèle:Exp × 5Modèle:Exp × 7Modèle:Exp × 11Modèle:Exp × 13Modèle:Exp × 17 × 19 × 23 × 29 × 31 × 41 × 47 × 59 × 71
- |M| = Modèle:Nb
- |M| ≈ Modèle:Nb.
Présentation
C'est un groupe simple, ceci signifiant qu'il n'a aucun sous-groupe normal excepté pour le sous-groupe constitué seulement de l'élément identité, et lui-même.
Les groupes simples finis ont été complètement classés ; il existe 18 familles infinies dénombrables de groupes simples finis, plus 26 groupes sporadiques qui ne suivent aucun motif apparent. Le groupe Monstre est le plus grand de ces groupes sporadiques.
Son existence a d'abord été conjecturée en 1973 sur la base de sa table des caractères, indépendamment par Bernd Fischer et Robert Griess.
Il a ensuite été construit en 1982 par Robert Griess comme groupe de rotations d'un espace de dimension Modèle:Nb.
Il agit par automorphismes sur une algèbre vertex appelée algèbre vertex du Monstre dont les dimensions des composantes homogènes sont données par les coefficients de la fonction modulaire j. La construction, donnée par Igor Frenkel, James Lepowsky et Modèle:Lien[1], utilise le réseau de Leech.
L'ensemble {2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, 71} des nombres premiers qui divisent l'ordre du Monstre apparaît aussi dans l'étude des formes modulaires.
Existence et unicité
Le Monstre a été construit par Griess en 1980 comme le groupe d'automorphismes de l'algèbre de Griess, une algèbre non associative et commutative de dimension Modèle:Nb. John Conway a simplifié cette construction plus tard.
Les constructions de Griess et Conway montrent que le Monstre existe. John G. Thompson a montré que l'unicité découlerait de l'existence d'une représentation fidèle de dimension Modèle:Nb. Une preuve de l'existence d'une telle représentation a été annoncée en 1982 par Simon P. Norton mais il n'a jamais publié les détails. La première preuve publiée de l'unicité du Monstre a été complétée par Griess, Meierfrankenfeld et Segev en 1990.
Le Monstre a 194 classes de conjugaisons. Sa table des caractères a été calculée en 1979, avant que l'existence ou l'unicité du Monstre n'ait été prouvée. Le calcul était fondé sur l'hypothèse que le degré minimal d'une représentation fidèle complexe est Modèle:Nb.
Monstrous moonshine
Modèle:Article détaillé Le groupe Monstre met en évidence des liens dans la conjecture dite du monstrous moonshine qui relie les mathématiques discrètes et non discrètes, qui fut prouvée par Richard Borcherds en 1992.
Dans ce cadre, le Monstre apparaît comme le groupe d'automorphismes de l'algèbre vertex du Monstre, une algèbre d'opérateurs vertex de dimension infinie contenant l'algèbre de Griess, et agissant sur l'algèbre de Lie Monstre, une algèbre de Kac-Moody Modèle:Lien.
Une construction informatique
Robert Arnott Wilson a trouvé explicitement (avec l'aide d'un ordinateur) deux matrices Modèle:Dunité sur le corps à 2 éléments qui engendrent le groupe Monstre. Néanmoins, exécuter les calculs avec ces matrices est d'un coût prohibitif en termes de temps et d'espace de stockage. Wilson et ses collaborateurs ont trouvé une méthode d'exécution de calculs avec le Monstre qui est considérablement plus rapide.
Soit V un espace vectoriel de dimension Modèle:Nb sur le corps à 2 éléments. On choisit un grand sous-groupe H (un sous-groupe maximal de préférence) du Monstre dans lequel il est facile de faire des calculs. Le sous-groupe H choisi est 3Modèle:Exp⋅2⋅Suz⋅2, où Suz est le groupe de Suzuki. Les éléments du Monstre sont stockés comme des mots en les éléments de H et un générateur supplémentaire T. Il est raisonnablement rapide de calculer l'action d'un de ces mots sur un vecteur dans V. En utilisant cette action, il est possible d'exécuter les calculs (tel que l'ordre d'un élément du Monstre). Wilson a exhibé des vecteurs u et v dont le stabilisateur commun est le groupe trivial. Ainsi (par exemple) on peut calculer l'ordre d'un élément g du Monstre en trouvant le plus petit Modèle:Math > 0 tel que gModèle:Expu = u et gModèle:Expv = v.
Ceci et des constructions similaires (dans différentes caractéristiques) ont été utilisés pour prouver certaines propriétés intéressantes du Monstre (par exemple, pour trouver certains de ses sous-groupes maximaux non locaux).
Références
Modèle:Références Modèle:Traduction/Référence
- Jacques Tits, « Le Monstre (d'après R. Griess, B. Fischer et al. »), Séminaire Bourbaki, 26 (1983-1984), Exposé No. 620, p. 105-122 Modèle:Lire en ligne
- Urmie Ray, « Le Monstre au clair de lune : sur les travaux de R. Borcherds », Gazette de la SMF 78 (1998), 93-98 Modèle:Lire en ligne
- Modèle:En R. L. Griess, Jr., « The Friendly Giant », Invent. Math. 69 (1982), 1-102
- Modèle:En R. L. Griess, Jr., Ulrich Meierfrankenfeld et Yoav Segev, « A uniqueness proof for the Monster », Ann. of Math. (2) 130 (1989), no. 3, 567-602.
- Modèle:En P. E. Holmes et R. A. Wilson, « A computer construction of the Monster using 2-local subgroups », J. LMS 67 (2003), 346-364
- Modèle:En S. A. Linton, R. A. Parker, P. G. Walsh et R. A. Wilson, « Computer construction of the Monster », J. Group Theory 1 (1998), 307-337
- Modèle:Ouvrage
- Modèle:En S. P. Norton, The uniqueness of the Fischer-Griess Monster, Finite groups – coming of age (Montreal, 1982), 271-285, Contemp. Math., 45, AMS, Providence (RI), 1985
- Modèle:En J. H. Conway et S. P. Norton, « Monstrous Moonshine », Bull. LMS 11 (1979), no. 3, 308-339