Schur’s lemma
Schur’s lemma is a fundamental result in representation theory,an elementary observation about irreducible modules, which is nonethelessnoteworthy because of its profound applications.
Lemma (Schur’s lemma).
Let be a finite group and let and be irreducible
-modules. Then, every -module homomorphism
iseither invertible
or the trivial zero map
.
Proof.
Note that both the kernel, , and the image, , are -submodules of and, respectively. Since is irreducible, is eithertrivial or all of . In the former case, is all of — also because is irreducible — and hence is invertible. Inthe latter case, is the zero map.∎
One of the most important consequences of Schur’s lemma is the following.
Corollary.
Let be a finite-dimensional, irreducible -module taken overan algebraically closed field. Then, every -module homomorphism is equal to a scalar multiplication.
Proof.
Since the ground field is algebraically closed, the lineartransformation has an eigenvalue
; call it .By definition, is not invertible, and hence equal tozero by Schur’s lemma. In other words, , a scalar.∎