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

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

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

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

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

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

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

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

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

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

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

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

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

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

;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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