конечная p-группа

Теорема. Пусть — конечная -группа, тогда

• P — нильпотентна.
• .
• Для любого в существует нормальная подгруппа порядка .
• Если нормальна в , то .
• .
• .