# Group 7077888.fm downloaded from the LMFDB on 26 October 2025. ## Various presentations of this group are stored in this file: # GPC is polycyclic presentation GPerm is permutation group # GLZ, GLFp, GLZA, GLZq, GLFq if they exist are matrix groups # Many characteristics of the group are stored as booleans in a record: # Agroup, Zgroup, abelian, almost_simple,cyclic, metabelian, # metacyclic, monomial, nilpotent, perfect, quasisimple, rational, # solvable, supersolvable # Constructions GPC := PcGroupCode(498283147325802374001432290099240478476087791424309774271005406228402526437142227693885850580062736109509046611918998742125939933604456592899072809556532210647498164961684578360651235437872372854763169200980889278170494234843726587474733547815332210022958695880464498612474601570198325687576792047261197922668409839122118812314328510387624250095599766510679672303201082153747169019658145834847379821269281811207801408022497922747027488912507819029351919425224179518139314032040558979184431004904208905953973619793747161861696112174307267798242722284218378247119861414533991503579039370821046145952840707684391030559631132792625333134841921055109021849975091053626733927322422884432834425925750720848337373818267902850067502256220414790507978938238906927447676856472456005772246058305713428827423844729923341487140190747863321159758589779667334574661510529758339775294616949166770724181786314143734356215496288857334906190764111525293600352178713046107324878680210431071298909226367250828089370379608296424663545958520071155623459046921527826194107659586164626827264,7077888); a := GPC.1; b := GPC.2; c := GPC.4; d := GPC.6; e := GPC.7; f := GPC.9; g := GPC.11; h := GPC.12; i := GPC.13; j := GPC.14; k := GPC.15; l := GPC.16; m := GPC.17; n := GPC.18; o := GPC.19; p := GPC.20; q := GPC.21; GPerm := Group( (1,35,25,24,2,36,26,23)(3,33,28,22)(4,34,27,21)(5,32,30,20,6,31,29,19)(7,17)(8,18)(9,15)(10,16)(11,13)(12,14), (1,18,2,17)(3,16)(4,15)(5,13,6,14)(7,36)(8,35)(9,33)(10,34)(11,32)(12,31)(19,24)(20,23)(25,29)(26,30)(27,28), (1,5)(2,6)(7,24,32,12,20,36)(8,23,31,11,19,35)(9,21,34,10,22,33)(13,30,14,29)(15,28,16,27)(17,26)(18,25), (1,27,13,3,26,15)(2,28,14,4,25,16)(5,30,18)(6,29,17)(7,21)(8,22)(9,19)(10,20)(11,23)(12,24)(31,34)(32,33) ); # Booleans booleans_7077888_fm := rec( Agroup := false, Zgroup := false, abelian := false, almost_simple := false, cyclic := false, metabelian := false, metacyclic := false, nilpotent := false, perfect := false, quasisimple := false, rational := true, solvable := true, supersolvable := false);