CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
#############################################################################
##
#W  col11.z                GAP library of groups           Hans Ulrich Besche
##                                               Bettina Eick, Eamonn O'Brien
##

SMALL_GROUP_LIB[ 1470 ] :=
[ 599355171509831597159, 407751195275493479, 880457198631601860364391,
830216442164327, 1383257615088743, 562480786221, 2033415099269220455,
187664149723, 2034773259838523855, 826847158798773, 2989120240684006993511,
127464551, 1789979572757028640463, 2627688019365242093615975, 187926884711,
406623393929300327, 410477635190458727, 276618385152359, 279240317983079,
1928061499705703, 1311608402279, 276242036705699, 189964818851,
597736389075060446567, 603402123728963294567, 406629026625070439,
410483267886228839, 2834250415253443943, 276632653925735, 279254586756455,
1928075768479079, 135364967, 188184674663, 189968302439, 638005607,
940865145191, 383201709, 939081517475, 1383088298038631, 128398171,
937297890119, 1383075812644559, 562481253621, 1380452096186483,
2033139826771131239, 359 ]; 

PROPERTIES_SMALL_GROUPS[ 1470 ] := rec(
isNilpotent := [ 12, 46 ], 
isSupersolvable := [ 1, -12, 15, -46 ], 
isAbelian := [ 12, 46 ], 
lgLength := rec( lgLength := [ 4, 5 ], pos := [ [ 13, -14, 16, -21, 24, -31,
33, -34, 36, -37, 39, -40, 42, -43, 45, -46 ], [ 1, -12, 15, 22, -23, 32, 35,
38, 41, 44 ] ] ),
frattFacs := rec( frattFacs := [ 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25 ]
, pos := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 ] ) );

SMALL_GROUP_LIB[ 1476 ] :=
[ 5413122673863170496041, 142648451858739264079, 8594444908642510950403161,
102148080128001679, 210512361632366899264079, 1375118796735998705975808003161
, 5848360152498585603161, 10967615085061057600, 96645166284801679,
3667427296051262441, 5822792178516377603161, 68786995201679,
96645165977665639, 2481363456126401, 142648451865088064079,
3662488082946496041, 210549115542801715201679, 619079372801679,
142623551953408065639, 210512361632373248064079, 310716245769353871462401679,
7978990322004177820096041, 677037139093053106401204736001679,
482855904869176003208908801679, 101594497024001679, 150161457034035201679,
2481461657662441, 149953587304857601679, 221638310653267148801679,
7430648629886400, 65444249601679, 1690828803161, 96645172428801679,
2481369907262441, 142648451868262401679, 1679 ]; 

PROPERTIES_SMALL_GROUPS[ 1476 ] := rec(
isNilpotent := [ 4, 12, 18, 36 ], 
isSupersolvable := [ 1, -7, 9, -21, 25, -29, 31, -36 ], 
isAbelian := [ 4, 12, 18, 36 ], 
lgLength := rec( lgLength := [ 3, 4, 5 ], pos := [ [ 26, -31, 34, -36 ], [ 7,
-13, 16, -19, 21, -25, 32, -33 ], [ 1, -6, 14, -15, 20 ] ] ),
frattFacs := rec( frattFacs := [ 5, 9, 13, 17, 22, 26, 30, 34, 38, 42, 46, 50
, 23, 27, 31, 35, 39, 43 ], pos := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12,
13, 14, 15, 16, 17, 18 ] ) );

SMALL_GROUP_LIB[ 1480 ] :=
[ 6517283071366012611, 76003647809939658467, 112646140434726387379343,
271614140170103951, 112470154705861577627363, 9636891690009527066307,
246739607492291202679883099279, 246739607572580489080862862479,
527709444359980175326375055, 166455989705984661702503567,
240919359628625528975, 240919359628565062799, 356560652376227518737551,
240919359629472055439, 356560652376228425730191, 356560652376228365264015,
527709765516942500944948367, 112485344533954454895443, 51353774409078611,
76003611155645962067, 51353774348612435, 51353775255605075,
9645571607663473384755, 4403570804259123, 6517278118761347379,
4403570743792947, 4403571650785587, 166716287572313301746789519,
76112256814543816847, 112646140251451896268943, 76112256814483350671,
76112256815390343311, 183275458569359, 183276365561999, 401717862870638275727
, 246739867614172095822249698447, 356564772407300649339023,
112645912990231978878095, 75993348227663180627, 6511413800333038899,
166715951008305002109576335, 166715951062554519948076175,
356560435378252789687439, 112470263314866121319567, 162783265937817743,
34681463636111, 2979773154543, 51427088317218959, 143 ]; 

