A class of finite groups with abelian centralizer of an element of order 3 of type \((3,2,2)\). (Q2515183)

In this paper the author considers finite \(5'\)-groups \(G\) with a cyclic Sylow 3-subgroup \(S\) of order three such that \(C_G(S)=S\times H\), where \(H\) is elementary abelian of order 4. He shows that \(G/O_{3'}(G)\) is isomorphic to \(Z_3\), \(\Sigma_3\), \(PSL_2(7)\), \(PGL_2(7)\), \(PSL_2(13)\) or \(PGL_3(13)\). Furthermore \(O_{3'}(G)\neq 1\). In particular there is no finite simple group satisfying the assumptions. For the proof the author insists of not using the classification of the finite simple groups (among others he uses results on small groups like classification of \(3'\)-groups, groups with a self centralizing Sylow 3-subgroup of order 3, groups of sectional 2-rank four, thin groups, groups with a self centralizing elementary abelian 2-subgroup of order at most 16, groups with a Sylow 2-subgroup of order at most \(2^{10}\) and various centralizer classifications). He says that he just uses results which have been proved before 1980. Somehow the key lemma is lemma (3.2), where he determines the simple known \(5'\)-groups with a Sylow 3-subgroup of order 3 such that \(C_G(S)=S\times H\), \(H\) an elementary abelian 2-group. The proof goes by checking the known groups. Unfortunately there is no definition of known in the paper. The reviewer claims that known means groups with a Sylow 3-subgroup of order 3. But there is no quotation, where this classification can be found in the literature before 1980.