Abstract group 4096.brl: $C_2^6.D_4^2$

• Label: 4096.brl
• Order: \( 2^{12} \)
• Exponent: \( 2^{2} \)
• Nilpotent: yes
• Solvable: yes
• $\card{G^{\mathrm{ab}}}$: \( 2^{5} \)
• $\card{Z(G)}$: 8
• $\card{\Aut(G)}$: \( 2^{31} \cdot 3 \)
• $\card{\mathrm{Out}(G)}$: \( 2^{22} \cdot 3 \)
• Perm deg.: not computed
• Trans deg.: not computed
• Rank: $5$

Group information

Description:	$C_2^6.D_4^2$
Order:	\(4096\)\(\medspace = 2^{12} \)
Exponent:	\(4\)\(\medspace = 2^{2} \)
Automorphism group:	$C_2^{17}.C_2^6.A_4.C_2.C_2^5$, of order \(6442450944\)\(\medspace = 2^{31} \cdot 3 \)
Composition factors:	$C_2$ x 12
Nilpotency class:	$3$
Derived length:	$2$

This group is nonabelian, a $p$-group (hence nilpotent, solvable, supersolvable, monomial, elementary, and hyperelementary), metabelian, and rational.

Group statistics

Order	1	2	4
Elements	1	1151	2944	4096
Conjugacy classes	1	292	71	364
Divisions	1	292	71	364
Autjugacy classes	1	12	6	19

Dimension	1	2	4
Irr. complex chars.	32	104	228	364
Irr. rational chars.	32	104	228	364

Minimal presentations

Permutation degree:	not computed
Transitive degree:	not computed
Rank:	$5$
Inequivalent generating 5-tuples:	not computed

Minimal degrees of faithful linear representations

	Over $\mathbb{C}$	Over $\mathbb{R}$	Over $\mathbb{Q}$
Irreducible	none	none	none
Arbitrary	not computed	not computed	not computed

Constructions

Presentation:	${\langle a, b, c, d, e, f, g, h, i, j \mid a^{2}=b^{4}=c^{4}=d^{2}=e^{2}= \!\cdots\! \rangle}$
Permutation group:	Degree $20$ $\langle(2,7)(3,8)(5,20)(10,15)(12,17)(13,18), (3,8)(13,18), (1,11)(5,15)(6,16) \!\cdots\! \rangle$
Direct product:	not computed
Semidirect product:	not computed
Trans. wreath product:	not isomorphic to a non-trivial transitive wreath product
Possibly split product:	$C_2^6$ . $D_4^2$ (168)	$C_2^9$ . $C_2^3$ (7)	$C_2^8$ . $C_2^4$ (7)	$C_2^7$ . $C_2^5$	all 94
Aut. group:	$\Aut(C_4^2.C_2^3)$	$\Aut(D_4^2:S_3)$	$\Aut((Q_8\times D_6):C_2^2)$	$\Aut(C_{12}.D_6^2)$

Elements of the group are displayed as permutations of degree 20.

Homology

Abelianization:	$C_{2}^{5} $
Schur multiplier:	$C_{2}^{17}$
Commutator length:	$1$

Subgroups

There are 2899 normal subgroups (20 characteristic).

Characteristic subgroups are shown in this color. Normal (but not characteristic) subgroups are shown in this color.

Special subgroups

Center:	a subgroup isomorphic to $C_2^3$
Commutator:	a subgroup isomorphic to $C_2^7$
Frattini:	a subgroup isomorphic to $C_2^7$
Fitting:	not computed
Radical:	not computed
Socle:	not computed
2-Sylow subgroup:	$P_{ 2 } \simeq$ $C_2^6.D_4^2$

Hi

Subgroup diagram and profile

Classes of subgroups up to conjugation

No diagram available: inclusions not computed

Classes of subgroups up to automorphism

No diagram available: inclusions not computed

Normal subgroups

No diagram available: inclusions not computed

Normal subgroups up to automorphism

No diagram available: inclusions not computed

Classes of subgroups up to conjugation

All subgroups of index up to 4 (order at least 1024) are shown, as well as all normal subgroups of any index.

Order 4096: $C_2^6.D_4^2$

Order 2048: $C_2^8.C_2^3$ x 14, $C_2^5.D_4^2$ x 8, $C_2^5.D_4^2$ x 4, $C_2^{10}.C_2$ x 2, $C_2^5.C_2^6$ x 2, $C_2^9.C_2^2$

