Capı́tulo 5

Homomorfismos de Anillos

Objetivos del capı́tulo

Se introduce la noción de homomorfismo de anillos estudiando sus primeras propiedades.

Se estudia la relación entre homomorfismo y subanillo apareciendo la noción de núcleo e imagen

de un homomorfismo.

Se determinan los homomorfismos inyectivos como aquellos cuyo núcleo es cero.

Se introduce la noción de anillo isomorfo y se estudian propiedades que se conservan por isomor-
fismos.

1. Primeras propiedades
Definición 1 Sean (R, +, .) y (R0 , +0 , .0 ) dos anillos. Se define un homomorfismo de R
en R0 como una aplicación f : R → R0 tal que:

f (a + b) = f (a) +0 f (b) para todo a, b ∈ R,

f (a · b) = f (a) ·0 f (b) para todo a, b ∈ R.

• Si f es inyectiva, se dice que f es un monomorfismo.

• Si f es sobreyectiva, se dice que f es un epimorfismo.
• Si f es biyectiva, se dice que f es un isomorfismo. En este caso se dice que los
anillos R y R0 son isomorfos.
• Si R = R0 , se dice que f es un endomorfismo.
• Un endomorfismo biyectivo se le denomina un automorfismo.
• Si R y R0 son dos anillos unitarios, diremos que f : R → R0 es un homomorfismos
de anillos unitarios si f (1R ) = 1R0 .

Proposición 2 Sean R y R0 dos anillos y sea a un elemento invertible de R (con inverso

a−1 ). Entonces:

• La aplicación nula, f : R → R0 definida por f (x) = 00 para todo x ∈ R es un

homomorfismo de anillos.

71
72 5.1 Primeras propiedades

• La aplicación identidad, Id : R → R definida por Id(x) = x para todo x ∈ R es un

automorfismo de anillos.
• La aplicación fa : R → R definido por fa (x) = a−1 xa es un automorfismo de R.
Llamado el automorfismo interno asociado al elemento inversible a.

Demo: (1). Veamos que la aplicación f : R → R0 definida por f (x) = 00 para todo
x ∈ R es un homomorfismo de anillos:

f (x + y) = 0 = 0 + 0 = f (x) + f (y) y f (xy) = 0 = 0 · 0 = f (x) · f (y)

(2). Veamos que la aplicación identidad es un homomorfismo de anillos:

Id(x + y) = x + y = Id(x) + Id(y) y Id(x · y) = x · y = Id(x) · Id(y)

(3). Por último demostremos que fa verifica las propiedades que tienen que verificar
los automorfismos de anillos:

fa (x + y) = a−1 (x + y)a = a−1 xa + a−1 ya = fa (x) + fa (y)

fa (x · y) = a−1 xya = a−1 x(aa−1 )ya = a−1 xaa−1 ya = fa (x) · fa (y)

Es más la aplicación inversa de fa es fa−1 en donde fa−1 (x) = (a−1 )−1 xa−1 = axa−1
ya que

fa ◦ fa−1 (x) = fa (axa−1 ) = a−1 (axa−1 )a = x

fa−1 ◦ fa (x) = fa−1 (a−1 xa) = a(a−1 xa)a−1 = x

Lo que demuestra el ejemplo. 

Veamos otro ejemplo de homomorfismo entre dos anillos en apariencia bastantes dis-
tintos.

Proposición 3 Sea X un conjunto, sea u ∈ X y sea el anillo (P(X), 4, ∩). Entonces la

