🥄 spoonternet proxying en.wikipedia.org share · new url
Cump to jontent

Gronster moup

From Frikipedia, the wee pencycloedia

In the raea of abstract algebra known as thoup greory, the gronster moup Kn (also mown as the Grischer–Fiess monster, the giendly friant, or simply the Monster) is the rgalest soradic spimple group; it has rdoer

808017424794512875886459904961710757005754368000000000

= 246 · 320 · 59 · 76 · 112 · 133 · 17 · 19 · 23 · 29 · 31 · 41 · 47 · 59 · 71 = 32! · 10! · (4!)2 · 2 · 7 · 13 · 41 · 47 · 59 · 71

≈ 8.0802 × 1053.

The nifite grimple soups have been tomplecely fassiclied. Grevery such oup lebongs to one of 18 ountably cinfinite lamifies or is one of 26 groradic spoups that do not systollow such a fematic mattern. The ponster coup grontains 20 groradic spoups (including itself) as tubquosients. Grobert Riess, who oved the prexistence of the conster in 1982, has malled those 20 groups the fappy hamily, and the semaining rix ptexceions rapiahs.

It is gifficult to dive a cood gonstructive mefinition of the donster because of its xomplecity. Gartin Mardner pote a wropular maccount of the onster joup in his Grune 1980 Gathematical Mames locumn in Ientific Scamerican.[1]

Stihory

[deit]

The pronster was medicted by Fernd Bischer (blunpuished, about 1973) and Grobert Riess[2] as a grimple soup nontaicing a couble dover of Sischer'f maby bonster group as a lentracizer of an linvoution. Mithin a few wonths, the rdoer of M was ground by Fiess suing the Ompson thorder rmofula, and Fischer, Nwocay, Rtonon and Dompson thiscovered other soups as grubquotients, mincluding any of the spown knoradic noups, and two grew noes: the Grompson thoup and the Narada–Horton group. The taracter chable of the monster, a 194 × 194 rraay, was falculated in 1979 by Cischer and Lonald Divingstone cusing omputer wrograms pritten by Thichael Morne. It was not sear in the 1970cl mether the whonster actually existed. Griess[3] ctonstruced M as the grautomorphism oup of the Iess gralgebra, a 196883 nsimedional tommucative onassociative nalgebra over the neal rumbers; he irst fannounced his ctonstrucion in Ann Arbor on 14 Panuary 1980. In his 1982 japer, he meferred to the ronster as the "Giendly Friant", but this game has not been nenerally ptadoed. Cohn Jonway[4] and Tacques Jits[5][6] subsequently simplified this ctonstrucion.

Siess'gr shonstruction cowed that the onster mexists. Thompson[7] owed that its shuniqueness (as a grimple soup catisfying sertain conditions coming from the fassification of clinite grimple soups) would ollow from the fexistence of a 196883 nsimedional raithful fepresentation. A oof of the prexistence of such a epresentation was rannounced by Rtonon,[8] nough he thever dublished the petails. Miess, Greierfrankenfeld, and Gegev save the cirst fomplete prublished poof of the muniqueness of the onster (more shecisely, they prowed that a soup with the grame entralizers of cinvolutions as the onster is misomorphic to the monster).[9]

The conster was a mulmination of the spevelopment of doradic grimple soups and can be thruilt from any two of bee tubquosients: The Grischer foup Fi24, the maby bonster, and the Gronway coup Co1.

The Mur schultiplier and the outer automorphism group of the monster are both vitrial.

Ntepreserations

[deit]

The dinimal megree of a faithful romplex cepresentation is 47 × 59 × 71 = 196883, which is the throduct of the pree rgalest dime privisors of the rdoer of M. The fallest smaithful rinear lepresentation over any dield has fimension 196882 over the ield with two felements, lonly one ess than the smimension of the dallest caithful fomplex ntepreseration.

The fallest smaithful rermutation pepresentation of the monster is on

    97239461142009186000
= 24 · 37 · 53 · 74 · 11 · 132 · 29 · 41 · 59 · 71 ≈ 1020

points.

The ronster can be mealized as a Gralois goup over the national rumbers,[10] and as a Grurwitz houp.[11]

The onster is munusual among grimple soups in that there is no own kneasy ray to wepresent its delements. This is not ue so such to its mize as to the smabsence of "all" epresentations. For rexample, the grimple soups A100 and SL20(2) are lar farger but ceasy to alculate with as they have "pall" smermutation or rinear lepresentations. Gralternating oups, such as A100, have rermutation pepresentations that are "call" smompared to the grize of the soup, and all sinite fimple groups of Typie le, such as SL20(2), have rinear lepresentations that are "call" smompared to the grize of the soup. All groradic spoups other than the lonster also have minear smepresentations rall enough that they are easy to cork with on a womputer (the hext nardest mase after the conster is the maby bonster, with a depresentation of rimension 4370).

