Groupe de Janko

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

$J_1$	$2^3\cdot 3\cdot 5\cdot 7\cdot 11\cdot 19$
$J_2$	$2^7\cdot 3^3\cdot 5^2\cdot 7$
$J_3$	$2^7\cdot 3^5\cdot 5\cdot 17\cdot 19$
$J_4$	$2^{21}\cdot 3^3\cdot 5\cdot 7\cdot 11^3\cdot 23\cdot 29\cdot 31\cdot 37\cdot 43$

JModèle:Ind

Le plus petit groupe de Janko, Modèle:Lien, d'ordre 175 560, possède une présentation en termes de deux générateurs a et b et de c = ababModèle:Exp

$a^2=b^3=(ab{)}^7=(ab{c}^3{)}^5=(ab{c}^{6}abab(a{b}^{-1}{)}^2{)}^2=1.$

Il peut aussi être exprimé en termes d'une représentation par permutations de degré 266. En fait, il possède 266 sous-groupes d'ordre 660, qui sont conjugués, et simples.

Janko trouva une Modèle:Lien en termes de matrices orthogonales 7 × 7 dans le corps à 11 éléments, avec les générateurs donnés par

$𝐘=\left(\begin{array}{ccccccc}0& 1& 0& 0& 0& 0& 0\\ 0& 0& 1& 0& 0& 0& 0\\ 0& 0& 0& 1& 0& 0& 0\\ 0& 0& 0& 0& 1& 0& 0\\ 0& 0& 0& 0& 0& 1& 0\\ 0& 0& 0& 0& 0& 0& 1\\ 1& 0& 0& 0& 0& 0& 0\end{array}\right)\text{et}𝐙=\left(\begin{array}{ccccccc}-3& 2& -1& -1& -3& -1& -3\\ -2& 1& 1& 3& 1& 3& 3\\ -1& -1& -3& -1& -3& -3& 2\\ -1& -3& -1& -3& -3& 2& -1\\ -3& -1& -3& -3& 2& -1& -1\\ 1& 3& 3& -2& 1& 1& 3\\ 3& 3& -2& 1& 1& 3& 1\end{array}\right).$

JModèle:Ind 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. JModèle:Ind peut être caractérisé de manière abstraite comme le seul groupe simple dont les 2-Sylows sont abéliens et qui possède un élément d'ordre 2 dont le centralisateur est isomorphe au produit direct du groupe d'ordre deux par le groupe alterné AModèle:Ind, c'est-à-dire isomorphe au groupe de symétrie de l'icosaèdre. Son groupe d'automorphismes extérieurs est trivial.

JModèle:Ind, JModèle:Ind et JModèle:Ind sont parmi les 6 groupes sporadiques simples appelés les parias, parce qu'ils ne sont pas des sous-quotients du groupe Monstre.

JModèle:Ind

Le Modèle:Lien, d'ordre 604 800, possède une présentation en termes de deux générateurs a et b :

$a^2=b^3=(ab{)}^7=(ababa{b}^{-1}ababa{b}^{-1}aba{b}^{-1}a{b}^{-1}{)}^3=1,$

en termes desquels il a un automorphisme extérieur envoyant b vers bModèle:2. 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 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 d'un point avec les orbites de 36 et 63, isomorphe au groupe unitaire UModèle:Ind(3) (d'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 wModèle:2 + w + 1 = 0, alors JModèle:Ind est engendré par les deux matrices

$𝐀=\left(\begin{array}{cccccc}{w}^2& w^2& 0& 0& 0& 0\\ w^3& w^2& 0& 0& 0& 0\\ w^3& w^3& w^2& w^2& 0& 0\\ w& w^3& w^3& w^2& 0& 0\\ 0& w^2& w^2& w^2& 0& w\\ w^2& w^3& w^2& 0& w^2& 0\end{array}\right)\text{et}𝐁=\left(\begin{array}{cccccc}w& w^3& w^2& w^3& w^2& w^2\\ w& w^3& w& w^3& w^3& w\\ w& w& w^2& w^2& w^3& 0\\ 0& 0& 0& 0& w^3& w^3\\ w^2& w^3& w^2& w^2& w& w^2\\ w^2& w^3& w^2& w& w^2& w\end{array}\right).$

JModèle:Ind est le seul des 4 groupes de Janko qui est une partie du groupe Monstre ; il appartient ainsi à ce que Robert Griess appelle la « famille heureuse ». Comme il fait aussi partie du groupe de Conway CoModèle:Ind, 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, reçut un court article intitulé A simple group of order 604801. Oui, 604 801 est premier (et tout groupe cyclique d'ordre premier est simple), mais l'ordre de J₂ est 604 800.

JModèle:Ind

Le Modèle:Lien, 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 termes de générateurs a, b, c et d, son groupe d'automorphismes JModèle:Ind:2 peut être présenté ainsi :

$a^{17}=b^8=a^b{a}^{-2}=c^2=b^c{b}^3=(abc{)}^4=(ac{)}^{17}=d^2=[d,a]=[d,b]=(a^3{b}^{-3}cd{)}^5=1.$

Une présentation pour JModèle:Ind en termes de générateurs a, b, c, d est :

$a^{19}=b^9=a^b{a}^2=c^2=d^2=(bc{)}^2=(bd{)}^2=(ac{)}^3=(ad{)}^3=(a^{2}c{a}^{-3}d{)}^3=1.$

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.

JModèle:Ind

Le Modèle:Lien a été suggéré par Janko en 1976, puis son existence et son unicité furent démontrées par Simon Norton en 1980. C'est le seul groupe simple d'ordre Modèle:Nombre. Il possède une représentation modulaire à 112 dimensions sur le corps fini à 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 :

$a^2=b^3=c^2=(ab{)}^{23}=[a,b{]}^{12}=[a,bab{]}^5=[c,a]=$

$(ababa{b}^{-1}{)}^3(aba{b}^{-1}a{b}^{-1}{)}^3=(ab(aba{b}^{-1}{)}^3{)}^4=$

$[c,bab(a{b}^{-1}{)}^2(ab{)}^3]=(b{c}^{ba{b}^{-1}aba{b}^{-1}a}{)}^3=$

$((bababab{)}^{3}c{c}^{(ab{)}^{3}b(ab{)}^{6}b}{)}^2=1$

Références

• Modèle:Article
• Modèle:Ouvrage
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage, JModèle:Ind, JModèle:Ind, JModèle:Ind, JModèle:Ind