Дипломная работа: О минимальных замкнутых тотально насыщенных не формациях конечных групп
Если теперь – множество всех простых чисел из теоремы 3.2 получаем
Следствие 3.2.4. Тогда и только тогда – минимальная
-замкнутая тотально насыщенная ненильпотентная формация, когда
, где
– некоторая группа Шмидта.
Следствие 3.2.5. Тогда и только тогда – минимальная
-замкнутая тотально насыщенная ненильпотентная формация, когда
, где
и
– различные простые числа.
Следствие 3.2.6 [7]. Тогда и только тогда – минимальная тотально насыщенная ненильпотентная формация, когда
, где
и
– различные простые числа.
Минимальные -замкнутые тотально насыщенные не
-замкнутые формации.
Напомним, что группа называется -замкнутой, если она имеет нормальную
-холловскую подгруппу. Формация всех
-замкнутых групп, очевидно, совпадает с произведением
и является наследственной тотально насыщенной формацией.
Теорема 3.3. Тогда и только тогда – минимальная
-замкнутая тотально насыщенная не
-замкнутая формация, когда
, где
– не
-замкнутая группа Шмидта.
Доказательство. Обозначим через формацию всех
-замкнутых групп.
Необходимость. Пусть – минимальная
-замкнутая тотально насыщенная не
-замкнутая формация. По теореме 1 имеем
, где
– такая монолитическая
-минимальная не
-замкнутая группа с монолитом
, что выполняется одно из следующих условий:
1) – группа простого порядка
;
2) – неабелева группа и
, где
– совокупность всех собственных
-подгрупп группы
;
3) ,
где – самоцентрализуемая минимальная нормальная подгруппа в
при всех
, а
либо группа простого порядка
, либо такая монолитическая
-минимальная не
-группа с неабелевым монолитом
, что
,
совпадает с
-корадикалом группы
и
где – совокупность всех собственных
-подгрупп группы
.
Так как , то
. Если
– неабелева группа, то по лемме 2.2 имеем
. Значит,