π-разрешимая группа
π-разреши́мая гру́ппа, обобщение понятия разрешимой группы. Пусть – некоторое множество простых чисел. Конечная группа, каждый индекс композиционного ряда которой либо не делится ни на одно число из , либо совпадает с некоторым числом из , называется -разрешимой группой. Основные свойства -разрешимых групп подобны свойствам разрешимых групп. -разрешимая группа является -разрешимой группой для любого ; подгруппы, факторгруппы и расширения -разрешимой группы с помощью -разрешимой группы также являются -разрешимыми группами. В -разрешимой группе каждая -подгруппа (т. е. подгруппа, все простые делители порядка которой принадлежат ) содержится в некоторой холловской -подгруппе (-подгруппа называется холловской, если её индекс в группе не делится ни на одно число из ), а каждая -подгруппа (где – множество, дополняющее в множестве всех простых чисел) – в некоторой холловской -подгруппе; все холловские -подгруппы, а также холловские -подгруппы сопряжены в ; индекс максимальной подгруппы группы либо не делится ни на одно число из , либо равен степени одного из чисел множества (см. Чунихин. 1964). Число холловских -подгрупп в равно , где для каждого , делящего порядок группы , причём делит порядок одного из главных факторов группы (см. Brauer. 1968).