Нильпотентная длина конечных групп с известными добавлениями к максимальным подгруппам

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РЕСПУБЛИКИ БЕЛАРУСЬ Учреждение образования

" Гомельский государственный университет имени Франциска Скорины"

Математический факультет Кафедра алгебры и геометрии Допущена к защите Зав. кафедрой Шеметков Л.А.

" «2005 г.

Дипломная работа

«Нильпотентная длина конечных групп с известными добавлениями к максимальным подгруппам»

Исполнитель студентка группы М-51

Рубан Е.М.

Руководитель Д. ф-м н., профессор Монахов В.С.

Гомель 2005

1. Подгруппа Фиттинга и её свойства

2. -длинаразрешимой группы

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

4. Используемые результаты Заключение Список использованных источников

ПЕРЕЧЕНЬ УСЛОВНЫХ ОБОЗНАЧЕНИЙ

Рассматриваются только конечные группы. Используются следующие обозначения.

— простые числа.

— знак включения множеств;

— знак строгого включения;

и — соответственно знаки пересечения и объединения множеств;

— пустое множество;

— множество всех для которых выполняется условие ;

— число сравнимо с числом по модулю .

— множество всех простых чисел;

— некоторое множество простых чисел, т. е. ;

— дополнение к во множестве всех простых чисел; в частности, ;

примарное число — любое число вида, ;

— множество всех целых положительных чисел.

— единичная группа;

— единичная матрица размерности ;

— полная линейная группа степени над полем из элементов, т. е. группа всех невырожденных линейных преобразованиймерного линейного пространства над полем из элементов;

) — специальная линейная группа степени над полем из элементов.

) — проективная специальная линейная группа степени над полем из элементов, т. е. факторгруппа специальной линейной группы по ее центру

— конечное поле порядка .

Пусть — группа. Тогда:

— порядок группы ;

— порядок элемента группы ;

— единичный элемент и единичная подгруппа группы ;

— также единичная подгруппа группы ;

— множество всех простых делителей порядка группы ;

— множество всех различных простых делителей натурального числа ;

— группа — группа, для которой ;

— группа — группа, для которой ;

Группа называется:

примарной, если ;

бипримарной, если .

— подгруппа Фраттини группы, т. е. пересечение всех максимальных подгрупп группы ;

— подгруппа Фиттинга группы, т. е. произведение всех нормальных нильпотентных подгрупп группы ;

— коммутант группы, т. е. подгруппа, порожденная коммутаторами всех элементов группы ;

— наибольшая нормальная разрешимая подгруппа группы ;

— наибольшая нормальная подгруппа нечетного порядка группы ;

— наибольшая нормальнаяподгруппа группы ;

— -холловская подгруппа группы ;

— силовскаяподгруппа группы ;

— дополнение к силовскойподгруппе в группе, т. е. -холловская подгруппа группы ;

— группа всех автоморфизмов группы ;

— главный ранг группы ;

— -главный ранг группы ;

— является максимальной подгруппой группы ;

Пусть — максимальная цепь подгрупп, т. е. для всех. Если разрешима, то все индексы максимальной цепи примарны, т. е.. Тогда:

.

При введении обозначений и рассматриваются все максимальные цепи.

— -длина группы ;

— нильпотентная длина группы ;

— производная длина группы ;

— является подгруппой группы ;

— является собственной подгруппой группы ;

нетривиальная подгруппа — неединичная собственная подгруппа;

— является нормальной подгруппой группы ;

— является минимальной нормальной подгруппой группы ;

— является субнормальной подгруппой группы ;

— подгруппа характеристична в группе, т. е. для любого автоморфизма ;

— индекс подгруппы в группе ;

;

— ядро подгруппы в группе, т. е. пересечение всех подгрупп, сопряжённых с в ;

— подгруппа, порожденная всеми подгруппами, сопряженными с подгруппой из элементами из, то есть ;

— централизатор подгруппы в группе ;

— нормализатор подгруппы в группе ;

— центр группы ;

— циклическая группа порядка ;

— симметрическая группа степени ;

— знакопеременная группа степени .

Если и — подгруппы группы, то:

— прямое произведение подгрупп и ;

— полупрямое произведение нормальной подгруппы и подгруппы ;

— и изоморфны.

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

— подгруппа, порожденная всеми, для которых выполняется .

Группу называют:

— замкнутой, если ;

— нильпотентной, если ;

— разложимой, если и нормальны в .

Ряд подгрупп называется:

субнормальным, если для любого ;

нормальным, если для любого ;

главным, если для всех .

Начало развития исследований в области теории конечных групп в Гомеле связано с приездом в 1953 году профессора Сергея Антоновича Чунихина в только что открывшейся Белорусский государственный институт инженеров железнодорожного транспорта, ныне — Белорусский государственный университет транспорта. Здесь он возглавил кафедру высшей математики, а позднее в 1959 году создал лабораторию теории конечных групп Института математики Академии наук Беларуси и в 1964 году кафедру алгебры и геометрии Гомельского педагогического института, преобразованного в 1969 году в университет. В 1956 году он был избран членом-корреспондентом АН БССР, а в1966 году — академиком АН БССР.

