Описание конечных групп с плотной системой F-субнормальных подгрупп для формации F p-нильпотентных

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

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

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

им. Ф. Скорины»

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

Кафедра алгебры и геометрии

Описание конечных групп с плотной системой -субнормальных подгрупп для формации -нильпотентных групп

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

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

Студентка группы М-31

____________ Бондаренко А.Ю.

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

Канд. физ-мат. наук, доцент

____________ Скиба М.Т.

Гомель 2005

Содержание

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

Введение

Описание конечных групп с плотной системой-субнормальных подгрупп для формации -нильпотентных групп

Заключение

Литература

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

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

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

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

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

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

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

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

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

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

--- множество всех целых положительных чисел.

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

Запись означает, что предшествует в упорядочении , .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

;

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

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

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

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

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

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

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

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

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

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

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

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

Группу называют --нильпотентной, если .

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

Цепь --- это совокупность вложенных друг в друга подгрупп. Ряд подгрупп --- это цепь, состоящая из конечного числа членов и проходящая через единицу. Цепь называется -цепью (с индексами ); если при этом является максимальной подгруппой в для любого , то указанная цепь называется максимальной -цепью.

Ряд подгрупп называется:

субнормальным, если для любого ;

нормальным, если для любого .

Нормальный ряд называется главным, если является минимальной нормальной подгруппой в для всех .

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

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

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

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

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

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

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

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

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

Формация называется насыщенной, если всегда из следует, что и . Класс групп называется наследственным или -замкнутым, если из того, что , следует, что и каждая подгруппа группы также принадлежит .

Пусть --- некоторая непустая формация. Максимальная подгруппа группы называется:

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

-аб

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

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

Скачать