Finite Group Databasebeta
Cayley diagram

Q8⋊H(3,𝔽3) #6205

order216
isoclinismisoclinic class of C9⋊SL(2,𝔽3)
automorphismAut(G) = ((C3⋊D3)⋊C3)⋊S4 (order 1296) · Inn(G) = C3×A4 · Out(G) = D32
homologyAbelianization (H1) = C32 · Schur multiplier (H2) = C32

Aliases

unambiguous semidirect productQ8⋊H(3,𝔽3)
unambiguous semidirect product(C3×SL(2,𝔽3))⋊C3

Splittings

FittingC32×Q8 ⋊ C3
SylowQ8 ⋊ H(3,𝔽3)

Subgroups

subgroupG/H
center, Frattini, socleC2×C3C3×A4
commutator, cosocleC3×Q8C32
FittingC32×Q8C3
hypercenterC2×C32A4
hypocenterQ8H(3,𝔽3)
LCSG ▷ C3×Q8 ▷ Q8
UCSC1 ◁ C2×C3 ◁ C2×C32

39 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 17
transitive degreeμt(G) = 72

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

(1,7,4,5)(2,3,6,8)(10,13,14)(12,16,17);(2,3,5)(6,8,7)(9,10,12)(11,14,16)(13,17,15)

Polycyclic presentation:

3^3,2^3|d^2=f,e^2=f,b^a=bc,d^a=e,e^a=de,e^d=ef

Conjugacy classes & character table

31 conjugacy classes — view the full character table.

Relationships

derived subgroup of#88610, #88611, #11720738, …
maximal subgroup of(C3⋊#226)⋊C3, (C3⋊GL(2,𝔽3))⋊C3, #88610, …
maximal normal subgroup of(C3⋊#226)⋊C3, (C3⋊GL(2,𝔽3))⋊C3, #88610, …
maximal quotient ofC2×Q8⋊H(3,𝔽3), #10619574, #10619575, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(216, 42);