| order | 10026 |
| automorphism | Aut(G) order 16723368 |
| homology | Abelianization (H1) = C2 · Schur multiplier (H2) = C1 |
| dihedral | D5013 |
| unambiguous semidirect product | C9⋊D557 |
| unambiguous semidirect product | C557⋊D9 |
| Fitting, derived, Hall | C9×C557 ⋊ C2 |
| Sylow | C557 ⋊ D9 |
| Sylow | C9 ⋊ D557 |
| subgroup | G/H | |
|---|---|---|
| center, hypercenter | C1 | G |
| commutator, Fitting, cosocle, hypocenter | C9×C557 | C2 |
| Frattini | C3 | D1671 |
| socle | C3×C557 | D3 |
| LCS | G ▷ C9×C557 | |
| UCS | C1 | |
12 conjugacy classes of subgroups.
Polycyclic presentation:
2,3,557,3|b^3=d^2,b^a=b^2d,c^a=c^556,d^a=d^22508 conjugacy classes. The character table is too large to display.
| maximal subgroup of | D9×D557, C2×D5013, D15039, … |
| maximal normal subgroup of | D9×D557, C2×D5013 |
| maximal quotient of | Dic5013, C2×D5013, D15039, … |
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(10026, 4);