Строение квазислойно-конечных и квазилокально-нормальных групп тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

КРАСНОЯРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

КАЛАЧЕВА СВЕТЛАНА ИВАНОВНА

СТРОЕНИЕ КВАЗИСЛОЙНО-КОНЕЧНЫХ И КВАЗИЛОКАЛЬНО-НОРМАЛЬНЫХ ГРУПП

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

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

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

Красноярск-2004

Работа выполнена в Красноярской государственной архитектурно-строительной академии

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

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

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

доктор физико-математических наук, профессор Шунков В.П.

кандидат физико-математических наук, профессор Ларин С.В.

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

Институт математики и механики УрО РАН

Защита состоится 11 июня 2004 г. в 11 часов на заседании диссертационного совета Д 212.099.02 в Красноярском государственном университете по адресу: 660041, г. Красноярск, пр. Свободный, 79.

С диссертацией можно ознакомиться в библиотеке Красноярского государственного университета.

Автореферат разослан 2004 г.

Ученый секретарь диссертационного совета, кандидат физико-математических наук,

доцент

Общая характеристика работы

Актуальность темы. Группы с условиями минимальности Черникова — классический объект исследований абстрактной теории групп. Результаты О.Ю. Шмидта, С.Н. Черникова, В.П. Шункова, А.Ю. Ольшанского и др. надёжно обосновали это направление в теории бесконечных групп.

Условия минимальности Черникова — есть условия обрыва убывающих цепей подгрупп, удовлетворяющих заданному свойству. Поэтому, в случае отрицательного решения проблемы Черникова, к ней всегда существует минимальный контрпример — группа, все собственные подгруппы которой принадлежат заданному классу групп, сама же она этому классу не принадлежит.

Пусть а — некоторое теоретико-групповое свойство. Не сг-группа, все собственные подгруппы которой являются <т-группами, называется минимальной не- а-группой или, в используемой нами терминологии, квази-<т-группой ([4], вопрос 14.83).

Согласно известной работе О.Ю. Шмидта [12] (1947), все нормальные подгруппы квазичерниковской р-группы центральны, её фактор-группа по центру проста и не содержит подгрупп конечного индекса, причем любые две максимальные подгруппы квазичерниковской простой р- группы О пересекаются по единице. В частности, множество всех максимальных подгрупп группы О составляет ее расщепление, а любая пара неединичных элементов, взятых из разных компонент расщепления, порождает всю группу. При р = 2 последнее свойство приводит к противоречию [12], поскольку любые две инволюции в периодической группе порождают конечную подгруппу. При нечетном анализ строения контрпримера О к противоречию не приводит. Как доказал А.Ю.Ольшанский (1980 г.) [5], при любом нечетном р простые квазичерниковские р-группы действительно существуют. При этом, свободная амальгама любого счетного мно?кества конечных или черниковских групп может быть вложена в квазичерниковскую простую р-группу. Таким образом, в случае квази-черниковских р-групп мы имеем почти идеальную согласованность между результатами абстрактной и комбинаторной теориями групп.

Возникает вопрос, все ли контрпримеры к проблемам минимальности Черникова имеют аналогичное строение? Можно ли с помощью методов абстрактной теории групп приблизиться к границе, очерченной комбинаторной теорией групп в данном направлении? В диссертации эта задача

3 1 сое. НАЦИОНАЛЬНАЯ 1 БИБЛИОТЕКА | СПетсНуГГ ву/

О* '/

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

Слойно конечные группы, т.е. группы с конечным числом элементов каждого порядка, были введены С.Н. Черниковым [10], и изучались им на протяжении ряда лет (см. [11]). Исследования периодических групп с конечными классами сопряженных элементов начались, по-видимому, в связи с известной проблемой Бернсайда о периодических группах с конечным числом образующих элементов. А.П.Дицман [3] показал, что для периодических групп с конечными классами сопряженных элементов проблема Бернсайда имеет положительное решение. Полученный им более общий результат утверждает, что любое конечное множество элементов группы с конечными классами сопряжённых элементов содержится в некотором ее конечном нормальном делителе. То есть такие группы локально нормальны.

Слойно конечные и локально нормальные группы в силу своего строения допускают эффективное применение нормализаторного процесса, который использовал О.Ю.Шмидт в своем доказательстве [12]. Серьезный вклад в изучение слойно конечных и локально нормальных групп внесли С.Н.Черников, Р.Бэр, Х.Х. Мухамеджан, Ю.М.Горчаков и др. (см., например, [2, б, 7,11]). В.И. Сенашову принадлежит ряд характеризаций слойно конечных групп в классе сопряжённо бипримитивно конечных групп (см. [б, 7]). Известно [11], что слойно конечные группы содержатся в классе локально нормальных групп, как группы, все силовские подгруппы которых удовлетворяют условию минимальности, а класс локально нормальных групп совпадает с классом периодических FC-групп. Таким образом, класс квази-FG-групп содержит класс квазилокально-нормальных групп, который в свою очередь содержит класс квазислойно-конечных групп.

