Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Lets look at this exercise:

$G$ is a finite group and $p$ is a prime that divides $|G|$. If for every element $x\in G$ such that $g.c.d.(o(x),p)=1$, we have that $g.c.d.\left([G:C_G(x)],p\right)=1$, prove that $G$ is the direct product of a $p$-Sylow with a group that has order coprime with $p$.

(notation: clearly $C_G(\cdot)$ is the centralizer in $G$)

If $|G|=p^rm$ ($p$ is coprime with $m$), to solve the exercise, I think that it is enough to find a normal subgroup of $G$ that has order $m$ and such that centralize a $p$-Sylow.

share|cite|improve this question
Where is this problem from? – Dane Oct 27 '12 at 15:54
It is from an exam covering the finite group theory. – Dubious Oct 27 '12 at 16:22
Is it from an exam you are currently taking? Because then you should be solving it yourself... – Benjamin Dickman Oct 28 '12 at 17:42
It is an old problem, and I'm trying to solve it. – Dubious Oct 28 '12 at 19:13
no the p-Sylow is not abelian – Dubious Oct 31 '12 at 15:43
up vote 2 down vote accepted

I'd translate your condition on $G$ to "every $p'$-element centralizes some $p$-Sylow subgroup". As all $p$-Sylow subgroups are conjugate, this is equivalent to saying that every $p'$-element has a conjugate lying in the centralizer of a fixed $p$-Sylow subgroup $S$.

For finite groups the only subgroup intersecting each conjugacy class is the whole group (see

So if you can show that the normalizer $N_G(S)$ contains a conjugate to every element of $G$ that has order a multiple of $p$, you know that $S$ is normal in $G$. Then by Schur-Zassenhaus there exists a $p'$-subgroup $H$ such that $G = S\rtimes H$. But as $H$ centralizes $S$ by the assumptions, the product is direct.

To close the gap, by Sylow's theorem it is enough to show that given an element $x \in G$ of order divisible by $p$ it normalizes some $p$-Sylow subgroup. Write $x = y\cdot z$ with $y$ a $p$-element, $z$ a $p'$-element and $y$ and $z$ commuting (look at $\langle x \rangle$ if you are unsure about the existence of such a decomposition). If $z=1$ then $x$ is contained in some $p$-Sylow subgroup. Otherwise the centralizer of $z$ contains a $p$-Sylow $T$ that wlog contains $y$. As $z$ centralizes $T$ it also normalizes it, and we are done.

share|cite|improve this answer
very well, thanks! However I found previously, another but longer solution (it is very similar to yours). I will post my solution for completenes – Dubious Oct 31 '12 at 16:06
@Galoisfan: You can even streamline my proof a little by unifying the argument that every element normalizes some Sylow subgroup. – j.p. Oct 31 '12 at 19:01

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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