Résultat en théorie des représentations et théorie des modules : tout homomorphisme entre modules simples est soit nul soit un isomorphisme ; de façon équivalente, l'anneau des endomorphismes d'un module simple est une algèbre divisionnaire, et sur un corps algébriquement clos cette algèbre d'endomorphismes est le corps lui‑même (les scalaires).

Principe

La simplicité impose la rigidité : un objet simple (irrédutible) n'admet pas de sous‑objets propres non triviaux, donc tout morphisme non nul entre simples doit être inversible et les endomorphismes forment une algèbre divisionnaire, ce qui contraint les entrelacements entre représentations irréductibles.

Démonstration

Exemple : pour des représentations irréductibles de dimension finie d'un groupe ou d'une algèbre sur C, le lemme de Schur implique que tout entrelaceur est une multiplication par un scalaire ; concrètement, un endomorphisme qui commute avec l'action de la représentation est une matrice scalaire par irréductibilité.

Mauvaise application

Supposer que le lemme de Schur donne des endomorphismes scalaires sur des corps non algébriquement clos (où l'algèbre d'endomorphismes peut être une algèbre divisionnaire non triviale), ou l'appliquer à des modules réductibles où existent de nombreux endomorphismes non inversibles.

Conséquence

Fournit un outil puissant pour classifier les entrelacements et les multiplicités : pour les irréductibles sur des corps algébriquement clos, les espaces de multiplicité se décomposent clairement et les éléments centraux agissent par scalaires, simplifiant les décompositions et le calcul des caractères.

Inversion

Pour des modules semi-simples mais réductibles ou pour des sommes directes de simples, l'algèbre des endomorphismes devient une algèbre de matrices plutôt qu'une algèbre divisionnaire, exhibant de nombreux endomorphismes non nuls et non inversibles et des entrelaceurs entre composantes simples isomorphes.

Limite

S'applique aux modules ou représentations simples (irrédutibles) et aux anneaux considérés en théorie des modules ; l'énoncé sur endomorphismes scalaires exige que le corps de base soit algébriquement clos ou des hypothèses supplémentaires sur l'algèbre divisionnaire des endomorphismes.

Tension sémantique

Tension avec la théorie des homomorphismes de modules en général : le lemme de Schur affirme une simplicité extrême pour les irréductibles, tandis que dans des cadres plus larges (modules indécomposables mais non simples, ou sur corps non clos) les algèbres d'endomorphismes peuvent être plus riches et compliquer l'interprétation des multiplicités.

Synthèse

Le lemme de Schur affirme que la simplicité écrase les possibilités de morphismes : les applications non nulles entre modules simples sont des isomorphismes et leurs endomorphismes forment une algèbre divisionnaire, se réduisant aux opérateurs scalaires sur corps algébriquement clos, fondement de la théorie des représentations.