Определение 5. Каноническим разложением представления Т(g) называется его разложение вида Т(g)=n1T1(g)+ n2T2(g)+…+ ntTt(g), в котором эквивалентные неприводимые представления Тi(g) объединены вместе, причем ni – кратность вхождения неприводимого представления Ti(g) в разложение T(g).

Теорема 1. Каноническое разложение представления определяется с помощью проекционного оператора вида

, i=1, 2, …, t, (31)

где |G| - порядок группы G; mi – степени представлений Ti(g), где i=1, 2, …, t; ci(g), i=1, 2, …, t – характеры неприводимых представлений Ti(g). При этом mi определяется по формуле

. (32)