# Group 1935.2 downloaded from the LMFDB on 28 September 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(6098159451448931,1935); a := GPC.1; GPerm := Group( (1,9,6,3,8,5,2,7,4), (1,3,2)(4,6,5)(7,9,8), (10,14,13,12,11), (15,57,56,55,54,53,52,51,50,49,48,47,46,45,44,43,42,41,40,39,38,37,36,35,34,33,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16) ); GLFp := Group([[[ Z(431)^64, Z(431)^206 ], [ Z(431)^205, Z(431)^64 ]]]); # Booleans booleans_1935_2 := 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);