D₈ #35

order	16
nilpotency class	3
isoclinism	isoclinic class of D₈
automorphism	Aut(G) = AGL(1,ℤ/8) (order 32) · Inn(G) = D₄ · Out(G) = C₂²
holomorph	G ⋊ Aut(G) = #489347
homology	Abelianization (H₁) = C₂² · Schur multiplier (H₂) = C₂

Aliases

D₈

	subgroup	G/H
center, socle	C₂	D₄
commutator, Frattini, cosocle	C₄	C₂²
LCS	G ▷ C₄ ▷ C₂ ▷ C₁
UCS	C₁ ◁ C₂ ◁ C₄ ◁ G
LECS	G ▷ C₄ ▷ C₂ ▷ C₁

11 conjugacy classes of subgroups.

minimal degree	μ(G) = 8
transitive degree	μ_t(G) = 8

A minimal faithful permutation representation — 2 generators on 8 points:

(1,2,3,4,5,6,7,8);(2,8)(3,7)(4,6)

Polycyclic presentation:

2^4|c^2=d,b^a=bc,c^a=cd,c^b=cd

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(16, 7);