Locally finite \(Syl^*_ p\)-groups (Q799803)

This paper is a contribution to the study of locally finite groups satisfying Min-2, the minimal condition on 2-subgroups. Such a group G is called 2-fine, if the Sylow 2-subgroups of \(G/0_{2'2}(G)\) are finite. Conditions for a locally finite group with Min-2 to be 2-fine are important because they often enable problems about such groups to be reduced to the case when the Sylow 2-subgroups are finite. The following theorem is proved here. Theorem 2. Let G be a locally finite group with Min-2 and 2-size (1,n). Then either G is 2-fine, or \(\bar G=G/0(G)\) contains a normal subgroup \(\bar N\) such that (1) \(\bar G/\bar N\) is a 2'-group, (2) \(\bar N\cong H\times PSL(2,F)\) or \(\bar N \cong H\times SL(2,F)\) or \(\bar N\cong H\leftthreetimes SL(2,F)\) (central product), where H has finite Sylow 2-subgroups and F is a locally finite field of odd characteristic. Now a locally finite p-group L satisfying Min-p for a given prime p, contains a maximal p-subgroup P that contains a conjugate of every finite p-subgroup of L. In the terminology of this paper, these subgroups form \(Syl^*_ p(G)\). The isomorphism type of P is uniquely determined. The pair (rank \(P^ 0,| P/P^ 0|),\) where \(P^ 0\) is the maximal divisible subgroup of P, is called the p-size of G. Theorem 2 is relevant to a paper of \textit{A. O. Asar} [J. Algebra 59, 47- 55 (1979; Zbl 0407.20028)], in which the following theorem was proved. Theorem 2: Let G be a locally finite group with an infinite maximal 2- subgroup S. If S contains an involution with Chernikov centralizer, then G is 2-fine. Now the group G here automatically satisfies Min-2, and the case when G has 2-size (1,n) is an easy consequence of Theorem 2 of the present paper. Asar's proof appears to be incomplete for this case, as it uses his Lemma 7, to which the symmetric group \(S_ 4\) is a counterexample. Theorem 1 of the present paper is a technical result enabling results about strongly closed p-subgroups of finite groups to be used in the locally finite case. It runs as follows. Let G be a locally finite group and S be a maximal p-subgroup of G that contains a conjugate of every finite p-subgroup of G. Let M be a subgroup of S that is strongly closed in S with respect to G. If \(\Sigma\) is a local system of finite subgroups of G, then for each \(U\in\Sigma \) there exists a pair \((M_ U,S_ U)\) of subgroups of U satisfying (1) \(M\cap U\subseteq M_ U\subseteq S_ U\in Syl_ p(U)\), (2) \(M_ U\) is strongly closed in \(S_ U\) with respect to U, (3) M contains a conjugate in G of \(M_ U\). If \(N_ U\) is the normal closure of \(M_ U\) in U, then \(N_{U_ 1}\subseteq N_{U_ 2}\) whenever \(U_ 1\subseteq U_ 2\) and \(U_ 1,U_ 2\in\Sigma \). This is used in the proof of Theorem 2.