Группы Шункова, насыщенные группами l 2( pn), u 3(2 n) Текст научной статьи по специальности «Математика»

УДК 519.6

Вестник СибГАУ Т. 16, № 3. С. 611-617

ГРУППЫ ШУНКОВА, НАСЫЩЕННЫЕ ГРУППАМИ L2(pn), U3(2n)

Е. А. Пронина1, А. А. Шлепкин2*

1 Красноярский государственный аграрный университет Российская Федерация, 660130, г. Красноярск, ул. Стасовой, 44и 2 Сибирский федеральный университет Российская Федерация, 660041, г. Красноярск, просп. Свободный, 79 E-mail: ak_kgau@mail.ru

Исследованы группы Шункова, насыщенные группами L2(pn) - проективные специальные линейные группы степени 2 над конечными полями, U3(2n) - проективные специальные унитарные группы степени 3 над полями четной характеристики. Произвольная группа называется группой Шункова, если в каждом ее сечении по конечной подгруппе любая пара сопряженных элементов простого порядка порождает конечную подгруппу.

Под периодической частью T(G) группы G понимается подгруппа, порожденная всеми элементами конечных порядков из G при условии, что она периодическая.

Представлен ряд лемм, в которых доказывается следующее:

- G содержит бесконечно много элементов конечного порядка;

- в G найдутся такие конечные подгруппы Kx и K2, что Kj — L2 (pn) и K2 - U(2n), но Kl X ни для какой группы из R(1) такой, что X — U3 (2n) ;

- силовская 2-подгруппа S группы G локально конечна, и |g| < 4 для любого g е S;

- все инволюции из S лежат в Z(S);

- для любого И е G со свойством И2 е S следует, что И е S;

- если V - силовская 2-подгруппа из G и V n S Ф 1, то V = S;

- все силовские 2-подгруппы из G сопряжены;

- если K е R(1) и K — L2 (pn ), то p = 2 ;

- подгруппа NG (S) обладает периодической частью T (NG (S)) = B = S X H , где H - локально циклическая периодическая группа без инволюций;

- подгруппа B вложима в локально конечную простую подгруппу L группы G, изоморфную U3 (Q), где Q - локально конечное поле характеристики 2;

- если a - произвольный неединичный элемент из H0 , то NG ((a}) = NG (H) обладает периодической частью N, и N = NL (H) = H X (t), где t - инволюция.

На основании вышеуказанных лемм доказывается следующая теорема: группа Шункова, насыщенная множеством групп вида L2(pn), U3(2n), обладает периодической частью T(G), изоморфной либо L2(P), либо Uз (Q) для подходящих локально конечных полей P и Q .

Ключевые слова: группы Шункова, насыщенность, периодическая часть.

Vestnik SibGAU Vol. 16, No. 3, P. 611-617

SHUNKOV GROUPS, SATURATED BY GROUPS L2(pn), U3(2n)

E. A. Pronina1, A. A. Shlepkin2*

Krasnoyarsk State Аgrarian University 44 I, Stasova St., Krasnoyarsk, 660130, Russian Federation

2Siberian Federal University 79, Svobodny Av., Krasnoyarsk, 660041, Russian Federation E-mail: ak_kgau@mail.ru

Investigated are Shunkov groups, saturated by groups L2 (pn) (projective special linear group of degree 2 over finite fields), U3 (2n) (projective special unitary group of degree 3 over fields of odd characteristics). Arbitrary group is called a Shunkov group, if every cross section by a finite subgroup of any pair of conjugate elements of Prime order generates a finite subgroup.

Under periodic part T(G) group G is the subgroup generated by all elements of finite order of G, provided that it is periodic.

Presented is a series of lemmas, in which we prove that:

- G contains infinitely many elements of finite order;

-In G there are finite subgroups K1 and K2, that K1 - L2 (pn) and K 2 - U (2n), but K1 <£ X for no group of R(l) such that X ^ U3(2n);

- Sylow 2-subgroup S, group G, locally finite and |g| ^ 4 for any g e S;

- All involution of S lies in Z (S);

- For any h e G with the property h2 e S it follows that h e S;

- If V is a Sylow 2-subgroup of G and V n S ^ l, then V = S;

- All Sylow 2-subgroups of G are conjugate;

- IfK e R(l) and K ^ L2 (pn), then p = 2 ;

