| order | 8012 |
| automorphism | Aut(G) order 8020012 |
| homology | Abelianization (H1) = C4 · Schur multiplier (H2) = C1 |
| dicyclic | Dic2003 |
| unambiguous semidirect product | C2003⋊C4 |
| derived, Sylow | C2003 ⋊ C4 |
| subgroup | G/H | |
|---|---|---|
| center, Frattini, hypercenter | C2 | D2003 |
| commutator, hypocenter | C2003 | C4 |
| Fitting, socle | C2×C2003 | C2 |
| LCS | G ▷ C2003 | |
| UCS | C1 ◁ C2 | |
6 conjugacy classes of subgroups.
Polycyclic presentation:
2^2,2003|a^2=b,c^a=c^20022006 conjugacy classes. The character table is too large to display.
| maximal subgroup of | C4×D2003, C2×Dic2003, C22⋊D2003, … |
| maximal normal subgroup of | C4×D2003, C2×Dic2003, C22⋊D2003, … |
| maximal quotient of | C2003⋊C8, C2×Dic2003, C3×Dic2003, … |
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(8012, 1);