За время работы С. А. Чунихина в г. Гомеле в 1953;1985 гг. создана крупная научная алгебраическая школа, активно развивающая в настоящее время под руководством члена-корреспондента НАН Беларуси профессора Л. А. Шеметкова различные направления современной теории конечных групп и теории классов алгебраических систем. Об этом свидетельствуют монографии участников Гомельского алгебраического семинара С. А. Чунихина, Л. А. Шеметкова, А. Н. Скибы, М. В. Селькина, С. Ф. Каморникова, Го Вэньбина. К учебным изданиям по теории групп участников Гомельского алгебраического семинара следует отнести прежде всего машинописные варианты текстов лекций С. А. Чунихина и Л. А. Шеметкова, а также учебные пособия Л. А. Шеметкова, В. А. Ведерникова, В. С. Монахова и А. Н. Скибы.

В работе Л. А. Шеметков ввёл понятие добавления (см. также [2,с.132]). Добавлением к подгруппе конечной группы называется такая подгруппа из, что, но для любой собственной подгруппы из. Если, кроме того,, то называется дополнением к подгруппе .

Ф. Холл установил строение конечной группы, у которой все подгруппы дополняемы [3, 4, c. 291]. Поскольку в каждой конечной группе любая подгруппа обладает добавлением, то аналогичная задача относительно добавлений охватывает класс всех конечных групп. Однако при дополнительных ограничениях на добавления или на добавляемые подгруппы можно выделить разнообразные классы групп.

Известно, что конечные разрешимые группы можно охарактеризовать как конечные группы, у которых дополняемы все силовские подгруппы. Эта теорема Ф. Холла явилась источником развития одного из направлений теории групп, состоящего в исследовании строения групп с выделенными системами дополняемых подгрупп. Как отмечает в своей монографии С. Н. Черников [10,с.11]: «Изучение групп с достаточно широкой системой дополняемых подгрупп обогатило теорию групп многими важными результатами». К настоящему времени выделены и полностью изучены многие новые классы групп. При этом наметилась тенденция к обобщениям как самого понятия дополняемой подгруппы, так и способа выделения системы дополняемых подгрупп. Системы дополняемых подгрупп выделялись, например, с помощью таких понятий как примарность, абелевость, цикличность, нормальность и других свойств конечных групп и их комбинаций, а вместо дополняемости рассматривалисьдополняемость (если пересечение подгруппы с добавлением циклическое), -плотность (если для любых двух абелевых подгрупп группы, из которых первая не максимальна во второй, в существует дополняемая (абелева) подгруппа, строго содержащаяся между ними), и др. Обзор результатов этого направления можно найти в.

Подобная тематика исследуется и в теории формаций. В работах В. А. Ведерникова [5,6], Го Вэнь Биня [11], А. Н. Скибы [7], Л. А. Шеметкова и других авторов исследовались формации с системами дополняемых подформаций. Обзор результатов этого направления можно найти в.

Однако условие существования дополнений к отдельным подгруппам является достаточно сильным ограничением. Далеко не все подгруппы обладают дополнениями. Вместе с тем каждая подгруппа обладает минимальным добавлением. Поэтому для исследования строения конечных групп с системами добавляемых подгрупп необходимо вводить дополнительные ограничения на минимальные добавления.

В настоящей дипломной работе изложены основы теории нильпотентной длины конечной разрешимой группы. Целью дипломной работы является исследование величины нильпотентной длины конечных разрешимых групп с известными добавлениями к максимальным подгруппам. В работе рассмотрены следующие вопросы: подгруппа Фиттинга конечной разрешимой группы и ее свойства; нильпотентная длина и другие инварианты конечной разрешимой группы; признаки разрешимости конечной группы с извесными добавлениями к максимальным погруппам; нахождение величины нильпотентной длины разрешимой группы с известными добавлениями к максимальным подгруппам.

Работа состоит из трех глав.

В первой главе «Подгруппа Фиттинга и ее свойства» изучены свойства подгруппы Фиттинга.

Определение. Произведение всех нормальных нильпотентных подгрупп группы называют подгруппой Фиттинга группы и обозначают через .

Определение. Нильпотентной длиной разрешимой группы называют наименьшее, для которого. Нильпотентную длину разрешимой группы обозначают через .

На основе подгруппы Фиттинга вводится следующая

Теорема А. Подгруппа Фиттинга совпадает с пересечением централизаторов главных факторов группы.

Также рассматривается доказательство теоремы К. Дёрка.

Теорема B. Если — максимальная подгруппа разрешимой группы, то, где .

Доказана теорема Монахова В.С.

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

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

Теорема C. (1) В разрешимой неединичной группе подгруппа Фраттини совпадает с пересечением максимальных подгрупп, не содержащих подгруппу Фиттинга.

(2) В разрешимой ненильпотентной группе пересечение максимальных подгрупп, содержащих подгруппу Фиттинга, метанильпотентно.

Во второй главе «-длинаразрешимой группы» даны следующие определения.

Определение. Пусть — простое число. Назовем группугруппой, если ее порядок не делится на и, как обычно, -группой, если её порядок равен степени числа. Конечную группу будем называтьразрешимой, если каждый из её композиционных факторов является либогруппой, либогруппой. Таким образом, группа разрешима в обычном смысле тогда и только тогда, когда онаразрешима для всех простых. Ясно, что группаразрешима тогда и только тогда, когда она обладает нормальным рядом в котором каждая факторгруппа является либогруппой, либогруппой.

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