- Subgroup Ng (S) has a periodic part T (NG (S)) = B = S X H, where H is a locally periodic cyclic group without involutions;

- The subgroup B is embeddable in locally finite simple subgroup L group G that is isomorphic U3(Q), where Q is a locally finite field of characteristic 2;

- If the a for arbitrary nonunit element of H0, then NG ((a)) = NG (H) has a periodic part N and N = Nl (H ) = H t}, where t is an involution.

Based on the above lemmas, we prove the theorem: the Shunkov group saturated by multiple groups of the form L2(pn), U3(2n) has a periodic part T(G), is isomorphic to either L2(P), or U3(Q), for suitable locally of finite fields P and Q.

Keywords: group Shunkov, saturation, periodic part.

1. Введение

В [1] поставлен вопрос 14.101: Группа G насыщена группами из класса X, если любая конечная подгруппа K < G содержится в подгруппе L < G , изоморфной некоторой группе из X. Верно ли, что периодическая группа, насыщенная конечными простыми группами лиевского типа, ранги которых ограничены в совокупности, сама является простой группой лиевского типа конечного ранга?

В данной статье эта задача решается частично. Исследованы группы Шункова, насыщенные группами L2(pn), U3(2n).

Произвольная группа называется группой Шун-кова, если в каждом ее сечении по конечной подгруппе любая пара сопряженных элементов простого порядка порождает конечную подгруппу. Подчеркнём, что группа Шункова, порождённая элементами конечных порядков, не обязана быть периодической. Примеры таких смешанных групп существуют уже в классе разрешимых групп [2]. Поэтому для групп Шункова актуален вопрос о расположениях её элементов конечных порядков, в частности, составляют ли они характеристическую подгруппу T(G) - периодическую часть. Под периодической частью T(G) группы G понимается подгруппа, порожденная всеми

элементами конечных порядков из G, при условии, что она периодическая. Получен следующий результат.

Теорема. Группа Шункова, насыщенная множеством групп вида Ь2(рп), из(2п), обладает периодической частью Т ^), изоморфной либо Ь2(Р), либо из (0, где Р и Q - подходящие локально конечные поля.

2. Известные факты и определения

Определение 1. Под символом е в данной работе будем понимать единицу группы G.

Определение 2. Группа G насыщена группами из множества групп М , если любая конечная подгруппа из G содержится в подгруппе, изоморфной некоторой группе из М.

Множество М будем называть насыщающим множеством для G.

Ш(К) - это множество всех подгрупп группы G, содержащих подгруппу К с G и изоморфных группам из множества М .

М(1) - это множество всех подгрупп группы G, изоморфных группам из множества М (1 - единичная подгруппа группы G) [3].

Предложение 1. Пусть G = L2 (q) , где q = pn > 3 -

нечетное число. Тогда справедливы следующие утверждения:

1) силовская p -подгруппа P группы G - элементарная абелева, и B = NG (P) = P X H - группа Фробениуса с ядром P и циклическим неинвариантным множителем H порядка (q -1) / 2 ;

2) силовская 2-подгруппа группы G является группой диэдра;

3) если a - инволюция из G, то CG (a) - группа диэдра;

4) группа G порождается любыми двумя различными централизаторами инволюций;

5) все инволюции из G сопряжены [4].

Предложение 2. Пусть G = L2 (q ) , где q = 2n > 2 , P - силовская 2-подгруппа группы G . Тогда:

1) P - элементарная абелева группа, и любые две силовские 2-подгруппы группы G пересекаются тривиальным образом, в частности, CG (a) = P для любой инволюции a е P ;

2) B = Ng (P) = P X H - группа Фробениуса

с ядром P и циклическим неинвариантным множителем H порядка q -1, действующим транзитивно

на множестве P# ;

3) N = Ng (H) = H X (/) - группа диэдра;

4) если K - подгруппа в G и K обладает нормальной подгруппой нечетного порядка, то NG (K ) -

группа диэдра;

5) G порождается любыми двумя силовскими 2-подгруппами;

6) все инволюции из G сопряжены [4].

Предложение 3. Расширением локально конечной

группы при помощи локально конечной группы есть локально конечная группа [5].

Предложение 4. Пусть S - конечная подгруппа бесконечной 2-группы T . Тогда NT (S) ф S [6].

