Введение к работе
Актуальность темы. Покрытием группы G назовем всякую такую систему подгрупп этой группы, что теоретико-множественное объединение этих подгрупп совпадает с G. Исследование влияния свойств покрытия на строение самой группы — одно из актуальных направлений теории групп. Этой области теории групп посвящена данная диссертация.
Покрытие называется расщеплением, если пересечение любых двух подгрупп из этого покрытия есть единичная группа. Изучение покрытий и расщеплений групп началось в работах П. Г. Конторовича1. Некоторый обзор результатов, полученных в данном направлении, в том числе и относящихся к конечным группам, можно найти в работе П. Г. Конторовича, А. С. Пекелис и А. И. Старостина2.
Покрытия конечно-порожденных абелевых групп изучались А. Ро-зенфилдом3. Ю. Ш. Гуревич указал некоторые условия для того, чтобы группа обладала покрытием из собственных характеристических подгрупп. Например, для периодических абелевых групп необходимым и достаточным условием служит неограниченность порядков элементов.
Также наряду с покрытиями подгруппами можно рассматривать покрытия группы подмножествами с теми или иными дополнительными свойствами. Например, Б. Нейман5 и П. Кон6 исследовали покрытия групп попарно перестановочными конечными подмножествами. Б. Нейман7 изучал покрытия групп конечным числом смежных классов. Им доказано, что коммутант группы G конечен, если G обладает конечным
1Конторович П. Г. Группы с базисом расщепления, I // Матем. сб. - 1943. - Т. 12(54), № 1. - С. 56-70; Его же. Группы с базисом расщепления, II // Матем. сб. - 1946. - Т. 19(61), № 2. - С. 287-308; Его же. Группы с базисом расщепления, III // Матем. сб. - 1948. - Т. 22(64), № 1. - С. 79-100; Его же. Группы с базисом расщепления, IV // Матем. сб. - 1950. - Т. 26(68), № 2. - С. 311-320; Его же. Инвариантно покрываемые группы, I // Матем. сб. -1940. - Т. 8(50), № 3. - С. 423-436; Его же. Инвариантно покрываемые группы, II // Матем. сб. - 1951. - Т. 28(70), № 1. - С. 79-88.
2Конторович П. Г., Пекелис А. С, Старостин А. И. Структурные вопросы теории групп // Матем. зап. Уральск, ун-та. - 1961. - Вып. 1, Т. 3. - С. 3-50.
3Rosenfeld A. Finitely generated abelian groups as unions of proper subgroups // Amer. Math. Monthly. - 1963. -V. 70,№ 10. - P. 1070-1074.
4Гуревич Ю. Ш. Группы с характеристическим покрытием // Матем. зап. Уральск, ун-та. - 1963. — Т. 4. — С. 32-39.
5Neumann В. Н. Groups covered by permutable subsets // J. London Math. Soc. - 1954. - V. 29, № 2. - P. 236-248.
6Cohn P. M. A countably generated group which cannot be covered by finite permutable subsets // J. London Math. Soc. - 1954. - V. 29, № 2. - P. 248-249.
7Neumann B. H. Groups covered by finitely many cosets // Publ. Math. Debrecen. - 1954. - V. 3. - P. 227-242.
покрытием подгруппами с конечными коммутантами.
В теории групп существует довольно много теорем, имеющих вид: если некоторое свойство А имеет место для всех конечно-порожденных подгрупп какой-либо группы, то свойство А имеет место и для всей группы. Так, например, группа G имеет нормальную разрешимую (соответственно центральную) систему подгрупп, если такую систему имеет каждая конечно-порожденная подгруппа группы G. А. И. Мальцев8 показал, что такие предложения не являются, в своем большинстве, специфически алгебраическими и могут быть получены как непосредственные следствия одного общего предположения математической логики.
Особый интерес представляет изучение свойств группы G, которые следуют из свойств групп некоторого покрытия группы G.
Пусть дано теоретико-групповое свойство . Будем говорить, что группа G обладает свойством L(), порожденным свойством 8, если нормальное замыкание (х) любого элемента х из G обладает свойством . Свойство L() называется свойством Леви, порожденным . Изучение свойств Леви следует рассматривать как шаг в направлении исследования строения групп, покрываемых системой нормальных подгрупп.
Впервые свойство Леви было введено в работе Л. К. Каппе9 под влиянием работы Ф. Леви10, в которой исследовались группы с абелевыми нормальными замыканиями вида (х) . Применительно к нильпотент-ным группам и их обобщениям это свойство достаточно подробно изучалось, например, в работах Л. К. Каппе и Р. Ф. Морса11.
От свойств Леви естественно перейти к классам Леви. Для произвольного класса Л4 групп обозначим через Ь(Л4) класс всех групп G, в которых нормальное замыкание (х) любого элемента х из G принадлежит Л4. Класс Ь(Л4) групп называется классом Леви, порож-
8Мальцев А. И. Об одном общем методе получения локальных теорем теории групп // Учен. зап. Ивановск. пед. ин-та. - 1941. - Т. 1, № 1. - С. 3-9.
9Карре, L. С. On Levi-formations // Arch. Math. - 1972. - V. 23. - P. 561-572.
10Levi F. W. Groups in which the commutator operation satisfies certain algebraic conditions // J. Indian Math. Soc. - 1942. - № 6. - P. 87-97.
nKappe L. C, Morse R. F. Groups with 3-abelian normal closures // Arch. Math. - 1988. - V. 51, № 2. - P. 104-110; Kappe L. C., Morse R. F. Levi-properties in metabelian groups // Contemporary Mathematics. - 1990. - V. 109. -P. 59-72.
денным Л4.
Р. Ф. Морсом12 доказано, что если Л4 — многообразие групп, то Ь(Л4) также многообразие групп. А. И. Будкиным13 установлено, что если Л4 — квазимногообразие групп, то Ь(Л4) — также квазимногообразие групп.
Известно, что произведение двух нормальных нильпотентных подгрупп произвольной группы является нильпотентной подгруппой. Следовательно, если квазимногообразие Л4 содержит лишь нильпотент-ные группы (т. е. нильпотентное), то квазимногообразие Ь(Л4) является локально нильпотентным (из работ Л. К. Каппе, В. Каппе14 и К. Вестона15 следует, что L(A4) может не быть нильпотентным, а из результатов Л. К. Каппе и В. Каппе16 вытекает, что оно содержится в многообразии n-энгелевых групп для подходящего натурального числа п).
Как обычно, под qfC будем понимать квазимногообразие, порожденное классом групп /С. Если класс /С = {G} содержит лишь одну группу G, то вместо qfC будем писать просто qG.
А. И. Будкиным1 доказано, что если АІ — нильпотентное квазимногообразие, Л4 — множество всех конечно-порожденных групп из Л4, то выполняется равенство L(qA4) = qL(A4). Там же установлено, что если ЛГ — класс всех конечно-порожденных нильпотентных групп, Л/о — класс всех конечно-порожденных нильпотентных групп без кручения, то аналогичное утверждение неверно, и справедливы строгие включения qJ\fo С L(qNo) и qj\f С L(qJ\f), откуда, в частности, следуют неравенства L(qNo) ф qL(J\fo) и L{qJ\f) ф qL{J\f).
Также А. И. Будкин18 показал, что квазимногообразия L(qJ\f), L(qJ\fo) замкнуты относительно свободных произведений, каждое из этих квазимногообразий содержит не более одного максимального
12Morse R. F. Levi-properties generated by varieties // The mathematical legacy ofWilhelm Magnus. Groups, geometry and special functions (Contemporary Mathematics, V. 169), Providence, Ш, Am. Math. Soc. - 1994. - P. 467-474.
13Будкин А. И. Квазимногообразия Леви // Сибирский математический журнал. - 1999. - Т. 40, № 2. - С. 266-270.
14Карре L. С, Карре W. P. On three-Engel groups // Bull. Austral. Math. Soc. - 1972. - V. 7. - P. 391-405.
15Weston K. W. ZA-groups which satisfy m-th Engel condition // Illinois J. Math. - 1964. - V. 8, № 3. - P. 458-472.
16Kappe L. C, Kappe W. P. On three-Engel groups ... P. 391-405.
17Будкин А. И. О классах Леви, порожденных нильпотентными группами // Алгебра и логика. - 2000. - Т. 39, № 6. - С. 635-647.
18Будкин А. И. О классах Леви, порожденных нильпотентными группами ... С. 635-647.
собственного подквазимногообразия и что если квазимногообразие Л4 замкнуто относительно свободных произведений, то таковым же является квазимногообразие Ь(Л4).
Обозначим через ЛГС многообразие нильпотентных групп ступени не выше с, через Fn(A4) — свободную группу в квазимногообразии Л4 ранга п.
Из работы Ф. Леви19 следует, что класс L(J\f\) является многообразием 2-энгелевых групп. В работе Л. К. Каппе и В. Каппе20 доказано, что класс Ь(Л/*2) совпадает с многообразием 3-энгелевых групп.
А. И. Будкиным21 установлено, что если /С — произвольное множество нильпотентных групп ступени 2 без элементов порядков 2 и 5, и в каждой группе из /С централизатор любого элемента, не принадлежащего центру этой группы, является абелевой подгруппой, то L(q)C) С А/з- В действительности, в доказательстве этого результата отсутствие элементов порядка 5 нужно было только для установления того, что всякая 3-порожденная группа из L(qK.) нильпотентна класса < 4, поэтому в работе А. И. Будкина и Л. В. Тараниной22 данный результат был усилен и доказана аналогичная теорема для произвольного множества нильпотентных групп ступени 2 без элементов порядка 2.
Рассмотрим группы, имеющие следующие представления вЛ/2:
Нр = гр(х,у || [х,у]р = 1), Hps = гр(х,у || [х,у]р = xpS = ypS = 1),
где s Є N, р — простое число.
Набор qHps (исключая qH2i), qHp, gi^A/j?) (р — простое число), представляет собой полный список почти абелевых квазимногообразий нильпотентных групп (т. е. неабелевых квазимногообразий нильпотентных групп, все собственные подквазимногообразия которых абе-левы).
Данная работа посвящена описанию классов Леви, порожденных почти абелевыми квазимногообразиями нильпотентных групп.
19Levi F. W. Groups in which the commutator operation satisfies certain algebraic conditions ... P. 87-97. 20Kappe L. C, Kappe W. P. On three-Engel groups ... P. 391-405. 21Будкин А. И. Квазимногообразия Леви ... С. 266-270.
22Будкин А. И., Таранина Л. В. О квазимногообразиях Леви, порожденных нильпотентными группами // Сибирский математический журнал. - 2000. - Т. 41, № 2. - С. 270-277.
Целями диссертационной работы являются:
Описание классов Леви, порожденных почти абелевыми квазимногообразиями нильпотентных групп.
Исследование классов Леви, порожденных квазимногообразиями нильпотентных групп ступени не выше 2, содержащих элементы порядка 2.
Доказательство существования классов Леви, порожденных квазимногообразиями нильпотентных ступени не выше 2 групп экспоненты 8, содержащих нильпотентные группы ступени больше 3.
Методика исследования ориентирована на использование классических методов теории нильпотентных групп и теории определяющих соотношений.
Научная новизна работы. Все результаты, полученные в диссертации, являются новыми.
Основные положения, выносимые на защиту:
Найдены описания классов Леви, порожденных почти абелевыми квазимногообразиями нильпотентных групп (исключая L(qH2)).
Пусть /С — произвольный класс нильпотентных ступени не выше 2 групп экспоненты 2П (п — фиксированное натуральное число, п > 2) с коммутантами экспоненты 2 и в каждой группе из /С элементы порядка 2т (0 < т < п) содержатся в центре этой группы. Доказано, что класс Леви, порожденный квазимногообразием qK. совпадает с многообразием нильпотентных ступени не выше 2 групп экспоненты 2П.
Найдена мощность множества квазимногообразий /С таких, что:
/С содержит нильпотентные ступени не выше 2 группы экспоненты 4,
в каждой группе из /С элементы порядка 2 содержатся в центре этой группы,
3) класс L(1C) совпадает с многообразием нильпотентных ступени не выше 2 групп экспоненты 4.
Она оказалась континуальной.
Доказано существование класса /С такого, что /С — класс нильпотентных ступени не выше 2 групп экспоненты 8 с коммутантами экспоненты 2 и во всякой группе из /С централизатор любого элемента, не принадлежащего центру этой группы, — абелева подгруппа, но класс L(qK.) содержит нильпотентную группу ступени 3.
Установлено существование класса /С такого, что во всякой группе из /С централизатор любого элемента, не принадлежащего центру этой группы, — абелева подгруппа, но класс L(q)C) содержит нильпотентную группу ступени 4.
Теоретическая и практическая значимость. Результаты диссертации являются новыми, имеют теоретическое значение и могут быть использованы в дальнейших исследованиях классов Леви.
Апробация работы. Результаты диссертации были представлены на XLIV международной научной студенческой конференции "Студент и научно-технический прогресс" (Новосибирск, 2006); Девятой региональной конференции по математике "МАК-2006" (Барнаул, 2006); Седьмой международной конференции "Пограничные вопросы теории моделей и универсальной алгебры" (Эрлагол, 2007); Десятой региональной конференции по математике "МАК-2007" (Барнаул, 2007); Международной конференции "Мальцевские чтения" (Новосибирск, 2007); Двенадцатой региональной конференции по математике "МАК-2009" (Барнаул, 2009); Международной конференции "Мальцевские чтения" (Новосибирск, 2009); семинарах "Теория групп" и "Алгебра и логика" ИМ СО РАН (Новосибирск, 2009); Международной конференции "Мальцевские чтения" (Новосибирск, 2010). Кроме того, все результаты диссертации в разное время докладывались на семинаре "Теория групп" Алтайского государственного университета.
Публикации. Все основные результаты работы были опубликова-
ны в [1] - [10]. Три работы опубликованы в ведущих рецензируемых научных журналах, определенных Высшей аттестационной комиссией [8] - [10].
Структура и объем работы. Диссертация изложена на 72 страницах, состоит из введения, четырех глав, разбитых на разделы, заключения и списка литературы.
