# Group 25308.a downloaded from the LMFDB on 08 October 2026. ## Various presentations of this group are stored in this file: # GPC is polycyclic presentation, GPerm is permutation group # GLZ, GLFp, GLZN, 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 GPerm := Group( (3,20,23,11,9,13,22,14,16,24,34,12,33,15,6,31,37,36)(4,10,35,26,8,29,7,17,25,27,19,28,32,30,18,21,38,5), (1,21,2)(3,7,20)(5,13,11)(6,30,37)(8,9,36)(10,26,18)(12,14,17)(15,35,34)(16,29,33)(19,22,24)(23,31,25)(27,28,38) ); # Booleans booleans_25308_a := rec( Agroup := true, Zgroup := false, abelian := false, almost_simple := true, cyclic := false, metabelian := false, metacyclic := false, monomial := false, nilpotent := false, perfect := true, quasisimple := true, rational := false, solvable := false, supersolvable := false);