# Group 9288.a downloaded from the LMFDB on 11 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(2148684142491102047234656032460911786527,9288); a := GPC.1; GPerm := Group( (1,2,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,31,32,33,34,35)(36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78) ); GLFp := Group([[[ Z(431)^209, Z(431)^31 ], [ Z(431)^30, Z(431)^209 ]]]); # Booleans booleans_9288_a := rec( Agroup := true, Zgroup := true, abelian := true, almost_simple := false, cyclic := true, metabelian := true, metacyclic := true, monomial := true, nilpotent := true, perfect := false, quasisimple := false, rational := false, solvable := true, supersolvable := true);