UNIVERSIDAD DE PANAMA

CENTRO REGIONAL UNIVERSITARIO DE LOS SANTOS

FACULTAD DE CIENCIAS NATURALES, EXACTAS Y
TEGNOLOGIA
ESCUELA DE MATEMATICAS

TRABAJO DE ALGEBRA II
ANILLO COCIENTE

PRESENTADO POR:
GARCIA JUAN
FUNG MARILYN
ESPINO JOEL

PRENSENTADO A CONSIDERACION:
PROFESOR MOISES PAZ

II SEMESTRE 2018
ANILLO COCIENTE

Página 1
ANILLO COCIENTE-FERNANDO REVILLA

Página 2
Página 3
Página 4
 ANILLO COCIENTE-CLASE

Sea (𝐴, +,∙) un anillo, 𝐼, un ideal de A. Demostrar que 𝐴⁄𝐼 = {𝑎 + 𝐼: 𝑎 ∈ 𝐴} es un

anillo con las operaciones:
(𝑎 + 𝐼) + (𝑏 + 𝐼) = (𝑎 + 𝑏) + 𝐼
(𝑎 + 𝐼) ∙ (𝑏 + 𝐼) = 𝑎𝑏 + 𝐼

𝑅1 ) ¿ [(𝑎 + 𝐼) + (𝑏 + 𝐼)] + (𝑐 + 𝐼) = (𝑎 + 𝐼) + [(𝑏 + 𝐼) + (𝑐 + 𝐼)]?

[(𝑎 + 𝐼) + (𝑏 + 𝐼)] + (𝑐 + 𝐼) = [(𝑎 + 𝑏) + 𝐼] + (𝑐 + 𝐼), + en A/I
= [(𝑎 + 𝑏) + 𝑐] + 𝐼, + en A/I
= [𝑎 + (𝑏 + 𝑐)] + 𝐼, R1 en A
= (𝑎 + 𝐼) + [(𝑏 + 𝑐) + 𝐼], + en A/I
= (𝑎 + 𝐼) + [(𝑏 + 𝐼) + (𝑐 + 𝐼)], + enA/I

𝑅2 ) ¿ (0 + 𝐼) + (𝑎 + 𝐼) = 𝑎 + 𝐼?
(𝑎 + 𝐼) + (0 + 𝐼) = 𝑎 + 𝐼?

(0 + 𝐼) + (𝑎 + 𝐼) = (0 + 𝑎) + 𝐼, + en A/I
= 𝑎 + 𝐼, R2 en A

Análogamente
(𝑎 + 𝐼) + (0 + 𝐼) = (𝑎 + 0) + 𝐼, + en A/I
= 𝑎 + 𝐼, R2 en A

Página 5
𝑅3 ) ∀𝑎 + 𝐼 ∈ 𝐴⁄𝐼, ∃ (−𝑎 + 𝐼) ∈ 𝐴⁄𝐼 ∶ (𝑎 + 𝐼) + (−𝑎 + 𝐼) = (0 + 𝐼)?
(𝑎 + 𝐼) + (−𝑎 + 𝐼) = [𝑎 + (−𝑎)] + 𝐼, + en A/I
= 0 + 𝐼, R3 en A

Análogamente
(−𝑎 + 𝐼) + (𝑎 + 𝐼) = (−𝑎 + 𝑎) + 𝐼, + en A/I
= 0 + 𝐼, R3 en A

𝑅4 ) ∀𝑎 + 𝐼, 𝑏 + 𝐼 ∈ 𝐴⁄𝐼: (𝑎 + 𝐼) + (𝑏 + 𝐼) = (𝑏 + 𝐼) + (𝑎 + 𝐼)?
(𝑎 + 𝐼) + (𝑏 + 𝐼) = (𝑎 + 𝑏) + 𝐼, + en A/I
= (𝑏 + 𝑎) + 𝐼, R4 en A
= (𝑏 + 𝐼) + (𝑎 + 𝐼), + en A/I

𝑅5 ) ∀𝑎 + 𝐼, 𝑏 + 𝐼, 𝑐 + 𝐼 ∈ 𝐴⁄𝐼: (𝑎 + 𝐼)[(𝑏 + 𝐼)(𝑐 + 𝐼)] = [(𝑎 + 𝐼)(𝑏 + 𝐼)](𝑐 + 𝐼)?

(𝑎 + 𝐼)[(𝑏 + 𝐼)(𝑐 + 𝐼)] = (𝑎 + 𝐼)[(𝑏𝑐) + 𝐼], * en A/I
= 𝑎(𝑏𝑐) + 𝐼
= (𝑎𝑏)𝑐 + 𝐼

Página 6
 BIBLIOGRAFÍA

https://es.scribd.com/document/350875637/Anillo-cociente
http://cadadr.org/san-salvador/2018-algebra/5-homomorfismos.pdf
http://repositorio.uchile.cl/bitstream/handle/2250/120334/Anillos_Cuerpos.pdf?sequ
ence=1
http://euclides.us.es/da/apuntes/algebra/t5-2004-05.pdf
https://es.wikipedia.org/wiki/Homomorfismo_de_anillos
https://revilla.es/blog/2014/04/12/anillo-cociente/fernando

Página 7