После решения в 1970 г. В.П. Шунковым ряда известных проблем минимальности в классе локально конечных групп [13, 7], активизировались исследования групп с близкими условиями конечности. Изучением строения квазилокально-нормальных и близких к ним групп в локально конечном случае занимались В.В. Беляев, Н.Ф. Сесекин, В. Hartley, R.E. Phillips, M. Kuzucuoqlu, А.О. Azar, A. Arikan, J. Otal и др. Так, в работе В.В. Беляева [1] показано, что локально конечная группа типа Миллера-Морено (группа, все собственные подгруппы, которых имеют конечный коммутант) не проста и отлична от своего коммутанта. Такие группы были полностью описаны В.В. Беляевым и Н.Ф. Сесекиным. Как доказал В.В. Беляев [1], группа типа Миллера-Морено, совпадающая со

своим коммутантом, не локально конечна, её фактор-группа по центру проста и либо порождена двумя элементами, либо является бесконечной неабелевой группой Шмидта. Строение квазиконечных групп (групп Шмидта) было изучено Н.П. Струнковым [9], В.П. Шунковым [14, 15] и А.И. Созутовым [8].

В.В.Беляевым и Н.Ф.Сесекиным в 1976 г. в Коуровской тетради был поставлен вопрос 5.1: "Будет ли локально конечная минимальная не ВС-группа а) не простой ?б) отличной от своего коммутанта ? " На первую часть этого вопроса положительный ответ дали В.В. Беляев, К.Е. Филлипс и М. Кузуджуоглу, а решение второй части вопроса ими же было сведено к примарным группам (см. [16]). На Международной конференции в Ан-талии (2003 г.) А.О. Азаром был анонсирован результат, утверждающий, что локально конечная минимальная не FC-группа отлична от своего коммутанта и является черниковской группой [16]. Цель диссертации. Дать описание строения не локально конечных квазислойно-конечных и квазилокально-нормальных групп, аналогичное описанию квазичерниковских ^-групп, полученному Шмидтом.

Методы исследования. Применяются теоретико-групповые методы исследования, в том числе разработанные В.В. Беляевым, А.Ю. Ольшанским, В.П. Шунковым и научным руководителем А.И. Созутовым.

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

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

Структура и объём работы. Диссертация состоит из введения и четырёх глав основного текста. Список литературы состоит из 41 наименований. Работа изложена на 68 страницах текста, набранного в редакционно-издательской системе

Основные результаты.

1. Доказано, что существуют множества мощности континуум неизоморфных простых квазислойно-конечных и квазилокально-нор-мальных групп, для каждой из которых существует континуальное множество центральных расширений, принадлежащих этому же классу групп.

2. Исследовано строение бесконечных вееров и их подгрупп в простых квазислойно-конечных и квазилокально-нормальных группах.

3. Для простой квазислойно-конечной и квазилокально-нормальной группы найдены достаточные условия расщепляемости и изоморфизма вершинно-транзитивной группе автоморфизмов локально конечного графа, стабилизатор вершины в которой — конечная максимальная подгруппа.

4. Доказано, что для произвольных неединичных элементов а,Ь простой квазилокально-нормальной группы О при условии |а| • |6| > 4 найдется бесконечно много элементов с £ Ь° таких, что С = (а, с). Для некоторых частных случаев получена более подробная информация о парах порождающих элементов.

Содержание диссертации.

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

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

группа, где Р — полная абелева р-группа, не содержащая собственных бесконечных а-инвариантных подгрупп, и |С:Сс(.Р)| — простое число.

С помощью результатов А.Ю.Ольшанского [5] установлено, что существует множество мощности континуум неизоморфных простых квазилокально-нормальных групп (а также и квазислойно-конечных групп - замечание 1), для каждой из которых существует континуальное множество центральных расширений, принадлежащих этому же классу групп. В частности, строение центра и строение фактор-группы по центру в квазилокально-нормальной (а значит и в квазислойно-конечной) группе могут не зависеть друг от друга. Поэтому в дальнейшем в диссертации рассматриваются только простые квазилокально-нормальные (ква-зислойно конечные) группы.

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

Теорема 3. Пусть О — простая квазислойно-конечная группа, тогда

1. Любые две бесконечные максимальные подгруппы группы О пересекаются по единичной подгруппе. В частности, если Н — бесконечная

максимальная подгруппа группы G, то Н) — пара Фробениуса.

2. Если G содержит инволюцию », то Сс(1-) = Н — бесконечная максимальная подгруппа группы G, инволюция в Н единственна, все инволюции в G сопряжены, силовские 2-подгруппы в G сопряжены и являются либо (локально) циклическими, либо конечными (обобщенными) группами кватернионов.

С помощью результатов В.В.Беляева [1] доказано, что утверждения теоремы 3 имеют место и для простых квазилокально-нормальных групп (теорема 4 главы 2).

В теореме 5 главы 3 изучаются свойства конечных максимальных подгрупп, имеющих нетривиальное пересечение с некоторой бесконечной максимальной подгруппой. В теоремах 6 и 7 исследуется строение бесконечных вееров и их подгрупп в простых квазилокально-нормальных группах. Напомним, что веером Xподгрупп группы G называется множество ее подгрупп, имеющих нетривиальное общее пересечение.

