| order | 28 |
| isoclinism | isoclinic class of D7 |
| automorphism | Aut(G) = C2×AGL(1,𝔽7) (order 84) · Inn(G) = D7 · Out(G) = C2×C3 |
| holomorph | G ⋊ Aut(G) = #72210376 |
| homology | Abelianization (H1) = C4 · Schur multiplier (H2) = C1 |
| dicyclic | Dic7 |
| unambiguous semidirect product | C7⋊C4 |
| derived, Sylow | C7 ⋊ C4 |
| subgroup | G/H | |
|---|---|---|
| center, Frattini, hypercenter | C2 | D7 |
| commutator, hypocenter | C7 | C4 |
| Fitting, socle, prime radical, cosocle | C2×C7 | C2 |
| LCS | G ▷ C7 | |
| UCS | C1 ◁ C2 | |
6 conjugacy classes of subgroups.
| minimal degree | μ(G) = 11 |
| transitive degree | μt(G) = 28 |
A minimal faithful permutation representation — 2 generators on 11 points:
(1,2)(3,4)(5,6,7,8,9,10,11);(1,3,2,4)(6,11)(7,10)(8,9)Polycyclic presentation:
2^2,7|a^2=b,c^a=c^6| C1 | C2 | C3 | C4 | C5 | C6 | C7 | C8 | C9 | C10 | |
|---|---|---|---|---|---|---|---|---|---|---|
| size | 1 | 1 | 2 | 2 | 2 | 2 | 2 | 2 | 7 | 7 |
| order | 1 | 2 | 7 | 7 | 7 | 14 | 14 | 14 | 4 | 4 |
| χ1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| χ2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | -1 | -1 |
| χ3 | 1 | -1 | 1 | 1 | 1 | -1 | -1 | -1 | ||
| χ4 | 1 | -1 | 1 | 1 | 1 | -1 | -1 | -1 | ||
| χ5 | 2 | 2 | −ζ10−ζ18 | −ζ6−ζ22 | −ζ2−ζ26 | −ζ10−ζ18 | −ζ6−ζ22 | −ζ2−ζ26 | 0 | 0 |
| χ6 | 2 | 2 | −ζ6−ζ22 | −ζ2−ζ26 | −ζ10−ζ18 | −ζ6−ζ22 | −ζ2−ζ26 | −ζ10−ζ18 | 0 | 0 |
| χ7 | 2 | 2 | −ζ2−ζ26 | −ζ10−ζ18 | −ζ6−ζ22 | −ζ2−ζ26 | −ζ10−ζ18 | −ζ6−ζ22 | 0 | 0 |
| χ8 | 2 | -2 | −ζ10−ζ18 | −ζ6−ζ22 | −ζ2−ζ26 | ζ10+ζ18 | ζ6+ζ22 | ζ2+ζ26 | 0 | 0 |
| χ9 | 2 | -2 | −ζ6−ζ22 | −ζ2−ζ26 | −ζ10−ζ18 | ζ6+ζ22 | ζ2+ζ26 | ζ10+ζ18 | 0 | 0 |
| χ10 | 2 | -2 | −ζ2−ζ26 | −ζ10−ζ18 | −ζ6−ζ22 | ζ2+ζ26 | ζ10+ζ18 | ζ6+ζ22 | 0 | 0 |
Here ζ is a primitive root of unity of order 28 (ζ28 = 1); i = ζ7.
| maximal subgroup of | Dic14, C4×D7, C2×Dic7, … |
| maximal normal subgroup of | Dic14, C4×D7, C2×Dic7, … |
| maximal quotient of | C7⋊C8, C2×Dic7, C3×Dic7, … |
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(28, 1);