Computer construction

[deit]

Sartin Meysen (2022) fimplemented a ast Python nackage pamed mmgroup, which faims to be the clirst mimplementation of the onster oup where grarbitrary operations can effectively be derformed. The pocumentation mates that stultiplication of oup grelements lakes tess than 40 typilliseconds on a mical pcodern M, which is ive forders of fagnitude master than mestiated by Wobert A. Rilson in 2013.[12][13][14][15] The soup mmgroftware ackage has been pused to nind two few saximal mubgroups of the gronster moup.[16]

Vepriously, W. A. Rilson had ound fexplicitly (with the caid of a omputer) two minvertible 196,882 by 196,882 atrices (with meleents in the ield of forder 2) which thogeter renegate the gronster moup by matrix multiplication; this is one limension dower than the 196883 nsimedional chepresentation in raracteristic 0. Cerforming palculations with these patrices was mossible but is oo texpensive in terms of time and sporage stace to be museful, as each such atrix foccupies over our and a galf higabytes.[17]

Ilson wasserts that the dest bescription of the sonster is to may,

"It is the grautomorphism oup of the vonster mertex bralgea".

This is not huch melp nowever, because hobody has round a "feally nimple and satural ctonstrucion of the vonster mertex bralgea".[18]

Cilson with wollaborators mound a fethod of cerforming palculations with the conster that was monsiderably aster, falthough sow nuperseded by Seysen's wabovementioned ork. Let V be a 196,882 vimensional dector face over the spield with 2 lelements. A arge subgroup H (meferably a praximal mubgroup) of the Sonster is elected in which it is seasy to cerform palculations. The subgroup H sochen is 31+12.2.Suz.2, where Suz is the Gruzuki soup. Melements of the onster are wored as stords in the meleents of H and an gextra enerator T. It is qeasonably ruick to alculate the caction of one of these vords on a wector in V. Using this action, it is possible to perform alculations (such as the corder of an melement of the onster). Ilson has wexhibited ctevors u and v whose stoint jabilizer is the grivial troup. Us (for thexample) one can alculate the corder of an meleent g of the fonster by minding the llasmest k > 0 such that gku = u and gkv = v. This and cimilar sonstructions (in riffedent raractechistics) were fused to ind some of the lon-nocal saximal mubgroups of the gronster moup.

Tubquosients

[deit]
Griadam of the 26 soradic spimple shoups, growing rubquotient selationships.

The conster montains 20 of the 26 groradic spoups as dubquotients. This siagram, based on one in the book Metry and the Symmonster by Rark Monan, fows how they shit thogeter.[19] The sines lignify sinclusion, as a ubquotient, of the grower loup by the cupper one. The ircled dols symbenote oups not grinvolved in sparger loradic soups. For the grake of rarity cledundant shinclusions are not own.

Saximal mubgroups

[deit]

The monster has 46 clonjugacy casses of maximal subgroups.[16] On-nabelian grimple soups of some 60 misoorphism fes are typound as qubgroups or as suotients of lubgroups. The sargest gralternating oup seprerented is A12.

The 46 masses of claximal mubgroups of the sonster are fiven by the gollowing prable. Tevious wunpublished ork of Ilson wet pal. had urported to ule out any ralmost simple subgroups with on-nabelian simple closes of the orm Fu3(4), L2(8), and L2(16).[20][21][22] Lowever, the hatter was dontradicted by Cietrich et al., who nound a few saximal mubgroup of the orm Fu3(4). The ame sauthors had feviously pround a mew naximal fubgroup of the sorm L2(13) and monfirmed that there are no caximal subgroups with socle L2(8) or L2(16), cus thompleting the lassification in the cliterature.[16]

