Resultado en teoría de representaciones y teoría de módulos: todo homomorfismo entre módulos simples es o bien nulo o bien un isomorfismo; equivalentemente, el anillo de endomorfismos de un módulo simple es una álgebra de división, y sobre cuerpos algebraicamente cerrados esa álgebra de endomorfismos es simplemente el campo (escalares).

Principio

La simplicidad impone rigidez: los objetos simples (irreducibles) no admiten subobjetos propios no triviales, por lo que cualquier morfismo no nulo entre simples debe ser invertible y los endomorfismos forman una álgebra de división, restringiendo los entrelazadores entre representaciones irreducibles.

Demostración

Ejemplo: para representaciones irreducibles de dimensión finita de un grupo o álgebra sobre C, el lema de Schur implica que cualquier entrelazador es multiplicación por un escalar; concretamente, un endomorfismo que conmuta con la acción de la representación es una matriz escalar por irreducibilidad.

Aplicación incorrecta

Suponer que el lema de Schur da endomorfismos escalares sobre cuerpos no algebraicamente cerrados (donde la álgebra de endomorfismos puede ser una álgebra de división no trivial), o aplicarlo a módulos reducibles donde existen muchos endomorfismos no invertibles.

Consecuencia

Proporciona una herramienta poderosa para clasificar entrelazadores y multiplicidades: para irreducibles sobre cuerpos algebraicamente cerrados los espacios de multiplicidad se descomponen claramente y los elementos centrales actúan por escalares, simplificando descomposiciones y cálculos de caracteres.

Inversión

Para módulos semisimples pero reducibles o sumas directas de simples, el álgebra de endomorfismos se convierte en un álgebra de matrices en lugar de una álgebra de división, mostrando muchos endomorfismos no nulos y no invertibles y entrelazadores entre sumandos simples isomorfos.

Límite

Se aplica a módulos o representaciones simples (irreducibles) y a los anillos en consideración; las conclusiones sobre endomorfismos escalares requieren que el cuerpo base sea algebraicamente cerrado o hipotesis adicionales sobre el álgebra de división de endomorfismos.

Tensión semántica

Tensión con la teoría general de homomorfismos de módulos: el lema de Schur afirma una simplicidad extrema para los irreducibles, mientras que en contextos más amplios (módulos indecomponibles pero no simples, o sobre cuerpos no cerrados) las álgebras de endomorfismos pueden ser más ricas y complicar la interpretación de multiplicidades.

Síntesis

El lema de Schur afirma que la simplicidad colapsa las posibilidades de morfismos: los mapas no nulos entre módulos simples son isomorfismos y los endomorfismos de un simple forman una álgebra de división, que se especializa a operadores escalares sobre cuerpos algebraicamente cerrados, piedra angular de la teoría de representaciones.