Научная статья на тему 'On the periodic part of the Shunkov group saturated with linear groups of degree 2 over finite fields of even characteristic'

On the periodic part of the Shunkov group saturated with linear groups of degree 2 over finite fields of even characteristic Текст научной статьи по специальности «Математика»

CC BY
34
8
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
ГРУППА ШУНКОВА / ГРУППЫ / НАСЫЩЕННЫЕ ЗАДАННЫМ МНОЖЕСТВОМ ГРУПП / SHUNKOV GROUP / GROUPS SATURATED WITH GIVEN SET OF GROUPS

Аннотация научной статьи по математике, автор научной работы — Shlepkin Aleksei Anatolievich

The definition of saturation condition was formulated at the end of the last century. Saturation condition has become useful in study of infinite groups. A description of various classes of infinite groups with various variants of saturating sets was obtained. In particular, it was found that periodic groups with a saturating set consisting of finite simple non-Abelian groups of Lie type, under the condition that ranks of groups in saturation set are bounded in the aggregate, are precisely locally finite groups of Lie type over a suitable locally finite field. A natural step in further research was the rejection of the periodicity condition for the group under study, and the rejection of the structure of the saturating set as a set consisting of finite simple non-Abelian groups of Lie type with ranks bounded in the aggregate. In this paper, we consider mixed Shunkov groups (i.e., groups that contain both elements of finite order and elements of infinite order). It is well known that the Shunkov group does not have to have a periodic part (i.e., the set of elements of finite order in the Shunkov group is not necessarily a group). As a saturating set, we consider the set of full linear groups of degree 2 over finite fields of even characteristic. The lack of analogues of known results V. D. Mazurova on periodic groups with Abelian centralizers of involutions for a long time did not allow us to establish the structures of the Shunkov group with the saturation set mentioned above. In this paper, this difficulty was overcome. It is proved that a Shunkov group saturated with full linear groups of degree 2 is locally finite and isomorphic to a full linear group of degree 2 over a suitable locally finite field of characteristic 2.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

О периодической части группы Шункова, насыщенной линейными группами степени 2 над конечными полями четной характеристики

Понятие насыщенности, введенное в конце прошлого века, оказалось плодотворным при изучении бесконечных групп. Было получено описание различных классов бесконечных групп с различными вариантами насыщающих множеств. В частности, было установлено, что периодические группы с насыщающим множеством, состоящим из конечных простых неабелевых групп лиева типа, ранги которых ограничены в совокупности, есть в точности локально конечные группы лиева типа над подходящим локально конечным полем. Естественным шагом в дальнейших исследованиях был отказ от условия периодичности на исследуемую группу и отказ от структуры насыщающего множества, как множества, состоящего из конечных простых неабелевых групп лиева типа, ранги которых ограничены в совокупности. В настоящей работе рассматриваются смешанные группы (т.е. группы которые содержат как элементы конечного порядка, так и элементы бесконечного порядка) Шункова. Хорошо известно, что группа Шункова не обязана обладать периодической частью (т.е. множество элементов конечного порядка в группе Шункова не обязательно является группой). В качестве насыщающего множества рассматривается множество полных линейных групп степени 2 над конечными полями четной характеристики. Отсутствие аналогов известных результатов В. Д. Мазурова о периодических группах с абелевыми централизаторами инволюций долгое время не позволяло установить структуру группы Шункова с упомянутым выше насыщающим множеством. В данной работе эту трудность удалось преодолеть. Доказывается, что группа Шункова, насыщенная полными линейными группами степени 2 над конечными полями характеристики 2, локально конечна и изоморфна полной линейной группе степени 2 над подходящим локально конечным полем характеристики 2.

Текст научной работы на тему «On the periodic part of the Shunkov group saturated with linear groups of degree 2 over finite fields of even characteristic»

ЧЕБЫШЕВСКИИ СБОРНИК

Том 20. Выпуск 4.

УДК 512.54

DOI 10.22405/2226-8383-2019-20-4-399-407

