Funcion Modulo.

Definición alternativa como representaciones
Si M es un R-módulo izquierdo, entonces la acción de un elemento r en R se define como la función M → M que envía cada x al rx (o al xr en el caso de un módulo derecho), y es necesariamente un endomorfismo de grupo del grupo abeliano (M, +). El conjunto de todos los endomorfismos de grupo de M es denotado End_Z(M) y forma un anillo bajo la adición y composición, y enviando un elemento r del anillo R a su acción define realmente un homomorfismo de anillo de R a End_Z(M).
Tal del homorfismo R del anillo → End_Z(M) se llama una representación de R en el grupo abeliano M; una manera alternativa y equivalente de definir R-módulos izquierdos es decir que un R-módulo izquierdo es un grupo abeliano M junto con una representación de R en él.
Una representación se llama fiel si y solamente si la función R → End_Z(M) es inyectiva. En términos de módulos, esto significa que si r es un elemento de R tal que rx = 0 para todo x en M, entonces r = 0. Cada grupo abeliano es un módulo fiel sobre los números enteros o sobre una cierta aritmética modular Z/n Z.
Generalizaciones
Cualquier anillo R se puede ver como categoría preaditiva con un solo objeto. Con esta comprensión, un R-módulo izquierdo es un funtor aditivo (covariante) de R a la categoría Ab grupos abelianos. Los R-módulos derechos son funtores aditivos contravariantes. Esto sugiere que, si C es cualquier categoría preaditiva, un funtor aditivo covariante de C a Ab sea considerado un módulo izquierdo generalizado sobre C; estos funtores forman una categoría de funtores C-Mod que es la generalización natural de la categoría de módulos R-Mod.
Los módulos sobre anillos conmutativos se pueden generalizar en una dirección distinta: tome un espacio anillado (X, O_X) y considere los haces de O_X-módulos. Éstos forman una categoría O_X-Mod. Si X tiene solamente un punto, entonces esto es una categoría de módulo en el viejo sentido sobre el anillo conmutativo O_X(X).