Further solvable analogues of the Baer-Suzuki theorem and generation of nonsolvable groups. (Q1758181): Difference between revisions

In a previous paper [Trans. Am. Math. Soc. 362, No. 11, 5909-5946 (2010; Zbl 1214.20025)] the author proved that an element \(x\) of prime order \(p\geq 5\) in a finite group \(G\) is not contained in the solvable radical of \(G\) if and only if there exists \(g\in G\) such that \(\langle x,x^g\rangle\) is not solvable. The crucial case in the proof was when \(G\) is almost simple. In the present paper the author proves other similar results for almost simple groups. For example if \(x\in G\) has prime order \(p\geq 5\), then there exists an involution \(y\) such that \(\langle x,y\rangle\) is not solvable. Moreover, if \(x\) is an involution then there exist three conjugates of \(x\) that generate a nonsolvable group, unless \(x\) belongs to a short list of exceptions, which are described explicitly. The author also proves that if \(x\) has order 6 or 9, then there exist two conjugates that generate a nonsolvable group.