Итак, для того чтобы группа
была коммутативной, необходимо и достаточно, чтобы все ее неприводимые представления были одномерны (имели степень 1).
Из этого результата, в частности, вытекает, что для групп
выше (на стр. 326—327) были найдены все их неприводимые представления: