Mathieu grubu M22 - Mathieu group M22

Modern cebir alanında grup teorisi, Mathieu grubu M22 bir düzensiz basit grup nın-nin sipariş

   27 · 32 ··· 11 = 443520
≈ 4×105.

Tarih ve özellikler

M22 26 sporadik gruptan biridir ve Mathieu  (1861, 1873 ). 3 kat geçişlidir permütasyon grubu 22 nesnede. Schur çarpanı M22 12. dereceden döngüseldir ve dış otomorfizm grubu siparişi var 2.

Matematik literatüründe Schur çarpanının 2 kısmı hakkında birkaç yanlış ifade vardır. Burgoyne ve Fong (1966) yanlış bir şekilde M'nin Schur çarpanının22 3. sıraya sahip ve bir düzeltmede Burgoyne ve Fong (1968) yanlış bir şekilde siparişi olduğunu iddia etti 6. Bu, bildirinin başlığında bir hataya neden oldu Janko (1976) keşfini duyurmak Janko grubu J4. Mazet (1979) Schur çarpanının aslında 12. dereceden döngüsel olduğunu gösterdi.

Adem ve Milgram (1995) M'nin tüm kohomolojisinin 2 bölümünü hesapladı22.

Beyanlar

M22 22 noktada 3 geçişli permütasyon temsiline sahiptir, nokta sabitleyici ile PSL grubu3(4), bazen M olarak adlandırılır21. Bu eylem bir Steiner sistemi Tam otomorfizm grubu otomorfizm grubu M olan 77 hexad ile S (3,6,22)22.2 / M22.

M22 Üç tane var 3. derece permütasyon temsilleri: nokta sabitleyicili 77 altıgen üzerinde bir adet 24: Bir6ve bir dış otomorfizm altında eşlenik olan ve nokta dengeleyici A'ya sahip olan 176 heptad üzerinde iki sıra 3 eylem7.

M22 eylemin nokta dengeleyicisidir M23 23 noktada ve ayrıca 3. sıra eylem of Higman-Sims grubu 100 = 1 + 22 + 77 puan.

Üçlü kapak 3.M22 4 element ile alan üzerinde 6 boyutlu aslına uygun bir temsile sahiptir.

M'nin 6 katlı kapağı22 merkezleyicide görünür 21+12.3. (M22: 2) bir evrimi Janko grubu J4.

Maksimal alt gruplar

22 noktanın tamamında geçişli uygun alt grup yoktur. Maksimum alt grupların 8 eşlenik sınıfı vardır. M22 aşağıdaki gibi:

  • PSL (3,4) veya M21, 20160 siparişi: tek noktalı sabitleyici
  • 24: Bir6, sipariş 5760, 6 ve 16 yörüngeleri
W dengeleyici22 blok
  • Bir72520 sipariş, 7 ve 15'in yörüngeleri
168 mertebeden basit alt gruplardan her biri 15 olan 2 set vardır. Bir türünün yörüngeleri 1, 7 ve 14'tür; diğerlerinin yörüngeleri 7, 8 ve 7'dir.
  • Bir7, 7 ve 15 yörüngeleri
M'deki önceki türe eşlenik22:2.
  • 24: S5, sipariş 1920, 2 ve 20'lik yörüngeler (4'lü 5 blok)
Altılı grupta 2 noktalı sabitleyici
  • 23: PSL (3,2), sıra 1344, 8 ve 14'ün yörüngeleri
  • M10, 720 sipariş, 10 ve 12'lik yörüngeler (6'lı 2 blok)
Tek noktalı M sabitleyici11 (11 yörüngesini işaret edin)
Bölünmemiş grup uzantısı A formunun6.2
  • PSL (2,11), sipariş 660, 11 ve 11 yörüngeleri
M'nin başka bir tek noktalı sabitleyicisi11 (12 yörüngesini işaret edin)

Eşlenik sınıfları

12 eşlenik sınıfı vardır, ancak 11. derecenin iki sınıfı bir dış otomorfizm altında kaynaşmıştır.

SiparişHayır elementlerDöngü yapısı
1 = 11122
2 = 21155 = 3 · 5 · 7 · 111628
3 = 312320 = 25 · 5 · 7 · 111436
4 = 2213860 = 22 · 32 · 5 · 7 · 11122244
27720 = 23 · 32 · 5 · 7 · 11122244
5 = 588704 = 27 · 32 · 7 · 111254
6 = 2 · 336960 = 25 · 3 · 5 · 7 · 11223262
7 = 763360= 27 · 32 · 5 · 111 73Güç eşdeğeri
63360= 27 · 32 · 5 · 111 73
8 = 2355440 = 24 · 32 · 5 · 7 · 112·4·82
11 = 1140320 = 27 · 32 · 5 · 7112Güç eşdeğeri
40320 = 27 · 32 · 5 · 7112

Ayrıca bakınız

Referanslar

Dış bağlantılar