Desarrollo Prueba N 3 2007 (2)

1. Sea A un anillo conmutativo y I un ideal de A.

a) Se dice que un elemento a del anillo A es nilpotente de grado n si existe n Z+ tal que an = 0.
Verifique que el conjunto N de todos los elementos nilpotentes del anillo A es un ideal de A.
Demostraci
on: El conjunto N es no vaco pues 0 N . Ahora, dados a, b N debemos
mostrar que a b N : por definicion de N existen enteros positivos R, S tales que aR = 0 y
bS = 0. Tomar M = R + S. Por el Teorema del Binomio se tiene:



M 
S1 
M 
X
X
X
M M k
M M k
M M k
M
k
k
(a b) =
a
(b) =
a
(b) +
a
(b)k
k
k
k
k=0
k=0
k=S
Observar que si 0 k S 1, entonces M k M S + 1 = R + 1 R, luego aM k = 0. Y
si S k M , entonces (b)k = (1)k bk = 0. Por lo tanto:
M

(a b)


S1 
X
M
k=0

M k


M 
X
M M k
(b) +
a
(b)k = 0
k
k=S
k

Luego a b N . Finalmente debemos mostrar que si c A y a N , entonces ca N . Usando

la misma notacion que antes tenemos:
(ca)R = cR aR = cR 0 = 0
Por lo tanto ca N . Esto demuestra que N es un ideal 

un n Z+ }. Pruebe, usando a), que

b)
Dado un ideal I, se define I = {a A : an I para alg
I es un ideal de A.

Demostraci
on 1: El conjunto
I
es
no
vac
o
pues
0

I.
Ahora,
dados
a,
b

I debe

mos mostrar que a b I: por definicion de I existen enteros positivos R, S tales que
aR I, bS I. Tomar M = R + S. Por el Teorema del Binomio se tiene:
(a b)



S1 
M 
X
X
M M k
M M k
k
=
a
(b) +
a
(b)k
k
k
k=0
k=S

Observar que si 0 k S 1, entonces M k R, luego Mk aM k (b)k I. Y si S k M ,




entonces Mk aM k (b)k = Mk (1)k aM k bk I. Por lo tanto:
M

(a b)



S1 
M 
X
X
M M k
M M k
k
=
a
(b) +
a
(b)k I
k
k
k=0
k=S

Luego a b I. Finalmente debemos mostrar que si c A y a I, entonces ca I.

Usando la misma notacion que antes tenemos:
(ca)R = cR aR I
1


Por lo tanto ca I. Esto demuestra que N es un ideal (esta demostracion, aunque es analoga,
no usa la parte a) ) 
Demostraci
on 2: Usaremos el siguiente teorema: M es un ideal de A/I si y solo si existe un
ideal L de A con I L A tal que L/I = M . En nuestro caso consideraremos:
M = {a + I A/I : (a + I)n = I para alg
un n Z+ }
Recordar que I = 0 + I es el cero del anillo A/I. Por la parte a) tenemos que M es un ideal
de A/I. Luego, usando el teorema enunciado, existe un ideal L de A con I L A tal que
L/I = M . De esto u
ltimo se observa:
aL

a + I L/I
a+I M
(a + I)n = an + I = I para alg
un n Z+
an I para alg
un n Z+
a I

Por lo tanto L = I y esto demuestra que I es un ideal de A 

c) Cual es la relacion del ideal I y el ideal formado por todos los elementos nilpotentes del
anillo A/I?
Soluci
on: Por lo visto anteriormente (ver Demostracion 2, letra b)) se tiene:

M = I/I
donde M es el ideal formado por todos los elementos nilpotentes del anillo A/I

2. Demuestre el Tercer Teorema del Isomorfismo para Anillos, esto es: si M y N son ideales de un anillo
A tal que M N entonces se tiene un isomorfismo natural de A/N en (A/M )/(N/M ).
Demostraci
on: Sea : A/M A/N definido por:
(a + M ) = a + N
(i) esta bien definido:
Supongamos a + M, b + M A/M con a + M = b + M . Entonces a b M . Como M N
entonces a b N . Luego (a + M ) = a + N = b + N = (b + M ).
(ii) es un homomorfismo de anillos:
En efecto, dados a + M, b + M A/M se tiene:
((a + M ) + (b + M )) = ((a + b) + M ) = (a + b) + N = (a + N ) + (b + N ) = (a + M ) + (b + M )
((a + M )(b + M )) = ((ab) + M ) = (ab) + N = (a + N )(b + N ) = (a + M )(b + M )
2

(iii) Ker() = N/M :

En efecto:

a + M Ker()

(a + M ) = N
a+N =N
aN
a + M N/M

(iv) Im() = A/N :

Si a + N A/N tomar a + M A/M . Se tiene entonces a + N = (a + M ) Im().
(v) (A/M )/(N/M )
= A/N :
Por el Primer Teorema del Isomorfismo se tiene:
(A/M )/Ker()
= Im()
Por lo tanto:

(A/M )/(N/M )
= A/N

3. Sea F un cuerpo.
a) Muestrese que el conjunto I de todos los polinomios con termino constante a0 = 0 forma un
ideal principal del anillo F[x] generado por el polinomio x.
Demostraci
on: Debemos mostrar la igualdad I = hxi. Para esto observar que si p(x) =
a0 + a1 x + ... + an xn I, entonces p(x) = a1 x + ... + an xn pues a0 = 0. Luego:
p(x) = x(a1 + a2 x + ... + an xn1 ) = xq(x)
donde q(x) = a1 + a2 x + ... + an xn1 . Por lo tanto p(x) hxi. Por otro lado, dado un elemento
xq(x) hxi cualquiera, podemos escribir:
xq(x) = b0 + b1 x + ... + bm xm
para alg
un m N. Evaluando en x = 0 nos queda b0 = 0. Por lo tanto xq(x) I. Esto termina
la demostracion 
b) Compruebe que F[x]/hxi es un cuerpo isomorfo a F.
Demostraci
on: Sea : F[x] F definido por (p(x)) = p(0), es decir, la funcion es la
evaluacion en x = 0 (la idea es usar el Primer Teorema del Homomorfismo). Entonces:
(i) es un homomorfismo de anillos:
(p(x) + q(x)) = p(0) + q(0) = (p(x)) + (q(x))
(p(x)q(x)) = p(0)q(0) = (p(x))(q(x))
3

(ii) Ker() = hxi:

En efecto, dado p(x) = a0 + a1 x + ... + an xn F[x] se tiene:
(p(x)) = 0

p(0) = 0
a0 = 0
p(x) I
p(x) hxi

por la parte a).

(iii) Im() = F:
Dado a F podemos tomar p(x) = x + a F[x]. Entonces a = p(0) = (p(x)) Im().
(iv) F[x]/hxi
= F:
Por el Primer Teorema del Homomorfismo:
F[x]/Ker()
= Im()
Luego:

F[x]/hxi
=F

4. Es Q[x]/hx2 4i un cuerpo? Porque? Que sucede con Q[x]/hx2 + 4i?

Respuesta: Q[x]/hp(x)i es un cuerpo si y solo si hp(x)i es un ideal maximal. Y hp(x)i es un ideal
maximal si y solo si p(x) es irreducible. Para el caso p(x) = x2 4 tenemos p(x) = (x 2)(x + 2),
luego p(x) no es irreducible y por lo tanto Q/hx2 4i no es un cuerpo. Para p(x) = x2 + 4 tenemos
que p(x) es irreducible pues no tiene races en Q, por lo tanto Q/hx2 + 4i es un cuerpo