— длинуразрешимой группы можно также определить как наименьшее числофакторов, встречающихся в каком либо ряде вида (2.1), поскольку минимум достигается для верхнегоряда Доказывается

Теорема D. Если — -разрешимая группа, где — нечетное простое число, то

(i)

(ii) если не является простым числом Ферма, и, если — простое число Ферма. Кроме того, эти оценки нельзя улучшить.

В главе «Группа с нильпотентными добавлениями к подгруппам» доказана важная теорема.

Определение. Группа называетсясверхразрешимой, если ее главные факторы либогруппы, либо имеют простые порядки. -Сверхразрешимой называют группу, у которой факторы главного ряда либо имеют порядок, либо являютсягруппами. Группа, у которой все факторы главного ряда имеют простые порядки, называется сверхразрешимой.

Теорема E. Конечная неразрешимая группа с нильпотентными добавлениями к несверхразрешимым подгруппам изоморфна или, где — нильпотентная группа, а и — простые числа.

Также доказано следствие из этой теоремы.

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

1 ПОДГРУППА ФИТТИНГА И ЕЁ СВОЙСТВА

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

Лемма 1.1. (1) — наибольшая нормальная нильпотентная подгруппа группы ;

(2) ;

(3) .

Proof. (1) Пусть и — нильпотентные нормальные подгруппы группы и пусть и — силовскиеподгруппы из и. Так как, а, то по лемме 4.1, с. 35. Аналогично,, поэтому. Ясно, — -группа. Покажем, что она силовская в. Для этого вычислим ее индекс:

Так как числитель не делится на, то — силовскаяподгруппа группы. Итак, произведение двух нормальных нильпотентных подгрупп есть нормальная нильпотентная подгруппа. Поэтому — наибольшая нормальная нильпотентная подгруппа группы .

(2) Ясно, что для всех, поэтому

Обратно, если — силовскаяподгруппа группы, то и нормальна в, поэтому и

(3) Если, то и нильпотентна, поэтому по (1) и .

Лемма 1.2. (1); если разрешима и, то ;

(2)

(3) если, то; если, кроме того, абелева, то

Proof. (1) Поскольку подгруппа Фраттини — нильпотентная нормальная подгруппа группы, то. Пусть — разрешимая неединичная группа. Тогда разрешима и неединична. Пусть Так как — -группа для некоторого простого, то по следствию 4.2, с. 35, подгруппа нильпотентна и. Следовательно, .

(2) Если, то — нильпотентная нормальная в подгруппа по теореме 4.3, с. 35, поэтому и Обратное включение следует из определения подгруппы Фиттинга.

(3) Для минимальной нормальной подгруппы либо, либо. Если, то Если, то — элементарная абелевагруппа для некоторого простого. Так как, то. С другой стороны, по теореме 4.4, с. 35, поэтому .

Теорема 1.3. для любого. В частности, если разрешима, то

Proof. Пусть,. Так как по лемме 4.5, с. 35, то. Предположим, что для некоторого и пусть Ясно, что и Пусть — силовскаяподгруппа группы. Так как

— группа, то, а поскольку, то и. Теперь, — нильпотентная нормальная подгруппа группы и. Таким образом, и первое утверждение доказано. Если разрешима, то разрешима, поэтому и .

Говорят, что подгруппа группы дополняема в, если существует такая подгруппа, что и. В этом случае подгруппу называют дополнением к подгруппе в группе

Теорема 1.4. Если — нильпотентная нормальная подгруппа группы и, то дополняема в .

Proof. По условию, а по теореме 4.6, с. 35, коммутант. По теореме 4.7, с. 35, подгруппа Фраттини, а по условию Поэтому и абелева. Пусть — добавление к в. По лемме 4.8, с. 35, Поскольку и то и по теореме 4.7, с. 35,

Следовательно, и — дополнение к в .

Теорема 1.5. Факторгруппа есть прямое произведение абелевых минимальных нормальных подгрупп группы .

Proof. Предположим вначале, что и обозначим через подгруппу Фиттинга По теореме 4.6 коммутант, Но значит по теореме 4.7, с. 35. Поэтому и абелева. Пусть — прямое произведение абелевых минимальных нормальных подгрупп группы наибольшего порядка. Тогда и по теореме 1.4 существует подгруппа такая, что По тождеству Дедекинда, Но абелева, поэтому, а так как, то По выбору пересечение и

Пусть теперь и По лемме 1.2(2) Так как-то для утверждение уже доказано.

Следствие 1.6. В разрешимой группе с единичной подгруппой Фраттини подгруппа Фиттинга есть прямое произведение минимальных нормальных подгрупп.

Теорема 1.7. Подгруппа Фиттинга совпадает с пересечением централизаторов главных факторов группы.

Proof. Пусть По следствию 4.9, с. 35, подгруппа нормальна в. Если главный ряд группы, то нормальный ряд группы. Так как подгруппа содержится в каждой подгруппе, то для. По теореме 4.10, с. 35, подгруппа нильпотентна, поэтому .

Проверим обратное включение. Пусть — главный фактор группы. Так как-то по лемме 4.11, с. 35, либо

