Классы конечных групп F, замкнутые относительно произведения F-подгрупп, индексы которых не делятся на некоторое простое число (стр. 12 из 13)

Пусть любая минимальная не

-группа --- группа типа 1), 4). Пусть --- максимальный внутренний локальный экран формации .

Известно, что

Покажем, что для любого простого числа

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

Согласно лемме 2.2.18, существует точный неприводимый

-модуль , где --- поле из элементов. Пусть . Покажем, что . Так как точен, то . Так как , то очевидно, что . Пусть --- произвольная максимальная подгруппа из . Если , то . Отсюда следует, что . А значит, . Пусть . Тогда , где --- некоторая максимальная подгруппа из . Так как , то . Так как , то из полноты экрана следует, что . Так как --- внутренний экран, то . Итак, . Последнее противоречит тому, что --- группа типа 4) из леммы 5.3.2.

Итак,

для любого из . Тогда

Отсюда нетрудно заметить, что

Рассмотрим насыщенную формацию

. Так как любая минимальная не -группа либо группа простого порядка, либо группа Шмидта с ненормальной циклической -силовской подгруппой, то --- -формация Шеметкова. Согласно теореме 5.2.2,

где

--- некоторое множество простых чисел, содержащее простое число . Следовательно,

Как и в лемме 5.2.3 можно показать, что

. Итак, --- формация из пункта 3).

Нетрудно показать, что формация

, у которой любая минимальная не -группа есть группа одного из типов 1), 2), 3), 4) леммы 5.3.2, есть пересечение некоторых формаций из пунктов 1), 2), 3) данной теоремы.

Достаточность следует из теоремы 5.1.5 и леммы 5.2.4. Теорема доказана.

Заключение

В главе 1 получено описание наследственных насыщенных

-формаций Шеметкова, теорема 1.4 , и найден ряд свойств таких формаций, теорема 1.6 .

В главе 2 получено описание наследственных насыщенных

-формаций Шеметкова, теорема 2.2 .

В главе 3 в классе конечных разрешимых групп получено описание наследственных формаций Фиттинга

, замкнутых относительно произведения -подгрупп, индексы которых не делятся на некоторое фиксированное простое число, теорема 3.3 .

Список использованных источников

1. Васильев, А.Ф. О максимальной наследственной подформации локальной формации / А.Ф. Васильев // Вопросы алгебры: межведомств. сб. / Мин-во народного обр. БССР, Гомельский гос. ун-т; редкол.: Л.А. Шеметков [и др.]. -- Минск: Университетское, 1990. -- Вып. 5. -- С. 39--45.

2. Васильев, А.Ф. О решетках подгрупп конечных групп / А.Ф. Васильев, С.Ф. Каморников, В.Н. Семенчук // Бесконечные группы и примыкающие алгебраические системы / Ин-т математики Акад. Украины; редкол.: Н.С. Черников [и др.]. -- Киев, 1993. -- С. 27--54.

3. Васильев, А.Ф. О влиянии примарных

-субнормальных подгрупп на строение группы / А.Ф. Васильев // Вопросы алгебры: межведомств. сб. / Мин-во обр. и науки Республики Беларусь, Гомельский гос. ун-т им. Ф. Скорины; редкол.: Л.А. Шеметков [и др.]. -- Гомель, 1995. -- Вып. 8. -- С. 31--39.

4. Васильева, Т.И. О конечных группах с

-достижимыми силовскими подгруппами / Т.И. Васильева, А.И. Прокопенко. -- Гомель, 2006. -- 18 с. -- (Препринт / Гомельский гос. ун-т им. Ф. Скорины; № 4).

5. Ведерников, В.А. О локальных формациях конечных групп / В.А. Ведерников // Матем. заметки. -- 1989. -- Т. 46, № 3. -- С. 32--37.

6. Казарин, Л.С. Признаки непростоты факторизуемых групп / Л.С. Казарин // Известия АН СССР. -- 1980. -- Т. 44, № 2. -- С. 288--308.