WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Авторефераты по темам  >>  Разные специальности - [часть 1]  [часть 2]

О квазимногообразиях Леви, порожденных нильпотентными группами

Автореферат кандидатской диссертации

 

На правах рукописи

Лодейщикова Виктория Владимировна

О КВАЗИМНОГООБРАЗИЯХ ЛЕВИ, ПОРОЖДЕННЫХ НИЛЬПОТЕНТНЫМИ ГРУППАМИ

01.01.06 — математическая логика, алгебра и теория чисел

АВТОРЕФЕРАТ

диссертации на соискание ученой степени

кандидата физико-математических наук

Барнаул - 2011


Работа выполнена на кафедре алгебры и математической логики Алтайского государственного университета

Научный руководитель:

доктор физико-математических наук, профессор Будкин Александр Иванович

Официальные оппоненты:

доктор физико-математических наук, профессор Романьков Виталий Анатольевич

кандидат физико-математических наук Мищенко Алексей Александрович

Ведущая организация:

Новосибирский государственный технический университет

Защита состоится 20 октября 2011 года в 16-00 часов на заседании диссертационного совета ДМ 212.179.07 при Омском государственном университете им. Ф. М. Достоевского по адресу: 644099, г. Омск, ул. Певцова, 13.

С диссертацией можно ознакомиться в библиотеке Омского государственного университета им. Ф. М. Достоевского по адресу: 644077, г. Омск, пр. Мира, 55-А.

Автореферат разослан "____ "_______________ 2011 г.

Ученый секретарь диссертационного совета ДМ 212.179.07,

к.ф.-м.н., доцент                         \QxM4*Од  у[  Семенов


ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы. Покрытием группы 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 В. H. Groups covered by finitely many cosets // Publ. Math. Debrecen. - 1954. - V. 3. - P. 227-242.

3


покрытием подгруппами с конечными коммутантами.

В теории групп существует довольно много теорем, имеющих вид: если некоторое свойство А имеет место для всех конечно-порожденных подгрупп какой-либо группы, то свойство А имеет место и для всей группы. Так, например, группа 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


денным Л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.

5


собственного подквазимногообразия и что если квазимногообразие Л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, ^2(Л/2) (р — простое число), представляет собой полный список почти абелевых квазимногообразий нильпотентных групп (т. е. неабелевых квазимногообразий нильпотентных групп, все собственные подквазимногообразия которых абе-левы).

Данная работа посвящена описанию классов Леви, порожденных почти абелевыми квазимногообразиями нильпотентных групп.

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.

6


Целями диссертационной работы являются:

  1. Описание классов Леви, порожденных почти абелевыми квазимногообразиями нильпотентных групп.
  2. Исследование классов Леви, порожденных квазимногообразиями нильпотентных групп ступени не выше 2, содержащих элементы порядка 2.
  3. Доказательство существования классов Леви, порожденных квазимногообразиями нильпотентных ступени не выше 2 групп экспоненты 8, содержащих нильпотентные группы ступени больше 3.

Методика исследования ориентирована на использование классических методов теории нильпотентных групп и теории определяющих соотношений.

Научная новизна работы. Все результаты, полученные в диссертации, являются новыми.

Основные положения, выносимые на защиту:

  1. Найдены описания классов Леви, порожденных почти абелевыми квазимногообразиями нильпотентных групп (исключая L(qH2)).
  2. Пусть /С — произвольный класс нильпотентных ступени не выше 2 групп экспоненты 2П (п — фиксированное натуральное число, п > 2) с коммутантами экспоненты 2 и в каждой группе из /С элементы порядка 2т (0 < т < п) содержатся в центре этой группы. Доказано, что класс Леви, порожденный квазимногообразием qK. совпадает с многообразием нильпотентных ступени не выше 2 групп экспоненты 2П.
  3. Найдена мощность множества квазимногообразий /С таких, что:
  1. /С содержит нильпотентные ступени не выше 2 группы экспоненты 4,
  2. в каждой группе из /С элементы порядка 2 содержатся в центре этой группы,

3) класс L(1C) совпадает с многообразием нильпотентных ступени не выше 2 групп экспоненты 4.

