Finite Group Databasebeta
Cayley diagram

#9222167

order512
nilpotency class2
automorphism?
homologyAbelianization (H1) = C26 · Schur multiplier (H2) = C212

Aliases

No aliases for this group.

Subgroups

subgroupG/H
center, commutator, Frattini, socle, cosocleC23C26
LCSG ▷ C23 ▷ C1
UCSC1 ◁ C23 ◁ G
LECSG ▷ C23 ▷ C1

4573 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 40
transitive degreeμt(G) = 128

A minimal faithful permutation representation — 6 generators on 40 points:

(2,4)(6,8)(10,11)(15,17)(16,18)(23,24)(25,26)(27,36)(28,39)(29,30)(31,32)(33,37)(34,38)(35,40);(3,7)(6,8)(9,10,14,11)(12,15,20,17)(13,16,22,18)(19,23,21,24)(26,32)(27,37)(29,35)(34,39);(1,2,5,4)(3,6,7,8)(25,27)(26,33)(28,35)(29,38)(30,39)(31,37)(32,36)(34,40);(9,11,14,10)(12,15,20,17)(13,16,22,18)(19,24,21,23)(25,28,31,38)(26,34,32,39)(27,35,37,29)(30,33,40,36);(1,3)(2,6)(4,8)(5,7)(9,12,14,20)(10,15,11,17)(13,21,22,19)(16,24,18,23)(25,29,31,35)(26,30,32,40)(27,38,37,28)(33,39,36,34);(1,4,5,2)(3,8,7,6)(9,13,14,22)(10,16,11,18)(12,19,20,21)(15,23,17,24)(25,30)(26,35)(27,39)(28,33)(29,32)(31,40)(34,37)(36,38)

Polycyclic presentation:

2^9|b^2=gi,c^2=hi,d^2=g,e^2=g,f^2=gh,b^a=bg,c^a=ch,d^a=dg,f^a=fh,c^b=ci,e^b=eh,e^d=egi,f^d=fgi,f^e=fgi

Conjugacy classes & character table

89 conjugacy classes — view the full character table.

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(512, 9129363);