Предложение 5. Если некоторая силовская 2-подгруппа T группы Шункова G конечна, то любая силовская 2-подгруппа группы G сопряжена с T [6].

Предложение 6. Произвольная группа, порядки элементов которой не превосходят 4, локально конечна [7; 8].

Предложение 7. Бесконечная локально конечная группа содержит бесконечную абелеву подгруппу [5].

Предложение 8. Пусть локально конечная группа G является объединением цепочки G1 < G2 < G3 <. . . конечных простых групп Шевалле, лиев ранг которых ограничен в совокупности. Тогда G - простая группа Шевалле конечного лиева ранга над локально конечным полем [9-12].

Предложение 9. Пусть G = U3(2n), P - силовская 2-подгруппа группы G и B = NG (P). Тогда:

1) G = B V B, где v - инволюция и B n Bv = H -подгруппа Картана;

2) Р - группа периода 4, ступени нильпотентности 2, и Р' = г (Р) = Ф(Р) = Ц (Р);

3) любые две силовские 2-подгруппы группы G имеют тривиальное пересечение;

4) если а - инволюция из Р , то CG (а) = Р X Н1, где Н1 - циклическая группа, причем Н1 < В и г (Р )< CG (Н);

5) В = Р X Н , где Н - циклическая группа

порядка

22n -1

d

где d = 3 , если 3 делит число 2n +1,

и ё = 1 в противном случае;

6) Н = Н0 х Н1, где Н1 - подгруппа из утвер-

2п +1

ждения 4, |Н01 = 2п -1 и = —^— > причем V инвертирует Н0 и централизует Н1 ;

7) Р X Н0 - группа Фробениуса с неинвариантным множителем Н0, действующим транзитивно на множестве инволюций группы Р ;

8) ^ (Н1 ) = Н1 х Ь, где Ь ^ 12 (2п) и £ = Ь п Р -

силовская 2-подгруппа в Ь ;

9) В / г (Р) - группа Фробениуса с ядром

Р / г (Р) и дополнением Нг (Р)/ г (Р), при этом фактор-группа Нг (Р)/ г (Р) либо транзитивна на множестве неединичных элементов фактор-группы Р / г (Р), либо имеет ровно 3 орбиты;

10) G порождается любой парой своих силов-ских 2-подгрупп;

11) для любого простого 2'-элемента а е G подгруппа NG ((а^) имеет четный порядок;

12) \и, (2п )|=7-1-7 23п (22п - 1)(23п +1) [13].

1 У '1 (З,2п +1) У А '

Предложение 10. Группы Шункова с бесконечным числом элементов конечного порядка содержит бесконечную локально конечную подгруппу [14].

Предложение 11. Пусть G содержит лишь конечное число элементов конечного порядка, тогда все они составляют в G конечную вполне характеристическую подгруппу [15].

Предложение 12. Группа Шункова G насыщенна группами из множества {из (2п)}, обладающая периодической частью Т^), которая изоморфна из(0) для подходящего локально конечного поля характеристики 2 [16].

3. Доказательство теоремы

Предположим обратное, пусть G - контрпример, а ЭТ = {ь2(рп ),и3(2п)} - насыщающее множество групп для G.

Лемма 1. G содержит бесконечно много элементов конечного порядка.

Доказательство. Предположим обратное. Тогда по лемме Дицмана (предложение 11) G обладает периодической частью Т (О), которая по условию

насыщенности изоморфна либо Ь2 (рт), либо и3 (2п) для подходящих п и т . Противоречие с выбором G.

Лемма доказана.

Лемма 2. Пусть а - инволюция из G. Тогда CG (а) содержит бесконечно много элементов конечного порядка.

Доказательство. Предположим обратное. Тогда порядки групп из т(1) ограничены в совокупности (предложение 2, пункт 3; предложение 3, пункт 2; предложение 9, пункт 6). Следовательно, и порядки конечных подгрупп из G также ограничены в совокупности. По лемме 1 группа G содержит бесконечную локально конечную подгруппу, следовательно, содержит конечную подгруппу сколько угодно большого порядка, что невозможно.

Лемма доказана.

Лемма 3. Если группа G удовлетворяет условию теоремы, то все инволюции в G сопряжены.

Доказательство. Пусть а, Ь - произвольные инволюции из G. Тогда Ь = (а, Ь} - конечная группа,

