CAPITULO III

ANILLOS
Rodrigo Vargas
1. Anillos y Homomorsmos
1. (a) Sea G un grupo abeliano (aditivo). Denimos una operacion de mul-
tiplicacion en G por ab = 0 (para todo a, b G). Enonces G es un
anillo.
(b) Sea S el conjunto de todos los subconjuntosde algun conjunto U jo.
Para A, B S, dena A + B = (A B) (B A) y AB = A
B. Entonces S es un anillo. Es S conmutativo? Tiene elemento
unidad?
Solucion:
(a) Tenemos que (ab)c = 0 c = 0 = a 0 = a(bc) y el producto es
asociativo, de manera similar para la ley de distribucion a(b + c) =
0 = 0 + 0 = ab + ac . Por lo tanto, G es un anillo.
(b) (i) (S, +) es grupo abeliano.
[A + B] + C = [(AB) (B A)] + C
=
Existe S tal que
A+ = (A) ( A) = (A S) ( A
c
) = A = A
Para todo A S existe B = A S tal que
A+ B = A + A = (AA) (AA) =
A+B = (AB) (BA) = (BA) (AB) = B+A luego
S es abeliano.
(ii) Asociatividad de la multiplicacion
(AB)C = (AB)C = (AB) C = A(BC) = A(BC) =
A(BC)
1
(iii) Ley de distribucion
A(B + C) = A((B C) (C B))
= A ((B C) (C B))
= (A (B C)) (A (C B))
= (A A C) (A C A B)
= A B + A C
= AB + AC
2. Sea {R
i
| i I} una familia de anillos con unidad. Hacemos la suma
directa de grupos abelianos

iI
R
i
sobre un anillo deniendo la multipli-
cacion coordenada a coordenada. Tiene

iI
R
i
unidad?
Solucion: Sean 1
i
la unidad del anillo R
i
y x
i
R
i
, con i I entonces
el elemento

iI
1
i
satisface
_

iI
x
i
__

iI
1
i
_
=

iI
x
i
1
i
=

iI
x
i
Luego,

iI
R
i
tiene unidad.
3. Un anillo R tal que a
2
= a para todo a R es llamado un anillo Booleano.
Pruebe que todo anillo Booleano R es conmutativo y a +a = 0 para todo
a R.
Solucion: Para cada a R se tiene que
a = a
2
= aa = (a)(a) = (a)
2
= a .
Sean a, b R entonces
a + b = (a + b)
2
= a
2
+ ab + ba + b
2
= a + ab + ba + b
cancelando se obtiene que ab + ba = 0, es decir, ab = ba = ba luego R
es conmutativo y ademas
a + a = (a + a)
2
= a
2
+ a
2
+ a
2
+ a
2
= a + a + a + a a + a = 0 .
2
4. Sea R un anillo y S un conjunto no vacio. Entonces el grupo M(S, R)
es un anillo con la multiplicacion denida como sigue: el producto de
f, g M(S, R) es la funcion S R dada por s f(s)g(s).
Solucion: Sabemos que M(S, R) es un grupo conmutativo. Ahora bien,
dados f, g, h M(S, R) se tiene
((f g) h)(s) = (f g)(s)h(s) = (f(s)g(s))h(s)
= f(s)(g(s)h(s)) = f(s)(g h)(s) = (f (g h))(s)
pues el producto en R es asociativo, entonces el producto denido en
M(S, R) es asociativo. Lo mismo ocurre con la ley de distribucion.
5. Si A es el grupo abeliano Z

Z, entonces End A es un anillo no conmu-

