$|G|=112$, prove that $G$ is solvable.

I already proved that $G$ is not simple so I know that it has normal subgroup but I don't know from what order. Another solution that I tried was looking at the sylow subgroups. In that case, if 2-sylow subgroup is normal or 7-sylow subgroup is normal then the solution is obvious, but in case that there are 7 2-sylow subgroups and 8 7-sylow subgroups, I don't know how to continue.

  • $\begingroup$ Well, what possible orders of a normal subgroup did you conclude? $\endgroup$ – Tobias Kildetoft Sep 28 '17 at 8:30
  • 1
    $\begingroup$ Consider the comjugation action of $G$ on the $7$ Sylow $2$-subgroups. The image is divisible by $7$. If it is not contained in $S_7$ then $G$ has a normal subgroup of index $2$. Otherwise the action is not faithful, and the kernel is a $2$-subgroup of $G$. Either way this reduces to showing groups of order $2^k\cdot 7$ are solvable for $k \le 3$. For $k\le 2$ this is easy. For $k=3$ see for example math.stackexchange.com/questions/353552 $\endgroup$ – Derek Holt Sep 28 '17 at 8:49

Another approach is to show that all the composition factors of $G$ are of prime order. $A_5$ is the only non-abelian simple group of order $<100$: $G$ is non abelian simple group of order $<100$ then $G\cong A_5$

Since $G$ is not simple as you've claimed, the composition factors of $G$ have order not greater than $56$. Conclude that they are all abelian, and thus cyclic of prime order.

Well... the upper bound $100$ is more than enough. You only need to show that there is no non abelian simple group of order not greater than $56$.


The number $112=2^4\cdot 7$ has prime factors $2$ and $7$. By Burnside's $p^aq^b$-theorem, all groups of such order, having only two different prime divisors, are solvable. For order $p^aq$ the proof is not difficult, see here.

In case you do not want to use Burnside's result, we already know from the other question,

Proving that a group of order $112$ is not simple

about the Sylow subgroups. For example, one possibility is that the group has a normal Sylow $7$-subgroup $N$ of order $7$. Hence the quotient has order $2^4$ and is nilpotent (since it is a $p$-group), hence solvable. Now, if $N$ and $G/N$ are solvable, so is $G$, and we are done.

  • $\begingroup$ I am not allowed to use Burnside's theorem and the solution for the sylow subgroups is quite a mess and that's exactly what I'm missing $\endgroup$ – user7080065 Sep 28 '17 at 9:03
  • $\begingroup$ But you can use the arguments from the proof for groups of order $p^aq$, which are not difficult (see the link). $\endgroup$ – Dietrich Burde Sep 28 '17 at 9:31

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.