Changes

Jump to: navigation, search

Linear representation theory of monster group

6,468 bytes added, 21:32, 31 March 2012
no edit summary
group = monster group|
connective = of}}
 
==Summary==
 
{| class="sortable" border="1"
! Item !! Value
|-
| [[degrees of irreducible representations]] || (too long to list -- see [[#GAP implementation]])<br>[[number of irreducible representations equals number of conjugacy classes|number]]: 194, [[sum of squares of degrees of irreducible representations equals order of group]]: 808017424794512875886459904961710757005754368000000000, [[maximum degree of irreducible representation]]: 258823477531055064045234375, [[quasirandom degree]]: 196883
|}
 
==GAP implementation==
 
===Degrees of irreducible representations===
 
The monster group itself is not stored in GAP, but some information on its irreducible representations is, and we use the symbol "M" to access this information. The degrees of irreducible representations can be computed using the [[GAP:CharacterDegrees|CharacterDegrees]] and [[GAP:CharacterTable|CharacterTable]] functions.
 
<pre>gap> CharacterDegrees(CharacterTable("M"));
[ [ 1, 1 ], [ 196883, 1 ], [ 21296876, 1 ], [ 842609326, 1 ], [ 18538750076, 1 ], [ 19360062527, 1 ], [ 293553734298, 1 ], [ 3879214937598, 1 ],
[ 36173193327999, 1 ], [ 125510727015275, 1 ], [ 190292345709543, 1 ], [ 222879856734249, 1 ], [ 1044868466775133, 1 ], [ 1109944460516150, 1 ],
[ 2374124840062976, 1 ], [ 8980616927734375, 2 ], [ 15178147608537368, 1 ], [ 39660520552077425, 1 ], [ 60359800576579350, 1 ],
[ 251098487132187500, 1 ], [ 290568421805921077, 1 ], [ 336041615485626050, 1 ], [ 2500435234254428856, 1 ], [ 2986480825407204125, 1 ],
[ 3503434660075044981, 2 ], [ 3605718753596953125, 1 ], [ 8456836343580310400, 1 ], [ 8754193822112578125, 1 ], [ 28585990950721640625, 1 ],
[ 30815545786259524745, 1 ], [ 31569817307122699605, 1 ], [ 47377503606648784400, 1 ], [ 49609712911192813665, 1 ], [ 77316619273928125000, 1 ],
[ 130415350420342968750, 1 ], [ 155943076739182582850, 1 ], [ 172399434201593354756, 2 ], [ 286243267692724486144, 2 ], [ 379913824694312370176, 1 ],
[ 640558364167263622626, 2 ], [ 643356925889917747200, 1 ], [ 691170144025469730622, 2 ], [ 776097192277137500000, 1 ], [ 918438233727730974720, 1 ],
[ 1201241700908448332364, 1 ], [ 1353006807137391674268, 1 ], [ 1480279477146615234375, 2 ], [ 1768130802583126953125, 2 ],
[ 2351753641814605348320, 1 ], [ 2382987417506242421875, 1 ], [ 4567199176912486400000, 2 ], [ 5578077210155766091776, 1 ],
[ 6566555764392010419123, 1 ], [ 7226910362631220625000, 1 ], [ 10145274012943412428800, 1 ], [ 12810005542623250817856, 1 ],
[ 19795913912408993711352, 1 ], [ 21803647757861753437500, 1 ], [ 24670833602960142274950, 1 ], [ 31714653744947491918600, 1 ],
[ 41209556844092914062500, 1 ], [ 42940402913709544921875, 2 ], [ 60683762052057587326065, 1 ], [ 70660346341309333984375, 2 ],
[ 86551489469233273849000, 1 ], [ 91068387388302451493925, 1 ], [ 114212876389603002704448, 1 ], [ 115192831837135016250000, 1 ],
[ 146575737439884098045700, 1 ], [ 149614794149226010902528, 2 ], [ 161649111002260792968750, 2 ], [ 191259085113459945312500, 2 ],
[ 218028402153522030021875, 1 ], [ 220326476909636307378168, 1 ], [ 260799524107083767968750, 2 ], [ 261575621299360905468750, 1 ],
[ 277540481294528814140625, 1 ], [ 303379038247015811718750, 1 ], [ 331150814995116217581480, 1 ], [ 351532203382732066094400, 1 ],
[ 391009081837477378329600, 1 ], [ 392611651975065600000000, 1 ], [ 433528694560598978525184, 1 ], [ 597787522207315571077947, 2 ],
[ 600020772685064502392907, 1 ], [ 626877403613887304040448, 2 ], [ 655159231073705404921875, 1 ], [ 689763222744895005949242, 2 ],
[ 689766726179555080994223, 2 ], [ 1037605886984697481755304, 1 ], [ 1361549126105752982272875, 1 ], [ 1599110387863558882812500, 1 ],
[ 1662686180483865572016128, 1 ], [ 2181694185821505680397072, 1 ], [ 2216343020913351966796875, 1 ], [ 2477548750555298068681032, 1 ],
[ 3282510540283631442175104, 1 ], [ 3537292796538741415074900, 1 ], [ 3619209050774375426792424, 1 ], [ 4004308274823270400000000, 1 ],
[ 4239315652979009728125000, 1 ], [ 4926670174323484069683200, 1 ], [ 5334046162969208352215625, 1 ], [ 5514132424881463208443904, 3 ],
[ 7118465328761788475375616, 1 ], [ 7375892500409609408203125, 1 ], [ 7567151576542452425781250, 2 ], [ 7850934959207940600000000, 1 ],
[ 8394037047155083487634450, 1 ], [ 8874260875527017936065100, 1 ], [ 9416031858681585751556096, 1 ], [ 9479495745805305653125000, 1 ],
[ 9592298143650890255171584, 2 ], [ 9592584386918582979657728, 1 ], [ 10023854998171489083984375, 1 ], [ 12650882100466187033706250, 1 ],
[ 14930164283563048960000000, 1 ], [ 16109407269221032565630370, 1 ], [ 22626621365160537099927552, 1 ], [ 24546384719289825598186695, 1 ],
[ 27501917609709102247187500, 1 ], [ 29734941419909382162874368, 1 ], [ 33684388830359981044531200, 1 ], [ 33722191327002668157047380, 1 ],
[ 37310715211546624000000000, 1 ], [ 38471795739256565080575180, 1 ], [ 41738941151243953804687500, 1 ], [ 41762322738385820195625000, 1 ],
[ 42001454087954515167503490, 1 ], [ 42601474860639579669896397, 1 ], [ 43527130990147981755651072, 1 ], [ 50572542024949598403750000, 1 ],
[ 51324350389558097414062500, 1 ], [ 56356433273146675005489152, 1 ], [ 58437394633227526183321600, 1 ], [ 62038057486792249132974080, 1 ],
[ 63750812845035828079008441, 1 ], [ 64326163427522624205703125, 1 ], [ 66550339514356152000000000, 1 ], [ 69084859008005036431224066, 1 ],
[ 74612213529720383654779356, 1 ], [ 77423398454853064646282250, 1 ], [ 83974774459050335630859375, 1 ], [ 86206621680977834911875000, 1 ],
[ 88943820620288343261672393, 1 ], [ 103354104243912727763091456, 1 ], [ 115165062362004433625000000, 1 ], [ 121170799240938738783416925, 1 ],
[ 124058385593021471188320256, 1 ], [ 124982156072747647257292800, 1 ], [ 125517264890136048242396811, 1 ], [ 129572518017902934396764160, 1 ],
[ 130287135266837289237316743, 1 ], [ 135226984222789977095703125, 1 ], [ 136107644194473772613203125, 1 ], [ 136574874874360806036041889, 2 ],
[ 138988549876584520148320256, 1 ], [ 161561864971171113287540625, 1 ], [ 163216709667196367710937500, 1 ], [ 172248852397651745653437500, 1 ],
[ 173865305251972140447265625, 1 ], [ 175867626988794162227008203, 1 ], [ 177966317773633111417870812, 1 ], [ 198203900044423845494482560, 1 ],
[ 200390867219082687273984375, 1 ], [ 203314261261157852274218750, 1 ], [ 207467089840006711558593750, 1 ], [ 212490247553365721772656250, 1 ],
[ 241866941438795926688759808, 1 ], [ 258823477531055064045234375, 1 ] ]</pre>
Bureaucrats, emailconfirmed, Administrators
39,017
edits

Navigation menu