| order | 9872 |
| automorphism | ? |
| homology | Abelianization (H1) = C2×C4 · Schur multiplier (H2) = C2 |
| unambiguous semidirect product | C4⋊Dic617 |
| Sylow | C617 ⋊ C4⋊C4 |
| subgroup | G/H | |
|---|---|---|
| center, Frattini | C22 | C2×D617 |
| commutator | C2×C617 | C2×C4 |
| Fitting | C2×C4×C617 | C2 |
| socle, prime radical, cosocle | C22×C617 | C22 |
| hypercenter | C2×C4 | D617 |
| hypocenter | C617 | C4⋊C4 |
| LCS | G ▷ C2×C617 ▷ C617 | |
| UCS | C1 ◁ C22 ◁ C2×C4 | |
26 conjugacy classes of subgroups.
Polycyclic presentation:
2^4,617|a^2=d,b^2=c,b^a=bc,e^a=e^6162474 conjugacy classes. The character table is too large to display.
| maximal subgroup of | #34089623, #34089624, #34089626, … |
| maximal normal subgroup of | #34089623, #34089624, #34089626, … |
| maximal quotient of | #34089609, C4⋊#19096921, #34089634, … |
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(9872, 20);