Быстрый поиск

Курсовая работа: Классификация групп с перестановочными обобщенно максимальными подгруппами

и поэтому . Таким образом, каждая -максимальная подгруппа группы перестановочна с каждой максимальной подгруппой группы . Ввиду (2) и следствия , получаем, что , где силовская -подгруппа нормальна в группе . Значит, , где и . Пусть - силовская -подгруппа и - силовская -подгруппа группы . Пусть - -максимальная подгруппа группы такая, что . Так как , то - неединичная подгруппа. Ясно, что - -максимальная подгруппа группы и - -максимальная подгруппа группы . Следовательно, по условию подгруппа -перестановочна с , и поэтому для некоторого мы имеем - подгруппа группы . Поскольку , то - нормальная подгруппа в группе . Так как , то - нормальная подгруппа в группе . Получили противоречие с тем, что - минимальная нормальная подгруппа. Теорема доказана.

Для доказательства теоремы [2.3] нам понадобятся следующие две леммы.

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

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

Если в группе каждая максимальная подгруппа , индекс которой является степенью числа , нормальна в , то - -нильпотентная группа.

Доказательство. Предположим, что данная лемма не верна, и пусть - контрпример минимального порядка. Тогда:

(1) Для любой неединичной нормальной подгруппы группы факторгруппа -нильпотентна.

Пусть - максимальная подгруппа группы такая, что явяется степенью числа . Тогда - максимальная в подгруппа и является степенью числа . По условию, нормальна в , и поэтому нормальна в . Так как , то - -нильпотентная группа.

(2) Группа имеет единственную минимальную нормальную подгруппу и - -подгруппа.

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

(3) Заключительное противоречие.

Пусть - максимальная подгруппа группы , не содержащая . Поскольку абелева, то и поэтому . Это влечет . Следовательно, для некоторого . Значит, - нормальная в подгруппа и поэтому , противоречие. Лемма доказана.

Дополнением к теореме [2.2] является следующий факт.

[2.3]. Пусть - группа, - ее подгруппа Фиттинга. Если любая максимальная подгруппа группы -перестановочна со всеми -максимальными подгруппами группы , то группа разрешима и для каждого простого .

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

(1) - непростая группа. Допустим, что . Поскольку ввиду леммы (3), условие теоремы выполняется для факторгруппы , то по выбору группы , разрешима и поэтому - разрешимая группа. Полученное противоречие показывает, что и, следовательно, любая максимальная подгруппа группы перестановочна со всеми -максимальными подгруппами в .

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