Teoría de Anillos

Universidad del Cauca

Yesica Alexandra Sanchez  Jesús Daniel Cadena

El Tercer Teorema de Isomorsmo de Anillos

Sean I y J ideales de R con I ⊆ J entonces JI es un ideal de RI
y (RI)(JI) ∼ = RI
Demostración
I es un ideal de R y I ⊆ J entonces I es un ideal de J
denamos

φ : RI −→ RJ

x + I 7−→ x + J

para todo x + I ∈ RI

1. mostremos que φ está bien denida

x+I =y+I

(x − y) + I = I
para x + I, y + I ∈ RI
Esto signica que
x−y ∈I

por hipotesis tenemos que I ⊆ J

así

1
 x−y ∈J

luego

(x − y) + J = J

x+J =y+J

φ(x + I) = φ(y + I)

2. mostremos que φ es un homomorsmo de anillos

a)

φ((x + I) + (y + I)) = φ((x + y) + I)

= (x + y) + J

=x+J +y+J

= φ(x + I) + φ(y + I)

b)

φ((x + I)(y + I)) = φ(xy + I)

= xy + J

= (x + J)(y + J)

= φ(x + I)φ(y + I)

3. Miremos si φ es sobreyectiva
Todo elemento de RJ es de la forma x + J para algún x ∈ R
tenemos que: x + J = φ(x + I) Para x + I ∈ RI
Por tanto φ es sobreyectiva.

2
 4.

Ker[φ] = {x ∈ I : φ(x + I) = J}

= {X + I ∈ RI : x + J = J}

= {x + I ∈ RI : x ∈ J}

= JI

Dado que el Kernel de un homomorsmo de anillos es un ideal tenemos que JI es

un ideal de RI

Luego por le primer teorema del isomorsmo de anillos tenemos que

(RI)(JI) ∼
= RI