On the Taketa theorem (Q1922474)

Let \(G\) be a finite group and \(\text{Irr}(G)\) be the set of all the complex irreducible characters of \(G\). For a positive integer \(k\) the author defines an \(M_k\)-group to be a group \(G\) such that for every \(\chi\in\text{Irr}(G)\) there exists a subgroup \(H\) of \(G\) and \(\lambda\in\text{Irr}(H)\) with \(\lambda(1)\geq k\) and \(\chi=\lambda^G\). According to a theorem of Taketa every \(M_1\)-group, which is known as \(M\)-group, is solvable. Therefore it seems that the above definition is a reasonable generalization of Taketa's theorem and the author has already shown that \(M_2\)-groups are solvable [Proc. Am. Math. Soc. 123, No. 11, 3263-3268 (1995)]. In this paper the author shows that \(M_3\)-groups are also solvable which was conjectured in the above paper. Moreover, he shows that an \(M_4\)-group is either solvable or modulo its solvable radical is isomorphic to the alternating group on 5 letters.