Una estructura algebraica consistente en un grupo abeliano (M, +) junto con una acción de un anillo R (no necesariamente conmutativo ni un cuerpo) sobre M que es distributiva y asociativa respecto de la multiplicación del anillo y respeta la identidad del anillo si existe; los módulos generalizan los espacios vectoriales permitiendo escalares de anillos.

Principio

Reemplazar el campo de escalares por un anillo relaja la invertibilidad de los escalares y permite comportamientos algebraicos más ricos y a menudo más sutiles (extensiones, torsión, módulos no libres) mientras se mantienen operaciones tipo combinaciones lineales.

Demostración

Los Z-módulos son exactamente los grupos abelianos (los enteros actúan por suma repetida o sustracción); R^n como R-módulo es el módulo libre estándar de rango n; los módulos sobre un PID tienen teoremas de estructura que describen la descomposición en partes cíclicas.

Aplicación incorrecta

Suponer que todo módulo tiene una base como los espacios vectoriales puede fallar: los módulos sobre anillos generales no tienen por qué ser libres, y nociones como dimensión pueden no existir o no ser únicas.

Consecuencia

La teoría de módulos extiende técnicas de álgebra lineal a contextos de anillos: se estudian submódulos, homomorfismos, sucesiones exactas, elementos de torsión, módulos proyectivos e inyectivos, permitiendo problemas de clasificación en álgebra y geometría.

Inversión

Si el anillo es un cuerpo, un módulo es un espacio vectorial y recupera propiedades como la existencia de bases y dimensión bien definida; eliminar la acción escalar reduce a un grupo abeliano.

Límite

Se aplica cuando los escalares provienen de un anillo especificado; excluye estructura adicional como topología o producto interior salvo que se añada; difiere fundamentalmente de los espacios vectoriales cuando el anillo contiene no unidades o divisores de cero.

Tensión semántica

Cercano al 'espacio vectorial' pero la tensión surge sobre la libertad y las bases: distinciones importantes entre módulos libres, proyectivos, con torsión o divisibles configuran su clasificación y uso.

Síntesis

Un módulo es un grupo abeliano con una acción compatible de un anillo, generalizando los espacios vectoriales al relajar la invertibilidad de los escalares e introduciendo fenómenos (torsión, no libertad) centrales en el álgebra moderna.