位数''g'' (元の数)の群''G'' の既約表現''α'' のユニタリー表現行列''D'' の行列要素を''D<sub>ij</sub>(G)''と書くと、その間には以下の直交関係がある。:<math>\\sum_G [D_{ij}^(G)]^*D_^(G)=\\frac\\delta_\\delta_</math>ここで和記号は''G''のすべての元についての和を意味する。''d<sub>α</sub>''は表現行列の次元である。これを表現行列についての大直交性定理と呼ぶ。大直交性定理はシューアの補題から導かれる。
位数''g'' (元の数)の群''G'' の既約表現''α'' のユニタリー表現行列''D'' の行列要素を''D<sub>ij</sub>(G)''と書くと、その間には以下の直交関係がある。:<math>\\sum_G [D_{ij}^(G)]^*D_^(G)=\\frac\\delta_\\delta_</math>ここで和記号は''G''のすべての元についての和を意味する。......
