| order | 9026 |
| automorphism | Aut(G) order 20362656 |
| homology | Abelianization (H1) = C2 · Schur multiplier (H2) = C1 |
| dihedral | D4513 |
| unambiguous semidirect product | C4513⋊C2 |
| Fitting, socle, derived, Sylow | C4513 ⋊ C2 |
| subgroup | G/H | |
|---|---|---|
| center, Frattini, hypercenter | C1 | G |
| commutator, Fitting, socle, hypocenter | C4513 | C2 |
| LCS | G ▷ C4513 | |
| UCS | C1 | |
4 conjugacy classes of subgroups.
Polycyclic presentation:
2,4513|b^a=b^45122258 conjugacy classes. The character table is too large to display.
| maximal subgroup of | #31825292, C2×D4513, D4513⋊C3, … |
| maximal normal subgroup of | #31825292, C2×D4513, D4513⋊C3, … |
| maximal quotient of | Dic4513, C2×D4513, C3×D4513, … |
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(9026, 1);