Finite Group Databasebeta
Cayley diagram

#219516

order512
nilpotency class3
isoclinismisoclinic class of #219508
automorphism?
homologyAbelianization (H1) = C23×C4 · Schur multiplier (H2) = C23×C4

Aliases

No aliases for this group.

Subgroups

subgroupG/H
center, socleC22#2328
commutatorC22×C4C23×C4
Frattini, cosocleC2×C42C24
prime radicalC23#518
LCSG ▷ C22×C4 ▷ C2 ▷ C1
UCSC1 ◁ C22 ◁ C2×C42 ◁ G
LECSG ▷ C2×C42 ▷ C22 ▷ C1

538 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

A minimal faithful permutation representation — 4 generators on 80 points:

(1,2,6,10,7,3,5,9)(4,8,12,15,13,11,14,16)(17,18)(19,30)(20,35,40,63)(21,41)(22,45)(23,28)(24,29)(25,33)(26,39,53,38)(27,42)(31,47,57,61)(32,58)(34,49)(36,64,66,51)(37,67,70,52)(43,54)(44,71)(46,50)(48,60)(55,59)(56,75,76,79)(62,69,78,68)(65,73,80,77)(72,74);(1,3,6,9,7,2,5,10)(4,8,12,15,13,11,14,16)(17,19,22,33,24,34,23,46)(18,25,28,30,29,50,45,49)(20,36,39,31,40,66,38,57)(21,32,42,59,44,60,43,72)(26,51,63,47,53,64,35,61)(27,48,41,55,54,58,71,74)(37,65,69,56,70,80,68,76)(52,75,78,73,67,79,62,77);(1,4)(2,8)(3,11)(5,14)(6,12)(7,13)(9,16)(10,15)(17,20,24,40)(18,26)(19,31)(21,37,44,70)(22,38,23,39)(25,47,50,61)(27,52)(28,35)(29,53)(30,51,49,64)(32,56)(33,36)(34,57)(41,62)(42,68,43,69)(45,63)(46,66)(48,73,58,77)(54,67)(55,75,74,79)(59,65)(60,76)(71,78)(72,80);(1,5,7,6)(2,9,3,10)(4,12,13,14)(8,15,11,16)(17,21,23,43,24,44,22,42)(18,27,45,71,29,54,28,41)(19,32,46,72,34,60,33,59)(20,37,39,69,40,70,38,68)(25,48,49,74,50,58,30,55)(26,52,63,78,53,67,35,62)(31,56,66,80,57,76,36,65)(47,73,64,79,61,77,51,75)

Polycyclic presentation:

2^9|a^2=g,b^2=eg,c^2=efh,d^2=ehi,e^2=h,f^2=h,g^2=i,b^a=be,c^a=cf,d^a=de,e^a=eh,c^b=cei,f^b=fh,d^c=di,g^c=gh

Conjugacy classes & character table

68 conjugacy classes — view the full character table.

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(512, 126712);