No label defined (Q4449339)

\textit{W.~Feit} and \textit{J.~G.~Thompson} [Nagoya Math. J. 21, 185-197 (1962; Zbl 0114.25602)] gave a description of all finite groups which contain a self-centralizing subgroup of order \(3\). The author extends this result to arbitrary groups. More precisely, he proves the following theorem: Let \(G\) be a group which contains a self-centralizing subgroup \(X\) of order \(3\). If the subgroup \(\langle X,X^g\rangle\) is finite for every \(g\in G\) then one of the following statements holds: (i) \(G=NN_G(X)\) for a periodic subgroup \(N\) of nilpotent length \(2\), and \(NX\) is a Frobenius group; (ii) \(G=NA\) for an elementary Abelian \(2\)-subgroup \(N\) and \(A\) is isomorphic to \(A_5\simeq\text{SL}_2(4)\); (iii) \(G\simeq\text{PSL}_2(7)\). -- As a corollary, \(G\) is locally finite. The proof is based on the coset enumeration algorithm and calculations in the system for discrete computational algebra GAP [\textit{M.~Schönert} et al., Groups, Algorithms and Programming (1997), \texttt{http://www-gap.dcs.st-and.ac.uk/\(\sim\)gap}]. The author also gives an example demonstrating that the finiteness condition on the subgroups \(\langle X,X^g\rangle\) cannot be omitted.