| order | 31581 |
| nilpotency class | 1 |
| automorphism | ? |
| homology | Abelianization (H1) = G · Schur multiplier (H2) = C11 |
| abelian | C9×C112×C29 |
| subgroup | G/H | |
|---|---|---|
| center | G | C1 |
| commutator | C1 | G |
| Frattini, cosocle | C3 | C3×C112×C29 |
| socle, prime radical | C3×C112×C29 | C3 |
| LCS | G ▷ C1 | |
| UCS | C1 ◁ G | |
84 conjugacy classes of subgroups.
| minimal degree | μ(G) = 60 |
| transitive degree | μt(G) = 31581 |
A minimal faithful permutation representation — 2 generators on 60 points:
(1,2,3,4,5,6,7,8,9)(10,11,12,13,14,15,16,17,18,19,20)(32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60);(21,22,23,24,25,26,27,28,29,30,31)31581 conjugacy classes. The character table is too large to display.
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(31581, 3);