Concretamente, si el anillo de endomorfismos del módulo "M" es local, entonces "M" es no-descomponible; y al revés, si el módulo "M" tiene