Semisimple periodic groups of finitary transformations (Q1317636)

Recall that a linear transformation \(g\) of a vector space \(V\) is called finitary if \(g\) acts identically on some subspace of finite dimension in \(V\). The maximal locally solvable normal subgroup in a locally finite group \(G\) is called the locally solvable radical and is denoted by \(S(G)\). If \(S(G) = 1\), a nontrivial group \(G\) is said to be semisimple. The main goal of the present paper is to prove the following two theorems. Theorem A. Let \(G\) be a group of finitary transformations and \(N\) a semisimple periodic subgroup normal in \(G\). Then \(N\) contains minimal normal subgroups in \(G\) and for any one of these subgroups \(M\) one of the following is valid: 1) \(M\) is a simple group; 2) \(M\) is representable as a direct product of finite simple nonabelian groups; 3) \(M\) is representable as a direct product of infinite simple Lie type groups of finite rank. Theorem B. Let \(G\) be an infinite simple periodic group of finitary transformations on a space over a field of characteristic \(p\). Then the following are valid: 1) if \(p = 0\), then, for each finite subgroup \(K\) of \(G\), there exists a finite quasisimple subgroup \(H\) that contains \(K\) and is such that \(K \cap Z(H) = 1\); 2) if \(p > 0\), then, for each finite subgroup \(K\) of \(G\), there exists a finite subgroup \(H\) that contains \(K\) and is such that \(H = H'\), \(H/O_p(H)\) is a quasisimple group, and \(K \cap S(H) = 1\).