シューアの補題
上記主張の系として次の定理が得られる。
定理 ― k が代数的閉体であるとき、(V, ρ) を G の既約表現とすると、任意の g ∈ G に対し ρ(g) と可換な自己準同型 f は λid (λ∈k) の形となる。