| order | 2048 |
| nilpotency class | 2 |
| automorphism | ? |
| homology | Abelianization (H1) = C28 · Schur multiplier (H2) = C228 |
| direct product | C24×#2405 |
| subgroup | G/H | |
|---|---|---|
| center, socle | C27 | C24 |
| commutator, Frattini, cosocle | C23 | C28 |
| prime radical | C27×D4 | C2 |
| LCS | G ▷ C23 ▷ C1 | |
| UCS | C1 ◁ C27 ◁ G | |
| LECS | G ▷ C23 ▷ C1 | |
9558216 conjugacy classes of subgroups.
| minimal degree | μ(G) = 24 |
| transitive degree | μt(G) = 512 |
A minimal faithful permutation representation — 8 generators on 24 points:
(3,4);(5,6);(7,8);(10,12)(13,14,15,16)(17,18,20,22)(19,21,24,23);(1,2)(3,4)(5,6)(7,8);(13,14)(15,16);(9,10)(11,12)(13,14)(15,16)(17,18)(19,23)(20,22)(21,24);(17,19)(18,21)(20,24)(22,23)608 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((3,4), (5,6), (7,8), (10,12)(13,14,15,16)(17,18,20,22)(19,21,24,23), (1,2)(3,4)(5,6)(7,8), (13,14)(15,16), (9,10)(11,12)(13,14)(15,16)(17,18)(19,23)(20,22)(21,24), (17,19)(18,21)(20,24)(22,23));