| order | 23862 |
| automorphism | ? |
| homology | Abelianization (H1) = C2×C3 · Schur multiplier (H2) = C1 |
| unambiguous semidirect product | C41⋊(D97⋊C3) |
| unambiguous semidirect product | (C97⋊C3)⋊D41 |
| unambiguous semidirect product | D3977⋊C3 |
| Fitting, socle, derived, Hall | C41×C97 ⋊ C2×C3 |
| Hall | C41×C97⋊C3 ⋊ C2 |
| Hall | D3977 ⋊ C3 |
| Hall | C97⋊C3 ⋊ D41 |
| Sylow | C97 ⋊ C3×D41 |
| Sylow | C41 ⋊ D97⋊C3 |
| subgroup | G/H | |
|---|---|---|
| center, Frattini, hypercenter | C1 | G |
| commutator, Fitting, socle, cosocle, hypocenter | C41×C97 | C2×C3 |
| LCS | G ▷ C41×C97 | |
| UCS | C1 | |
16 conjugacy classes of subgroups.
| minimal degree | μ(G) = 138 |
| transitive degree | μt(G) = 3977 |
A minimal faithful permutation representation — 2 generators on 138 points:
(2,6,7,3,4,8)(5,14,15,9,10,24)(11,27,28,17,18,41)(12,26,22,20,16,13)(19,46,47,30,31,64)(21,44,45,33,29,38)(23,25,43,35,36,39)(32,69,70,49,50,87)(34,67,68,52,48,61)(37,42,66,54,55,62)(40,80,78,58,59,57)(51,83,79,63,72,94)(53,90,91,73,71,84)(56,65,89,75,76,85)(60,92,96,74,81,82)(77,88,95,86,93,97)(99,100)(101,102)(103,104)(105,106)(107,108)(109,110)(111,112)(113,114)(115,116)(117,118)(119,120)(121,122)(123,124)(125,126)(127,128)(129,130)(131,132)(133,134)(135,136)(137,138);(1,2,5,11,19,32,51,55,18,29,39,41,61,82,70,89,72,92,90,69,88,97,94,78,45,15,26,14,25,40,60,73,52,33,20,4,8,13,23,37,56,77,76,31,48,59,62,64,84,91,47,66,80,67,46,65,86,75,54,35,22,7,6,12,21,34,53,74,58,36,10,16,24,38,57,79,95,93,50,71,81,83,85,87,96,68,28,43,44,27,42,63,49,30,17,9,3)(98,99,101,103,105,107,109,111,113,115,117,119,121,123,125,127,129,131,133,135,137,138,136,134,132,130,128,126,124,122,120,118,116,114,112,110,108,106,104,102,100)Polycyclic presentation:
2,3,41,97|c^a=c^40,d^a=d^96,d^b=d^35722 conjugacy classes — view the full character table.
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(23862, 12);