либо

В первом случае, поэтому Во втором случае из нильпотентности подгруппы по лемме 1.2 получаем, что Снова. Таким образом, и .

Лемма 1.8. .

Proof. Пусть. Ясно, что и. Так как-то и изоморфна нормальной нильпотентной подгруппе группы. Поэтому и .

Пусть — группа и пусть Ясно, что В разрешимой неединичной группе подгруппа Фиттинга отлична от единичной подгруппы по лемме 1.2. Поэтому для разрешимой группы существует натуральное такое, что .

Нильпотентной длиной разрешимой группы называют наименьшее, для которого. Нильпотентную длину разрешимой группы обозначают через. Таким образом, если группа разрешима и, то где Поэтому построенный ряд нормальный и его факторы нильпотентны.

Ясно, что тогда и только тогда, когда группа нильпотентна.

Пример 1.9. .

Непосредсвенно из определения нильпотентной длины вытекает

Лемма 1.10. Пусть — разрешимая группа. Тогда:

(1) ;

(2) .

Лемма 1.11. (1) Если — разрешимая группа, то длина любого нормального ряда группы с нильпотентными факторами не меньше, чем .

(2) Нильпотентная длина разрешимой группы совпадает с длиной самого короткого нормального ряда с нильпотентными факторами.

Proof. (1) Применим индукцию по порядку группы. Пусть нормальный ряд группы с нильпотентными факторами. Так как — нормальная нильпотентная подгруппа группы, то и. Здесь. Факторгруппа имеет порядок меньше, чем порядок группы и обладает рядом где. Ясно, что это нормальный ряд, его длина и его факторы нильпотентны. По индукции и .

(2) следует из (1).

Лемма 1.12. Пусть — разрешимая группа. Тогда:

(1) если, то ;

(2) если, то ;

(3) если и, то

в частности, если и — разрешимые группы, то

(4) .

Proof. Пусть и. Тогда

(1) Пусть. Тогда ряд будет нормальным рядом подгруппы с нильпотентными факторами По лемме 1.11 .

(2) Пусть и. Тогда ряд будет нормальным рядом группы с нильпотентными факторами

По лемме 1.10 .

(3) Ясно, что. Обозначим. Тогда по лемме 1.10, а по индукции Поэтому. Так как по (1), то имеем

(4) Положим. По лемме 1.2 для неединичной разрешимой группы имеем и Поэтому .

Следующая теорема принадлежит К. Дёрку.

Теорема 1.13. Если — максимальная подгруппа разрешимой группы, то, где .

Пример. Воспользуемся индукцией по порядку группы. Пусть — минимальная нормальная подгруппа группы. Если, то и, где. Поэтому можно предположить, что все минимальные нормальные подгруппы группы содержатся в. Если группа содержит две различные минимальные нормальные подгруппы, то и по индукции Поскольку то теорема справедлива. Следовательно, можно считать, что группа содержит в точности одну минимальную нормальную подгруппу. Если, то по лемме 1.12 и опять Поскольку то опять теорема справедлива.

Итак, можно считать, что и по следствию 1.6. По индукции Если, то утверждение справедливо. Пусть, т. е.. Считаем, что — -группа. Тогда — -группа. Пусть. Если, то и, поэтому и теорема справедлива.

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

Пример 1.14.

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

Если факторгруппа нильпотентна, то группу называют метанильпотентной.

Теорема 1.15. (1) В разрешимой неединичной группе подгруппа Фраттини совпадает с пересечением максимальных подгрупп, не содержащих подгруппу Фиттинга.

(2) В разрешимой ненильпотентной группе пересечение максимальных подгрупп, содержащих подгруппу Фиттинга, метанильпотентно.

Proof. Обозначим через пересечение всех максимальных подгрупп группы, не содержащих, а через пересечение максимальных подгрупп группы, содержащих. Ясно, что подгруппы и характеристические в группе и

(1) В факторгруппе подгруппа Фиттинга

по лемме 1.2, поэтому Предположим, что и пусть — минимальная нормальная подгруппа группы, содержащаяся в. Так как подгруппа нормальна в группе и факторгруппа нильпотентна, то по теореме 4.3, с. 35, подгруппа нильпотентна и. Но теперь противоречие. Поэтому допущение неверно и, т. е. .

(2) Пусть — разрешимая ненильпотентная группа. Ясно, что и Поэтому подгруппа метанильпотентна.

Пример 1.16. В неразрешимой группе центр, подгруппа Фраттини и подгруппа Фиттинга совпадают и имеют порядок. Поэтому в группе нет максимальных подгрупп, не содержащих подгруппу Фиттинга.

Следовательно, утверждение (1) теоремы 1.15 в неразрешимых группах нарушается.

2 -ДЛИНА -РАЗРЕШИМОЙ ГРУППЫ

Пусть — простое число. Назовем группугруппой, если ее порядок не делится на и, как обычно, -группой, если её порядок равен степени числа. Конечную группу будем называтьразрешимой, если каждый из её композиционных факторов является либогруппой, либогруппой. Таким образом, группа разрешима в обычном смысле тогда и только тогда, когда онаразрешима для всех простых. Ясно, что группаразрешима тогда и только тогда, когда она обладает нормальным рядом в котором каждая факторгруппа является либогруппой, либогруппой. Поэтому для такой группы мы можем индуктивно определить верхнийряд.

