CC BY
10
Онлайн-доступ к журналу: http: / / mathizv.isu.ru
Серия «Математика»
2018. Т. 24. С. 51-67
УДК 512.54 МЭС 20К01
Б01 https://doi.org/10.26516/1997-7670.2018.24.51
О группах Шункова, насыщенных конечными простыми группами *
А. А. Шлепкин
Сибирский федеральный университет, Красноярск, Российская Федерация
Аннотация. Строение бесконечной группы, содержащей элементы конечного порядка, в значительной степени зависит от строения конечных подгрупп рассматриваемой группы. Одним из эффективных условий исследования бесконечной группы, содержащей элементы конечного порядка, является использование условия насыщенности группы некоторым множеством групп. Группа, насыщена группами из множества, если любая конечная подгруппа из данной группы содержится в подгруппе данной группы изоморфной некоторой группе из указанного множества. Группа называется группой Шункова, если для любой конечной подгруппы в фактор-группе нормализатора по ней любые два сопряженных элемента простого порядка порождают конечную группу. Если множество элементов конечного порядка группы является подгруппой, то она называется периодической частью группы. Доказывается, что группа Шункова 2-ранга 2, насыщенная конечными простыми неабелевыми группами, обладает периодической частью, которая является простой локально конечной группой 2-ранга 2. Доказано, что если группа Шункова насыщена конечными простыми неабелевыми группами, и в любой её конечной 2-подгруппе все инволюции из подгруппы лежат в её центре, то сама группа обладает периодической частью, которая является простой локально конечной группой, и в любой конечной 2-подгруппе из периодической части все инволюции также лежат в центре.
Ключевые слова: насыщенность группы множеством групп, группа Шункова.
Пусть X — некоторое множество групп. Группа О насыщена группами из множества X, если любая конечная подгруппа из О содержится в подгруппе группы О, изоморфной некоторой группе из X [14].
1. Введение
* Работа выполнена при финансовой поддержке РФФИ, грант 18-31-00257.
Напомним, что группа G называется группой Шункова (сопряженно-бипримитивно конечной группой [7;8]), если для любой конечной подгруппы Н из G в фактор-группе Nq{H)/H любые два сопряженных элемента простого порядка порождают конечную группу. Если множество элементов конечного порядка группы G является подгруппой, то она называется периодической частью группы G и обозначается T(G). ( [2], с. 90, 150). Пусть G — группа, К — подгруппа G, X — множество групп. Через Хс{К) будем обозначать множество всех подгрупп группы G, содержащих К и изоморфных группам из X. Если 1 — единичная подгруппа группы G, то Э£<;(1) будет обозначать множество всех подгрупп группы G, изоморфных группам из X. Если из контекста ясно о какой группе идет речь, то вместо Хс{К) будем писать Х(К), и соответственно вместо Э£<;(1) будем писать Э£(1).
Группа G называется группой 2-ранга 2, если её максимальные элементарные абелевы 2-подгруппы имеют порядок 4. Как показали Аль-перин, Брауэр и Горенстейн, конечными простыми группами 2-ранга 2 с точностью до изоморфизма являются следующие группы: ¿2(5), Aj, L3(р), Us(r), Мц, Us(4), где q,p, г — нечетные и q > 3 [16; 17]. В [6] анонсирована теорема, устанавливающая структуру периодических групп 2-ранга 2, насыщенных конечными простыми группами. В приводимой ниже теореме этот результат переносится на класс групп Шункова 2-ранга 2.
Теорема 1. Пусть G — группа Шункова 2-ранга 2, насыщенная конечными простыми неабелевыми группами. Тогда G обладает периодической частью T(G), изоморфной одной из групп
L2(Q), А7, L3(P), Us(R), Мц, С/з(4),
где Q, Р, R — всевозможные локально конечные поля нечетных характеристик, и >3.
В [9] установлена структура периодической группы, насыщенной конечными простыми неабелевыми группами, в которой любая конечная 2-подгруппа содержит все свои инволюции в своем центре. В приводимой ниже теореме устанавливается структура группы Шункова с подобным насыщающим множеством и аналогичным ограничением на конечные 2-подгруппы.
Теорема 2. Пусть группа Шункова G насыщена конечными простыми неабелевыми группами, и в любой её конечной 2-подгруппе К все инволюции из К лежат в центре К. Тогда G обладает периодической частью T(G), изоморфной одной из групп множества
{Ji, L2(Q), Re(P),Us(R), Sz(F)\Q, Р, R, F — локально конечные поля}.
2. Доказательство теоремы 1
Пусть С — контрпример. Положим 21 = {¿2(<?) I Я > 3, д — нечётное}, © = {¿з(р),^з(г) | Р,Г - нечётные}, £ = { А7, Мп, С7"з(4)>, Ш1 = 21 и © и С.
Лемма 1. 1. — насыщающее множество для группы О, и не существует группы К, для которой одновременно выполнено К ~ Н, Н € 21, Я € 53 « Я е С.
2. £Щ(1) = 21(1) и ©(1) и £(1) ф 0, и существует такая группа X € 21(1) и £(1), что X -¡СУ ни для какой группы У € ©(1)-
Доказательство. Первое утверждение леммы вытекает из [16; 17] и определения множеств Ш1(1), 21(1), ©(1), £(1). Второе утверждение леммы вытекает из условия насыщенности и [4]. Лемма доказана.
На протяжении лемм 2 — 10 будет предполагаться, что в С существует четверная группа Р такая, что Сс{Р) содержит бесконечно много элементов конечного порядка и, как следствие, содержит бесконечную локально конечную подгруппу [11].
Лемма 2. £Щ(1) не содержит групп, изоморфных С/з(4). Доказательство.
Предположим обратное, К € Ш1(1) и К ~ С/з(4). Пусть — си-ловская 2-подгруппа из К. Тогда ¿>д — силовская 2-подгруппа в О. Следовательно, Ш1(1) = {С/з(4)}. Из того факта, что Сс(-Р) содержит бесконечную локально конечную подгруппу, вытекает, что множество ®Т(1) содержит группы сколь угодно большого порядка, что невозможно.
Лемма доказана.
Лемма 3. ©(1) содержит бесконечно много неизоморфных подгрупп.
Доказательство. Так как Сс(-Р) содержит бесконечную локально конечную подгруппу, порядки централизаторов четверных подгрупп из групп, являющихся элементами множества 21(1) и £(1) ограничены в совокупности, то из [4] вытекает, что множество ©(1) содержит группы сколь угодно большого порядка. Лемма доказана.
По лемме 3 в С найдётся подгруппа К, изоморфная 11з(д), гДе <7 нечётно, или Ьз(д), где д нечётно. Отождествим указанную группу К с Ь из [4, предложение 1] и будем далее использовать обозначения этого предложения: г, «;, Ъ, А, V, В. Пусть N = Са = Сс(А),
Св = Сс(В).
Лемма 4. Все четверные подгруппы из О сопряжены.
Доказательство. Данное утверждение доказывается аналогично доказательству леммы 8 из [13] с учетом предложения 20 из [3] и того факта, что все инволюции из О сопряжены. Лемма доказана.
Лемма 5.ВО существует подгруппа М, обладающая следующими свойствами:
1. М ё {Ьз(К), С7з(Р)} для подходящих бесконечных локально конечных полей К, Р нечётных характеристик, и М — собственная подгруппа группы О.
2. N < М, и для любой четверной подгруппы X < М, Т(ЛГсрО) = ХМ(Х).
3. Силовские 2-подгруппы из М сопряжены.
4. Пусть Бм — силовская 2-подгруппа группы М. Тогда Бм — силовская 2-подгруппа группы О.
5. Г(ЛГС(М)) = М.
Доказательство. 1. По построению У,А,В< Мп для любого п. Выберем V € МП1 для которого р = = ги, и У\ € Мп+1, для которого Г1 = 3, г"1 = ги. Тогда глгг1 = с € СА, гл = сг;, < Мга+1
и См=+1(^4) = СМп+1(А). По построению СМп+1(А) > смп{А)- Следовательно, (С'мп+1(^4))г' > Смп(В). Таким образом, Смп(В) < Мп+ь В силу того, что \Мп\ > |С/з(5)| для любого п, получаем
Мп = (КМп(А),СМп(В)) ~
подгруппа {Xмп+1{А), Смп+1{В)) = Мп+ь Следовательно,
Мг < М2 < ... < Мп < ...
. Тогда 1ХЦ Мп = М и М изоморфна одной из групп множества {Ьз(К), 11з(Р)} для подходящих бесконечных локально конечных полей К, Р нечётных характеристик. Ясно также, что М — собственная подгруппа группы О.
2. Так как М = []^=1Мп, то ХМ(А) = Т(ЛГ). Поскольку А и X сопряжены в М, то для некоторого х € М выполнено А = Xх. Следовательно, Т(Д0 = (АТМ(Х))Х и ИМ{Х) = Т{Иа{Х)).
3. Пусть 5*1, 5*2 — две различные силовские 2-подгруппы группы М. Если одна из них конечна, то вторая конечна и сопряжена с первой. Если они бесконечны, то они сопряжены как силовские 2-подгруппы из нормализаторов четверных подгрупп, лежащих в полных абелевых подгруппах группы М (см. пункт 2 доказанный выше).
4. Пусть, напротив, Бм < Б, где Б — некоторая силовская 2-подгруп-па группы С.
Пусть Б — конечная группа. Так как все четверные подгруппы в С сопряжены (лемма 4), то можно считать, что X < М. По пункту 2,
доказпнному выше, S < М. Следовательно, Sm = S, что противоречит выбору S.
Пусть S — бесконечная группа. Тогда S — черниковская группа 2-ранга 2. Ясно, что Sm — также бесконечная группа. Обозначим через Sm полную часть группы Sm- Тогда S — полная абелева группа ранга 2, и S < T(Ng(X)) для четверной подгруппы X из S. Так как все четверные подгруппы в G сопряжены, то можно считать, что X < М. По пункту 2, доказанному выше, S < М, а по пункту 3 Sm = S, что противоречит выбору S.
5. Пусть с € Ng(M) \ М, и с — элемент конечного порядка. Если Ас = А, то по пункту 2, доказанному выше, с € М, что противоречит выбору с. Если Ас ф А, то для некоторого х € М выполнено Асх = А , и по пункту 2, доказанному выше, сх € М. Следовательно, с € М, что противоречит выбору М.
Лемма доказана.
Лемма 6. Пусть К — конечная 2-подгруппа группы G. Тогда существует такой g € G, что К9 < М.
Доказательство. Если в G есть конечная силовская 2-подгруппа, то заключение леммы справедливо по лемме 5 (пункт 4). Следовательно, силовские 2-подгруппы из G бесконечны. Пусть К — минимальный контрпример к утверждению леммы. Для некоторого g € G, группа К\ = К9 ПМ неединичная, и |К9 : К\\ = 2. Возьмём в М силовскую 2-подгруппу Sm , содержащую группу К\. По лемме 5 Sm ~ черниковская группа. Обозначим через Sm полную часть Sm- Очевидно, ранг Sm равен 2. Следовательно, в Z(Sm) \ К\ найдётся элемент z такой, что z2 € К\. В этом случае (K9,z) — конечная группа, Если (z) — группа порядка большего 2, К\ — группа порядка 2, то
Кг < (z) < (z)K9, (z) < (z)K9, {z)K9 = (z) X (v) < SG,
где v — инволюция. Возьмём инволюцию а € Sm \ Z(Sm)• По условию насыщенности группа (z,v,a) конечна, и (z,v,a) < Н ё ©(1), поскольку Н содержит подгруппу (z) х (а). В этом случае (z,v,a) < Ng(T) для некоторой четверной группы X < G. Ввиду лемм 4, 5 К9 < М. Противоречие с выбором К9.
Лемма доказана.
Лемма 7. Пусть R € ©(1), RDM содержит четверную подгруппу. Тогда R < М.
Доказательство. Пусть, напротив, С — четверная группа из RDM ф R. По лемме 5 (пункт 2) Nr(C) < М и Nr(C) содержит четверную подгруппу Н такую, что Т = {С, Н) — группа диэдра порядка 8. По лемме
5 (пункт 2) ЛГд(Я) < М. Таким образом, 5" = (ЛГд(С), ЛГд(Я)) < М. Поскольку 5 ф Я, то Д ~ С^з(5), <5 ~ А7, и 5 — максимальная подгруппа в Д. Так как Т — силовская 2-подгруппа из <5, а силовская 2-подгруппа из Я является полудиэдральной группой порядка 16, то возьмём х € Хц(Т) \Т со свойством ж ^ М, но х2 € Т. Силовская 2-подгруппа из М имеет порядок больше 8 (лемма 5). Выберем у € Мм(Т) \ Т со свойством у2 € Т. По условию насыщенности (х,у,Т) < Я\ € ©(1) (изоморфизм Я\ ~ Мц невозможен по причине того, что (х,у,Т) — конечная группа, лежащая в нормализаторе циклической подгруппы порядка 4 из Т, что невозможно). Поскольку х € Я\, но х ф М, то Я\ не лежит в М. Очевидно, Я\ не изоморфна С/з(5), следовательно, Я\ = (ХЯ1(С),КЯ1(Н)) , Я1 < М (лемма 5 (пункт 3)) и ж € М, что невозможно.
Лемма доказана.
Лемма 8. Существует инволюция г € М такая, что Т(Сс(г)) ф М.
Доказательство. Предположим обратное. Возьмём группу X € 21(1) и £(1), удовлетворяющую заключению леммы 1 (пункт 2). Тогда X ~ ¿2(г) для некоторого нечётного г > 3 (изоморфизмы X ~ Мц, X ~ невозможены). Пусть Бх — силовская 2-подгруппа группы X. По лемме 6 для некоторого д € О имеет место Б9Х < X9 П М. Если Бх содержит две неперестановочные инволюции х,у, то X9 = (Схэ(х),Схэ(у))• По условию леммы X9 < М. Следовательно, X9 < К < М и К € ©(1). Тогда X < К9'1 и К9'1 € ©(1), что противоречит выбору X.
Итак, все инволюции из Бх перестановочны, и Бх = (г) х (и) — четверная группа. Так как X9 ф М, то из списка максимальных подгрупп группы ¿2(0 ( [19], стр. 377) и условия леммы получам, что X9 ~ ¿2(5).
По лемме 5 Мха(Зх) < М. Возьмём элемент Ь порядка 3 из Мха(Зх), инволюцию х € Лгхэ((Ь)), инволюцию у € Лгм((Ь)) \ X9. Так как С — группа Шункова, то (Ь, х, у) — конечная группа. Поскольку х ^ М, то (Ь, х, у) ф М и |(6, х, у) | > 6. По условию насыщенности (Ь, х, у) < Я € Ш1(1), что невозможно.
Лемма доказана.
Лемма 9. Пусть 5 — силовская 2-подгруппа из М. Тогда
Б ф (А х В)\ (у),
где А — локально циклическая группа порядка не менее 4, V — инволюция, А" = В.
Доказательство. Предположим обратное. По лемме 8 в М существует инволюция г такая, что Т(Сс(^)) ф М. Пусть с € Т(Сс(^)) \ М, тогда г € Мс П М. По лемме 5 (свойство 5) Мс ф М. По лемме 7
Мс П М не может содержать четверных подгрупп. Предположим, что существует такой элемент / € Мс П М, что /2 = г. Пусть Бм — си_ ловская 2-подгруппа из М, содержащая элемент /, Бмс — силовская 2-иодгрупиа из Мс, содержащая /. Так как силовские 2-подгруппы в М сопряжены (лемма 5, п. 4), то Б ~ Бм — ¿>мс- Следовательно, ¿>м = (^1 хВ 1)\{у\), где А\ — локально циклическая 2-группа порядка не менее 4, у\ — инволюция, = В\, и Бмс = (^2 х В2) X (г^), где А2 — локально циклическая 2-группа порядка не менее 4, г?2 — инволюция, А°2 = -Вг- Тогда М П Мс не содержит элементов порядка 4. По условию леммы найдутся такие элементы х, у порядка 4, что х2 = г, у2 = г, х € М\МГ)МС, у € МС\МГ)МС. Ясно, что (х,у} £ М.
Пусть (х, у) < 11\ € ©(1). Пусть К — четверная подгруппа из 11\. По леммам 4, 5 (пункт 5), 7 для некоторого д € С \ М выполнено Ии^В) < Мд. Следовательно, М П М9 содержит элемент х порядка 4. Как показано выше, это невозможно.
Пусть 11\ € 21(1). Тогда (х, у) < Си1(г) — группа диэдра, но (х, у) таковой не является, поскольку содержит две различные циклические подгруппы порядка 4 (ж), {у}.
Предположим, что Г/1 ~ А7. Пусть Е — четверная подгруппа из 11\. По леммам 4, 5 (пункт 5), 7 для некоторого д € С\ М, < М9.
Так как для любой четверной подгруппы X € Мц1(Х) < М9,
то 17\ < М9. Следовательно, М П М9 содержит элемент х порядка 4, а как показано выше, это невозможно.
Предположим, что 11\ с^ Мц. Пусть Бм — силовская 2-подгруппа группы С/1, содержащая х. Возьмем V € Л^м((ж)) \ (х). Тогда (х) < М П М'", а так как элемент х имеет порядок 4, то М'" = М и V € М. Повторяя еще раз этот прием, получаем, что Бм < М П С/1. По лемме 5(пункт 2) и [20] М П С/1 содержит подгруппу Нм — А'62 такую, что Бм < Нм-
Пусть Бмс — силовская 2-подгруппа группы С/1, содержащая у. Возьмем IV € ХзМСги((у))\(у). Тогда (у) < МПМ", а так как элемент у имеет порядок 4, то (Мс)'ш = Мс и № 6 Мс. Повторяя еще раз этот прием, получаем, что Бмс < Мс П 17\. По лемме 5(пункт 2) и [20] Мс П 17\ содержит подгруппу Нмс — Аф62 такую, что Бмс < Нмс-
Так как силовская 2-подгруппа из МП Мс имеет порядок 2, то из сравнения порядков групп С/1, Нм, Нмс вытекает, что порядок группы Нм П Нмс делится на 9 и 5. Следовательно, Нм = Нмс, М П Мс содержит четверную группу, и М = Мс. Противоречие с тем, что М ф Мс.
По лемме 2 С/1 ф. С/3(4).
Лемма доказана.
Лемма 10. Пусть Б — силовская 2-подгруппа из М. Тогда Б — не полудиэдральная группа.
Доказательство. Предположим обратное. В данном случае все си-ловские 2-подгруппы группы G являются полудиэдральными группами и сопряжены, поскольку конечны, порядка 2fc+1 (лемма 5 (пункт 3)). По лемме 8 существует такая инволюция z € М, что Cg(z) ф м. Пусть с € CG(z) \ М, тогда z е Мс Г) М. По лемме 5 (п. 5) Мс ф М. По лемме 7 МСГМ не может содержать четверных подгрупп. Из множества групп {М9\д € G \ М} выберем такую группу Мй, чтобы силовская 2-подгруппа из МП Мй содержала элемент b масимально возможного порядка. Тогда b порядка 2. Выберем в М элемент z\ € Nm{S9) \ Sg, а в Мй возьмём элемент z2 € NMa(Sg) \ Sg такие, что z\ = z\ = b. По условию насыщенности {b, z\, z2) < Я € Ш1(1). Предположим, что Я € ©(1). Тогда Я ф М, и Я < Mh для некоторого heG\M (леммы 4, 5 (пункт 5), 7). Так как, либо М П Mh ф М, либо М9 C\Mh ф М9, то получили противоречие с условием рассматриваемого случая (поскольку в первом случае MP\Mh содержит элемент z\ порядка 4, а во втором случае МПMhg 1 содержит элемент порядка 4). Таким образом, Я изоморфна одной из групп множества {L2(q), Aj, Мц, }, где q — нечетное и q > 3. Поскольку Сн(Ь2) содержит подгруппу (b, z\, z2) < Я, которая не является ни группой диэдра, ни циклическйо группой, то для Я осталась единственая возможность Я ~ Мц. В этом случае (6, z\, z2) — группа кватернионов порядка 8, z\2 = z-1,^1 = z^1 ■ Тогда z\ € М П М2"2, и порядок zi равен 4. Противоречие с условием рассматриваемого случая.
Лемма доказана.
Пусть S — силовская 2-подгруппа группы М. Из леммы 5 (п. 1) вытекает, что либо S = (А х В) X (v), где А — локально циклическая группа порядка не менее 4, и — инволюция, Av = В, либо S — полудиэдральная группа. Получили противоречие с утверждениями лемм 9 и 10. Следовательно, в дальнейшем будет предполагаться, что в G не существует четверной группы F со свойством: Cg{F) содержит бесконечно много элементов конечного порядка и, как следствие, содержит бесконечную локально конечную подгруппу [11]..
Лемма 11. Пусть z — инволюция из G. Тогда Cg{z) обладает периодической частью T(Cg{z)), и T(Cg{z)) = D X (t), где t — инволюция, D — локально циклическая группа, и для любого d € D, d1 = d~l.
Доказательство. Положим С = Cg{z). Если С содержит конечное число элементов конечного порядка, то множество ®Т(1) с точностью до изоморфизма содержит конечное число подгрупп. Тогда G обладает периодической частью T(G), которая изоморфна одной из групп множества ®Т(1). Противоречие с выбором G. Таким образом, С содержит бесконечно много элементов конечного порядка, и как следствие, содержит бесконечную локально конечную подгруппу . Следовательно,
множество 21(1) содержит бесконечно много неизоморфных групп. Тогда в С найдется элемент Ь простого порядка р, и р {^(А^) П7г(Мц)}. Так как С — группа Шункова, то (Ь) — нормальная подгруппа группы С. Пусть К — произвольная конечная подгруппа из С. По условию насыщенности конечная группа (Ь,К) < У € 21(1). Тогда Су(,г) — группа диэдра. Так как К < Су (г) < С, то С насыщена группами диэдра. Следовательно, группа С обладает периодической частью Т(С) = Т(Сс(г)) из заключения леммы.
Лемма доказана.
Лемма 12. Ш1(1) = 21(1).
Доказательство. Ввиду леммы 11, для любой группы X € ®Т(1) и любой инволюции г € X, Сх№ — группа диэдра. Следовательно, X ~ (г). Из сказанного выше вытекает, что X € 21(1).
Лемма доказана.
Завершим доказательство теоремы. Так как ®Т(1) — насыщающее множество для группы С, то по лемме 12 21(1) — также насыщающее множество для группы С. Следовательно, Т(С) ~ для подходящего локально конечного поля нечетной характеристики [12]. Противоречие с выбором С.
Теорема доказана.
3. Доказательство теоремы 2
Пусть С — контрпример к утверждению теоремы и Ш — насыщающее множество для группы С, состоящее из конечных простых неа-белевых групп. По основному результату из [9] G — не периодическая группа. Кроме того G содержит бесконечно много элементов конечного порядка и, как следствие, содержит бесконечную локально конечную подгруппу [11].
Лемма 13. Не ограничивая общности можно считать, что ТХ = {Ji, L2(2n), Re(32ra+1), f/3(22ra), Sz(22n+1), L2(q), q = 3, 5 (mod 8), q > 3}.
Доказательство. Пусть L — произвольная конечная простая неабе-лева подгруппа группы С. Обозначим через Р некоторую её силовскую 2-подгруппу. Поскольку Р — конечная 2-подгруппа группы С, то по условию теоремы все инволюции из Р содержатся в центре Р. Но тогда L изоморфна одной из групп множества ШТ. Лемма доказана.
Лемма 14. Множество ®Т(1) содержит группы, порядок которых больше любого наперед заданного натурального т.
Доказательство. Предположим обратное. Зафиксируем такое натуральное т, что для любой группы Н € Ш1(1), \Н\ < т. Как отмечалось выше, С содержит конечную подгруппу М такую, что \М\ > т. По условию насыщенности М < Н € Ш1(1). Следовательно, т < \М\ ^ \Н\. Последнее противоречит тому, что |Н\ < т. Лемма доказана.
Лемма 15. Пусть а — инволюция их С. Тогда Со(а) содержит бесконечную локально конечную подгруппу.
Доказательство. Предположим обратное. По [11] Со (а) содержит конечное число элементов конечного порядка. По лемме Дицмана [1] Со (а) обладает конечной периодической частью Т(Сс(а)). По условию насыщенности Т(Со(а)) < М и М е Ш1(1). По теореме Брауэра [18] множество Ш1(1) содержит конечное число, с точностью до изоморфизма, групп. Следовательно, порядки групп из множества Ш1(1) ограничены в совокупности. Противоречие с утверждением леммы 14. Лемма доказана.
В леммах 16 — 19 будем полагать, что все силовские 2-подгруппы группы С абелевы, и пусть Б — одна из них. Ясно, что 15*1 >4. Леммы 16 — 19 доказываются в предположении, что 5 = (а) х {г} х (¿) — элементарная абелева группа порядка 8. В этом случае все силовские 2-подгруппы группы С конечны и сопряжены с Б.
Лемма 16. Множество 1) содержит группу Н, изоморфную одной из групп множества Ке(?>2п+1)}.
Доказательство. Предположим обратное. По лемме 13 для любой группы Н € ®Т(1) Н, изоморфна одной из групп множества
{Ь2(8), ¿2(9)19 = 3.5 {той 8)}.
По основному результату [12] С обладает периодической частью Т(С) ~ ¿2 (<2)) где С} — подходящее локально конечное поле. Противоречие с тем, что С — контрпример. Лемма доказана.
Лемма 17. Пусть С = Со(а). Тогда С обладает периодической частью Т(С) = (а) х Ь, Ь ~ Ь2{0). где С} — бесконечное локально конечное поле характеристики 3.
Доказательство. Рассмотрим фактор-группу С = С/{а}. Тогда С — группа Шункова, насыщенная группами из множества
{Ь2(4),Ь2(32п+1),СЫд)(у)/(у)\у &Ь2(д), у2 = 1, д = 3, 5(то<1 8)}.
По лемме 16 Со{а) содержит конечную подгруппу К, изоморфную группе из множества К{Ь2(4), Ь2(32п+1)}. Тогда С обладает периодической частью Т(С) ~ ¿2(<3), где С} — бесконечное локально конечное
поле характеристи 3 (лемма 15). Следовательно, Т(С) ~ (а) х L, где L~L2(Q).
Лемма доказана.
Лемма 18. Группа G содержит бесконечную локально конечную простую подгруппу R ~ Re(Q), где Q — бесконечное локально конечное поле характеристики 3, не содержащее подполей порядка 9, причем для любой инволюции а € R, Т(Сс{а)) < R-
Доказательство. Рассмотрим группу Т(С) из леммы 17. Представим Т(С) в виде: Т(С) = UNk — объединение бесконечной возрастающей цепочки подгрупп Ni < N2 < ... < Nk < ..., где Nk = (а) х Lk, Lk ~ L2(32nk+l). По условию теоремы, начиная с некоторого достаточно большого k, Nk < Rk ~ Re(32ílfc+1). Тогда T(NG(S)) < Rk и (T(NG(S)),Nk) = Rk для любого к. Отсюда Ri < R2 < ... < Rk < ... -возрастающая цепочка вложенных друг в друга групп, a R = L¡Rk — бесконечная локально конечная группа, изоморфная Re(Q), где Q — локально конечное поле характеристики 3. Второе утверждение леммы вытекает из сопряженности инволюций в й и того факта, что по построению Т(Са{а)) = Cr(ü) < R.
Лемма доказана.
Лемма 19. Пусть R - подгруппа из формулировки леммы 18. Тогда G обладает периодической частью T(G) = R.
Доказательство. Используя лемму 18, несложно убедиться, что группа G насыщена группами из множества {fíe(32ra+1)}. По [15] G обладает периодическорй частью T(G) ~ Re(Q) для подходящего локально конечного поля Q харктеристики 3.
Лемма доказана.
Утверждение леммы 19 противоечит тому, что G — контрпример. Следовательно, случай, когда S — элементарная абелева группа порядка 8, невозможен. Таким образом, S — элементарная абелева группа порядка более 8. Ввиду леммы 13 можно считать, что любая группа Н € £DT(1) изоморфна некоторой группе из множества
{<h, L2(2n), Re(32n+1), L2(q)\q > 3, q = 3,5 (mod 8)}. Возьмём инволюцию x € S, и пусть С = Cg(x). Лемма 20. Контрпримера G не существует.
Доказательство. Предположим обратное. Возьмём инволюцию х € S, и пусть С = Cg(x). Обозначим через Р{С) подгруппу группы С, порожденную всеми элементами конечных порядков группы С. В Р(С)
существует неединичный элемент простого нечётного порядка й. Действительно, пусть Р(С) не содержит элементов нечетного порядка. Следовательно, для любой конечной подгруппы
К € Ш(1),К ~ Ь2{2п).
В этом случае Т(О) ~ Р2(0) для подходящего локально конечного поля характеристики 2. Противоречие с выбором С. Далее, пользуясь индукцией, показываем, что Р(С) не может содержать неединичных элементов любого нечетного порядка. В этом случае, как показано выше, Т(С) ~ Р2{0:) — элементарная абелева 2-группа. Противоречие с нашим предположением. Лемма доказана.
Из леммы 20 вытекает, что группа С содержит неабелеву силовскую 2-подгруппу, что и будет предполагаться в дальнейшем.
Лемма 21. Любая силовская 2-подгруппа группы О является бесконечной группой.
Доказательство. Предположим обратное, и пусть Б — конечная силовская 2-подгруппа группы С. Тогда все силовские 2-подгруппы группы С конечны и сопряжены с Б. В силу условия насыщенности, леммы 13 и того, что все силовские 2-подгруппы группы С неабелевы, любая силовская 2-подгруппа либо изоморфна силовской 2-подгруппе группы Бг(22к+г), либо изоморфна силовской 2-подгруппе группы [Уз(2га).
Отсюда вытекает, что Б тривиально пересекается с любой другой силовской 2-подгруппой группы С. Следовательно, для любой группы Н € £РТ(1), Н изоморфна одной из групп множества
{Р2(2п), [Уз(22га), Бг(22п+1)}.
Так как Б — конечная группа, то порядки конечных групп из £Ш(1) ограничены в совокупности. Противоречие с утверждением леммы 14. Лемма доказана.
Лемма 22. В О существует силовская 2-подгруппа Б, в которой есть конечная подгруппа К, являющаяся силовской 2-подгуппой некоторой конечной группы Ь < О, и Ь изоморфна одной из групп множества Ш2п), Бг(22п+1)}.
Доказательство. Если £Щ(1) не содержит групп, изоморфных группам из множества {и%(2к), Бг(22п+1}, то любая силовская 2-подгруппа из О есть абелева, и теорема имеет место. Противоречие с тем, что О — контрпример. Следовательно, найдется такая группа Ь € ШТ( 1), что Ь изоморфна одной из групп множства {IIз(2к), Бг(22га+1}. Пусть Бь — силовская 2-подгруппа группы Ь. Зафиксируем группу Ь и некоторую её силовскую 2-подгруппу Бь- Так как все силовские 2-подгруппы
группы С бесконечны (лемма 21), то Бь < >5 — бесконечная силовская 2-подгруппа группы С.
Лемма доказана.
Зафиксируем группу Б из леммы 22.
Лемма 23. В группе О существует силовская 2-подгруппа Б\ ф Б что, либо К = Б\ П Б содержит элемент порядка 4, либо К — элементарная абелева 2-группа, и \К\ > 8.
Доказательство. Пусть различные силовские 2-подгруппы группы С пересекаются тривиально. В этом случае все силовские 2-подгруппы группы С сопряжены. Поскольку силовская 2-подгруппа из Бх(22к+1) не может быть изоморфна никакой подгруппе силовской 2-подгруппе из £/з(2га), а силовская 2-подгруппа из С/з(2га) не может быть изоморфна никакой подгруппе силовской 2-подгруппы из Бг(22к+1) ни при каких к, п, то либо для любой группы Н € ЯГ(1), Н изоморфна одной из групп множества {¿2(2"-), £/з(22га)}}, либо для любой группы Н € ЯТ(1), Н изоморфна некоторой группе из множества {¿2(2"-), Бг(22п+1)}.
В первом случае по [10] О обладает периодической частью Т(С), изоморфной одной из групп множества {^(Р), С^з(<5)} для подходящих локально конечных полей Р, С,) четной характеристики. Противоречие с тем, что О — контрпример.
Разберем второй случай. Возьмем в ®Т(1) группу К ~ ¿2(2") , а в ней элементы Ь порядка 3 и инволюцию х такие, что Ъх = Ъ~1. Поскольку ®Т(1) содержит Ко ^ Бг(22п+1), то сущестует элемент а € С такой, что а2 = х. Так как О — группа Шункова, то (6, а) — конечная группа. По условию насыщенности (6, а) < К\, где К\ изоморфна одной из групп множества {¿2(2""), Бг(22п+1)}. В силу того, что К\ содержит элемент а порядка 4, получаем, что К\ ~ Бг(22п+1). С другой стороны, К\ содержит элемент Ь порядка 3, а Бг(22п+1) не содержит элементов порядка 3, следовательно, К\ ф. Бг(22п+Г). Противоречие.
Итак, можно считать, что для некоторой силовской 2-подгруппы 5*1 ф Б, К = Б П 5*1 ф 1. Пусть К — элементарная абелева группа порядка 2 или 4. Обозначим: г — инволюция из К] Ъ — элемент порядка 4 из Б; I = б2; х — элемент группы С, для которого г = Iх. Рассмотрим пересечение Бх П 5*1 = Ж, которое содержит г. Допустим, что снова это пересечение есть элементарная абелева 2-подгруппа порядка < 4 (в противном случае, лемма верна). Если а = Ьх, то а € Бх и а2 = г. Пусть ] — любая инволюция из 5*1 \ Бх. Тогда ] централизует N. Рассмотрим теперь группу Т = (N,0,^). Поскольку фактор-группа Т/ТУ порождается двумя инволюциями aN и jN, то Т - конечная группа. По условию теоремы Т < Ь\, где Ь\ изоморфна одной из групп множества {Бх(22га+1), £/з(25)}. Так как различные силовские 2-подгруппы из Ь\ пересекаются тривиально, то 2-подгруппы {N,(1) и (./V,содержатся в одной силовской 2-подгруппе из Ь. В частности, Т является
2-подгруппой. Если Б2 — силовская 2-подгруппа группы О, содержащая Т, то ¿>2 ф Бх{] € Т \ Бх). При этом пересечение 5*2 П Бх содержит элемент а порядка 4.
Лемма доказана.
Зафиксируем группы Б,Б\,К из утверждения леммы 23. Пусть х € Б, у (£ Б1. Если хотя бы один из этих элементов есть инволюция, то ху = ух. Пусть \х\ = \у\ = 4. Положим Б = (х,у). Так как ж2, у2 содержатся в Z(D), то И — конечная группа, а её 2-подгруппы {х,у2} и {х2,у) имеют нетривиальное пересечение. Но тогда И есть 2-группа, ху является 2-элементом и ху = ухг, где \г\ < 2. В этом случае ББ\ — 2-группа. Так как ¿>, 5*1 — силовские 2-подгруппы группы О, то ¿> = 5*1. Противоречие с тем, что Б ф Б
Теорема доказана.
4. Заключение.
После завершения классификации конечных простых групп был выполнен важный шаг в классификации периодических групп. А именно, Кегелем, Блеляевым, Боровиком, Томасом, Хартли и Шютом были классифицированы локально конечные группы, обладающие локальными покрытиями, состоящими из простых групп лиева типа, ранги которых ограничены в совокупности. Это явилось основанием для формулировки в 2004 году вопроса 14.101 в Коуровскую тетрадь: Верно ли, что периодическая группа, насыщенная конечными простыми группами лиева типа, ранги которых ограничены в совокупности, сама является группой лиева типа конечного ранга? Известно, что среди бесконечных групп с условиями конечности важное место занимают группы Шун-кова. Класс групп Шункова отличен от класса периодических групп. Поэтому уместно рассмотреть редакцию вопроса 14.101 для групп Шункова: Верно ли, что группа Шункова, насыщенная конечными простыми группами лиева типа, ранги которых ограничены в совокупности, обладает периодической частью, изоморфной простой группе лиева типа? Очевидно, что помимо групп, насыщенных конечными простыми группами лиева типа, интерес представляет случай, когда насыщающие множество может содержать другие классы конечных простых групп. В данной работе установлено строение групп Шункова, насыщенных конечными простыми группами 2-ранга 2 и конечными простыми группами с заданным строением 2-подгрупп. Таким образом, сделан шаг в изучении групп, насыщенных произвольными конечными простыми группами.
Список литературы
1. Дидман А. П. О центре р-групп // Труды семинара по теории групп. М., 1938.
С. 30-34.
2. Каргаполов М. И. Основы теории групп. М. : Наука, 1982.
3. Группы с условием насыщенности / А. А. Кузнецов, Д. В. Лыткина, Л. Р. Тухватулина, А. А. Кузнецов. Красноярск : Краснояр. гос. аграр. ун-т, 2010.
4. Лыткина Д. В., Шлепкин А. А. О периодических группах, насыщенных конечными простыми группами Ьз,Ьз // Алгебра и логика. 2016. Т. 55. С. 441-448.
5. Лыткина Д.В., Тухватуллина Л. Р., Филиппов К. А. О периодических группах, насыщенных конечным множеством конечных простых групп // Сиб. мат. журн. 2008. Т. 49. С. 317-321. https://doi.org/10.1007/sll202-008-0031-y
6. Созутов А. И., Лыткина Д. И., Шлепкин А. А. О периодических группах 2-ранга 2, насыщенных простыми группами // Мальцевские чтения, 20-24 нояб. Новосибирск, 2017. С. 78.
7. Остыловский А. Н., Шунков В. П. О локальной конечности одного класса групп с условием минимальности // Исследования по теории групп. Красноярск, 1975. С. 32-48.
8. Сенатов В. И., Шунков В. П. Группы с условиями конечности. Новосибирск : Изд. СО РАН, 2001.
9. Филиппов К.А. О периодических группах, насыщенных конечными простыми группами // Сиб. мат. журн. 2012. Т. 53. С. 430-438. https://doi.org/10.1134/S0037446612020164
10. Пронина Е. А., Шлепкин А. А. Группы Шункова, насыщенные Ьг(]зп), Ьз(2п) // Вестн. СибГАУ. 2015. Т. 57. С. 111-107.
11. Шлепкин А. К. О сопряженно бипримитивно конечных группах с условием примарной минимальности // Алгебра и логика. 1983. Т. 22. С. 232-231.
12. Филиппов К. А. О периодической части группы Шункова, насыщенной Ьг (р"). // Вестн. СибГАУ. 2012. С.611-617.
13. Шлепкин А. А. О периодической группе Шункова, насыщенной конечными простыми группами лиева типа ранга 1 // Изв. Иркут. гос. ун-та. Сер. Математика. 2016. Т. 16. С. 102-116.
14. Шлепкин А.К. Сопряженно бипримитивно конечные группы, содержащие конечные неразрешимые подгруппы // Третья международная конференция по алгебре, 23-28 авг. Красноярск, 1993. С. 369.
15. Шлепкин А. К. Группы Шункова с дополнительными ограничениями : дис. ... д-ра физ.-мат. наук. Красноярск, 1999.
16. Alperin J. L., Brauer R., Gorenstein D. Finite groups wish quasi-dihedral and wreathed Sylow 2-subgroup // Trans. AMS. 1970. Vol. 151. P. 1-261.
17. Alperin J. L., Brauer R., Gorenstein D. Finite simple groups of 2-rang two. Collection of articles dedicated to the memori of Abraham Adrian Albert //Scripta Math. 1973. Vol. 29, № 3-4. P. 191-214.
18. Brauer R. On structure of groups of finite order // Proceedings of the International Congress of Mathematicians. 1954. P. 209-217.
19. John N. Bray, Derek F. Holt, Colva M. Ronty-Dougal. The Maximal Subgroups of the Low - Dimensional Finite Classical groups. Cambridge University Press, 2013.
20. Atlas of finite groups / J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, R. A. Wilson. Oxford : Clarendon Press, 1985.
Шлепкин Алексей Анатольевич, кандидат физико-математических наук, Сибирский федеральный университет, Российская Федерация, 660041, Красноярск, Свободный, 79, (e-mail: [email protected])
Поступила в редакцию 01.03.2018
On Shunkov Groups Saturated with Finite Groups
A. A. Shlepkin
Siberian Federal University, Krasnoyarsk, Russian Federation
Abstract. The structure of the group consisting of elements of finite order depends to a large extent on the structure of the finite subgroups of the group under consideration. One of the effective conditions for investigating an infinite group containing elements of finite order is the condition for the group to be saturated with a certain set of groups. The group G is saturated with groups from the set X if any finite subgroup of G is contained in the subgroup of G, isomorphic to some group in X. The group G is called the group Shunkov, if for any finite subgroup H of G in the factor group No (H) /H any two conjugate elements of prime order generate a finite group. If all elements of finite orders in G are contained in a periodic subgroup of G, then it is called the periodic part of G and is denoted by T(G). It is proved that the Shunkov group of 2 -range 2 saturated with finite simple nonabelian groups has a periodic part T(G) isomorphic to one of the groups of the set {L2(Q), Ar, L3(P), U3(R), Mn, f73(4)}, where Q,P,Ris a local finite fields. It is proved that if the Shunkov group G is saturated with finite simple non-Abelian groups, and in any of its finite 2 -subgroup K all involutions from K lie in the center of K, then G has a periodic part T(G) isomorphic to one of the groups of the set {Ji, L2(Q), Re(P), U3(R), Sz(F)}, where Q, P, R, F are locally finite fields.
Keywords: the group saturated with the set of groups, Shunkov group.
References
1. Dicman A.P. О centre p-grupp. [On the center of p-groups] Trudy seminara po teorii grupp [Proceedings of the Seminar on Group Theory], Moscow, 1938, pp. 30-34. (in Russian)
2. Kargapolov M.I., Merzljakov Ju.I. Osnovy teorii grupp [Foundations of group theory]. Moscow, Nauka Publ., 1982. (in Russian).
3. Kuznecov A.A., Lytkina D.V., Tuhvatulina L.R., Filippov K.A. Gruppy s usloviem nasyshhennosti [Groups with saturation conditions]. Krasnoyarsk, Krasnoyarsk State Agricultural Institute Publ., 2010.
4. Lytkina D.V., Shlepkin A.A. On periodic groups saturated by finite simple groups Ьз,11з. Algebra and Logic, 2016, vol. 55, no. 4, pp. 441-448. (in Russian). https://doi.org/10.17377/alglog.2016.55.404
5. Lytkina D.V., Tuhvatullina L.R., Filippov K.A. The periodic groups saturated by finitely many finite simple groups. Siberian mathematical journal, 2008, vol. 49, no. 2, pp. 317-321. https://doi.org/10.1007/sll202-008-0031-y
6. Sozutov A.I., Lytkina D.I., Shlepkin А.А. О periodicheskih gruppah 2-rangga 2, nasyshhennyh prostymi gruppami [On periodic groups of 2-rank 2 saturated with simple groups]. Mal'cevskie chtenija. Tezisy dokladov, [Collected Works of International Conference Maltsev meeting], 2017, pp. 78. (in Russian)
7. Ostylovskij A.N. О lokal'noj konechnosti odnogo klassa grupp s usloviem minimal'nosti [On the local finiteness of a class of groups with the minimality condition]. Issledovanija po teorii grupp, [Studies on the theory of groups], Krasnoyarsk, 1975, pp. 32-48. (in Russian)
o rpynnAx ihyhkoba
67
8. Senashov V.I., Shunkov V.P. Gruppy s uslovijami konechnosti [Groups with finiteness conditions]. Novosibirsk, SB RAS Publishing, 2001. (in Russian)
9. Filippov K.A. On periodic groups saturated by finite simple groups. Siberian mathematical journal, 2012, vol. 53, no. 2, pp. 345-351. https://doi.org/10.1134/S0037446612020164
10. Pronina E.A., Shlepkin A.A. Gruppy Shunkova, nasyshhennye L2{pn),Uz{2n). [Shunkov groups, saturated with L2[pn),U3{2n)\ Vestnik SibGAU, 2015, vol. 57, no. 3, pp. 111-107. (in Russian)
11. Shlepkin A.K. O soprjazhenno biprimitivno konechnyh gruppah s usloviem primarnoj minimal'nosti [On conjugate bi-finite finite groups with a primary minimum condition]. Algebra i logika, [Algebra and logic], 1983, vol. 22, no. 2. pp. 232-231. (in Russian)
12. Filippov K.A. O periodicheskoj chasti gruppy Shunkova, nasyshhennoj L2(p") [On the periodic part of the Shunkov group saturated with L2{pn)\ Vestnik SibGAU, [Bulletin of the Siberian State Aerospace University], 2012, pp. 611-617.(in Russian)
13. Shlepkin A.A. About Periodic Shunkov Group Saturated with Finite Simple Groups of Lie Type Rank 1. Izv. Irkutsk, gos. univer., ser. Matematika [The Bulletin of Irkutsk State University. Series Mathematics], 2016, vol. 16, pp. 102-116. (in Russian).
14. Shlepkin A.K. Soprjazhenno biprimitivno konechnye gruppy, soderzhashhie konechnye nerazreshimye podgruppy [Conjugately biprimitively finite groups containing finite nonabelian subgroups] Tret'ja mezhdunar. konf. po algebre [Third International Conference on Algebra. Book of abstracts], Krasnoyarsk, 1993, p. 369. (in Russian)
15. Shlepkin A.K. Gruppy Shunkova s dopolnitel'nymi ogranichenijami. Doktorskaja dissertacija [Shunkov groups with additional restrictions. Doctoral dissertation], Krasnoyarsk, 1999. (in Russian)
16. Alperin J.L., Brauer R., Gorenstein D. Finite groups wish quasi-dihedral and wreathed Sylow 2-subgroup. Trans. AMS, 1970, vol. 151, pp. 1-261.
17. Alperin J.L., Brauer R., Gorenstein D. Finite simple groups of 2-rang two. Collection of articles dedicated to the memori of Abraham Adrian Albert. Scripta Math., 1973, vol. 29, no. 3-4, pp. 191-214.
18. Brauer R. On structure of groups of finite order. Proceedings of the International Congress of Mathematicians, 1954, pp. 209-217.
19. John N. Bray, Derek F. Holt, Colva M. Ronty-Dougal. The Maximal Subgroups of the Low - Dimensional Finite Classical groups. Cambridge university press, 2013.
20. Conway J.H., Curtis R.T., Norton S.P., Parker R.A., Wilson R.A. Atlas of finite groups. Oxford, Clarendon Press, 1985.
Shlepkin Alexey Anatolievich, Candidate of Sciences (Physics and Mathematics), Siberian Federal University, 79, Svobodny, Krasnoyarsk, 660041, Russian Federation, (e-mail: [email protected])
Received 01.03.2018
