| order | 13140 |
| automorphism | ? |
| homology | Abelianization (H1) = C4 · Schur multiplier (H2) = C1 |
| unambiguous semidirect product | C9⋊#13091733 |
| Fitting, derived, Hall | C5×C9×C73 ⋊ C4 |
| Hall | C9×C73 ⋊ AGL(1,𝔽5) |
| Hall | C5×C73 ⋊ Dic9 |
| Sylow | C73 ⋊ C9⋊AGL(1,𝔽5) |
| Hall | C5×C9 ⋊ #64408 |
| Sylow | C9 ⋊ #13091733 |
| Sylow | C5 ⋊ C9⋊#64408 |
| subgroup | G/H | |
|---|---|---|
| center, hypercenter | C1 | G |
| commutator, Fitting, hypocenter | C5×C9×C73 | C4 |
| Frattini | C3 | C3⋊#13091733 |
| socle | C3×C5×C73 | Dic3 |
| prime radical | C3×D365 | D3 |
| cosocle | C9×D365 | C2 |
| LCS | G ▷ C5×C9×C73 | |
| UCS | C1 | |
36 conjugacy classes of subgroups.
| minimal degree | μ(G) = 87 |
| transitive degree | μt(G) = 3285 |
A minimal faithful permutation representation — 2 generators on 87 points:
(2,3,4,6)(5,8,9,15)(7,12,13,11)(10,17,18,28)(14,21,22,24)(16,25,26,20)(19,30,31,45)(23,34,35,41)(27,38,39,37)(29,42,43,33)(32,47,48,62)(36,51,52,58)(40,55,53,56)(44,57,49,54)(46,59,60,50)(61,66,67,65)(63,68,69,64)(70,72,73,71)(75,76,77,78)(80,82)(81,85)(83,84)(86,87);(1,2,5,10,19,32,49,43,28,41,56,47,63,70,72,66,57,38,21,8,16,27,40,52,35,22,13,6,11,20,33,50,64,67,60,45,58,51,30,46,61,68,59,42,25,12,3,7,14,23,36,53,39,26,15,24,37,54,65,71,73,69,62,55,34,17,29,44,48,31,18,9,4)(74,75,76,78,77)(79,87,82,85,84,83,81,80,86)Polycyclic presentation:
2^2,3,5,73,3|a^2=b,c^3=f^2,c^a=c^2f,d^a=d^2,e^a=e^46,f^a=f^2,d^b=d^4,e^b=e^72831 conjugacy classes — view the full character table.
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(13140, 35);