потребовав, чтобы была наибольшей нормальнойподгруппой в, а — наибольшей нормальнойподгруппой в .

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

— длинуразрешимой группы можно также определить как наименьшее числофакторов, встречающихся в каком либо ряде вида (2.1), поскольку минимум достигается для верхнегоряда (2.2). Подгруппы и, очевидно, характеристичны в, и содержит все нормальные подгруппы группы сдлинной, не превосходящей числа. Заметим также, что для

Подгруппы и факторгруппыразрешимой группы такжеразрешимы, и их длина не превышает. Если группы и оберазрешимы, то таково же их прямое произведение и

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

(i) где — порядок ,

(ii) — класс нильпотентности, т. е. длина (верхнего или) нижнего центрального ряда ,

(iii) — длина ряда коммутантов ,

(iv) где — экспонента, т. е.

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

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

Справедлива следующая теорема.

Теорема 2.1. Если — -разрешимая группа, где — нечетное простое число, то

(i)

(ii) если не является простым числом Ферма, и, если — простое число Ферма. Кроме того, эти оценки нельзя улучшить.

Мы установим также неравенства, связывающие c и с, но здесь наши результаты будут неулучшаемы только для простых чисел, не являющихся простыми числами Ферма. Все эти результаты тривиальны для, и мы докажем их индукцией по. Предположим, что и что, как всегда обладает верхнимрядом (2.2). Пусть подгруппа Фраттинигруппы. Всякий элемент группы индуцирует внутренний автоморфизм группы и, следовательно, группы. Но, как извесно, является элементарной абелевойгруппой; поэтому ее можно отождествить с аддитивной группой векторного пространства над простым полем характеристики, а ее автоморфизм — с линейными преобразованиями этого пространства. Автоморфизмы группы, индуцированные элементами, образуют поэтому линейную группу над полем характеристики. Эта группа, очевидно, является гомоморфным образом группы, и мы покажем, что в действительности она изоморфна группе, и поэтому являетсяразрешимой группой, не содержащей нормальной подгруппы, отличной от единицы.

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

Число удовлетворяет следующему условию. Пусть наименьшее целое число (если оно существует), для которого является степенью простого числа со свойством. Если не существует, то; в противном случае Этот результат, дополненный более детальными сведениями об элементах, для которых, будет ключом к доказательству теоремы А. Надо заметить, что неравенство может выполняться только тогда, когда или когда — простое число Ферма. Теорема В и подобные ей теоремы доказываются в основном прямым определением наименьшей группы, удовлетворяющей этим условиям, и прямым вычислением. При этом играет важную роль следующая теорема, интересная сама по себе.

Теорема 2.3. Пусть — некотораягруппа, на которую действуетгруппа, причем некоторый элемент группы действует нетривиально на, но тривиально на каждую истиннуюинвариантную подгруппу группы. Тогда существует такое простое число, что является либо элементарной абелевойгруппой, либогруппой класса нильпотентности 2, у которой центр и коммутант совпадают, факторгруппа по коммутанту — элементарная абелева группа и представление на неприводимо.

Следует отметить, что если — разрешимая группа, то ограничитель влечет ограниченность длины ряда коммутантов группы .

Пусть означает следующее утверждение:

: для каждого положительного целого числа существует такое целое число, что всякая разрешимая группа экспоненты, порождаемая элементами, имеет порядок не больше .

Теорема 2.4. истинно, если истинно для всех степеней простых чисел, делящих .

В частности, так как известно, что, и истинны, то истинны и. В этих случаях, как и всегда, когда делится только на два простых числа, мы можем слово «разрешимая» заменить в формулировке словом «конечная». Если — число, свободное от квадратов, мы даже можем вычислить, когда извесны для всех простых, делящих, и всех. Так, порядок наибольшей конечнойпорожденной группы экспоненты 6 дается формулой

где и

Пусть требуется доказать индукцией по порядку группы неравенство Здесь и — числовые инварианты, определеннные для некоторого класса конечных групп, который мы предпологаем замкнутым. Мы предпологаем, что (2.3) выполняется для достаточно малых, следовательно и для, и, кроме того, что:

(I) если — подгруппа, то ;

(II) ;

(III) если — факторгруппа, то .

Тогда справедлива

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

В самом деле, если обладает двумя минимальными нормальными подгруппами и, мы получим, что, так что изоморфна подгруппе прямого произведения. Т.к. — инвариант, имеющий одинаковые значения для изоморфных групп, последние (I) и (II) дают В силу предположения индукции и в силу условия (III). Таким образом,, и точно также, так что, что и требовалось.

Заметим, что все силовскиеинварианты, упомянутые раньше, кроме, заведамо удовлетворяют условиям (I), (II) и (III). То же верно и для инварианта разрешимой группы и инвариантаразрешимой группы; удовлетворяет условию (III). Таким образом, если удовлетворяет условиям (I) и (II), то этим же условиям удовлетворяет любая неубывающая функция, а если удовлетворяют условию (III), то этому же условию удовлетворяет любая функция, не убывающая по любому из аргументов. Так как все наши неравенства тривиальны для достаточно малых групп, то легко видеть, что утверждение последней леммы можно применять каждый раз, когда это необходимо.

