Холлова подгруппа
Хо́ллова подгру́ппа (холловская подгруппа), подгруппа конечной группы, порядок которой взаимно прост с её индексом. Название связано с именем Ф. Холла, который в 1920-х гг. начал изучать такие подгруппы в конечных разрешимых группах.
В конечной π-отделимой группе существует холлова -подгруппа (холлова подгруппа, порядок которой делится только на простые числа из , а индекс взаимно прост с любым числом из ) и все холловы -подгруппы сопряжены. Конечная разрешимая группа для любого множества простых чисел обладает холловой -подгруппой. Любая -подгруппа конечной разрешимой группы содержится в холловой -подгруппе, и все холловы -подгруппы сопряжены. Любая холлова -подгруппа является силовской -подгруппой. Для нормальной холловой подгруппы конечной группы в всегда существует дополнение, т. е. такая подгруппа , что и – единичная подгруппа; все дополнения для в сопряжены. Если в группе есть нильпотентная холлова -подгруппа, то все холловы -подгруппы сопряжены и любая -подгруппа содержится в некоторой холловой -подгруппе. В общем случае холлова подгруппа не обладает такими свойствами. Например, знакопеременная группа порядка не имеет холловой -подгруппы. В есть холлова -подгруппа порядка , но подгруппа порядка не лежит ни в какой холловой. Наконец, в простой группе порядка холловы -подгруппы не сопряжены.