Теорема 6. Пусть G — простая квазилокально-нормальная группа, X — бесконечный веер всех максимальных подгрупп группы G и Т — основание этого веера. Тогда справедливо одно из двух утверждений:

1. Веер X содержит точно одну бесконечную подгруппу Н группы О,

и каждая конечная подгруппа есть конечная группа

Фробениуса с неинвариантным множителем . При этом ядра

любых двух конечных подгрупп веера X имеют тривиальное пересечение.

2. Все подгруппы веера X конечны и существует разбиение X — У и Х\ и Х2 и ... и Х„ веера X на конечный или пустой веер У и конечное число п правильных вееров Х{ с основаниями Т{. При этом . каждая подгруппа Н £ Х{ есть группа Фробениуса с неинвариантным множителем 7} (V = 1,...,п) и ядро любой подгруппы из веера

пересекаются тривиально с ядром любой другой подгруппы этого веера.

В теореме 7 веер X состоит уже не обязательно из максимальных подгрупп. Опираясь на приведенные результаты доказывается теорема о расщепляемости.

Теорема 8. Для простой квазилокально-нормалъной группы О верны следующие утверждения:

1. Если любая пара максимальных подгрупп Н,М из О с нетривиальным пересечением Т — Н Г) М удовлетворяет одному из указанных условий:

1) одна из них бесконечна, а вторая является конечной группой Фро-бениуса с неинвариантным множителем Т;

2) обе — конечные группы Фробениуса с неинвариантным множителем Т,

то группа О расщепляема.

2. Если в группе О существуют две максимальные подгруппы Н,М с нетривиальным пересечением Т = IIП М, не являющиеся группами Фробениуса, то группа О действует вершинно-транзитивно на бесконечном однородном локально конечном графе.

Для простых квазислойно-конечных групп теорема 8 также верна (замечание 2).

Основным результатом главы 4 и дисертациии является следующая

Теорема 9. Для любой пары неединичных элементов а, Ь простой квазилокально-нормалъной группы О, хотя бы один из которых не является инволюцией, найдется бесконечно много элементов Ь9, таких, что С = {а,Ь°)

Следствие 1. Простая квазислойно-конечная и квазилокально-нормальная группа является монстром 1-го, 1-го и 3-го рода. В частности, для этих групп положительно решаются вопросы 13.53 и Ц.83 из Коуровской тетради [4].

Напомним, что выражение "почти для всех" означает "для всех, кроме, быть может, конечного числа". В теореме 10 для некоторых пар порождающих простой квазислойно-конечной группы О доказано более сильное утверждение, чем в теореме 9.

Апробация. Результаты диссертации были изложены автором на Международных конференциях в 1999г. и 2000г. "Симметрия в естествознании", проходивших в Красноярске, на конференции, посвященной памяти Ю.И.Мерзлякова в 2000г. в Новосибирске, а также на "Мальцев-ских чтениях" в 2003г. в Новосибирске. Кроме того, они обсуждались на красноярском городском семинаре "Алгебраические системы", а также на семинарах при Красноярском Государственном Аграрном Университете и Красноярской Государственной Архитектурно-Строительной Академии.

Публикации. Основные результаты по теме диссертации опубликованы в [18] - [23] и [24].

Во время работы над диссертацией автор получал поддержку Российского фонда фундаментальных исследований, гранты №99-01-00542, №03-01-00356 и Красноярского краевого фонда науки, грант №9F0132.

Автор выражает благодарность научному руководителю профессору А.И. Созутову за постановку задачи, внимание к работе и многочисленные полезные обсуждения.

Список литературы

[1] Беляев В.В. Группы типа Миллера-Морено// Сиб. матем. ж.- 1978.Т. XIX, N3 - С. 509-514.

[2] Горчаков Ю.М. Группы с конечными классами сопряженных элементов// М.: Наука, 1978.

[3] Дицман А.П. О центре р-групп// В сб. Труды семинара по теории групп.- Москва.- 1938- С. 30-34.

[4] Коуровская тетрадь: Нерешенные вопросы теории групп// Изд-е 15-е.- Новосибирск.- 2002.

[5] Ольшанский А.Ю. Геометрия определяющих соотношений в группах.- М.: Наука, 1989.

[6] Сенашов В.И. Слойно конечные группы.- Новосибирск.- ВО Наука, 1993.

[7] Сенашов В.И., Шунков В.П. Группы с условиями конечности.-Новосибирск.- Изд-во СО РАН.- 2001.

[8] Созутов А.И. О существовании в группе /-локальных подгрупп// Алгебра и логика.- 1997.- Т. 36, N 5.- С. 573-598.

[9] Струнков Н.П. Нормализаторы и абелевы подгруппы некоторых классов групп// Изв. АН СССР. Сер. матем.- 1967- Т. 31, N 3- С. 657-670.

[10] Черников С.Н. Бесконечные слойно-конечные группы // Матем. сборник- 1948.-Т. 22, N 64- С. 101-133.

[11] Черников С.Н. Группы с заданными свойствами системы подгрупп // М.: Наука, 1980.

