I need help with the following:
In this paper by Michio Suzuki, it is proved that for any finite groupLet $G$, there is be a solvable subgroup $S$ in $G$ such that $G=\langle S,g^{-1}Sg \rangle$ for some $g \in G$. This theorem also implies that every finite group has a solvable subgroupwith no abelian subfactor in its composition series.
Question: Let Is $G$ be a finite group such thatobtained from simple groups by iterating semidirect products?
(Initially it was asked whether $G$ is not a product (direct, semi direct, wreath product.) of non abelian simple group. Is it true that every composition series (orgroups, but chief series$A_5\wr A_5$ was mentioned as an immediate counterexample.) of $G$ must contain at least one solvable subgroup?