0
$\begingroup$

I am being involved with the following problem:

A group $G$ of order $2^{k}m$ wherein $m$ is odd has a cyclic subgroup of order $2^k$. Prove that $G$ has a normal subgroup of index $2^k$.

Honestly, I have one solution of this problem which is based on induction on $k$ and permutation groups. I am just asking if someone knows any other approaches. Thans

  • 0
    @Cocopuffs: A Sylow subgroup would be of *order* $2^k$, not of *index* $2^k$.2012-06-25
  • 0
    @N.I Whoops, I didn't catch that2012-06-25
  • 1
    Another (but less elementary) approach is to use Burnside's Transfer Theorem.2012-06-25
  • 1
    @DerekHolt: I could find the Theorem as follows. Sign me if it is the right one. if $G$ is a finite group, $P$ a Sylow subgroup, and $N(P) = C(P)$, then $G$ contains a normal subgroup $N$ with $NP = G$ and $N$ intersect $P$ $= 1$, i.e. $G$ is a semidirect product of $P$ with $N$. Thanks for visiting my question2012-06-25
  • 1
    @Babak, yes your $N$ is called a *normal p-complement* in this case. Observe that the requirement $N_G(P)=C_G(P)$ is equivalent to $P \subseteq Z(N_G(P))$. $P$ must be abelian to satisfy the condition. Now in general, if $p$ is the smallest prime dividing $|G|$, and a Sylow $p$-subgroup of $G$ is cyclic, then the condition is satisfied (this follows from the fact that $N_G(P)/C_G(P)$ injects in $Aut(P)$!) and hence $G$ has a normal $p$-complement. There are many $p$-complement theorems of which the one of Thompson is most famous: it implied that kernels of Frobenius groups are nilpotent.2012-06-25
  • 0
    @NickyHekster: Thanks Nicky. I really need your detailed comment here. It sparked by Prof. Holt and thanks both of you.2012-06-26

1 Answers 1

3

Consider the regular representation $\rho_{G}$ of $G$. Let $S$ be a Sylow $2$-subgroup of $G,$ and suppose that $S = \langle s \rangle$ is cyclic. Then $\rho_{G}$ restricts to $S$ as a drect sum of $m$ copies of $\rho_{S}.$ Hence the eigenvalues of $\rho_{G}(s)$ all occur with multiplicity $m,$ and each $2^{k}$-th root of unity occurs as such an eigenvalue. Now the product of all complex $2^{k}$th roots of unity is $-1$, because all such roots except $1$ and $-1$ occur in complex conjugate pairs. Hence $\rho_{G}(s)$ has determinant $(-1)^{m} = -1$ as $m$ is odd. Now $g \to {\rm det}(\rho_{G}(g))$ is a $1$-deimensional representation of $G.$ If $g$ has odd order, then ${\rm det}(\rho_{G}(g)) =1,$ because all $|g|$-th rooots of unity occur as eigenvalues with equal multiplicity, and all except 1 occur in complex conjugate pairs. Hence the image of this $1$-dimensional representation is $\{1,-1\}$ (I have skipped a few details here), and its kernel has index $2$. By induction, the kernel has a normal subgroup of index $2^{k-1}$ which is characteristic, so a normal subgroup of index $2^{k}$ of $G.$