位数g (元の数)の群G の既約表現α のユニタリー表現行列D(α) の行列要素をD(α)ij(G)と書くと、その間には以下の直交関係がある。 ここで和記号はGのすべての元についての和を意味する。dαは表現行列の次元である。これを表現行列についての大直交性定理と呼ぶ。大直交性定理はシューアの補題から導かれる。
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).