и по условию теоремы Ь < М < G , где М — Ь2 (рп)

или М - и(2п). По предложению 1 (пункт 5), предложению 2 (пункт 2) и предложению 9 (пункт 7) инволюции а и Ь сопряжены в М .

Лемма доказана.

Лемма 4. В т(1) найдутся такие конечные группы К1 и К2, что К1 - Ь2(рп), К2 - и(2п), но К1 £ X £ т(1) ни для какого X ^ и3(2т).

Доказательство. Предположим обратное. Тогда множество т(1) для G может иметь одну из следующих двух взаимоисключающих структур:

т(1) = {(рп)}, (1)

R(1) = {и (2n)}.

(2)

Но в случае (1) G обладает периодической частью Т ^) — Ь2(Р) для подходящего локально конечного поля Р [17], а в случае (2) G обладает периодической частью Т (О) — и для подходящего локально конечного поля Q [6]. Противоречие с выбором G .

Лемма доказана.

Пусть К1 и К2 из леммы 4. Обозначим через 5"К1 силовскую 2-подгруппу из К , а через £К2 силовскую 2-подгруппу из К2, где К и К2 - подгруппы группы G. Пусть далее К £ т(1), а ХК - ее силовская 2-подгруппа. Мы будем говорить, что К типа К1 (соответственно К2), если К — Ь2 (рп) (соответственно К - и3 (2п)). Мы будем говорить также, что 8К типа

SK1 (соответственно типа SK2), если SK изоморфна

силовской 2-подгруппе из K , и K — L2 (pn) (соответственно SK изоморфна силовской 2-подгруппе из K , и K - U3 (2n)). Обозначим через S некоторую силов-скую 2-подгруппу группы G .

Доказательство теоремы для случая, когда S -конечная группа. По предложению 5 можно считать, что SK1 < S и SK2 < S. Следовательно, S типа SK2,

а SK1 - элементарная абелева, и либо K1 - L2 (2n),

либо Kj - L2(pn), p = 3,5 (mod8) (предложения 1, 2). Так как S - конечная группа, то порядок групп типа K2 ограничен в совокупности, и множество R(1) содержит лишь конечное число неизоморфных подгрупп типа K2 , их порядки ограничены в совокупности. Из таких же соображений неизоморфных групп типа K1 — L2 (2n) также конечное подмножество в R(1), и их порядки ограничены в совокупности. Рассмотрим в G конечную подгруппу K типа K1 - L2 (pn), p = 3,5 (mod8). В этом случае силовская 2-подгруппа группы K1 - SK1 = (i)j) - элементарная абелева группа порядка 4. Здесь i2 = j2 = e . По предложению 1 CK1 (i) = (d) X (j), где

d - циклическая группа порядка 2m и m - нечетное. По предложению 9 (пункты 3, 4) jd е Z (S). В этом случае jjd = d е S , что невозможно, так как d - элемент нечетного порядка. Противоречие. Следовательно, порядок всех групп из R(1) ограничен в совокупности некоторым числом k . Однако, G - группа Шункова с бесконечным числом элементов конечного порядка и, следовательно, содержит бесконечную локально конечную подгруппу (предложение 10). Следовательно, G содержит конечную подгруппу N со свойством IN > k. По условию насыщенности, N с N1 е R(1), k < |n| < = |X| < k, т. е. k < k .

Противоречие.

Теорема для случая, когда S - конечная группа, доказана.

Доказательство теоремы для случая, когда S - бесконечная группа. Докажем следующую лемму. Лемма 5. S - локально конечная группа, и |g| < 4 для любого g е S .

Доказательство. Предположим, что для некоторого g е S, |g| = 8. Обозначим через i инволюцию

из(g). По лемме 3 все инволюции в G сопряжены, и, следовательно, можем считать, что i е D, где D -конечная 2-подгруппа из G типа SK2 . Обозначим

