Finite Group Databasebeta
Cayley diagram

Dic3 #20

order12
isoclinismisoclinic class of D3
automorphismAut(G) = C2×D3 (order 12) · Inn(G) = D3 · Out(G) = C2
holomorphG ⋊ Aut(G) = #3811
homologyAbelianization (H1) = C4 · Schur multiplier (H2) = C1

Aliases

dicyclicDic3
unambiguous semidirect productC3⋊C4

Splittings

derived, SylowC3 ⋊ C4

Subgroups

subgroupG/H
center, Frattini, hypercenterC2D3
commutator, hypocenterC3C4
Fitting, socle, prime radical, cosocleC2×C3C2
LCSG ▷ C3
UCSC1 ◁ C2

6 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 7
transitive degreeμt(G) = 12

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

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

Polycyclic presentation:

2^2,3|a^2=b,c^a=c^2

Conjugacy classes & character table

C1C2C3C4C5C6
size112233
order123644
χ1111111
χ21111-1-1
χ31-11-1i−i
χ41-11-1−ii
χ522-1-100
χ62-2-1100

Here i is the imaginary unit (i² = −1).

Relationships

maximal subgroup ofDic6, C4×D3, C2×Dic3, …
maximal normal subgroup ofDic6, C4×D3, C2×Dic3, …
maximal quotient ofC3⋊C8, C2×Dic3, Dic9, …
outer automorphism group ofC24⋊C5, C2×C24⋊C5, #6057, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(12, 1);