Finite Group Databasebeta
Cayley diagram

C22⋊H(3,𝔽3) #1095

order108
isoclinismisoclinic class of C9⋊A4
automorphismAut(G) = ((C3⋊D3)⋊C3)⋊S4 (order 1296) · Inn(G) = C3×A4 · Out(G) = D32
homologyAbelianization (H1) = C32 · Schur multiplier (H2) = C2×C32

Aliases

unambiguous semidirect productC22⋊H(3,𝔽3)
unambiguous semidirect productC32⋊A4
unambiguous semidirect product(C3×A4)⋊C3

Splittings

FittingC22×C32 ⋊ C3
SylowC22 ⋊ H(3,𝔽3)

Subgroups

subgroupG/H
center, FrattiniC3C3×A4
commutator, socle, cosocleC22×C3C32
FittingC22×C32C3
hypercenterC32A4
hypocenterC22H(3,𝔽3)
LCSG ▷ C22×C3 ▷ C22
UCSC1 ◁ C3 ◁ C32

28 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 13
transitive degreeμt(G) = 18

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

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

Polycyclic presentation:

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

Conjugacy classes & character table

20 conjugacy classes — view the full character table.

Relationships

derived subgroup of#6258, #88613, ((C3⋊S4)⋊C3)⋊C2, …
maximal subgroup of(C3⋊S4)⋊C3, #6258, (C3⋊D3)⋊A4, …
maximal normal subgroup of(C3⋊S4)⋊C3, #6258, (C3⋊D3)⋊A4, …
maximal quotient ofQ8⋊H(3,𝔽3), C2×C22⋊H(3,𝔽3), #66357, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(108, 22);