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