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