A note on the thin finite simple groups (Q1081692): Difference between revisions

The main result of the paper under review is the following Theorem A. Let G be a finite group of characteristic 2 type, S a Sylow 2-subgroup of G, and assume that every 2-local subgroup containing S is solvable and has cyclic Sylow subgroups for all odd primes. Then one of the following holds: (A-1) S is contained in subgroups X and Y of G such that \(| X:S|\) and \(| Y:S|\) are powers of odd primes q and r, respectively, and Sylow q-subgroups of X and Sylow r-subgroups of Y are cyclic and nontrivial; and no non-identity subgroups of S are normal both in X and in Y; and \(C_ X(O_ 2(X))\subseteq O_ 2(X)\) and \(C_ Y(O_ 2(Y))\subseteq O_ 2(Y)\). (A-2) S is contained in a unique maximal 2-local subgroup of G. Theorem B. Let G be finite group of characteristic 2 type and assume that a Sylow 2-subgroup S of G is contained in a unique maximal 2-local subgroup N of G and that every 2-local subgroup of G is solvable and has cyclic Sylow subgroups for all odd primes. Then N is a (not necessarily proper) strongly embedded subgroup of G unless S is dihedral, semidihedral, or isomorphic to a Sylow 2-subgroup of \(Aut(Sp_ 4(2))\).