aplicación f : P(X) → Z2 definida por
(
1 Si u ∈ A
f (A) =
0 Si u ∈
/A

Es un epimorfismo de anillos.

Demo: Sean A, B ⊂ X tenemos que demostrar que f se comporta ”bien” con la sum ay
con el producto de ambos anillos, es decir que

f (A4B) = f (A) + f (B)

f (A ∩ B) = f (A)f (B)

Para saber cuanto vale f en A4B tenemos que saber si u pertenece o no a A4B,
tenemos 4 posibilidades:

Si u ∈ A, u ∈ B, entonces f (A4B) = 0 y f (A) + f (B) = 1 + 1 = 0

Si u ∈ A, u ∈
/ B, entonces f (A4B) = 1 y f (A) + f (B) = 1 + 0 = 1
Capı́tulo 5. Homomorfismos de Anillos 73

Si u ∈
/ A, u ∈ B, entonces f (A4B) = 1 y f (A) + f (B) = 0 + 1 = 1

Si u ∈
/ A, u ∈
/ B, entonces f (A4B) = 0 y f (A) + f (B) = 0 + 0 = 0

Veamos ahora que sucede con el producto:

Si u ∈ A, u ∈ B, entonces f (A ∩ B) = 1 y f (A) · f (B) = 1 · 1 = 1

Si u ∈ A, u ∈
/ B, entonces f (A ∩ B) = 0 y f (A) · f (B) = 1 · 0 = 0

Si u ∈
/ A, u ∈ B, entonces f (A ∩ B) = 0 y f (A) · f (B) = 0 · 1 = 0

Si u ∈
/ A, u ∈
/ B, entonces f (A ∩ B) = 0 y f (A) · f (B) = 0 · 0 = 0

Por último, para ver que es un epimorfismo: f (∅) = 0 y f ({u}) = 1. Lo que demuestra el
ejemplo. 

Lema 4 Sean R, R0 y R00 tres anillos y sean f : R → R0 y g : R0 → R00 dos homomorfismos

de anillos. Entonces g ◦ f : R → R00 es también un homomorfismo de anillos.

Lema 5 Sean R y R0 son dos anillos y f : R → R0 un homomorfismo de anillos. Entonces:

(i) f (0) = 0.
(ii) f (−a) = −f (a)

Demo: (i). Ya hemos hecho alguna demostración con la misma idea.

f (0) = f (0 + 0) = f (0) + f (0)

Si ahora sumamos en ambos lados el opuesto de f (0) en R0 tenemos,

00 = f (0) − f (0) = f (0) + f (0) − f (0) = f (0)

(ii). Sea a ∈ R. Entonces

f (a) + f (−a) = f (a + (−a)) = f (0) = 0 y f (−a) + f (a) = f ((−a) + a) = f (0) = 0

Por tanto el opuesto de f (a) en R0 es f (−a). 

Lema 6 (Ejercicio) No tiene que suceder que si R y R0 son anillos unitarios, f (1) = 10 .

2. El Ker de un Homomorfismo
Proposición 1 Sean R y R0 dos anillos, S un subanillo de R, S 0 un subanillo de R0 y
f : R → R0 un homomorfismo de anillos. Entonces

(i) f (S) es un subanillo de R0 .

(ii) f −1 (S 0 ) := {r ∈ R| f (r) ∈ S 0 } es un subanillo de R.
74 5.2 El Ker de un Homomorfismo

Demo: (i). F Tenemos que ver que la suma es una operación interna en f (S):
Sean x, y ∈ f (S). Entonces existen a, b ∈ S tales que x = f (a) e y = f (b). Por tanto

x + y = f (a) + f (b) = f (a + b) ∈ f (S),

ya que como S es un subanillo de R, a + b ∈ S.

F Tenemos que ver que el producto es una operación interna en f (S):
Sean x, y ∈ f (S). Entonces existen a, b ∈ S tales que x = f (a) e y = f (b). Por tanto

x · y = f (a) · f (b) = f (a · b) ∈ f (S),

ya que como S es un subanillo de R, a · b ∈ S.

F Por último, como 0 ∈ S (ya que S es un subanillo de R) 00 = f (0) ∈ f (S) y dado
x ∈ f (S) existe a ∈ S tal que x = f (a), por tanto −x = −f (a) = f (−a) ∈ f (S), ya que
−a ∈ S.
(ii). F Tenemos que ver que la suma es una operación interna en f −1 (S 0 ):
Sean a, b ∈ f −1 (S 0 ) (por definición f (a), f (b) ∈ S 0 ). Entonces f (a + b) = f (a) + f (b) ∈ S 0
ya que S 0 es un subanillo de R0 .
F Tenemos que ver que el producto es una operación interna en f −1 (S 0 ):
Sean a, b ∈ f −1 (S 0 ) (por definición f (a), f (b) ∈ S 0 ). Entonces f (a · b) = f (a) · f (b) ∈ S 0
ya que S 0 es un subanillo de R0 .
F Por último, f (0) = 00 ∈ S 0 (ya que S 0 es subanillo de R0 ) y por tanto 0 ∈ f −1 (S 0 ).
Por último, si a ∈ f −1 (S 0 ) (es decir, f (a) ∈ S 0 ), f (−a) = −f (a) ∈ S 0 y por tanto
−a ∈ f −1 (S 0 ). 

Corolario 2 Sean R y R0 dos anillos y f : R → R0 un homomorfismo de anillos. Entonces:

(i) Ker(f ) := f −1 (0), llamado el núcleo o Ker de f , es un subanillo de R.

(ii) Im(f ) := f (R), llamada la imagen de f , es un subanillo de R0 .

Nota: Cuando lleguemos a la estructura cociente en anillo veremos que Ker(f ) tiene
propiedades mucho más interesantes que la de ser simplemente un subanillo.

Proposición 3 Sean R y R0 dos anillos, S un subanillo de R, S 0 un subanillo de R0 y

f : R → R0 un homomorfismo de anillos. Entonces

(i) f es un monomorfismo si y sólo si Ker(f ) = 0.

(ii) f es un epimorfismo si y sólo si Im(f ) = R0 .

Demo: (i). Recordamos que Ker(f ) = {a ∈ R | f (a) = 00 }. Por tanto, si f es inyectiva

sólo el cero puede ir al cero y por tanto Ker(f ) = {0}. Recı́procamente, supongamos que
Ker(f ) = {0} y sean a, b ∈ R tales que f (a) = f (b). Entonces

00 = f (a) + (−f (b)) = f (a − b)

por lo que a − b ∈ Ker(f ) = {0} y por tanto a − b = 0, es decir, a = b.

(ii). es una consecuencia de ser f aplicación (no intervienen las nociones de anillo para
demostrar esto). 
 Capı́tulo 5. Homomorfismos de Anillos 75

3. Isomorfismos de Anillos
Proposición 1 Sean (R, +, .) y (R0 , +0 , .0 ) dos anillos y f : R → R0 un isomorfismo de
anillos. Entonces f −1 : R0 → R también es un isomorfismo de anillos.

Demo: Como f : R → R0 es un isomorfismo de anillos, f es biyectiva y por tanto existe

f −1 : R0 → R. Veamos que f −1 tambien es un isomorfismo: dados a, b ∈ R0 , tenemos que
ver,
(1). f −1 (a + b) = f −1 (a) + f −1 (b). Pero,

f (f −1 (a + b)) = a + b
f (f −1 (a) + f −1 (b)) = f (f −1 (a)) + f (f −1 (b)) = a + b

y como la aplicación f es inyectiva, f −1 (a+b) = f −1 (a)+f −1 (b). El producto se demuestra

de forma similar:
(2). f −1 (a · b) = f −1 (a) · f −1 (b),

f (f −1 (a · b)) = a · b
f (f −1 (a) · f −1 (b)) = f (f −1 (a)) · f (f −1 (b)) = a · b

lo que demuestra la proposición al ser f inyectiva.

Definición 2 Se dice que dos anillo R y R0 son isomorfos si existe un isomorfismo de

anillos f : R → R0 .

Proposición 3 La relación ”ser isomorfo a” verifica las propiedades reflexiva, transitiva

y simétrica.

Definición 4 Se dice que una propiedad ”P” (propia de un anillo) es estructural si siem-
pre que la verifica un anillo R la verifica cualquier anillo R0 isomorfo a R.

Teorema 5 Las siguientes propiedades son estructurales:

(i) Tener cardinal χ. En particular tener ”n” elementos.
(ii) Ser conmutativo.
(iii) Ser unitario.
(iv) Tener divisores de cero. Es más, el cardinal de los divisores de cero coincide.
(v) Ser un dominio de integridad.
(vi) Poseer elementos inversible. Es más, el cardinal de los elementos inversibles coincide.
(vii) Ser un anillo de división.
(viii) Ser un cuerpo.
(ix) Poseer elementos nilpotentes (a ∈ R tal que an = 0 para algún n ∈ N). Es más, el
cardinal de los elementos nilpotentes de ı́ndice n coincide.
(x) Poseer elementos idempotentes (e ∈ R tal que e2 = e). Es más, Es más, el cardinal de
los elementos idempotentes coincide.
76 5.3 Isomorfismos de Anillos

Demo:
(i). Si R tiene cardinal ℵ y f : R → R0 es un isomorfismo de anillos, tenemos que f es
biyectivo y por definición de cardinal, R y R0 tienen el mismo cardinal.
(ii). Si R es conmutativo y f : R → R0 es un isomorfismo de anillos, dados a0 , b0 ∈ R0 ,
como f es sobreyectivo, existen a, b ∈ R tales que f (a) = a0 y f (b) = b0 . Por tanto,

a0 b0 = f (a)f (b) = f (ab) = f (ba) = f (b)f (a) = b0 a0

Nota: Observar que hemos demostrado que si R es conmutativo y f es un epimorfismo,

R0 es conmutativo (lo necesitaremos en resultados posteriores).
(iii). Si R es conmutativo y f : R → R0 es un isomorfismo de anillos, veamos que f (1R )
es la unidad de R0 : dado a0 ∈ R0 , como f es sobreyectivo, existe a ∈ R tal que f (a) = a0 ,
por tanto

f (1R )a0 = f (1R )f (a) = f (1R a) = f (a) = a0

a0 f (1R ) = f (a)f (1R ) = f (a1R ) = f (a) = a0

Nota: Observar que hemos demostrado que si R es unitario y f es un epimorfismo, R0 es

conmutativo con unidad f (1R ) (lo necesitaremos en resultados posteriores).
(iv). Sea ∆R el conjunto de los divisores de cero por la izquierda de R. Es decir, a ∈ ∆
si y sólo si a es no nulo y existe b ∈ R no nulo tal que ab = 0. Veamos que ∆R y ∆R0 son
equipotentes:
Dado a ∈ ∆R sabemos que existe 0 6= b ∈ R tal que ab = 0. Entonces 0 = f (ab) =
f (a)f (b) y como f es inyectiva, f (a) ∈ ∆R0 . Es decir, la aplicación f |∆R : ∆R → ∆R0
está bien definida y al ser f inyectiva en R, lo es en ∆R . Po otro lado, veamos que
esta aplicación es sobreyectiva. Dado a0 ∈ ∆R0 tenemos que f −1 (a0 ) ∈ ∆R (por lo ya
demostrado) con f (f −1 (a0 )) = a0 . Ası́ f |∆R es biyectiva y ∆R , ∆R0 son equipotentes.
La demostración de que el conjunto de divisores a derecha y el conjunto de divisores
en R y R0 son equipotentes se hace de forma análoga.
(v). Se deduce de (ii), (iii) y (iv).
(vi). Sea ∆R el conjunto de los elementos inversibles de R. Veamos que ∆R y ∆R0 son
equipotentes:
Dado a ∈ ∆R sabemos que existe a−1 ∈ R tal que aa−1 = a−1 a = 1. Entonces, por
(iii)

10R = f (1R ) = f (aa−1 ) = f (a)f (a−1 )

10R = f (1R ) = f (a−1 a) = f (a−1 )f (a)

por lo que f (a) es inversible con inverso f (a)−| . En otras palabras, la aplicación f |∆R :
∆R → ∆R0 está bien definida y al ser f inyectiva en R, lo es en ∆R . Po otro lado, veamos
que esta aplicación es sobreyectiva. Dado a0 ∈ ∆R0 tenemos que f −1 (a0 ) ∈ ∆R (por lo ya
demostrado) con f (f −1 (a0 )) = a0 . Ası́ f |∆R es biyectiva y ∆R , ∆R0 son equipotentes.
(vii) y (viii). Por (vii) si R es un anillo de división (cuerpo) ∆R = R − {0} y al ser
f biyectiva ∆R0 f (∆R ) = R0 − {0} lo que demuestra que todo elemento no nulo de R0 es
inversible y R0 es un anillo de división (cuerpo por (ii)).
(ix). Sea ∆R el conjunto de los elementos nilpotentes de ı́ndice n de R. Veamos que
∆R y ∆R0 son equipotentes:
Capı́tulo 5. Homomorfismos de Anillos 77

Dado a ∈ ∆R sabemos que existe n ∈ N tal que an = 0 y an−1 6= 0. Entonces,

0 = f (0) = f (an ) = f (a)n y 0 6= f (an1− ) = f (a)n−1 por lo que f (a) es nilpotente de
ı́ndice n en R0 . En otras palabras, la aplicación f |∆R : ∆R → ∆R0 está bien definida y al
ser f inyectiva en R, lo es en ∆R . Po otro lado, veamos que esta aplicación es sobreyectiva.
Dado a0 ∈ ∆R0 tenemos que f −1 (a0 ) ∈ ∆R (por lo ya demostrado) con f (f −1 (a0 )) = a0 .
Ası́ f |∆R es biyectiva y ∆R , ∆R0 son equipotentes.
(x). Sea ∆R el conjunto de los elementos idempotentes de R. Veamos que ∆R y ∆R0
son equipotentes:
Dado a ∈ ∆R sabemos que a2 = a. Entonces, f (a) = f (a2 ) = f (a)2 . En otras palabras,
la aplicación f |∆R : ∆R → ∆R0 está bien definida y al ser f inyectiva en R, lo es en ∆R .
Po otro lado, veamos que esta aplicación es sobreyectiva. Dado a0 ∈ ∆R0 tenemos que
f −1 (a0 ) ∈ ∆R (por lo ya demostrado) con f (f −1 (a0 )) = a0 . Ası́ f |∆R es biyectiva y ∆R ,
∆R0 son equipotentes. 
Nota: Hay muchas más propiedades estructurales, ¿Se te ocurre alguna otra?

Ejemplos A Para demostrar que dos anillos son isomorfos, hay que encontrar un iso-
morfismo entre ellos. Para demostrar que dos anillos no son isomorfos ”sólo” hay que
encontrar una propiedad estructural que la verifique uno y no el otro. Por ejemplo:
• Z7 no es isomorfo a Z8 porque tienen distinto numeró de elementos.
• Z8 no es isomorfo a Z2 × Z4 ya que ambos tienen distinto numeró de elementos
inversibles,
 en Z8 hay 4 elementos inversibles, 1, 3, 5, 7
 en Z2 × Z4 hay sólo dos elementos inversibles, (1, 1), (1, 3).
• Si X = {a}, (P(X), 4, ∩) es isomorfo a (Z2 , +.·) ya que el homomorfismo dedo en
la Proposición 3 (Pag. 72) es en realidad un isomorfismo.

4. Homomorfismos y estructuras
Cada estructura que demos en álgebra tendrá su homomorfismo asociado. Por ejemplo,
la noción de subanillo está ligada con la noción de monomorfismo:

Proposición 1 Sea R un subanillo de R0 . Entonces la inclusión de R en R0 , i : R ,→ R0

definida por i(r) = r es un monomorfismo de anillos. Es más: si f : R → R0 es un
monomorfismo de anillos, entonces R es isomorfo a Im(f ) ≤ R0 (por lo que se puede
considerar que R es un subanillo de R0 ).

El producto directo de anillos está ligado a la noción de proyección canónica y a cierta

propiedad estructural:

Definición 2 Sean Ri , i ∈ I una familia de anillos y sea R = Πi∈I Ri el producto directo

de los Ri . Se define la proyección “canónica” de R en Rk , con k ∈ I, como:

πk : R −→ Rk
(ri )i∈I 7−→ rk .

Proposición 3 Sea {Ri }i∈I una familia de anillos y sea R = Πi∈I Ri el producto directo
de los Ri . Entonces, para cada k ∈ I, la proyección canónica πk : Πi∈I Ri → Rk es un
epimorfismo de anillos.
78 5.5 Ampliación de contenidos

Proposición 4 Sean n, m ∈ N dos numeros naturales tales que m. c. d(n, m) = 1. En-

tonces Znm es isomorfo a Zn × Zm es más, la aplicación Ψ : Znm → Zn × Zm definida por
Ψ(a) := (a, a) es un isomorfismo de anillos.

Demo: Tenemos que empezar demostrando que f está bien definida, ya que para
definir f (a) hemos usado un representante a de la clase de equivalencia y su imagen es
(a, a).
Supongamos que a = b en Znm . Tenemos entonces que

a − b = α(nm) con α ∈ Z.

Pero entonces

a − b = (αn)m por lo que a = b ∈ Zn

a − b = (αm)n por lo que a = b ∈ Zm

Es decir, f (a) = (a, a) = (b, b) = f (b) en Zn × Zm

Veamos ahora que f es un homomorfismo de anillos: Sean x, y ∈ Znm

f (x + y) = f (x + y) = (x + y, x + y) = (x + y, x + y) = (x, x) + (y, y) = f (x) + f (y)

f (x · y) = f (x · y) = (x · y, x · y) = (x · y, x · y) = (x, x) · (y, y) = f (x) · f (y)

Veamos ahora que f es inyectiva. Como ya sabemos que es un homomorfismo, solo tenemos
que demostrar que Ker f = {0}. Sea x ∈ Ker f , entonces que (0, 0) = f (x) = (x, x) por
lo que x = 0 en Zn y en Zm . por lo que x es múltiplo de n y múltiplo de m. Como n y m
son primos entre sı́, x es multiplo de nm y por tanto x = 0 en Znm .
Por último, una aplicación inyectiva entre dos conjuntos finitos con el mismo numero
de elementos (ambos conjuntos tienen nm elementos) es sobreyectiva y por tanto un
isomorfismo de anillos. En clase se ha visto que la sobreyectividad también se puede
deducir del teorema chino del resto. 

Corolario 5 Sean n, m ∈ N dos numeros naturales tales que m. c. d(n, m) = 1. Entonces

φ(nm) = φ(n)φ(m) en donde φ denota la función de Euler.

Demo: Por el resultado anterior Znm y Zn × Zm son anillos isomorfos. Ası́ tienen el
mismo numero de elementos inversibles.
Sabemos que los elementos inversibles de Znm es φ(nm). Por otro lado un elemento
(a, b) es investible en Zn × Zm si y sólo a es inversible en Zn y b es inversible en Zm , por
tanto el número de elementos inversibles es φ(n)φ(m). 

5. Ampliación de contenidos
5.1. Propiedad fundamental del producto directo de anillos
Proposición 1 Sean Ri , i ∈ I una familia de anillos y sea R = Πi∈I Ri el producto
directo de los Ri . Entonces para cada anillo R0 y cada familia de homomorfismos de
anillos fi : R0 → Ri existe un único homomorfismo de anillos f : R0 → R tal que para
cada k ∈ I el siguiente diagrama es conmutativo:
Capı́tulo 5. Homomorfismos de Anillos 79

πk
Πi∈I Ri Rk

f
fk
R0

Es más, Si R̂ es un anillo y ρi : R̂ → Ri son una familia de epimorfismos de anillos

tales que para cada anillo R0 y cada familia de homomorfismos de anillos fi : R0 → Ri
existe un único homomorfismo de anillos f : R0 → R̂ tal que para cada k ∈ I el diagrama
anterior es conmutativo, entonces R̂ es isomorfo a Πi∈I Ri .

Demo: Tenemos que demostrar la existencia y unicidad del homomorfismo f : R0 → R

que hace conmutativo el diagrama. La estrategia que vamos a usar para demostrarlo va
a consistir en demostrar que hay una única aplicación que hace conmutativo el diagrama
y para luego demostrar que esta única posibilidad es el homomorfismo de anillos que
buscamos:
1-. Supongamos que existe f : R0 → Πi∈I Ri tales que πk ◦ f = fk tenemos entonces
que dado r0 ∈ R0 , fk (r0 ) = πk (f (r0 )), por lo que la coordenada k-esima de f (r0 ) es fk (r0 ).
Ası́, f (r0 ) tiene que ser forzosamente (fi (r0 ))i∈I .
2-. Comprobemos entonces que la aplicación f : R0 → Πi∈I Ri definido por f (r0 ) =
(fi (r0 ))i∈I es un homomorfismo de anillos que verifica el enunciado:
? ¿Es homomorfismo de grupos?

f (r10 + r20 ) = (fi (r10 + r20 ))i∈I = (fi (r10 ) + fi (r20 ))i∈I = (fi (r10 ))i∈I + (fi (r20 ))i∈I
= f (r10 ) + f (r20 )

? ¿Es homomorfismo de anillos?

f (r10 .r20 ) = (fi (r10 .r20 ))i∈I = (fi (r10 ).fi (r20 ))i∈I = (fi (r10 ))i∈I .(fi (r20 ))i∈I
= f (r10 )f (r20 )

? ¿Hace conmutativo los diagramas? Pues claro

πk ◦ f (r0 ) = πk ((fi (r0 ))i∈I )) = fk (r0 ).

