*Definition:* Let $G$ be a group, and let $H \leq G$ be a subgroup. We say that $H$ is ** big** in $G$ if for every intermediate subgroup $H \leq L \leq G$ there exists some $x \in L$ such that $\langle H \cup \{x\} \rangle = L$.

*Question:* Is there a big solvable subgroup in every finite group?

*Motivation:* By Theorem A in M.Aschbacher and R.Guralnik, "Solvable generation of groups and Sylow subgroups of the lower central series", in every finite group $G$ there exists a pair of conjugate solvable subgroup $H_1,H_2 \leq G$ such that $\langle H_1 \cup H_2 \rangle = G$. So if $x \in G$ is such that $xH_1x^{-1} = H_2$ then $\langle H_1 \cup \{x\} \rangle = G$. In my question I am asking for a generalization of this conclusion.

bigif it intersects every conjugacy class. For instance the triangular subgroup is big in ${\bf GL}_n(\mathbb C)$. In a finite group, there does not exist such a big subgroup. $\endgroup$20more comments