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

Текст из файла (страница 3)

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

Пусть --- собственная подгруппа группы . Покажем, что . Так как --- разрешимая группа, то согласно теореме Ф. Холла [63], , где , , где , --- некоторые элементы из . Согласно лемме 3.1.4, и --- -субнормальные подгруппы группы . Так как и , а --- наследственная формация, то и --- -субнормальные подгруппы и соответственно. Согласно лемме 3.1.4, нетрудно показать, что и --- -субнормальные подгруппы группы , а значит, согласно лемме 3.1.4 и в . Так как , то по индукции, получаем, что . А это значит, что --- минимальная не -группа.

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

Пусть --- бипримарная группа. Тогда согласно лемме 4.1.4, . Согласно лемме 4.1.1, . А это значит, что все подгруппы группы , содержащие -абнормальны, т. е. группа не представима в виде произведения собственных -субнормальных -подгрупп взаимно простых индексов. Получили противоречие. Теорема доказана.

Напомним, что формация называется 2-кратно насыщенной, если она имеет локальный экран такой, что --- насыщенная формация для любого простого числа из .

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

2.2 Теорема [18-A]. Пусть --- наследственная 2-кратно насыщенная формация. Тогда следующие утверждения эквивалентны:

1) формация содержит любую группу , где и --- -субнормальные -подгруппы из взаимно простых индексов;

2) --- формация Шеметкова;

3) формация содержит любую группу , где и --- -субнормальные -подгруппы из ;

4) .

Доказательство. Покажем, что из 1) следует 2).

Пусть --- произвольная минимальная не -группа. Рассмотрим случай, когда . Как и в теореме 4.2.1 можно показать, что либо --- группа простого порядка , где , либо , где и из . А также нетрудно показать, что --- единственная минимальная нормальная подгруппа группы . А это значит, что . Пусть --- максимальный внутренний локальный экран формации . Если , то из полноты экрана следует, что . Так как --- внутренний экран, то . А это значит, что . Противоречие. Итак, .

Покажем, что . Предположим, что это не так. Тогда в найдется неединичная собственная подгруппа . Рассмотрим подгруппу . Так как --- минимальная не -группа и --- собственная подгруппа , то . Покажем, что . Если это не так, то в существует неединичная нормальная -подгруппа . Тогда . Так как , то , что невозможно. Согласно лемме 2.2.12, . Отсюда . Так как , то . А это значит, что . Так как --- насыщенная формация, то . Следовательно, , что невозможно. Итак, , значит, --- группа Шмидта. Итак, --- группа Шмидта. По лемме 3.1.1, --- группа Шмидта.

Тот факт, что из 2) 3) следует из теоремы 2.2.19; 3) 4) следует из теоремы 2.2.10; 4) 1) следует из теоремы 2.2.10. Теорема доказана.

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

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

2.3 Пример. Пусть --- формация всех сверхразрешимых групп, а --- формация всех -групп, где , и --- различные простые числа. Рассмотрим формацию . Так как существуют минимальные не -группы, которые не являются либо группой Шмидта, либо группой простого порядка, то не является формацией Шеметкова. Так как , то согласно теореме 3.3.9, формация не является сверхрадикальной формацией.

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

Заключение

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

В главе 2 важную роль сыграл метод экстремальных классов, разработанный в работе Картера, Фишера, Хоукса [55] и метод критических групп, разработанный В.Н. Семенчуком в работе [19]. С помощью этих методов в классе конечных разрешимых групп получено описание наследственных насыщенных формаций , содержащих любую группу , где , и принадлежат и и --- -субнормальны в , теорема 2.1 .

Доказано, что любая разрешимая --- наследственная 2-кратно насыщенная формация, обладающая отмеченным выше свойством, является сверхрадикальной, теорема 2.2 .

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

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.

7. Казарин, Л.С. О произведении конечных групп / Л.С. Казарин // ДАН СССР. -- 1983. -- Т. 269, № 3. -- С. 528--531.

8. Каморников, С.Ф. О некоторых свойствах формаций квазинильпотентных групп / С.Ф. Каморников // Матем. заметки. -- 1993. -- Т. 53, № 2. -- С. 71--77.

9. Каморников, С.Ф. О двух проблемах Л.А. Шеметкова / С.Ф. Каморников // Сибир. мат. журнал. -- 1994. -- Т. 35, № 4. -- С. 801--812.

10. Коуровская тетрадь (нерешенные вопросы теории групп) // Институт математики СО АН СССР. -- Новосибирск, 1992. -- 172 с.

11. Коуровская тетрадь (нерешенные вопросы теории групп) // Институт математики СО РАН. -- Новосибирск, 1999. -- 146 с.

12. Легчекова, Е.В. Конечные группы с заданными слабо квазинормальными подгруппами / Е.В. Легчекова, А.Н. Скиба, О.В. Титов // Доклады НАН Беларуси. -- 2007. -- Т. 51, № 1. -- С. 27--33.

13. Монахов, В.С. Произведение конечных групп, близких к нильпотентным / В.С. Монахов // Конечные группы. -- 1975. -- С. 70--100.

14. Монахов, В.С. О произведении двух разрешимых групп с максимальным пересечением факторов / В.С. Монахов // Вопросы алгебры: межведомств. сб. / Мин-во высш. и ср. спец. обр. БССР, Гомельский гос. ун-т; редкол.: Л.А. Шеметков [и др.]. -- Минск: Университетское, 1985. -- Вып. 1. -- С. 54--57.

15. Мокеева, С.А. Конечные группы с перестановочными -субнормальными ( -достижимыми) подгруппами / С.А. Мокеева. -- Гомель, 2003. -- 25 с. -- (Препринт / Гомельский гос. ун-т им. Ф. Скорины; № 56).

16. Прокопенко, А.И. О конечных группах с -достижимыми силовскими подгруппами / А.И. Прокопенко // Известия Гомельского гос. ун-та им. Ф. Скорины. -- 2004. -- № 6 (27). -- С. 101--103.

17. Семенчук, В.Н. О минимальных не -группах / В.Н. Семенчук // ДАН БССР. -- 1978. -- № 7. -- С. 596--599.

18. Семенчук, В.Н. Конечные группы с заданными свойствами подгрупп / В.Н. Семенчук // ДАН БССР. -- 1979. -- № 1. -- С. 11--15.

19. Семенчук, В.Н. Минимальные не -группы / В.Н. Семенчук // Алгебра и логика. -- 1979. -- Т. 18, № 3. -- С. 348--382.

20. Семенчук, В.Н. Конечные группы с системой минимальных не -подгрупп / В.Н. Семенчук // Подгрупповое строение конечных групп: Тр. / Ин-т математики АН БССР. -- Минск: Наука и техника, 1981. -- С. 138--149.

21. Семенчук, В.Н. Минимальные не -группы / В.Н. Семенчук // Исследование нормального и подгруппового строения конечных групп: Тр. / Ин-т математики АН БССР. -- Минск: Наука и техника, 1984. -- С. 170--175.

Характеристики

Список файлов курсовой работы