[12] Шмидт О.Ю. Локальная конечность одного класса бесконечных периодических групп // В сб. Избранные труды. Математика.- М.- 1959.— С. 298-300.

[13] Шунков В.П. О проблеме минимальности для локально конечных . групп// Алгебра и логика- 1970.-Т. 9, N 2.- С. 220-248.

[14] Шунков В.П. О периодических группах с почти регулярной инволюцией // Алгебра и логика.- 1972.- Т. 11, N 4.- С. 470-494.

[15] Шунков В.П. Об абелевых подгруппах в бипримитивно конечных группах// Алгебра и логика.- 1973.-Т. 12, N 5.- С. 603-614.

[16] Asar А.О. A contribution to the characterization of locally finite minimal non FC-groups// Тезисы докладов Международной алгебраической конференции "Antalya Algebra Days V".- 2003. - P. 6-7.

[17] Baer R. Finiteness properties of groop// Duke Math. Journ. - 1948.-N 15 -P. 1021-1032.

Работы автора С.И. Калачевой (Шаховой) по теме диссертации

[18] Созутов А.И., Шахова С.И. О квазислойно-конечных группах// Kurosh algebraic Conference "98, Abstracts of Talks.- Москва.- 1998. - С. 213 - 214.

[19] Созутов А.И., Шахова С.И. О квазислойно-конечных группах// Вест. Крас. архит.-строит. акад.- Сб. науч. тр.- Красноярск.- 1999.- Вып. 1.-С. 77-83.

[20] Созутов А.И., Шахова С.И. О квазислойно-конечных группах// Тез. докл. Международ. алгебр. сем.- М.- 1999.- С. 53 - 54.

[21] Созутов А.И., Шахова С.И. О строении квазислойно-конечных групп// Вест. Крас. архит.-строит. акад.-Сб. науч.тр.-Красноярск.-2000.- Вып. 1.- С. 69 - 76.

[22] Созутов А.И., Шахова С.И. Строение квазислойно конечных групп// Мат. заметки- 2002.- Т.72, вып. 1.- С. 118-130.

[23] Созутов А.И., Калачёва С.И. О не локально конечных группах с локально нормальными собственными подгруппами// Тез. докл. XX Межрегион. науч.-техн. конф. - Красноярск.- 2002.- С. 106.

[24] Калачёва С.И. О строении квазилокально-нормальных групп // Математические системы - Сб. науч. тр.- Красноярск.- 2004.- С. 3-17.

Подписано в печать Бумага тип. Тираж 100 экз.

Формат 60 х 86/16 Печать офсетная. Заказ № №в

Редакционно-издательский центр Красноярского государственного университета. 660041, Красноярск, пр. Свободный, 79.

Введение

1 Предварительные сведения

1.1 Слойно конечные, локально нормальные и FC-группы.

1.2 Результаты общего характера.

1.3 Группы с инволюциями.

1.4 Группы, заданные копредставлениями.

1.5 Достаточные условия бесконечности централизатора элемента.

2 Редукция к простым группам

2.1 Некоторые свойства квазислойно-конечных и квазилокально-нормальных групп.

2.2 Теоремы существования.

2.3 О некоторых подгруппах простой квазислойно-конечной группы.

2.4 О некоторых подгруппах простой квазилокально-нормальной группы.

3 К вопросу о расщепляемости

3.1 Техника вееров

3.2 Вееры максимальных подгрупп.

3.3 Достаточные условия расщепляемости.

4 Пары порождающих элементов 53 Список литературы

Группы с различными условиями минимальности С.Н. Черникова — классический объект исследований абстрактной теории групп. Результаты О.Ю. Шмидта [37], С.Н. Черникова [32]-[36], В.П. Шункова [38, 39], А.Ю. Ольшанского [13] и др., прочно обосновали это направление в теории бесконечных групп.

Условия минимальности Черникова — есть условия обрыва убывающих цепей подгрупп, удовлетворяющих заданному свойству. Поэтому, в случае отрицательного решения проблемы Черникова, к ней всегда существует минимальный контрпример — группа, все собственные подгруппы которой принадлежат заданному классу групп, сама же она этому классу не принадлежит.

Пусть а некоторое теоретико-групповое свойство. Не а-группа, все собственные подгруппы которых являются сг-группами, называется минимальной не-<т-группой или, в используемой нами терминологии, квази-а-группой ([12], вопрос 14.83). Следуя этому определению, квазиконечной, квазичерниковской, квазислойно-конечной, квазилокалъно-нормалъной и квази-FС-группой называется группа, все собственные подгруппы которой соответственно конечны, черниковские, слойно-конечны, локально нормальны или FC-группы, сама же группа указанным свойством не обладает. Отметим, что данное определение согласовано с определениями квазиконечных и квазициклических групп в [13], но не совпадает с определением квазиабелевой группы (группы с конечным коммутантом), используемым в [2].

