Sea R un anillo conmutativo, que A sea un R-álgebra, y que M sea un A-módulo. Si M es simple, entonces EndA−mod(M) es un anillo de división.
Un uso común es cuando R son los números complejos C, y M es tal que End${A-mod}(M)esfinitodimensional.LuegoEnd{A-mod}(M) = \mathbb{C}$.
¿Bajo qué circunstancias (con respecto a R y/o A) es cierto lo contrario, que el anillo de endomorfismo siendo un anillo de división, o siendo solo R en sí mismo, implica que M es simple?
