A conjugacy class as a transversal in a finite group (Q5942800)

Let \(G\) be a finite group, let \(\alpha\in\Aut(G)\) and let \(K_\alpha=\{[g,\alpha]\mid g\in G\}\), \(C_G(\alpha)=\{g\in G\mid\alpha(g)=g\}\). The author calls \(G\) an \(\alpha\)-CCP-group if \(G=K_\alpha C_G(\alpha)\). Using the classification of the finite simple groups and a range of known deep results he manages to prove the following important Theorem C. If \(G\) is an \(\alpha\)-CCP-group, then \([G,\alpha]\) is solvable. The theorem has as direct consequences Thompson's theorem on the solvability of groups admitting fpf automorphisms of prime order, Rowley's extension of Thompson's theorem asserting that \(G\) is solvable if it admits an fpf automorphism [J. Algebra 174, No. 2, 724-727 (1995; Zbl 0835.20036)] and the following result which gives the title of this paper: Theorem A. Let \(G\) be a finite group, let \(g\in G\) and let \(g^G\) denote the conjugacy class of \(g\) in \(G\). If \(g^G\) is a transversal to some subgroup \(H\) of \(G\), then \(\langle g^G\rangle\) is solvable. The following generalization of Glauberman's \(Z^*\)-theorem follows from Theorem A: Theorem B. If \(G\) is a finite group, \(g\in G\) and \((g^{-1})^Gg^G\cap C_G(g)=1\), then \(\langle g^G\rangle\) is solvable. The proof of Theorem C is very technical and based on a series of lemmas on simple groups of Lie type (this is the most difficult case in the analysis of a hypothetical counterexample by using the CFSG).