Чтобы сформулировать цели проводимых исследований обратимся к результатам О.Ю. Шмидта. Согласно известной работе О.Ю. Шмидта [37] (1947), все нормальные подгруппы квазичерниковских р-групп центральны, а их фактор-группы по центрам просты и не содержат подгрупп конечного индекса. Там же доказано, что любые две максимальные подгруппы квазичерниковской простой р-группы пересекаются по единице. При р = 2 последнее свойство приводит к противоречию [37], поскольку любые две инволюции в периодической группе порождают конечную подгруппу. При нечетном р анализ строения контрпримера G к противоречию не приводит. Множество всех максимальных подгрупп группы G составляет ее расщепление, а любая пара ее неединичных элементов, взятых из разных компонент расщепления, порождает всю группу. Как доказал А.Ю.Ольшанский (1980 г.) [13], при любом нечетном р простые квазичерниковские р-группы действительно существуют. При этом, им же показано, что для любого счетного множества конечных или черниковских р-групп, их свободная амальгама может быть вложена в квазичерниковскую простую р-группу. Таким образом, в случае квазичерниковских р-групп мы имеем почти идеальную согласованность между результатами абстрактной и комбинаторной теориями групп.

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

Для квазиконечных групп (бесконечных групп Шмидта) аналогичные исследования проводились Н.П.Струнковым, В.П.Шунковым, А.И.Созутовым.

Слойно конечные и локально нормальные группы в силу своего строения допускают эффективное применение нормализаторного процесса, который использовал О.Ю.Шмидт в своем доказательстве [37].

Классы слойно конечных и локально нормальных групп были введены С.Н.Черниковым и А.П.Дицманом. Так, С.Н.Черниковым при изучении бесконечных локально конечных р-групп, удовлетворяющих условию минимальности, были выделены два крайних случая: случай, когда конечен центр группы, и случай, когда конечен его индекс в группе. Во втором случае в группе конечно множество элементов каждого порядка. В связи с этим в 1945 г. в работе С.Н.Черникова [32] было дано описание строения бесконечных р-групп, обладающих этим свойством. В таких р-группах центр удовлетворяет условию минимальности. Этот результат дал толчок исследованию произвольных групп, в которых конечно множество элементов каждого порядка. Описание их строения было дано в работе С.Н.Черникова [33], появившейся в 1948 г. Такие группы получили в ней название слойно-конечных групп. На основе результатов С.Н.Черникова [33] изучение произвольных слойно конечных групп было сведено к описанию тонких слойно конечных групп, в [35] показано, что последние исчерпываются тонкими слойно конечными группами, разложимыми в прямое произведение конечных групп, и подгруппами слойно конечных групп такого рода. В настоящее время слойно конечные группы составляют наиболее изученный класс FC-групп. Им посвящен целый ряд работ С.Н.Черникова ([32]- [36]). Некоторые свойства этих групп содержатся также в работе Р. Бэра [5]. Серьезный вклад в изучение слойно конечных и локально нормальных групп внесли Х.Х. Мухамеджан, Я.Д. Половицкий (см., например, [36], [8]), Ю.М.Горчаков и др.

Изучение периодических групп с конечными классами сопряженных элементов началось, по-видимому, в связи с известной проблемой Бернсайда о периодических группах с конечным числом образующих элементов. А.П.Дицман [9] показал, что для периодических групп с конечными классами сопряженных элементов проблема Бернсайда имеет положительное решение. Полученный им более общий результат (предложение 1) утверждает, что любое конечное множество элементов рассматриваемой группы содержится в некотором ее конечном нормальном делителе. То есть такие группы локально нормальны.

Известно (см. предложения 2, 3, 4), что слойно конечные группы содержатся в классе локально нормальных групп, как группы, все си-ловские подгруппы которых удовлетворяют условию минимальности, а класс локально нормальных групп совпадает с классом периодических FC — групп. Из этих утверждений следует, что класс квази-FC-rpynn содержит класс квазилокально-нормальных групп, который в свою очередь содержит класс квазислойно-конечных групп.

После решения в 1970 г. В.П. Шунковым ряда известных проблем минимальности в классе локально конечных групп [39], активизировались исследования групп с близкими условиями конечности. Изучением строения квазилокально-нормальных и близких к ним групп в локально конечном случае занимались такие авторы, как В.В.Беляев, Н.Ф.Сесекин, Б.Хартли (B.Hartley) Р.Е. Филлипс (R.E.Phillips), М.Ку-зуджуоглу (M.Kuzucuoqlu), А.О.Азар (A.O.Azar), A.Arikan, J.Otal и др. Так, в работе В.В.Беляева [2] показано, что локально конечная группа типа Миллера-Морено (группа, все собственные подгруппы, которых имеют конечный коммутант) не проста и отлична от своего коммутанта. Такие группы были полностью описаны В.В.Беляевым и Н.Ф.Сесекиным в работе [1]. Так как любая группа типа Миллера

Морено является минимальной не FC-группой, то в случае, если существует группа G — группа типа Миллера-Морено, совпадающая со своим коммутантом, для нее справедлива теорема 1 В.В.Беляева из [2] (предложение 8). Она утверждает, что в этом случае группа G либо двупорождена и фактор-группа группы G по ее центру Z(G) проста, либо G/Z(G) — бесконечная неабелева группа Шмидта.

