A result in representation theory and module theory: any homomorphism between simple modules is either zero or an isomorphism; equivalently, the endomorphism ring of a simple module is a division algebra, and over algebraically closed fields this endomorphism algebra is just the field (scalars).

Principle

Simplicity forces rigidity: simple (irreducible) objects admit no nontrivial proper subobjects, so any nonzero morphism between simples must be invertible and endomorphisms form a division algebra, constraining intertwiners between irreducible representations.

Demonstration

Example: for finite-dimensional irreducible representations of a group or algebra over C, Schur's lemma implies that any intertwiner is multiplication by a scalar; concretely, an endomorphism commuting with the representation action is a scalar matrix by irreducibility.

Misapplication

Assuming Schur's lemma yields scalar endomorphisms over non algebraically closed fields (where the endomorphism algebra can be a nontrivial division algebra), or applying it to reducible modules where many noninvertible endomorphisms exist.

Consequence

Gives a powerful tool to classify intertwiners and multiplicity: for irreducibles over algebraically closed fields multiplicity spaces decompose cleanly and central elements act by scalars, simplifying decomposition and character computations.

Reversal

For semisimple but reducible modules or for direct sums of simples, the endomorphism algebra becomes a matrix algebra rather than a division algebra, exhibiting many nonzero noninvertible endomorphisms and intertwiners between isomorphic simple summands.

Boundary

Applies to simple (irreducible) modules or representations and to rings where module theory is considered; conclusions about scalar endomorphisms require the base field to be algebraically closed or additional hypotheses on the division algebra of endomorphisms.

Semantic Tension

Tension with general module homomorphism theory: Schur's lemma asserts extreme simplicity for irreducibles, while in broader settings (indecomposable but not simple modules, or over nonclosed fields) endomorphism algebras can be richer and cause ambiguity in multiplicity interpretations.

Synthesis

Schur's lemma asserts that simplicity collapses morphism possibilities: nonzero maps between simple modules are isomorphisms and the endomorphisms of a simple are divisional, specializing to scalar operators over algebraically closed fields, a cornerstone in representation theory.