Una estructura M dotada de una operación aditiva que forma un grupo abeliano y una acción de un anillo R (multiplicación por escalares) compatible con la multiplicación y suma del anillo: r·(m+n) = r·m + r·n, (r+s)·m = r·m + s·m, y (rs)·m = r·(s·m).

Principio

Generalizar los espacios vectoriales permitiendo que los escalares provengan de un anillo cualquiera en lugar de un cuerpo, preservando las propiedades de distributividad y asociatividad entre escalares y elementos del módulo.

Demostración

Todo grupo abeliano es un Z-módulo mediante la multiplicación por enteros; R^n sobre un anillo R es un R-módulo; los módulos sobre anillos de polinomios aparecen naturalmente como módulos de coeficientes en recurrencias lineales.

Aplicación incorrecta

Suponer que todo módulo tiene una base y una dimensión finita bien definida como en los espacios vectoriales, o tratar módulos sobre anillos no PID como si siempre se descompusieran en sumas directas de componentes cíclicas.

Consecuencia

Los módulos extienden técnicas de álgebra lineal a entornos sin división, habilitando álgebra homológica, resoluciones y una teoría de clasificación rica que depende fuertemente de las propiedades del anillo base.

Inversión

Volver a exigir que los escalares formen un cuerpo recupera el concepto de espacio vectorial; muchos teoremas se simplifican entonces porque la división escalar está disponible.

Límite

Los escalares deben provenir de un anillo; los módulos no tienen por qué ser libres, finitamente generados o proyectivos. Excluye acciones por estructuras que no cumplan los axiomas de anillo salvo que se adapte la definición.

Tensión semántica

Tensión entre ver módulos como representaciones de un anillo y como generalizaciones de grupos abelianos; las propiedades dependen en gran medida de si el anillo base es conmutativo, PID o no conmutativo.

Síntesis

Un módulo es un grupo aditivo abeliano provisto de multiplicación escalar compatible por un anillo, una generalización flexible del espacio vectorial que soporta métodos algebraicos y homológicos ajustados al anillo base.