|
[
[
"Version 24-Apr-2025, 13:11:47 UTC. ",
"The file 'prim_perm_M.json' contains a list of length two, ",
"the first entry being this description ",
"and the second entry being a list with 46 entries, ",
"which correspond to the 46 classes of maximal subgroups of ",
"the sporadic simple Monster group. ",
"Each entry is a list of length 1 or 2, ",
"which contains in the first position a string describing the structure ",
"of the subgroup. ",
"If the length of the entry is 1 then the character table of the subgroup ",
"is available in GAP's Character Table Library, ",
"and the string is the identifier of the table. ",
"The entries are ordered according to decreasing group order. ",
"If the length of the entry is 2 then the value in the second position ",
"is the permutation character of the action of the Monster on the cosets ",
"of the subgroup, ",
"where the ordering of the values corresponds to the character table ",
"in the Atlas of Finite Groups as well as in the GAP character table ",
"of the Monster."
],
[
[ "2.B" ],
[ "2^1+24.Co1" ],
[ "3.F3+.2" ],
[ "2^2.2E6(2).3.2" ],
[ "2^(10+16).O10+(2)",
[ 512372707698741056749515292734375,
405589064025344574375, 29628786742129575, 658201521662685,
215448838605, 0, 121971774375, 28098354375, 335229607, 108472455,
164587500, 4921875, 2487507165, 2567565, 26157789, 6593805, 398925, 0,
437325, 0, 44983, 234399, 90675, 21391, 41111, 12915, 6561, 6561,
177100, 7660, 6875, 315, 275, 0, 113373, 17901, 57213, 0, 4957, 1197,
909, 301, 397, 0, 0, 0, 3885, 525, 0, 2835, 90, 45, 0, 103, 67, 43, 28,
81, 189, 9, 9, 9, 0, 540, 300, 175, 20, 15, 7, 420, 0, 0, 0, 0, 0, 0,
0, 165, 61, 37, 37, 0, 9, 9, 13, 5, 0, 0, 0, 0, 0, 0, 77, 45, 13, 0, 0,
45, 115, 19, 10, 0, 5, 5, 9, 9, 1, 1, 0, 0, 4, 0, 0, 9, 9, 3, 1, 0, 0,
0, 0, 0, 0, 4, 1, 1, 0, 24, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 1, 0,
4, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 3, 3, 1, 1, 2, 0, 3, 3, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0 ] ],
[ "2^(2+11+22).(M24xS3)",
[ 16009115629875684006343550944921875,
7774182899642733721875, 120168544413337875, 4436049512692980,
215448838605, 131873639625, 760550656275, 110042727795, 943894035,
568854195, 1851609375, 0, 4680311220, 405405, 78624756, 14467005,
178605, 248265, 874650, 0, 76995, 591163, 224055, 34955, 29539, 20727,
0, 0, 375375, 15775, 0, 0, 0, 495, 116532, 3645, 62316, 1017, 11268,
357, 1701, 45, 117, 705, 0, 0, 4410, 1498, 0, 3780, 810, 0, 0, 83, 135,
31, 0, 0, 0, 0, 0, 0, 0, 255, 195, 0, 215, 0, 0, 210, 0, 42, 0, 35, 15,
1, 1, 160, 48, 9, 92, 25, 9, 9, 5, 1, 21, 0, 0, 0, 0, 0, 98, 74, 42, 0,
0, 0, 120, 76, 10, 0, 0, 0, 0, 0, 1, 1, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 5, 3, 0, 0, 0, 18, 0, 10, 0, 3, 3, 0, 1, 1, 1, 1, 0, 0, 2,
0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 6, 12, 0, 0, 2, 0, 0, 0, 2, 0, 0,
1, 1, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0 ] ],
[ "3^(1+12).2.Suz.2" ],
[ "2^(5+10+20).(S3xL5(2))",
[ 391965121389536908413379198941796875,
23914487292951376996875, 474163138042468875, 9500455925885925,
646346515815, 334363486275, 954161764875, 147339103275, 1481392395,
1313281515, 0, 8203125, 9827885925, 1216215, 91556325, 9388791, 115911,
587331, 874650, 0, 79515, 581955, 336375, 104371, 62331, 36855, 0, 0,
0, 0, 28125, 525, 1125, 0, 188325, 16767, 88965, 2403, 9477, 1155, 891,
207, 351, 627, 0, 0, 4410, 1498, 0, 0, 0, 30, 150, 91, 151, 31, 0, 0,
0, 0, 0, 0, 0, 0, 0, 125, 0, 5, 5, 210, 0, 42, 0, 0, 0, 0, 0, 141, 45,
27, 61, 27, 9, 9, 7, 3, 15, 0, 0, 0, 0, 0, 98, 74, 42, 0, 0, 30, 0, 0,
0, 6, 6, 6, 3, 3, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
1, 1, 0, 18, 0, 10, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
2, 0, 0, 0, 0, 0, 0, 0, 2, 2, 0, 2, 3, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 2, 0, 2, 0, 0, 0, 0, 0, 0, 3, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ] ],
[ "S3xTh" ],
[ "[2^39].(L3(2)x3S6)",
[ 4050306254358548053604918389065234375,
148844831270071996434375, 2815847622206994375, 14567365753025085,
3447181417680, 659368198125, 3520153823175, 548464353255, 5706077895,
3056566695, 264515625, 0, 19572895485, 6486480, 186109245, 61410960,
758160, 688365, 58310, 0, 172503, 1264351, 376155, 137935, 99127,
52731, 0, 0, 119625, 3625, 0, 0, 0, 0, 402813, 29160, 185301, 2781,
21069, 1932, 4212, 360, 576, 1125, 0, 0, 1302, 294, 0, 2160, 810, 0, 0,
111, 179, 43, 0, 0, 0, 0, 0, 0, 0, 185, 105, 0, 65, 0, 0, 224, 0, 14,
0, 0, 0, 0, 0, 337, 105, 36, 157, 37, 18, 18, 16, 4, 21, 0, 0, 0, 0, 0,
70, 38, 14, 0, 0, 0, 60, 40, 10, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 10, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 1, 0, 0, 0, 24, 0, 6, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 6, 8, 0, 0, 2, 0, 0,
0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 4, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 4, 0, 0, 0 ] ],
[ "3^8.O8-(3).2_3",
[ 6065553341050124859256025907200000000,
117457246944126566400000, 2373192769339392000, 4237313863946240,
1528370386400, 480247040000, 1485622476800, 207447654400, 3523215360,
1124597760, 2926000000, 0, 4720235520, 18601440, 49864704, 14602080,
1914720, 645120, 0, 168070, 0, 811008, 133120, 204800, 0, 8192, 3521,
4250, 308000, 28800, 0, 0, 0, 0, 53504, 1520, 68992, 3584, 2304, 672,
7216, 240, 192, 960, 156, 0, 0, 0, 70, 7840, 550, 0, 0, 0, 0, 0, 0, 48,
93, 57, 18, 24, 0, 160, 200, 0, 320, 0, 0, 0, 49, 0, 4, 0, 0, 0, 0,
144, 0, 0, 80, 0, 20, 64, 20, 0, 8, 0, 12, 0, 2, 2, 0, 0, 0, 6, 0, 0,
20, 24, 30, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 5, 2, 7, 0, 0, 12, 0,
0, 0, 20, 8, 0, 0, 5, 0, 4, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
12, 0, 0, 0, 0, 2, 2, 0, 0, 0, 2, 4, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0 ] ],
[ "(D10xHN).2" ],
[ "(3^2:2xO8+(3)).S4",
[ 377694424605514962329798663208960000000, 2359667150587942666240000,
28756421759729664000, 377826645416419584, 16593035298840,
5193792576000, 14007297638400, 1715997638656, 5830082560, 2683699200,
5266800000, 0, 47782831360, 241801560, 626008320, 48633880, 9541080,
483840, 2332400, 0, 16384, 3964928, 926720, 102400, 16384, 32256,
51030, 7371, 800800, 41600, 0, 0, 0, 0, 248640, 120480, 200656, 13440,
13696, 1260, 4708, 1120, 1864, 0, 26, 0, 7840, 336, 0, 4284, 180, 0, 0,
0, 0, 0, 0, 265, 418, 270, 99, 81, 0, 480, 456, 0, 0, 0, 0, 455, 0, 56,
0, 0, 0, 0, 0, 680, 64, 4, 16, 32, 18, 26, 16, 4, 0, 0, 10, 0, 9, 0,
28, 24, 8, 0, 0, 0, 160, 20, 20, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
18, 3, 4, 1, 0, 8, 2, 0, 0, 20, 8, 0, 0, 0, 19, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 2, 0, 1, 0, 4, 0, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 2, 2, 0, 0, 0, 0 ] ],
[ "3^(2+5+10).(M11x2S4)",
[ 16458603283969466072643078298009600000000, 20359256136981938176000000,
145987312780574720000, 724314893457326080, 21414300718720,
18249387520000, 540226355200, 1703254425600, 4697620480, 4771020800,
23408000000, 0, 43256012800, 98483840, 909246464, 213623680, 8362880,
4444160, 0, 0, 0, 475136, 998400, 81920, 0, 35840, 25312, 10597, 0,
128000, 0, 0, 0, 440, 93184, 160, 134400, 1792, 7168, 560, 15888, 160,
64, 320, 0, 0, 0, 0, 0, 19880, 2240, 0, 0, 0, 0, 0, 0, 301, 148, 200,
221, 53, 0, 640, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 40, 0, 0, 224, 0, 0, 32,
32, 20, 156, 8, 0, 8, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 104, 80, 0,
0, 0, 0, 0, 0, 0, 8, 8, 0, 0, 0, 4, 1, 6, 1, 0, 0, 0, 0, 0, 0, 16, 0,
0, 0, 0, 0, 0, 0, 4, 4, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0,
0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ] ],
[ "3^(3+2+6+6):(L3(3)xSD16)",
[ 69632552355255433384259177414656000000000, 10962676381451812864000000,
276872489756262400000, 816070626832384000, 52168426710400,
4994569216000, 29712449536000, 917136998400, 32883343360, 14313062400,
0, 0, 53947801600, 445244800, 995491840, 268777600, 8579200, 2007040,
0, 0, 0, 4505600, 588800, 245760, 0, 35840, 24760, 4105, 0, 0, 0, 0, 0,
0, 148480, 8800, 134400, 1792, 13312, 1680, 20784, 1120, 448, 960, 156,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 241, 304, 184, 121, 49, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 416, 0, 0, 96, 32, 20, 92, 24, 0, 8,
0, 28, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 4, 1, 12, 1, 0, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 12, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 0, 0, 0 ] ],
[ "5^(1+6):2.J2.4" ],
[ "(7:3xHe):2" ],
[ "(A5xA12):2" ],
[ "5^(3+3).(2xL3(5))" ],
[ "(A6xA6xA6).(2xS4)" ],
[ "(A5xU3(8):3):2" ],
[ "5^(2+2+4):(S3xGL2(5))" ],
[ "(L3(2)xS4(4):2).2" ],
[ "7^(1+4):(3x2.S7)" ],
[ "(5^2:[2^4]xU3(5)).S3" ],
[ "(L2(11)xM12):2" ],
[ "(A7x(A5xA5):2^2):2" ],
[ "5^4:(3x2.L2(25)).2" ],
[ "7^(2+1+2):GL2(7)" ],
[ "M11xA6.2^2" ],
[ "(S5xS5xS5):S3" ],
[ "(L2(11)xL2(11)):4" ],
[ "13^2:2.L2(13).4" ],
[ "(7^2:(3x2A4)xL2(7)).2" ],
[ "(13:6xL3(3)).2" ],
[ "13^(1+2):(3x4S4)" ],
[ "U3(4).4" ],
[ "L2(71)" ],
[ "11^2:(5x2.A5)" ],
[ "L2(41)" ],
[ "L2(29).2" ],
[ "7^2:2psl(2,7)" ],
[ "L2(19).2" ],
[ "L2(13).2" ],
[ "59:29" ],
[ "41:40" ]
]
]
[ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
]
|
