# Group 708588.je downloaded from the LMFDB on 21 July 2026. ## 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(5324324220548890227568362481803448504198505464973787969251609987818393940176582529566684745927951727331997998909823853454180866694044748232656276268848259378110325960142944503453819033610728533435356860514379892511288913820113131852921861510520279881171566680300964373953932567057927853484354314824703,708588); a := GPC.1; b := GPC.3; c := GPC.5; d := GPC.6; e := GPC.8; f := GPC.9; g := GPC.10; h := GPC.11; i := GPC.12; j := GPC.13; GPerm := Group( (1,26,14,3,25,13,2,27,15)(4,29,17,6,28,16,5,30,18)(7,8,9)(10,24,34)(11,22,35)(12,23,36)(19,21,20)(31,33,32), (1,4,2,5,3,6)(7,34,21,10,32,24,9,35,20,11,31,22,8,36,19,12,33,23)(13,16)(14,17)(15,18)(25,28,27,30,26,29), (1,11,25,36,15,23,2,12,26,34,13,24,3,10,27,35,14,22)(4,33,16,7,28,20,6,31,18,8,30,21,5,32,17,9,29,19) ); # Booleans booleans_708588_je := rec( Agroup := false, Zgroup := false, abelian := false, almost_simple := false, cyclic := false, metabelian := false, metacyclic := false, monomial := true, nilpotent := false, perfect := false, quasisimple := false, rational := false, solvable := true, supersolvable := true);