Anillo cociente

En teoría de anillos, rama del álgebra abstracta, un anillo cociente, anillo factor o anillo de residuos es el anillo que se obtiene sobre el conjunto de clases de equivalencia de un anillo respecto a una relación de equivalencia $a\sim b$ dada por $a-b\in I$ donde I es cualquier ideal bilateral cuando las operaciones en el conjunto de clases de equivalencia son inducidas por las operaciones en el anillo original.

Es importante diferenciar el concepto de anillo cociente del de anillos de cocientes, obtenidos por un proceso de localización de un anillo.

Definición formal

Dado un anillo R y un ideal bilateral de R, I. Dado que la estructura aditiva de R es de grupo abeliano, el conjunto ${\bar {R}}=R/I$ de clases laterales aditivas $a+I$ (con $a\in R$ ) adquiere la estructura de grupo abeliano (bajo la operación grupo cociente) mediante la suma de clases laterales definida como:

$(a+I)+(b+I):=(a+b)+I$ .

Este grupo abeliano adquiere estructura de anillo si adicionalmente se define el producto de clases laterales como

$(a+I)(b+I):=(ab)+I$ .

Se establece que el producto está unívocamente determinado, no depende de la elección de los representantes de cada clase.[1]

A la estructura de anillo obtenida en $R/I$ mediante este proceso se le denomina anillo cociente de R entre I.[2]

Teoremas de isomorfismo

Sea $f:R\to R'$ es un homomorfismo de anillos cuyo kernel es el ideal $I$ y sea $J$ es un ideal contenido en $I$ . Denotando por ${\bar {R}}$ al anillo de residuos $R/J$ entonces:

Existe un único homomorfismo ${\bar {f}}:{\bar {R}}\to R$ tal que ${\bar {f}}\pi =f$ donde $\pi$ es la proyección canónica de $R$ en ${\bar {R}}$ .

Si $J=I$ entonces ${\bar {R}}$ es un anillo isomorfo a la imagen de $f$ .

Referencias

Álgebra Moderna, ediciones Schaumm
Artin, Michael (1991). «10. Rings». Algebra (en inglés). Upper Saddle, New Jersey: Prentice Hall. pp. 359-360. ISBN 0130047635. Consultado el 30 de noviembre de 2012. (requiere registro).

Enlaces externos

Hazewinkel, Michiel, ed. (2001), «Quotient ring», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104.
Ideals and factor rings Archivado el 30 de junio de 2020 en Wayback Machine. from John Beachy's Abstract Algebra Online
Quotient ring en PlanetMath.

Datos: Q619436

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.

[1] Álgebra Moderna, ediciones Schaumm

[2] Artin, Michael (1991). «10. Rings». Algebra (en inglés). Upper Saddle, New Jersey: Prentice Hall. pp. 359-360. ISBN 0130047635. Consultado el 30 de noviembre de 2012. (requiere registro).