Курсовая работа: Классификация групп с перестановочными обобщенно максимальными подгруппами
(2) Для любой неединичной нормальной в подгруппы факторгруппа разрешима (это прямо вытекает из леммы (3)).
(3) Группа имеет единственную минимальную нормальную подгруппу и , где - такая максимальная в подгруппа, что .
Пусть - произвольная минимальная нормальная подгруппа группы . Так как ввиду леммы , класс всех разрешимых групп c -длиной образует насыщенную формацию, то - единственная минимальная нормальная подгруппа в , причем . Пусть - максимальная подгруппа группы такая, что . Ясно, что . Поскольку - единственная минимальная нормальная подгруппа в , то .
(4) - разрешимая группа.
Допустим, что - неразрешимая группа. Тогда и по выбору группы мы заключаем, что - прямое произведение изоморфных простых неабелевых групп. Кроме того, и единичная подгруппа не содержится среди -максимальных подгрупп группы .
Пусть - произвольная -максимальная подгруппа, содержащаяся в . Используя приведенные выше рассуждения, видим, что . Следовательно, порядок любой -максимальной подгруппы группы , содержащейся в , равен простому числу. Ввиду леммы , - разрешимая группа. Пусть - максимальная подгруппа группы , содержащая . Так - простое число, то либо , либо . Пусть имеет место первый случай. Тогда , и поскольку - простое число, то - максимальная подгруппа группы . Из того, что индекс равен простому числу, следует, что - максимальная подгруппа группы и поэтому - -максимальная подгруппа в . Так как - неабелевая подгруппа, то в ней существует неединичная максимальная подгруппа . Понятно, что - -максимальная подгруппа в и поэтому по условию перестановочна с . В таком случае, . Но - собственная подгруппа в и поэтому . Это противоречие показывает, что . Следовательно, . Поскольку - простое число, то - максимальная подгруппа в . Из того, что группа есть прямое произведение изоморфных простых неабелевых групп, следует, что в имеется неединичная -максимальная подгруппа . Тогда -максимальна в и следовательно, . Таким образом . Это влечет . Полученное противоречие показывает, что - разрешимая группа.
(5) Заключительное противоречие.
Из (3) и (4) следует, что - элементарная абелева -группа для некоторого простого числа и поэтому . Покажем, что делит . Если не делит , то - -группа, и поэтому , что противоречит выбору группы . Итак, делит . Ввиду леммы , .
Пусть - произвольная максимальная в подгруппа с индексом , где и . Тогда , где - силовская -подгруппа группы .
Предположим, что не является нормальной в подгруппой. Ясно, что - максимальная в подгруппа. Если - нормальная подгруппа в , то . Значит, не является нормальной подгруппой в . Пусть - произвольная максимальная подгруппа группы . Тогда - -максимальная в подгруппа и поэтому - -максимальная в подгруппа для любого . Поскольку по условию -перестановочна с подгруппой и , то перестановочна с подгруппой и поэтому . Ясно, что - -максимальная в подгруппа. Так как и не является нормальной подгруппой в , то и поэтому - нормальная погруппа в . Следовательно, - нормальная в подгруппа. Это влечет, что . Ввиду произвольного выбора , получаем, что каждая максимальная подгруппа группы нормальна в . Значит, - нильпотентная группа и любая максимальная подгруппа в нормальна в . Предположим, что . Поскольку и разрешима, то в группе существует минимальная нормальная -подгруппа , где . Так как - максимальная в подгруппа, то . Это влечет, что . Следовательно, группа обладает главным рядом
и поэтому . Полученное противоречие с выбором группы показывает, что . Пусть - такая максимальная подгруппа группы , что . Тогда . Это влечет , что противоречие тому, что .
Следовательно, - нормальная подгруппа в . Согласно лемме , - -нильпотентная группа и поэтому . Ввиду произвольного выбора , получаем, что для любого и . Ясно, что , что противоречит . Теорема доказана.
Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17