- Groupe de Janko
-
En mathématiques, les groupes de Janko J1, J2, J3 et J4 sont quatre des vingt-six groupes sporadiques; leurs ordres respectifs sont :
Sommaire
J1
Le plus petit groupe de Janko, J1 d'ordre 175 560, possède une présentation en termes de deux générateurs a et b et c = abab-1
.
Il peut aussi être exprimé en termes d'une représentation de permutation de degré 266. En fait, il possède 266 sous-groupes d'ordre 660, qui sont conjugués, et simples.
Janko trouva une représentation modulaire en termes de matrices orthogonales 7 x 7 dans le corps à 11 éléments, avec les générateurs donnés par
et
.
J1 fut décrit en premier par Zvonimir Janko (en) en 1965, dans un article qui décrit le premier groupe simple sporadique nouveau découvert après plus d'un siècle et qui lança la théorie moderne des groupes sporadiques. J1 peut être caractérisé de manière abstraite comme le seul groupe simple dont les 2-Sylows sont abéliens et qui possède une involution dont le centralisateur est isomorphe au produit direct du groupe d'ordre deux par le groupe alterné A5, c'est-à-dire isomorphe au groupe de symétrie de l'icosaèdre. Son groupe d'automorphismes extérieurs est trivial.
J1, J3 et J4 sont parmi les 6 groupes sporadiques simples appelés les parias, parce qu'ils ne se trouvent pas dans le groupe Monstre.
J2
Le deuxième groupe de Janko, d'ordre 604 800 possède une présentation en termes de deux générateurs a et b :
- a2 = b3 = (ab)7 = (ababab − 1ababab − 1abab − 1ab − 1)3 = 1,
en termes desquels il a un automorphisme extérieur envoyant b vers b2. Le groupe est aussi appelé le groupe de Hall-Janko ou le groupe de Hall-Janko-Wales, puisqu'il a été prévu par Janko et construit par Marshall Hall (en) et David Wales. C'est un sous-groupe d'indice deux du groupe des automorphismes du graphe de Hall-Janko, conduisant à une représentation de permutation de degré 100. Cette représentation possède un stabilisateur à un point avec les orbites de 36 et 63, isomorphe au groupe unitaire U3(3) (ordre 6048).
Nous pouvons aussi l'exprimer en termes d'une représentation modulaire à 6 dimensions sur le corps à 4 éléments ; si en caractéristique deux, nous avons w2 + w + 1 = 0, alors J2 est engendré par les deux matrices
et
J2 est le seul des 4 groupes de Janko qui est une partie du groupe Monstre ; il appartient ainsi à ce que Robert Griess (en) appelle la "famille heureuse". Comme il fait aussi partie du groupe de Conway Co1, il appartient aussi à la "deuxième génération" de la "famille heureuse".
Griess relate (p. 123) comment Marshall Hall, en tant qu'éditeur du Journal of Algebra (en), reçut un court article intitulé "Un groupe simple d'ordre 604 801". Oui, 604 801 est premier (et tout groupe cyclique d'ordre premier est simple), mais l'ordre de J2 est 604 800.
J3
Le troisième groupe de Janko, aussi connu comme le groupe de Higman-Janko-McKay, est un groupe sporadique fini simple d'ordre 50 232 960. Son existence a été pressentie par Janko et démontrée par Graham Higman et John McKay (en). En termes de générateurs a, b, c, et d, son groupe d'automorphisme J3:2 peut être présenté ainsi :
Une présentation pour J3 en termes de générateurs (différents) a, b, c, d est :
Il peut aussi être construit via une géométrie sous-jacente, comme cela fut effectué par Weiss, et possède une représentation modulaire à 18 dimensions sur le corps fini à 9 éléments, qui peut être exprimée en termes de deux générateurs.
J4
Le quatrième groupe de Janko a été suggéré par Janko en 1976, puis son existence et son unicité furent démontrées par Simon Norton (en) en 1980. C'est le seul groupe simple d'ordre 86 775 571 046 077 562 880. Il possède une représentation modulaire à 112 dimensions sur le corps fini de deux éléments, un fait que Norton utilisa pour le construire, et qui est la manière la plus facile de le traiter informatiquement. Il possède une présentation en termes de trois générateurs a, b et c :
Liens externes
- (en) PlanetMath: Janko groups
- (en) Atlas of Finite Group Representations: J1
- (en) Atlas of Finite Group Representations: J2
- (en) Atlas of Finite Group Representations: J3
- (en) Atlas of Finite Group Representations: J4
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Janko group » (voir la liste des auteurs)
- Zvonimir Janko, A new finite simple group with abelian Sylow subgroups and its characterization, Journal of Algebra 32 (1966), p. 147-186,
- Daniel Gorenstein, Finite Simple Groups, Plenum Press, 1982
- Richard Weiss, A Geometric Construction of Janko's Group J3, Math. Zeitung 179 (1982), p. 91-95
- Robert Griess, Twelve Sporadic Groups, Springer, 1998
Wikimedia Foundation. 2010.