Assertion concernant les morphismes entre objets simples (irréductibles) dans des catégories de modules ou de représentations : tout homomorphisme entre deux modules simples est soit nul soit un isomorphisme ; l'anneau des endomorphismes d'un module simple est un corps gauche (une algèbre divisionnelle).

Principe

La simplicité impose une rigidité des morphismes : les applications non nulles entre simples sont inversibles, et tous les endomorphismes d'un objet simple forment une algèbre de division qui mesure les symétries internes de ce simple.

Démonstration

Pour les représentations complexes d'un groupe fini, tout endomorphisme G-linéaire d'une représentation irréductible est une multiplication par un scalaire, donc End_G(V) ≅ C et les entrelacements entre irréductibles distincts sont nuls ; en contraste, une représentation réelle quaternionienne peut avoir End(V) ≅ H (les quaternions) comme algèbre de division.

Mauvaise application

Appliquer le lemme de Schur à des modules réductibles ou décomposables (en s'attendant à ce que les endomorphismes soient des scalaires) conduit à des erreurs ; de même, supposer que l'anneau des endomorphismes est le corps de base sans vérifier l'algébriquement clos ou la caractéristique est incorrect.

Conséquence

Le lemme de Schur sous-tend le décompte des multiplicités, les relations d'orthogonalité des caractères et la classification des composantes simples des algèbres semi-simples ; il identifie quand les opérateurs d'entrelacement sont triviaux et quand la symétrie interne s'élargit en une algèbre de division non commutative.

Inversion

Quand les objets ne sont pas simples, les anneaux d'endomorphismes peuvent être de grands anneaux non divisionnels, et les morphismes non nuls entre indécomposables ne sont pas forcément des isomorphismes, donnant lieu à des classes d'extensions et à la décomposition en blocs.

Limite

Exige que les objets soient simples dans une catégorie abélienne ou de modules et que les morphismes soient considérés dans cette catégorie ; il n'affirme rien pour les objets réductibles ni pour des catégories dépourvues de noyaux/cocoeurs.

Tension sémantique

Le lemme de Schur est parfois confondu avec des résultats d'existence comme le théorème de Maschke : Maschke garantit l'existence d'objets simples et des décompositions abondantes, tandis que Schur contrôle les morphismes entre ces simples ; la tension porte sur l'existence versus la rigidité.

Synthèse

Le lemme de Schur met en lumière la rigidité des objets simples en montrant que les entrelacements non nuls sont inversibles et que les endomorphismes forment une algèbre de division ; ces faits restreignent les multiplicités et la symétrie dans les décompositions en représentation.