Una afirmación sobre morfismos entre objetos simples (irreducibles) en categorías de módulos o representaciones: cualquier homomorfismo entre dos módulos simples es o bien cero o bien un isomorfismo; el anillo de endomorfismos de un módulo simple es un anillo de división (un cuerpo no conmutativo, si procede).

Principio

La simplicidad impone rigidez en los morfismos: las aplicaciones no nulas entre simples deben ser invertibles, y todos los endomorfismos de un objeto simple forman una división algebra que mide las simetrías internas de ese simple.

Demostración

Para representaciones complejas de un grupo finito, cualquier endomorfismo G-lineal de una representación irreducible es multiplicación por un escalar (End_G(V) ≅ C) y los entrelazadores entre irreducibles distintos son nulos; en contraste, una representación real de tipo cuaterniónico puede tener End(V) ≅ H.

Aplicación incorrecta

Aplicar el lema de Schur a módulos reducibles o descomponibles (esperando que los endomorfismos sean escalares) causa errores; igualmente, asumir que el anillo de endomorfismos es siempre el cuerpo base sin comprobar el cierre algebraico o la característica es incorrecto.

Consecuencia

El lema de Schur fundamenta recuentos de multiplicidad, relaciones de ortogonalidad de caracteres y la clasificación de componentes simples de álgebras semisimples; identifica cuándo los operadores entrelazadores son triviales y cuándo la simetría interna se amplía a una álgebra de división no conmutativa.

Inversión

Cuando los objetos no son simples, los anillos de endomorfismos pueden ser grandes anillos no divisionales, y los morfismos no nulos entre indecomponibles no tienen por qué ser isomorfismos, lo que da lugar a clases de extensión y descomposición en bloques.

Límite

Requiere que los objetos sean simples en una categoría abeliana o de módulos y que los morfismos se consideren en esa categoría; no afirma nada para objetos reducibles ni para categorías sin núcleos/cocientes.

Tensión semántica

El lema de Schur a veces se confunde con resultados de existencia como el teorema de Maschke: Maschke garantiza la existencia de objetos simples y descomposiciones, mientras Schur controla los morfismos entre dichos simples; la tensión es entre existencia y rigidez.

Síntesis

El lema de Schur sintetiza la rigidez de los objetos simples mostrando que los entrelazadores no nulos son invertibles y que los endomorfismos forman un anillo de división; estas propiedades restringen multiplicidades y simetrías en las descomposiciones representacionales.