Она оказалась континуальной.

  1. Доказано существование класса /С такого, что /С — класс нильпотентных ступени не выше 2 групп экспоненты 8 с коммутантами экспоненты 2 и во всякой группе из /С централизатор любого элемента, не принадлежащего центру этой группы, — абелева подгруппа, но класс L(qK.) содержит нильпотентную группу ступени 3.
  2. Установлено существование класса /С такого, что во всякой группе из /С централизатор любого элемента, не принадлежащего центру этой группы, — абелева подгруппа, но класс L(q)C) содержит нильпотентную группу ступени 4.

Теоретическая и практическая значимость. Результаты диссертации являются новыми, имеют теоретическое значение и могут быть использованы в дальнейших исследованиях классов Леви.

Апробация работы. Результаты диссертации были представлены на XLIV международной научной студенческой конференции "Студент и научно-технический прогресс" (Новосибирск, 2006); Девятой региональной конференции по математике "МАК-2006" (Барнаул, 2006); Седьмой международной конференции "Пограничные вопросы теории моделей и универсальной алгебры" (Эрлагол, 2007); Десятой региональной конференции по математике "МАК-2007" (Барнаул, 2007); Международной конференции "Мальцевские чтения" (Новосибирск, 2007); Двенадцатой региональной конференции по математике "МАК-2009" (Барнаул, 2009); Международной конференции "Мальцевские чтения" (Новосибирск, 2009); семинарах "Теория групп" и "Алгебра и логика" ИМ СО РАН (Новосибирск, 2009); Международной конференции "Мальцевские чтения" (Новосибирск, 2010). Кроме того, все результаты диссертации в разное время докладывались на семинаре "Теория групп" Алтайского государственного университета.

Публикации. Все основные результаты работы были опубликова-

8


ны в [1] - [10]. Три работы опубликованы в ведущих рецензируемых научных журналах, определенных Высшей аттестационной комиссией [8] - [10].

Структура и объем работы. Диссертация изложена на 72 страницах, состоит из введения, четырех глав, разбитых на разделы, заключения и списка литературы.

СОДЕРЖАНИЕ РАБОТЫ

Во введении обосновывается актуальность темы диссертации, дается изложение современного состояния изучаемых проблем и приводится краткий обзор содержания работы.

Пусть qF2(J\f2) — квазимногообразие, порожденное свободной группой ранга 2 в классе нильпотентных групп ступени не выше 2, qF2(J\f27p) — квазимногообразие, порожденное относительно свободной группой ранга 2 в классе нильпотентных групп ступени не выше 2 экспоненты р [р — простое число, р ф 2\ Первая глава посвящена исследованию квазимногообразия Леви, порожденного классом qF2(ЛГ2)•

Раздел 1 содержит вспомогательные теоремы и утверждения. Завершает данный раздел доказательство лемм, в которых указаны условия принадлежности группы квазимногообразию qF2(Л/2) и квазимногообразию qF2(AT2,p).

Лемма 1.1.2. Пусть Н — 2-ступенно нильпотентная группа без кручения, порожденная элементами ж, х\,..., хп, и гр(жі,... , хп) является свободной абелевой подгруппой рангап. Тогда Н Є qF2(J\f2).

Лемма 1.1.3. Пусть Н — 2-ступенно нильпотентная группа экспоненты р (р — простое число, р =? 2), порожденная элементами ж, #1,..., хп, и гр(жі,..., хп) изоморфна прямому произведению п циклических групп порядка р. Тогда Н Є qF2(J\f2^p).

В разделе 2 доказываются основные теоремы первой главы, содержащие описание квазимногообразия Леви, порожденного классом qF2{M2).

Пусть Л/^оо — квазимногообразие нильпотентных групп без кручения ступени < с, Л/"С;р — многообразие нильпотентных групп ступени < с экспоненты р.

9


Теорема 1.2.1. Пусть J\f— одно из следующих квазимногообразий: Л/2,оо? А/2,р (р — простое число, р =? 2) и пусть /С — произвольный класс групп из J\f, содержащий неабелеву группу. Предположим, что во всякой группе из централизатор любого элемента, не принадлежащего центру этой группы, является абелевой подгруппой. Тогда

  1. если ЛГ = Л/2,00, wo L(q)C) = Л/3,00 и
  2. если N = N~2,P, то L(q)C) = Л/"з;Р.

