## [Módulo](/es/node/59175) Definición 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 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 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 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 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 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 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 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 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.