tativo.
6. Un anillo nito con mas de un elemento y sin divisores de cero es un anillo
de division.
7. Sea R un anillo con mas de un elemento tal que para cada elemento no
cero a R existe un unico b R tal que aba = a. Pruebe:
(a) R no tiene divisores de cero.
(b) bab = b.
(c) R tiene unidad.
(d) R es un anillo de division.
Solucion:
(a) Si ax = 0 (o xa = 0) con a = 0 entonces axa = 0 a = 0, sabemos
que existe un unico b tal que aba = a luego
a = aba = aba + axa = a(b + x)a
por unidad de b implica que b = b + x x = 0. Luego, R no tiene
divisores de cero.
(b) Basta notar que
0 = aba a = b(aba a) = baba ba = (bab b)a
como a = 0 y R no tiene divisores de cero por (a) implica que bab = b.
3
(c) Dado a R con a = 0 existe un unico b R tal que aba = a.
Sea x R entonces xaba = xa y como R no tiene divisores de cero
entonces vale la ley de cancelacion entonces xab = x y ab es unidad
izquierda. Similarmente, aba = a abax = ax bax = x y ba es
unidad derecha.
(d) Como la unidad derecha es igual a unidad izquierda, entonces tenemos
que ab = ba = 1 de donde b = a
1
y R es anillo de division.
8. Sea R el conjunto de todas las matrices 2 2 sobre el cuerpo complejo C
de la forma
_
z w
w z
_
,
donde z, w son el conjugado complejo de z y w respectivamente (esto es,
c = a +b

1 c = a b

1). Entonces R es un anillo de division que

es isomorfo al anillo de division K de los cuaterniones reales.
9. (a) El subconjunto G = {1, 1, i, i, j, j, k, k} de el anillo de division
K de los cuaterniones reales forma un grupo bajo la multiplicacion.
(b) G es isomorfo al grupo cuaternion.
(c) Cual es la diferencia entre el anillo K y el grupo anillo R(G) (R el
cuerpo de los n umeros reales)?
10. Sea k, n enteros tales que 0 k n y
_
n
k
_
el coeciente binormal
n!/(n k)!k!, donde 0! = 1 y para n > 0, n! = n(n 1)(n 2) . . . 2 1.
(a)
_
n
k
_
=
_
n
n k
_
(b)
_
n
k
_
<
_
n
k + 1
_
para k + 1 n/2.
(c)
_
n
k
_
+
_
n
k + 1
_
=
_
n + 1
k + 1
_
para k < n.
(d)
_
n
k
_
es un entero.
(e) si p es primo y 1 k p
n
1, entonces
_
p
n
k
_
es divisible por p.
4
Solucion
(a) Se tiene que
_
n
n k
_
=
n!
(n (n k))!(n k)!
=
n!
k!(n k)!
=
_
n
k
_
.
(b) Notemos que
_
n
k + 1
_
=
n!
(n k 1)!(k + 1)!
=
n!
(n k)!k!

n k
k + 1
=
_
n
k
_
n k
k + 1
,
por hipotesis n/(k + 1) 2 y k/(k + 1) < 1 entonces basta observar
n k
k + 1
=
n
k + 1

k
k + 1
2 1 = 1 .
(c)
_
n
k
_
+
_
n
k + 1
_
=
n!
(n k)!k!
+
n!
(n k 1)!(k + 1)!
=
n!(k + 1 +n k)
(n k)!(k + 1)!
=
(n + 1)!
(n k)!(k + 1)!
=
_
n + 1
k + 1
_
11. Sea R un anillo conmutativo con unidad de caracteristica prima p. Si
a, b R, entonces (a b)
p
n
= a
p
n
b
p
n
para todo entero n 0.
Solucion: Sabemos por problema 10.(e) que si p es primo y 1 k p
n
1
entonces p divide a
_
p
n
k
_
, como R es de caracteristica p implica que
_
p
n
k
_
= 0. Ahora bien, usando el Teorema binomial
(a b)
p
n
=
p
n

k=0
_
p
n
k
_
(1)
p
n
k
a
k
b
p
n
k
=
_
p
n
0
_
. .
1
(1)
p
n
b
p
n
+
p
n
1

