С помощью формул (31) можно получить только каноническое разложение представления. В общем случае, надо воспользоваться матрицами неприводимых представлений, которые позволяют построить соответствующие операторы проектирования.

Теорема 2. Пусть - матричные элементы неприводимого представления Tr(g) группы G. Оператор вида

(33)

является оператором проектирования и называется оператором Вигнера. В выражении (33) mr – размерность представления Tr(g).