О периодической части группы Шункова, насыщенной линейными группами степени 2 над конечными полями четной характеристики

1

А. А. Шлепкин

Шлепкин Алексей Анатольевич — кандидат физико-математических наук, доцент кафедры Прикладной математики и компьютерной безопасности Института космических и информационных технологий Сибирского федерального университета (г. Красноярск). e-mail: [email protected]

Понятие насыщенности, введенное в конце прошлого века, оказалось плодотворным при изучении бесконечных групп. Было получено описание различных классов бесконечных групп с различными вариантами насыщающих множеств. В частности, было установлено, что периодические группы с насыщающим множеством, состоящим из конечных простых неабелевых групп лиева типа, ранги которых ограничены в совокупности, есть в точности локально конечные группы лиева типа над подходящим локально конечным полем. Естественным шагом в дальнейших исследованиях был отказ от условия периодичности на исследуемую группу и отказ от структуры насыщающего множества, как множества, состоящего из конечных простых неабелевых групп лиева типа, ранги которых ограничены в совокупности. В настоящей работе рассматриваются смешанные группы (т.е. группы которые содержат как элементы конечного порядка, так и элементы бесконечного порядка) Шункова.

Хорошо известно, что группа Шункова не обязана обладать периодической частью (т.е. множество элементов конечного порядка в группе Шункова не обязательно является группой). В качестве насыщающего множества рассматривается множество полных линейных групп степени 2 над конечными полями четной характеристики. Отсутствие аналогов известных результатов В. Д. Мазурова о периодических группах с абелевыми централизаторами инволюций долгое время не позволяло установить структуру группы Шункова с упомянутым выше насыщающим множеством. В данной работе эту трудность удалось преодолеть. Доказывается, что группа Шункова, насыщенная полными линейными группами степени 2 над конечными полями характеристики 2, локально конечна и изоморфна полной линейной группе степени 2 над подходящим локально конечным полем характеристики 2.

Ключевые слова: Группа Шункова; группы, насыщенные заданным множеством групп.

Библиография: 15 названий.

Для цитирования:

А. А. Шлепкин. О периодической части группы Шункова, насыщенной линейными группами степени 2 над конечными полями четной характеристики // Чебышевский сборник, 2019, т. 20, вып. 4, с. 399-407.

Аннотация

1 Исследование выполнено за счет гранта Российского научного фонда (проект 19-71-10017).

CHEBYSHEVSKII SBORNIK Vol. 20. No. 4.

UDC 512.54 DOI 10.22405/2226-8383-2019-20-4-399-407

On the periodic part of the Shunkov group saturated with linear groups of degree 2 over finite fields of even characteristic2

A. A. Shlepkin

Shlepkin Alexey Anatolyevich — candidate of physical and mathematical sciences, Associate professor, department of Applied mathematics and computer security, Institute of space and information technologies of the Siberian federal university (Krasnoyarsk). e-mail: [email protected]

Abstract

The definition of saturation condition was formulated at the end of the last century. Saturation condition has become useful in study of infinite groups. A description of various classes of infinite groups with various variants of saturating sets was obtained. In particular, it was found that periodic groups with a saturating set consisting of finite simple non-Abelian groups of Lie type, under the condition that ranks of groups in saturation set are bounded in the aggregate, are precisely locally finite groups of Lie type over a suitable locally finite field. A natural step in further research was the rejection of the periodicity condition for the group under study, and the rejection of the structure of the saturating set as a set consisting of finite simple non-Abelian groups of Lie type with ranks bounded in the aggregate. In this paper, we consider mixed Shunkov groups (i.e., groups that contain both elements of finite order and elements of infinite order).

It is well known that the Shunkov group does not have to have a periodic part (i.e., the set of elements of finite order in the Shunkov group is not necessarily a group). As a saturating set, we consider the set of full linear groups of degree 2 over finite fields of even characteristic. The lack of analogues of known results V. D. Mazurova on periodic groups with Abelian centralizers of involutions for a long time did not allow us to establish the structures of the Shunkov group with the saturation set mentioned above. In this paper, this difficulty was overcome. It is proved that a Shunkov group saturated with full linear groups of degree 2 is locally finite and isomorphic to a full linear group of degree 2 over a suitable locally finite field of characteristic 2.

