大直交性定理
位数"g" (元の数)の群"G" の既約表現"α" のユニタリー表現行列"D(α)" の行列要素を"D(α)ij(G)"と書くと、その間には以下の直交関係がある。
ここで和記号は"G"のすべての元についての和を意味する。"dα"は表現行列の次元である。これを表現行列についての大直交性定理と呼ぶ。大直交性定理はシューアの補題から導かれる。