Order 1024: $C_2^7.C_2^3$ x 160, $C_2^9.C_2$ x 90, $C_2^8.C_2^2$ x 72, $C_2^2\wr C_2^2$ x 32, $C_2^7:D_4$ x 6, $C_2^9.C_2$ x 2, $C_2^{10}$

Order 512: $C_2^7:C_4$ x 78, $C_2^8.C_2$ x 62, $C_2^4\wr C_2$ x 32, $C_2\times C_2^6.C_2^2$ x 24, $C_2^4.C_2^5$ x 24, $C_2^6.C_2^3$ x 12, $C_2^8.C_2$ x 9, $C_2^9$ x 7, $C_2^6:D_4$ x 7, $C_2^7.C_2^2$ x 2, $C_2^7.C_2^2$, $C_4^2:C_2^5$

Order 256: $C_2^6:C_4$ x 158, $C_2^5:D_4$ x 70, $C_2^8$ x 59, $C_2^6:C_4$ x 48, $C_2^5:D_4$ x 48, $C_2^6:C_4$ x 9, $D_4\times C_2^5$ x 3

Order 128: $C_2^7$ x 164, $C_2^5:C_4$ x 90, $C_2^5:C_4$ x 72, $C_2^4:D_4$ x 56, $D_4\times C_2^4$ x 26, $C_2^5\times C_4$ x 3

Order 64: $C_2^6$ x 439, $C_2^4:C_4$ x 36, $C_2^4\times C_4$ x 20, $D_4\times C_2^3$ x 12

Order 32: $C_2^5$ x 469, $C_2^3\times C_4$ x 6

Order 16: $C_2^4$ x 435

Order 8: $C_2^3$ x 163

Order 4: $C_2^2$ x 59

Order 2: $C_2$ x 7

Order 1: $C_1$

Classes of subgroups up to automorphism

not computed

Normal subgroups (quotient in parentheses)

Order 4096: $C_2^6.D_4^2$ ($C_1$)

Order 2048: $C_2^8.C_2^3$ ($C_2$) x 14, $C_2^5.D_4^2$ ($C_2$) x 8, $C_2^5.D_4^2$ ($C_2$) x 4, $C_2^{10}.C_2$ ($C_2$) x 2, $C_2^5.C_2^6$ ($C_2$) x 2, $C_2^9.C_2^2$ ($C_2$)

Order 1024: $C_2^7.C_2^3$ ($C_2^2$) x 82, $C_2^8.C_2^2$ ($C_2^2$) x 48, $C_2^9.C_2$ ($C_2^2$) x 22, $C_2^9.C_2$ ($C_2^2$) x 2, $C_2^{10}$ ($C_2^2$)

Order 512: $C_2^7:C_4$ ($C_2^3$) x 54, $C_2^8.C_2$ ($D_4$) x 36, $C_2^4\wr C_2$ ($D_4$) x 32, $C_2^8.C_2$ ($C_2^3$) x 26, $C_2\times C_2^6.C_2^2$ ($C_2^3$) x 24, $C_2^4.C_2^5$ ($C_2^3$) x 24, $C_2^7:C_4$ ($D_4$) x 24, $C_2^6.C_2^3$ ($C_2^3$) x 12, $C_2^9$ ($C_2^3$) x 7, $C_2^8.C_2$ ($D_4$) x 6, $C_2^6:D_4$ ($D_4$) x 6, $C_2^8.C_2$ ($C_2^3$) x 3, $C_2^7.C_2^2$ ($C_2^3$) x 2, $C_2^7.C_2^2$ ($C_2^3$), $C_4^2:C_2^5$ ($C_2^3$), $C_2^6:D_4$ ($C_2^3$)

Order 256: $C_2^6:C_4$ ($C_2\times D_4$) x 138, $C_2^5:D_4$ ($C_2\times D_4$) x 66, $C_2^8$ ($C_2\times D_4$) x 52, $C_2^6:C_4$ ($C_2\times D_4$) x 48, $C_2^5:D_4$ ($C_2\times D_4$) x 48, $C_2^6:C_4$ ($C_2^4$) x 20, $C_2^6:C_4$ ($C_2\times D_4$) x 9, $C_2^8$ ($C_2^4$) x 7, $C_2^5:D_4$ ($C_2^4$) x 4, $D_4\times C_2^5$ ($C_2\times D_4$) x 3

