Определение. Группа называется конечной -группой, если она имеет порядок, равный некоторой степени простого числа. Теорема. Пусть — конечная -группа, тогда
* P — нильпотентна.
* .
* Для любого в существует нормальная подгруппа порядка .
* Если нормальна в , то .
* .
* .
Определение. Группа называется конечной -группой, если она имеет порядок, равный некоторой степени простого числа. Теорема. Пусть — конечная -группа, тогда
* P — нильпотентна.
* .
* Для любого в существует нормальная подгруппа порядка .
* Если нормальна в , то .
* .
* .