В.В.Беляевым и Н.Ф.Сесекиным в 1976 г. в Коуровской тетради был поставлен вопрос 5.1: "Будет ли локально конечная минимальная не FС-группа а) не простой? б) отличной от своего коммутанта? "

На первый вопрос К.Е. Филлипсом и М.Кузуджуоглу был получен положительный ответ. В 1980 г. В.В.Беляевым в [3] было показано, что если локально конечная минимальная не FC-группа G отлична от своего коммутанта, то G — группа типа Миллера-Морено, а значит чер-никовская группа; если G совпадает со своим коммутантом, то G либо р-группа для некоторого простого р, либо фактор-группа G/Z(G) проста. М.Кузуджуоглу и К.Е. Филлипсом решение второй части вопроса было сведено к примарным группам (см. [40]). На Международной конференции в Анталии (2003 г.) А.О. Азаром был анонсирован результат, утверждающий, что локально конечная минимальная не FC-rруппа отлична от своего коммутанта и является черниковской группой [40].

Цель диссертации — дать описание строения не локально конечных квазислойно-конечных и квазилокально-нормальных групп, аналогичное описанию квазичерниковских р-групп, полученному Шмидтом.

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

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

20). Для квазислойно-конечных групп доказана теорема 1, являющаяся частным случаем теоремы В.В.Беляева [2] (предложение 8), но полученная независимо от этих результатов. В ней утверждается, что если G — квазислойно-конечная группа, либо G — Р-(а), где Р — черников-ская полная абелева р-группа не содержащая собственных бесконечных а-инвариантных подгрупп и |G : Со{Р)\ — простое число, либо G/Z(G) —- простая не локально конечная группа.

С помощью результатов А.Ю.Ольшанского [13] доказывается существование множества мощности континуум неизоморфных простых квазислойно-конечных и квазилокально-нормальных групп, для каждой из которых существует континуальное множество центральных расширений, принадлежащих этому же классу групп (теорема 2 и замечание 1). Таким образом, строение центра и строение фактор-группы по центру в квазилокально-нормальной (а значит и в квазислойно-конечной) группе могут не зависеть друг от друга. Поэтому в дальнейшем в работе рассматриваются только простые квазислойно конечные и квазилокально-нормальные группы.

Независимо от результатов В.В.Беляева [2] доказана теорема 3.

Теорема 3. Пусть G — простая квазислойно-конечная группа, тогда

1. Любые две бесконечные максимальные подгруппы группы G пересекаются по единичной подгруппе. В частности, если Н — беконеч-ная максимальная подгруппа группы G, то (G, Н) — пара Фробе-ниуса.

2. Если G содержит инволюцию %, то Сд(г) = Н — бесконечная максимальная подгруппа группы G, инволюция в Н единственна, все инволюции в G сопряжены, силовские 2-подгруппы в G сопряжены и являются либо (локально) циклическими, либо конечными (обобщенными) группами кватернионов.

С помощью результатов В.В.Беляева [2] доказано, что утверждения теоремы 3 имеют место и для простых квазилокально-нормальных групп (теорема 4 главы).

В третьей главе в теоремах 5, 6 и 7 исследуется строение бесконечных вееров подгрупп простых квазилокально-нормальных групп. Напомним, что веером X подгрупп группы G называется множество ее подгрупп, имеющих нетривиальное общее пересечение.

В теореме 5 изучаются свойства конечных максимальных подгрупп, имеющих нетривиальное пересечение с некоторой бесконечной максимальной подгруппой. Теорема 5 используется при доказательстве теоремы 6.

Теорема 6. Пусть G — простая квазилокально-нормальная группа, X — бесконечный веер всех максимальных подгрупп группы G, содержащих неединичный элемент а, иТ — основание этого веера. Тогда справедливо одно из двух утверждений:

1. Веер X содержит точно одну бесконечную подгруппу Н группы G, Т < Н и каждая конечная подгруппа М £ X есть конечная группа Фробениуса с неинвариантным множителем М П Н. При этом ядра любых двух конечных подгрупп веера X имеют тривиальное пересечение.

2. Все подгруппы веера X конечны и существует разбиение X = Y U Х\ U Х2 U . U Хп веера X на конечный или пустой веер Y и конечное число п правильных вееров Xi с основаниями Т{. При этом каждая подгруппа Н Е Х{ есть группа Фробениуса с неинвариантным множителем Ti (г = 1, .,п) и ядро любой подгруппы из веера Х\ U X<i U . U Хп пересекается тривиально с ядром любой другой подгруппы этого веера.

В теореме 7 доказано, что если X — бесконечный веер конечных подгрупп группы G и основание Т веера X содержит почти регулярный в G элемент а, то для такого веера X утверждение 2 теоремы 6 также верно. Опираясь на приведенные результаты доказывается теорема о расщепляемости.

Теорема 8. Для простой квазилокально-нормалъной группы G верны следующие утверждения:

1. Если любая пара максимальных подгрупп Н,М из G с нетривиальным пересечением Т = Н П М удовлетворяет одному из указанных условий:

1) одна из них бесконечна, а вторая является конечной группой Фробениуса с неинвариантным множителем Т;

2) обе — конечные группы Фробениуса с неинвариантным множителем Т, то группа G расщепляема.

