Простая группа

Простая группа — группа, не имеющая нормальных подгрупп, отличных от всей группы и единичной подгруппы.

Полная классификация всех простых конечных групп была получена в 1982.

В теории бесконечных групп значение простых групп значительно меньше ввиду их необозримости.

В теории групп Ли и алгебраических групп определение простой группы несколько отличается от приведенного, см. простая группа Ли.

Примеры

• Циклическая группа $\mathbb {Z} _{p}$ простого порядка $p$.
• Простой является знакопеременная группа, т. е. группа всех чётных подстановок, каждая из которых перемещает конечное подмножество элементов множества $X$, если мощность $X$ не меньше 5. Эта группа бесконечна, если $X$ бесконечно.
• Существуют конечно порождённые и даже конечно определённые бесконечные простые группы.

Свойства

• Всякая группа вложима в простую группу.