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

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

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

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

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

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

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

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

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

Если

и --- классы групп, то:

.

Если

--- класс групп и --- группа, то:

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

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

Если

и --- формации, то:

--- произведение формаций;

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

Если

--- насыщенная формация, то:

--- существенная характеристика формации .

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

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

(1) каждый фактор

является главным фактором группы ;

(2) если порядок фактора

есть степень простого числа , то .

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

Введение

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

Начало исследований по факторизации конечных групп восходит к классическим работам Ф. Холла [62, 63], посвященных изучению строения разрешимых групп. Как известно, Ф. Холлом было доказано [63], что конечная разрешимая группа допускает факторизацию при помощи некоторых своих перестановочных силовских подгрупп различных порядков (составляющих так называемую силовскую базу разрешимой группы).

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

Кегель и Виландт [68, 75] установили, что конечная группа, факторизуемая двумя нильпотентными подгруппами разрешима. Теорема Кегеля --- Виландта послужила источником многочисленных обобщений и стимулировала дальнейшее развитие ряда вопросов, связанных с факторизациями конечных групп.

Cреди дальнейших исследований, посвященных факторизации групп, выделяются работы Л.С. Казарина [6, 7, 67], Л.А. Шеметкова [45, 46], В.С. Монахова [13, 14], А.Н. Скибы [12, 61], В.Н. Тютянова [38] и др.

Важную роль для дальнейшего строения факторизуемых групп оказала идея Гашюца о том [59], что внутреннее строение конечной группы удобно исследовать по отношению к некоторому фиксированному классу групп, названному Гашюцем насыщенной формацией.

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

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

Известно, что класс нильпотентных групп

замкнут относительно произведения нормальных подгрупп. В работе [64] Хоуксом была поставлена задача об описании наследственных разрешимых формаций Фиттинга, т. е. формаций , замкнутых относительно произведения нормальных -подгрупп. Брайс и Косси в работе [53] доказали, что любая разрешимая наследственная формация Фиттинга является насыщенной. Полное решение проблемы Хоукса было получено В.Н. Семенчуком в работах [27, 30].

Развивая подход Хоукса, Л.А. Шеметков предложил изучать формации

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

В теории классов конечных групп естественным обобщением понятия субнормальности является понятие

-субнормальности и -достижимости. В дальнейшем такие подгруппы будем нызывать обобщенно субнормальными.