| order | 3456 |
| nilpotency class | 3 |
| automorphism | ? |
| homology | Abelianization (H1) = C24×C32 · Schur multiplier (H2) = C24×C4 |
| direct product | 3−1+2×#3151 |
| subgroup | G/H | |
|---|---|---|
| center, socle | C22×C3 | C22×C32×D4 |
| commutator, Frattini, cosocle | C2×C3×C4 | C24×C32 |
| prime radical | C32×#3151 | C3 |
| LCS | G ▷ C2×C3×C4 ▷ C2 ▷ C1 | |
| UCS | C1 ◁ C22×C3 ◁ C2×C42×3−1+2 ◁ G | |
2624 conjugacy classes of subgroups.
| minimal degree | μ(G) = 21 |
| transitive degree | μt(G) = 288 |
A minimal faithful permutation representation — 4 generators on 21 points:
(2,3)(6,9)(7,12)(10,11)(14,16,19)(17,21,20);(1,2)(3,4)(6,10)(7,12)(9,11)(13,14,17,15,16,20,18,19,21);(5,6,7,9,8,11,12,10);(1,3,4,2)352 conjugacy classes. The character table is too large to display.
Past the SmallGroups library coverage — no SmallGroups id. Construct it from a minimal faithful permutation representation:
gap> G := Group((2,3)(6,9)(7,12)(10,11)(14,16,19)(17,21,20), (1,2)(3,4)(6,10)(7,12)(9,11)(13,14,17,15,16,20,18,19,21), (5,6,7,9,8,11,12,10), (1,3,4,2));