k=1
_
p
n
k
_
. .
0
(1)
p
n
k
a
k
b
p
n
k
+
_
p
n
p
n
_
. .
1
a
p
n
= a
p
n
b
p
n
5
12. Un elemento de un anillo es nilpotente si a
n
= 0 para alg un n. Pruebe
que en un anillo conmutativo a+b es nilpotente si a y b lo son. Demuestre
que este resultado es falso si R no es conmutativo.
13. En un anillo R las siguientes condiciones son equivalentes.
(a) R no tiene elementos nilpotentes no cero.
(b) Si a R y a
2
= 0, entonces a = 0.
Solucion Supongamos que existe a R tal que a
n
= 0 para alg un n N,
donde n es el mnimo natural con esta propiedad. Si n = 2k entonces se
tiene que b = a
k
satisface b
2
= 0 pero b = 0 lo que es una contradiccion.
Si n = 2k 1 entonces a
n+1
= 0 y b = a
k
satisface b
2
= a
2k
= a
n+1
= 0
pero b = 0 lo que es una contradiccion. Reciprocamente, supongamos que
existe a R con a
2
= 0 y a = 0 entonces a R es elemento nilpotente
distinto de cero, luego R posee un elemento nilpotente distinto de cero.
14. Sea R un anillo conmutativo con unidad y de caracteristica primo p. La
aplicacion R R dada por r r
p
es un homomorsmo de anillos lla-
mado el homomorsmo de Frobenius.
Solucion: Sea : R R el homomorsmo dado por (r) = r
p
, da-
dos r, s R por problema 11 se tiene que
(r + s) = (r + s)
p
= r
p
+ s
p
= (r) + (s)
y ademas como R es conmutativo (rs) = (rs)
p
= r
p
s
p
= (r)(s).
Luego es un homomorsmo.
15. (a) De un ejemplo de un homomorsmo no cero f : R S de anillos con
unidad tal que f(1
R
) = 1
S
.
(b) Si f : R S es un epimorsmo de anillos con unidad, entonces
f(1
R
) = 1
S
.
(c) Si f : R S es un homomorsmo de anillos con unidad y u es una
unidad de R tal que f(u) es unidad en S, entonces f(1
R
) = 1
S
y
f(u
1
) = f(u)
1
.
6
16. Sea f : R S un homomorsmo de anillos tal que f(r) = 0 para alg un
r R no cero. Si R tiene una unidad y S no tiene divisores de cero,
entonces S es un anillo con unidad f(1
R
).
17. (a) Si R es un anillo, entonces R
op
es denido como sigue. El conjunto
base de R
op
es precisamente R y la adicion en R
op
coincide con la
adicion en R. Multiplicar en R
op
, denotado por , es denido por
a b = ba, donde ba es el producto en R. R
op
es llamado el anillo
opositor de R.
(b) R tiene unidad si y solo si R
op
lo tiene.
(c) R es anillo de division si y solo si R
op
lo es.
(d) (R
op
)
op
= R.
(e) Si S es un anillo, entonces R

= S si y solo si R
op
= S
op
.
18. Sea Q el cuerpo de los n umeros racionales y R cualquier anillo. Si
f, g : Q R son homomorsmos de anillos tal que f|
Z
= g|
Z
entonces
f = g.
Solucion: Sabemos que f(n) = g(n) para todo n Z. Notemos que
f(1) = g(1) = g
_
n
n
_
= g(n)g
_
1
n
_
= f(n)g
_
1
n
_
usando esta igualdad obtenemos que
f
_
1
n
_
= f
_
1
n
_
f(1) = f
_
1
n
_
f(n)g
_
1
n
_
= f(1)g
_
1
n
_
= g(1)g
_
1
n
_
= g
_
1
n
_
Por lo tanto, para todo q =
m
n
Q tenemos que
f(q) = f
_
m
n
_
= f(m)f
_
1
n
_
= g(m)g
_
1
n
_
= g
_
m
n
_
= g(q) .
7