2. Если в группе G существуют две максимальные подгруппы Н, М с нетривиальным пересечением Т = Н П М, не являющиеся группами Фробениуса, то группа G действует вершинно-транзитивно на бесконечном однородном локально конечном графе, стабилизатор вершины в которой — конечная максимальная подгруппа.

Теорема 8 справедлива и для простых квазислойно-конечных групп (замечание 2).

Основным результатом главы 4 и дисертациии является следующая

Теорема 9. Для любой пары неединичных элементов a, b простой квазилокалъно-нормалъной группы G, хотя бы один из которых не является инволюцией, найдется бесконечно много элементов Ь9, таких, что G = (а, Ъ9).

Следствие 1. Простая квазислойно-конечная и квазилокально-нормалъная группа является монстром 1-го, 2-го и 3-го рода. В частности, для этих групп положительно решаются вопросы 13.53 и Ц-83 из Коуровской тетради [12].

Напомним, что выражение "почти для всех" означает "для всех, кроме, быть может, конечного числа". Следующая теорема усиливает утверждение теоремы 9 для некоторых пар порождающих простой квазислойно-конечной группы.

Теорема 10. Пусть G — простая квазилокалъно-нормалъная группа, хотя бы один из элементов a, b Е не инволюция и Н > С<з(а), М > Со{Ъ) — максимальные подгруппы в G. Справедливы следующие утверждения.

1. Если |Я| = оо, \М\ — оо и М HG, то G = (а, с) для каждого с Е bG.

2. Если \Н\ < оо, \М\ — оо; то G — (а, с) почти для всех с Е bG.

3. Если \а\ = |Ь| — простое число и подгруппы [а), (Ь) не сопряжены в G, то G — (а, с) почти для всех с Е bG.