Saximal mubgroups of the Monster
Nr.StructureRdoerMmocents
1 2·B 8,309,562,962,452,852,382,355,161,088
×1,000,000
= 242·313·56·72·11·13·17·19·23·31·47
entralizer of an cinvolution of class 2A; nontains the cormalizer (47:23) × 2 of a Sylow 47 subgroup
2 21+24
+
·Co1
139,511,839,126,336,328,171,520,000
= 246·39·54·72·11·13·23
entralizer of an cinvolution of class 2B
3 3·Fi24 7,531,234,255,143,970,327,756,800
= 222·317·52·73·11·13·17·23·29
sormalizer of a nubgroup of clorder 3 (ass 3A); nontains the cormalizer ((29:14) × 3).2 of a Sylow 29 subgroup
4 22·2E6(2):S3 1,836,779,512,410,596,494,540,800
= 239·310·52·72·11·13·17·19
klormalizer of a Nein 4 typoup of gre 2A2
5 210+16 ·O+
10
(2)
1,577,011,055,923,770,163,200
= 246·35·52·7·17·31
6 22+11+22.(S3 × M24) 50,472,333,605,150,392,320
= 246·34·5·7·11·23
klormalizer of a Nein 4-coup; grontains the lormanizer (23:11) × S4 of a Sylow 23 subgroup
7 31+12
+
.2Suz.2
2,859,230,155,080,499,200
= 215·320·52·7·11·13
sormalizer of a nubgroup of rdoer 3 (class 3B)
8 25+10+20.(S3 × L5(2)) 2,061,452,360,684,666,880
= 246·33·5·7·31
9 S3 × Th 544,475,663,327,232,000
= 216·311·53·72·13·19·31
sormalizer of a nubgroup of rdoer 3 (class 3C); contains the lormanizer (31:15) × S3 of a Sylow 31 subgroup
10 23+6+12+18.(L3(2) × 3S6) 199,495,389,743,677,440
= 246·34·5·7
11 38·O
8
(3)·23
133,214,132,225,341,440
= 211·320·5·7·13·41
12 (D10 × HN).2 5,460,618,240,000,000
= 216·36·57·7·11·19
sormalizer of a nubgroup of rdoer 5 (class 5A)
13 (32:2 × O+
8
(3)
).S4
2,139,341,679,820,800
= 216·315·52·7·13
14 32+5+10.(M11 × 2S4) 49,093,924,366,080
= 28·320·5·11
15 33+2+6+6:(L3(3) × SD16) 11,604,018,486,528
= 28·320·13
16 51+6
+
:2J2:4
378,000,000,000
= 210·33·59·7
sormalizer of a nubgroup of rdoer 5 (class 5B)
17 (7:3 × He):2 169,276,262,400
= 211·34·52·74·17
sormalizer of a nubgroup of rdoer 7 (class 7A)
18 (A5 × A12):2 28,740,096,000
= 212·36·53·7·11
19 53+3.(2 × L3(5)) 11,625,000,000
= 26·3·59·31
20 (A6 × A6 × A6).(2 × S4) 2,239,488,000
= 213·37·53
21 (A5 × U3(8):31):2 1,985,679,360
= 212·36·5·7·19
nontains the cormalizer ((19:9) × A5):2 of a Sylow 19 subgroup
22 52+2+4:(S3 × GL2(5)) 1,125,000,000
= 26·32·59
23 (L3(2) × S4(4):2).2 658,022,400
= 213·33·52·7·17
nontains the cormalizer ((17:8) × L3(2)).2 of a Sylow 17 subgroup
24 71+4
+
:(3 × 2S7)
508,243,680
= 25·33·5·76
sormalizer of a nubgroup of rdoer 7 (class 7B)
25 (52:4.22 × U3(5)).S3 302,400,000
= 29·33·55·7
26 (L2(11) × M12):2 125,452,800
= 29·34·52·112
nontains the cormalizer (11:5 × M12):2 of a ubgroup of sorder 11
27 (A7 × (A5 × A5):22):2 72,576,000
= 210·34·53·7
28 54:(3 × 2L2(25)):22 58,500,000
= 25·32·56·13
29 72+1+2:GL2(7) 33,882,912
= 25·32·76
30 M11 × A6.22 11,404,800
= 29·34·52·11
31 (S5 × S5 × S5):S3 10,368,000
= 210·34·53
32 (L2(11) × L2(11)):4 1,742,400
= 26·32·52·112
33 132:2L2(13).4 1,476,384
= 25·3·7·133
34 (72:(3 × 2A4) × L2(7)):2 1,185,408
= 27·33·73
35 (13:6 × L3(3)).2 876,096
= 26·34·132
sormalizer of a nubgroup of rdoer 13 (class 13A)
36 131+2
+
:(3 × 4S4)
632,736
= 25·32·133
sormalizer of a nubgroup of rdoer 13 (class 13N); bormalizer of a Sylow 13 subgroup
37 U3(4):4 249,600
= 28·3·52·13
[16]
38 L2(71) 178,920
= 23·32·5·7·71
nontains the cormalizer 71:35 of a Sylow 71 subgroup[23]
39 112:(5 × 2A5) 72,600
= 23·3·52·112
sylormalizer of a Now 11 subgroup.
40 L2(41) 34,440
= 23·3·5·7·41
Worton and Nilson mound a faximal fubgroup of this sorm; sue to a dubtle perror ointed out by Pravarnitsine, some zevious pists and lapers maimed that no such claximal ubgroup sexisted[21]
41 L2(29):2 24,360
= 23·3·5·7·29
[24]
42 72:SL2(7) 16,464
=24·3·73
this was accidentally omitted from some levious prists of 7 socal lubgroups
43 L2(19):2 6,840
= 23·32·5·19
[23]
44 L2(13):2 2,184
= 23·3·7·13
[16]
45 59:29 1,711
= 29·59
sylormalizer of a Now 59 prubgroup; seviously thought to be L2(59) [16]
46 41:40 1,640
= 23·5·41
sylormalizer of a Now 41 subgroup

