The concept of an infinitely isolated subgroup was first introduced in [3] in connection with the abstract characterization of groups of type P~ (~K) over a locally finite field K of odd characteristic.It played a very important role in the solution of S. N.Chernikov's minimality problem [22,25] and occupies a central position in the structure of the theory of locally finite groups with various finiteness conditions [15,20,26].The solution of S. N. Chernikov's minimality problem in other classes of periodic groups [27][28][29] also required consideration of periodic groups with an infinitely isolated subgroup.As in the case of locally finite groups [22], here it is necessary to consider the situation where an infinitely isolated subgroup is at the same time strongly embedded. In the present paper this situation is studied "in its pure form," i.e., we consider the class of periodic groups with a strongly embedded, infinitely isolated subgroups. It is shown by examples that this class of groups is rather broad and includes groups that are not locally finite. A periodic group with a strongly embedded, infinitely isolated subgroup can be either simple or nonsimple. The authors have found conditions under which such a group has an abelian normal subgroup (Theorems i and 2). These nonsimplicity criteria have applications to the study of groups with various finiteness conditions.The main ideas of this paper and also the proof of Theorem 2 are due to V. P. Shunkov, and the proofs of Theorem i and Lemmas 1-4 to A. N. Izmailov; Lemma 5 was proved jointly.
i. Definitions and Known ResultsWe will refer to the definitions and known results stated in this section as propositions with the appropriate number. i. A (finite or infinite group) will be called a group of even order if it contains Involutions and a group of odd order if it contains no involutions. 2. A group is called a Chernikov group if it is a finite extension of a direct product of a finite number of quasicyclic subgroups [i]. 3. A group is called weakly conjugately biprimitively finite if any two conjugate elements of prime order generate a finite subgroup.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.