Конечные просто приводимые группы разрешимы

Конечная группа $G$ называется просто приводимой (кратко – $SR$-группой), если она обладает следующими двумя свойствами: любой элемент этой группы сопряжен со своим обратным; тензорное произведение любых двух неприводимых представлений разлагается в сумму неприводимых представлений группы $G$ с кратностями, не превосходящими единицы. Доказано, что конечные $SR$-группы разрешимы.
Библиография: 13 названий.