| order | 72 |
| isoclinism | isoclinic class of Dic6 |
| automorphism | Aut(G) = C2×D3×D4 (order 96) · Inn(G) = C2×D3 · Out(G) = C23 |
| holomorph | G ⋊ Aut(G) = D3×#11864777 |
| homology | Abelianization (H1) = C22×C3 · Schur multiplier (H2) = C2 |
| direct product | C3×D12 |
| unambiguous semidirect product | C4⋊(C3×D3) |
| Fitting | C32×C4 ⋊ C2 |
| Sylow | C32 ⋊ D4 |
| subgroup | G/H | |
|---|---|---|
| center | C2×C3 | C2×D3 |
| commutator, cosocle | C2×C3 | C22×C3 |
| Frattini | C2 | C2×C3×D3 |
| Fitting | C32×C4 | C2 |
| socle | C2×C32 | C22 |
| hypercenter | C3×C4 | D3 |
| hypocenter | C3 | C3×D4 |
| LCS | G ▷ C2×C3 ▷ C3 | |
| UCS | C1 ◁ C2×C3 ◁ C3×C4 | |
35 conjugacy classes of subgroups.
| minimal degree | μ(G) = 10 |
| transitive degree | μt(G) = 24 |
A minimal faithful permutation representation — 2 generators on 10 points:
(1,2,3)(4,5,6)(7,10,9,8);(5,6)(8,10)27 conjugacy classes — view the full character table.
| maximal subgroup of | #3713, #3714, #3715, … |
| maximal normal subgroup of | #3713, #3714, #3715, … |
| maximal quotient of | C3×#204, C3×D24, C3×Dic12, … |
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(72, 28);