Теорема 2.6. Если — разрешимая группа, то .

Доказывая теорему индукцией по порядку, можно предположить, что обладает только одной минимальной нормальной подгруппой. Так как разрешима, эта подгруппа будетгруппой для некоторого простого числа. Тогда в верхнемряде (2.2) группы подгруппа. Отсюда, Но и -1, в то время как при инварианты и имеют одинаковые значения для и .

Пусть предложение индукции, применённое к группе, даёт Отсюда следует теорема.

Нам понадобиться далее важное свойство верхнегорядаразрешимой группы, которое удобно вывести в немного более общем контексте. Пусть — некоторое множество простых чисел, а — дополнительное к множество. -группа — это конечная группа, порядок которой делится только на простые числа, входящие в. Конечная группаразрешима, если каждый её композиционный фактор является либогруппой, либогруппой. Такая группа обладает верхнимрядом, для которого мы используем те же обозначения, что и в случае, когда содержит одно простое число. Таким образом, мы пишем для ряда нормальных подгрупп, требуя, чтобы факторгруппа была наибольшей нормальнойподгруппой в, а факторгруппа — наибольшей нормальнойподгруппой в .

Лемма 2.7. Еслиразрешимая группа не содержит неединичнуюподгруппу, так что, то группа содержит свой централизатор в группе .

Пусть — централизатор группы. Если лемма не верна и, то мы можем выбрать нормальную подгруппу группы, такую, что и минимальную при этом условии. Так как группаразрешима, факторгруппа оказывается илигруппой, илигруппой, а по определению группы она не может бытьгруппой. Следовательно, факторгруппа естьгруппа и порядки групп и взаимно просты. По теореме Шура, группа обладает дополнением в группе. Так как, трансформирование группы элементом из индуцирует ее внутренний автоморфизм, а т.к. порядки и взаимно просты, этот автоморфизм может быть только тождественным. Тогда — прямое произведение и. Поэтому является характеристической подгруппой в, а следовательно, нормальной подгруппой в, в потиворечие с предположением, что. Это противоречие доказывает лемму. Заметим, что предположение на самом деле излишне, так как в общем случае мы можем применить лемму к факторгруппе .

Следствие 2.8. Пусть — некоторая подгруппа, индекс которой не делится ни на какое простое число из, тогда центр группы содержится в центре группы .

Действительно, подгруппа должна содержать нормальнуюподгруппу группы .

Следствие 2.9. Пусть — некоторая подгруппа группы, содержащая, тогда не обладает неединичной нормальнойподгруппой.

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

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

Теорема 2.10. Если — разрешимая группа порядка, где при, и если подгруппа группы порядка имеет класс нильпотентности то В частности, для любой конечной разрешимой группы. -подгруппа некоторой факторгруппы, порядок которой делит, имеет класс нильпотентности, не превышающий, так что мы можем применить утверждение леммы 2.5 и получить результат индукцией по порядку группы, допустив что обладает только одной минимальной нормальной подгруппой. Это будетгруппа для некоторого простого числа, и мы можем поэтому предполодить, что ее порядок делит. Тогда, если мы возьмем в качестве множество простых долителей числа, окажется выполненной предпосылка леммы 2.5. Если — наибольшая нормальнаяподгруппа группы и — ее центр, то по следствию леммы 2.5 содержит центрподгруппы группы, имеющей порядок. Порядокподгруппы группы делит, поэтому класс нильпотентности ее не более. Дляподгруппы групп и порядка изоморфны, так что в силу предположения индукции, примененной к, получим

Так как, то доказательство по индукции проведено.

Прежде чем применять лемму 2.5 к доказательству неравенства для, удобно уточнить её для случая, при котором состоит из одного простого числа. Пусть естьразрешимая группа с верхнимрядом (2.2). Тогда лемма 2.5, применённая к группе, показывает, что если — элемент группы, не входящий в, то трансформирование элементом индуцирует в нетождественный автоморфизм. Необходимое уточнение состоит в замене группы группой, где — подгруппа Фраттини группы. Теперь — -группа, и таким образом — элементарная абелевагруппа. Ясно поэтому, что автоморфизм группы, индуцированный группы, тождественный. Таким образом, множество элементов группы, которое тождественно трансформирует, является нормальной подгруппой группы, такой, что. По определению фактор группа не может бытьгруппой, отличной от 1, так что если, то группа должна содержать элемент, не входящий в и порядка, взаимно простого. Тогда индуцирует автоморфизм группы порядка, взаимно простого с. Но автоморфизмгруппы, тождественоой по модулю подгруппе Фраттини, имеет порядок, равный степени числа. Таким образом, индуцирует в нетождественный автоморфизм, что противоречит определению группы. Значит,, что и требовалось. Таким образом:

Лемма 2.11. Если естьразрешимая группа с верхнимрядом (2.2) и если — подгруппа Фраттини группы, то автоморфизмы группы, которые индуцированы трансформированиями элементами группы, представляют точно.

Следствие 2.12. .

По лемме группа не обладает неединичной нормальнойподгруппой, и последующие члены её верхнегоряда представляют собой фактор группы по соответствующих членов верхнегоряда группы .

