Properties

Label 11664.be.4.c1
Order $ 2^{2} \cdot 3^{6} $
Index $ 2^{2} $
Normal Yes

Downloads

Learn more

Subgroup ($H$) information

Description:not computed
Order: \(2916\)\(\medspace = 2^{2} \cdot 3^{6} \)
Index: \(4\)\(\medspace = 2^{2} \)
Exponent: not computed
Generators: $\langle(2,3)(5,6)(8,9)(11,12)(14,15)(17,18), (10,11,12)(13,15,14)(16,17,18), (10,18,15) \!\cdots\! \rangle$ Copy content Toggle raw display
Derived length: not computed

The subgroup is characteristic (hence normal), nonabelian, and supersolvable (hence solvable and monomial). Whether it is elementary, hyperelementary, monomial, simple, quasisimple, perfect, almost simple, or rational has not been computed.

Ambient group ($G$) information

Description: $\He_3^2:(C_2\times D_4)$
Order: \(11664\)\(\medspace = 2^{4} \cdot 3^{6} \)
Exponent: \(12\)\(\medspace = 2^{2} \cdot 3 \)
Derived length:$4$

The ambient group is nonabelian and solvable. Whether it is monomial has not been computed.

Quotient group ($Q$) structure

Description: $C_2^2$
Order: \(4\)\(\medspace = 2^{2} \)
Exponent: \(2\)
Automorphism Group: $S_3$, of order \(6\)\(\medspace = 2 \cdot 3 \)
Outer Automorphisms: $S_3$, of order \(6\)\(\medspace = 2 \cdot 3 \)
Derived length: $1$

The quotient is abelian (hence nilpotent, solvable, supersolvable, monomial, metabelian, and an A-group), a $p$-group (hence elementary and hyperelementary), metacyclic, and rational.

Automorphism information

Since the subgroup $H$ is characteristic, the automorphism group $\operatorname{Aut}(G)$ of the ambient group acts on $H$, yielding a homomorphism $\operatorname{res} : \operatorname{Aut}(G) \to \operatorname{Aut}(H)$. The image of $\operatorname{res}$ on the inner automorphism group $\operatorname{Inn}(G)$ is the Weyl group $W = G / Z_G(H)$.

$\operatorname{Aut}(G)$$\He_3^2:C_2\wr C_2^2$, of order \(46656\)\(\medspace = 2^{6} \cdot 3^{6} \)
$\operatorname{Aut}(H)$ not computed
$W$$\He_3^2:(C_2\times D_4)$, of order \(11664\)\(\medspace = 2^{4} \cdot 3^{6} \)

Related subgroups

Centralizer:$C_1$
Normalizer:$\He_3^2:(C_2\times D_4)$
Minimal over-subgroups:$C_3^3.S_3^3$$\He_3^2:C_2^3$$\He_3^2:(C_2\times C_4)$
Maximal under-subgroups:$\He_3^2:C_2$$\He_3^2:C_2$$C_3^4:D_6$$C_3^3:S_3^2$

Other information

Number of conjugacy classes in this autjugacy class$1$
Möbius function$2$
Projective image$\He_3^2:(C_2\times D_4)$