Order 128: $C_2^7$ ($C_2^2\times D_4$) x 78, $C_2^5:C_4$ ($C_2^2\times D_4$) x 60, $C_2^7$ ($C_2^2\wr C_2$) x 49, $C_2^4:D_4$ ($C_2^2\wr C_2$) x 48, $C_2^5:C_4$ ($C_2^2\wr C_2$) x 48, $C_2^7$ ($D_4:C_2^2$) x 36, $C_2^5:C_4$ ($C_2^2\wr C_2$) x 30, $C_2^5:C_4$ ($C_2^2\times D_4$) x 24, $D_4\times C_2^4$ ($C_2^2\wr C_2$) x 14, $D_4\times C_2^4$ ($C_2^2\times D_4$) x 12, $C_2^4:D_4$ ($C_2^2\times D_4$) x 8, $C_2^5\times C_4$ ($C_2^2\wr C_2$) x 3, $C_2^7$ ($C_2^5$)

Order 64: $C_2^6$ ($D_4^2$) x 168, $C_2^6$ ($C_2\wr C_2^2$) x 96, $C_2^6$ ($C_2^3:D_4$) x 76, $C_2^6$ ($C_2^3:D_4$) x 60, $C_2^4:C_4$ ($C_2^3:D_4$) x 36, $C_2^4\times C_4$ ($C_2^3:D_4$) x 20, $C_2^6$ ($D_4:C_2^3$) x 18, $C_2^6$ ($D_4\times C_2^3$) x 13, $D_4\times C_2^3$ ($C_2^3:D_4$) x 12, $C_2^6$ ($C_4^2:C_2^2$) x 8

Order 32: $C_2^5$ ($C_2^4:D_4$) x 144, $C_2^5$ ($C_2^4:D_4$) x 120, $C_2^5$ ($D_4^2:C_2$) x 60, $C_2^5$ ($C_2.D_4^2$) x 48, $C_2^5$ ($C_2\times D_4^2$) x 42, $C_2^5$ ($D_4^2:C_2$) x 24, $C_2^5$ ($C_2^4:D_4$) x 15, $C_2^5$ ($C_2^4:D_4$) x 12, $C_2^3\times C_4$ ($C_2^3\wr C_2$) x 6, $C_2^5$ ($C_4^2:C_2^3$) x 2, $C_2^5$ ($C_2^3\wr C_2$) x 2

Order 16: $C_2^4$ ($C_2^5:D_4$) x 240, $C_2^4$ ($C_2^5:C_2^3$) x 48, $C_2^4$ ($C_2^2:D_4^2$) x 32, $C_2^4$ ($C_2^5:D_4$) x 24, $C_2^4$ ($C_2^2:D_4^2$) x 24, $C_2^4$ ($C_2^6:C_2^2$) x 16, $C_2^4$ ($C_2^5:D_4$) x 15, $C_2^4$ ($C_2^5:D_4$) x 9, $C_2^4$ ($C_2^5:C_2^3$) x 8, $C_2^4$ ($C_2^5:C_2^3$) x 6, $C_2^4$ ($C_2^5:C_2^3$) x 6, $C_2^4$ ($C_2^5:C_2^3$) x 6, $C_2^4$ ($C_2^5:D_4$)

Order 8: $C_2^3$ ($C_2^6:D_4$) x 60, $C_2^3$ ($C_2^5.C_2^4$) x 48, $C_2^3$ ($C_2^7:C_2^2$) x 24, $C_2^3$ ($C_2^4.C_2^5$) x 12, $C_2^3$ ($C_2^4.C_2^5$) x 12, $C_2^3$ ($C_2^4.C_2^5$) x 3, $C_2^3$ ($C_2^6:D_4$) x 3, $C_2^3$ ($C_2^4.C_2^5$)

Order 4: $C_2^2$ ($C_2^8.C_2^2$) x 36, $C_2^2$ ($C_2^2\wr C_2^2$) x 16, $C_2^2$ ($C_2^7:D_4$) x 6, $C_2^2$ ($C_2^7.C_2^3$)

Order 2: $C_2$ ($C_2^5.D_4^2$) x 4, $C_2$ ($C_2^5.D_4^2$) x 3

Order 1: $C_1$ ($C_2^6.D_4^2$)

Normal subgroups up to automorphism (quotient in parentheses)

not computed

Series

Derived series	not computed
Chief series	not computed
Lower central series	not computed
Upper central series	not computed

Supergroups

This group is a maximal subgroup of 9 larger groups in the database.

This group is a maximal quotient of 0 larger groups in the database.

Character theory

Complex character table

Every character has rational values, so the complex character table is the same as the rational character table below.

Rational character table

See the $364 \times 364$ rational character table (warning: may be slow to load). Alternatively, you may search for characters of this group with desired properties.