Keywords: Shunkov group, groups saturated with given set of groups.

Bibliography: 15 titles.

For citation:

A. A. Shlepkin, 2019, "On the periodic part of the Shunkov group saturated with linear groups of degree 2 over finite fields of even characteristic" , Chebyshevskii sbornik, vol. 20, no. 4, pp. 399-407.

1. Introduction

Let £ be a set of groups. A group G is saturated with groups from the set X if any finite subgroup of G contained in a subgroup of the group G, is isomorphic to a group from X. The set X will be called saturation set for G [9]. Let G be a group. If all elements of finite order from G are contained in a periodic subgroup of G, then it is called the periodic part of G and denoted by T(G) [3, p. 90]. Recall that a group G is called the Shunkov group if for any finite subgroup H

2The research was carried out at the expense of a grant from the Russian science Foundation (project 19-71-10017).

O nepHO/j,HHecKOH Hacm rpvnnbi IIIyHKOBa

401

of G in the factor group Ng(H)/H any two conjugate elements of a prime order generate a finite group [5]. Note that the Shunkov group is not required to have a periodic part [6].

Groups with saturation conditions studied in following works: [8, 14, 15, 12, 1, 2]. In paticular in [4] it is proved that the Shunkov periodic group G saturated with the groups GL2(pn) (neither the characteristic of the field p nor the natural n are fixed) is locally finite and isomorphic to GL2(P), where P is a suitable locally finite field. For a long time, this result could not be transferred to the entire class of Shunkov groups (without failure of periodicity) due to the lack of a description of Shunkov groups with Abelian centralizers of involutions. In this study, for the case p = 2, this difficulty is circumvented. The following result is proved.

Theorem. Let the Shunkov group G be saturated with groups from, the set

M = {G L2(2n) | n = 1, 2,...}.

Then G has a periodic part T(G) that is isomorphic to GL2(Q) for a suitable locally finite field Q 2

2. Definitions, known facts, auxiliary statements

Definition 1. Let G be a group, K be a subgroup of G, X be a set of groups. By Xg(K) we denote the set of all subgroups of G containing K and isomorphic to groups from X. If 1 is the identity subgroup of G, then Xg(1) will denote the set of all subgroups of G, isomorphic to groups from X. If it is clear from the context which group we are talking about, then instead of Xg( K) we will write X(K), and instead of Xg(1) we will write X(1). [9]

Proposition 1. A finite invariant set of elements of finite order in any group generates a finite normal subgroup [3].

Proposition 2. Shunkov periodic group G, saturated with groups from the set Im consisting of all groups {GL2(pn)} (here p and n are not fixed), is isomorphic to GL2(Q) for suitable locally finite field [4].

Proposition 3. A Shunkov group with an infinite number of elements of finite order has an infinite locally finite subgroup [10, Lemma 1].

Proposition 4. Let G be a Shunkov group, a be an element of prime order from G, x be an involution from G. Then {x,a} is the finite group [7, proposition 4].

Proposition 5. Let G be a Shunkov group and H be a finite normal subgroup of G. Then the factor group G = G/H is a Shunkov group [7, proposition 5].

Proposition 6. If in a Shunkov group G some Sylow 2 -subgroup is finite, then all Sylow 2 -subgroups of G are finite and conjugate [7, Proposition 9].

Proposition 7. The Shunkov group G, in which all finite subgroups are Abelian, has an Abelian periodic part of T(G) [7, proposition 7].

Proposition 8. Let G be a Shunkov group saturated with wreathed groups. Then G has the periodic part T(G) = (A x B) X {v}, where A" = B, A is a locally cyclic group and |f| =2 [11].

Proposition 9. Let G = L2(q), where q = 2n > 2, P is a Sylow 2 -subgroup of the group G. Then :

