Ryhmäteoria | |
---|---|
Peruskonseptit | |
Algebralliset ominaisuudet | |
rajalliset ryhmät |
|
Topologiset ryhmät | |
Algoritmit ryhmissä |
Janko-ryhmä J 2 , Hall-Janco-ryhmä ( HJ ) tai Hall-Janco-Wells- ryhmä on satunnainen järjestysryhmä.
2 7 • 3 3 • 5 2 • 7 = 604800.J 2 on yksi 26 satunnaisesta ryhmästä . Toinen nimi on Hall-Yanko-Wells -ryhmä . Vuonna 1969 Zvonimir Janko ennusti J 2 :n yhdeksi kahdesta yksinkertaisesta ryhmästä, joiden involuutiokeskittäjänä on 2 1+4 :A 5 (toinen on Jankon ryhmä J 3 ). Hall ja Wells [1] rakensivat ryhmän 3100 pisteen permutaatioryhmäksi .
Sekä Schur-kertoimella että ulkoisella automorfismiryhmällä on järjestys 2.
J 2 on ainoa neljästä Janko-ryhmästä, joka on hirviön alitekijä , joten ryhmä on osa perhettä, jota Robert Griss kutsui onnelliseksi . Koskaryhmä löytyy Conwayn Co1-ryhmästä , se on myös osa toista onnekasperhettä .
J 2 on Hall-Janko-graafin indeksikahdesta automorfismiryhmästä koostuva alaryhmä , joka johtaa permutaatioesitykseen, joka on kertaluokkaa 100. Ryhmä on Hall-Jankon lähes kahdeksankulmaisen automorfismiryhmän indeksin kaksi alaryhmä [2] , joka johtaa permutaatioesitykseen järjestyksessä 315.
Ryhmällä on modulaarinen esitys ulottuvuudesta kuusi neljän elementin kentässä. Jos ominaisuudella kahdella meillä on w 2 + w + 1 = 0, niin J 2 generoidaan kahdella matriisilla
ja
Nämä matriisit täyttävät yhtälöt
J 2 on Hurwitz-ryhmä , kolmioryhmän (2,3,7) äärellinen homeomorfinen kuva .
Yllä annettu matriisiesitys muodostaa upotuksen Dixon-ryhmään G2 ( 4 ) . G 2 :ssa (4) on kaksi kosettia ja ne ovat ekvivalentteja kentän F 4 automorfismissa . Niiden leikkauspiste ("todellinen" aliryhmä) on yksinkertainen ryhmä luokkaa 6048. G2 ( 4 ) puolestaan on isomorfinen Conway-ryhmän Co1 alaryhmän kanssa .
Ryhmän J 2 maksimialaryhmiä on 9 kosettia . Jotkut Hall-Janko-kaavion toiminnot kuvattu tässä termeillä.
Yhdenkään elementin maksimijärjestys ei ylitä 15:tä. Permutaatioina elementit vaikuttavat Hall-Janko-graafin 100 kärkeen.
Tilaus | Elementit | Pyörien ja sarjojen rakenne |
---|---|---|
1 = 1 | 1 = 1 | 1 luokka |
2 = 2 | 315 = 3 2 • 5 • 7 | 2 40 , 1 luokka |
2520 = 2 3 • 3 2 • 5 • 7 | 2 50 , 1 luokka | |
3 = 3 | 560 = 2 4 • 5 • 7 | 3 30 , 1 luokka |
16800 = 2 5 • 3 • 5 2 • 7 | 3 32 , 1 luokka | |
4 = 2 2 | 6300 = 2 2 • 3 2 • 5 2 • 7 | 2 6 4 20 , 1 luokka |
5 = 5 | 4032 = 2 6 • 3 2 • 7 | 5 20 , 2 luokkaa |
24192 = 2 7 • 3 3 • 7 | 5 20 , 2 luokkaa | |
6 = 2 • 3 | 25200 = 2 4 • 3 2 • 5 2 • 7 | 2 4 3 6 6 12 , 1. luokka |
50400 = 2 5 • 3 2 • 5 2 • 7 | 2 2 6 16 , 1. luokka | |
7 = 7 | 86400 = 2 7 • 3 3 • 5 2 | 7 14 , 1. luokka |
8 = 2 3 | 75600 = 2 4 • 3 3 • 5 2 • 7 | 2 3 4 3 8 10 , 1. luokka |
10 = 2 • 5 | 60480 = 2 6 • 3 3 • 5 • 7 | 10 10 , 2 luokkaa |
120960 = 2 7 • 3 3 • 5 • 7 | 5 4 10 8 , 2 luokkaa | |
12 = 2 2 • 3 | 50400 = 2 5 • 3 2 • 5 2 • 7 | 3 2 4 2 6 2 12 6 , 1 luokka |
15 = 3 • 5 | 80640 = 2 8 • 3 2 • 5 • 7 | 5 2 15 6 , 2 luokkaa |
Ryhmäteoria | |
---|---|
Peruskonseptit | |
Algebralliset ominaisuudet | |
rajalliset ryhmät |
|
Topologiset ryhmät | |
Algoritmit ryhmissä |