Groupe de Janko - Définition

Introduction

En mathématiques, les groupes de Janko J₁, J₂, J₃ et J₄ sont quatre des vingt-six groupes sporadiques; leurs ordres respectifs sont :

J1

Le plus petit groupe de Janko, 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 conjugués, simples, d'ordre 660.

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

.

fut décrit en premier par Zvonimir Janko 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 simples. peut être caractérisé de manière abstraite comme le groupe simple unique avec des sous-groupes 2-Sylow et avec une involution dont le centralisateur est isomorphe au produit direct du groupe d'ordre deux et le groupe alterné d'ordre 60, qui est dit, le groupe icosaédral rotationnel. Il ne possède pas d'automorphisme extérieur.

, et sont parmi les 6 groupes sporadiques simples appelés les parias, parce qu'ils ne se trouvent pas dans le groupe Monstre.

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. L'évidence de son existence a été découverte par Janko et a été montré par Higman et McKay. En termes de générateurs a, b, c, et d, son groupe d'automorphisme peut être présenté ainsi . Une présentation pour en termes de générateurs (différents) a, b, c, d est . Il peut aussi être construit via une géométrie fondamentale, 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é en termes de deux générateurs.

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 : en termes desquels il a un automorphisme extérieur envoyant b vers b². 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 Hall et Wales. C'est un sous-groupe d'index 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 (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 , alors est généré par les deux matrices

et

est le seul des 4 groupes de Janko qui est une partie du groupe Monstre; il fait ainsi partie de ce que Robert Griess appelle la famille heureuse. Il est trouvé dans le groupe de Conway , faisant ainsi partie de la deuxième génération de la famille heureuse.

Griess relate [p. 123] comment Marshall Hall, en tant qu'éditeur de The Journal of Algebra, reçut un court article intitulé "Un groupe simple d'ordre 604 801." Oui, 604 801 est premier.

J4

Le quatrième groupe de Janko a été montré comme probable Janko en 1976, puis son existence unique fut démontrée par Simon Norton en 1980. C'est un groupe fini simple unique d'ordre . 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 :