Теорема 2.13. Для любойразрешимой группы

(I)

(II)

Мы можем использовать индукцию по порядку группы и предположить, что обладает только одной минимальной нормальной подгруппой. Очевидно, мы можем также предположить, что, откуда последствию из леммы 2.11, а, следовотельно,, и — элементарная абелевагруппа. Теперь, полагая, мы получим, что, так что по предположению индукции заключаем, что. Если — группа порядка, то порядок её группы автоморфизмов равен так что. Согласно лемме 2.11, группа изоморфна некоторой подгруппе группы, так что, откуда. Таким образом,

что и требовалось.

С другой стороны согласно следствию 1 леммы 2.7, содержит центр силовскойподгруппы группы, так что. Так как, то индукция для (II) проводится сразу.

Неравенства, полученные сдесь, отнюдь не являются наилучшими. Для нечетных их значительно можно усилить. Однако при теорему 2.13 улучшить нельзя.

Последнюю теорему можно применить для короткого доказательства утверждений и .

3 ГРУППА С НИЛЬПОТЕНТНЫМИ ДОБАВЛЕНИЯМИ К ПОДГРУППАМ

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

Теорема 3.1. Конечная неразрешимая группа с нильпотентными добавлениями к несверхразрешимым подгруппам изоморфна или, где — нильпотентная группа, а и — простые числа.

Следствие 3.2. Конечная неразрешимая группа, в которой все подгруппы непримарного индекса сверхразрешимы, изоморфна или, где — -группа, либо, где — -группа.

Отметим, что конечные группы с нильпотентными подгруппами непримарного индекса изучены С. С. Левищенко. Среди них нет неразрешимых групп.

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

Нам понадобится следующая

Лемма 3.3. Пусть в конечной группе каждая несверхразрешимая группа обладает нильпотентным добавлением. Тогда в любой подгруппе и в любой фактор-группе группы каждая несверхразрешимая подгруппа обладает нильпотентным добавлением.

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

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

Докажем теорему.

Пример. Путь — конечная неразрешимая группа с нильпотентными добавлениями к несверхразрешимым подгруппам. Так как ненильпотентна, то в существуетзамкнутая подгруппа Шмидта, где — нормальная в силовская 2-подгруппа, подгруппа — циклическая [14,c. 434]. Поскольку не является сверхразрешимой, то существует нильпотентная подгруппа такая, что. С учётом чётности порядка из теоремы 2.8 заключаем, что фактор-группа изоморфна или, где — некоторое простое число, а — наибольшая разрешимая нормальная в подгруппа. Кроме того,

а

Здесь и — 'элементарная абелева и циклическая подгруппы порядка. Из теоремы 2.10 получаем, что — простое число.

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

Проверим, что группа не удовлетворяют условию теоремы. Пусть Известно, что — нормальная в подгруппа, а — циклическая группа порядка. Для силовскойподгруппы из имеем Теперь Поскольку и — простые числа, то в существует подгруппа порядка. Для подгруппазамкнута, и внешний автоморфизм не централизует силовскуюподгруппу, поэтому несверхразрешима. Так как в нет нильпотентной подгруппы порядка, то не удовлетворяет условию теоремы при. Если, то в для подгруппы Шмидта, изоморфной знакопеременной группе степени, должна найтись нильпотентная подгруппа порядка, делящегося на. Но такой нильпотентной подгруппы в нет.

Итак, если, то изоморфна, где и — простые числа.

Пусть теперь. Предположим, что не является минимальной нормальной в подгруппой, и пусть — минимальная нормальная в подгруппа, содержащаяся в. По индукции,, где — нильпотентна, а изоморфна или. Так как, то — собственная в подгруппа, и для её прообраза в группе по индукции получаем, что, где или. Подгруппа характеристична в, а нормальна в, поэтому нормальна в. Так как

то

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

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

то

Из минимальности получаем, что

Так как

где и — простые числа, то в этом случае теорема доказана.

Итак, пусть. Если — собственная подгруппа в своём централизаторе, то из простоты следует, что содержится в центре. Теперь группа изоморфна или по теореме VI.25.7.

Пусть самоцентрализуема. Поскольку разрешима, то — -группа для некоторого простого. Допусти, что существует простое, делящее порядок, и пусть — силовскаяподгруппа из. Если подгруппа сверхразрешима, то нильпотентна и не самоцентрализуема. Если не сверхразрешима, то по условию теоремы существует нильпотентная подгруппа такая, что. Но теперь будет разрешимой как произведение двух нильпотентных подгрупп, противоречие. Итак, — наибольшее простое число, делящее порядок .

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

Следовательно, содержится в и из самоцентрализуемости и нильпотентности получаем, что — -группа для наибольшего простого, делящего порядок. Из теоремы 2.1 получаем, что, а. Но теперь — подгруппа непримарного индекса. Поэтому она сверхразрешима, а так как её порядок равен, то нильпотентна, и опять не самоцентрализуема. Противоречие.

Теорема доказана полностью.

Рассмотрим доказательство следствия.

Proof. Пусть — конечная неразрешимая группа, в которой все подгруппы непримарного индекса сверхразрешимы. Если — несверхразрешимая в подгруппа, то, где — простое число. Теперь для силовскойподгруппы из, т. е. группа удовлетворяет условию теоремы. Поэтому

