Group information
Description: | $C_2^7.(D_4\times S_4)$ |
Order: | \(24576\)\(\medspace = 2^{13} \cdot 3 \) |
Exponent: | \(24\)\(\medspace = 2^{3} \cdot 3 \) |
Automorphism group: | $C_2^3:A_4\times S_4$, of order \(393216\)\(\medspace = 2^{17} \cdot 3 \) (generators) |
Outer automorphisms: | $C_2^5$, of order \(32\)\(\medspace = 2^{5} \) |
Composition factors: | $C_2$ x 13, $C_3$ |
Derived length: | $3$ |
This group is nonabelian and solvable. Whether it is monomial has not been computed.
Group statistics
Order | 1 | 2 | 3 | 4 | 6 | 8 | 12 | |
---|---|---|---|---|---|---|---|---|
Elements | 1 | 1183 | 512 | 12128 | 3584 | 3072 | 4096 | 24576 |
Conjugacy classes | 1 | 47 | 1 | 82 | 5 | 6 | 4 | 146 |
Divisions | 1 | 47 | 1 | 69 | 5 | 3 | 2 | 128 |
Autjugacy classes | 1 | 26 | 1 | 28 | 4 | 3 | 2 | 65 |
Dimension | 1 | 2 | 3 | 4 | 6 | 12 | 24 | 48 | |
---|---|---|---|---|---|---|---|---|---|
Irr. complex chars. | 16 | 12 | 16 | 2 | 28 | 50 | 20 | 2 | 146 |
Irr. rational chars. | 8 | 12 | 8 | 4 | 28 | 44 | 20 | 4 | 128 |
Minimal Presentations
Permutation degree: | $20$ |
Transitive degree: | $24$ |
Rank: | not computed |
Inequivalent generating tuples: | not computed |
Minimal degrees of faithful linear representations
Over $\mathbb{C}$ | Over $\mathbb{R}$ | Over $\mathbb{Q}$ | |
---|---|---|---|
Irreducible | 12 | 12 | 12 |
Arbitrary | not computed | not computed | not computed |
Constructions
Presentation: | ${\langle a, b, c, d, e, f, g, h, i, j, k \mid c^{6}=d^{2}=e^{4}=f^{2}=g^{2}= \!\cdots\! \rangle}$ | |||||||
Permutation group: | Degree $20$ $\langle(1,3,2,6)(4,10,9,5)(7,8,12,13)(11,15,16,14)(17,19,18,20), (1,2,5,11)(3,7,12,6) \!\cdots\! \rangle$ | |||||||
Transitive group: | 24T12863 | 24T13624 | more information | |||||
Direct product: | not isomorphic to a non-trivial direct product | |||||||
Semidirect product: | not computed | |||||||
Trans. wreath product: | not isomorphic to a non-trivial transitive wreath product | |||||||
Non-split product: | $(C_2^9.D_4)$ . $S_3$ | $(C_2^7.S_4)$ . $D_4$ | $C_2^9$ . $(S_3\times D_4)$ | $C_2^7$ . $(D_4\times S_4)$ | all 52 |
Elements of the group are displayed as permutations of degree 20.
Homology
Abelianization: | $C_{2}^{2} \times C_{4} $ |
Schur multiplier: | $C_{2}^{7}$ |
Commutator length: | $1$ |
Subgroups
There are 72 normal subgroups (48 characteristic).
Characteristic subgroups are shown in this color. Normal (but not characteristic) subgroups are shown in this color.
Special subgroups
Center: | $Z \simeq$ $C_2$ | $G/Z \simeq$ $C_2^6.(D_4\times S_4)$ |
Commutator: | $G' \simeq$ $C_2^8.C_6$ | $G/G' \simeq$ $C_2^2\times C_4$ |
Frattini: | $\Phi \simeq$ $C_2^5:D_4$ | $G/\Phi \simeq$ $C_2^2\times S_4$ |
Fitting: | $\operatorname{Fit} \simeq$ $C_2^9.D_4$ | $G/\operatorname{Fit} \simeq$ $S_3$ |
Radical: | $R \simeq$ $C_2^7.(D_4\times S_4)$ | $G/R \simeq$ $C_1$ |
Socle: | $\operatorname{soc} \simeq$ $C_2^3$ | $G/\operatorname{soc} \simeq$ $C_2^6:(C_2\times S_4)$ |
2-Sylow subgroup: | $P_{ 2 } \simeq$ $C_2^7.C_2^5.C_2$ | |
3-Sylow subgroup: | $P_{ 3 } \simeq$ $C_3$ |
Subgroup diagram and profile
Series
Derived series | $C_2^7.(D_4\times S_4)$ | $\rhd$ | $C_2^8.C_6$ | $\rhd$ | $C_2^8$ | $\rhd$ | $C_1$ | ||||||||||||||
Chief series | $C_2^7.(D_4\times S_4)$ | $\rhd$ | $C_2\times C_2^8.D_6.C_2$ | $\rhd$ | $C_2^9.D_6$ | $\rhd$ | $C_2^9.C_6$ | $\rhd$ | $C_2^8.C_6$ | $\rhd$ | $C_2^6:A_4$ | $\rhd$ | $C_2^8$ | $\rhd$ | $C_2^6$ | $\rhd$ | $C_2^4$ | $\rhd$ | $C_2^2$ | $\rhd$ | $C_1$ |
Lower central series | $C_2^7.(D_4\times S_4)$ | $\rhd$ | $C_2^8.C_6$ | $\rhd$ | $C_2^6:A_4$ | ||||||||||||||||
Upper central series | $C_1$ | $\lhd$ | $C_2$ |
Supergroups
This group is a maximal subgroup of 4 larger groups in the database.
This group is a maximal quotient of 1 larger groups in the database.
Character theory
Complex character table
See the $146 \times 146$ character table (warning: may be slow to load). Alternatively, you may search for characters of this group with desired properties.
Rational character table
See the $128 \times 128$ rational character table (warning: may be slow to load).