A statement about morphisms between simple (irreducible) objects in module or representation categories: any homomorphism between two simple modules is either zero or an isomorphism; the endomorphism ring of a simple module is a division ring (a skew field).

Principle

Simplicity forces rigidity of morphisms: nonzero maps between simples must be invertible, and all endomorphisms of a simple object form a division algebra that measures internal symmetries of that simple.

Demonstration

For complex representations of a finite group, any G-linear endomorphism of an irreducible representation is scalar multiplication by Schur's Lemma, so End_G(V) ≅ C and intertwiners between distinct irreducibles vanish; in contrast, a real representation that is quaternionic can have End(V) ≅ H (the quaternions) as a division algebra.

Misapplication

Applying Schur's Lemma to reducible or decomposable modules (expecting endomorphisms to be scalars) leads to mistaken conclusions; likewise assuming the endomorphism ring is the base field without checking algebraic closure or field characteristic is incorrect.

Consequence

Schur's Lemma underlies multiplicity counts, orthogonality relations for characters, and the classification of simple components of semisimple algebras; it identifies when intertwining operators are trivial and when internal symmetry enlarges to a noncommutative division algebra.

Reversal

When objects are not simple, endomorphism rings can be large non-division rings, and nonzero homomorphisms between indecomposables need not be isomorphisms, producing extension classes and block decomposition phenomena.

Boundary

Requires the objects be simple in an abelian or module category and morphisms considered within that category; it does not assert anything for reducible objects or for categories lacking kernels/cokernels.

Semantic Tension

Schur's Lemma is sometimes conflated with existence results like Maschke's Theorem: Maschke guarantees simple objects exist and plentiful decompositions, while Schur controls morphisms between those simples; the tension is between existence and rigidity.

Synthesis

Schur's Lemma isolates the rigidity of simple objects by showing nonzero intertwiners are invertible and that endomorphisms form a division ring; together these facts constrain multiplicities and symmetry in representation-theoretic decompositions.