Mathieu grupp M 22

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

   2 7 · 3 2 · 5 · 7 · 11 = 443520
≈ 4 × 10 5 .

Historia och fastigheter

M 22 är en av de 26 sporadiska grupperna och introducerades av Mathieu ( 1861 , 1873 ). Det är en 3-faldig transitiv permutationsgrupp på 22 objekt. Schur -multiplikatorn för M 22 är cyklisk av ordning 12, och den yttre automorfismgruppen har ordning 2.

Det finns flera felaktiga påståenden om 2-delen av Schur-multiplikatorn i den matematiska litteraturen. Burgoyne & Fong (1966) hävdade felaktigt att Schur-multiplikatorn för M 22 har ordning 3, och i en rättelse hävdade Burgoyne & Fong (1968) felaktigt att den har ordning 6. Detta orsakade ett fel i titeln på tidningen Janko (1976) ) som tillkännager upptäckten av Janko-gruppen J4 . Mazet (1979) visade att Schur-multiplikatorn i själva verket är cyklisk av ordning 12.

Adem & Milgram (1995) beräknade 2-delen av all kohomologi av M 22 .

Framställningar

M 22 har en 3-transitiv permutationsrepresentation på 22 punkter, med punktstabilisator gruppen PSL 3 (4), ibland kallad M 21 . Denna åtgärd fixerar ett Steiner-system S(3,6,22) med 77 hexader, vars fullständiga automorfismgrupp är automorfismgruppen M22.2 av M22 .

M 22 har tre rang 3 permutationsrepresentationer : en på de 77 hexaderna med punktstabilisator 2 4 :A 6 och två rang 3 åtgärder på 176 heptader som är konjugerade under en yttre automorfism och har punktstabilisator A 7 .

M 22 är punktstabilisatorn för handlingen av M 23 på 23 poäng, och även punktstabilisatorn för rang 3-åtgärden i Higman–Sims-gruppen på 100 = 1+22+77 poäng.

Trippelkåpan 3.M 22 har en 6-dimensionell trogen representation över fältet med 4 element.

Det 6-faldiga locket av M 22 visas i centraliseraren 2 1+12 .3.(M 22 :2) av en involution av Janko-gruppen J4 .

Maximala undergrupper

Det finns inga egentliga subgrupper transitiva på alla 22 punkter. Det finns 8 konjugationsklasser av maximala undergrupper av M 22 enligt följande:

  • PSL(3,4) eller M 21 , beställning 20160: enpunktsstabilisator
  • 2 4 :A 6 , ordning 5760, banor på 6 och 16
Stabilisator av W 22 block
  • A 7 , ordning 2520, banor av 7 och 15
Det finns 2 uppsättningar, med 15 vardera, av enkla undergrupper av ordning 168. De av en typ har banor av 1, 7 och 14; de andra har banor av 7, 8 och 7.
  • A7 , banor av 7 och 15
Konjugerar till föregående typ i M 22 :2.
  • 2 4 :S 5 , ordning 1920, banor på 2 och 20 (5 block av 4)
En 2-punktsstabilisator i sextettgruppen
  • 2 3 :PSL(3,2), ordning 1344, banor på 8 och 14
  • M 10 , ordning 720, banor på 10 och 12 (2 block om 6)
En enpunktsstabilisator av M 11 (punkt i omloppsbana av 11)
En icke-delad gruppförlängning av form A 6 .2
  • PSL(2,11), ordning 660, orbitar av 11 och 11
En annan enpunktsstabilisator av M 11 (punkt i omloppsbana om 12)

Konjugationskurser

Det finns 12 konjugationsklasser, även om de två klasserna av element av ordning 11 är sammansmälta under en yttre automorfism.

Beställa Inga element Cykelstruktur
1 = 1 1 1 22
2 = 2 1155 = 3 · 5 · 7 · 11 1 6 2 8
3 = 3 12320 = 2 5 · 5 · 7 · 11 1 4 3 6
4 = 2 2 13860 = 2 2 · 3 2 · 5 · 7 · 11 1 2 2 2 4 4
27720 = 2 3 · 3 2 · 5 · 7 · 11 1 2 2 2 4 4
5 = 5 88704 = 2 7 · 3 2 · 7 · 11 1 2 5 4
6 = 2 · 3 36960 = 2 5 · 3 · 5 · 7 · 11 2 2 3 2 6 2
7 = 7 63360= 2 7 · 3 2 · 5 · 11 1 7 3 Effektekvivalent
63360= 2 7 · 3 2 · 5 · 11 1 7 3
8 = 2 3 55440 = 2 4 · 3 2 · 5 · 7 · 11 2·4·8 2
11 = 11 40320 = 2 7 · 3 2 · 5 · 7 11 2 Effektekvivalent
40320 = 2 7 · 3 2 · 5 · 7 11 2

Se även

externa länkar