PROPERTIES_SMALL_GROUPS[ 1480 ] := rec(
isNilpotent := [ 4, 33, -35, 49 ], 
isAbelian := [ 4, 33, 49 ], 
lgLength := rec( lgLength := [ 3, 4, 5 ], pos := [ [ 45, -49 ], [ 11, -44 ],
[ 1, -10 ] ] ),
frattFacs := rec( frattFacs := [ 4, 7, 10, 13, 17, 20, 23, 26, 29, 32, 35, 38
, 41, 44, 47 ], pos := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 17, 22, 27, 32, 35
] ) );

SMALL_GROUP_LIB[ 1482 ] :=
[ 797471599643, 807789480731, 1181839269711131, 12108348385307,
1192582259929115, 1183501691482139, 637840895105, 17944568616110363,
1192592577810203, 1183512009363227, 1767406885623943451, 1753949483185525019,
550914587, 443419265, 804730899995, 798603660827, 917070875, 594584705,
1365358167323, 57110815, 1355146105103, 876898965665, 2023466617165211, 539 ]
; 

PROPERTIES_SMALL_GROUPS[ 1482 ] := rec(
isNilpotent := [ 24 ], 
isAbelian := [ 24 ], 
lgLength := rec( lgLength := [ 4 ], pos := [ [ 1, -24 ] ] ),
frattFacs := rec( frattFacs := [ ], pos := [ ] ) );

SMALL_GROUP_LIB[ 1484 ] :=
[ 27803567901621, 283525290124803, 421930311632863799, 1388863394359,
420618042797778435, 624198351516214575671, 1472379070210359, 191154889015,
18951711329, 284319031832887, 311 ]; 

PROPERTIES_SMALL_GROUPS[ 1484 ] := rec(
isNilpotent := [ 4, 11 ], 
isAbelian := [ 4, 11 ], 
lgLength := rec( lgLength := [ 3, 4 ], pos := [ [ 7, -11 ], [ 1, -6 ] ] ),
frattFacs := rec( frattFacs := [ 3, 5, 7, 9 ], pos := [ 1, 2, 3, 4 ] ) );

SMALL_GROUP_LIB[ 1485 ] :=
[ 14478979994113119, 134086656311139, 19482624211319, 19482625611319,
28931106817811319, 90112111139, 90113611139, 133906433711139, 4096011139,
11139 ]; 

PROPERTIES_SMALL_GROUPS[ 1485 ] := rec(
isNilpotent := [ 2, 6, -8, 10 ], 
isAbelian := [ 2, 6, 10 ], 
lgLength := rec( lgLength := [ 3, 4, 5 ], pos := [ [ 9, -10 ], [ 3, -8 ], [ 1
, -2 ] ] ),
frattFacs := rec( frattFacs := [ 4, 7, 11, 14 ], pos := [ 1, 2, 5, 8 ] ) );

SMALL_GROUP_LIB[ 1494 ] :=
[ 51841530485840663, 2803231682281735, 89756977668226919383, 1921427062535,
1876486159591, 24595437111, 2803232315252199, 34655675994839,
4188031603262713447, 6887 ]; 

PROPERTIES_SMALL_GROUPS[ 1494 ] := rec(
isNilpotent := [ 4, 10 ], 
isAbelian := [ 4, 10 ], 
lgLength := rec( lgLength := [ 3, 4 ], pos := [ [ 5, 8, -10 ], [ 1, -4, 6, -7
] ] ),
frattFacs := rec( frattFacs := [ 3, 5, 7, 9 ], pos := [ 1, 2, 3, 4 ] ) );

