#512099

order	512
nilpotency class	4
isoclinism	isoclinic class of #511755
automorphism	?
homology	Abelianization (H₁) = C₂⁴ · Schur multiplier (H₂) = C₂⁵

Aliases

No aliases for this group.

Subgroups

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

957 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degree	μ(G) = 72
transitive degree	μ_t(G) = 128

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

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

Polycyclic presentation:

2^9|a^2=i,b^2=i,c^2=e,f^2=hi,g^2=h,h^2=i,b^a=be,c^a=cf,d^a=dg,f^a=fh,g^a=ghi,h^a=hi,f^c=fh,g^c=gh,h^c=hi,f^d=fh,g^d=ghi,h^d=hi

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, 419295);