Changes

Jump to: navigation, search

Linear representation theory of monster group

6,616 bytes added, 21:45, 31 March 2012
no edit summary
group = monster group|
connective = of}}
 
==Summary==
 
{| class="sortable" border="1"
! Item !! Value
|-
| [[degrees of irreducible representations]] over a [[splitting field]] (such as <math>\overline{\mathbb{Q}}</math> or <math>\mathbb{C}</math>) || (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|sum of squares]]: 808017424794512875886459904961710757005754368000000000, [[maximum degree of irreducible representation]]: 258823477531055064045234375, [[quasirandom degree]]: 196883
|}
 
==External links==
 
* {{atlas|M}}
==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
38,756
edits

Navigation menu