Finite Group Databasebeta
Cayley diagram

(C3⋊Dic3)⋊C3 #1081

order108
isoclinismisoclinic class of (C3⋊D3)⋊C3
automorphismAut(G) = C2×((C3⋊D3)⋊C3)⋊C2 (order 216) · Inn(G) = (C3⋊D3)⋊C3 · Out(G) = C22
homologyAbelianization (H1) = C3×C4 · Schur multiplier (H2) = C3

Aliases

unambiguous semidirect product(C3⋊Dic3)⋊C3

Splittings

derivedC32 ⋊ C3×C4
SylowH(3,𝔽3) ⋊ C4

Subgroups

subgroupG/H
center, hypercenterC2(C3⋊D3)⋊C3
commutator, hypocenterC32C3×C4
Frattini, socleC2×C3C3×D3
Fitting, prime radicalC2×H(3,𝔽3)C2
cosocleC2×C32C2×C3
LCSG ▷ C32
UCSC1 ◁ C2

25 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

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

Polycyclic presentation:

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

Conjugacy classes & character table

20 conjugacy classes — view the full character table.

Relationships

maximal subgroup of#6196, ((C3⋊D3)⋊C3)⋊C4, #6199, …
maximal normal subgroup of#6196, ((C3⋊D3)⋊C3)⋊C4, #6199, …
maximal quotient of(C3⋊(C3⋊C8))⋊C3, C2×(C3⋊Dic3)⋊C3, (C3⋊Dic3)⋊C9, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(108, 8);