A problem which I've found quite difficult it is the following:

Let $G$ be a group with order $2^n k$ with $k$ odd, and suppose there is an element of order $2^n$ (i.e. the Sylow-$2$ subgroup is cyclic). Prove that the elements of odd order in $G$ form a normal subgroup of order $k$.

One major difficulty is in $G$ not being abelian. I've seen one proof of it, which used induction on $n$ and the group action of $G$ on itself by multiplication, noting that a permutation $\lambda_g$ is odd iff $2^n$ divides the order of $g$.

However, I've not been able to find any other methods to prove it, even after learning more group theory than I had learned at the time. I thought about using the Sylow theorems, but that didn't result in anything.

Can anyone think of other ways to prove this result? Full proofs aren't necessary; any directions which are or could be fruitful are appreciated.

  • $\begingroup$ The order of an element is preserved by conjugation. $\endgroup$ – lulu Aug 24 '17 at 17:58
  • $\begingroup$ Worth noting: the product of two elements of odd order could have even order, so the set of elements of odd order is not necessarily a subgroup. $\endgroup$ – lulu Aug 24 '17 at 18:01
  • 2
    $\begingroup$ If you want an approach that uses some more group theory, the result follows directly from Burnside's transfer theorem, which states that if a $p$-Sylow subgroup is central in its normalizer then the group has a normal $p$-complement. That this is the case here follows from the normalizer/centralizer theorem. $\endgroup$ – Tobias Kildetoft Aug 24 '17 at 18:03
  • 1
    $\begingroup$ Here is the argument for a proof by induction. No wonder I had a deja vu -experience :-) $\endgroup$ – Jyrki Lahtonen Aug 24 '17 at 18:15
  • 1
    $\begingroup$ @TobiasKildetoft Well, it's a very nice argument indeed! $\endgroup$ – lulu Aug 24 '17 at 18:41

Expanding on my comment, let us apply Burnside's transfer theorem to give a nice and conceptual proof of this (and some more general facts).

Theorem (Burnside): Let $G$ be a group with a $p$-Sylow subgroup $P$ satisfying $P\leq Z(N_G(P))$. Then $G$ has a normal subgroup $N$ of index $|P|$ (i.e. a normal $p$-complement).

Theorem (normalizer/centralizer): Let $H$ be a subgroup of a group $G$. Then $C_G(H)$ is a normal subgroup of $N_G(H)$ and $N_G(H)/C_G(H)$ is isomorphic to a subgroup of $\operatorname{Aut}(H)$.

I will lave the proofs as exercises. The second one is a good exercise while the first one is a terrible exercise as it is way too hard (the two proofs I know of either use a lot of stuff about transfer or uses a lot of character theory).

Anyway, using these, we can now show that if $p$ is the smallest prime dividing the order of the group (and in the case at hand, we are considering $p=2$ which will certainly be smallest), and if the $p$-Sylow subgroup is cyclic (which is precisely the assumption), then $G$ has a normal $p$-complement, meaning that the elements of order not divisible by $p$ form a normal subgroup.

To apply Burnside's result here, we need to show that $P\leq Z(N_G(P))$, but this is the same as saying that $N_G(P) = C_G(P)$, and we can show that by showing that $N_G(P)/C_G(P)$ is trivial.

Now, by the normalizer/centralizer theorem, this quotient is isomorphic to a subgroup of $\operatorname{Aut}(P)$, which we know has order $\varphi(|P|)$ since $P$ is cyclic. But this number is coprime to $\frac{|G|}{|P|}$, whereas the order of $N_G(P)/C_G(P)$ must divide $\frac{|G|}{|P|}$ since $C_G(P)$ contains $P$. This precisely implies that $N_G(P) = C_G(P)$ as we wanted, which finishes the proof.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.