×

Centralizers of semisimple subgroups in locally finite simple groups. (English) Zbl 0840.20022

The locally finite simple groups (LFS-groups) are usually studied in two classes: infinite linear LFS-groups and infinite nonlinear LFS-groups. The author of this paper is mainly interested in nonlinear LFS-groups.
Definition 1. Let \(G\) be a countably infinite LFS-group and \(F\) be a finite subgroup of \(G\). The group \(F\) is called a \(K\)-semisimple subgroup of \(G\), if \(G\) has a Kegel sequence \(K= (G_i, M_i)_{i\in N}\) such that \((|M_i|, |F|)=1\), \(M_i\) soluble for all \(i\) and if \(G_i/ M_i\) is a linear group over a field of characteristic \(p_i\), then \((p_i,|F|)=1\). Definition 2. A finite abelian group \(F\) in a finite simple group \(G\) of classical or alternating type is called a nice group if whenever \(G\) is of type \(B_l\) or \(D_l\), then a Sylow 2-subgroup of \(F\) is cyclic. If \(G\) is alternating or of type \(A_l\) or \(C_l\), then every abelian subgroup is a nice group. In particular every abelian group of odd order is a nice group. A finite abelian group in a countably infinite LFS-group \(G\) is called a \(K\)-nice group if \(F\) is a nice group in almost all Kegel components of a Kegel sequence \(K\) of \(G\).
The main results (theorems 1 and 2) are concerned with the following question of B. Hartley [J. Aust. Math. Soc., Ser. A 49, No. 3, 502-513 (1990; Zbl 0728.20034)]: Is it the case that in a nonlinear LFS-group the centralizer of every finite subgroup is infinite? Does the centralizer of every finite subgroup involve an infinite nonlinear simple group? Theorem 1. If \(F\) is a \(K\)-nice abelian subgroup and \(K\)-semisimple in a nonlinear LFS-group \(G\), then \(C_G (F)\) has a series of finite length in which the factors are either non-abelian simple or locally soluble moreover one of the factors is nonlinear simple. In particular \(C_G (F)\) is an infinite group. Theorem 2. Suppose that \(G\) is infinite nonlinear and every finite set of elements of \(G\) lies in a finite simple group. Then (i) There exist infinitely many abelian subgroups \(F\) of \(G\) and a locally system \(L\) of \(G\) consisting of simple subgroups such that \(F\) is nice in every member of \(L\). (ii) There exists a function \(f\) from natural numbers to natural numbers independent of \(G\) such that \(C= C_G (F)\) has a series of finite length in which at most \(f(|F|)\) factors are simple non-abelian groups for any \(F\) as in (i). Furthermore \(C\) involves a nonlinear simple group.

MSC:

20E32 Simple groups
20F50 Periodic groups; locally finite groups
20E07 Subgroup theorems; subgroup growth
20E25 Local properties of groups
20D05 Finite simple groups and their classification

Citations:

Zbl 0728.20034
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] V.V. Belyaev , Locally finite Chevalley groups, Studies in group theory , Acad. of Sciences of the U.S.S.R. , Urals Scientific Centre ( 1984 ). MR 818993 | Zbl 0587.20019 · Zbl 0587.20019
[2] A.V. Borovik , Embeddings of finite Chevalley groups and periodic linear groups, Sibirsky . Mat. Zh. , 24 ( 1983 ), pp. 26 - 35 . MR 731040 | Zbl 0551.20026 · Zbl 0551.20026 · doi:10.1007/BF00970309
[3] R.W. Carter , Simple Groups of Lie Type , John Wiley , London ( 1972 ). MR 407163 | Zbl 0248.20015 · Zbl 0248.20015
[4] R.W. Carter , Finite Groups of Lie Type , John Wiley and Sons ( 1985 ). MR 794307 | Zbl 0567.20023 · Zbl 0567.20023
[5] B. Hartley , Centralizing properties in simple locally finite groups and large finite classical groups , J. Austral. Math. Soc. Series A , 49 ( 1990 ), pp. 502 - 513 . MR 1074516 | Zbl 0728.20034 · Zbl 0728.20034
[6] B. Hartley - G. Shute , Monomorphisms and direct limits of finite groups of Lie type , Quart. J. Math. Oxford ( 2 ) 35 ( 1984 ), pp. 49 - 71 . MR 734665 | Zbl 0547.20024 · Zbl 0547.20024 · doi:10.1093/qmath/35.1.49
[7] B. Hartley - M. Kuzucuoglu , Centralizers of elements in locally finite simple groups , Proc. London Math. Soc. ( 3 ) ( 62 ) ( 1991 ), pp. 301 - 324 . MR 1085643 | Zbl 0682.20020 · Zbl 0682.20020 · doi:10.1112/plms/s3-62.2.301
[8] O.H. Kegel - B. Wehrfritz , Locally Finite Groups , North-Holland , Amsterdam ( 1973 ). MR 470081 | Zbl 0259.20001 · Zbl 0259.20001
[9] M Kuzucuoğlu , Barely transitive permutation groups , Thesis University of Manchester ( 1988 ). Zbl 0694.20004 · Zbl 0694.20004 · doi:10.1007/BF01191686
[10] T.A. Springer - R. Steinberg , Conjugacy Classes in Seminar on Algebraic Groups and Related Finite Groups , Lecture Notes in Math. , Vol. 131 , Springer-Verlag , Berlin , Heidelberg , New York ( 1970 ). MR 268192 | Zbl 0249.20024 · Zbl 0249.20024
[11] T.A. Steinberg , Endomorphism of Algebraic Groups , Mem. Amer. Math. Soc. , No 80 ( American Math. Soc. , Providence, R.I. , 1968 ). Zbl 0164.02902 · Zbl 0164.02902
[12] S. Thomas , The classification of the simple periodic linear groups , Arch. Math. , 41 ( 1983 ) pp. 103 - 116 . MR 719412 | Zbl 0518.20039 · Zbl 0518.20039 · doi:10.1007/BF01196865
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.