#181820

order	512
nilpotency class	2
isoclinism	isoclinic class of H(3,ℤ/4)
automorphism	?
homology	Abelianization (H₁) = C₂²×C₄×C₈ · Schur multiplier (H₂) = C₂³×C₄²

Aliases

No aliases for this group.

Subgroups

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

828 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

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

Polycyclic presentation:

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

Conjugacy classes & character table

176 conjugacy classes — view the full character table.

Relationships

maximal subgroup of	#72224691, #72226711, #72226713
maximal normal subgroup of	#72224691, #72226711, #72226713

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(512, 89016);