Local characterizations of periodic simple groups of finitary transformations (Q1346893): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:01, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Local characterizations of periodic simple groups of finitary transformations |
scientific article |
Statements
Local characterizations of periodic simple groups of finitary transformations (English)
0 references
20 April 1995
0 references
A subgroup \(H\) of a group \(G\) is called inert if, for every \(g\in G\), the intersection \(H\cap H^g\) has finite index in \(H\). The group \(G\) itself and any of its finite subgroups are the simplest examples of inert subgroups in \(G\). Below we call these subgroups trivial. It was proved by the author that a countable, locally finite, simple group \(G\) is isomorphic to a group of Lie-type if and only if every inert subgroup in \(G\) is trivial. This result gave rise to the following question: What is the structure of a nontrivial inert subgroup of a simple group? Clearly every proper inert subgroup of a simple group is residually finite. But this property is not the only specific feature of their structure. It was shown that for every proper inert subgroup \(H\) of a locally finite simple group \(G\), one of the following statements is true. 1) The group \(H\) is locally normal; 2) There are no finite nontrivial normal subgroups in \(H\); moreover, there exists a prime number \(p\) such that \(O_p (H)\neq 1\) and the quotient group \(H/ O_p (H)\) is locally normal; 3) There are no finite nontrivial normal subgroups in \(H\) and the locally nilpotent radical of \(H\) is trivial, while the locally solvable radical \(S(H)\) of \(H\) is not; the quotient group \(H/ S(H)\) is locally normal; 4) There are no finite nontrivial normal subgroups in \(H\), and \(S(H)=1\). In this paper we consider simple groups whose proper inert subgroups are all of types 1) or 2). To formulate the results obtained, we need the following definition: a linear transformation \(g\) of a vector space \(V\) is called finitary if \(g\) acts identically on some subspace of finite codimension in \(V\). A group \(G< GL(V)\) is said to be a group of finitary transformations (of \(V\)) if each element in \(G\) is a finitary transformation (of \(V\)). Theorem 1. If \(G\) is a countable, locally finite, simple group, then the following conditions are equivalent: 1) \(G\) is isomorphic to a group of finitary transformations; 2) there exists a prime number \(p\) such that for every proper inert subgroup \(H\) in \(G\), the quotient group \(H/ O_p (H)\) is locally normal; 3) every proper inert subgroup whose locally solvable radical is trivial is locally normal. Theorem 6. For a locally finite simple group \(G\), the following conditions are equivalent: 1) \(G\) is isomorphic to a finitary transformation group; 2) every countable, semisimple, residually finite subgroup of \(G\) contains a finite nontrivial normal subgroup; 3) every semisimple residually finite subgroup of \(G\) is locally normal.
0 references
finite subgroups
0 references
inert subgroups
0 references
countable locally finite simple groups
0 references
groups of Lie-type
0 references
locally nilpotent radical
0 references
locally solvable radical
0 references
group of finitary transformations
0 references