CC BY
16
Серия «Математика»
2016. Т. 16. С. 102—116
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК 512.54 ЫБС 20К01
О периодической группе Шункова, насыщенной конечными простыми группами лиева типа ранга 1 *
А. А. Шлепкин
Сибирский федеральный университет
Аннотация. Понятие насыщенности группы О заданным множеством групп X является естественным обобщением понятия локального покрытия (в классе локально конечных групп) на класс периодических групп. Локально конечная группа, обладающая локальным покрытием, состоящим из конечных простых групп лиева типа, ранги которых ограничены в совокупности, сама является группой лиева типа над подходящим локально конечным полем. Группой Шункова называется группа, в которой любая пара сопряженных элементов порождает конечную подгруппу с сохранением этого свойства при переходе к фактор-группам по конечным подгруппам. Группа О насыщена группами из множества групп X, если любая конечная подгруппа К из О содержится в подгруппе группы О, изоморфной некоторой группе из X. В работе решена проблема строения периодических групп Шункова, насыщенных конечными простыми группами лиева типа ранга 1. Пусть М — множество, состоящие из конечных простых групп Сузуки, Ри, унитарных, проективных специальных линейных групп лиева типа ранга 1. Доказано, что периодическая группа Шункова, насыщенная группами из М, изоморфна простой группе лиева типа ранга 1 над подходящим локально конечным полем. Получено описание силовской 2-подгруппы периодической группы, насыщенной группами из множества групп М, что является необходимым шагом при установлении структуры произвольной периодической группы с данным насыщающим множеством.
Ключевые слова: периодическая группа, группа Шункова, насыщенность группы множеством групп.
* Работа выполнена при финансовой поддержке РФФИ, проект № 16-31-50030 и в рамках государственного задания министерства образования и науки РФ Сибирскому федеральному университету на выполнение НИР в 2014 году, задание № 1.1462.2014/К
1. Введение
Группа О насыщена группами из множества групп X, если любая конечная подгруппа К из О содержится в подгруппе группы О, изоморфной некоторой группе из X [3].
Группы с условием насыщенности изучались В. Д. Мазуровым [5], Л. С. Казариным [10] и Б. Амбергом [10].
В первоначальных исследованиях периодических групп с условием насыщенности предполагалось, что X — некоторое множество конечных простых неабелевых групп. Это привело к постановке вопроса 14.101 в Коуровской тетради [2]:
Верно ли, что периодическая группа, насыщенная конечными простыми группами лиева типа, ранги которых ограничены в совокупности, сама является простой группой лиева типа конечного ранга?
В настоящей работе представлен результат, являющейся важным шагом для получения полного решения приведенного вопроса 14.101 из Коуровской тетради.
Группами лиева типа ранга 1 над полем М являются следующие группы:
Аг^),2 Б2^),2 О2^),2 Л2(Я).
Пусть Q — конечное поле. Имеют место следующие изоморфизмы:
А^) - Ь2(я), п\ = я;
2А2^) - из (я), П\ = я; 2ад) - Бх(22п+1), М = 22п+1;
2О2^) - Вв(32п+1), М = 32п+1.
Положим
М = {12(я), и3(я),Бх(22п+1), Ке(32п+1)},
где я,п не фиксируются (в случае Ь2(я),я > 3), тогда М — множество всех конечных простых групп лиева типа ранга 1.
В данной работе доказана следующая
Теорема. Периодическая группа Шункова О, насыщенная группами из множества М, изоморфна простой группе лиева типа ранга 1 над подходящим локально конечным полем.
Под символом е в данной работе будет пониматься единица группы.
2. Известные факты и определения
Определение 1. Группа О называется группой Шункова (сопряжен-но-бипримитивно конечной группой), если для любой конечной подгруппы И из О в фактор-группе N0(И)/И любые два сопряженных элемента простого порядка порождают конечную группу [3].
Определение 2. Пусть О — группа, К — подгруппа О, X — множество групп. Через Хо(К) будем обозначать множество всех подгрупп группы О, содержащих К и изоморфных группам из X. Если 1 — единичная подгруппа группы О, то Хо (1) будет обозначать множество всех подгрупп группы О, изоморфных группам из X. Если из контекста ясно о какой группе идет речь, то вместо Хо(К) будем писать Х(К), и соответственно вместо Хо (1) будем писать Х(1).
Предложение 1. Периодическая группа Шункова О, в которой все конечные подгруппы абелевы, есть абелева группа.
Доказательство. Действительно, пусть а — произвольный элемент конечного порядка из О. Предположим, что \а\ — простое число. Тогда (а, а9} — конечная абелева группа для любого д € О. Следовательно, N1 = (а9\д € О} — абелева нормальная подгруппа группы О. В силу произвольного выбора а как элемента простого порядка, получим, что все элементы простых порядков из О порождают абелеву нормальную подгруппу N2 группы О, и более того, любой элемент из N2 перестановочен с любым элементом д € О. Очевидно, N2 < 2(О), значит группа С = С/N2 — группа Шункова. Ясно, что для С условие предложения выполняется. Используя индукцию по порядку а, получаем, что О — абелева группа. □
Предложение 2. Пусть О — группа Шункова, насыщенна группами из множества {Ь2(рп)}. Тогда О — Р2(М) для подходящего локально конечного поля М [6].
Предложение 3. Пусть О — группа Шункова, насыщена группами из множества { и3(рп)\ р — нефиксированное простое, п — нефиксированное натуральное число }. Тогда О — и3(Р), где Р — локально конечное поле [9].
Предложение 4. Пусть периодическая группа О насыщена конечными простыми неабелевыми группами, и в любой её конечной 2-подгруп-пе К все инволюции из К лежат в центре К. Тогда О изоморфна одной из следующих групп: <11,Ь2(М),Ке(М),и3(М),Бг(М) для подходящих локально конечных полей М [7].
Предложение 5. Пусть и = и3(я), где я = Рп, и р — нечетное простое число. Тогда выполняются следующие свойства:
1. и содержит подгруппу Б = Б1 х Б2, где Б1 = {(1), Б2 = {(2),
( 100 \ / в 00 (к = 0 в 0 , (2 = 0 в-2 0 \00 в-1/ \0 0 в
/3 — элемент порядка д + 1 из ОР{д2), \0\\ = д + 1 и \И2\ = ■рг^+ху-
2. и содержит подгруппу V = {Ь, -ш\Ь3 = ад2 = е, Ъ'ш = Ь-1), где
( 0 -10 \ (001 Ь = 0 0 1 , w = 0 -10
4-100/' 4100
3. и содержит подгруппы А = {г) х {) и В = ^) х {]), где w — инволюция, определенная в пункте 2,
( 10 0 г = 0 -1 0 40 0 -1
— инволюция из (),
' - 10 0
1 = 0 10 4 0 0 -1
— инволюция из {(2). А — четверная группа, Мц (А) = Сц (А) X V, квадраты элементов из Мс(А), порядок которых не равен трем, содержатся в Сц(А) и Сц(А) = Б.
4. Мц(Б) = Мц(А) = Б X V.
5. Существует V € и, для которого 1" = 1, г" = w, где г определены в пунктах 2, 3.
6. Если д + 1 не делится на 4, то силовская 2-подгруппа группы и изоморфна полудиэдральной группе БВ(т) = {а, Ь \ а2 = Ь2 = е, аь = а-1+2т }, где 2т делит д — 1, 2т+1 не делит д — 1.
7. Если д + 1 делится на 4, то силовская 2-подгруппа группы и изоморфна сплетённой группе Шг(ш) = {а1, а2, Ь \ а2 = а2 = Ь2 = е, а1а2 = а2а1, а\ = а2, аъ2 = а1}, где 2т делит д + 1, 2т+1 не делит д + 1.
8. Все четверные подгруппы из и сопряжены, и содержит элемент порядка 8, и любая 2-подгруппа из и, порядка не менее 32, содержит элемент порядка 8.
9. Если д = 5, то и = {Мц(А),Мц(В)). Если д = 5, то
{Мц (А),Мц (В ))~А7. Здесь А, В — группы, определенные в пункте 3.
Доказательство. Свойства 1-8 хорошо известны. Свойство 9 вытекает из списка максимальных подгрупп в и (см. [11, стр. 379]). □
3. Доказательство теоремы
Предположим обратное, и пусть С — контрпример.
Лемма 1. Пусть периодическая группа R насыщенна группами из множества M, тогда силовская 2-подгруппа S группы R одного из следующих видов:
1. S = {a2 = v2 = l,av = a2 -1} — полудиэдральная группа (S изоморфна силовской 2-подгруппе U3(q), где q = 1mod4.)
2. S = {a,w\a2 = b2 = w2 = e,aw = b,ab = ba} — сплетенная 2-группа.(>в изоморфна силовской 2-подгруппе U3(q), где q = —1 (mod 4).)
3. S — конечная элементарная абелева 2-группа ранга не менее трех.
4. S — группа диэдра.
5. S изоморфна силовской 2-подгруппе группы Sz(2n+1) для подходящего п.
6. S изоморфна силовской 2-подгруппе группы U3(2n) для подходящего п.
7. S — бесконечная группа периода не более 4, и все инволюции из S лежат в Z(S).
8. S = SK, где S — полная абелева 2-группа ранга не более 2, K — группа порядка не более 2.
Доказательство. Доказательство леммы аналогично доказательству теоремы 1 из [9].
□
Положим
N = {L2(2n); Re(32n+1); U3(22n); Sz(22n+1); L2(q),q = 3, 5 (mod 8)}, A = {L2(q), q — нечетно и q = 3, 5 (mod 8)}, B = {U3 (q),q — нечетно}.
Лемма 2. Для M(1) возможны только следующие взаимоисключающие случаи:
(A) M(1) С N(1).
(B) M(l) С N(1) U A(1), где A(1) = 0.
(C) м(1) С N(1) U B(1), где B(l) = 0, и, существует такой X е N(1), что для любого Y е B(1), X £ Y.
(D) M(1) С N(1) U (B(1) U A(1)), где B(1) = 0, A(1) = 0, и существуют такие X е A(1),Z е N(1), что X,Z не являются подгруппами Y ни для какого Y е B(1).
Доказательство. Несложное следствие определения множеств M, N, А, В. □
Дальнейшее доказательство теоремы проведем отдельно для каждого из случаев перечисленных в лемме 2.
Доказательство теоремы для случая (А)
Для данного случая теорема доказана по предложению 4.
Доказательство теоремы для случая (В)
Пусть S — силовская 2-подгруппа группы G. Рассмотрим ситуацию когда S — конечная группа. Тогда S — одного из видов 1-6, указанных в лемме 1.
Так как A(1) = 0, то S содержит конечную группу диэдра порядка более 4, следовательно, S не может быть вида 3, 5, 6. Если S — вида 1 или 2, то N(1) U A(1) содержит X ~ U3(q) для некоторого нечетного q, что невозможно. Следовательно, для любого X £ M(1),X ~ L2(q). По предложению 5 G ~ Ь2 (Q) для подходящего локально конечного поля Q.
Теперь рассмотрим ситуацию, когда некоторая S — бесконечная группа. Тогда все силовские 2-подгруппы из G бесконечны. Поскольку A(1) = 0, то всегда найдется S вида 8. Предположим, что в G найдется силовская 2-подгруппа Si вида 7. Можно считать, что |S П Si| больше любого наперед заданного числа. Последнее означает, что S П S1 содержит элемент порядка 8 , что невозможно, поскольку Si — периода 4 . Таким образом, G не может содержать силовских 2-подгрупп вида 7. Следовательно, для любого X £ M(1),X ~ L2(q), и по предложению 2 G ~ L2(Q) для подходящего локально конечного поля Q. Теорема для случая (В) доказана.
Доказательство теоремы для случая (C)
В приведенных ниже леммах 3-6 уточняется строение контрпримера G и насыщающего множества M.
Лемма 3. G — бесконечная не локально конечная группа.
Доказательство. Действительно, в противном случае теорема доказана по [1]. Противоречие с выбором G. □
Лемма 4. M(1) содержит бесконечно много неизоморфных групп.
Доказательство. Так как G содержит бесконечную локально конечную подгруппу, то порядки групп из множества M(1) не ограничены в совокупности, т. е. M(1) содержит бесконечно много неизоморфных конечных подгрупп. □
Лемма 5. N(1) = 0, и для любого X £ N(1),X ~ L2(q),q = 3, 5 (mod 8).
Доказательство. Предположим обратное. Пусть Sx — силовская 2-подгруппа из X. Тогда Sx — одного из вида 3, 5, 6, перечисленных в лемме 1. Поскольку мы можем считать, что Sx ^ S, то мы приходим к противоречию со структурой X. □
Лемма 6. B(1) содержит бесконечно много неизоморфных групп.
Доказательство. Пусть A — четверная подгруппа из G. Если Ng (A) — конечная группа, то для любой инволюции x е G Cg(x) — бесконечная локально диэдральная группа и B(1) = 0, что невозможно. Следовательно, Ng (A) — бесконечная группа, и множество B(1) содержит бесконечно много неизоморфных групп.
□
В приводимых ниже леммах 7—12 на основе свойств инволюций и четверных групп мы получаем структуру централизатра четверной подгруппы группы G.
Лемма 7. Все инволюции в G сопряжены.
Доказательство. Пусть x,y — две различные инволюции из G. Так как G — периодическая группа, то {x, y} — конечная группа. По условию насыщенности {x,y} С K е M(1). По лемме 4 K изоморфна одной из групп множества {U3(q),L2(г)}, где q — нечётно, r = 3, 5 (mod 8). Следовательно, x, y сопряжены в K. Поскольку K С G, то x,y сопряжены в G. □
Лемма 8. Все четверные подгруппы из G сопряжены.
Доказательство. Пусть A,B — две различные четверные подгруппы из G. По лемме 7 все инволюции из G сопряжены, следовательно, для некоторого g е G, A П B9 = e. Если A = B9, то все доказано. Пусть A = B9. Но тогда фактор-группа {A,B9}/(A П B9) — конечная группа, как подгруппа периодической группы, порожденная двумя инволюциями. Следовательно, {A,B9} — конечная группа. По условию насыщенности {A,B9} С K е M(1). По лемме 4 K изоморфна одной из групп множества {U3(q),L2(r)}, где q — нечётно, r = 3, 5 (mod 8). Следовательно, А, В9 сопряжены в К. Поскольку К С G, то А, В сопряжены в G. □
По лемме 6 в M(1) найдётся группа, изоморфная U3(q), где q > 5 и нечётно. Отождествим указанную группу с U из предложения 5 и будем использовать обозначения этого предложения : i,j,w,b,A,V,B. Пусть N = Ng (A), Ca = Cg(A), Cb = Cg(B ).
Лемма 9. N = CA X V.
Доказательство. Очевидно, Ca X V С N. Докажем обратное включение. Пусть g е N. Тогда для некоторого v е V, A9 = Av и a9 = av для любого a е A. Следовательно, a9v = a,gv-1 = c е CA,g = cv е С а X V. □
Лемма 10. Ca является бесконечной абелевой счетной группой ранга 2.
Доказательство. Пусть К — конечная подгруппа из С а- По условию насыщенности К С К — {и3(д)}. По предложению 5 (пункт 4) Си(Л)
— абелева группа ранга 2, следовантельно, К — абелева группа ранга не более 2. В силу произвольности выбора К, как конечной подгруппы из С а , получаем, что все конечные подгруппы из С а абелевы ранга не более 2. По предложению 1 С а является бесконечной (лемма 6) абелевой группой ранга 2 и является счетной. □
Лемма 11. Если для любой конечной подгруппы К из С а существует такая подгруппа К, что К С К € М(1) и
К — {Щ(1)\(3,1 + 1) = 1},
то С а = С х С', где С — локально циклическая группа.
Доказательство. Рассмотрим конечную подгруппу К С С а X (и}. По условию насыщенности (Л, К, и} С К € М(1), где К — из условия леммы. По предложению 5 (пункт 1-4), К С Ся(Л)X(и} = ((с} х (с'})X(и}
— сплетение циклической группы (с} при помощи группы (и} . В силу произвольности выбора К как конечной подгруппы из С а X (и} получаем, что С а X (и} насыщена сплетениями конечных циклических групп при помощи группы порядка два. По [8] С а X (и}=(С х С') X (и} — сплетение бесконечной локально циклической группы С при помощи группы («;}, Са = С х С'ш. □
Лемма 12. Если в С а существует конечная подгруппа К такая, что для любого К со свойством К С К € М(1) всегда
К — {из(1)\(3, д + 1) =3},
то С а = СС', где С — бесконечная локально циклическая группа, и С П С' = (й} — циклическая группа порядка 3 такая, что фактор-группа С а/(й} = С/(й} х С ' /(й}.
Доказательство. Пусть К — конечная подгруппа из условия леммы. По условию насыщенности (Л, К, и} С К € М(1). Из условия леммы и предложения 5 (пункты 1-4) вытекает, что СяА^и = ((с}(с'})X(и}, где Ся(Л) = ((с}(с'}), (с}П(с'} = (й} — циклическая подгруппа порядка 3, й' = й-1, и фактор-группа Си(Л)/(й} = (с}/(й} х (с' }/(й}. Поскольку С а — абелева группа (лемма 10), то (й} — нормальная подгруппа в С а X (и}. Несложно видеть, что фактор-группа (са X (и})/(й} насыщена сплетениями конечных циклических групп при помощи группы порядка 2. По [8] (СА X {и)})/{(1} = (С х С ) X (и;), где С — бесконечная локально циклическая группа. Следовательно, са X (и}=(СС') X (и}, где са =
СС', С — бесконечная локально циклическая группа, и С П С' = (й}.
□
В приводимых ниже леммах 13-16 доказывается существование бесконечной подгруппы и группы С, изоморфной некоторой унитарной группе степени три над подходяшим локально конечным полем.
Лемма 13. В С существует бесконечная последовательность групп
Ш1,Ш2, ••• ,Мп, ■■■
со следующими свойствами:
1. А С Мп е М(1) для любого п = 1, 2, 3,....
2. (А) С Мы2(А) С ••• С Ыып(А) С ....
те
3. N = у Ммп(А).
п=1
Доказательство. Так как С а — счетная группа (лемма 10), то С а = {е\, е2,..., ст,...}. По леммам 9, 10 N — локально конечная группа. Следовательно, {А,в\,У) — конечная группа. По условию насыщенности (А,е\, V) С М1 е В(1). По предложению 5 (пункты 1 — 4),
Nм1 (А) = Б(1) X V,
где = См1 (А). Возьмем элемент ст1 е {Са\См1 (А)} с минимально возможным значением номера Ш1. Поскольку N — локально конечная группа, то Nм1 (А), ст1) — конечная группа. По условию насыщенности
^м1 (А),ст1) С М2 е М(1). По предложению 5 (пункты 1-4),
Nм2 (А) = Б(2) X V,
где Б(2) = См2(А). Ясно, что Nм1 (А) С Nм2(А).
Предположим, что для п ^ 2 группа Мп е М(1) построена. Возьмем элемент стп_ 1 е {Са \ Сц(„) (А)} с минимально возможным значением номера шп-1. Следовательно, (А),стп-1) — конечная группа. По условию насыщенности
Nмп (А),Стп-1) С Мп+1 е М(1). Как отмечалось выше
Nмn+l (А)= Б(п+1) X V,
где Б(п+1 = Смп+1 (А). Ясно, что Nмn(А) С Nмn+l(А). Действуя подобным образом, мы получаем последовательность
М1,М2, ■■■ ,Мп, ■■■ ,
обладающую свойством 1 из условия леммы. По построению Мм-1 (Л) с Мм2(Л) с ••• С Ммп(Л) с ...,
и свойство 2 также выполняется. Поскольку ст € У Nмп (Л) для лю-
п=1
X
бого т, и V С NMn (Л) для любого п, то N = и NMn (Л) и свойство 3
п=1
доказано.
□
Зафиксируем последовательность групп {М1, М2, • • • Мп, • ••} из леммы 13.
Лемма 14. Пусть Са из леммы 11. Тогда
1. Для любой конечной подгруппы К = (/} х (д} из С а такой, что \/\ = \д\ = т, К = Н, где Н = (г} х (г'} — подгруппа из Са, г € С и \г\ = т.
2. Без ограничения общности можно считать, что для любой
Мк € {М1 ,М2, •••Мп, •••}, Мк — {Цз(1)\(3,1 + 1) = 1}-
Доказательство. 1. По лемме 11 С а = С х С', где С — локально циклическая группа. Следовательно, / = сс для некоторых с1 € С и с2 € Сзначит, е = /т = с^сV?. Так как С П С' = е, то с^ = с= е, с1 € (г},с2 € (г'} и / € Н. Точно также показывается, что д € Н. Так как \Н\ = \К\, то Н = К. Положим г = с1.
2. Дословное повторение рассуждений леммы 13 с учетом того факта, что Мп выбирается согласно условиям леммы 11. □
Лемма 15. Пусть Са из леммы 12. Тогда
1. Для любой конечной подгруппы К = (/}(д} из С а такой, что \/\ = \д\ = т, и (й} = (/} П (д} имеет место равенство Н = К, где Н = (т}(т'ш } — конечная подгруппа из С а , г € С, \г\ = т и (й} = (г} П (г'}.
2. Без ограничения общности можно считать, что для любой
Мк € {М1 ,М2, •••Мп, •••},
Мк — {из(1)\(3,1 + 1) = 3}.
Доказательство. 1. По лемме 12 Са = СС', где С — локально циклическая группа , фактор-группа Са/(Ф} = С/(й} х С'/ (й} — прямое произведение двух изоморфных локально циклических групп. Так как й € Н П К, то Н/(й} — К/(й}. Далее, рассуждая как в предыдущей лемме, получаем, что Н/(й} = К/(й}, значит, Н = К.
2. Дословное повторение рассуждений леммы 13 с учетом того факта, что Мп выбирается согласно условиям леммы 12.
□
Лемма 16. В С существует подгруппа М такая, что
1. М ~ и$(0) для подходящего бесконечного локально конечного поля Q нечетной характеристики.
2. А С М.
3. Для любой четверной подгруппы Р С М, N0 (Р) = Nм (Р).
Доказательство. По построению В = ('ш) х () С Мп для любого п. Из лемм 3-6 вытекает, что для любого п Nмn(В) С В) = Со(В) X VI, где V1 изоморфна группе V . Покажем, что
См1 (В) С См2(В) С ■■■ С См„(В) С ....
Действительно, Смп(А) С Смп+1 (А) С Со(А) для любого п. По лемме 3, А9 = В для некоторого д е С. Поскольку
(Смп(А))9 С (Смп+1 (А))9 С (Сс(А))9,
(См„ (А))9 = Смц (А9 ) = Смц (В), (См„+1 (А))9 = См°+1 (А9)) = См°+1 (В) (Сс(А)9 = Сая (А9 ) = Со(В),
то
См,9(В) С См?++1 (В) С Со(В).
Так как Смп (В) ~ Смп (А) ~ См9 (В) и Смп (В) С Со(В), то по леммам 11, 12 Смп (В) = Смя (В) для любого п. Следовательно, Смп (В) С Смп+1 (В) для любого п, что и требовалось. В силу бесконечности последовательности {М1,М2, ...Мп,...} можно считать, что для любого п Мп не изоморфна и3(5). Следовательно, Мп = Nмп (А),Смп (В)) (предложение 5 (пункт 9) и с учетом леммы 13 (пункт 2)
М1 С М2 С ■■■ С Мп С ■■■ .
По [1] М = и^=1 Мп ~ и3^) для подходящего бесконечного локально конечного поля Q нечетной характеристики, и пункт 1 доказан. Пункт 2 очевиден. Поскольку А и Р сопряжены в М, то для некоторого х е М, А = Рх и Nм(А) = Nм(Рх) = Шм(Р))х. Из равенства М = Ц^ Мп и леммы 13 (свойство 3) получаем, что Nм(А) = N. Следовательно, N = ^м (Р ))х,
Nм(Р) = ТN)х-1 = (ах-1 | а е N) = ^(Р). Пункт 3 доказан. □
Заключительная часть доказательства случая С (леммы 17-19) посвящена доказательству совпадения группы и с группой С.
Лемма 17. Пусть К € В(1) и КПМ содержит четверную подгруппу С. Тогда К С М.
Доказательство. По лемме 16 (пункт 3) NR(C) С К П М. По предложению 5 (пункты 1-4), NR(C) содержит четверную подгруппу Н, отличную от С. По лемме 13 (пункт 3) Н С NR(Н) С ^м(Н)) С М. Таким образом, Б = (Н)} С М и поскольку Б = К, то К —
из(5) и Б — Л7 — максимальная подгруппа в К (предложение 5 (пункт 9). Пусть теперь Т — силовская 2-подгруппа из Б, содержащая С,Н. Поскольку Т является группой порядка 8, а силовская 2-подгруппа из К является группой порядка 16, то возьмем х € (^н(Т) \ Т) со свойством х € М, но х2 € Т. Поскольку силовская 2-подгруппа из М имеет порядок больше 8 (предложение 5 (пункты 7, 8)), то возьмем у € Nм (Т) \ Т) со свойством у2 € Т. Так как С — периодическая группа, то (х,у,Т} — конечная группа. Силовская 2-подгруппа из (х,у,Т} содержит полудиэдральную группу, следовательно, по условию насыщенности (х,у,Т} С К1 € В(1). Поскольку х € К1, но х € М, то К1 не лежит в М. Очевидно, К1 не изоморфна из(5), следовательно, К1 = (С(Н)} С М (лемма 16 (пункт 3)), что невозможно.
□
Лемма 18. Пусть г — инволюция из М, Ь — элемент нечетного порядка из Со(г). Тогда Ь € М.
Доказательство. Предположим обратное. Пусть \ Ь \= р — простое число. Для любой инволюции х € См (г) группа (Ь,ЬХ, г} конечна. По условию насыщенности и лемме 17 (Ь, х,г} < К — Ь2(д), д = 3, 5(той 8). Тогда Ск(г) — группа диэдра. Следовательно, (Ь} = (ЬХ} = (Ь}Х и (х}1(См(г)), где I(См(г)) — подгруппа из См(г), порожденная всеми ее инволюциями, есть локально конечная группа. Возьмем в См (г) подгруппу К1 — Си2(д). Рассмотрим подгруппу I(К1), порожденную всеми инволюциями из К1 . По условию насыщенности конечная группа (Ь}1 (К1) < К2 — Ь2(д), д = 3, 5(той 8) и (Ь}1 (К1) < Ск2(г) Но в Ь2(д) любая неабелева подгруппа из цетрализатора инволюции — группа диэдра, а (Ь}1 (К1) < Ск2 (г) таковой не является. Противоречие. Пусть теперь \ Ь \ — не простое число. Так как С — группа Шункова, то (Ь, г} — конечная группа из Со (г). Далее рассуждая как в случае \ Ь \= р, приходим к противоречию. □
Лемма 19. М = С.
Доказательство. Пусть X — из леммы 2 (случай С). По лемме 8 можно считать, что X П М = Nx (Л) — Л4. Если X не изоморфна Л5, то из
списка максимальных подгрупп X ([11], стр. 377) и леммы 18 вытекает равенство X = (Сх(х),Сх(у)) С М и X С К С М, К ~ из(д), — нечетно, а х,у — различные инволюции из А. Противоречие с выбором X. Пусть X ~ А5. Возьмем элемент Ь порядка 3 из Nх(А) и инволюции V е Nх((Ь)), ■ е Nм((Ь)). Ясно, что (Ь,у) = (Ь,ш). По условию насыщенности конечная группа ^,ш,Ь) С Я е В(1). Так как Си(■) ~ Си2(д), для некоторого нечетного д, то из леммы 18 вытекает, что Я П М содержит четверную подгруппу. Следовательно, по лемме 18 Я С М. Противоречие с выбором Я. Таким образом, М = В и по
предложению 2 С ~ и3(0) для некоторого локально конечного поля Q.
□
Теорема для случая (С) доказана.
Доказательство теоремы для случая (Ю)
Пусть X — из леммы 2 (случай Ю). Без ограничения общности можно считать, что X П М = Nх(А). Здесь А — четверная подгруппа из X. Пусть В — другая четверная подгруппа из Nх(А). Ясно. что Nх (В) С М (лемма 17, пункт 3). Из списка максимальных подгрупп группы X ([11], стр. 377) и предложения 13 следует, что, либо X = Nх(А)^х(В)) С М и X С К С М, К ~ и3(д), д — нечетно, либо X = (Сх(х),Сх(у)) С М и X С К С М, К ~ и3(д), д — нечетно, а х,у — различные инволюции из А. Противоречие с выбором X. Таким образом, случай (Ю) сводится к случаю (С), доказанному выше.
Случай (Ю) доказан.
Теорема доказана. □
Список литературы
1. Беляев В. В. Локально конечные группы Шевалле / В. В. Беляев // Исследования по теории групп, изд. УНЦ АН СССР. - Свердловск, 1984. -С. 39-50.
2. Коуровская тетрадь. Нерешенные вопросы теории групп. - 16-е изд. - Новосибирск : Изд-во ИМ СО РАН, 2006.
3. Кузнецов А. А. Группы, насыщенные заданным множеством групп / А. А. Кузнецов, К. А. Филиппов // Сиб. электрон. мат. изв. - 2011. - Т. 8. - С. 230246.
4. Лыткина Д. В. О группах, насыщенных конечными простыми группами / Д.
B. Лыткина // Алгебра и логика. - Т. 8, № 2. - 2009. - Р. 523-628.
5. Мазуров В. Д. Периодические группы, насыщенные группами Ь3{2гп), / В. Д. Мазуров, Д. В. Лыткина // Алгебра и логика. - Т. 46, № 5. - 2007. - С. 606-626.
6. Рубашкин А. Г. О периодических группах, насыщенных группами Ь2(рп) / А. Г. Рубашкин, К. А. Филиппов // Сиб. мат. журн. - 2005. - Т. 46, № 6. -
C. 1388-1392.
7. Филиппов К. А. О периодических группах, насыщенных конечными простыми группами / К. А. Филиппов// Сиб. мат. журн. - 2012. - Т. 53,№ 2, С. 430-438.
8. Шлепкин А. А. Периодические группы, насыщенные сплетенными группами / А. А. Шлепкин // Сиб. электрон. мат. изв. - 2013. - № 10. - C. 56-64.
9. Шлепкин А. А. О периодических группах и группах Шункова, насыщенных унитарными группами степени три / А. А. Шлепкин // Тр. Ин-та математики и механики УрО РАН. - 2016. - (в печати).
10. Amberg B. Periodic groups saturated by dihedral subgroups / B. Amberg, L. Kazarin // Book of abstracts of the international algebraic conference dedicated to 70-th birthday of Anatoly Yakovlev. - Saint-Petersburg, 2010. - P. 79-80.
11. Bray J. N. The Maximal Subgroups of the Low - Dimensional Finite Classical groups / John N. Bray, Derek F. Holt, Colva M. Ronty-Dougal. -Cambridge university press., 2013. - P. 319-325.
Шлепкин Алексей Анатольевич, кандидат физико-математических наук, доцент, кафедра прикладной математики и компьютерной безопасности, Институт космических и информационных технологий, Сибирский федеральный университет, 660041, Красноярск, пр. Свободный, 79. (e-mail: shlyopkin@mail.ru)
A. A. Shlepkin
About Periodic Shunkov Group Saturated with Finite Simple Groups of Lie Type Rank 1
Abstract. The property of group G to be saturated with given set of groups X is a natural generalization of locally-cover definition (in class of locally finite groups) on periodic groups. Locally-finite group, witch has a locally-cover contains from finite simple Lie type groups of finite rank, is a Lie type group on some locally finite field. We call group "Shunkov group" if every pair of conjugate elements generate finite subgroup, and this property saves after crossing on factor groups by finite subgroups. Group G saturated with groups from the set X, if every finite subgroup K from G contains in some subgroup G isomorphic to some group from X. In our work we solved the problem of building periodic Shunkov groups saturated with finite simple Lie groups of rank 1. Let M — is a set contains from finite simple groups Suzuki, Re, Unitary, Linear of Lie type rank 1. We proved that periodic Shunkov group saturated with groups from set M is isomorphic to simple group of Lie type rank 1 for some locally finite field Q. Also we got a description of Sylow 2-subgroup of periodic group saturated with groups from M, what is a necessary step in establishing of structure arbitrary periodic group with given saturation set.
Keywords: Periodic groups, groups saturated with the set of groups, Shunkov group.
References
1. Belyaev V.V. Locally finite Shevalle groups Explorations in group theory. Sverdlovsk, Ural science center AS USSR, 1984, pp. 39-50.
2. Kourovka notebook, Unsolved questions of group theory. 16 ed. Novosibirsk, Institute of mathematics SB RAS, 2006.
3. Kuznetcov A.A., Filippov K.A. Groups saturated with given set of groups. Siberian electronic mathematical reports, 2011. vol. 8, pp. 230-246.
4. Lytkina D.V. About groups saturated with finite simple groups. Algebra and logic, 2009, vol. 48 no 2, pp. 523-628.
5. Mazurov V.D. Periodic groups, saturated with L3(2m),. Algebra and logic, 2005, vol. 46, no 5, pp. 606-626.
6. Rubashkin A.G., Filippov K.A., About periodic groups saturated with groups L2(pn). Siberian mathematical journal, 2005, vol. 46 no 6, pp. 1388-1392.
7. Filippov K.A. About periodic groups saturated with finite simple groups. Siberian mathematical journal, 2012, vol. 52, no 2, pp. 430-438.
8. Shlepkin A.A. Periodic groups, saturated with wreath groups. Siberian electronic mathematical reports, 2013, vol. 10, pp. 56-64.
9. Shlepkin A.A. About periodic and Shunkov groups saturated with unitary groups of degree three. Proceedings of Institute of mathematics and mechanics Ural science center RAS, in print.
10. Amberg B., Kazarin L. Periodic groups saturated by dihedral subgroups. Book of abstracts of the international algebraic conference dedicated to 70-th birthday of Anatoly Yakovlev. Saint-Petersburg, 2010, pp. 79-80.
11. John N. Bray, Derek F. Holt, Colva M. Ronty - Dougal. The Maximal Subgroups of the Low - Dimensional Finite Classical groups. Cambridge university press, 2013, pp. 319-325.
Shlepkin Alexey Anatolievich, Candidate of Sciences (Physics and Mathematics), Siberian Federal University, 79, Svobodny pr., Krasnoyarsk, 660041, (e-mail: shlyopkin@mail.ru)
