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$

J₁

Le plus petit groupe de Janko, $J 1$ d'ordre 175 560, possède une présentation en termes de deux générateurs a et b et c = abab^-1

$a^2 = b^3 = (ab)^7 = (abc^3)^5 = (abc^6abab(ab^{-1})^2)^2 = 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

${\mathbf Y} = \left ( \begin{matrix} 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{matrix} \right )$

${\mathbf Z} = \left ( \begin{matrix} -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{matrix} \right )$ .

$J 1$ 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. $J 1$ 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é $A 5$ , c'est-à-dire isomorphe au groupe de symétrie de l'icosaèdre. Son groupe d'automorphismes extérieurs est trivial.

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

J₂

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 :

a 2 = b 3 = (a b) 7 = (a b a b a b - 1 a b a b a b - 1 a b a b - 1 a b - 1) 3 = 1,

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 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 $U 3 (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 $w 2 + w + 1 = 0$ , alors $J 2$ est engendré par les deux matrices

${\mathbf A} = \left ( \begin{matrix} 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{matrix} \right )$

${\mathbf B} = \left ( \begin{matrix} 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{matrix} \right )$

$J 2$ 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 $C o 1$ , 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 J₂ est 604 800.

J₃

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 $J 3 :2$ peut être présenté ainsi :

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

Une présentation pour $J 3$ en termes de générateurs (différents) a, b, c, d est :

$a^{19} = b^9 = a^ba^2 = c^2 = d^2 = (bc)^2 = (bd)^2 = (ac)^3 = (ad)^3 = (a^2ca^{-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.

J₄

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 :

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

$(ababab^{-1})^3(abab^{-1}ab^{-1})^3=(ab(abab^{-1})^3)^4=\,$

$[c,bab(ab^{-1})^2(ab)^3]=(bc^{bab^{-1}abab^{-1}a})^3=\,$

$((bababab)^3cc^{(ab)^3b(ab)^6b})^2=1\,$

Liens externes

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 J₃, Math. Zeitung 179 (1982), p. 91-95
Robert Griess, Twelve Sporadic Groups, Springer, 1998

Portail des mathématiques

Catégorie :

Groupe sporadique

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Groupe de Janko de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

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 … Wikipédia en Français
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 … Wikipédia en Français
Groupe Sporadique — En mathématiques, un groupe sporadique est l un des 26 groupes exceptionnels dans la classification des groupes simples finis. Un groupe simple est un groupe G qui ne possède aucun sous groupe normal à part le sous groupe trivial réduit à l… … Wikipédia en Français
Janko Čmelik — Surnom Janka Naissance 16 novembre 1905 Stara Pazova Décès 12 mai 1942 (à 37 ans) Sremska Mitrovica Nationalité Yougoslave Pays de réside … Wikipédia en Français
Groupe De Type De Lie — En mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d un groupe algébrique linéaire G à valeur dans le corps k. La classification des groupes simples finis montre que les groupes de types… … Wikipédia en Français
Groupe de type de lie — En mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d un groupe algébrique linéaire G à valeur dans le corps k. La classification des groupes simples finis montre que les groupes de types… … Wikipédia en Français
Groupe De Higman-Sims — En mathématiques, le groupe de Higman–Sims est un groupe sporadique simple fini d ordre 44 352 000. Il peut être caractérisé comme le sous groupe simple d index 2 dans le groupe des automorphismes du graphe de Higman–Sims. Le graphe de… … Wikipédia en Français
Groupe de higman-sims — En mathématiques, le groupe de Higman–Sims est un groupe sporadique simple fini d ordre 44 352 000. Il peut être caractérisé comme le sous groupe simple d index 2 dans le groupe des automorphismes du graphe de Higman–Sims. Le graphe de… … Wikipédia en Français
Groupe sporadique — En mathématiques, un groupe sporadique est l un des 26 groupes exceptionnels dans la classification des groupes simples finis. Un groupe simple est un groupe G non trivial qui ne possède aucun sous groupe normal à part son sous groupe trivial… … Wikipédia en Français
Groupe de Higman-Sims — En mathématiques, le groupe de Higman–Sims est un groupe sporadique simple fini d ordre 29 · 32 · 53 · 7 · 11 = 44 352 000. Il peut être caractérisé comme le sous groupe simple d index 2 dans le groupe des… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Groupe de Janko

Sommaire

J₁

J₂

J₃

J₄

Liens externes

Références

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Groupe de Janko

Sommaire

J1

J2

J3

J4

Liens externes

Références

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link

J₁

J₂

J₃

J₄