PROPERTIES OF LOCALLY CYCLIC GROUPS

Full Text

Introduction. The aim of this paper is to establish the basic properties of the locally cyclic group classes. Definition. A group is said to be locally cyclic if every finite set of its elements generates a cyclic sub- group. Example of locally cyclic groups is an additive group of rational numbers, a quasi-cyclic group. A quasi-cyclic group is a G group which is con- structed as follows: supposing a cyclic group áa1ñ of prime order p is embedded in a cyclic group áa2 ñ of order p2 , the last group, in its turn, is embedded in At first, it is necessary to distinguish the properties of periodic locally cyclic groups. Property 3. Sylow p-subgroups of periodic locally cy- clic group G are cyclic or quasi-cyclic. Evidence. Supposing that Á is a set of all p-elements of a locally cyclic group G for some prime number p. If Á is a finite set, then according to the definition of a locally cyclic group its elements generate a cyclic group. In the case if Á is an infinite set, we will prove that they form a quasi-cyclic group. Indeed, let us consider that Á is an infinite set. Let us deal with a subset a cyclic group áa3ñ of order p3 etc. The group is formed {a , a , ..., a , ...} of the set Á . Group áa , a ñ , generated 1 2 n 1 2 by combining an infinite chain of nested groups áa1ñ Ì áa2 ñ Ì ... Ì áan ñ Ì ... In other words, the quasiby the elements a1 and a2 is a cyclic p -subgroup, therefore, either áa1ñ Ê áa2 ñ or áa1ñ Í áa2 ñ . The bigger one cyclic group can be defined as root groups of a unit of of these groups is defined as áai ñ . The same idea can be prime order p , order p2 , order p3 , etc. 1 The class of periodic locally cyclic groups is con- tained in the class of layer-finite groups whose properties are described in [1]. Layer-finite groups were investigated by S. N. Chernikov [2-4], R. Baer [5], Kh. Kh. Mukhamedzhan [6], Ya. D. Polovitsky [7]. Near layer-finite groups are described in the works of the author [8-11]. As S. N. Chernikov pointed out in the mathematical encyclopedia, layer-finite groups proved to be the most studied ones among the groups with finite classes of conjugate elements. This implies the finiteness of the conjugate elements classes in periodic locally cy- clic groups. The arrangement of layer-finite groups with related classes is shown in the research paper [12]. Basic results. In this section we are going to consider the properties of locally cyclic groups. A locally cyclic group cannot be mixed, that is, it can- not contain elements of finite and infinite order simulta- neously: Property 1. Locally cyclic group can be either peri- odical or a torsion-free group. Evidence. It is obviously seen from the definition that a locally cyclic group cannot be mixed, that is, contain elements of both finite and infinite orders. Indeed, the subgroup, generated by an element of finite order and an element of infinite order, according to the definition of a locally cyclic group, must be cyclic. Thus there is a con- tradiction with the theorem on the structure of subgroups of an infinite cyclic group. It should be noted that each non-identity subgroup of an infinite cyclic group is infi- nite cyclic one. The property is proved. Property 2. Locally cyclic group is Abelian. Evidence. The validity of the statement immediately goes from the definition of a locally cyclic group. Periodic locally cyclic groups and locally cyclic torsion-free groups differ substantially according to their properties. referred to the cyclic subgroups áai1 ñ , áa3ñ . The bigger one of these groups is defined as áai2 ñ . If we continue the argumentation in the same way, we will get an increasing chain of cyclic p-subgroups: áai1 ñ Í áai2 ñ Í áai3 ñ Í ... Obviously, the union A of these subgroups is a quasi- cyclic p-group. If not all elements of the set Á are in A , then the group, generated by an element b ÎÁ \ A and an element a of the same order of A is not cyclic. A contradiction with the definition of a locally cyclic group means that all elements of the set Á are contained in A . The property is proved. Property 4. A periodic locally cyclic group decompounds into a direct product of Sylow subgroups. Obviously, the evidence of this property follows from the fact that the periodic locally cyclic group is Abelian according to the property 2. The example of periodic locally cyclic group, which is different from quasi-cyclic group, is a direct product áa1ñ´ áa2 ñ ´... of cyclic groups áa1ñ , áa2 ñ , … of different direct orders p1 , p2 , … re- spectively. Property 5. A periodic locally cyclic group decompounds into a direct product of cyclic or quasi- cyclic p-subgroups with distinct prime numbers. Evidence of this property goes from the properties 3 and 4. Locally finite groups are studied in the work of N. F. Sesekin and A. I. Starostin [13], all their Sylow- subgroups are quasi-cyclic. Property 6. Locally finite group, whose Sylow p-sub- groups are quasi-cyclic, is a complete periodic locally cyclic group. In addition to this theorem, we are going to consider the structure of a complete periodic locally cyclic group: Property 7. A complete periodic locally cyclic group decompounds into a direct product of quasi-cyclic p-subgroups with distinct prime numbers. Evidence. A complete Abelian group decompounds into a direct product of quasi-cyclic p-subgroups and an additive group of rational numbers according to the theorem 9.1.6 from [14]. Since the additive group of rational numbers is not a periodic group we obtain a property statement (validity) using property 5. The property is proved. Property 8. A complete periodic locally cyclic group is uniquely recovered from its lower layer. The evidence of this property goes from the property 7. At the same time, not every periodic locally cyclic group is uniquely recovered from its lower layer. For example, in two different periodic locally cyclic groups Property 14. A locally cyclic group can be either leaf- finite or a subgroup of additive groups of rational numbers. The evidence of this property follows from the properties 1, 11, 13. Definitions. Let us define the terms that were used in the work. A group G has a finite rank r. If r is the smallest number with the property defining that every finite generated subgroup of a group G is a part of a subgroup which contains r ¢ components ( r¢ £ r ). The lower layer of a group is the set of all its elements of prime order. A group is said to be layer-finite if the set of its elements of any given order is finite. The definitions of other terms used are standard and can be found in monographs [14; 15]. The conclusion. The main properties of locally cyclic 2 ¥ C ´ C p q and C ´ C ¥ 2 p q the lower layers are the same. groups are researched in this work. Periodic locally cyclic groups and locally cyclic torsion-free groups are Let us give one more characteristic of periodic locally cyclic groups developed by N. F. Sesekin and A. I. Sta- rostin: Property 9. Only periodic locally cyclic groups are Abelian locally finite groups, all their Sylow p-subgroups are locally cyclic [13]. Here it is necessary to give a description of a group that can be decompounded into a semidirect product of periodic locally cyclic groups: Property 10. If the group G is decompounded into a semidirect product of two periodic locally cyclic groups G = AlB , whose orders of elements are relatively prime, then the G - locally finite group, whose Sylow p-subgroups are locally cyclic, and A contain the com- mutant of the group G [13]. Let us now describe locally torsion-free cyclic groups. Locally cyclic groups are groups of the first rank. Tak- ing this into account that the following property is proved in the theorem 7.2.1 from [14]: Property 11. A local torsion-free cyclic group is isomorphic a subgroup of the additive group of rational numbers. Property 12. A complete locally cyclic torsion-free group is isomorphic in relation to the additive group of rational numbers. Evidence. A complete locally cyclic torsion-free group in compliance with the property 2 and the theorem 9.1.6 from [14] decompounds into a direct product of quasi-cyclic p-subgroups and an additive group of rational numbers. Since quasi-cyclic subgroups of the direct product are not torsion-free groups, we can see the validity of the property. The property is proved. Property 13. A periodic locally cyclic group is layer- finite. Evidence. Let us consider that G is a periodic locally cyclic group. If a1, a2 , ..., an are elements of the order m of the group G , then the subgroup H , generated by these elements, is cyclic according to the definition of a locally cyclic group. Obviously, there is not more than m -1 elements of the order m in a cyclic group. Thus, we can say that n £ m -1 and this also means that the m-layer of the group G is finite and is G is a layer- finite group. The property is proved. described separately. Various examples of such groups are given.

About the authors

V. I. Senashov

Institute of Computational Modelling of Siberian Branch of RAS; Siberian Federal University; 79, Svobodniy Av., Krasnoyarsk, 660041, Russian Federation

Email: sen1112home@mail.ru
50/44, Akademgorodok, Krasnoyarsk, 660036, Russian Federation

References

Supplementary files