SMALL_GROUP_LIB[ 1496 ] :=
[ 346322489029226505, 577169834363621391, 868679050497853751455,
4812528038183071, 863253391558847795215, 1291432306743901980459167,
5883058512663150751, 5883058512662102175, 8801055537150297112735,
5883058512677830815, 8801055537150312841375, 8801055537150311792799,
13166379083579049152348319, 863445635373068192015, 385808458582287,
577169542319442191, 385808457533711, 385808473262351, 518098160856203267849,
231498873573129, 346322300064239369, 231498872524553, 231498888253193,
1299543854741593414172831, 580667810412232863, 868679047285233942687,
580667810411184287, 580667810426912927, 3212636586143, 3212652314783,
7194739050307125407, 1291426727289682043899919, 1931974389258323357105914015,
868674549600228475039, 577041045470054671, 863256889534895358111,
3932524266913951, 257832255647, 154753040633, 388144985800863, 159 ]; 

PROPERTIES_SMALL_GROUPS[ 1496 ] := rec(
isNilpotent := [ 4, 29, -31, 41 ], 
isAbelian := [ 4, 29, 41 ], 
lgLength := rec( lgLength := [ 3, 4, 5 ], pos := [ [ 37, -41 ], [ 7, -31, 34,
-36 ], [ 1, -6, 32, -33 ] ] ),
frattFacs := rec( frattFacs := [ 4, 7, 10, 13, 17, 20, 23, 26, 29, 32, 35 ],
pos := [ 1, 2, 3, 4, 5, 6, 13, 18, 23, 28, 31 ] ) );

SMALL_GROUP_LIB[ 1500 ] :=
[ 14524602612136850237, 98259280944428201545404735,
147388923214046689499287490687, 9697499283558527,
331625073187465575401780394015166783, 497437316247027207156803067269149986943
, 4076928950526825629407084671, 43496233404122294256, 65462526825629402890367
, 9683068195487997, 98193791407645951707152511, 6463925878911,
76173585147139060579997274869887, 33919576852835663911326015,
14737500061340537151, 43670160273732342223, 29023348879020495,
14524602397523710415, 87016757904273866559951, 65505955368566525595967,
14640953491470160191, 9683068195460045, 28997536129749965,
43496226940199654349, 65505472184530977231647, 43534959212969866039,
21786903596401656599327, 130525137088184530994008863,
98258934250348405067681919, 21961430238008719446143, 8053063716991,
8053600555135, 9671730016587903,
[ (1,2,3,4,5), ( 3, 4, 5)( 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19,20,21,
     22,23,24,25,26,27,28,29,30) ],
114260378111891186751899211377938559, 111253219937254869924180768044093759,
342555478619472122653411946856720367743, 52217967883699160865264369791,
22613051235224157421695, 43496239869120762319, 98257860432287233934954959,
98170887296250621792883151, 147386790576001439234069172687,
2446183598272184745792704831, 149343685253371917926477107519,
49021837354243345993260601663, 221082599367187286622634195358015,
49413216263490223852966383935, 221082599367187528214544595358015,
32942144195277842237886783, 65244359737965238301495,
147386790648662622419379884831, 147256330944375930389899252511,
221080185864002390622419396662047, 3669275332179658828532428902527,
224015527880059074387829109592191, 73532756031365018990187963486335,
331623899050780931131449205126402175, 74119824395235335779947946709119,
331623899050781293519314805126402175, 49413216292916763858344611967,
217462200032719044735, 21786903454668305203327, 362416979040122503391,
48337773876232439, 14737125926323093727, 87335504723040256721119,
2717952633645895664599167, 15703571135429345407, 326193300828603183562879,
65462469623038799052927, 32680355182002110529798271,
98193703952153854807441535, 32942144176111550504632447, 9825000420802687,
28997488881977328, 38674037319141360, 58011055984886171632,
23352420626634127574079, 29094125646184575, 19348829798527, 9683068733358207,
14524608750183055487, 43641645895660404863, 9760635841151103, 6455337976061,
19331717005565, 28997484653084925, 43670314789476303071, 29023305930391799,
14524602397524230367, 87016758058789610520799, 65462469623038751867007,
14640953491470418047, 4295000191, 4831838335, 6447282815103,
652580864121200609842434847, 538439775594097902392587325567,
362967706049211011391, 260933787834397439824335, 1957003234231662738960552255
, 48395798915846607, 19348829770227, 29087773389492687, 43631982738935386431,
6455337948145, 29023305930380231, 43631660401639822111,
65447974110008184672383, 1610612740223,
[ ( 1, 2, 3, 4, 5)( 6, 7, 8, 9,10), ( 1, 4, 3, 5, 2)(11,12,13,14,15) ],
807661718259803278718571795714175, 880651533940743412343802821088031,
1981465951369085919864756024939846045823,
1320977300911115118999208760637657215, 147256570120338138510379717071,
331330366803902405192154048076714303, 331330366803902405143674604723114303,
1104424275902434183183295808278847, 148724088773240633491228987711,
65592783501164577558847, 1656633627562634521108249351276069951,
1125899649238567647180712575199, 1688849476032178664691269535268991,
1125899301201416620933050531967, 652580864121844853780250751,
1304668939171463174291583, 159537653388084248799, 239306480402366345248895,
173955858556599140479, 1304668822821108339703935, 241978470544965759,
28997495323365875, 65447258223357658665423, 65447258255569913385423,
217461742709416923599, 147257939946499194604697948479,
147257939946547674048051548479, 490854407490223852429513023,
490854407490384913703113023, 1630789026860616455295295, 43496239826172122055,
98170887335034389882475295, 98170887383352771962475295,
326192614063637614039839, 220886909919748791907947443392639,
220886909919821511072977843392639, 736281611235335779947409838207,
736281611235577371857809838207, 2446183540290926187393060991, 19391811944575,
29087988169834623, 44211416562130223231, 32225158496503, 241611302188875999,
29087773421469919, 43631595762430247135, 1811968415988142571647,
43631982738967101567, 218157514955451269247, 98171960100075666992267391,
66317124843666975490175, 32264196980863, 19331650947056, 72594020528190916367
, 12886999167, 19391780487295, 29087988138377343, 4297064701, 19348830814455,
29087773390012639, 43631982738935644287, 127 ]; 