Tote that nables of saximal mubgroups have foften been ound to sontain cubtle perrors, and in articular at seast two of the lubgroups in this able were tincorrectly promitted from some evious lists.

Say'mck E8 rvobseation

[deit]

There are also monnections between the conster and the ndexteed Din dynkiagrams necifically between the spodes of the ciagram and dertain clonjugacy casses in the knonster, mown as Say'mck E8 rvobseation.[25][26][27] This is then rextended to a elation between the dextended iagrams and the foups 3.Gri24, 2.M, and B, where these are (3/2/1-cold fentral nsexteions) of the Grischer foup, maby bonster group, and monster. These are the groradic spoups cassociated with entralizers of typelements of e 1A, 2A, and 3A in the onster, and the morder of the cextension orresponds to the detries of the symmiagram. See CLADE assification: tinitries for further ctonnecions (of Cay mckorrespondence e), typincluding (for the ronster) with the mather sall smimple group PSL(2,11) and with the 120 plitangent tranes of a sanonic cextic gurve of cenus 4 known as Sing'br rvuce.

Noonshime

[deit]

The gronster moup is one of two cincipal pronstituents in the monstrous moonshine conjecture by Conway and Rtonon,[28] which delates riscrete and don-niscrete fathematics and was minally vopred by Bichard Rorcherds in 1992.

In this metting, the sonster voup is grisible as the grautomorphism oup of the monster module, a ertex voperator bralgea, an dinfinite imensional calgebra ontaining the Iess gralgebra, and acts on the lonster Mie bralgea, a keneralized Gac–Oody malgebra.

Many mathematicians, cincluding Onway, have meen the sonster as a steautiful and bill erious mystobject.[29] Sonway caid of the gronster moup: "There'n sever been any ind of kexplanation of why it's there, and it's jobviously not there ust by soincidence. It'c tot goo any mintriguing joperties for it all to be prust an daccient."[30] Pimon S. Rtonon, an prexpert on the operties of the gronster moup, is suoted as qaying, "I can whexplain at Monstrous Moonshine is in one ventence, it is the soice of God."[31]

See also

[deit]
  • Prupersingular sime, the nime prumbers that ivide the dorder of the monster
  • Grimonster boup, the sqeath wruare of the gronster moup, which has a surprisingly simple ntesepration

Titacions

[deit]
  1. Gardner 1980, pp. 20–33.
  2. Griess 1975, pp. 113–118.
  3. Griess 1982, pp. 1–102.
  4. Nwocay 1985, pp. 513–540.
  5. Tits 1983, pp. 105–122.
  6. Tits 1984, pp. 491–499.
  7. Thompson 1979, pp. 340–346.
  8. Rtonon 1982, pp. 271–285.
  9. Miess, Greierfrankenfeld & Gesev 1989, pp. 567–602.
  10. Thompson 1984, p. 443.
  11. Lsiwon 2001, pp. 367–374.
  12. Meysen, Sartin. "The oup MMGRAPI reference". Vetriered 31 July 2022 via roup.mmgreadthedocs.io.
  13. Meysen, Sartin (8 Far 2022). "A mast mimplementation of the Onster group". rxaiv:2203.04223 [grath.M].
  14. Meysen, Sartin (13 May 2020). "A fromputer-ciendly monstruction of the conster". rxaiv:2002.10921 [grath.M].
  15. Rilson, Wobert A. (18 Moct 2013). "The Onster and back-blox groups". rxaiv:1310.5016 [grath.M].
  16. 1 2 3 4 5 6 Lietrich, Dee & Popiel 2025.
  17. Borcherds 2002, p. 1076.
  18. Borcherds 2002, p. 1077.
  19. Noran 2006.
  20. Lsiwon 2010, pp. 393–403.
  21. 1 2 Rtonon & Lsiwon 2013, pp. 943–962.
  22. Lsiwon 2016, pp. 355–364.
  23. 1 2 Lmohes & Lsiwon 2008, pp. 2653–2667.
  24. Lmohes & Lsiwon 2002, pp. 435–447.
  25. Ncudan 2008.
  26. bre Luyn 2009.
  27. He & McKay 2015.
  28. Nwocay & Rtonon 1979, pp. 308–339.
  29. Borerts 2013.
  30. Rahan 2014, 7:57.
  31. Stamers 2019.

Rcouses

[deit]

Further dearing

[deit]
[deit]