CC BY
33
регистрации программы для ЭВМ № 2010611595 / 26.02.2010 / Нестеров В. А. Заяв. № 2009617628, 31.12.2009.
6. Исследование НДС, устойчивости и собственных колебаний трехслойной балки с податливым заполнителем с помощью МКЭ при учете трансвер-
сального сдвига в качестве узлового неизвестного: свидетельство о гос. регистрации программы для ЭВМ № 2010611781 / 09.03.2010 / Нестеров В. А. Заяв. № 2010610178, 18.01.2010.
© Нестеров В. А., 2013
УДК 512.54
СТРОЕНИЕ БЕСКОНЕЧНОЙ СИЛОВСКОЙ ПОДГРУППЫ В НЕКОТОРЫХ ГРУППАХ ШУНКОВА*
В. И. Сенашов
Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева Россия, 660014, г. Красноярск, просп. им. газ. «Красноярский рабочий», 31 Институт вычислительного моделирования СО РАН 660036, Красноярск, Академгородок, 50. Е-mail: senll [email protected]
Изучаются группы, введенные В. П. Шунковым в 1975 г., и названные в его честь группами Шункова в 2000 г. Используется методика исследования бесконечных групп, разработанная в красноярской школе по теории групп. Цель работы - установить строение бесконечной силовской 2-подгруппы в группе Шункова, не обладающей почти слойно конечной периодической частью, когда в группе нормализатор любой конечной нетривиальной подгруппы обладает почти слойно конечной периодической частью. Доказано, что если некоторая си-ловская 2-подгруппа такой группы бесконечна, то она является расширением квазициклической 2-группы при помощи обращающего автоморфизма. Этот результат найдет применение при изучении бесконечных групп с условиями конечности. Строение искомой бесконечной силовской 2-погруппы полностью установлено.
Ключевые слова: группа, силовская подгруппа, инволюция, слойная конечность.
STRUCTURE OF THE INFINITE SYLOV SUBGROUP IN SOME SHUNKOV GROUPS
V. I. Senashov
Siberian State Aerospace University named after academician M. F. Reshetnev 31 “Krasnoyarskiy Rabochiy” prospect, Krasnoyarsk, 660014, Russia Institute of Computational Modeling of Siberian Branch of RAS ICM SB RAS Akademgorodok, 660036, Krasnoyarsk, Russia
The author studies groups entered by V. P. Shunkov in 1975 and named in his honor Shunkov groups in 2000, for the study the author uses a technique of infinite groups, developed at Krasnoyarsk School on group theory. The aim of the work was to establish the structure of an infinite Sylov 2-subgroup in Shunkov that does not have an almost layer-finite periodic part, when the normalizer of any finite non-trivial subgroup has an almost layer-finite periodic part. The author proves that if a Sylov 2-subgroup of the group is infinite, then it is an extension of a quasi-cyclic 2-group by reversing automorphism. This result will be used in the study of infinite groups with finiteness conditions. The structure of the unknown infinite Sylov 2-subgroup was completely revealed.
Keywords: group, Sylov subgroup, involution, layer-finiteness.
Слойно конечные группы впервые появились без названия в статье С. Н. Черникова [1], а затем в его последующих публикациях за ними закрепилось название слойно конечных групп. Группа называется слойно конечной, если множество ее элементов любого данного порядка конечно. Почти слойно конечные группы - это расширения слойно конечных групп с помощью конечных групп. Класс почти слойно конечных групп значительно шире класса слойно конечных групп. В то время как только некоторые чер-
никовские группы слойно конечны, все черниковские группы являются почти слойно конечными.
Здесь мы изучаем группы с условием: нормализатор любой конечной нетривиальной подгруппы обладает почти слойно конечной периодической частью. Класс групп, удовлетворяющий этому условию, довольно широк. В нем содержатся свободные бернсай-довские группы нечетного периода > 665 [2] и группы, построенные А. Ю. Ольшанским [3].
Определение. Группа называется группой Шунко-
Работа выполнена при поддержке гранта РФФИ (проект 10-01-00509) и гранта Министерства образования России (проект - алгебро-логические структуры и комплексный анализ с приложениями к передаче и защите информации).
ва, если для любой ее конечной подгруппы И в фактор-группе Ыа(И)/И любые два сопряженных элемента простого порядка порождают конечную подгруппу.
В настоящей работе доказывается следующая теорема.
Теорема. Пусть в группе Шункова О, не обладающей почти слойно конечной периодической частью, нормализатор любой нетривиальной конечной подгруппы обладает почти слойно конечной периодической частью. Если некоторая силовская 2-подгруппа группы О бесконечна, то она является расширением квазициклической 2-группы при помощи обращающего автоморфизма.
Заметим, что если группа Шункова удовлетворяет всем условиям теоремы, но обладает почти слойно конечной периодической частью, то бесконечная си-ловская 2-подгруппа может иметь самое разнообразное строение. В частности, в качестве бесконечной силовской 2-подгруппы может выступать любая чер-никовская 2-подгруппа. Результат находится в русле исследований классических объектов школы Шунко-ва и найдет применение при изучении бесконечных групп с условиями конечности.
Ранее автором изучались периодические группы Шункова с условием почти слойной конечности нормализаторов конечных неединичных подгрупп [4] и группы Шункова с условием минимальности для не почти слойно конечных подгрупп [5; 6]. Группы Шункова с нормализаторами нетривиальных конечных подгрупп обладающих почти слойно конечной периодической частью, исследовались в классе групп без инволюций [7], при наличии в них сильно вложенной подгруппы с черниковской периодической частью [8], сильно вложенной почти слойно конечной подгруппы [9] и сильно вложенной подгруппы с почти слойно конечной периодической частью [10].
Необходимые определения и известные результаты, используемые в доказательстве. В этом пункте для удобства чтения статьи мы приведем необходимые определения и известные результаты, на которые в дальнейшем будем ссылаться как на предложения с соответствующим номером.
Определение. Элемент второго порядка называется инволюцией.
Определение. Элемент с конечным централизатором в группе О называется почти регулярным элементом группы О.
Определение. Элемент, который сопряжением при помощи некоторой инволюции переводится в обратный, называется строго вещественным относительно этой инволюции.
Определение. Если множество элементов конечного порядка в группе составляет подгруппу, то ее называют периодической частью этой группы.
Определение. Группа называется черниковской, если она либо конечна, либо является расширением прямого произведения конечного числа квазицикли-ческих групп с помощью конечной группы.
Определение. Группа обладает полной частью А, если А - абелева группа, порожденная всеми полными абелевыми подгруппами группы О, и О/А не обладает полными абелевыми подгруппами [11].
Определение. Подгруппа И группы О называется сильно вложенной в О, если И — собственная подгруппа группы О, содержащая инволюции, и И П х1Нх не содержит инволюций для х е О \ И.
Определение. Если произведение всех нормальных слойно конечных подгрупп группы слойно конечно, то будем его называть слойно конечным радикалом группы. Если группа ^ обладает слойно конечным радикалом, то мы будем обозначать его Я(Р).
Определение. Группа О с инволюцией / называется Т0-группой, если выполняются условия:
(1) все подгруппы вида < /, ^>, g е О, конечны;
(2) силовские 2-подгруппы из О - циклические группы или обобщенные группы кватернионов;
(3) централизатор СО(1) бесконечен и обладает конечной периодической частью;
(4) нормализатор любой нетривиальной < / >-инвариантной локально конечной подгруппы из О либо содержится в СО(0, либо обладает периодической частью, являющейся группой Фробениуса с абелевым ядром и конечным неинвариантным множителем четного порядка;
(5) СО(0 ф О и для всякого элемента с е О \ СО(0, строго вещественного относительно I, т. е. с 1 = с4, в СО(0 существует такой элемент sc, что подгруппа
< с, s,Гlcsc> бесконечна.
1. Всякая черниковская примарная группа обладает нетривиальным центром [12, теорема 1.6].
2. Пусть О - группа с инволюциями, / - некоторая ее инволюция, удовлетворяющие следующим условиям: 1) все подгруппы вида < / , ^ >, g е О, конечны; 2) в централизаторе СО(0 множество элементов конечных порядков конечно; 3) в группе О нормализатор любой нетривиальной < / >-инвариантной конечной подгруппы обладает периодической частью. Тогда либо О обладает почти нильпотентной периодической частью, либо О - Т0-группа [13, теорема 1].
3. Локально конечная группа О тогда и только тогда почти слойно конечна, когда в О выполняется условие: нормализатор любой нетривиальной конечной подгруппы из О - почти слойно конечная группа [7, теорема 1].
4. Любая почти слойно конечная группа О обладает слойно конечным радикалом, который имеет конечный индекс в группе О [14, свойство 1].
5. Пусть группа Шункова содержит сильно вложенную подгруппу, обладающую почти слойно конечной периодической частью. Если в группе нормализатор любой нетривиальной конечной подгруппы обладает почти слойно конечной периодической частью, то сама группа обладает почти слойно конечной периодической частью [10, основная теорема].
6. В локально конечной группе с черниковскими примарными подгруппами силовские примарные подгруппы сопряжены [15, теорема 7].
7. Централизатор любого элемента из слойно конечного радикала почти слойно конечной группы
имеет конечный индекс в группе; индексы в группе централизаторов остальных элементов бесконечны [14, свойство 4].
8. В бесконечной локально конечной группе четверная подгруппа Клейна обладает инволюцией с бесконечным централизатором [16, теорема 2].
9. Каждая полная подгруппа почти слойно конечной группы О содержится в центре слойно конечного радикала группы О [14, свойство 7].
Доказательство основного результата. Пусть группа Шункова О не обладает почти слойно конечной периодической частью и нормализатор любой нетривиальной конечной подгруппы обладает почти слойно конечной периодической частью.
Рассуждения, аналогичные доказательству леммы 8 из [13] для групп без инволюций, показывают, что все примарные подгруппы из О являются черников-скими. Предположим, что в группе О имеется бесконечная силовская 2-подгруппа & Обозначим через / некоторую инволюцию из центра подгруппы £ группы О (такая найдется ввиду предложения 1). По условиям теоремы централизатор инволюции / в группе О обладает почти слойно конечной периодической частью С.
Предположим, что в централизаторе некоторой инволюции группы О множество элементов конечных порядков конечно. Тогда по условиям теоремы и предложению 2 либо О обладает почти нильпотент-ной периодической частью, либо О — Т0-группа. Если периодическая часть группы О почти нильпотентна, то О обладает периодической нильпотентной нормальной подгруппой К конечного индекса в периодической части группы О. Так как К обладает нетривиальным центром Z(K), то централизатор любого неединичного элемента из Z(K) по условиям теоремы обладает почти слойно конечной периодической частью, очевидно, содержащей К. Тогда К почти слойно конечна, а вместе с ней почти слойно конечна и периодическая часть группы О как расширение почти слойно конечной группы при помощи конечной группы. Таким образом, в случае, когда периодическая часть группы О почти нильпотентна, теорема доказана. Т0-группой группа О быть не может, так как в группе Шункова не выполняется условие (5) из определения Т0-группы.
Итак, в дальнейшем будем предполагать, что в централизаторе произвольной инволюции из О множество элементов конечных порядков бесконечно. Включим С в максимальную почти слойно конечную подгруппу И. Такая максимальная подгруппа найдется по лемме Цорна и ввиду почти слойной конечности локально конечных подгрупп, удовлетворяющих условиям теоремы (предложение 3).
Обозначим через М нормализатор подгруппы И в группе О. По предложению 4 почти слойно конечная группа И обладает слойно конечным радикалом Я(И). Любой слой неединичных элементов из Я(И) представляет собой конечное инвариантное множество элементов. По лемме Дицмана из [17] он порождает конечную нетривиальную нормальную в Я(И) подгруппу, очевидно, являющуюся характеристической
в Я(И) и, следовательно, нормальной в М. Тогда по условиям теоремы группа М обладает почти слойно конечной периодической частью, которая ввиду максимальности подгруппы И совпадает с И.
Лемма 1. Пусть Е,Ш - две различные бесконечные максимальные почти слойно конечные подгруппы группы О, Я(К) и Я(М) - их слойно конечные радикалы. Тогда Я(Е) П Я(Ш) = 1.
Доказательство повторяет доказательство леммы
10 из [13] для групп без инволюций.
Лемма 2. Если для некоторого элемента а конечного порядка из М пересечение СО(а) П И бесконечно, то периодическая часть централизатора СО(а) содержится в М.
Доказательство повторяет доказательство леммы
11 из [13] для групп без инволюций.
Лемма 3. Если для некоторого элемента Ь конечного порядка из И П И пересечения СО(Ь) П И, СО(Ь) П И бесконечны, то И = И11.
Доказательство повторяет доказательство леммы 3 из [8] для групп без инволюций.
Предположим, что централизаторы всех инволюций из М имеют бесконечные пересечения с И. В группе О нет сильно вложенных подгрупп с почти слойно конечной периодической частью по предложению 5. Значит, группа М не является сильно вложенной в группу О. Тогда для некоторого элемента g из множества О \ М пересечение М П М содержит инволюцию. По только что сделанному предположению, по условиям теоремы и лемме 2 группа И содержит бесконечную периодическую часть централизатора этой инволюции в группе О, аналогично получаем, что И также содержит бесконечную периодическую часть централизатора этой инволюции. Но тогда по лемме 3 И = И5, что противоречит выбору элемента 5.
Таким образом, в группе М найдется инволюция, централизатор которой в М обладает конечной периодической частью. Зафиксируем за этой инволюцией обозначение/
Так как в локально конечной группе И с черников-скими примарными подгруппами силовские примар-ные подгруппы сопряжены по предложению 6, то можем выбрать инволюцию ] из £.
Лемма 4. В максимальной почти слойно конечной подгруппе И из О все инволюции с бесконечными централизаторами в И порождают конечную подгруппу, которая содержится в Я(И).
Доказательство. Предположим, что это не так, и группа, порожденная инволюциями из И с бесконечными централизаторами в И, бесконечна. Так как И почти слойно конечна, то ввиду предложения 7 и леммы Дицмана в этом случае в И найдется инволюция к с бесконечным СИ(к), для которой индекс |И : СИ(к)| бесконечен. Обозначим через 3 класс инволюций из И, сопряженных с к в И. Для произвольного элемента 5 е О \ И рассмотрим подгруппу И = 5 и ее подмножество ЭТ = 5~1 3 5. Ввиду того что О является группой Шункова, любые две инволюции из множеств 3 и ЭТ порождают конечные подгруппы. Тогда для произвольной фиксированной
инволюции х из 3 элементы Ь = х1 ( е ЭТ) имеют конечные порядки.
Если для бесконечного подмножества р из ЭТ порядки элементов Ь, / е р нечетны, то по свойствам групп диэдра в (Ь) найдется элемент с со свойством с^1(с( = х. Так как / принадлежит р < ЭТ , то / = 5 для некоторой инволюции г из 3. Отсюда получим с^^^с = х. Обозначая к( = 5с, видим: х е к-1Ик( = = ИИнволюции х, г сопряжены с к в И и имеют бесконечные централизаторы в И. Отсюда централизатор инволюции х в И также бесконечен и по лемме 2 периодическая часть централизатора СО(х) содержится в И П И Тогда по лемме 3 И = Ht и кг е И = ЖО(И). Элемент 5 можно представить в виде 5 = к с - (/е р), тогда Щ = И с- (Г ер).
Для двух различных инволюций /, V из р соответствующие строго вещественные элементы с, сК также различны. Иначе из их совпадения вытекало бы равенство х = с-11 с = с^^с^, что невозможно для различных инволюций /, V. По свойствам групп диэдра элемент/ = хс- из Щ есть инволюция. Множество таких инволюций по мощности совпадает с мощностью множества р и, значит, бесконечно. В качестве
представителя смежного класса Щ берем инволюцию и = хс- для некоторого / из р . Тогда инволюцию/ можно представить в виде / = (/ е р), где ^ при-
надлежит И и является строго вещественным относительно инволюции к ввиду к)2 = (/)2 = 1 (отсюда
кЛ8к = Я^).
Очевидно, группа 2 = < ^ | / еЭТ > бесконечна и ввиду вложения 2 < И группа 2 почти слойно конечна. Инволюция и нормализует 2 и не содержится в И. Включим почти слойно конечную периодическую часть нормализатора МО(2) в максимальную почти слойно конечную подгруппу Ж группы О (это можно сделать по лемме Цорна ввиду почти слойной конечности локально конечных подгрупп, удовлетворяющих условиям теоремы (см. предложение 3)). Пересечение И П Ж бесконечно (в нем содержится подгруппа 2). Отсюда по лемме 1 получаем совпадение И = Ж и включение и е И вопреки выбору и.
Противоречие означает, что для любого элемента х е 3 найдется бесконечное подмножество р х множества ЭТ такое, что порядки элементов Ь = х( (/ е р х) четны. Обозначим через Т множество инволюций вида / из < Ьг > ( е их). По свойствам групп диэдра и лемме 2 Т < И П И5. Ввиду максимальности И из бесконечности множества Т следовало бы по лемме 1 совпадение И = И5, что противоречило бы выбору пары И, 5. Следовательно, Т — конечное множество и, не нарушая общности рассуждений, будем считать, что оно состоит из одной инволюции ]х. По свойствам групп диэдра {х, р х} < СаЦх) и р х -бесконечное множество инволюций из И5. По лемме 2 х принадлежит СО(/х) < И5. Отсюда ввиду произвольности выбора инволюции х из бесконечного множества 3 получаем 3 < И П И5. Как и выше, в такой ситуации приходим к противоречию с выбором пары
И, 5. Т. е. все инволюции с бесконечными централизаторами в И порождают конечную подгруппу, которая содержится в слойно конечном радикале Я(И) группы И по определению слойно конечного радикала и по предложению 2. Лемма доказана.
Лемма 5. В максимальной почти слойно конечной подгруппе И из О нет элементарной абелевой подгруппы 8-го порядка с почти регулярной инволюцией в И.
Доказательство. Пусть лемма неверна и Е - элементарная абелева подгруппа восьмого порядка из И, к - ее почти регулярная в И инволюция.
Так как по предложению 8 в бесконечной локально конечной группе четверная подгруппа Клейна обладает инволюцией с бесконечным централизатором, то в Е найдется инволюция с бесконечным централизатором в И. Обозначим ее через т. Так как Е = <т > х К, где К - группа диэдра, то снова по тем же соображениям некоторая инволюция 7 из К также не является почти регулярной в И. Так как по лемме 4 инволюция т находится в конечном нормальном в И делителе Ит, а 7, соответственно, в конечном нормальном в И делителе И;, то их произведение т1 также попадет в конечный нормальный делитель ИпИ! и т1 также имеет бесконечный централизатор в И. Таким образом, подгруппа Ь = < т > х < 7 > имеет бесконечный централизатор в И конечного индекса в И. Теперь рассмотрим максимальную почти слойно конечную в О подгруппу Ж, содержащую периодическую часть Ск централизатора СО(к). Очевидно Е < Ск < Ж. Как и выше, найдем в Е = < к > х Ь подгруппу Ь четвертого порядка с бесконечным централизатором в Ж конечного индекса в Ж, нетривиально пересекающуюся с Ь. Таким образом, пересечение Ь П Ь1 содержит некоторую инволюцию, периодическая часть централизатора которой содержится в И П Ж. Так как периодическая часть централизатора любой инволюции в О бесконечна, то И, Ж пересекаются по бесконечной подгруппе и, значит, пересекаются нетривиально по своим слойно конечным радикалам. По лемме 1 И = Ж и, учитывая конечность централизатора СИ(к) и бесконечность централизатора СЖ(к), получаем противоречие. Лемма доказана.
Предположим, что полная часть £ группы £ обладает больше чем одной инволюцией, и кроме I в £ нашлась инволюция 7.
Напомним, что в £ имеется почти регулярная в И инволюция/. Если]1] = 1, то < I > х < I > х </ > - элементарная абелева группа, существование которой противоречит лемме 5. Тогда/7] = к ф 7.
Если 1к = 7, то поскольку /, 7 е £ полной части группы £, мы можем выбрать элементы I2 = 7, кг2 = к и одновременно /1х] = к\.
Тогда /71к1/' = /71/]'к1/' = к1/]71/]' = к^. Так как 7Ь
к\ е £, то кх7х = 7к и]71к1/' = 71к1, т. е. 7к е СИ(/) и порядок элемента 7\к\ равен четырем. Продолжая рассуждения таким же способом, получаем элемент 72к2 е СИ/) порядка 8, элемент 73к3 е СИ/) порядка 16 и т. д. Противоречие с почти регулярностью инволюции ] в группе И означает невозможность случая 1к = 7.
Остался случай, когда 1к ф 7. Чтобы его исключить, заметим, что для инволюции к7 ф / выполняется ]к7] =
]к]]7] = ]]7]]к = 7к. Так как 7, к е £, то к7 = 7к и тогда в £ найдется элементарная абелева группа < / > х < к7 > х х <] >, которая, как мы показали выше не может содержаться в £.
Таким образом, в полной части £ инволюция /
единственна. Отсюда следует, что £ является квази-циклической 2-группой.
Инволюция I является единственной центральной инволюцией в группе £, так как если бы в ней нашлась другая центральная инволюция г, то в И нашлась бы и элементарная абелева группа < I > х х < г > х < / >, существование которой противоречит лемме 5.
Завершение доказательства теоремы. Пусть к -некоторая инволюция из И, не сопряженная в М с инволюцией I и имеющая в И бесконечный централизатор. Класс инволюций, сопряженных с инволюцией к в группе О не может содержаться в подгруппе И, так как в этом случае подгруппа, порожденная этим классом, была бы почти слойно конечной подгруппой, инвариантной в группе О. Но в такой подгруппе всегда найдется конечная характеристическая подгруппа, нормализатор которой по условиям теоремы обладает почти слойно конечной периодической частью и совпадает с группой О, что невозможно. Тогда найдется инволюция / = к5 £ И (очевидно, в этом случае 5 £ М). Аналогично найдется инволюция и = 1/ £ И5. Рассмотрим группу Б = < и, / >.
В случае нечетности порядка элемента и группа Б была бы группой Фробениуса. По свойствам групп Фробениуса в Б найдется элемент ё такой, что и< = /. Тогда (/ = и< = / = к5, что влечет I = /с^^сГ/-. Со-
гласно предположению, 5сГ1/4 £ М.
Тогда пересечение И П /й^^с^/ - содержит инволюцию I. По лемме 4 инволюции I, к содержатся в Я(И), тогда инволюция / = /ё£лк5сГ1/~1 содержится в Я/с^^сГ1/4). Отсюда по лемме 1 получаем совпадение И = /ё5^1И5сГ1/_1, что противоречит выбору элемента -1 £ М = ЖО(И).
Значит, и - элемент четного порядка. Обозначим через V инволюцию из < и >. По свойствам групп диэдра V является центральной инволюцией в Б и, следовательно, принадлежит И5 ввиду леммы 2 и бесконечности пересечения СО(0 с И (лемма 2 справедлива для групп И5 и М5 как для соответственно сопряженных с И и М).
Обозначим через £1 силовскую 2-подгруппу из И5, содержащую / и V. Так как в И все силовские 2-подгруппы сопряжены, то можно считать, не нарушая общности рассуждений, что № также принадлежит £ь причем ^ ф / = к5, иначе получили бы противоречие с предположением.
Инволюция м> имеет конечный централизатор в И5, так как иначе ввиду леммы 2 инволюция и попала бы в И вместе с бесконечной периодической частью централизатора СО(м>), а это противоречит выбору инволюции и.
Рассмотрим максимальную элементарную абелеву подгруппу Я = < / > х < ур > из £1 (ввиду леммы 5 в группе И нет элементарных абелевых подгрупп 8го порядка, содержащих инволюцию V).
Инволюция I является единственной центральной инволюцией в группе £ и, так как силовская 2-подгруппа £ из И сопряжена с силовской 2-подгруппой £1 из И5 (см. предложение 6) при помощи некоторого элемента х, то группа £1 обладает единственной центральной инволюцией. Если эта центральная инволюция не /, то ввиду максимальности элементарной абелевой подгруппы Я центральная инволюция из £1 совпадает либо с м>, либо с №. В первом случае м> централизует бесконечную подгруппу £1 < И5, что невозможно ввиду ее почти регулярности в И5, а во втором случае снова № имеет бесконечный централизатор в И5 по лемме 4 имеющий конечный индекс в И5, аналогично | И : СО(0 П И | < да, тогда подгруппа Я = < № > х < / > также имеет бесконечный централизатор в И5. Отсюда и централизатор элемента V в группе И бесконечен, что противоречит почти регулярности м> в И5. Таким образом, инволюция / является единственной центральной инволюцией в группе £1. Тогда Iх = / = к5, или / = х5_1к5хч, причем 5х- £ М по предположению. Тогда пересечение И П х5 ~1И5х 4 содержит инволюцию / = щ~1к5;хл, снова, как и выше в такой ситуации для 1 е И П /<<5 < ~1/4 получаем И = х5_1И§х_1, что
противоречит выбору элемента 5х- £ М = МО(И). Таким образом, все инволюции из И с бесконечными централизаторами в И сопряжены в М.
По предложению 4 группа И обладает слойно конечным радикалом Я(И), причем £ содержится в центре 2(Я(И)) по предложению 9. Для произвольного элемента к из М = ЫО(И) подгруппа £к так же, как и £, является полной 2-подгруппой и также содержится в центре 2(Я(И)) по предложению 9. Очевидно группа
< £ , £к > является полной абелевой 2-группой и по теореме 9.1.6 из [18] разлагается в прямое произведение квазициклических 2-подгрупп. Как мы показали выше, £ является квазициклической 2-группой, тогда ввиду сопряженности (см. предложение 6) силовских 2-подгрупп в И группа < £, £к > также является квазициклической 2-группой и £ = £к. Таким образом, подгруппа £ нормальна в М. Если бы С£( £) ф £ , то £ как полная абелева группа выделялась бы прямым множителем в некоторой большей абелевой подгруппе из С£( £). Но тогда в С£( £) \ £ нашлась бы инволюция / с бесконечным централизатором в £. По доказанному выше, все инволюции из £ с бесконечными централизаторами в И сопряжены в М, т. е. инволюция / из С£( £) \ £ сопряжена с инволюцией / е £ . Противоречие с нормальностью £ в М. Следовательно, С( £)= £ .
Так как подгруппа £ нормальна в £, то ] е Ыа( £). Тогда] индуцирует в £ нетривиальный автоморфизм,
переводящий каждый элемент из £ в обратный. Ввиду строения группы автоморфизмов квазициклической
группы других автоморфизмов у £ нет. Таким образом, £ = £ X (/) и инволюция ] сопряжением переводит каждый элемент из £ в обратный. Теорема доказана.
Мы полностью изучили строение бесконечной си-ловской 2-подгруппы в группах Шункова, не обладающих почти слойно конечной периодической частью, при условии почти слойной конечности периодических частей нормализаторов конечных нетривиальных подгрупп. Доказано, что если некоторая си-ловская 2-подгруппа такой группы бесконечна, то она является расширением квазициклической 2-группы при помощи обращающего автоморфизма. Этот результат найдет применение при изучении бесконечных групп с условиями конечности.
Библиографические ссылки
1. Черников С. Н. К теории бесконечных специальных />-групп // Докл. АН СССР. 1945. С. 71-74.
2. Адян С. И. Проблема Бернсайда и тождества в группах. М. : Наука, 1975.
3. Ольшанский А. Ю. Геометрия определяющих соотношений в группах. М. : Наука, 1989.
4. Сенашов В. И. Почти слойная конечность периодической группы без инволюций // Укр. мат. журн. Т. 51(11). 1999. С. 1529-1533.
5. Сенашов В. И. Группы с условием минимальности для не почти слойно конечных подгрупп // Укр. мат. журн. Т. 43(7-8). 1991. С. 1002-1008.
6. Сенашов В. И. Достаточные условия почти слойной конечности группы // Укр. мат. журн. Т. 51(4). 1999. С. 472-485.
7. Сенашов В. И., Шунков В. П. Почти слойная конечность периодической части группы без инволюций // Дискретная математика. Т. 15(3). 2003. С. 91-104.
8. Сенашов В. И. О группах Шункова с сильно вложенной подгруппой // Труды ИММ УрО РАН. Т. 15(2). 2009. С. 203-210.
9. Сенашов В. И. О группах Шункова с сильно вложенной почти слойно конечной подгруппой // Труды ИММ УрО РАН. Т. 16(3). 2010. С. 234-239.
10.Сенашов В. И. О группах с сильно вложенной подгруппой, обладающей почти слойно конечной периодической частью // Укр. мат. журнал. Т. 64(3). 2012. С. 384-391.
11. Шунков В. П. О периодических группах с почти регулярной инволюцией // Алгебра и логика. Т. 11(4). 1972. С. 470-493.
12. Черников С. Н. Группы с заданными свойствами системы подгрупп. М. : Наука, 1980.
13. Шунков В. П. ^-группы. Новосибирск : Наука, 2000.
14. Сенашов В. И. О некоторых подгруппах в группах Шункова и о почти слойно конечных группах // Алгебра и ее приложения : тр. Междунар. алгебра-ич. конф. Нальчик. 2010. С. 149-153.
15. Шунков В. П. О локально конечных группах конечного ранга // Алгебра и логика, Т. 10(2). 1971. С. 199-225.
16. Шунков В. П. О проблеме минимальности для локально конечных групп // Алгебра и логика. Т. 9(2). 1970. С. 220-248.
17. Курош А. Г. Теория групп. 3-е изд. М. : Наука, 1967.
18. Каргаполов М. И., Мерзляков Ю. И. Основы теории групп. 3-е изд. М. : Наука, 1982.
© Сенашов В. И., 2013
УДК 539.374
ЛИНИИ ТОКА ДЛЯ РЕШЕНИЯ ПРАНДТЛЯ
С. И. Сенашов, Е. В. Филюшина
Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева Россия, 660014, г. Красноярск, просп. им. газ. «Красноярский рабочий», 31. E-mail: [email protected], [email protected]
Рассмотрены уравнения пластичности в стационарном двумерном случае. Для решения Прандтля описывающее сжатие пластического слоя жесткими плитами рассмотрено два поля скоростей. Одно из них решение Надаи, второе новое решение. Показано что линии тока у этих решений совпадают. Исходя из принципа максимума диссипации, указаны области использования этих полей скоростей.
Ключевые слова: пластичность, линии тока, поле скоростей, новые решения.
CURRENT LINES FOR PRANDTL SOLUTION
S. I. Senashov, E. V. Filyushina
Siberian State Aerospace University named after academician M. F. Reshetnev 31 “Krasnoyarsky Rabochy” prospect, Krasnoyarsk, 660014, Russia. E-mail: [email protected], [email protected]
The authors consider plasticity equations in a stationary two-dimensional case. For Prandtl solution, which describes the compression ofplastic layer by rigid plates, the authors consider two velocity fields. The first one is Nadai
