Mathieu grupp M 12

Inom området för modern algebra känd som gruppteori är Mathieu -gruppen M 12 en sporadisk enkel ordningsgrupp

   12 · 11 · 10 · 9 · 8 = 2 6 · 3 3 · 5 · 11 = 95040.

Historia och fastigheter

M 12 är en av de 26 sporadiska grupperna och introducerades av Mathieu ( 1861 , 1873 ). Det är en skarpt 5-transitiv permutationsgrupp på 12 objekt. Burgoyne & Fong (1968) visade att Schur-multiplikatorn för M 12 har ordning 2 (rätta ett misstag i ( Burgoyne & Fong 1966 ) där de felaktigt hävdade att den hade ordning 1).

Den dubbla täckningen hade implicit hittats tidigare av Coxeter (1958) , som visade att M 12 är en undergrupp av den projektiva linjära gruppen av dimension 6 över det finita fältet med 3 element.

Den yttre automorfismgruppen har ordning 2, och den fullständiga automorfismgruppen M 12 .2 ingår i M 24 som stabilisator för ett par komplementära dodekader på 24 punkter, med yttre automorfismer av M 12 som byter ut de två dodecaderna.

Framställningar

Frobenius (1904) beräknade den komplexa teckentabellen för M 12 .

M 12 har en strikt 5-transitiv permutationsrepresentation på 12 punkter, vars punktstabilisator är Mathieu-gruppen M 11 . Genom att identifiera de 12 punkterna med den projektiva linjen över fältet av 11 element, genereras M 12 av permutationerna av PSL 2 (11) tillsammans med permutationen (2,10)(3,4)(5,9)(6, 7). Denna permutationsrepresentation bevarar ett Steiner-system S(5,6,12) med 132 speciella hexader, så att varje pentad ingår i exakt 1 speciell hexad, och hexaderna är stöden för vikten 6 kodorden i den utökade ternära Golay- koden . Faktum är att M 12 har två likvärdiga handlingar på 12 punkter, utbytta av en yttre automorfism; dessa är analoga med de två inekvivalenta verkningarna av den symmetriska gruppen S 6 på 6 punkter.

Det dubbla locket 2.M 12 är automorfismgruppen för den utökade ternära Golay-koden , en dimension 6 längd 12-kod över fältet ordning 3 med minsta vikt 6. I synnerhet har det dubbla locket en irreducerbar 6-dimensionell representation över fältet av 3 element.

Det dubbla höljet 2.M 12 är automorfismgruppen för vilken 12×12 Hadamard-matris som helst .

M 12 centraliserar ett element av ordning 11 i monstergruppen , som ett resultat av vilket det verkar naturligt på en vertexalgebra över fältet med 11 element, givet som Tate-kohomologin för monstervertexalgebra .

Maximala undergrupper

Det finns 11 konjugationsklasser av maximala undergrupper av M 12 , 6 som förekommer i automorfa par, enligt följande:

  • M 11 , order 7920, index 12. Det finns två klasser av maximala undergrupper, utbytta av en yttre automorfism. Den ena är undergruppen som fixerar en punkt med banor av storlek 1 och 11, medan den andra verkar transitivt på 12 punkter.
  • S6 :2 = M10.2 , den yttre automorfismgruppen i den symmetriska gruppen S6 av ordningen 1440, index 66. Det finns två klasser av maximala undergrupper, utbytta av en yttre automorfism. Den ena är imprimitiv och transitiv, verkar med 2 block av 6, medan den andra är undergruppen som fixerar ett par punkter och har banor av storlek 2 och 10.
  • PSL(2,11), order 660, index 144, dubbelt transitiv på de 12 punkterna
  • 3 2 :(2.S 4 ), ordning 432. Det finns två klasser av maximala undergrupper, utbytta av en yttre automorfism. Den ena agerar med banor på 3 och 9, och den andra är imprimitiv på 4 uppsättningar av 3.
Isomorf till den affina gruppen på utrymmet C 3 x C 3 .
  • S 5 x 2, ordning 240, dubbelt imprimitiv på 6 uppsättningar av 2 punkter
Centraliserare av en sexdubbel transposition
  • Q :S 4 , ordning 192, banor av 4 och 8.
Centraliserare av en fyrdubbel transponering
  • 4 2 :(2 x S 3 ), order 192, imprimitiv på 3 set om 4
  • A 4 x S 3 , ordning 72, dubbelt imprimitiv, 4 set med 3 poäng.

Konjugationskurser

Cykelformen för ett element och dess konjugat under en yttre automorfism är relaterade på följande sätt: föreningen av de två cykelformerna är balanserad, med andra ord invariant vid ändring av varje n-cykel till en N/ n - cykel för något heltal N .

Beställa siffra Centraliserare Cyklar Fusion
1 1 95040 1 12
2 396 240 2 6
2 495 192 1 4 2 4
3 1760 54 1 3 3 3
3 2640 36 3 4
4 2970 32 2 2 4 2 Sammansmält under en yttre automorfism
4 2970 32 1 4 4 2
5 9504 10 1 2 5 2
6 7920 12 6 2
6 15840 6 1 2 3 6
8 11880 8 1 2 2 8 Sammansmält under en yttre automorfism
8 11880 8 4 8
10 9504 10 2 10
11 8640 11 1 11 Sammansmält under en yttre automorfism
11 8640 11 1 11

externa länkar