#152393

order	512
nilpotency class	2
isoclinism	isoclinic class of #392
automorphism	?
homology	Abelianization (H₁) = C₂²×C₁₆ · Schur multiplier (H₂) = C₂²

Aliases

No aliases for this group.

Subgroups

	subgroup	G/H
center, Frattini, cosocle	C₂²×C₁₆	C₂³
commutator, socle, prime radical	C₂³	C₂²×C₁₆
LCS	G ▷ C₂³ ▷ C₁
UCS	C₁ ◁ C₂²×C₁₆ ◁ G
LECS	G ▷ C₂²×C₁₆ ▷ C₈ ▷ C₄ ▷ C₂ ▷ C₁

200 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degree	μ(G) = 80
transitive degree	μ_t(G) = 512

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

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

Polycyclic presentation:

2^9|a^2=f,b^2=de,c^2=d,f^2=g,g^2=h,h^2=i,b^a=bd,c^a=ce,c^b=ci

Conjugacy classes & character table

176 conjugacy classes — view the full character table.

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(512, 59589);