#群論の知識

#大直交性定理 (Schur orthogonality relations)
https://ja.wikipedia.org/wiki/...

#群 G の #既約表現 α の
#ユニタリ表現 行列 D^(α) の
行列要素 D^(α)_ij (G) について
その間に成り立つ直交関係のこと.

#シューアの補題 から導かれる.

#群論の知識

#シューアの補題 (Schur's lemma)
https://ja.wikipedia.org/wiki/...
#群 の #表現論 で基本的かつ有用な定理.

下記ページの説明が簡潔.
https://ja.wikibooks.org/wiki/...

Schurの補題:
φ : G → GL(V)
ψ : G → GL(W)
を #既約表現 とすると，
G #準同型
f: V → W
は零写像か #同型 写像.