Veamos ahora que todo anillo con estas propiedades es isomorfo al producto cartesiano
de los {Ri }i∈I . Sea R̂ un anillo y gi : R̂ → Ri una familia de epimorfismos de anillos tales
que para cada anillo R0 y cada familia de homomorfismos de anillos fi : R0 → Ri existe
un único homomorfismo de anillos f : R0 → R̂ tal que para cada k ∈ I el diagrama
gk
R̂ Rk

f
fk
R0

es conmutativo.
Si consideramos ahora R0 = Πi∈I Ri y fi = πi las proyecciones canónicas tenemos:
80 5.5 Ampliación de contenidos

R̂ Πi∈I Ri
Triángulo B Triángulo A
gk πk
f g

πk gk
Rk Πi∈I Ri Rk R̂

g Id = g ◦ f Id = f ◦ g
f
gk πk
Triángulo A Triángulo B
R̂ Πi∈I Ri

En donde f es la única aplicación que hace conmutativo el triángulo B (aquı́ estamos

aplicando que Πi∈I Ri verifica la propiedad del producto cartesiano, apartado 1-.) y en
donde g es la única aplicación que hace conmutativo el triángulo A (aquı́ estamos aplicando
que, por hipótesis, R̂ satisface la propiedad). Ahora,

gk ◦ Id = gk = πk ◦ g = (gk ◦ f ) ◦ g = gk ◦ (f ◦ g)
Luego como R̂ verifica la propiedad, IdR̂ = f ◦ g (estamos haciendo uso de la unicidad
de la solución). Pero igualmente, si nos fijamos en el exterior del segundo diagrama,

