Conway grubu Co3 - Conway group Co3

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

   210 · 37 · 53 ·· 11 · 23
= 495766656000
≈ 5×1011.

Tarih ve özellikler

26 sporadik gruptan biridir ve tarafından keşfedilmiştir John Horton Conway  (1968, 1969 ) olarak otomorfizm grubu of Sülük kafes tip 3 kafes vektörünü, dolayısıyla uzunluğu sabitlemek 6. Bu nedenle bir alt gruptur . Bir alt grubuna izomorfiktir . Doğrudan ürün maksimal .

Schur çarpanı ve dış otomorfizm grubu ikisi de önemsiz.

Beyanlar

Co3 belirleyici 4'ün benzersiz 23 boyutlu çift kafesi üzerinde hiçbir kök olmadan etki eder, ortogonal tamamlayıcı Sülük kafesinin bir norm 4 vektörünün. Bu, herhangi bir alan üzerinde 23 boyutlu temsiller verir; karakteristik 2 veya 3'ün alanları üzerinde bu, 22 boyutlu sadık bir temsile indirgenebilir.

Co3 çift ​​geçişlidir permütasyon temsili 276 puanda.

(Txt ) eğer sonlu bir grup 23 boyutunun kesinlikle indirgenemez, sadık rasyonel temsiline sahipse ve 23 veya 24 indeks alt gruplarına sahip değilse, o zaman her ikisinde de yer aldığını gösterdi. veya .

Maksimal alt gruplar

Bazı maksimal alt gruplar, Sülük kafesinin 2 boyutlu alt örgülerini sabitler veya yansıtır. Bu uçakları şu şekilde tanımlamak olağandır: h-k-l üçgenler: kenarları (köşe farklılıkları) türlerin vektörleri olan, bir köşe olarak orijini içeren üçgenler h, k, ve l.

Larry Finkelstein (1973 ) maksimal alt gruplarının 14 eşlenik sınıfını buldu aşağıdaki gibi:

  • McL: 2 - McL 2-2-3 üçgeni düzeltir. Maksimum alt grup ayrıca üçgenin yansımalarını da içerir. var iki kat geçişli permütasyon gösterimi 276 tip 2-2-3 üçgenlerde bir kenar olarak bir tip 3 vektörü ile sabitlenmiş .
  • HS - 2-3-3 üçgeni düzeltir.
  • U4(3).22
  • M23 - 2-3-4 üçgeni düzeltir.
  • 35:(2 × M11 ) - 3-3-3 üçgeni düzeltir veya yansıtır.
  • 2. SP6(2) - 276 tip 2-2-3 üçgenlerin 240'ını hareket ettiren evreleme sınıfı 2A'nın merkezileştiricisi (iz 8)
  • U3(5): S3
  • 31+4: 4S6
  • 24.A8
  • PSL (3,4) :( 2 × S3)
  • 2 × M12 - 276 tip 2-2-3 üçgenin 264'ünü hareket ettiren 2B evrimi sınıfının merkezileştiricisi (iz 0)
  • [210.33]
  • S3 × PSL (2,8): 3 - sınıf 3C (iz 0) elemanı tarafından oluşturulan 3 alt grubun normalleştiricisi
  • Bir4 × S5

Eşlenik sınıfları

Co'nun standart 24 boyutlu gösteriminde matrislerin izleri3 gösterilir.[1] Eşlenik sınıflarının isimleri Sonlu Grup Temsilleri Atlası'ndan alınmıştır.[2][3]Listelenen döngü yapıları, sabit tip 3 tarafını paylaşan 276 2-2-3 üçgen üzerinde hareket eder.[4]

SınıfMerkezleyici sırasıSınıfın boyutuİzlemeDöngü tipi
1 Atüm Co3124
2A2,903,04033·52·11·238136,2120
2B190,08023·34·52·7·230112,2132
3 A349,92025·52·7·11·23-316,390
3B29,16027·3·52·7·11·236115,387
3C4,53627·33·53·11·230392
4A23,0402·35·52·7·11·23-4116,210,460
4B1,5362·36·53·7·11·23418,214,460
5A150028·36·7·11·23-11,555
5B30028·36·5·7·11·23416,554
6A4,32025·34·52·7·11·23516,310,640
6B1,29626·33·53·7·11·23-123,312,639
6C21627·34·53·7·11·23213,26,311,638
6D10828·34·53·7·11·23013,26,33,642
6E7227·35·53·7·11·23034,644
7A4229·36·53·11·23313,739
8A19224·36·53·7·11·23212,23,47,830
8B19224·36·53·7·11·23-216,2,47,830
8C3225·37·53·7·11·23212,23,47,830
9A16229·33·53·7·11·23032,930
9B81210·33·53·7·11·23313,3,930
10 A6028·36·52·7·11·2331,57,1024
10B2028·37·52·7·11·23012,22,52,1026
11A2229·37·53·7·2321,1125güç eşdeğeri
11B2229·37·53·7·2321,1125
12A14426·35·53·7·11·23-114,2,34,63,1220
12B4826·36·53·7·11·23112,22,32,64,1220
12C3628·35·53·7·11·2321,2,35,43,63,1219
14A1429·37·53·11·2311,2,751417
15A15210·36·52·7·11·2321,5,1518
15B3029·36·52·7·11·23132,53,1517
18A1829·35·53·7·11·2326,94,1813
20A2028·37·52·7·11·2311,53,102,2012güç eşdeğeri
20 milyar2028·37·52·7·11·2311,53,102,2012
21A21210·36·53·11·2303,2113
22A2229·37·53·7·2301,11,2212güç eşdeğeri
22B2229·37·53·7·2301,11,2212
23A23210·37·53·7·1112312güç eşdeğeri
23B23210·37·53·7·1112312
24A2427·36·53·7·11·23-1124,6,1222410
24B2427·36·53·7·11·2312,32,4,122,2410
30A3029·36·52·7·11·2301,5,152,308

Genelleştirilmiş Canavar Ay Işığı

Benzetme olarak canavarca kaçak içki canavar için M, için Co3ilgili McKay-Thompson serisi sabit terim a (0) = 24 (OEISA097340),

ve η(τ) Dedekind eta işlevi.

Referanslar

Dış bağlantılar