CC BY
39
UDC 512.54
Siberian Journal of Science and Technology. 2017, Vol. 18, No. 2, P. 290-293 PROPERTIES OF LOCALLY CYCLIC GROUPS V. I. Senashov
Institute of Computational Modelling of Siberian Branch of RAS 50/44, Akademgorodok, Krasnoyarsk, 660036, Russian Federation Siberian Federal University 79, Svobodniy Av., Krasnoyarsk, 660041, Russian Federation E-mail: [email protected]
Locally cyclic group is a group every finite set of elements of which generates a cyclic subgroup. We give examples of periodic locally cyclic groups and locally cyclic torsion-free groups. Properties of locally cyclic groups are studied. A locally cyclic group cannot be mixed, that is, it cannot contain elements of finite and infinite order simultaneously. A locally cyclic group is Abelian. By their properties periodic locally cyclic groups and locally cyclic torsion-free groups are distinguished. The Sylow subgroups of a periodic locally cyclic group are cyclic or quasi-cyclic. A periodic locally cyclic group decomposes into a direct product of Sylow subgroups. By N. F. Sesekin and A. I. Starostin the following theorem is proved: a locally finite group, all Sylow p-subgroups of which are quasi-cyclic, is a complete periodic locally cyclic group. Here, in addition to this theorem, we consider the structure of a complete periodic locally cyclic group. A complete periodic locally cyclic group decomposes into a direct product of quasi-cyclic subgroups with distinct prime numbers. A complete periodic locally cyclic group is uniquely reconstructed by its lower layer. In this article an example is given of the fact that an arbitrary periodic locally cyclic group is not unique reconstructed by its lower layer. A torsion-free locally cyclic group is isomorphic to a subgroup of the additive group of rational numbers. A periodic locally cyclic group is layer-finite, that is a number of it's elements of each order is finite. A locally cyclic group can be either a layer-finite or a subgroup of additive groups of rational numbers. The results can be applied when encoding information in space communications.
Keywords: periodic group, locally cyclic group, quasi-cyclic group, complete group, layer finiteness
Сибирский журнал науки и технологий. 2017. Т. 18, № 2. С. 290-293 СВОЙСТВА ЛОКАЛЬНО-ЦИКЛИЧЕСКИХ ГРУПП В. И. Сенашов
Институт вычислительного моделирования СО РАН Российская Федерация, 660036, г. Красноярск, Академгородок, 50/44
Сибирский федеральный университет Российская Федерация, 660041, г. Красноярск, просп. Свободный, 79 E-mail: [email protected]
Локально-циклическая группа - это группа, всякое конечное множество элементов которой порождает циклическую подгруппу. Приводятся примеры периодических локально-циклических групп и локально-циклических групп без кручения. Изучаются свойства локально-циклических групп. Локально-циклическая группа не может быть смешанной, т. е. она не может содержать одновременно элементы конечного и бесконечного порядка. Локальная-циклическая группа является абелевой. По своим свойствам различаются периодические локально-циклические группы и локально-циклические группы без кручения. Силовские подгруппы периодической локально-циклической группы являются циклическими или квазициклическими. Периодическая локально-циклическая группа разлагается в прямое произведение силовских подгрупп. Н. Ф. Сесекиным и А. И. Старостиным доказана теорема: локально-конечная группа, все силовские p-подгруппы которой квази-цикличны, является полной периодической локально-циклической группой. Здесь в дополнение к этой теореме мы рассмотрим структуру полной периодической локально-циклической группы. Полная периодическая локально-циклическая группа разлагается в прямое произведение квазициклических р-подгрупп по различным простым числам р. Полная периодическая локально-циклическая группа единственным образом восстанавливается по своему нижнему слою. Приводится пример того, что произвольная периодическая локально-циклическая группа не единственным образом восстанавливается по своему нижнему слою. Локальная циклическая группа без кручения изоморфна некоторой подгруппе аддитивной группы рациональных чисел. Периодическая локально-циклическая группа слойно конечна, т. е. в ней конечно число элементов каждого порядка. Локально-
циклическая группа может быть либо слойно конечной, либо подгруппой аддитивной группы рациональных чисел. Результаты могут найти применение при кодировании информации, жпользующейся в сеансах космической связи.
Ключевые слова: периодическая группа, локально-циклическая группа, квазициклическая группа, полная группа, слойная конечность.
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 subgroup. Example of locally cyclic groups is an additive group of rational numbers, a quasi-cyclic group.
A quasi-cyclic group isa G group which is constructed as follows: supposing a cyclic group (al) of prime order p is embedded in a cyclic group (a2) of order p2 , the last group, in its turn, is embedded in a cyclic group (a3) of order p3 etc. The group is formed by combining an infinite chain of nested groups (a1)c(a2)c...c(an)c... In other words, the quasi-cyclic group can be defined as root groups of a unit of prime order p, order p2, order p3, etc.
The class of periodic locally cyclic groups is contained 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 cyclic 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 cannot contain elements of finite and infinite order simultaneously:
Property 1. Locally cyclic group can be either periodical 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 contradiction 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 infinite 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.
At first, it is necessary to distinguish the properties of periodic locally cyclic groups.
Property 3. Sylow p-subgroups of periodic locally cyclic group G are cyclic or quasi-cyclic.
Evidence. Supposing that 3 is a set of all p-elements of a locally cyclic group G for some prime number p. If 3 is a finite set, then according to the definition of a locally cyclic group its elements generate a cyclic group. In the case if 3 is an infinite set, we will prove that they form a quasi-cyclic group. Indeed, let us consider that 3 is an infinite set. Let us deal with a subset {a1,a2, ...,an, ...}of the set 3. Group (a1,a2), generated by the elements a1 and a2 is a cyclic p -subgroup, therefore, either (a1 )a(a2) or (a1 )c(a2). The bigger one of these groups is defined as < ai1). The same idea can be referred to the cyclic subgroups (a^), (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:
a )E< a2 )c< a3 )c...
Obviously, the union A of these subgroups is a quasi-cyclic p-group. If not all elements of the set 3 are in A , then the group, generated by an element b e 3 \ 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 3 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)x(a2 )x... of cyclic groups <a1), (a2), ... of different direct orders p1, p2, ... respectively.
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
C 2 x C „ and C „ x C 2 the lower layers are the same.
p q p q
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 = AXB, whose orders of elements are relatively prime, then the G - locally finite group, whose Sylow p-subgroups are locally cyclic, and A contain the commutant of the group G [13].
Let us now describe locally torsion-free cyclic groups.
Locally cyclic groups are groups of the first rank. Taking 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.
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 groups are researched in this work. Periodic locally cyclic groups and locally cyclic torsion-free groups are described separately. Various examples of such groups are given.
Acknowledgments. This work was supported by the grant of the Siberian Federal University (Project - Algebra-logical structures and complex analysis).
References
1. Senashov V. I. Sloyno konechnyye gruppy [Layer-finite groups]. Novosibirsk, Nauka Publ., 1993, 159 p.
2. Chernikov S. N. [On special p-groups]. Mat. sb. 1950, Vol. 27 (69), P. 185-200 (In Russ.).
3. Chernikov S. N. [Groups with finite classes of conjugate elements]. DAN SSSR. 1957, Vol. 114, P. 11771179 (In Russ.).
4. Chernikov S. N. [On layer finite groups]. Mat. sb. 1958, Vol. 45 (87), P. 415-416 (In Russ.).
5. Baer R. [Finiteness properties of groups]. Duke Math. J. 1948, Vol. 15, P. 1021-1032.
6. Mukhammedzhan Kh. Kh. [On groups with ascending central series]. Mat. sb. 1951, Vol. 28 (70), P. 201218 (In Russ.).
7. Polovitskii Ya. D. [Layer-extreme group ]. Dokl. AN SSSR. 1960, No. 3 (134), P. 533-535 (In Russ.).
8. Senashov V. I. [Structure of Almost Layer-Finite Groups]. AMSE Transactions, Advances in Modeling and Analysis. 2011, Vol. 48, No. 1, P. 28-38.
9. Senashov V. I. [Properties of a class of almost layer-finite groups and their characterization]. Inf. tekhnologii i mat. modelirovaniye: izbr. stat 'i VIII Nauchnoy internet-konferentsii s mezhdunarodnym uchastiyem [Inf. Technology and math. Modeling: fav. Article VIII of the Internet scientific conference with international participation]. Krasnoyarsk. 2016, P. 116-140 (In Russ.).
10. Senashov V. I. [Characterizations of almost layer-finite groups]. Reshetnevskiye chteniya [Reshetnev's readings]. Part 2. 2016, P. 107 (In Russ.).
11. Senashov V. I. [Characterizations of Layer-Finite Groups and Their Extensions]. Vestnik SFU. 2009, Vol. 58, No. 3, P. 279-287 (In Russ.).
12. Senashov V. I. [Mutual relations of almost layered finite groups with close classes]. Vestnik SibGAU. 2014. Vol. 15, No. 1, P. 76-79 (In Russ.).
13. Sesekin N. F., Starostin A. I. [On a class of periodic groups]. Uspekhi Matematicheskikh Nauk. 1954, Vol. 9, No. 4 (62), P. 225-228 (In Russ.).
14. Kargapolov M. I., Merzlyakov Yu. I. Osnovy teorii grupp [Fundamentals of group theory]. Moscow, Nauka Publ., 1982, 288 p.
15. Kurosh A. G. Teoriya grupp [Theory of Groups]. Moscow, Nauka Publ., 1967, 648 p.
Библиографические ссылки
1. Сенатов В. И. Слойно конечные группы. Новосибирск : Наука, 1993. 158 с.
2. Черников С. Н. О специальных p-группах // Мат. сб. 1950. Т. 27(69). С. 185-200.
3. Черников С. Н. О группах с конечными классами сопряженных элементов // Докл. АН СССР. 1957. Т. 114. С. 1177-1179.
4. Черников С. Н. О слойно конечных группах // Мат. сб. 1958. Т. 45(87). С. 415-416.
5. Baer R. Finiteness properties of groups // Duke Math. J. 1948. Vol. 15. P. 1021-1032.
6. Мухаммеджан Х. Х. О группах с возрастающим центральным рядом // Мат. сб. 1951. Т. 28 (70). С. 201-218.
7. Половицкий Я. Д. Слойно экстремальные группы // Докл. АН СССР. 1960. № 3 (134). С. 533-535.
8. Senashov V. I. Structure of Almost Layer-Finite Groups // AMSE Transactions, Advances in Modelling and analysis. 2011. Vol. 48, № 1. P. 28-38.
9. Сенатов В. И. Свойства класса почти слойно конечных групп и их характеризации // Инф. технологии и мат. моделирование : избр. ст. VIII науч. интер-нет-конф. с междунар. участием / Сиб. гос. аэрокос-мич. ун-т ; Ун-т Гвадалахары. Красноярск. 2016. С. 116-140.
10. Сенатов В. И. Характеризации почти слойно конечных групп // Рететневские чтения / СибГАУ. 2016. Ч. 2. С. 107.
11. Senashov V. I. Сharacterizations of Layer-Finite Groups and Their Extensions // Вестник СФУ. 2009. № 3 (58). С. 279-287.
12. Сенатов В. И. Взаимоотнотения почти слой-но конечных групп с близкими классами // Вестник СибГАУ. 2014. № 1 (15). С. 76-79.
13. Сесекин Н. Ф., Старостин А. И. Об одном классе периодических групп // Успехи математических наук. 1954. Вып. 4 (9). С. 225-228.
14. Каргаполов М. И., Мерзляков Ю. И. Основы теории групп. 3-е изд. М. : Наука, 1982. 288 с.
15. Курош А. Г. Теория групп. 3-е изд. М. : Наука, 1967. 648 с.
© Senashov V. I., 2017