πk ◦ Id = πk = gk ◦ f = (πk ◦ g) ◦ f = πk ◦ (g ◦ f )
Luego como Πi∈I Ri verifica la propiedad, IdΠi∈I Ri = g ◦ f (estamos haciendo uso de
la unicidad de la solución). Por tanto f y g son isomorfismo de anillos lo que demuestra
que Πi∈I Ri y R̂ son isomorfos. 
Capı́tulo 5. Homomorfismos de Anillos 81

6. Ejercicios del Tema

1 Sea R un anillo. ¿Las siguientes aplicaciones son monomorfismos de anillos?
 
r 0
(a) f : R → M2 (R) definido por f (r) = .
0 0
 
r 0
(b) f : R → M2 (R) definido por f (r) = .
0 r
 
r r
(c) f : R → M2 (R) definido por f (r) = .
0 0

2 Sean n, m ∈ N primos entre si. Demuestra que la aplicación f : Znm → Zn × Zm

definida por f (r) = (r, r) es un isomorfismo de anillos. (Acuérdate de demostrar que f
está bien definida)

3 Encuentra un homomorfismo f : R → R0 con R y R0 anillos unitarios y f (1R ) 6= 1R0 .

4 ¿Cuales son los endomorfismos de Z?

5 Sea R un anillo. Encuentra dos monomorfismo de anillos f : R → M2 (R).

6 Demuestra que ser conmutativo, ser unitario, no poseer divisores de cero, poseer n
elementos inversibles son propiedades estructurales. ¿Se te ocurre alguna más?

7 Demuestra que no hay ningún isomorfismo entre Z4 y Z2 × Z2 .

8 Sean R y R0 dos anillos y f : R → R0 un homomorfismo de anillos no nulo. Entonces:

(i) Si R es un anillo unitario, Im(f ) es un anillo unitario con unidad f (1).

(ii) Si a es un elemento inversible de R, f (a) es un elemento inversible de Im(f ).
(iii) Si f es sobreyectiva y R es unitario, entonces f (1) = 10 y f (a) es inversible para
todo elemento inversible a ∈ R.
(iv) Si R y R0 son unitarios y f (1) = 10 , f (a) es inversible para todo elemento inversible
a ∈ R.
82 5.6 Ejercicios del Tema