Система подгрупп
Систе́ма подгру́пп, множество подгрупп группы , удовлетворяющее условиям: 1) содержит единичную подгруппу 1 и саму группу ; 2) линейно упорядочено по вложению, т. е. для всяких из либо , либо . Говорят, что подгруппы из составляют скачок, если непосредственно следует за в . Система подгрупп, замкнутая относительно объединений и пересечений, называется полной. Полная система подгрупп называется субнормальной, если для всякого скачка , этой системы является нормальной подгруппой в . Факторгруппы называются факторами системы . Система подгрупп, все члены которой суть нормальные подгруппы группы , называется нормальной. В случае, когда одна субнормальная система содержит (в теоретико-множественном смысле) другую, первую из них называют уплотнением второй. Нормальная система подгрупп называется центральной, если все её факторы центральны, т. е. содержится в центре для всякого скачка , . Субнормальная система подгрупп называется разрешимой, если все её факторы абелевы.
Наличие в группе тех или иных систем подгрупп выделяет в классе всех групп различные подклассы, наиболее употребительны из которых , , , , , , , , , , , – классы Куроша – Черникова:
-группа – обладает разрешимой субнормальной системой подгрупп;
-группа – обладает разрешимой субнормальной системой подгрупп, вполне упорядоченной по возрастанию;
-группа – всякую субнормальную систему подгрупп этой группы можно уплотнить до разрешимой субнормальной;
-группа – обладает разрешимой нормальной системой подгрупп;
-группа – обладает разрешимой нормальной системой подгрупп, вполне упорядоченной по возрастанию;
-группа – всякую нормальную систему подгрупп этой группы можно уплотнить до разрешимой нормальной;
-rруппа – обладает центральной системой подгрупп;
-группа – обладает центральной системой подгрупп, вполне упорядоченной по возрастанию;
Z D-группа – обладает центральной системой подгрупп, вполне упорядоченной по убыванию;
-группа – всякую нормальную систему подгрупп такой группы можно уплотнить до центральной;
-группа – через всякую подгруппу такой группы проходит субнормальная система подгрупп;
-группа – через всякую подгруппу такой группы проходит субнормальная система подгрупп, вполне упорядоченная по возрастанию.
Частный случай системы подгрупп – ряды подгрупп.