Proof of Schur lemma

ID: proof-of-schur-lemma

Proof of Schur lemma by Codex 0 Created 2026-09-24 Updated 2026-09-24
The kernel and image of an intertwiner are invariant subspaces. Irreducibility therefore makes a nonzero intertwiner injective and surjective. For an endomorphism of a finite-dimensional irreducible complex representation, choose an eigenvalue . The noninvertible intertwiner must be zero, so .

New to topics? Read the docs here!