через h элемент из G порядка четыре со свойством h2 = i и (gФ (h). Рассматривая конечную группу

(g2, hj , заключаем, что она лежит в CG (i), а так как она содержит две различные подгруппы порядка 4,

то она лежит в некоторой подгруппе M типа K2. M не может быть типа K1 , так как в последней централизатор инволюции является группой диэдра, а в группе диэдра централизатор инволюции содержит только одну циклическую порядка четыре, если она есть (предложение 1). Это означает, что в M найдется

инволюция v Ф i такая, что v е CG (g2 ). Конечная группа (g, v) с M е R(1). Поскольку M содержит элемент порядка 8, то M — L2(pn), где p Ф 2 . Тогда CM (i) - группа диэдра. Но тогда gv = g-1

и (g2 ) = g хотя, с другой стороны, (g2 ) = g2.

Противоречие. Итак, для любого g е S, |g| < 8, и по предложению 6 S - локально конечна.

Лемма доказана.

Лемма 6. Все инволюции из S лежат в Z (S).

Доказательство. По лемме 5 S - бесконечная локально конечная группа экспоненты 4. Так как S содержит бесконечную абелеву группу (предложение 7), то S содержит элементарную абелеву подгруппу I порядка 8. Предположим, что v - инволюция из S и v g Z (S). Тогда в S найдется такой элемент w , что wz Ф zw. Рассмотрим конечную подгруппу F = (l, v, w) с S. По условию насыщенности она лежит в некоторой конечной 2-подгруппе R типа SK2, и v лежит в Z (I). Значит wv = vw . Противоречие.

Лемма доказана.

Лемма 7. Для любого h е G со свойством h2 е S следует, что h е S .

Доказательство. Предположим обратное. Пусть v - инволюция из S, и b2 = v. Предположим, что b g S . Пусть w - другая, отличная от v, инволюция из S . Конечная группа R = (w, b^ с CG (v).

Если R - группа диэдра, то R = (b)w} и bw = b-1. Обозначим через M силовскую 2-подгруппу из G, содержащую R . Как было показано в лемме 7, все инволюции из M лежат в Z (M). Но bw = b-1. Противоречие. Следовательно, R лежит в некоторой конечной группе типа K2, т. е. w с CG (b). Так как

в этом случае S(b) - 2-группа и S - силовская 2-подгруппа из G, то S(b} = S и b е S . Противоречие с выбором b .

Лемма доказана.

Лемма 8. Пусть V - силовская 2-подгруппа из G и V n S Ф 1. Тогда V = S .

Доказательство. Пусть i е V n S и |i| = 2. Возьмем такой элемент b е G, что b2 = i. По лемме 7 b е V n S. Выберем инволюции x е V и y е S . По лемме 6 x, y е CG (b). Следовательно, группа (x, y, bj - конечна, является 2-группой и вложима, по

условию насыщенности, в некоторую конечную 2-подгруппу R с G и R - типа K2. Следовательно, инволюции x, y перестановочны. В силу произвольности выбора x, y получаем, что^Z (V), Z (S) - элементарная абелева 2-группа, которая лежит в некоторой силовской 2-подгруппе M группы G. По лемме 7 S и V лежат в M . Следовательно M = S = V .

Лемма доказана.

Лемма 9. Все силовские 2-подгруппы из G сопряжены.

Доказательство. Пусть V - другая, отличная от S, силовская 2-подгруппа группы G. Так как все инволюции из G сопряжены, то для некоторого g е G,Vg n S Ф1. Но тогда по лемме 8 Vg = S .

Лемма доказана.

Лемма 10. Пусть K е R(1) и K - L2 (pn ) . Тогда

p = 2.

Доказательство. Предположим обратное, что p Ф 2, и пусть SK - силовская 2-подгруппа из K .

Как известно, SK - b ^ (') - группа диэдра (предложение 1). Так как SK с S - силовская 2-подгруппа, то по лемме 6 b - 2 и p = 3,5 (mod8). Но это возможно

(см. доказательство теоремы для случая, когда S -конечная группа) только для случая p - 3 , n -1

и p - 5, n -1. Во втором случае L2(5) - L2(22), и мы попадаем под утверждение леммы. В первом случае L2 (3) - b x , где Ъъ - i2 - е и Ьг - b- . Пусть z -инволюция из CG (i) и z Ф i. Так как G - группа Шункова, то (b,bz,i^ - конечная группа, которая по

условию насыщенности лежит в некоторой группе K е R(1). Очевидно, K Ф L2(3) и K Ф L2(5). Следовательно, K - L2 (2m ) или K - U3 (2l ) для подходящих m и l. Поэтому группу L2 (3) мы можем выбросить из насыщающего множества.

Лемма доказана.

Лемма 11. Подгруппа NG (S) обладает периодической частью T (Ng (S)) - B - S X H, где H - локально циклическая периодическая группа без инволюций, H -H0 xHj, n(H0)nn(Hj)-0 , SXH0 -группа Фробениуса с ядром S ' и неинвариантным множителем H0, H1 с CG (Z (S)), S X H / Z(S) = = S X H - группа Фробениуса с ядром S , неинвариантным множителем H — H0 x H1.

Доказательство. По леммам 4, 8 N - NG (S) / S -

группа Шункова без инволюций, содержащая бесконечно много элементов конечного порядка. Возьмем элемент Ъ е N и b - q - простое число, не равное 2.

Тогда для любого x е N, Lx =

- конечная

группа. По теореме Шмидта (предложение 3), ее полный прообраз в G, группа Ьх локально конечна.

Пусть х = хБ и Ь = ЬБ для некоторых х, Ь £ G . Тогда Ьх = (ь,Ьх, . Выберем в Б конечную подгруппу М типа БК2. В силу замечания, сделанного выше, группа (ь,Ьх, К^ конечна и вложима в некоторую конечную простую неабелеву подгруппу М1 группы G типа К2. Обозначим ее через М1. Из способа выбора М1 вытекает, что Ь, Ьх £ Им (Р), где Р £ Бу12М1. Теперь из предложения 9 (пункты 5-7) заключаем, что Р X (Ь) = Р Х( Ьх} и (Ьх} = (ь") для некоторого " £ Р . Так как Р с Б , то (Ь*} = (Ь) в N. В силу произвольности выбора х из N получим, что ^Ь ^ < N . Пусть ^ - другая, отличная от ^Ь ^, подгруппа простого порядка р из N . Точно так же, как и для (Ь^ , показывается, что (Ь-^ < N. Следовательно, (ь^х^Ь^ - конечная элементарная абелева подгруппа порядка р2 из N. Её полный прообраз в G группа (р\,Ь,Б) - локально конечная по теореме Шмидта (предложение 3) (здесь Ь1 такой элемент из G, что Ь1 = Ь1Б). Теперь выбираем в Б конечную подгруппу С типа БК2, а конечную подгруппу {Ь\,Ь,С) вкладываем по условию насыщенности в конечную подгруппу G типа К2, которую обозначим через С1. Из предложения 9 (пункты 5-7) получаем, что Ь)V = (Ь)У, где V £ Бу12Сх. Но тогда, Ь)Б = (Ь)^ (лемма 8). Противоречие с выбором Ь1. Итак, для любого р £п () N содержит единственную подгруппу порядка р. Так как G - группа Шун-кова, то, используя приведенную выше технику, получаем, что N обладает периодической частью Т ^), которая локально циклическая, а ее полный

прообраз в G есть Т (NG (Б)) = Б X Н , где Н - локально циклическая подгруппа. Кроме того, что все инволюции из В = Б X Н сопряжены в В, Н0 действует транзитивно на множестве инволюций из Б, и Б X Н - группа Фробениуса.

Лемма доказана.

Лемма 12. Для любого нетривиального элемента к £ Н0 выполняется Т (CG (к)) = Н . В частности,

Т ((Н)) = Н .

Доказательство. Группа Н абелева, и Н0 действует на Б без неподвижных точек. Поэтому СВ (к) = Н . Действительно, если с £ В, то с = ху, где

х £ Н , а у £ Б . Тогда кс = кху = кук, у = е, с = х £ Н . Противоречие с выбором с. Предположим, что существует элемент с в CG (к)\ Н и с -

конечного порядка. Тогда с <£ В . Пусть г - инволюция из Б . Тогда Р = ^г, гс^ - конечная группа диэдра порядка 2т для некоторого т. Если т чётно, то г и гс централизуют инволюцию " из Р . По лемме 8

" £ Б, гс £ Б и г £ Бс , Бс = Б и с £ В, противоречие. Таким образом, т нечётно, и значит существует инволюция 1 группы Р такая, что г1 = гс, ¡с£ CG (г) < В . Следовательно, с = Ы , где Ь £ В, к = кс = кы, к' = кЬ. В частности, Е = (|Н, Н^ < В . Так как Е1 = Е , инволюция 1 нормализует единственную силовскую 2-подгруппу Е2 группы Е, и если Е2 Ф1, то Б п (Е2 ) = Е2 согласно лемме 8, 1 £ Б и с = Ь1 £ В , противоречие. Отсюда (к1, Н^ = (кН), и поскольку кЬ £ (к) только

в случае кЬ = к, то к' = кЬ = к . Значит 1 централизует к .

Все инволюции группы G сопряжены, поэтому к является п (Н1) -элементом и одновременно п (Н0) -

элементом. Это невозможно в силу леммы 11. Лемма доказана.

Лемма 13. G насыщена и3 (2п). Доказательство. Предположим обратное. Тогда в G найдется такая конечная подгруппа К, что

К — Ь2 (2т) и К <£ X ни для какой подгруппы X из G, такой что X - и3(2к) (лемма 10).

Положим В = Б X Н , где Б и Н из леммы 11. Пусть ВК = РК X НК - подгруппа Бореля из К . По лемме 9, 11 ВК с В X Н. Следовательно Вк с Вк1 = Рк1 XНк2 с К2 ^ из(2е), где РК2 XНК2 -подгруппа Бореля в К2 . Возьмем в НК2 элемент "

нечетного простого порядка такой, что " £ СК1 (РК X НК) (предложение 2). В К2 существует

инволюция V такая, что " = ё и ку = к- для любого к £ НК . В К существует инволюция / такая, что

к = к- для любого к £ НК . Рассмотрим группу (((") х(НК)),^ = М, по условию насыщенности М сМ1 - Ь2(2т) или М сМ1 - и3(2т). По лемме 12 (", - конечная группа из CG (НК). Следовательно, (", с Н . Так как " - п(^1)-элемент, то (") = (лемма 11).

Пусть М1 - Ь2 (2т). Тогда "' = ", и можно рассмотреть группу ((") х(НК)) X (г, V), которая по условию насыщенности лежит в некоторой К2 — и3 (2т2), но в и3 (2т2) такая ситуация невозможна (" - одновременно п(^1)-элемент и п(Н0)-элемент).

Остается M1 ^ U3(2m). Тогда t e NMl (HK), и по

предложению 9 t e NMi ((d} х H1) и {df = (d).

Поскольку t - инволюция, то либо dt = d, либо dt = d-j. Последнее, как показывалось выше, невозможно. Следовательно dt = d, и ^dt, = (d) х

хK с M — U3(2m3). Противоречие с выбором K .

Лемма доказана.

Завершим доказательство теоремы. По лемме 13 G насыщена группами из множества {u3 (2n)} . Следовательно, G обладает периодической частью T(G), которая изоморфна U3(Q) для подходящего локально конечного поля Q характеристики 2 (предложение 12).

4. Заключение

Доказано, что группа Шункова, насыщенная множеством групп вида L2(pn), U3(2n), обладает периодической частью T(G), изоморфной либо L2 (P), либо U3(Q), где P и Q - подходящие локально конечные поля.

Библиографические ссылки

1. Мазуров В. Д., Хухро Е. И. Коуровская тетрадь. Нерешенные вопросы теории групп / Институт математики СО РАН. Новосибирск. 2006. 193 с.

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

3. Кузнецов А. А., Филиппов К. А. Группы, насыщенные заданным множеством групп // Сибирские электронные математические известия. 2011. Т. 8. С. 230-246.

4. Бусаркин В. М., Горчаков Ю. М. Конечные расщепляемые группы. М. : Наука. 1968. 113 с.

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

6. Группы с условием насыщенности / А. А. Кузнецов [и др.] / КрасГАУ. Красноярск, 2010. 254 с.

7. Лыткина Д. В. Строение группы, порядки элементов которой не превосходят числа 4 // Сибирский математический журнал. 2007. № 2. С. 353-358.

8. Санов И. Н. Решение проблемы Бернсайда для показателя 4 // Учёные записки Ленинградского гос. ун-та. Сер. математическая. 1940, № 55. С. 166-170.

9. Беляев В. В. Локально конечные группы Шевалле // Исследования по теории групп / УНЦ АН СССР. 1984, С. 39-50.

10. Боровик А. В. Вложения конечных групп Шевалле и периодические линейные группы // Сибирский математический журнал. 1983. № 6. С. 26-35.

11. Hartley B., Shute G. Monomorphisms and direct limits of finite groups of Lie type // The Quaterly Journal of Mathematics Oxford. 1984. Ser. 2. 35. № 137. p. 49-71.

12. Thomas S. The Classification of the simple periodic linear groups // Arch. Math. 1983. Р. 103-116.

13. Dichson L. Linear groups. Leipzig : B. G. Teub-ner, 1901. 312 p.

14. Шлёпкин А. К. Группы Шункова с дополнительными ограничениями / КГТУ. Красноярск, 1998. 187 с.

15. Дицман А. П. О центре р-групп // Тр. семинара по теории групп. 1938. С. 30-34.

16. Шлёпкин А. К. О периодической части некоторых групп Шункова // Алгебра и логика. 1999. № 1. С. 96-125.

17. Рубашкин А. Г., Филиппов К. А. О периодических группах, насыщенных группами L2(pn) // Сибирский математический журнал. 2005. № 6. С. 1388-1392.

References

1. Mazurov V. D. Huhro E. I. Kourovskaya tetrad'. Nereshennye voprosy teorii grupp [The Kourovka notebook. Unsolved problems in group theory]. Novosibirsk, Institut matematiki SO RAN Publ., 2006, 193 p.

2. Cherep A. A. [On the set of elements of finite order in aprimitive finite group]. Algebra i logika. 1987, Vol. 4, P. 518-521 (In Russ.).

3. Kuznetsov A. A., Filippov K. A. [Group, saturated specified set of groups]. Sibirskie elektronnye mate-maticheskie izvestiya. 2011, Vol. 8, P. 230-246 (In Russ.).

4. Busarkin V. M., Gorchakov Ju. M. Konechnye rasshcheplyaemye gruppy [The final split of the group]. Moscow, Nauka Publ., 1968, 113 p.

5. Kargapolov M. I., Merzlyakov Y. I. Osnovy teorii grupp [Fundamentals of group theory]. Moscow, Nauka Publ., 1982, 288 p.

6. Kuznetsov A. A., Lytkina D. V., Tukhvatullin L. R., Filippov K. A. Gruppy s usloviem nasyshchennosti. [Group with the condition of saturation]. Krasnoyarsk, KrasGAU Publ., 2010, 254 p.

7. Lytkina D. V. [The structure of the group the orders of whose elements do not exceed the number 4]. Sibirskiy matematicheskiyzhurnal, 2007, Vol. 2, P. 353-358 (In Russ.).

8. Sanov I. N. [The solution of the Burnside problem for exponent 4]. Uchenye zapiski Leningradskogo gos. un-ta. Ser. matem. 1940, Vol. 55, P. 166-170 (In Russ.).

9. Beljaev V. V. [Locally finite Chevalley groups]. Sb. Issledovaniya po teorii grupp. UNC AN SSSR. [Coll. Research on the theory of groups. UC USSR Academy of Sciences]. 1984, p. 39-50 (In Russ.).

10. Borovik A. V. [The attachment of nite Chevalley groups and periodic linear groups]. Sibirskiy matematicheskiy zhurnal. 1983, Vol. 6, P. 26-35 (In Russ.).

11. Hartley B., Shute G. Monomorphisms and direct limits of finite groups of Lie type. The Quaterly Journal of Mathematics Oxford. 1984, Ser. 2. 35, Vol. 137, P. 49-71.

12. Thomas S. [The classification of the simple periodic linear groups]. Arch. Math, 1983, P. 103-116.

13. Dichson L. Linear groups. Leipzig B. C. Neubner, 1901, 312 p.

14. Shkpkin A. K. Gruppy Shunkova s dopolnitel'nymi ogranicheniyami [The Shunkov groups with additional restrictions]. Krasnoyarsk, KGTU Publ., 1998, 187 p.

15. Ditsman A. P. [On the center of the p-groups] Tr. seminara po teorii grupp [Tr. a seminar on the theory of groups]. 1938, P. 30-34 (In Russ.).

16. Shkpkin A. K. [About periodic part of some groups Shunkov]. Algebra i logika. 1999, Vol. 1, P. 96125 (In Russ.).

17. Rubashkin A. G., Filippov K. A. [On periodic groups saturated with groups L2(pn)] Sibirskiy matematicheskiy zhurnal, 2005, Vol. 6, P. 1388-1392 (In Russ.).

© Пронина Е. А., Шлепкин А. А., 2015