| order | 9846 |
| automorphism | Aut(G) order 16127748 |
| homology | Abelianization (H1) = C2 · Schur multiplier (H2) = C1 |
| dihedral | D4923 |
| unambiguous semidirect product | C9⋊D547 |
| unambiguous semidirect product | C547⋊D9 |
| Fitting, derived, Hall | C9×C547 ⋊ C2 |
| Sylow | C547 ⋊ D9 |
| Sylow | C9 ⋊ D547 |
| subgroup | G/H | |
|---|---|---|
| center, hypercenter | C1 | G |
| commutator, Fitting, cosocle, hypocenter | C9×C547 | C2 |
| Frattini | C3 | D1641 |
| socle | C3×C547 | D3 |
| LCS | G ▷ C9×C547 | |
| UCS | C1 | |
12 conjugacy classes of subgroups.
Polycyclic presentation:
2,3,547,3|b^3=d^2,b^a=b^2d,c^a=c^546,d^a=d^22463 conjugacy classes. The character table is too large to display.
| maximal subgroup of | D9×D547, C2×D4923, D14769 |
| maximal normal subgroup of | D9×D547, C2×D4923 |
| maximal quotient of | Dic4923, C2×D4923, D14769 |
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(9846, 6);