1. P is an elementary Abelian group, and any two different Sylow 2 -subgroups of group G intersect trivially.

2. Cg(o>) = P for any involution a £ P.

3. Ng(P) = P X H is the maximum subgroup of G, which is a Frobenius group with kernel P and a cyclic complement H of order q — 1, acting transitively on the set, P \ {1}.

4. Ng(H) is a dihedral group of order 2(q — 1).

5. If K is a subgroup of G and K has a nontrivial normal subgroup of odd order, then Ng(K) is a dihedral group of order 2(q — 1) or 2(q + 1) [13].

Proposition 10. Let L = GL2(2n). Then :

1. L = L2(2n) x Z, where Z = (( (QQ °)) is the center of the group L, a £ GF(q).

2.R = {( q 1) ,a £ GF(2n)} is a Sylow 2 -subgroup of the group L, Nl(R) = R X D, where D = (( o /?)) - a subgroup of diagonal matrices of the group L, ft £ GF (2n), D = Z xT, T = (( g Q)), and \Z| = \T| =2n — 1.

3. PGL2 (pn) = L/Z = L2 (2n) [13].

3. Proof

Suppose the theorem is false. Further, G is a counterexample to the statement of the theorem.

Lemma 1. G is not a periodic group.

PROOF. Assume the opposite. Then T(G) = G and by the proposition 2 G is isomorphic to L2(Q) for a suitable locally finite field Q of characteristic 2. Hence the lemma is proved.

Lemma 2. G contains infinitely m,any elements of finite order..

PROOF. Assume the opposite. Then by the proposition 1, the group G has a finite periodic part T(G), which is isomorphic, according to the saturation condition, to the group L2(2m) for a suitable m. This contradicts the fact that G is a counterexample. Hence the lemma is proved.

Lemma 3. All involutions from the group G are conjugate.

PROOF. Let x,y be two different involutions from G. By the proposition 4 (x,y) is a finite group. By saturation condition (x,y) < M < G and M £ M(1). In this case, M ~ GL2(2l) for a suitable positive integer I. According to the propositions 10, 9 x = y9 for some g £ M. Hence the lemma is proved.

Lemma 4. Let, S be a Sylow 2 -subgroup of G. Then S is an infinite elementary Abelian 2 -group.

PROOF. By Lemma 2 and Proposition 3 the group G contains an infinite locally finite subgroup L. Therefore, for ^y positive integer n in the group L there exists a finite subgroup Kn such that \Kn\ > n. By saturation condition Kn < Mn < G and Mn £ M(1). In this case Mn ~ GL2(2l) for a suitable positive integer I. By the proposition 10 we have \Mn\ = (221 — 1)2l(2l +1). Thus n < 231, (ln2n)/3 < I, I can be arbitrarily large due to the arbitrariness of n and in the group G there is a finite 2-group of arbitrarily large order. Hence, using the proposition 6, S is an infinite group.

Now let s be an arbitrary element of S. By saturation condition s £ Mn < G and Mn £ M(1). In this case Mn ~ GL2(2l) to a suitable positive integer I. By the proposition 10 \s\ = 2. Thus, S is an infinite Abelian group of period 2. Hence the lemma is proved.

Let's fix the group S of the statement of the lemma 4.

Lemma 5. Let R be a Sylow 2-subgroup of G other than S. Then S n R = 1.

O nepHO/j,HHecKOH naciH rpvnnbi IIIvHKOBa

403

PROOF. Assume the opposite and let 1 = z € SnR. By the lemma, 4 z is an involution. Let's take the involution x € S\R and the involution y € R\S. By the proposition 4 {x, y} is a finite group from Cg(z) (Lemma 4). Therefore, {z,x, y} is a finite group. By saturation condition {z,x,y} < M < G and M € M(1). In this case M ~ GL2(2l) for

propositions 10, 9 we have xy = yx. Since the choice of involutions x,y is arbitrary, we conclude S, R S R

S = S R = R the lemma is proved.

Lemma 6. Let, R he a Sylow 2 -subgroup of G other than S. Then S = R9 for some g € G.

PROOF. Let us take the involution x € S and the involut ion y € R. By the lemma 3 x = y9 and x € S n R9 for some g € G. By the lemma 5 S = R9. Hence the lemma is proved.

Lemma 7. Nq(S) has a countable periodic part T = T(Nq(S)).

Proof. 1. Let 1 = K be a finite subgroup of S. By saturation condition K < M < G and M € M(1). In this case M ~ GL2(2l) to a suitable positive integer I. Let Sm be a Svlow 2-subgroup of M containing K. By the lemma 4 Sm < S, Nm(Sm) < Ng(S). According to the propositions 10 (clause 1.), 9 (clause 3.) Nm (Sm ) contains a finite subgroup RsM = VsM x Zm of order (2l — 1)2 such that Nm (Sm ) = Sm X Rm, Sm X VsM is a Frobenius group with kernel Sm and cyclic complement VsM of order 2l — 1 acting transitively on the set Sm \ 1 Zm = Z(M) is a cyclic group of order 2l — 1. Thus, NG(S) contains finite subgroups of an arbitrarily large odd order

Let us consider the factor group N = Ng(S)/S. Since w(S) n k(N) = 0, then N is a, Shunkov group (by the proposition 5). Let us show that all finite subgroups of N are Abelian. Let K be a finite subgroup of N and K be some finite inverse image of Ng(S) such that SnK =1. By saturation condition K < M < G and M € M(1). In this case M ~ GL2(2l) for

Let Sm be a Sylow 2-subgroup of M containing K. By the lemma 4 Sm < S,Nm(Sm) < Ng(S). According to the propositions 10 (clause 1.), 9 (clause 3.) Nm (Sm ) contains a finite subgroup RsM = VsM x Zm of order (2l — 1)2 such that Nm (Sm) = Sm X Rm, Sm X VsM is a Frobenius group with kernel Sm and cyclic complement VsM of order 2l — 1 acting transitively on the set Sm \ 1 Zm = Z(M) is a cyclic group of order 2l — 1. Hence,

K = KS/S < SNM(Sm)/S = SRM/S = S(Vsm x ZM)/S =

= SVSM/S x SZM/S = VSM x ZM

is an Abelian group, as required. It is clear that in this case N is saturated with finite Abelian groups and, by the proposition 7 has the periodic part T(N) which is an Abelian group.

Let us show that for any p € w(T((N)), p — rankT(N) equal to 2. Let's assume the opposite, for some p-subgroup of p € w(T(N)), K = {a} x {b} x {c} is an elementary Abelian p-subgroup of T (N). Denote by K some finite inverse image of K in the group T (Ng(S) such that S nK = 1. By saturation condition K < M < G and M € M(1). In this case M ~ GL2(2l) for a suitable positive integer I. Let Sm be a Sylow 2-subgroup of M such that Nm (Sm) contains K. By the lemma 4 we have Sm < S,Nm (Sm) < Ng (S). Therefore, Nm (Sm) contains elementary Abelian p-subgroup {a} x {b} x {c} of order p3, which is impossible due to the propositions 10 (clause 1.), 9 (clause 3.)

Since an Abelian locally finite group is a direct product of its cyclic subgroups, T(N)

x, S

{x,y} < M € M(1). Let Sm be a Sylow 2-subgroup of M such that Nm (Sm ) contains {x, y}. Clearly, Sm < S. By 10 (clause 1.), 9 (clause 3.) there is an element a in Nm (Sm ) such that xsa = y for any s € S. Hence, taking into account the countabilitv of T(N), follows the countabilitv S, T

Lemma 8. In G there exists an infinite sequence of subgroups

G\, G2, ■ ■ ■ , Gn, ■ ■ ■ ,

with the following properties.

A. Gn — GL2(2ln) and ln divides ln+i

B. T R Gn = Ng„ (Sn) = Sn X (Zn x Vn), where Sn is a Sylow 2-subgroup of Gn, Zn = Z(Gn), c.NGn(SN) <NGn+1 (Sn+i).

d.

T = U NGn(Sn) = U (sn X (Zn x Vn)) = S X (Z x V),

n=i n=i

where

Z = U Zn

n=i

is a locally cyclic subgroup of T generated by all elements of odd orders centralising at least one involution from, S.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

<x

v = U

n=i

is a locally cyclic subgroup of T which is isomorphic to the group Z and acts transitively on S.

proof. By the lemma, 7 T is a countable group. We number the elements of the group T with elements of the natural series: T = {^ ■ ■ ■ tn ■ ■ ■ } and let's assume that 1 = t\ £ S. By saturation condition (ti) < M < G and M £ M(1^^et Sm ^e a 2-subgroup of M ^^^teining (ti). By

the lemma 4 we have Sm < S,Nm(Sm) < T. Let M = It is clear that Gi — GL2(2l1) and Gi R T = NGl(Si) = Si X (Zi x Vi), where SM = S is a Svlow 2-subgroup of Gi: Zi = Z(Gi), Vi is a cyclic subgroup of NGl (Si) acting regularly and transitively on Si. (Propositions 10 (clause 1.), 9 (clause 3.)

Suppose that for n ^ 1 a subgro up Gn satisfying the conclusion of the lemma is constructed. Let tm be an element from T \ NGn (Sn) with the smallest possible index value of m. By the saturation condition, the finite group (tm, NGn(Sn)) < M < G and M £ M(1). Let Sm be a Svlow 2-subgroup of M ^^^teining (tm, Sn4 we have Sm < S, Nm(Sm) < T. Let M = Gn+i- It is clear that Gn+i — GL2(2l"+1) and Gn+i RT = NGn+1 (S„+i) = 5ra+i X (Zn+i x Fra+i)^ere SM = is a Svlow 2-subgroup of Gn+u Zn+i = Z(Gn+i), Vn+i is a cyclic subgroup of NGn+1 (5m+i) acting regularly and transitively on Sn^. (Propositions 10 (clause 1.), 9 (clause 3.) By construction, the points a,b,c,d hold. The lemma is proved.

In the notation of the lemma 8, the following statement holds.

Lemma 9. NG(Zn x Vn) has a periodic part ofT(NG(Zn x Vn)) and

T(NG(Zn x Vn)) = T(Ng(Z x V)) = (Z x V) X {wn),

where wn involution from Gn, such that, for any z £ Z, zWn = z and for any v £ V,vWn = v-i.

proof. Let's show that the group NG(Zn x Vn) is saturated with finite wreathed groups. Let K be a finite subgroup of NG(Zn x Vn)- By the saturation condition, the finite group {(Zn x Vn),K) < M £ M({(Zn x Vn),K)). According to the propositions 10 (point 1.), 9 (point 3.) NM(Zn x Vn) = (ZM x Vm) X {w), where ZM = Z(M), Zn < ZM, Vn < Vm and for any x £ Vm,xw = x-i. Let Zm = {x), Vm = {y)- Then Nm(Zn x Vn) = ({xy) x {x-iy)) X {w) is an wreathed group. Due to randomness of choice of K as a finite subgroup of NG(Zn x Vn) the saturation of the latter with finite wreathed groups is proved. By the lemma 8 we have (Z x V) < NG(Zn x Vn), therefore, by the proposition 8 T(NG(Zn x Vn)) = (Z x V) X {wn). The lemma is proved.

Lemma 10. In G there exists an infinite sequence of subgroups

Mi,M2, ■ ■ ■ ,Mn, ■ ■ ■

with the following properties.

a. Mn ~ Gn.

b. Mn n Gn = (Zn x Vn).

C. NMn (Zn x Vn) = (Zn x Vn) X {w}) < NMn+1 (Zn+1 x Vn+i) = (Zn+i x Vn+i X {w}), where w is an involution from, T(NG(Zn x Vn)).

Proof. Let's fix some involution wno € T(NG(Zn0 x Vno)) = T(NG(Z x V)) = (Z xV) X {wn0}. Let w = wno, R = (Z xV) X {w}. By the lemma 9, all involutions in R are conjugate. Therefore, for any n in R there is an element xn such that w:^n = wra. Let Mn = G^™. By construction sequence

Mi,M2, ■■■ ,Mn, ■■■ ,

has the properties a.,b.,c. Hence the lemma is proved.

Lemma 11. Subgroup sequence

Mi,M2, ■■■ ,Mn, ■■■ ,

forms a chain

Mi <M2 < ■■■ <Mn < ■■■ .

proof. Denote bv Sn a Svlow 2-subgroup of Mn which contains the involution w. Since the involution w to in each of the groups Mn (by the lemma 10) and the order of the group Mn divides the order of the group Mn+i, then Sn < Sn+i. Hence, the group Mn+i contains two different Svlow 2-subgroups as subgroups S^d (1 = v € Vn) of Mn, and group Nmu(ZnxVn) = (ZnxVn)X{w}). By the propositions 10 (clause 1.), 9 (clause 3.) Mn = {Sn, , Nmu(Zn x Vn). Hence, Mn < Mn+i. The lemma is proved.

Let us complete the proof of the theorem. By the proposition 2 and by the lemma 11

L = Q Mn ~ GL2{Q)

n=l

for a suitable locally finite field Q of characteristic 2. By the lemma 1 L < G. Let us show that L = T(G). Suppose that M contains all involutions from G. In this case, G contains the characteristic subgroup L1 ~ L2(Q), and all elements of finite order from CG(L1) generate the subgroup Z and L = L1 x Z. Any element g of finite order from G is represented as g = xz, where x e Lb and 2 e Z. Thus L = T(G) = G (by the lemma 1).

Suppose that there is an involution v e G \ L. Take the involution к e S < L. By the saturation condition, finite group (v,к) < R e M((v,к)). Denote by Sr a Svlow 2-subgroup of R, such that к e R. By the lemmas 5, 7 Nr(Sk) < T. Therefore, for some positive integer n, Nr(Sr) < Nmu (Sn). But then v e R < Mn < M. A contradiction with the choice of the involution

. G M,

theorem is proved.

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Вэй С., Го В., Лыткипа Д. В., Мазуров В. Д. Характеризация локально конечных простых групп типа 3D4 над полями нечетных характеристик в классе периодических групп // Сиб. матем. журн. 2018. Т. 59, № 5. С. 1013-1019.

2. Джу С., Лыткина Д. В., Мазуров В. Д. Характеризация локально конечных простых групп типа G2 над полями нечетных характеристик в классе периодических групп // Матем. заметки 2019. Т. 105, № 4. С. 519-525.

3. Каргаполов М.И., Мерзляков Ю.И. Основы теории групп. М.: Наука, 1982. 288 с.

4. Шлепкин А. А. О группах Шункова, насыщенных полными линейными группами // Сиб. матем. журн. 2016. № 1, Т. 57. С. 222-235.

5. Сенатов, В. И., Шунков В. П. Группы с условиями конечности // Новосибирск, изд. СО РАН. 2001.

6. Череп А. А. О множестве элементов конечного порядка в бипримитивно конечной группе // Алгебра и логика. 1987. Т. 26, № 4. С. 518-521.

7. Шлепкин А. А. Группы Шункова, насыщенные линейными и унитарными группами степени 3 над полями нечетных порядков // Сиб. электрон, матем. изв. 2016. Т. 13. С. 341-351.

8. Шлёпкин А. А. Периодические группы, насыщенные конечными простыми группами лиева типа ранга 1 // Алгебра и логика. 2018. Т. 57, № 4. С. ПК 125.

9. Шлепкин А. К. О некоторых периодических группах, насыщенных конечными простыми группами // Матем. тр. 1998. Т. 1 № 1. С. 129-138.

10. Шлепкин А. К. О сопряженно бипримитивно конечных группах с условием примарной минимальности // Алгебра и логика. 1983. 22. С. 226-231.

11. Шлепкин А. А. О периодической части группы Шункова, насыщенной сплетенными группами // Тр. ИММ УрО РАН. 2018. Т. 24. № 3. С. 281-285.

12. Шлепкин А. А. Об одном достаточном условии существования периодической части в группе Шункова // Известия Иркутского государственного университета. Серия Математика.

2017. № 22. С. 90-105.

13. Carter R.W. Simple groups of Lie type. New York: Wiley and Sons. 1972.

14. Lvtkina D. V., Shlepkin A. A. Periodic groups saturated with the linear groups of degree 2 and the unitary groups of degree 3 over finite fields of odd characteristic // Siberian Adv. Math.,

2018. T. 28, № 3. C. 175-186.

15. Shlepkin A. A. On a sufficient condition when an infinite group is not simple // Journal of SFU, mathematics and physics 2018. T 11, № 1. C. 103-107.

REFERENCES

1. Wei C., Go В., Lvtkina D. V., Mazurov V. D. 2018, "A characterization of locally finite simple groups of type 3D4 over fields of odd characteristics in the class of periodic groups" Siberian Math. J., vol. 59, no. 5, pp. 1013-1019.

2. Joo C., Lvtkina D.;V., Mazurov V. D. 2019, "A characterization of locally finite simple groups of type G2 over fields of odd characteristics in the class of periodic groups" //Mat. notes vol. 105, no. 4, pp. 519-525.

3. Kargapolov, M.I., k, Merzlvakov, Yu.I. 1982, Fundamentals of Group Theory, Sciene, Moscow 288 p.

4. Shlepkin А. А. 2016, "On Shunkov groups saturated with linear groups" Sib. matem. zhurn., vol. 57, no. 3, pp. 222-235.

5. Senashov, V. I. k, Shunkov V. P 2001, Groups with limb conditions, SB RAS, Novosibirsk.

6. Cherep, A. A. 1987, "On the set of elements of finite order in a biprimitivelv finite group" Algebra

1 logika, vol. 26, no. 4, pp. 518-521.

7. Shlepkin, A. A. 2016, "Shunkov groups saturated with linear and unitary groups of degree 3 over fields of odd orders" Sib. elektron. matem. izv., Vol. 13., pp. 341-351.

8. Shlepkin, A. A. 2018, "Периодические группы, насыщенные конечными простыми группами лиева типа ранга 1" Algebra i logika, vol. 57, no 4, pp. 1 IK 125.

9. Shlepkin, A. K. 1993, "On Certain Torsion Groups Saturated with Finite Simple Groups" Siberian Adv. Math., Vol. 9., no. 2, pp. 100-108.

10. Shlepkin, A. K. 1983, "On conjugate biprimitivelv finite groups with the condition of primary minimality" Algebra i logika, Vol. 22. pp. 226-231.

11. Shlepkin, A. A. 2018, "On the periodic part of the Shunkov group saturated with wreathed groups" Tr. IMM UrO RAN., Vol. 24, no 3, pp. 281-285.

12. Shlepkin A. A. 2017, "On a Sufficient Condition for the Existence of a Periodic Part in the Shunkov Group" Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya Matematika, no. 22, pp. 90-105.

13. Carter R.W. 1972, Simple groups of Lie type, Wiley and Sons, New York.

14. Lvtkina D. V., Shlepkin A. A. 2018, "Periodic groups saturated with the linear groups of degree

2 and the unitary groups of degree 3 over finite fields of odd characteristic" Siberian Adv. Math., vol. 28, no 3. pp. 175-186.

15. Shlepkin A. A. 2018, "On a sufficient condition when an infinite group is not simple" Journal of SFU, mathematics and physics vol. 11, no. 1, pp. 103-107.

Получено 18.10.2019 г. Принято в печать 20.12.2019 г.

i Надоели баннеры? Вы всегда можете отключить рекламу.