En álgebra , dados un módulo y un submódulo , se puede construir su módulo cociente . [1] [2] Esta construcción, descrita a continuación, es muy similar a la de un espacio vectorial cociente . [3] Se diferencia de las construcciones cocientes análogas de anillos y grupos por el hecho de que en estos casos, el subespacio que se utiliza para definir el cociente no es de la misma naturaleza que el espacio ambiente (es decir, un anillo cociente es el cociente de un anillo por un ideal , no un subanillo , y un grupo cociente es el cociente de un grupo por un subgrupo normal , no por un subgrupo general ).
Dado un módulo A sobre un anillo R , y un submódulo B de A , el espacio cociente A / B está definido por la relación de equivalencia
para cualquier a, b en A. [4] Los elementos de A / B son las clases de equivalencia . La función que envía a en A a su clase de equivalencia a + B se llama mapa cociente o mapa de proyección , y es un homomorfismo de módulo .
La operación de adición de A / B se define para dos clases de equivalencia como la clase de equivalencia de la suma de dos representantes de estas clases; y la multiplicación escalar de elementos de A / B por elementos de R se define de manera similar. Nótese que se debe demostrar que estas operaciones están bien definidas . Entonces A / B se convierte en un módulo R , llamado módulo cociente . En símbolos, para todo a, b en A y r en R :
Consideremos el anillo polinomial , con coeficientes reales y el -módulo . Consideremos el submódulo
de A , es decir, el submódulo de todos los polinomios divisibles por X 2 + 1 . De ello se deduce que la relación de equivalencia determinada por este módulo será
Por lo tanto, en el módulo cociente A / B , X 2 + 1 es lo mismo que 0; por lo que se puede ver A / B como obtenido de al establecer X 2 + 1 = 0 . Este módulo cociente es isomorfo a los números complejos , vistos como un módulo sobre los números reales