4 PDF
4 PDF
4 PDF
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.
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.
f (a + b) = 0B f (a · b) = 0B
= 0B + 0B = 0B · 0B
f (a + b) = a + b f (a · b) = a · b
= 2a + 2b = 2ab
1. f(0)=0’.
2
Demostración. 1. Es claro que 0 y 0′ son los ceros de A y A′ respectivamente.
Entonces:
2. Sea a ∈ A. Entonces:
a + (−a) = 0
f (a + (−a)) = f (0) = 0′
f (a) + f (−a) = 0′
f (−a) = −f (a)
1·1=1
f (1 · 1) = f (1)
f (1) · (f (1) − 1′ ) = 0′
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.
= 1| + ·{z
· · + 1} = (−1) + · · · + (−1)
| {z }
n− veces n− veces
=n = −n
4
Entonces
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ı́