Scribd
Cargar
412 vistas2 páginas

Anillo Cociente

El documento define un anillo cociente como el anillo que se obtiene al dividir un anillo R por un ideal bilateral I. Se define formalmente como el conjunto de clases laterales de R/I, donde las operaciones se heredan de R. Los teoremas de isomorfismo relacionan propiedades de R con las de R/I.

Cargado por

puan
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
412 vistas2 páginas

Anillo Cociente

El documento define un anillo cociente como el anillo que se obtiene al dividir un anillo R por un ideal bilateral I. Se define formalmente como el conjunto de clases laterales de R/I, donde las operaciones se heredan de R. Los teoremas de isomorfismo relacionan propiedades de R con las de R/I.

Cargado por

puan
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Anillo cociente

En teora de anillos, rama del lgebra abstracta, un anillo 4 Enlaces externos


cociente, anillo factor o anillo de residuos es el anillo
que se obtiene sobre el conjunto de clases de equivalen- Hazewinkel, Michiel, ed. (2001), Quotient ring,
cia de un anillo respecto a una relacin de equivalencia Encyclopaedia of Mathematics (en ingls), Springer,
a b dada por a b I donde I es cualquier ideal ISBN 978-1556080104
bilateral cuando las operaciones en el conjunto de clases
de equivalencia son inducidas por las operaciones en el Ideals and factor rings from John Beachys Abstract
anillo original. Algebra Online
Es importante diferenciar el concepto de anillo cociente Quotient ring en PlanetMath.
del de anillos de cocientes, obtenidos por un proceso de
localizacin de un anillo.

1 Denicin 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
R = R/I de clases laterales aditivas a + I (con a R )
adquiere la estructura de grupo abeliano (bajo la opera-
cin grupo cociente) mediante la suma de clases laterales
denida como:

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

Este grupo abeliano adquiere estructura de anillo si adi-


cionalmente se dene el producto de clases laterales como

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

Se establece que el producto est unvocamente de-


terminado, no depende de la eleccin de los repre-
sentantes 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]

2 Teoremas de isomorsmo

3 Referencias
[1] lgebra Moderna, ediciones Schaumm

[2] Artin, Michael (1991). 10. Rings. Algebra (en ingls).


Upper Saddle, New Jersey: Prentice Hall. pp. 359-360.
ISBN 0130047635.

1
2 5 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

5 Origen del texto y las imgenes, colaboradores y licencias


5.1 Texto
Anillo cociente Fuente: https://es.wikipedia.org/wiki/Anillo_cociente?oldid=94017306 Colaboradores: Magister Mathematicae, BOT-
Superzerocool, Jkbw, EmausBot, KLBot2, Invadibot, Acratta, X2y3 y Annimos: 4

5.2 Imgenes

5.3 Licencia del contenido


Creative Commons Attribution-Share Alike 3.0

También podría gustarte