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

Show: all $p$-Sylowgroups are normal subgroups $\implies$ group $G$ is solvable.

I know that all subgroups of the different $p$-Sylowgroups are solvable, but do not know if this helps.

Other idea is to show that all $p$-Sylowgroups are solvable and that the factor groups are solvable as well, then it follows, that $G$ is solvable. But I don't know why $p$-Sylowgroups should be solvable..

share|cite|improve this question
Even stronger: the group's nilpotent and then, obviously, solvable. – DonAntonio Jun 4 '13 at 15:26
I believe the question is reduced to this one:… -- Ben's answer works well with DonAntonio's. – Jack Schmidt Jun 4 '13 at 16:45

Here's a hint:

If two subgroups $H$ and $K$ are normal and intersect precisely in $\{e\}$, then $HK = KH = H \times K$. What is the intersection of a Sylow $p$-subgroup and a Sylow $q$-subgroup for different $p$ and $q$?

share|cite|improve this answer
I think your hint is a bit misleading. It is possible that $H_i \trianglelefteq G$ and $G = H_1 H_2 \ldots H_k$ and $H_i \cap H_j = 1$ for $i \neq j$, yet $G$ is not isomorphic to $H_1 \times H_2 \times \ldots \times H_k$. For more than two normal subgroups $H_i \trianglelefteq G$ with $G = H_1 H_2 \ldots H_k$, we have that $G$ is a direct product of the $H_i$ when $H_i \cap H_1 H_2 \ldots H_{i-1} H_{i+1} \ldots H_k = 1$ for all $i$. – Mikko Korhonen Jun 4 '13 at 16:00
@m.k.: I assume the next step is $H_1$ is a normal $\{p,q\}$-subgroup and $K_1$ a normal $r$-subgroup, so you again get $H_1 \times K_1 = (H \times K) \times K_1$ etc. – Jack Schmidt Jun 4 '13 at 16:37

Try to prove by induction the following easy

Claim: is $\;G\;$ is a finite $\,p$-group, say $\,|G|=p^n\;$ , then

$$\forall 0\le k\le n\;\;\exists\,H_k\lhd G\;\;s.t.\,\,|H_k|=p^k$$

With the above you're done since then $\,1\lhd H_1\lhd\ldots\lhd H_n=G\;$ is an abelian series for $\,G\,$ ...

share|cite|improve this answer

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.