или

где — нильпотентная группа. Если то в имеется несверхразрешимая подгруппа индекса. Так как этот индекс должен быть примарен, то или, поэтому или, а — либогруппа, либогруппа. Если то в имеется несверхразрешимая подгруппа Шмидта порядка, а её индекс равен и должен быть примарен, т. е. должна бытьгруппой. Следствие доказано.

4 ИСПОЛЬЗУЕМЫЕ РЕЗУЛЬТАТЫ

Лемма 4.1. Пусть. Тогда:

(1) если, , то ;

(2) если, , то .

Следствие 4.2. Если нильпотентна, то нильпотентна.

Теорема 4.3. Пусть, и. Если нильпотентна, то нильпотентна.

Теорема 4.4. (1) Центр неединичной нильпотентной группы отличен от единицы и .

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

(3) В нильпотентной группе пересечение неединичной нормальной подгруппы с центром группы отлично от единицы и .

Лемма 4.5. Пусть — нормальная подгруппа группы. Тогда:

(1) если, то и ;

(2) если, то и ;

(3);

(4).

Теорема 4.6. Группа нильпотентна тогда и только тогда, когда её коммутант содержится в подгруппе Фраттини.

Теорема 4.7. Пусть. Тогда:

(1) ;

(2) ;

(3) если, то ;

(4) если и, то .

Лемма 4.8. Тогда и только тогда подгруппа является добавлением к нормальной подгруппе в группе, когда и .

Следствие 4.9. (1) Если — главный фактор конечной группы, то и

(2) Если — главный фактор порядка конечной группы, то — циклическая группа порядка, делящего .

Теорема 4.10. (1) Если существует натуральное число такое, что, то группа нильпотентна.

(2) Ступень нильпотентности нильпотентной группы есть наименьшее натуральное число, для которого

Лемма 4.11. Пусть. Тогда:

(1) если, то либо, либо и ;

(2) если абелева и для некоторой собственной подгруппы группы, то ;

(3) если и, то .

[1] Шеметков Л. А.//Докл. АН СССР. 1968. Т. 178, № 3. С. 559−662.

[2] Шеметков Л. А. Формации конечных групп. М., 1978.

[3] Hall Ph.//J. London Math. Soc. 1937. Vol. 12. P. 201−204.

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

[5] Ведерников В. А. Вполне факторизуемые формации конечных групп // Вопросы алгебры. Вып.5. — Минск: Изд-во «Университетское», 1990. — С. 28−34.

[6] Ведерников В. А. Формации конечных групп с дополняемыми подформациями длины 3 // Вопросы алгебры. Вып.6. — Минск: Изд-во «Университетское», 1990. — С. 16−21.

[7] Скиба А. Н. О формациях с заданными системами подформаций // Подгрупповое строение конечных групп. — Мн.: Наука и техника, 1981. — С. 155−180.

[8] Скиба А. Н., Шеметков Л. А. Формации алгебр с дополняемыми подформациями // Укр. мат. журн. — 1991. — Т. 43, № 7, 8. — С. 1008−1012.

[9] Скиба А. Н. Алгебра формаций // Мн.: Беларуская навука, 1997. — 240 c.

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

[11] Guo Wenbin. Local formations in which every subformation of type has a complement // Chinese science Bulletin. — 1997. — Vol. 42, № 5. — P. 364−368.

[12] Hall P. A characteristic property of soluble groups // J. London Math. Soc. — 1937. — 12. — P. 198−200.

[13] Левищенко С. С.//Некоторые вопросы теории групп. Киев, 1975. С. 173−196.

[14] Huppert B. Endliche Gruppen. I. Berlin-Heidelberg-New York, 1976.

[15] Монахов В. С.//Конечные группы. Минск, 1975. С. 70−100.

ЗАКЛЮЧЕНИЕ

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

В первой главе «Подгруппа Фиттинга и ее свойства» изучены свойства подгруппы Фиттинга. Доказаны теоремы К. Дёрка и Монахова В.С.

Во второй главе «-длинаразрешимой группы» даны необходимые определения и доказана теорема.

В главе «Группа с нильпотентными добавлениями к подгруппам» доказана важная теорема:

Теорема. Конечная неразрешимая группа с нильпотентными добавлениями к несверхразрешимым подгруппам изоморфна или, где — нильпотентная группа, а и — простые числа.

Также доказано следствие из этой теоремы.

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

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

В.А. Белоногов. Задачник по теории групп. М.: Наука, 2000.

С.С.Левищенко. //Некоторые вопросы теории групп. Киев, 1975. С. 173−196.

В.С.Монахов.

Введение

в теорию конечных групп и их классов. Гомель: Гомельский ун-т им. Ф.Скорины. 1993.

В.С.Монахов. Неразрешимые конечные группы с нильпотентными добавлениями к несверхразрешимым подгруппам.//Весцi АН Беларусi фiз-мат навук. 1993, № 3. С. 27−29.

М.В.Селькин. Максимальные подгруппы в теории классов конечных групп. Мн.: Беларуская навука. 1997.

М.Холл. Теория групп. М.: Мир, 1962.

Л.А.Шеметков. Формации конечных групп. М., 1978.