Homomorfismos de Anillos

En esta sección se quiere mostrar la manera de relacionar anillos. Pues es claro que
tiene que ser a través de funciones, pero claro no cualquier función sino aquellas
que preservan la estructura de anillo.

Sean los anillos (A, +, ·) y (A′ , ⊕, ⊙). Un homomofismo de A en A′ es una función

f : A → A′ tal que para todo a, b ∈ A se tiene:

1. f (a + b) = f (a) ⊕ f (b).

2. f (a · b) = f (a) ⊙ f (b).

Observe que las operaciones que se realizan a la izquierda de las igualdades ante-
riores se hacen en A, mientras que las operaciones del lado derecho se hacen en
A′ . En adelante usaremos las mismas notaciones para las operaciones en los dos
anillos, teniendo claro que pueden ser diferentes para que no lleve a confusión.

Ejemplos: 1. Sean A y B anillos y sea 0B el cero de B. Consideremos la función

f : A → B definida por f (a) = 0B para todo a ∈ A. Sean a, b ∈ A, entonces

f (a + b) = 0B f (a · b) = 0B

= 0B + 0B = 0B · 0B

= f (a) + f (b) = f (a) · f (b)

y entonces concluimos que f es un homomorfismo. Este homomorfismo suele

llamarse homomorfismo nulo.
2. Sea el anillo A y consideremos la función f : A → A definida por f (a) = a
para todo a ∈ A. Para a, b ∈ A, tenemos:

f (a + b) = a + b f (a · b) = a · b

= f (a) + f (b) = f (a) · f (b)

y entonces concluimos que f es un homomorfismo. Este homomorfismo suele

llamarse homomorfismo identidad y se denota por iA .

3. Consideremos los anillos Z y 2Z. Veamos si la función h : Z → 2Z definida por

h(m) = 2m para todo m ∈ Z, es un homomorfismo. Para a, b ∈ Z tenemos:

h(a + b) = 2(a + b) h(ab) = 2(ab)

= 2a + 2b = 2ab

= h(a) + h(b) ̸= h(a)h(b) = 4ab

y entonces concluimos que h no es un homomorfismo.

Proposicin 1. Sean A y B anillos. Si f : A → B es un homomorfismo de anillos

entonces:

1. f(0)=0’.

2. f(-a)=-f(a) para todo a ∈ A.

3. Si A y B son dominios de integridad, entonces f es el homomorfismo nulo

ó f (1) = 1′ .

4. Si A y B son cuerpos, entonces f es el homomorfismo nulo ó f es inyectiva.

2
Demostración. 1. Es claro que 0 y 0′ son los ceros de A y A′ respectivamente.
Entonces:

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

Y sumando −f (0) a ambos lados de la igualdad obtenemos 0′ = f (0).

2. Sea a ∈ A. Entonces:

a + (−a) = 0

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

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

f (−a) = −f (a)

3. Supongamos que A y A′ son dominios de integridad y que 1 y 1′ son los

elementos unitarios de A y A′ respectivamente. Entonces:

1·1=1

f (1 · 1) = f (1)

f (1) · f (1) = f (1)

f (1) · f (1) − f (1) = 0′

f (1) · (f (1) − 1′ ) = 0′

Como A′ es dominio de integridad, entonces f (1) = 0′ ó f (1) − 1′ = 0′ . El primer

caso implica que f es el homomorfismo nuulo y el segundo que f (1) = 1′ , que es
lo que se querı́a probar.

3
4. Ahora suponemos que A y A′ son cuerpos y que f no es el homomorfismo
nulo. Entonces por el ı́tem anterior f (1) = 1′ . Si x, y ∈ A tales que f (x) = f (y)
entonces f (x)−f (y) = 0′ y de aquı́ sigue que f (x−y) = 0′ . Tenemos dos opciones
x − y = 0 ó x − y ̸= 0. Si se cumple la segundo, entonces existe t ∈ A tal que
(x − y) · t = 1 y de aquı́ sigue que f (x − y) · f (t) = f (1) = 1′ , es decir, 0′ = 1′ lo
cual es una contradicción. Entonces vale el primer caso y ası́ x = y con lo cual f
es inyectiva.

El resultado anterior es importante porque nos permite calcular el conjunto de

endomorfismos y automorfismos de un anillo. Si A es un anillo

End(A) = {f : A → A : f es un homomorf ismo}

Aut(A) = {f : A → A : f es un automorf ismo}

Ejemplos: 1. Consideremos el anillo de enteros Z. Sea f un homomorfismo de Z

no nulo. Entonces por la proposición anterior tenemos que f (1) = 1, ya que Z es
un dominio de integridad. Si n es un entero positivo tenemos que:

f (n) = f (1| + ·{z

· · + 1}) f (−n) = f ((−1) + · · · + (−1))
| {z }
n− veces n− veces

= f (1) + · · · + f (1) = f (−1) + · · · + f (−1)

| {z } | {z }
n− veces n− veces

= 1| + ·{z
· · + 1} = (−1) + · · · + (−1)
| {z }
n− veces n− veces

=n = −n

Finalmente sabiendo que f (0) = 0, concluimos que f (n) = n para todo n ∈ Z.

4
Entonces

End(Z) = {0, idZ } Aut(Z) = {idZ }

2. Ahora consideremos el anillo Q. Sea f un homomorfismo de Q no nulo. Entonces

por la proposición anterior tenemos que f (1) = 1, ya que Q es un dominio de
integridad. Además como Z ⊆ Q, por el razonamiento anterior tenemos que
f (n) = n para todo n ∈ Z. Observemos que si p/q ∈ Q entonces f (p/q) =
f (p · 1/q) = f (p) · f (1/q) = p · f (1/q). De esta forma necesitamos conocer a qué es
igual f (1/q).

f (1) = f (q/q)

1 = f (q · 1/q)

1 = f (q) · f (1/q)

1 = q · f (1/q)

1/q = f (1/q)

Con lo anterior concluimos que f (p/q) = p/q para todo racional p/q. Ası́

End(Q) = {0, idQ } Aut(Q) = {idQ }

Teorema 1. Sean A y A′ anillos y f : A → A′ un homomorfismo. Entonces:

1. El conjunto Im f = {f (a) : a ∈ A} es un subanillo de A′ .

2. El conjunto N (f ) = {a ∈ A : f (a) = 0} es un ideal de A. Además, f es

inyectiva si y solo si N (f ) = {0}.

3. Los anillos A/N (f ) e Im f son isomorfos.