Article contents
Centralizing properties in simple locally finite groups and large finite classical groups
Published online by Cambridge University Press: 09 April 2009
Abstract
The following question is discussed and evidence for and against it is advanced: is it true that if F is an arbitrary finite subgroup of an arbitrary non-linear simple locally finite group G, then CG(F) is infinite? The following points to an affirmative answer.
Theorem A. Let F be an arbitrary finite subgroup of a non-linear simple locally finite group G. Then there exist subgroups D ◃ C ≤ G such that F centralizes C/D, F∩C ≤ D, and C/D is a direct product of finite alternating groups of unbounded orders. In particular, F centralizes an infinite section of G.
Theorem A is deduced from a “local” version, namely
Theorem B. There exists an integer valued function f(n, r) with the following properties. Let H be a finite group of order at most n, and suppose that H ≤ S, where S is either an alternating group of degree at least f = f(n, r) or a finite simple classical group whose natural projective representation has degree at least f. Then there exist subgroups D ◃ C ≤ S such that (i) [H, C] ≤ D, (ii) H ∩ C ≤ D, (iii) C/D ≅ Alt(r), (iv) D = 1 if S is alternating, and D is a p-group of class at most 2 and exponent dividing p2 if S is a classical group over a field of characteristic p.
The natural “local version” of our main question is however definitely false.
Proposition C. Let p be a given prime. Then there exists a finite group H that can be embedded in infinitely many groups PSL(n, p) as a subgroup with trivial centralizer.
MSC classification
- Type
- Research Article
- Information
- Journal of the Australian Mathematical Society , Volume 49 , Issue 3 , December 1990 , pp. 502 - 513
- Copyright
- Copyright © Australian Mathematical Society 1990
References
- 4
- Cited by