Теорема 1.2.2. Квазимногообразие Леей, порожденное классом gi^A/j?), совпадает с квазимногообразием нильпотентных групп ступени < 3 без кручения.

Зафиксируем простое число р, р ф 2. Пусть qHpквазимногообразие, порожденное относительно свободной группой в классе нильпотентных групп ступени не выше 2 с коммутантом экспоненты р. Во второй главе найдено описание класса Леви, порожденного квазимногообразием qHp.

Будем рассматривать квазимногообразие J\fp, заданное в Л/*2 следующим бесконечным множеством формул:

(Ух)(Уу)([х,у}р = 1),(2.1)

(Ух)(Уу)(хр = 1^[х,у} = 1),(2.2)

(yx)(xq= 1 ^ х = 1),                                        (2.3)

(Ух)(хр2 = 1^хр = 1),(2.4)

где qпробегает множество простых чисел, отличных от р.

Через Л4Р обозначим квазимногообразие, задаваемое вЛ/з квазитождествами (2.3), (2.4) и формулами:

(Ух)(Уу)([х,у,х}р = 1),(2.5)

(Ух)(Уу)(хр = 1^[х,у,х} = 1),(2.6)

kk\

хрд = Ц[ж,хГ'г -+ Ц[х,х^х?1 = 1) >       (2-7)

г=1                                    г=1                                         '

где g пробегает множество простых чисел, отличных отр, Јj Є { — 1; 1}, і=1,...,?;, 5 и к пробегают множество натуральных чисел.

ю


В разделе 1 доказана вспомогательная лемма, в которой указаны условия принадлежности группы квазимногообразию qHp.

Лемма 2.1.1. Пусть группа Н = гр(ж,жі,..., хп) принадлежит квазимногообразию J\fp(р — простое число, р =? 2) и подгруппа Н = гр(жі,..., хп) является абелевой. Тогда Н Є qHp.

Раздел 2 посвящен доказательству основных теорем данной главы, которые позволяют дать описание класса Леви, порожденного квазимногообразием qHp.

Теорема 2.2.1. Пусть /С — произвольный класс групп из J\fp(р — простое число, р =? 2), содержащий неабелеву группу. Предположим, что во всякой группе из централизатор любого элемента, не принадлежащего центру этой группы, является абелевой подгруппой. Тогда L{q1C) = Мр.

Теорема 2.2.2. Класс Леви, порожденный квазимногообразием qHp(р — простое число, р =? 2), совпадает с квазимногообразием JW.

Зафиксируем простое число р, р ф 2, и натуральное число s, s> 2. Пусть qHps— квазимногообразие, порожденное относительно свободной группой в классе нильпотентных ступени не выше 2 групп экспоненты psс коммутантом экспоненты р. В третьей главе дано описание класса Леви, порожденного квазимногообразием qHps.

Будем рассматривать квазимногообразие J\fp, задаваемое в Л/2 следующим бесконечным множеством формул:

(Ух)(Уу)([х,у}р = 1),(3.1)

{\/x){xpS= 1),                                          (3.2)

(Vx)(Vy1)...(Vyk)(Vz1)...(Vzk)(Vu)

(3.3)

(k

хрт = H[yi,Zi] ->• [х,и] = 1

V             i=i

(Ух)(УУі) ¦ ¦ ¦ №/*)(V*i)... (Vzk) (xpm = f[[yi, Zi] ^xpm = lV    (3.4)

^              i=\'

где kнатуральное число, m = l,...,s — 1.

Через Л4Р обозначим квазимногообразие, задаваемое в Л/"з тождеством (3.2) и формулами:

(Ух)(Уу)([х,у,х}р = 1),(3.5)

11


(Ух)(УУі)... (Vyk)(Vu) (хрШ = Ц[х}Уі,х] -+[x,u,x] = l),       (3.6)

і=і


(Ух)(Ух1)...(Ухк)(Уу1)...(Уук)

к\рт      кк

xpSП [х, хг]Єі        = П [х, Уі, х] ->• П [х, Хі, х]Єі = 1

і=1/і=1і=1


(3.7)


(3.

(Ух)(Ух1)...(Ухк)(Уу1)...(Уук)

к\рт      кк

XpSП [Х, Хг}ЄіП [Х, Уі, Х] ->>  П [Х, Уг,х} = 1

\ \          і=1/і=1і=1/

где Є{ (і = 1,... , к), 5 и А; пробегают множество натуральных чисел, m = 1,..., s1.

Раздел 1 содержит доказательство леммы, носящей вспомогательный характер. В лемме указаны условия принадлежности группы квазимногообразию qHps.

Лемма 3.1.1. Пусть группа Н = гр(х, /i,... , fn) принадлежит квазимногообразию J\fp(р — простое число, р =? 2, s— натуральное число, s> 2) и подгруппа Н = гр(/\}..., /п) является абелевой. Тогда Н Є qHps.

В разделе 2 доказываются основные результаты главы 3, позволяющие дать описание класса Леви, порожденного квазимногообразием qHps.

Теорема 3.2.1. Пусть /С — произвольный класс групп из J\fp(р — простое число, р =? 2, s— натуральное число, s> 2), содержащий неабелеву группу. Предположим, что во всякой группе из централизатор любого элемента, не принадлежащего центру этой группы, является абелевой подгруппой. Тогда L(q1C) = Л4Р&.

Теорема 3.2.2. Класс Леей, порожденный квазимногообразием qHps(р — простое число, р =? 2, s— натуральное число, s> 2), совпадает с квазимногообразием JW.

В четвертой главе исследуются классы Леви, порожденные квазимногообразиями нильпотентных ступени не выше 2 групп, содержащих элементы порядка 2.

Зафиксируем натуральное число п, п > 2. Пусть 7^-2™ — многообра-

12


зие групп, задаваемое в Л/2 формулами

(\/х)(\/у)([х,у]2 = 1),(4.1)

(Ух)(х2П = 1).                                         (4.2)

Рассмотрим в 7^-2™ свободную группу ранга 2. В Н^п будет истинно квазитождество

(Ух)(Уу)(х2П-1 = 1^[х,у} = 1).(4.3)

Обозначим через 1Zквазимногообразие групп, задаваемое в 7^-2™ квазитождеством (4.3).

Пусть ?>2п — многообразие групп, задаваемое вЛ/*2 тождеством (4.2).

Теорема 4.1.1. Класс L{1Z) совпадает с многообразием В^ ¦

Теорема 4.1.2. Класс L{qR'in) совпадает с многообразием В^¦

В частности, для п = 2 получаем, что В^ = TZ^ и L(qH^) совпадает с многообразием Л^-

Теорема 4.1.3. Множество квазимногообразий из IZ^ таких, что L{1C) = 7І4, континуально.

При дальнейшем исследовании квазимногообразий Леви экспоненты 2П возникает желание в формулировке теоремы 4.1.1 заменить квазимногообразие 1Zна qfCи условие истинности в 1Zквазитождества (4.3) на фразу "во всякой группе из централизатор любого элемента, не принадлежащего центру этой группы, — абелева подгруппа " (как это сделано в формулировках теорем 1.2.1, 2.2.1, 3.2.1 и основных теорем из работ А. И. Будкина и Л. В. Тараниной23. Следующая теорема, доказанная в разделе 2, говорит, что в этом случае теорема 4.1.1 перестает быть справедливой.

Теорема 4.2.1. Существует класс такой, что /С — класс ниль-потентных ступени < 2 групп экспоненты 8 с коммутантами экспоненты 2 и во всякой группе из централизатор любого элемента, не принадлежащего центру этой группы, — абелева подгруппа, но класс L(q1C) содержит нильпотентную группу ступени 3.

Далее, возникает естественный вопрос о том, всегда ли класс L(q)C), где /С — произвольный класс нильпотентных ступени < 2 групп та-

23Будкин А. И. Квазимногообразия Леви ... С. 266-270; Будкин А. И., Таранина Л. В. О квазимногообразиях Леви, порожденных нильпотентными группами ... С. 270-277.

13


кой, что во всякой группе из /С централизатор любого элемента, не принадлежащего центру этой группы, — абелева подгруппа, является нильпотентным ступени < 3, как это было в случаях, рассматриваемых в работах А. И. Будкина и Л. В. Тараниной24.

В разделе 3 доказано существование класса /С такого, что во всякой группе из /С централизатор любого элемента, не принадлежащего центру этой группы, — абелева подгруппа, но класс L(qK.) содержит нильпотентную группу ступени 4.

Пусть Л4\ — многообразие групп, заданное в Л/2 тождеством

(Ух)(х8 = 1).(4.6)

Теорема 4.3.1. Существует класс К, из Л4\ такой, что во всякой группе из централизатор любого элемента, не принадлежащего центру этой группы, — абелева подгруппа, но класс L(q]C) содержит нильпотентную группу ступени 4.

24Будкин А. И. Квазимногообразия Леви ... С. 266-270; Будкин А. И., Таранина Л. В. О квазимногообразиях Леви, порожденных нильпотентными группами ... С. 270-277.

14


РАБОТЫ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ

[1] Лодейщикова В. В. Квазимногообразия Леви // Материалы XLIV Международной научной студенческой конференции "Студент и научно-технический прогресс": Математика. - Новосибирск: Но-восиб. гос. ун-т, 2006. - С. 93.

[2] Лодейщикова В. В. Квазимногообразия Леви // Материалы девятой региональной конференции по математике "МАК - 2006". -Барнаул: Изд-во Алт. ун-та, 2006.     С. 12.

[3] Лодейщикова В. В. О квазимногообразиях Леви // Материалы десятой региональной конференции по математике "МАК - 2007". -Барнаул: Изд-во Алт. ун-та, 2007. - С. 17-18.

[4] Лодейщикова В. В. О квазимногообразиях Леви, порожденных нильпотентными группами // Известия Алтайского государственного университета. - 2009. - Т. 61, № 1. - С. 26-29.

[5] Лодейщикова В. В. О классах Леви, порожденных нильпотентными группами // Материалы двенадцатой региональной конференции по математике "МАК - 2009". - Барнаул: Изд-во Алт. ун-та, 2009. - С. 18-19.

[6] Лодейщикова В. В. О классах Леви, порожденных нильпотентными группами // Международная конференция "Мальцевские чтения - 2009": Тез. докл. - Новосибирск, 2009. - С. 65.

http://www.math.nsc.ru/conference/malmeet/09/Abstracts/abstracts-09.pdf

[7] Лодейщикова В. В. О квазимногообразиях Леви экспонентыps// Международная конференция "Мальцевские чтения - 2010": Тез. докл. - Новосибирск, 2010. - С. 83.

http://www.math.nsc.ru/conference/malmeet/10/abstracts.pdf

[8] Лодейщикова В. В. Об одном квазимногообразии Леви экспоненты 8 // Известия Алтайского государственного университета. - 2010. -Т. 65, № 1/2. - С. 42-45.

15


[9] Лодейщикова В. В. О классах Леви, порожденных нильпотент-ными группами // Сибирский математический журнал. - 2010. -Т. 51, № 6. - С. 1359-1366.

[10] Лодейщикова В. В. О квазимногообразиях Леви экспонентыps// Алгебра и логика. - 2011. - Т. 50, № 1. - С. 26-41.

 
Авторефераты по темам  >>  Разные специальности - [часть 1]  [часть 2]



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.