大直交性定理

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