4. Если \Н\ < оо, |а|, |5[ — различные простые числа и Со (а) не содержит элементов из bG, то G = (а, с) почти для всех с Е

5. Если \а\ = 2, \Ъ\ ф 2 и Ьа = Ъ 1, то G = (6, с) почти для всех элементов с Е G, инвертируемых инволюцией а.

Результаты диссертации докладывались автором на Международных конференциях в 1999г. и 2000г. "Симметрия в естествознании", проходивших в Красноярске, на конференции, посвященной памяти М.И.Каргаполова в 2000г. в Новосибирске, на "Мальцевских чтениях" в 2003г в Новосибирске, а также на красноярском городском семинаре "Алгебраические системы". Они неоднократно обсуждались на семинарах при КрасГАУ и КрасГАСА.

Во время работы над диссертацией автор получал поддержку Российского фонда фундаментальных исследований, гранты №99-0100542, №03-01-00356 и Красноярского краевого фонда науки, грант №9F0132.

Основные результаты по теме диссертации опубликованы в [21] -[27] и [10].

Автор выражает благодарность научному руководителю А.И. Созу-тову за постановку задач и внимание к работе.

Результаты диссертации докладывались автором на Международных конференциях в 1999г. и 2000г. "Симметрия в естествознании", проходивцшх в Красноярске, на конференции, посвященной памяти М.И.Каргаполова в 2000г. в Новосибирске, на "Мальцевских чтениях" в 2003г в Новосибирске, а также на красноярском городском семинаре "Алгебраические системы". Они неоднократно обсуждались на семинарах при КрасГАУ и КрасГАСА.

Во время работы над диссертацией автор получал поддержку Российского фонда фундаментальных исследований, гранты №99-0100542, №03-01-00356 и Красноярского краевого фонда науки, грант №9F0132.

Основные результаты по теме диссертации опубликованы в [21] -[27] и [10].

Автор выражает благодарность научному руководителю А.И. Созу-тову за постановку задач и внимание к работе.

1. Беляев В.В., Сесекин Н.Ф. О бесконечных группах типа Миллера-Морено // Acta Math. Academiae Scientiarum Hungaricae- 1975.-T. 26, N 3-4,- C. 369-376.

2. Беляев В.В. Группы типа Миллера-Морено // Сиб. матем. ж-1978.- Т. XIX, N3,- С. 509-514.

3. Беляев В.В. Минимальные не FC-группы // Труды VI Всесоюзного симпозиума по теории групп.- Киев. 1980.- С. 97-108.

4. Беляев В.В. Группы с почти регулярной инволюцией // Алгебра и логика,- 1987.- Т. 26, N 5.- С. 531-535.

5. Бэр P. Finiteness properties of groop// Duke Math. Journ. 1948.-N 15 -p. 1021-1032.

6. Бусаркин B.M., Горчаков Ю.М. Конечные расщепляемые группы// М.: Наука, 1968.

7. Горчаков Ю.М. О локально нормальных группах.- ДАН СССР-1962.- Т. 147, N 3.- С. 537-539.

8. Горчаков Ю.М. Группы с конечными классами сопряженных элементов// М.: Наука, 1978.

9. Дицман А.П. О центре р-групп// В сб.Труды семинара по теории групп.- Москва.- 1938.- С. 30-34.

10. Калачева С.И. О строении квазилокально-нормальных групп // Математические системы Сб. науч. тр.- Красноярск.- 2004.- С. 3-17.

11. Каргаполов М.И., Мерзляков Ю.И. Основы теории групп // М.: Наука, 1982.

12. Коуровская тетрадь: Нерешенные вопросы теории групп// Изд-е 15-е.- Новосибирск.- 2002.

13. Ольшанский А.Ю. Геометрия определяющих соотношений в группах // М.: Наука, 1989.

14. Павлюк И.И., Шафиро А.А., Шунков В.П. О локальной конечности групп с условием примарной минимальности // Алгебра и логика.-1974.- Т. 13, N 3.- С. 324-336.

15. Сенашов В.И. Слойно конечные группы // Новосибирск.- ВО Наука, 1993.

16. Созутов А.И., Шунков В.П. Об одном обобщении теоремы Фробениуса на бесконечные группы // Матем. сб.- 1976 Т. 100, N 4.-С. 495-506.

17. Созутов А.И., Шунков В.П. О бесконечных группах, насыщенных фробениусовыми подгруппами // Алгебра и логика.- 1977.- Т. 16, N 6.- С. 711-735.

18. Созутов А.И. О существовании в группе /-локальных подгрупп // Алгебра и логика,- 1997.- Т. 36, N 5,- С. 573-598.

19. Созутов А.И. О некоторых признаках непростоты групп с инволюциями // Математические системы Сб. науч. тр.- Красноярск,-2004,- С. 18-34.

20. Созутов А.И. Об одном обобщении теоремы Фробениуса // Математические системы Сб. науч. тр.- Красноярск.- 2004.- С. 35-43.

21. Созутов А.И., Шахова С.И. О квазислойно-конечных группах // Kurosh algebraic Conference "98, Abstracts of Talks.- Москва.1998.- С. 213 214.

22. Созутов А.И., Шахова С.И. О квазислойно-конечных группах // Вест. Крас, архит.-строит. акад.- Сб. науч. тр.- Красноярск.1999.- Вып. 1.- С. 77 83.

23. Созутов А.И., Шахова С.И. О квазислойно-конечных группах // Тез. докл. Международ, алгебр, сем.- М 1999.- С. 53 - 54.

24. Созутов А.И., Шахова С.И. О строении квазислойно-конечных групп // Вест. Крас, архит.-строит. акад.- Сб. науч. тр.-Красноярск.- 2000.- Вып. 1.- С. 69 76.

25. Созутов А.И., Шахова С.И. Строение квазислойно конечных групп // Мат.заметки.- 2002.-Т.72, вып.1,- С. 118-130.

26. Sozutov A.I. and Shakhova S.I. Structure of Quasi-Layer-Finite Groups// Math. Not.- V. 72, №1.- 2002,- PP. 105-116.

27. Созутов А.И., Калачёва С.И. О не локально конечных группах с локально нормальными собственными подгруппами// Тез. докл. XX Межрегион, науч.-техн. конф. Красноярск.- 2002.- С. 106.

28. Старостин А.И. О группах Фробениуса // Укр. матем. ж,- 1971.Т. 23, N 5.- С. 629-639.

29. Струнков Н.П. Нормализаторы и абелевы подгруппы некоторых классов групп// Изв. АН СССР. Сер. матем,- 1967,- Т. 31, N 3.-С. 657-670.

30. Харари Ф. Теория графов // М.: Мир, 1973.

31. Холл М. Теория групп// М.: Изд-во иностр. лит., 1962.

32. Черников С.Н. К теории бесконечных р-групп // ДАН СССР -1945.- Т. 50, С. 71-72.

33. Черников С.Н. Бесконечные слойно-конечные группы // Матем. сборник- 1948,- Т. 22, N 64,- С. 101-133.

34. Черников С.Н. О группах с конечными классами сопряженных элементов // ДАН СССР 1957.- Т. 114.- С. 1177-1179.

35. Черников С.Н. О слойно-конечных группах // Матем. сборник1958,- Т. 45, N 87,- С. 415-416.

36. Черников С.Н. Группы с заданными свойствами системы подгрупп // М.: Наука, 1980.

37. Шмидт О.Ю. Локальная конечность одного класса бесконечных периодических групп // В сб. Избранные труды. Математика М1959.- С. 298-300.

38. Шунков В.П. О периодических группах с почти регулярной инволюцией // Алгебра и логика,- 1972.- Т. 11, N 4.- С. 470-494.

39. Шунков В.П. О проблеме минимальности для локально конечных групп// Алгебра и логика,- 1972,- Т. 9, N 2,- С. 220-248.

40. Asar А.О. A contribution to the characterization of locally finite minimal non FC-groups// Тезисы докладов Международной алгебраической конференции "Antalya Algebra Days V".- 2003. P. 6-7.

41. W. Feit, On groups which contain Frobenius groups as subgroups // Proc. Symp. Pure Math., Vol. . 22-28.