There are at least two statements known as Schur's lemma.
1. The endomorphism ring of an irreducible module is a division algebra.
2. Let 
,
be irreducible (linear) G-spaces
and 
a G-linear
map. Then 
is either invertible or 
(Hsiang 2000, p. 3).
