Конечные группы с заданными системами слабо нормальных подгрупп

Министерство образования Республики Беларусь

Учреждение образования

«Гомельский государственный университет им. Ф. Скорины»

Математический факультет

Кафедра ТВ и матстатистики

Курсовая работа

КОНЕЧНЫЕ ГРУППЫ С ЗАДАННЫМИ СИСТЕМАМИ СЛАБО НОРМАЛЬНЫХ ПОДГРУПП

Исполнитель:

Студент группы М-32 Макарченко А.Ю.

Научный руководитель:

Канд. физ-мат. наук, доцент Малинковский М.Т.

Гомель 2007

Содержание

ПЕРЕЧЕНЬ УСЛОВНЫХ ОБОЗНАЧЕНИЙ

ВВЕДЕНИЕ

1. Определение и общие свойства слабо нормальных подгрупп

2. Конечные группы со слабо нормальными подгруппами

ЗАКЛЮЧЕНИЕ

ЛИТЕРАТУРА

Перечень условных обозначений

В работе все рассматриваемые группы предполагаются конечными.

Будем различать знак включения множеств и знак строгого включения ;

и - соответственно знаки пересечения и объединения множеств;

- пустое множество;

- множество всех для которых выполняется условие ;

- множество всех натуральных чисел;

- множество всех простых чисел;

- некоторое множество простых чисел, т.е. ;

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

примарное число - любое число вида ;

Пусть - группа. Тогда:

- порядок группы ;

- порядок элемента группы ;

- единичный элемент и единичная подгруппа группы ;

- множество всех простых делителей порядка группы ;

- множество всех различных простых делителей натурального числа ;

-группа - группа , для которой ;

-группа - группа , для которой ;

- подгруппа Фраттини группы , т.е. пересечение всех максимальных подгрупп группы ;

- подгруппа Фиттинга группы , т.е. произведение всех нормальных нильпотентных подгрупп группы ;

- наибольшая нормальная -нильпотентная подгруппа группы ;

- коммутант группы , т.е. подгруппа, порожденная коммутаторами всех элементов группы ;

- -ый коммутант группы ;

- наибольшая нормальная -подгруппа группы ;

- -холловская подгруппа группы ;

- силовская -подгруппа группы ;

- дополнение к силовской -подгруппе в группе , т.е. -холловская подгруппа группы ;

- группа всех автоморфизмов группы ;

- является подгруппой группы ;

- является собственной подгруппой группы ;

- является максимальной подгруппой группы ;

нетривиальная подгруппа - неединичная собственная подгруппа;

- является нормальной подгруппой группы ;

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

- индекс подгруппы в группе ;

;

- централизатор подгруппы в группе ;

- нормализатор подгруппы в группе ;

- центр группы ;

- циклическая группа порядка ;

- ядро подгруппы в группе , т.е. пересечение всех подгрупп, сопряжённых с в .

Если и - подгруппы группы , то:

- прямое произведение подгрупп и ;

- полупрямое произведение нормальной подгруппы и подгруппы ;

- и изоморфны.

Группа называется:

примарной, если ;

бипримарной, если .

Скобки применяются для обозначения подгрупп, порождённых некоторым множеством элементов или подгрупп.

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

, где .

Группу называют:

-замкнутой, если силовская -подгруппа группы нормальна в ;

-нильпотентной, если -холловская подгруппа группы нормальна в ;

-разрешимой, если существует нормальный ряд, факторы которого либо -группы, либо -группы;

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

нильпотентной, если все ее силовские подгруппы нормальны;

метанильпотентной, если существует нормальная нильпотентная подгруппа группы такая, что нильпотентна.

разрешимой, если существует номер такой, что ;

сверхразрешимой, если она обладает главным рядом, все индексы которого являются простыми числами.

Группа Шмидта - это конечная ненильпотентная группа, все собственные группы которой нильпотентны.

Добавлением к подгруппе группы называется такая подгруппа из , что .

Минимальная нормальная подгруппа группы - неединичная нормальная подгруппа группы , не содержащая собственных неединичных нормальных подгрупп группы .

Цоколь группы - произведение всех минимальных нормальных подгрупп группы .

- цоколь группы .

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

- класс всех групп;

- класс всех абелевых групп;

- класс всех нильпотентных групп;

- класс всех разрешимых групп;

- класс всех -групп;

- класс всех сверхразрешимых групп;

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

Пусть - некоторый класс групп и - группа, тогда:

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

Внимание, отключите Adblock

Вы посетили наш сайт со включенным блокировщиком рекламы!
Ссылка для скачивания станет доступной сразу после отключения Adblock!

Скачать