4
$\begingroup$

Let $G$ be a finite group with commutator subgroup $G'$. Let $p$ be a prime number. Then $p \nmid |G'|$ if and only if $G$ has an abelian Sylow $p$-subgroup $P$ and normal $p$-complement $N$ (and in this case $G=N \rtimes P$ ).

This is surely a standard result, but I can't seem to find a proof written down anywhere. I have worked out a straightforward proof below, but if someone could provide a good reference to a proof (so that I can just cite it in a paper I'm writing), that would be great.

Proof: Suppose that $G$ has an abelian Sylow $p$-subgroup $P$ with normal complement $N$. Then $P \simeq G/N$ is abelian so $G' \leq N$. But $p \nmid |N|$ so $p \nmid |G'|$. Suppose conversely that $p \nmid |G'|$. Let $P$ be a Sylow $p$-subgroup of $G$ and let $\theta:G \rightarrow G/G'$ be the natural projection. Then $P \cap G'$ is trivial and so $\theta$ restricted to $P$ is an isomorphism. But $G/G'$ is abelian, so $P$ is abelian. Since $G/G'$ is abelian, there exists a subgroup $M$ such that $G/G' = \theta(P) \times M$. Let $\psi:G/G' \rightarrow \theta(P)$ be the natural projection. Then put $N:=\ker(\psi \circ \theta)$.

$\endgroup$
2
  • 3
    $\begingroup$ This is obvious, so you do not really need a reference. You can just say (if you are writing a paper) that the result is most probably well known and you give a proof only for the sake of completeness. $\endgroup$
    – user6976
    Mar 9, 2012 at 14:49
  • 2
    $\begingroup$ Yes, it's an elementary application of isomorphism theorems- the second part of your proof could be shortened. $\endgroup$ Mar 9, 2012 at 15:52

1 Answer 1

2
$\begingroup$

The second part may be shorted as follows: Let $P$ be a sylow $p$-subgroup of $G$. Since $(p, |G'|)=1$, $PG'/G'$ is a Sylow $p$-subgroup of the abelian group $G/G'$, and then $G/G'=PG'/G' \times N/G'$. Thus $G=PN$ and $P \cap N=1$.

$\endgroup$
2
  • $\begingroup$ @Henri: The hypothesis that the prime $p$ divides $|G|$ is crucial in the statement of the result. It should be started something like as follows: Let $G$ be a finite group and $p$ be a prime dividing the order of $G$. $\endgroup$ Mar 30, 2012 at 7:28
  • $\begingroup$ @Alireza: good point - I was being a bit sloppy! $\endgroup$ May 4, 2012 at 15:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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