I want to know a proof of this fact: "every simple group has a minimal simple group as a subquotient." (If $H$ and $K$ are two subgroups of $G$ s.t. $H\lhd K$, then $\frac{K}{H}$ is called a subquotient of $G$) many thanks.
$\begingroup$
$\endgroup$
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
1
If every proper subgroup of G is soluble, then it is done. So there is a non-soluble subgroup H with every subgroup soluble. Let K be maximal normal subgroup of H, then H/K is a minimal simple group.
-
$\begingroup$ So do not need $G$ itself to be simple. It is enough that $G$ is not solvable (allowing the possibility $H = G$). $\endgroup$ Commented Jan 2, 2013 at 8:01