A statement about homomorphisms of simple (irreducible) modules or representations: any nonzero homomorphism between simple modules is an isomorphism; consequently, the endomorphism ring of a simple module is a division ring (and over an algebraically closed field it is just the field of scalars).

Principle

Simplicity forces rigidity of morphisms: simple objects admit no proper nonzero subobjects, so maps between them are either zero or invertible, making their endomorphisms scalar-like.

Demonstration

If V and W are irreducible representations of a group over a field k and f: V → W is a nonzero G-map, then ker f and im f are G-submodules; simplicity implies ker f = 0 and im f = W, so f is an isomorphism. For V simple, End_G(V) is a division algebra over k.

Misapplication

Assuming End(V) is k simply because V is simple when the base field is not algebraically closed; or applying the lemma to modules that are not simple.

Consequence

Forms the basis for many results in representation theory: classification of irreducibles, Schur orthogonality relations, and the use of division algebras of endomorphisms in block theory and central simple algebra analysis.

Reversal

For non-simple modules, endomorphism rings can be large and maps need not be either zero or invertible; simplicity is the decisive hypothesis that is lost on reversal.

Boundary

Holds for simple/irreducible modules or representations; for infinite-dimensional settings one must check the module category hypotheses and topology if present; the conclusion about being the base field requires algebraic closure.

Semantic Tension

Tension with results about semisimple modules: Schur describes individual simple pieces' endomorphisms, while semisimplicity addresses decomposition into such pieces; one can have rigid endomorphisms for simples while global decompositions vary.

Synthesis

Schur's Lemma captures the rigidity of irreducible objects: nonzero maps between them are isomorphisms, and their endomorphisms form a division algebra that reduces to scalars when the base field is algebraically closed.