PROPERTIES_SMALL_GROUPS[ 1500 ] := rec(
isNilpotent := [ 4, 12, 31, -33, 95, -97, 111, 174 ], 
isSupersolvable := [ 1, -7, 9, -12, 16, -33, 40, -74, 80, -97, 104, -111, 134
, -163, 167, -174 ], 
isSolvable := [ 1, -33, 35, -111, 113, -174 ], 
isAbelian := [ 4, 12, 31, 95, 111, 174 ], 
lgLength := rec( lgLength := [ 3, 4, 5, 6, false ], pos := [ [ 123, 128, 132,
-133, 153, -154, 159, -163, 165, 169, -170, 173, -174 ], [ 37, -39, 62, -63,
66, 68, -79, 82, 84, -88, 91, 93, -97, 100, 102, 106, -107, 110, -111, 118,
-122, 124, -127, 129, -131, 138, -142, 147, -152, 155, -158, 164, 166, -168,
171, -172 ], [ 7, -15, 18, 20, -24, 27, 29, -33, 35, -36, 42, 44, -50, 53, 55
, -61, 64, -65, 67, 80, -81, 83, 89, -90, 92, 98, -99, 101, 103, -105, 108,
-109, 113, -117, 134, -137, 143, -146 ], [ 1, -6, 16, -17, 19, 25, -26, 28,
40, -41, 43, 51, -52, 54 ], [ 34, 112 ] ] ),
frattFacs := rec( frattFacs := [ 7, 13, 19, 25, 38, 44, 50, 56, 62, 68, 74,
80, 33, 39, 45, 51, 57, 63, 69, 75, 81, 136, 142, 148, 154, 160, 166, 172,
178, 184, 190, 196, 202, 208, 214, 220, 226, 232, 238, 244, 250, 256, 262,
268, 274, 280, 286, 292, 298, 161, 167, 173, 179, 185, 191, 197, 203, 209,
215, 221, 227, 233, 239 ], pos := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13
, 14, 15, 19, 21, 24, 28, 30, 33, 34, 35, 36, 37, 38, 39, 43, 46, 48, 50, 54,
57, 59, 61, 63, 67, 69, 72, 74, 75, 78, 79, 83, 85, 88, 92, 94, 97, 98, 99,
100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111 ] ) );