Professional Documents
Culture Documents
ndice general
1. Anillos
1.1. Propiedades bsicas de los anillos. . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3
3
9
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
13
20
22
23
25
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
37
37
40
43
44
46
48
6. Anillos de polinomios
6.1. Definiciones y propiedades bsicas . . .
6.1.1. Los polinomios como sucesiones .
6.2. Polinomios con coeficientes en un campo
6.3. Criterios de irreducibilidad . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
51
51
58
59
63
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
NDICE GENERAL
6.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7. Campos de extensin
7.1. Definicin y propiedades bsicas . . . . . . . . . . .
7.2. La caracterstica de un campo . . . . . . . . . . . . .
7.3. Extensiones de campos . . . . . . . . . . . . . . . . .
7.4. Races de Polinomios . . . . . . . . . . . . . . . . . .
7.5. Campos de descomposicin y cerraduras algebraicas
7.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . .
67
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
69
69
72
73
81
87
88
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
89
89
91
92
94
96
9. Ejercicios
97
9.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
A. Soluciones a ejercicios seleccionados
101
Bibliografa
115
ndice alfabtico
116
CAPTULO
Anillos
En esta captulo se presentan las definiciones de anillo, divisor de cero, dominio entero
y campo. Los anillos pueden tener un elemento unitario; se darn ejemplos de anillos con y
sin elemento unitario. Tambin se estudian las propiedades bsicas de los anillos; entre otros
resultados se mostrar que todo dominio entero finito es un campo.
1.1.
Definicin 1.1.1. Un anillo es una estructura algebraica que consiste de un conjunto no vaco R
y dos operaciones binarias definidas en l, denotados por + y llamados adicin y multiplicacin
(o producto) respectivamente, tales que
1) (R, +) es un grupo abeliano,
2) es asociativa,
3) si a, b, c son elementos de R, entonces
a (b + c) = a b + a c y (a + b) c = a c + b c.
Se dice que el anillo R es conmutativo si
4) para cualesquiera dos elementos a, b de R se tiene a b = b a.
Se dice que el anillo R tiene un elemento unitario si
5) existe un elemento 1 R tal que a 1 = 1 a = a para toda a R.
La identidad aditiva de R se denotar por 0 y el inverso aditivo de a R ser denotado por
a. Recordando las definiciones de grupo abeliano y de operacin binaria asociativa podemos
reescribir la definicin como sigue: Un conjunto no vaco R junto con dos operaciones binarias
+ y es un anillo si para cualesquiera a, b, c de R se tiene:
1) a + b = b + a
2) (a + b) + c = a + (b + c)
3
1. Anillos
asociativa
y distributiva son hereditarias. En particular los conjuntos Z, Q, R, C, 2Z, Z[ 2] =
{a + b 2 : a, b Z} y Z[i] = {a + bi : a, b Z}. El anillo Z[i] es el anillo de los enteros
gaussianos.
3) Si K es un campo y n es un entero positivo, entonces el conjunto K nn de todas las matrices
n n con componentes en K, con las operaciones usuales de adicin y producto de matrices
es un anillo, que en general, no es conmutativo. Esto es claro de las propiedades bsicas de
matrices.
4) Si R1 , . . . , Rn son anillos, entonces el producto cartesiano R1 Rn con las operaciones
(a1 , . . . , an ) + (b1 , . . . , bn )
(a1 + b1 , . . . , an + bn )
(a1 , . . . , an )(b1 , . . . , bn )
(a1 b1 , . . . , an bn)
Qn
es un anillo. Pruebe que i=1 Ri = R1 Rn tiene elemento unitario si y solamente si
cada Ri tiene elemento unitario.
5) Sea n > 1 un entero. Considere Z/nZ = {
a | a Z} (
a = a + nZ), el grupo (cociente) abeliano que consta de todas las clases laterales de nZ. La suma en este anillo est dada por
a
+ b = a + b. Defina el producto en Z/nZ como sigue: dados a
, b Z/nZ sea a
b = a b. Se
deja de ejercicio probar que esta operacin est bien definida y que (Z/nZ, +, ) es un anillo
conmutativo con unitario. Tambin se deja probar que si n > 1 no es un nmero primo,
entonces existen elementos a
, b Z/nZ ambos diferentes de cero tales a
b = 0.
6) Considere el anillo C22 de las matrices complejas de 2 2 y sea H el conjunto de todas las
matrices de la forma
z w
a + bi c + di
x=
=
w
z
c + di a bi
Pruebe que el conjunto H con las operaciones usuales de suma y multiplicacin de matrices
es un anillo no conmutativo con unitario (Este anillo se conoce comnmente como el anillo
de los cuaternios reales). Pruebe tambin que si x H es diferente de cero, entonces existe
un y H tal que xy = yx = 1.
Note que las matrices
1
1=
0
0
1
, =
i
0
0
i
, =
0
1
1
0
, k =
0
i
i
0
2 = k2 = k = 1
k = k
= , k
= k =
= k,
Tambin es fcil de verificar que cada elemento x de H se puede escribir en forma nica como
z
w
x=
= a 1 + b + c
+ dk = a + b + c
+ dk,
w
z
donde a, b, c, d R. De esta manera el producto de dos elementos
0 + b1 + b2 + b3 k)
(a0 + a1 + a2 + a3 k)(b
resulta de multiplicar los smbolos formalmente y agrupar los trminos usando las relaciones
anteriores.
7) Sea X un conjunto no vaco y sea A un anillo. El conjunto R = AX = {f : X A |
f es una funcin} es un anillo con las operaciones
(f + g)(x) = f (x) + g(x)
(f g)(x) = f (x)g(x).
1. Anillos
Ejemplo
1.1.14.
Sea D un nmero racional
que no es un cuadrado perfecto en Q y sea
1. Anillos
1+ D
1+ D
Z[
] = {a + b
| a, b Z}
2
2
D,
1+ D
,
2
si D 2, 3 mod 4
si D 1 mod 4.
El anillo O =Z[] es el anillo de enteros del campo cuadrtico Q( D). Defina la norma del
campo N : Q( D) Q por
N (a + b D) = (a + b D)(a b D) = a2 b2 D
Se deja al lector probar que
a) N
es una norma multiplicativa, es decir, N () = N ()N () para cualesquiera ,
Q( D).
b) N () Z para Z[].
c) O es una unidad en O si y solamente si N () = 1.
Sea S un subanillo de un anillo R. Existen cuatro posibilidades con respecto a los elementos
unitarios de S y R:
1.2. Ejercicios
1.2.
Ejercicios
10
1. Anillos
a) Pruebe si rx es nilpotente para cualquier r R.
b) 1 + x es una unidad en R.
0
0
son elementos
a + a + + a
si n > 0
|
{z
}
n sumandos
si n = 0
na = 0
{z
}
|
n sumandos
1.2. Ejercicios
11
25) Pruebe que si R es un anillo finito (con ms de un elemento) y sin divisores de cero, entonces
R es un anillo con divisin.
26) Pruebe que Z Z no es un dominio entero.
27) Sea R un anillo. Pruebe que el centro C = {c R : cr = rc para toda r R} de R es un
subanillo de R.
28) Si R es un anillo con unitario y a R es una unidad, pruebe que tambin a es una unidad
y que (a)1 = a1 .
29) Pruebe que si R es un anillo con divisin finito, digamos con elementos n, entonces an = a
para toda a R.
30) Sea R un anillo y sea R el conjunto de todas las sucesiones de elementos de R. Pruebe que
R con las operaciones dadas por
(a0 , a1 , a2 , . . . ) + (b0 , b1 , b2 , . . . )
(c0 , c1 , c2 , . . . )
donde cn = an + bn y dn =
el
k=0 ak bnk para n = 0, 1, 2, . . . es un anillo. Sea R
subconjunto de R que consta de todas las sucesiones eventualmente cero, esto es, R =
{(a0 , a1 , a2 , . . . ) R : N N{0}, n N, an = 0}. Pruebe que R con las operaciones
definidas antes es un anillo. Pruebe tambin que si R tiene unitario (es conmutativo), entonces
R y R tienen unitario (son conmutativos).
12
1. Anillos
(r, n)(r , n )
(r + r0 , n + n0 )
(r + r0 , 0)
(r, 0)(r0 , 0)
(rr0 , 0)
y por tanto podemos considerar que R est contenido en R Z. Pruebe que si R tiene
unitario, entonces (1, 0) es el unitario de R 0.
32) Sea (G,+) un grupo abeliano y sea R el conjunto de todos los endomorfismo de G, i.e., R
= End G. Si f, g son elementos de R, sea f + g : G G la funcin dada por (f + g)(a) =
f (a) + g(a). Pruebe que R con esta suma de funciones y la composicin de funciones es un
anillo con unitario.
b) Si D 1 m
od 4, pruebe que Z[ 1+2 D ] es un subanillo de Q( D).
N (a + b D) = (a + b D)(a b D) = a2 b2 D
es una norma multiplicativa, es decir que N () = N ()N () para cualesquiera , .
d) Pruebe que N () Z para todo O = Z[].
e) Pruebe que O es una unidad en O si y solamente si N () = 1.
34) Calcule todas las unidades del anillo de los enteros gaussianos.
35) Calcule las unidades de Z[], donde = 21 1 + 3 .
36) Sea un nmero complejo. Denominaremos con el smbolo Z [] al menor subanillo con
unitario de C que contiene al elemento . Como C es subanillo de l mismo, esto garantiza que
exista Z [] . Caracterice este anillo, es decir, determine la forma que tienen sus elementos.
CAPTULO
2.1.
Definicin de homomorfismo
Un homomorfismo de anillos es una funcin de un anillo a otro que preserva las estructura
aditivas y multiplicativas.
Definicin 2.1.1. Sean R y S anillos.
1) Un homomorfismo de anillos es una funcin : R S que satisface
a) (a + b) = (a) + (b) para todo a, b R.
b) (ab) = (a)(b) para todo a, b R.
2) El ncleo del homomorfismo de anillos , denotado por ker , es el conjunto de todos los
elementos a R tales que (a) = 0.
3) Un isomorfismo (monomorfismo, epimorfismo) de anillos es un homomorfismo de anillos
biyectivo (respectivamente inyectivo, suprayectivo).
S o
Si : R S es un isomorfismo, se dice que R y S son isomorfos, y se escribe R =
: R
= S.
Observe que un homomorfismo de anillos es, en primer lugar, un homomorfismo de grupos.
Por tanto todas las propiedades sobre homomorfismos de grupos son vlidas aqu; en particular
tenemos por ejemplo (0) = 0 y (a) = (a). Los conjuntos
ker = {a R : (a) = 0}
Im = {s S : existe r R, s = (r)}
son subgrupos de los grupos (R, +) y (S, +), respectivamente. Estos conjuntos son el ncleo y la
imagen de f . Tambin es cierto que un homomorfismo de anillos : R S es un monomorfismo
si, y slo si, ker = {0}.
13
14
15
1) a, b I a b I
2) a I, r R ar I y ra I.
Ejemplos 2.1.5. Sea R un anillo.
1) Los subanillos {0} y R son evidentemente ideales de R; al primero se hace referencia como el
ideal trivial y al segundo como ideal impropio. Un ideal propio no trivial es en consecuencia
un ideal I tal que 0 ( I ( R.
2) Si : R S es un homomorfismo de anillos, entonces su ncleo es un ideal de R.
3) Consideremos el anillo Z. Sabemos que el conjunto de todos los subgrupo de Z es {nZ | n
Z}. Por tanto si I es un ideal de Z, I es de la forma nZ. Recprocamente, cada conjunto de
la forma nZ es un ideal; en efecto, nZ es un subgrupo de Z y si r Z y u nZ, entonces
ru = r(nk) = n(rk) nZ.
4) Ms general, Una forma fcil de generar ideales en un anillo conmutativo es la siguiente: Si a
es un elemento de un anillo R, entonces el conjunto Ra = (a) = {ra : r R}. Esto se deduce
de las siguientes igualdades:
ra r0 a = (r r0 )a,
r0 (ra) = (r0 r)a.
Nos referiremos a este ideal como el ideal principal generado por a.
5) Sea R = Z [x] el anillo de los polinomios en la indeterminada x con coeficientes enteros. Sea
I el conjunto de todos los polinomios cuyos trminos son todos de grado al menos dos (es
decir, polinomios que no tienen trminos de grado 0 o 1), junto con el polinomio cero. En
smbolos, I = {x2 f (x) | f (x) Z[x]}. Entonces I es un ideal.
6) Sean X intervalo cerrado [0, 1] y R el anillo de todas las funciones de X a R. Para cada
c X, el conjunto Ic = {f R | f (c) = 0} es un ideal de R.
Teorema 2.1.6. Sean R un anillo e I un ideal de R. Entonces el grupo abeliano (R/I, +) es
un anillo con respecto a las operaciones binarias
(r + I) + (s + I) = (r + s) + I,
(r + I) (s + I) = (rs) + I
Recprocamente, si I es un subgrupo tal que las operaciones anteriores estn bien definidas,
entonces I es un ideal de R.
Demostracin. Suponga primero que I es un ideal. Entonces R/I es un grupo abeliano con
respecto a la suma de clases laterales. Primero observe que la multiplicacin de clases laterales
est bien definida, pues si r + I = r0 + I y s + I = s0 + I, entonces r = r0 + x y s = s = s0 + y,
donde x, y I. Luego rs = r0 s0 + r0 y + xs0 + xy de tal manera que rs r0 s0 I. Es rutinario
verificar las propiedades restantes.
Supongamos ahora que I es un subgrupo del grupo aditivo R. Si x, y I, entonces x+I = I y
y+I = I y como por hiptesis el producto de clases laterales est bien definido, (x+I)(y+I) = I,
de donde xy I e I es un subanillo de R. Sea r R y s I, entonces (r + I)(s + I) =
(r + I)(0 + I) = I y rs I; de manera anloga sr I para cualquier r R y cualquier s I.
Luego I es un ideal de R.
Observaciones 2.1.7. 1) Si R es un anillo conmutativo, entonces el anillo cociente R/I es
conmutativo para cualquier ideal I de R. El recproco no necesariamente es cierto.
16
0
0
1
2
1
1
2
0
2
2
0
1
0
1
2
0
0
0
0
1
0
1
2
2
0
2
1
donde x
= x + 3Z. Note que estas tablas son esencialmente las mismas tablas que las correspondientes a Z3 .
3) En general, los elementos de Z/nZ son 0, . . . , n 1. Para sumar (o multiplicar) dos elementos
en el cociente, simplemente se escogen representantes de cada una de las dos clases laterales
y se suman (multiplican, respectivamente) los representantes en Z y se toma la clase lateral
que contiene a la suma (producto, respectivamente).
4) Considere el ideal I = {x2 f (x) | f (x) Z[x]} del anillo R = Z[x]. Luego R/I = {f + I |
deg f 1}. Observe que x
x
=
0yx
6= 0. As que R/I tiene divisores de cero aunque R no
los tenga. Observe que
a0 + a1 x + a2 x2 + = a0 + a1 x + a2 x2 + = a0 + a1 x + x2 (a2 + a3 x + ) = a0 + a1 x.
La suma y multiplicacin en el anillo cociente se realiza con los representantes:
1 + 2x + 3 + 7x = 2 + 9x
1 + 2x 3 + 7x = 3 + x + 14x2 = 3 + x.
5) Sean R = Q[x] e I el ideal principal generado por x. Los elementos del anillo cociente son de
la forma a + (x), donde a Q. Es fcil ver que Q[x]/(x) es un campo.
6) Sean R = Z[x] e I el ideal principal generado por x. Los elementos del anillo cociente son de
la forma a + (x), donde a Z. Es Z[x]/(x) un campo un campo?
7) Sean X el intervalo cerrado [0, 1] y R el anillo de todas las funciones de X a R. Para cada
c X, sea Ic el ideal de todas las funciones f R tales que f (c) = 0. Luego R/Ic es un
campo. En efecto, R/Ic es un anillo conmutativo con unitario. Observe que f + Ic = Ic si y
solamente si f (c) = 0. As que si f (c) 6= 0, sea g(c) = f (c)1 y g(x) = 0 para x 6= c. Luego
f (c)g(c) = 1 as que f g 1 Ic .
8) Sea I el ideal de R = Z/4Z Z/6Z generado por (0, 1). Luego I = {(0, a) | 0 a < 6}. Por
lo tanto, el anillo R/I tiene 4 elementos y de hecho R/I
= Z/4Z.
9) Sea I el ideal principal de R[x] generado por x2 + 1. Pruebe que cada elemento del anillo
cociente R = R[x]/(x2 + 1) se escribe en forma nica como (a + bx) + I, donde a, b R.
Pruebe que x2 = 1 y que R es un campo.
Teorema 2.1.10. a) Si : R S es un homomorfismo de anillos, entonces ker es un ideal
de R.
17
R/I
es decir tal que = . Adems ker = ker /I y Im = Im .
Corolario 2.1.12 (El primer teorema de isomorfismos para anillos). Si : R S es un epimorfismo de anillos, entonces R/ ker es isomorfo a S.
Ejemplos 2.1.13. 1) Sea : Q[x] Q el homomorfismo dada por (f (x)) = f (0). El ncleo
de es ideal formado por todos los polinomios cuyo trmino constante es cero. Este homomorfismo es suprayectivo pues dado r Q, el polinomio constante f (x) = r es tal que
(f ) = r. Luego Q[x]/(x)
= Q.
2) Sean A un anillo, X cualquier conjunto no vaco y R el anillo de todas las funciones de X
en A. Para cada c X, sea c : R A la funcin evaluacin en c, esto es, (f ) = f (c). El
ncleo de c = Ic , el ideal de todas las funciones f R tales que f (c) = 0. Se observa que
c es suprayectivo, pues dado a A, la funcin constante f (x) = a es un elemento de R y
c (f ) = f (c) = a. Luego R/Ic
= A.
3) Sea : Z/4Z Z/6Z Z/4Z dada por (a, b) = a. Luego (a, b) ker si y solamente si
a = 0, es decir, ker = 0 Z/6Z; tambin es claro que es un epimorfismo, as que
Z/4Z Z/6Z
= 0 Z/4Z.
Z/6Z
Teorema 2.1.14. Las composicin de homomorfismos de anillos es un homomorfismo de anillos.
Demostracin. Sea : R R0 y : R0 R00 homomorfismos de anillos. Para a, b R se tiene
()(a + b) = ((a + b)) = ((a) + (b)) = ((a)) + ((b)) = ()(a) + ()(b).
De manera anloga se prueba que ()(ab) = ()(a)()(b).
Ejemplo 2.1.15. La funcin : Z[x] Z/2Z dada por (f (x)) = p(0) mod 2 es un homomorfismo de anillos, ya que es la composicin de los homomorfismos Z[x] Z y Z Z/2Z, dados
por f (x) 7 f (0) y a 7 a m
od 2, respectivamente. De hecho, es epimorfismo, pues tanto el
homomorfismo evaluacin en 0 como la proyeccin son epimorfismos. Luego Z[x]/I
= Z/2Z,
donde I el ideal de Z[x] formado por aquellos polinomios cuyo trmino constante es par.
18
Ejemplo 2.1.16. El cannico de Z a Z/nZ se conoce como la reduccin mdulo n. El hecho que
este sea un homomorfismo de anillos tiene importantes consecuencias para la teora de nmeros
elemental. Suponga que se requiere resolver la ecuacin Diofantina x2 + y 2 = 3z 2 en los enteros
x, y y z. Observe que si x, y, z es una solucin y a es un factor comn, entonces x/a, y/a, z/a es
una solucin, as que podemos suponer que x, y, z no tienen factores comunes. Ahora bien, una
revisin exhaustiva, muestra que si x, y, z Z son soluciones, entonces x, y, z son soluciones en
Z/4Z. Las nicas posibles soluciones son pertecen al conjunto {0, 2}, lo implicar a que x, y, z
deben ser pares, lo que es una contraccin.
Teorema 2.1.17. Sea : R S un homomorfismo de anillos. Entonces
1) Si R0 es un subanillo de R, entonces (R0 ) es un subanillo de S.
2) Si I es un ideal de R, entonces (I) es un ideal de (R).
3) Si S 0 es un subanillo de S, entonces 1 (S 0 ) es un subanillo de R.
4) Si J es un ideal de S entonces 1 (J) es un ideal de R.
5) Si R tiene unitario 1 y (1) 6= 0, entonces (1) es el unitario de (R).
Teorema 2.1.18. Sea R un anillo.
1) (Segundo teorema de isomorfismo) Sean A un subanillo de R y B un ideal de R. Entonces
A + B = {a + b | a A, b B} es un subanillo de R, A B es un ideal de A y (A + B)/B
=
A/(A B).
2) (Tercer teorema de isomorfismo) Sean I y J ideales de R con I J. Entonces J/I es un
ideal de R/I y (R/I)/(J/I)
= R/J.
3) (Teorema de la correspondencia de retculas) Sea : R S un epimorfismo de anillos de
ncleo I. Entonces induce una correspondencia biyectiva, que preserva inclusiones, entre
el conjunto I (R) de todos los ideales de R que contienen a I y el conjunto I(S) de todos los
ideales de S.
Demostracin. 1) Sean a, a A y b, b0 B. Como (a + b) (a0 + b0 ) = (a a0 ) + (b b0 ) y
a a0 A y b b0 B, ya que tanto A como B son grupos abelianos con respecto a la suma.
Por otro lado, (a + b)(a0 + b0 ) = aa0 + (ab0 + ba0 + bb0 ) y aa0 A, pues A es un subanillo de
R y ab0 , ba0 , bb0 son elementos de B pues B es un ideal. La funcin : A (A + B)/B dada
por (a) = a + B es un homomorfismo de anillos, pues es la composicin los homomorfismos
inclusin A A + B y la proyeccin natural A + B (A + B)/B. Se observa que a + B = B
si y solamente si a B, es decir ker = A B. Si a + b A + B, entonces
(a + b) + B = (a + B) + (b + B) = a + B = (a),
y resulta ser un epimorfismo de anillos. De acuerdo con el primer teorema de isomorfismos
para anillos, se concluye el resultado.
2) Se observa que si r + I = r0 + I, entonces r r0 I J y por lo tanto r + J = r0 + J.
Por lo tanto, la funcin : R/I R/J dada por (r + I) = r + J est bien definida y es
claramente un epimorfismo de anillos. Dado que r + J = J si y solamente si r J, se sigue
que ker = {r + I | r J} = J/I. El resultado se sigue aplicando el primer teorema del
isomorfismo.
19
(2)
(4)
(3)
(6)
(12)
(9)
(18)
(36)
Ejemplo 2.1.21. Describa de manera explcita la correspondencia descrita en el inciso (3) del
Teorema 2.1.18.
20
2.2.
21
22
2.2.1.
El Lema de Zorn
23
X
{1, 2}
{1, 3}
{2, 3}
{1}
{2}
{3}
Si ahora S = 2X {X}, los elementos {1, 2}, {1, 3} y {2, 3} son elementos maximales. El
conjunto {{2}, {1, 2}, {1, 3}} no tiene cota superior.
Ejemplo 2.2.13. Sea el conjunto de todos los ideales propios de Z que contienen al ideal
(36) ordenado parcialmente con la inclusin. Entonces (4) y (6) no son comparables, en tanto
que (4) y (2) si lo son. Observe que (2) y (3) son elementos maximales.
Ejemplo 2.2.14. Defina en N la relacin a b si b | a. Este relacin es una relacin de orden
parcial. Cules son los elementos maximales con respecto a esta relacin de orden parcial?
Lema de Zorn. Si S es un conjunto no vaco parcialmente ordenado en el que cada cadena
tiene al menos una cota superior, entonces S tiene al menos un elemento maximal.
2.3.
El siguiente resultado, que garantiza la existencia de ideales maximales en anillos con unitario, es una aplicacin estndar del Lema de Zorn.
Teorema 2.3.1. Si R es un anillo con unitario, cada ideal propio est contenido es un ideal
maximal.
Demostracin. Sea I un ideal propio de R y sea el conjunto de todos los ideales propios de R
que contienen a I. Es claro que no es vaco pues I y est parcialmente ordenado con la
inclusin. Sea C una cadena en y sea J la unin de todos los ideales en C, i.e., J = AC A.
Para ver que J es un ideal se procede como sigue. Observe que J no es vaco pues el 0 pertenece
a J. Si a, b J, entonces a A y b B para algunos ideales A, B C. Como C es una cadena,
se tiene A B o B A, de tal manera que a b B o b a A; en cualquier caso a b J.
Si r R y a J, entonces a A para algn ideal A y por tanto ra A y por tanto ra J; de
manera similar se ve que ra J para r R y a J. Si J no fuera un ideal propio se tendra
que 1 J, implicando que 1 A para algn ideal A C, contradiciendo que los ideales en
son propios. De esta manera J es un ideal propio que contiene a I as que J ; adems J es
una cota superior para C. De acuerdo con el Lema de Zorn, tiene un elemento maximal que
es por lo tanto un ideal maximal que contiene a I.
Ejemplo 2.3.2. 1) Consideremos el ideal (4) = 4Z del anillo Z. Este ideal no es maximal
ya que (4)
(2)
(1). De hecho si m no es un nmero primo y p divide a m, entonces
(m) (p) (1). Note que el ideal (0) tampoco es un ideal maximal.
2) El ideal (5) si es un ideal maximal de Z. Para ver esto suponga que (5)
(m) (1). Sin
prdida de generalidad supongamos que m > 0. Dado que 5 (5) (m), entonces 5 (m)
y en consecuencia m | 5 y por lo tanto m = 1, 5. 5 no puede ser por la condicin (5) (m);
as m = 1. Por lo tanto (m) = Z.
24
3) Generalizando las ideas de los ejemplos anteriores es fcil ver que en Z los nicos ideales
maximales son los ideales generados por un nmero primo.
El siguiente teorema nos proporciona una caracterizacin de los ideales maximales en trminos de un anillo cociente.
Teorema 2.3.3. Sea R un anillo conmutativo con unitario. Un ideal propio M de R es un ideal
maximal si y solo si R/M es un campo.
Demostracin. Aplique el Teorema de la correspondencia de retculos.
Tambin se puede probar como sigue. Si M es maximal, sea x + M 6= M . Luego M (
M + (x) (1), as que (1) = M + (x) y por tanto existe y R tal que 1 = m + xy, as que
1 xy M . Entonces 1 + M = (x + M )(y + M ). Recprocamente, si R/M es campo, sea I un
ideal de R tal que M I ( R. Sea x I pero x
/ M . Luego x + M 6= M y como R/M es
campo, existe y + M R/M tal que (x + M )(y + M ) = 1 + M , es decir, 1 xy M I, as
que 1 xy I y como xy I, entonces 1 I e I = R.
Es claro que el teorema slo se aplica a anillo conmutativos con unitario. Si el anillo no tiene
unitario, el cociente no tiene unitario y por tanto el cociente no ser un campo.
Ejemplos 2.3.4. 1) Sea n un entero no negativo. El ideal nZ es maximal si y solamente si
Integersn es un campo. Este es el caso, si y solamente si el cociente es un dominio entero.
Esto ltimo sucede si y solamente si n es primo.
2) El ideal (2, x) de Z[x] es maximal, pues el anillo cociente correspondiente es isomorfo a Z/2Z.
3) El ideal (x) de Z[x] no es un ideal maximal pues (x) ( (2, x) ( Z[x]. De hecho, Z[x]/(x) es
isomorfo a Z via el epimorfismo f (x) 7 f (0). Como Z no es un campo, entonces (x) no es
un ideal maximal.
4) Sea R el anillo de todas las funciones del intervalo cerrado [0, 1] a R. Para cada a [0, 1],
sea Ma = {f R | f (a) = 0}. Resulta que Ma es el n cleo del epiomorfismo evaluacin
a : R R dado por a (f ) = f (a); luego R/Ma R y se sigue que Ma es un ideal maximal.
Se sabe que si p Z es un nmero primo, este tiene la siguiente propiedad:
p | ab
p | a o p | b.
a (p) o b (p).
2.4. Ejercicios
25
Definicin 2.3.9. Un dominio de ideales principales es un dominio entero en el que cada ideal
es principal.
Teorema 2.3.10. En un dominio de ideales principales cada ideal primo no nulo es maximal.
Demostracin. Sean R un dominio un dominio de ideales principales y P = (x) 6= 0 un ideal
primo y sea (x) ( (y) (1). Entonces x (y), es decir x = yz, es decir (yz) P . Como y
/ P,
se sigue que z P , es decir z = tx para algn t R, es decir x = ytx. Como R es un dominio
entero y x 6= 0, se concluye que yt = 1, es decir (y) = (1).
Ejemplo 2.3.11. 1) En el anillo de los nmeros enteros, los ideales principales generados por
nmeros primos son tanto maximales como ideales primos. El ideal cero es primo, pero no
maximal.
2) El ideal (x) de Z[x] es un ideal primo, pues Z[x]/(x)
= Z. Este ideal no es maximal.
2.4.
Ejercicios
26
12) Sea R un anillo conmutativo; sean I y J ideales de R. Pruebe que cada uno de los siguientes
conjuntos es un ideal de R:
a) I + J = {x + y : x I, y J}
b) El conjunto IJ que consiste de todas las sumas finitas de elementos de la forma ab con
a I, b J.
c) I J = {x : x I y x J}
d) (I : J) = {x R : xy I para todo y J}
e) r(I) = {x R : n > 0, xn I}
f) = {x R : n > 0, xn = 0}.
Observe que A B A + B y que AB A B.
13) Sea R un anillo conmutativo con unitario. Pruebe que el conjunto M = {x R : 1 xy es
una unidad en R para todo y de R} es un ideal de R.
14) Sea R un anillo conmutativo con unitario y suponga que I y J son ideales de R tales que
R = I + J. Pruebe que I + J = IJ
15) Considere el anillo Z y sean = (n) = nZ, y = (m) = mZ. Exprese los ideales + ,
y en la forma rZ.
16) Sea R un anillo y n un entero. Pruebe que el conjunto I = {x R : nx = 0} es un ideal de
R.
17) Sea R un anillo conmutativo con unitario y sea {i } una familia de ideales
S de R. Suponga
que para cualesquiera ndices i, j se tiene i j o j i . Pruebe que i es un ideal de
R. Es cierto el resultado si R no es conmutativo?.
18) Sea R un anillo conmutativo con unitario y sea M un ideal propio de R. Suponga que para
cada x
/ M existe un y R tal que 1xy M. Pruebe los nicos ideales de R que contienen
a M son M y R.
19) Sea R un anillo conmutativo con unitario. Pruebe que un ideal propio M es un ideal maximal
si y solamente si para cada x R/M existe un y R tal que 1 xy M.
20) Sea R un anillo finito conmutativo con unitario. Pruebe que cada ideal primo de R es un
ideal maximal.
21) Suponga que R es un anillo conmutativo con unitario y que el ideal generado por x es un
ideal primo de R [x] . Pruebe que R es un dominio entero.
22) Pruebe que el ideal (3) de Z[i] es un ideal maximal.
23) Pruebe que si M es un ideal de un anillo con unitario R tal que R/M es un campo, entonces
M es un ideal maximal. Para esta prueba no asuma que R es conmutativo.
24) Pruebe que si R es un anillo conmutativo con unitario y P es un ideal primo de R que no
contiene divisores de cero, entonces R es un dominio entero.
25) Pruebe que si A es un ideal de Z Z, entonces A = I J, donde I, J son ideales de Z.
26) Pruebe, directamente de las definiciones de ideal maximal e ideal primo, que todo ideal
maximal de un anillo conmutativo con unitario es un ideal primo.
27) Pruebe que el ideal I = (3, x) = {3a(x) + xb(x) | a(x), b(x) Z[x]} de Z[x] no es principal.
2.4. Ejercicios
27
28) Sea p Z un nmero primo. Pruebe que el ideal I = (p, x) = {pa(x) + xb(x) | a(x), b(x)
Z[x]} de Z[x] no es principal.
29) Sea R un anillo de Boole conmutativo con unitario. Pruebe que:
a) 2x = 0 para todo x R
b) Cada ideal primo P de R es maximal y R/P es un campo con dos elementos.
c) Sean x, y R. Pruebe que el conjunto U = {ax + by : a, b R} es un ideal principal.
30) Sean R es un anillo conmutativo, P un ideal primo de R e I, J ideales de R tales que IJ P .
Pruebe que I P o J P .
31) Sean P1 , P2 , P3 ideales primos de un anillo conmutativo
con unitario R y sea U un ideal.
S
Suponga que para cada i {1, 2, 3} se tiene U j6=i Pj . Pruebe que U " P1 P2 P3 .
32) Un elemento e de un anillo R es idempotente si e2 = e. Sea R un anillo con unitario. Pruebe
que si e es idempotente y pertenece al centro del anillo, entonces
a) 1 e es idempotente
b) Los conjuntos eR = {er : r R} y (1 e)R = {(1 e)r : r R} son ideales de R y
R = eR (1 e)R.
33) Sea R un anillo conmutativo con unitario; sean A1 , . . . , An ideales de R tales que R =
A1 An 1 . Pruebe que
a) cada ideal Ai es un anillo con unitario ei ;
b) cada ei es idempotente en R.
c) ei ej = 0 para i 6= j.
34) Sea R un anillo conmutativo con unitario y sean A1 , . . . , , An ideales de R tales que R =
A1 + An .
Qn R , donde Bi = P Aj .
a) Pruebe que R =
j6=i
i=1 Bi
b) Cada Ai es un anillo conmutativo con unitario isomorfo a
R
Bi
i6=j
Ai = 0.
28
41) Suponga que R es un anillo conmutativo con unitario y que el ideal generado por x es un
ideal primo de R[x]. Pruebe que R es un dominio entero.
42) Sea : R S un epimorfismo de anillos de ncleo K.
a) Pruebe que hay una correspondencia biyectiva entre todos los ideales primos de R que
contienen a K y todos los ideales primos de S.
b) Pruebe que si J es un ideal de R, entonces cada ideal primo de R/J es de la forma P/J,
donde P es un ideal primo de R que contiene a K.
43) Sea R el anillo de las matrices racionales de 2 2. Pruebe que R no tiene ideales distintos al
(0) y a s mismo.
44) Pruebe
que el subconjunto M = {a + b 2 : 5 | y 5 | b} de Z[ 2] es un ideal maximal, y que
CAPTULO
3.1.
30
si y solo si
(re sd)d1 = 0
para algn d1 D.
3.2. Ejercicios
31
a b
ab
=
s t
st
Adems
1) Si R 6= 0 no tiene divisores de cero, entonces D1 R es un dominio entero.
2) Si R 6= 0 no tiene divisores de cero y D = R {0}, entonces D1 R es un campo.
Teorema 3.1.10. Sea D un subconjunto multiplicativamente cerrado de un anillo conmutativo
R.
1) La funcin : R D1 R dada por (r) = rd/d (para cualquier d D) es un homomorfismo
de anillos tal que (d) es una unidad en D1 R para cualquier d D.
2) Si 0
/ D y D no contiene divisores de cero, entonces es un monomorfismo. En particular,
cualquier dominio entero se puede sumergir en su campo de fracciones.
3) Si R tiene unitario y D consiste de unidades, entonces es un isomorfismo.
Teorema 3.1.11. Sean R un anillo conmutativo con unitario y D un subconjunto multiplicativamente cerrado. Si : R S es un homomorfismo de anillos tal que (d) es una unidad en S
para todo d D, entonces existe exactamente un homomorfismo de anillos : D1 R S tal
que |R = . El anillo D1 R est completamente determinado (salvo isomorfismos) por esta
propiedad.
Corolario 3.1.12. Sea R un dominio entero y F su campo de fracciones. Si : R S es un
homomorfismo de anillos tal que
a) (x) es una unidad en S para todo x R {0};
b) Cada elemento de S es de la forma (r)(d)1 .
Entonces exactamente un isomorfismo del F S
3.2.
Ejercicios
32
3) Sea D un dominio entero con unitario y sea F un campo de cocientes. sea L cualquier campo
que contenga a D. Pruebe que existe un monomorfismo : F L tal que ([a, 1]) = a para
toda a D.
4) Sea R un dominio entero y a, b D. Suponga que an = bn y que am = bm para m y n enteros
primos relativos. Pruebe que a = b.
5) Pruebe el Teorema 3.1.8:
Teorema. Sea D un subconjunto multiplicativo de un anillo conmutativo R. Se define en
R D la relacin
(r, d) (s, e)
si y solo si
(re sd)d1 = 0
para algn d1 D.
a b
ab
=
s t
st
CAPTULO
A partir de una familia (finita o infinita) de anillos, se construye un nuevo anillo, a saber,
el producto directo de anillos; tambin se estudian los homomorfismos naturales relacionados
con el producto directo, conocidos como las proyecciones e inyecciones cannicas. Como una
aplicacin de los resultados se estudia en Teorema Chino del Residuo, que es una generalizacin
del teorema del mismo nombre estudiado en teora de nmeros.
4.1.
34
iI
Ri
Rk
Teorema 4.1.4. Sea A1 , . . . , An ideales de un anillo R tales que
a) A1 + + An = R
b) Para cada k, (1 k n),
Ak
Ai = 0
i6=k
Entonces R
= A1 An .
4.2.
En lo que resta de esta seccin se considerarn nicamente anillos conmutativos con unitario
1 6= 0.
Definicin 4.2.1. Los ideales A y B de un anillo R son comaximales o primos relativos si
A + B = R.
Teorema 4.2.2 (Teorema Chino del Residuo). Sean A1 , . . . , Ak ideales del anillo R. La funcin
: R R/A1 R/Ak dada por
(r) = (r + A1 , . . . , r + Ak )
es un homomorfismo de anillos cuyo ncelo es A1 Ak . Si para cada i, j {1, . . . , k} con
i 6= j se tiene que Ai y Aj son primos relativos, entonces este homomorfismo es suprayectivo y
A1 Ak = A1 Ak as que
R/(A1 A2 Ak ) = R/(A1 A2 Ak )
= R/A1 R/A2 R/Ak .
Corolario 4.2.3. Sean m, n primos relativos. Entonces
Z/mnZ
= Z/mZ Z/nZ
Demostracin. Como (m, n) = 1, se sigue que (m) (n) = (m)(n) = (mn).
Ejercicio 4.2.4. Sea {Ri | i I} una familia de anillos con unitario. Pruebe que
Q
iI Ri .
iI
Ri
4.3. Ejercicios
35
Corolario 4.2.5. Sea n un entero positivo y sea n = pn1 1 pn2 2 pnk k su factorizacin en primos
diferentes. Entonces se tiene el siguiente isomorfismo de anillos
n
Z/nZ
= (Z/pn1 1 Z) (Z/pn2 2 Z) (Z/pk k Z) .
n
(Z/nZ)
= (Z/pn1 1 Z) (Z/pn2 2 Z) (Z/pk k Z) .
Comparando los dos lados del ltimo isomorfismo, se obtiene la frmula para la funcin
de Euler :
(n) = (pn1 1 )(pn2 2 ) (pnk k ).
4.3.
Ejercicios
36
CAPTULO
En este captulo consideraremos la teora elemental de divisibilidad en anillos conmutativos, razon por la cual a lo largo de este captulo siempre que hablemos de anillos, estos sern
conmutativos, a menos que se especifique lo contrario.
5.1.
Ejemplo
5.1.1. Consideremos el
el cual tiene solucin entera (x, y) = (1, 1). As que 28 10 =(2 3 10)(1
+ 10). Tambin
se puede calcular
escribirlo en
el cociente en el campo de fracciones (28 10)/(2 3 10),
la forma a + b 10 (racionalizando)
y
ver
que
el
resultado
est
en
el
anillo
Z[
10]. Por tanto
a | b. Los elementos a1 =5 2 10 y b1 = 5
10 son asociados. Se tiene que a1 | b1 y b1 | a1
puesto que b1 = a1 (3 + 10) y a1 = b1 (3 + 10).
El siguiente teorema presenta los resultados principales acerca de los asociados en un anillo
con unitario.
37
38
39
2) c es irreducible si, y solo si, (c) es un ideal principal maximal no nulo. En particular, si R
es DIP, entonces c es irreducible si, y solo si, (c) es un ideal maximal no nulo.
3) Cada elemento primo de R es irreducible.
4) Si R es un DIP, entonces p es primo si, y solamente si, p es irreducible.
5) Cada asociado de un elemento irreducible (respectivamente elemento primo) de R es irreducible (respectivamente primo).
6) Los nicos divisores de un elemento irreducible de R son sus asociados y las unidades de R.
Demostracin. 1) Sean p un elemento primo de R y P = (p). Luego p no es cero ni unidad, por
lo que P no es cero ni R. Si ab P , entonces p | ab y como p es elemento primo p | a o p | b,
es decir a P o b P . Recprocamente, si P es un ideal primo no nulo, entonces P es un
ideal propio no nulo, es decir p no es unidad y tampoco es cero. Si p | ab, entonces ab P y
como P es ideal primo, a P o b P , es decir, p | a o p | b.
Ejemplo 5.1.7. Sea R el anillo Z[ 10]. Cada uno de los elementos 2, 3, 4 10 son elementos
irreducibles, pero ninguno es primo.
Recuerde que un elemento a+b 10 es una unidad si y solo si N (a+b 10) = a2 10b2 = 1.
Por lo tanto, ninguno de los elementos dados es una unidad. Para ver que 2 es irreducible,
suponga que 2 = . Luego
4 = N (4) = N ()N ()
As que N () {1, 2, 4}. Si N () = 1, entonces es una unidad; si N () = 4, entonces
es una unidad. Veamos que no es posible N () =
2.
Observe que tanto 2 como 3 dividen a 6 = (2 10)(2 + 10), pero 2 no divide a ninguno
de los factores y 3 tampoco.
Definicin 5.1.8. Sean R un anillo conmutativo y a, b R, con b 6= 0. Un elemento d de R es
un mximo comn divisor de los elementos a y b de R si
1) d | a y d | b, y
2) Si d0 | a y d0 | b, entonces d0 | d.
Se escribir mcd(a, b) para denotar a un mximo comn divisor de a y b.
Ejemplos 5.1.9. 1) En general, dado un par de elementos de un anillo conmutativo, no es
necesario que exista un mnimo comn divisor. Por ejemplo en el anillo 2Z, para los elementos
2 y 4 existe un mximo comn divisor. En efecto si d es un divisor comn de 2 y 4, entonces
d | 2 pero esto no es posible puesto que el 2 no tiene divisores en este anillo.
2) Un mximo comn divisor de 2 y x en R = Z[x] es 1 (otro es 1). Sea d R un divisor
comn de 2 y x. Entonces d | 2, es decir 2 = dq para algn q R. Comparando los grados,
se ve que tanto q como d son de grado cero, es decir, son elementos de Z.Los nicos divisores
de 2 en 1, 2. Pero ni 2 ni 2 dividen a x en R. Los nicos divisores comunes de 2 y x son
1.
La definicin de mximo comn divisor se puede reescribir en trminos de ideales como sigue.
Proposicin 5.1.10. Sea I el ideal generado por a y b. Entonces d es un mximo comn divisor
de a y b si y solamente si d es un generador del ideal principal ms pequeo que contiene a a y
b. Ms precisamente, d es un mximo comn divisor si
40
1) I (d)
2) Si I (d0 ), entonces (d) (d0 ).
Teorema 5.1.11. Sean R un anillo conmutativo y a y b elementos no nulos de R tales que el
ideal generado por a y b es el ideal principal (d). Entonces d es un mximo comn divisor.
Demostracin. Como (a, b) es principal y es el ideal ms queo que contiene a a y b, el resultado
se sigue de la proposicin anterior.
Corolario 5.1.12. 1) Sea R un dominio entero. Entonces d y d0 son dos mximos comunes
divisores de a y b si y solamente si d = d0 u para alguna unidad u R.
2) Sea R un dominio de ideales principales. Entonces, cualesquiera dos elementos a, b R tiene
al menos un mximo comn divisor. Ms aun, si d es un mximo comn divisor, entonces
existen elementos r, s R tales que d = ar + bs.
Demostracin. 1) Como d y d0 son mximos comunes divisores se sigue que (d) = (d0 ), luego d
y d0 son asociados y el resultado se desprende del hecho que R es un dominio entero.
Observacin 5.1.13. De acuerdo con el teorema, si (a, b) = (d), entonces d es un mximo
comn divisor. Sin embargo, esta condicin no es necesaria, es decir, si d es un mximo comn
de a y b, entonces no necesariamente se cumple (d) = (a, b).
Ejemplo 5.1.14. En el anillo R = Z[x], el ideal I = (2, x) es un ideal maximal que no es
principal. As que el ideal ms pequeo que contiene a 2 y x es (1). Por lo que 1 es un mximo
comn divisor, pero no es cierto que R = (2, x).
Ejercicio 5.1.15. Sea R un anillo conmutativo. Sean a y b elementos de R.
1) Sea d un mcd de a y b. Pruebe que {d0 : d0 es un mcd de a y b} = {d0 : d0 es un asociado de
d} es no vaco.
2) Pruebe que R es un domino entero con unitario, entonces el mcd (cuando existe) es nico
salvo unidades.
5.2.
Dominios euclidianos
41
3) Pruebe que en el anillo de los enteros gaussianos Z[i] = Z[ 1], es un dominio euclidiano
con la norma N (z) = zz, es decir N (a + bi) = a2 + b2 .
Sean = a + bi y = c + di dos elementos de Z[i], con 6= 0.
2) Sea R = Z[ 5]
y N la norma N (a + b 5) = a2 + 5b2 . A continuacin se muestra que el
ideal I = (3, 2 + 5) noes principal. En primer lugar observe que I 6= R. Si lo fuera,
se
tendra que 1 = 3x + (2 + 5)y, donde x, y R. Multiplicando ambos lados por 2 5,
se tiene
2 5 = 3(2 5) + 9
= 3(c + d 5),
donde c, d Z. Esto es una contradiccin pues 3 no divide a 2.
(0)
b = q1 r0 + r1 ,
(1)
r0 = q2 r1 + r2 ,
..
.
(2)
rn2 = qn rn1 + rn ,
rn1 = qn+1 rn ,
(n)
(n+1)
42
43
1D 2
b =
4
2
19
1
a + b + b2 0.
2
4
5.3.
Recuerde que un Dominio de Ideales Principales (DIP) es un dominio entero en el que cada
ideal es principal (Vea la Definicin 2.3.9).
De acuerdo con el Teorema 5.2.5, cada Dominio Euclidiano es un DIP. El recproco no es
cierto, es decir, hay dominios
de ideales principales que no son dominios euclidianos. En esta
seccin se probar que Z[(1 + 19)/2] es un dominio de ideales principales.
A continuacin una recopilacin de resultados previos.
Teorema 5.3.1. Sea R un dominio de ideales principales.
1) Resultados acerca del mximo comn divisor.
a) Cualesquiera dos elementos no nulos de R tiene un mximo comn divisor.
b) El mximo comn divisor de a y b se puede escribir como una R-combinacin de lineal a
y b.
c) El mximo comn divisor es nico salvo multiplicacin por unidades.
2) Cada ideal primo no nulo de R es un ideal maximal.
Corolario 5.3.2. Sea R un anillo conmutativo tal que R[x] es un dominio euclidiano. Entonces
R es un campo. Recprocamente, si R es un campo, entonces R[x] es un dominio euclidiano.
Demostracin. Dado que R[x] es un dominio de ideales principales, debe ser un dominio entero,
as que R tambin tiene que ser un dominio entero (Observe que el unitario de R[x] es tambin
el unitario de R: si e(x) R[x] es el unitario se tiene que a(x)e(x) = a(x) para todo a(x) R[x].
De aqu que deg e(x) = 0 y por tanto est en R). Ahora bien, el ideal principal (x) es primo
ya que R[x]/(x)
= R con R dominio entero. Pero como (x) 6= 0, se tiene que (x) tambin es un
ideal maximal, as que R[x]/(x) es un campo y por tanto R es un campo.
Si R es un campo, entonces el anillo de polinomios R[x] es un dominio euclidiano y por lo
tanto es un dominio de ideales principales.
44
Definicin 5.3.3. Sea R un dominio entero. Una norma de Dedekind-Hasse es una norma
positiva N tal que para cualesquiera elementos distintos de cero a, b R se tiene que b | a o
existen s, q, r R tales que sa = bq + r con 0 < N (r) < N (b).
Ejemplo 5.3.4.
Todos los dominos euclidianos poseen una norma de Dedekind-Hasse. Por lo tanto, el anillo de
los enteros y el anillo de los enteros gaussianos poseen una norma de Dedekind-Hasse, a saber,
la norma euclidiana.
A continuacin una caracterizacin de los dominios de ideales principales en trminos de las
normas de Dedekind-Hasse.
Teorema 5.3.5. Sea R un dominio entero. R es un DIP y solo si R tiene una norma de
Dedekind-Hasse.
Demostracin. Vamos a suponer que R tiene una norma N de Dedekind-Hasse. Sea I un ideal de
R que no sea cero y sea b I tal que N (b) sea mnimo. Si a I. Si existieran s, q, r R tales que
sa = bq + r con 0 < N (r) < N (b), se contradira la minimalidad de N (b), pues r = sa bq I
con r 6= 0 y N (r) < N (b). Por lo tanto b | a y a (b). Esto prueba que I = (b).
La condicin suficiente se probar ms adelante.
0 < N s t < 1.
(*)
a+b 19
Sean a, b, c enteros primos relativos, con c > 1 tales que
. Dado que a, b, c son
=
c
primos relativos existen enteros x, y, z tales que ax + by + cz = 1. A continuacin se divide
ay 19bxentre c y se escribe
ay 19bx = cq + r, donde q, r son enteros y |r| c/2. Sean
s = y + x 19 y t = q z 19 y note que ambos son elementos de R:
1 + 19
s = y + x 19 = y x + 2x
.
2
Se tiene
N
5.4.
(ay 19bx cq)2 + 19(ax + by + cz)2
r2
19
1 19
s t =
= 2 + 2 + 2.
2
c
c
c
4
c
45
Ejemplo 5.4.2. 1) Un campo F es trivialmente un DFU, pues cada elemento distinto de cero
es una unidad. Es decir, los campos son DFU por vacuidad.
2) Por supuesto, que el anillo de los nmeros enteros es un DFU.
3) El dominio entero con unitario D = a + b 10 | a, b Z no es un DFU. En efecto, el 6 se
puede factorizarde al menos
dos maneras diferentes en productos de irreducibles, a saber,
6 = 3 2 = (4 + 10)(4 10), y ni 2 ni 3 son asociados de alguno de los factores en el lado
derecho.
4) El subanillo de los enteros gaussianos R = Z[2i] = {a + 2bi | a, b Z} es un dominio entero
que no es dominio de factorizacin nica. Los elementos 2 y 2i son irreducibles que no son
asociados en R; adems 4 = 2 2 = (2i) (2i)
entero que no
5) El anillo de los enteros cuadrticos Z[ 5] es otro ejemplo de una
dominio
es un dominio de factorizacin nica, ya que 6 = 2 3 = (1 + 5)(1 5) son dos
factorizaciones distintas de 6 en factores irreducibles.
Teorema 5.4.3. En un dominio de factorizacn nica un elemento es un elemento primo si y
solamente si es irreducible.
Demostracin. En general, en los dominios enteros, ser primo implica ser irreducible.
En los dominios de factorizacin nica, cualesquiera dos elementos distintos de cero tiene un
mximo comn divisor.
Teorema 5.4.4. Sea R un DFU y sean a, b R con ab 6= 0. Suponga que
a = upe11 pe22 penn ,
son las factorizaciones primas de a y b, respectivamente, donde u, v son unidades, y los primos
p1 , . . . , pn son todos distintos entre s y los exponentes ei , fi 0. Entonces el elemento
mn{e1 ,f1 } mn{e2 ,f2 }
p2
d = p1
pnmn{en ,fn }
46
Ejemplo 5.4.9. Calcule un mximo comn divisor de los enteros gaussianos 6 + 17i y 9 + 32i,
de dos maneras diferentes, uno utilizando el Algoritmo de la Divisin y el otro encontrando la
factorizacin prima de los elementos.
32i 9 = (17i + 6)(i + 2) 8i 4
17i + 6 = (8i 4)(2) + i 2
8i 4 = (i 2)(4i)
De esta manera se tiene que el mcd(32i 9, 6 + 17i) = i 2.
Otra forma de encontrar el mximo comn divisor es factorizando cada elemento en factores
primos. El problema no es sencillo si no conocemos las factorizaciones primas. Note que
(2 i)(1 + 2i)(3 + 2i) = 6 + 17i,
Se deja de ejercicio probar que cada uno de los factores es un irreducible. Note que 2 i, 1 + 2i,
1 2i son esencialmente el mismo irreducible, i.e., son asociados. Por tanto un mximo comn
divisor es 2 i.
5.5.
En esta seccin determinaremos todos los enteros gaussianos que son irreducibles.
Consideremos el anillo de los enteros gaussianos con la norma usual N (a + bi) = a2 + b2 .
Proposicin 5.5.1. Si Z[i] es tal que N () Z un nmero primo, entonces es primo
en Z[i].
Demostracin. Supongamos que = con y enteros gaussianos. Entonces
N () = N ()N ()
Como N () es un nmero primo, se sigue que N () = 1 y N () = p o viceversa, de tal manera
que o es una unidad en Z[i].
Proposicin 5.5.2. Si = a + bi Z[i] es irreducible (primo), entonces existe un primo p Z
tal que a2 + b2 = p o a2 + b2 = p2 . Adems, si a2 + b2 = p2 , entonces a = 0 o b = 0.
Demostracin. Sea () ideal principal de Z[i] generado por . Entonces P = () Z resulta ser
un ideal primo de Z. En efecto, si a, b Z son tales que ab P, entonces ab () y como ()
es ideal primo en Z[i], se sigue que a () o b (). Luego a P o b P. Adems este ideal
primo no es nulo, ya que N () = 6= 0 pertenece a () y tambin pertenece a Z, es decir
N () P. Como Z es un dominio de ideales principales, se sigue que P = pZ para algn p Z,
que adems es primo ya que P es ideal primo. En virtud de que p () Z, se concluye que
existe Z[i] tal que p = . Tomando normas se tiene p2 = N ()N (); como no es una
unidad, entonces N () solo puede tomar los valores p o p2 . Observe que si N () = p2 , entonces
N () = 1 y entonces = p 1 {p, p, ip, ip}. Se concluye que si N () = p2 , entonces a = 0
o b = 0.
Corolario 5.5.3. Sea = a + bi un entero gaussiano tal que a 6= 0 6= b. Entonces es primo
en Z[i] si y solamente si a2 + b2 = p para algn primo p Z.
Hay primos que s se pueden escribir como la suma de dos cuadrados de enteros y hay otros
que no. 3 no se puede escribir como la suma de dos cuadrados de nmeros enteros; 2 y 5 si se
pueden escribir de esa manera.
2 = 12 + 12 = (1 + i)(1 i) = i(1 + i)2
5 = 12 + 22 = (1 + 2i)(1 2i) = (2 + i)(2 i)
47
Proposicin 5.5.4.
1) Si a Z, entonces a2 0 m
od 4 o a2 1 mod 4.
2) Si a, b Z, entonces a2 + b2 0, 1, 2 mod 4
3) Si p Z es primo impar y p = a2 + b2 para algunos a, b Z, entonces p 1 mod 4.
4) Si p Z es un primo de la forma 4k + 3, entonces p no se puede escribir como la suma de
dos cuadrados de enteros y p es primo en Z[i].
Demostracin. Todas las afirmaciones se siguen de la primera. Si a Z, entonces existen enteros
q, r tales que a = 2q + r con 0 r < 2. Entonces a2 = 4q 2 + 4qr + r2 = 4(q 2 + qr) + r2 con
r2 = 0, 1.
Dicho de otra manera, cuando a Z se ve en Z/4Z, a2 = 0 o a2 = 1. En Z/4Z, 02 = 0,
2
1 = 1 y 22 = 0 y 32 = 1.
Los candidatos a escribirse como la suma de dos cuadrados de enteros son los primos de la
forma 4k + 1.
Proposicin 5.5.5. Un nmero primo p Z divide a un entero de la forma n2 + 1 si y
solamente si p = 2 o p 1 m
od 4.
Demostracin. ) Supongamos primero que existe n Z tal que p divide a n2 + 1 y que p 6= 2.
Trabajando en el anillo cociente Fp = Z/pZ esto significa que n2 1 mod p o bien que
n2 = 1 en Z/pZ. Veamos que n 6= 1 y que n es un elemento de orden 4. Observe que n 6= 1,
pues de ser as se tendran las siguientes igualdades en Z/pZ: 1 = n2 = 1 y eso sucede si y solo
si p = 2. Tampoco es cierto que n3 = 1, pues de ser as,
1 = n3 = n2 n = n
Es decir, n = 1 y por tanto 1 = n2 = n n = (1)(1) = 1. Finalmente, n4 = 1. Tambin se
tiene que n (Z/pZ) (si n y p no fueran primos relativos se tendra que p | n y de aqu que
2
2
p | n y como p | n + 1 se tendra que p | 1). Luego n es un elemento de orden cuatro en el
grupo de las unidades de Z/pZ que tiene orden p 1. Luego 4 | p 1.
) Si p = 2, claramente se ve que p divide a 12 + 1. Supongamos pues que p es un primo de
la forma 4k + 1. Los pasos de la prueba son:
1) (Z/pZ)
3) De acuerdo con el Teorema de Cauchy, el grupo cociente (Z/pZ) /N tiene un subgrupo H/N
de orden 2, donde H es un subgrupo de (Z/pZ) de orden 4 que contiene a N = {1, 1}.
4) H contiene un elemento n que no es 1; el elemento n tiene no puede tener orden 2, pues en
48
5.6.
Ejercicios
1) Pruebe que el ideal I = (3, x) = {3f (x) + xg(x) | f (x), g(x) Z[x]} no es un ideal principal
en Z[x]. Concluya que Z[x] no es un DIP.
2) Encuentre un generador para el ideal (i 8, 7i 6) de Z[i].
3) Sean R un dominio entero y c R. Pruebe que f (x) R[x] es irreducible en R[x] si y
solamente si f (x c) es irreducible en R[x].
4) Pruebe que el anillo Z[i]/(2 + 3i) es un anillo finito. Es un campo este anillo?
5) Pruebe que el anillo Z[i]/ (2 + 4i) es un anillo finito. Determine si este anillo es un campo.
6) Pruebe que si Z[i] es un elemento primo, entonces existe un nmero entero primo p Z,
y slo uno, tal que | p.
7) Pruebe que los anillos Z[i]/(1 + 3i) y Z/10Z son isomorfos.
8) Sin usar el hecho de que (2 + i) es un ideal maximal en Z[i], pruebe que Z[i]/(2 + i) es un
campo (Sugerencia: Use el algoritmo de la divisin).
9) Sin utilizar el hecho de que el ideal (1 i) es un ideal maximal en Z[i], pruebe que Z[i]/ (1 i)
es un campo.
10) Sin usar el hecho de que (1 + i) es un ideal maximal en Z[i], pruebe que Z[i]/(1 + i) es un
campo (Sugerencia: Use el algoritmo de la divisin).
11) Pruebe que Z[i]/(2 + i)
= Z/5Z.
12) Pruebe que Z[i]/(1 + i)
= Z/2Z.
13) Pruebe que los anillos Z[i]/(1 + 3i) y Z/10Z son isomorfos.
5.6. Ejercicios
49
14) Considere el ideal I = {a + bi Z[i] : 5 | a y 5 | b} del anillo de los enteros gaussianos. Pruebe
que Z[i]/M
= Z/5Z Z/5Z.
15) Considere los ideales (2), (5), (7), y (1 + i) del anillo de los enteros gaussianos. Pruebe que
a) los anillos cociente Z[i]/(2) y Z[i]/(5) no son dominios enteros.
b) Z[i]/(7) y Z[i]/(1 + i) son campos de caracterstica 7 y 2 respectivamente.
16) Factorice el entero gaussiano 4 + 3i en un producto de irreducibles en Z [i] .
17) Sean R un Dominio Euclidiano con norma N y m = mn{N (a) | a R, a 6= 0}. Pruebe que
cada elemento en R distinto de cero de norma m es una unidad.
18) Sean R un dominio de ideales principales y P un ideal primo. Pruebe que R/P es un dominio
de ideales principales.
19) Considere el anillo R = Z 7 . Pruebe que:
a) 2, 7 y 1 + 7 son irreducibles en R.
b) R no es un dominio de factorizacin nica.
20) Considere el anillo Z[ 10] = a + b 10 : a, b Z . Pruebe que los elementos 2, 3, 4 + 10
son elementos irreducibles de R pero no son elementos primos.
21) Pruebe que el anillo de los polinomios con coeficientes enteros Z[x] no es un dominio de
ideales principales, mostrando que el ideal I = {3a(x) + b(x)x | a(x), b(x) Z[x]} de Z[x] no
es principal.
50
28) Marque con V o F cada una de las siguientes afirmaciones, segn sean verdaderas o falsas.
El nmero 109 en Z es un elemento primo en Z[i]
En Z[i] los enteros gaussianos 103 + 79i y 23 + 43i no tienen un mximo
comn divisor
Cada elemento de un dominio entero R es una unidad en el campo de cocientes F de R (Considere R F ).
1 + i divide a 1 + 2i en Z[i].
Si N es una norma en un dominio euclidiano R, entonces N (1) < N (a) para
todo a R, a 6= 0.
Todo DIP es un dominio euclidiano.
Un mximo comn divisor de 5 y 7 en Q es 35
La congruencia x2 1 mod 29 tiene solucin.
La funcin N definida en Z[x] dada poro N (f ) = deg f (x), define una norma
euclidiana.
Si Z[i] es tal que N () es un nmero primo en Z, entonces es un
elemento primo en Z[i].
CAPTULO
Anillos de polinomios
6.1.
Definicin 6.1.1. Sean R un anillo y t una indeterminada. Un polinomio sobre R en la indeterminada t es una suma formal
a0 + a1 t + + an tn
donde a0 , a1 , . . . , an son elementos del anillo R, y n 0 es un entero. Los elementos a0 , a1 , . . . , an
son los coeficientes del polinomio. El conjunto de todos los polinomios sobre R ser denotado
por R[t] y nos referiremos a l como el anillo de polinomios sobre K en la indeterminada t.
Los trminos de la forma 0tm pueden ser omitidos o reemplazados por 0. Si R tiene unitario,
los trminos de la forma 1tm se pueden escribir simplemente tm . As por ejemplo, en vez de
escribir 2 + 3t + 0t2 + 0t3 + 1t4 , podemos escribir 2 + 3t + t4 . Tambin se adopta la convencin
usual de escribir atm en vez de (a)tm . De esta manera, en vez de escribir (1) + 2t + (3)t2
simplemente escribimos 1 + 2t 3t2 . No es necesario escribir los trminos de un polinomio
siempre en el mismo orden. Por ejemplo, el polinomio a0 + a1 t + a2 t2 + a3 t3 lo podemos escribir
a0 + a2 t2 + a1 t + a3 t3 o tambin a3 t3 + a2 t2 + a1 t + a0 . El polinomio cuyos coeficientes son todos
cero 0 + 0t + 0t2 + + 0tn es el polinomio cero y se escribePsimplemente 0.
En vez de escribir a0 + a1 t + a2 t2 + + an tn escriba k0 ak tk donde la suma es sobre
todos los enteros k 0 y ak = 0 para toda k > n. Diremos que los polinomios
X
X
f=
ak tk ,
g=
bk tk
k0
k0
son iguales si y slo si ak = bk para toda k 0. En palabras, dos polinomios son iguales si y
solamente si los correspondientes coeficientes son iguales, en el entendido de que las potencias
de t que no aparezcan
cero.
P i tienen
Pcoeficiente
Sean f =
ai t y g =
bi ti dos polinomios. Se define la suma y la multiplicacin de f y
g como sigue:
X
X
X X
f +g =
(ak + bk )tk ,
fg =
ai bj tk =
ck tk ,
k0
k0
51
i+j=k
k0
52
6. Anillos de polinomios
donde
ck =
X
i+j=k
ai bj =
k
X
ai bki = a0 bk + a1 bk1 + + ak b0 .
i=0
53
54
6. Anillos de polinomios
As, el inverso aditivo de f es f =
abeliano.
x
y
k
P
f g = k xk , donde k = i+j=k bi cj y k = r+s=k ar bs . Entonces
f (gh) =
ak xk
k xk =
(f g)h =
k x k
ck xk =
br c s =
k xk ,
k xk .
donde,
X
k =
ai j =
ai
r+s=j
i+j=k
i+j=k
i+j=k
r+s=i
ai br cs ,
i+r+s=k
!
k =
i+j=k
i cj =
ar bs
cj =
ar bs cj .
r+s+j=k
Luego k = k para toda k y por tanto f (gh) = (f g)h. Dejamos que el lector verifique la
propiedad distributiva: f (g + h) = f g + f h.
La funcin : R R[x] dada por (a) = ax0 es un monomorfismo de anillos, de tal manera
que R[x] contiene una copia isomorfa de R.
2) Supongamos que R es conmutativo. Se tiene
X
X
X X
ak xk
bk xk =
ai bj xk
k0
k0
k0
i+j=k
bj ai xk
k0
j+i=k
bk x k
k0
ak xk
k0
i=0
k0
i=0
k0
con lo que queda probado que el polinomio constante 1 es el elemento unitario del anillo
R[x].
Definicin 6.1.4. El grado de un polinomio distinto de cero, es el mximo grado de los trminos
que tienen coeficiente distinto de cero. El grado del polinomio cero es , donde es un
smbolo sujeto a las siguientes convenciones: Para cualquier entero n se tiene
n > ,
n = ,
+ n = ,
2
() = .
+ () = ,
55
f g = 1,
g 3 = 0.
ai bj =
k
X
ai bki =
i=0
i+j=k
n
X
i=0
ai bj +
k
X
ai bj = 0.
i=n+1
ai bj =
i+j=n+m
m+n
X
i=0
ai bm+ni =
n1
X
i=0
ai bj + an bm +
m+n
X
ai bj = an bm 6= 0,
i=n+1
56
6. Anillos de polinomios
(ai )xi
ai xi =
es un homomorfismo de anillos. Si es suprayectivo o inyectivo, entonces el homomorfismo
inducido tambin lo es.
Proposicin 6.1.11. Sea I un ideal de un anillo conmutativo con unitario R. Entonces el ideal
de R[x] generado por I es I[x], el conjunto de todos los polinomios con coeficientes en I.
Demostracin. Es fcil verificar que I[x] es un ideal de R y adems I[x] contiene a I. Observe que
la conmutatividad es importante, pues de otra
I[x] no sera cerrado bajo el producto.
P manera,
Luego (I) I[x]. Por otro lado, si f (x) =
ai xi I[x], entoncesP
ai I; como x R[x] pues
R tiene unitario, se tiene que ai xi (I) para i 0 y tambin f =
ai xi (I).
Teorema 6.1.12. Sean R un anillo conmutativo con unitario e I un ideal de R. Entonces
R[x]/I[x]
= (R/I)[x].
En particular, si I es un ideal primo de R, entonces I[x] es un ideal I[x] es un ideal primo.
Demostracin. Sea : R[x] (R/I)[x] epimorfismo natural inducido por el epimorfismo R 7
R/I. Observe que (f ) = 0 si y solamente si los coeficientes de f pertenecen a I, es decir
ker = I[x] (Esto nos da otra demostracin de que I[x] es un ideal de R[x]). Tambin se
tiene que el ncleo de es el ideal ms pequeo que contiene a I. En efecto, si J es un ideal
de R[x] que contiene a I, entonces {0} = (I) (J), as que al tomar imgenes inversas
ker = 1 ({0}) 1 ((J)) = J (Recuerde que en general, J 1 ((J)) y la otra
inclusin se da usando que es un homomorfismo de anillos). As I ker J.
Si I es un ideal primo, entonces R/I es un dominio entero, (R/I)[x] es un dominio entero
y por lo tanto R[x]/I[x] tambin es un dominio entero y queda probado que I[x] es un ideal
primo.
Ser cierto que si I es un ideal maximal de R, entonces I[x] es un ideal maximal de R[X]?
La respuesta es no.
Ejemplo 6.1.13. Sea R el anillo de los enteros e I = nZ. De acuerdo con el teorema anterior,
se tiene
Z[x]/nZ[x]
= Z/nZ[x].
Si n es un nmero compuesto, entonces el anillo cociente Z[x]/nZ[x] no es un dominio entero.
Si p es un nmero primo, entonces pZ es un ideal primo; ms an, es un ideal maximal, as que
Z[x]/pZ[x]
= Z/pZ[x] y pZ[x] es un ideal primo, pero no maximal ya que Z/pZ[x] es un dominio
entero, pero no un campo.
Ejercicio 6.1.14. Sea R un anillo conmutativo con unitario y sea r R. Pruebe que (rR)[x] =
r(R[x]) (Recuerde que rR es el ideal de R generado por r y r(R[x]) es el ideal de R[x] generado
por el polinomio constante r).
57
d = (d1 , d2 , . . . , dn ) Nn0
Un trmino monomial es un coeficiente multiplicado por un monomio axd = axd11 xd22 xdnn ,
donde a R. Un polinomio en las indeterminadas x1 , x2 , . . . , xn es una suma finita de la forma
f (x1 , x2 , . . . , xn ) =
finita
X
ad xd =
dNn
0
De manera alternativa,
f (x1 , . . . , xn ) =
m
X
i=0
!
X
d
ad xd
bd xd
ai bj xk
i+j=k
g = xy + y 2 1
58
6. Anillos de polinomios
6.1.1.
Sea R un anillo y sea R[x] el conjunto de todas las sucesiones (a0 , a1 , a2 , . . . , ) de elementos
de R tales que ai = 0 para casi toda i, es decir, ai = 0 excepto para un nmero finito de valores
de i. De manera equivalente, R[x] es el conjunto de todas las sucesiones (a0 , a1 , a2 , . . . , ) para
las cuales existe un entero N 0 tal que an = 0 para todo n N . En R[x] se definen la suma
y la multiplicacin como sigue
(a0 , a1 , . . . ) + (b0 , b1 , . . . , ) = (a0 + b0 , a1 + b1 , . . . )
(a0 , a1 , . . . ) (b0 , b1 , . . . , ) = (c0 , c1 , . . . )
donde
ck =
ai bj =
i+j=k
k
X
ai bki .
i=0
59
donde f, g R[x1 , . . . , xn ].
2) Si R es conmutativo (anillo con unitario, anillo sin divisores de cero o dominio entero,
respectivamente), entonces R[x1 , . . . , xn ] tambin lo es.
3) La funcin R R[x1 , . . . , xn ] dada por r 7 fr , donde fr (0, . . . , 0) = r y fr (u) = 0 para
todos los otros elementos u Nn0 es un homomorfismo de anillos.
Demostracin. La prueba se deja de ejercicio.
A continuacin se define el anillo de polinomios en una cantidad arbitraria de variables con
coeficientes en una anillo R.
Sea S un conjunto de variables independientes y R un anillo. El anillo de polinomios en
S sobre R es el conjunto de todas las sumas finitas de trminos monomiales de la forma
axk11 xk22 xknn , donde a R, xi S y ki N0 . De manera alternativa,
[
R[S] =
R[S0 ],
S0 S
6.2.
En esta seccin consideraremos polinomios cuyos coeficientes pertenecen a un campo. Primero veamos que Algoritmo de la Divisin para polinomios.
Sea R un dominio entero. Definamos una norma en R[x] estableciendo que N (0) = 0 y
N (f (x)) = deg f (x). Observe que la norma no es positiva, pues si N (r) = 0 para todo r R.
Teorema 6.2.1 (Algoritmo de la divisin). Sea R un dominio entero. Sean f (x), g(x) R[x]
con g(x) 6= 0 y suponga que el coeficiente principal de g es una unidad en R. Entonces existen
polinomios nicos q(x), r(x) R[x] tales que
f (x) = g(x)q(x) + r(x)
deg
g(x),
dividamos
r(x)
=
a
x
entre
g(x) =
i
i=0
Pm
i
b
x
utilizando
el
algoritmo
usual
de
la
caja:
i
i=0
nm
nm
r(x) an b1
g(x) = f (x) g(x)q(x) an b1
g(x)
m x
m x
1 nm
= f (x) g(x) q(x) + an bm x
60
6. Anillos de polinomios
Observe que es posible realizar la divisin ya que bm es una unidad en R. El elemento que se
acaba de obtener pertenece a S pero tiene grado menor que r(x), lo cual es una contradiccin.
Luego deg r(x) < deg g(x).
Para la unicidad, supongamos que q1 y r1 son polinomios que satisfacen las mismas condiciones que q y r. Entonces f = gq + r = gq1 + r1 . Es decir g(q q1 ) = r1 r. Como el grado
de un producto es la suma de los grados, si q q1 6= 0, se tendra que el grado del polinomio
en el lado izquierdo sera estrictamente al menos deg g(x); por otro lado, el grado del polinomio
r1 r es estrictamente menor deg g(x). Luego tiene que ser q q1 = 0 y por lo tanto tambin
r1 r. As q = q1 y r = r1 .
Se puede dar una prueba alternativa de la existencia de q(x) y r(x) como sigue. Si f (x) es
el polinomio cero, se toma q(x) = r(x) = 0. Supongamos entonces que f (x) 6= 0 y probemos la
existencia de q(x) y r(x) por induccin sobre n, el grado de f (x). Supongamos que el grado de
g(x) es m. Si n < m, tomamos q(x) = 0 y r(x) = f (x). Si n m, dividimos f (x) entre g(x):
Consideremos ahora el polinomio
f1 (x) = f (x)
an nm
t
g(x)
bm
cuyo grado es estrictamente menor que el grado de f . Aplicando la hiptesis de induccin a f1 (x)
se sigue que existen polinomios q1 (x) y r(x) tales que f1 (x) = g(x)q1 (x)+r(x) con deg r < deg g.
Entonces
f (x) =
donde q(x) =
an nm
an nm
x
g(x) + f1 (x) =
x
g(x) + q1 (x)g(x) + r(x) = g(x)q(x) + r(x)
bm
bm
an nm
bm x
Corolario 6.2.2. Sea K un campo. Si f (x), g(x) F [x], con g(x) 6= 0, entonces existen
polinomios nicos q(x), r(x) F [x] tales que f (x) = g(x)q(x) + r(x) con deg r(x) < deg g(x).
Si F es un campo, entonces F [x] es un dominio euclidiano con la norma N (f (x)) = deg f (x)
para f (x) 6= 0 y N (0) = 0.
Corolario 6.2.3. Si F es un campo, entonces F [x] es un dominio euclidiano. En particular,
1) F [x] es un DIP.
2) F [x] es un DFU.
3) Cualesquiera dos elementos f (x), g(x) F [x] tiene un mximo comn divisor, el cual se
puede expresar como una F [x]-combinacin lineal de f (x) y g(x).
4) Los conceptos de primo e irreducible coinciden en F [x].
5) p(x) F [x] es irreducible en F [x] si y solo si el ideal (p(x)) es un ideal maximal.
6) F [x] es un dominio euclidiano si y solo si F es un campo. Dicho de manera ms simple,
pruebe que p() = 0.
Ejercicio 6.2.4. Sean F un campo y p(x) F [x] un polinomio irreducible. Como (p(x)) es un
ideal maximal en F [x], el anillo cociente K = F [x]/(p(x)) es un campo.
a) Pruebe que la funcin : F K dada por (a) = a mod (p(x)) es un monomorfismo de
anillos.
b) Sea el homomorfismo entre F [x] y K[x] inducido por . Sea = (x) = x mod (p(x)) =
x + (p(x)) K. Sea p0 (x) = (p(x)). Pruebe que p0 ((x)) = 0 en K.
61
Demostracin. Si (a) = (b), entonces a b (p(x)), lo que implica que a b = p(x)q(x) para
algn q(x) F [x]. Comparando grados, vemos que a b tiene que ser el polinomio constante
cero, as que a = b.
P
Sea p(x) = a0 + a1 x + + an xn . Luego p0 (x) = j0 (aj )xj . Observe que (a) = a para
a F . Sustituyendo
X
X
X
X
(aj xj ) =
a j xj
p0 ((x)) =
(aj )(x)j =
(aj )(xj ) =
i0
i0
i0
i0
62
6. Anillos de polinomios
63
sigue que es irreducible en R[x]. Con esto queda probado que f (x) se puede escribir como un
producto de elementos irreducibles en R[x].
Supongamos ahora que se tienen dos factorizaciones de f (x) en elementos irreducibles en
R[x]:
f (x) = p1 (x) pr (x) = q1 (x) qs (x)
Igual que antes, cada uno de los factores son primitivos, lo que implica que cada factor es
irreducible en F [x]. Como F [x] es un DFU, se tiene que r = s y que cada pi (x) es asociado
de qi (x), es decir, pi (x) = (ai /bi )qi (x), donde ai , bi R con ai 6= 0. Se tiene bi pi (x) = ai qi (x).
Como pi y qi son primitivos, se tiene que el mximo comn divisor de los coeficientes de bi pi (x)
es bi y el mximo comn divisor de los coeficientes de ai qi (x) es ai . Luego ai y bi difieren por
una unidad en R, es decir, ai = ui bi , donde ui es una unidad en R. As pi (x) = ui qi (x) y pi (x)
y qi (x) son asociados en R[x].
Recprocamente, supongamos que R[x] es un DFU y sea r R que no es cero ni unidad.
Entonces r R[x] se puede factorizar en forma nica como un producto r = p1 pn de
elementos irreducibles en R[x]. Comparando grados, cada elementos pi es de grado cero, es
decir, pi R. Esto muestra que R es un DFU.
Corolario 6.2.13. Si R es un DFU, entonces un anillo de polinomios en un nmero arbitrario
de variables con coeficientes en R tambin es un DF U .
Ejemplos 6.2.14. 1) Z[x] y Z[x, y] son DFU. Observe que Z[x] es un DFU que no es un DIP.
2) Los anillos Q[x] y Q[x, y] son DFU.
Ejemplo 6.2.15. Considere el dominio entero R = Z[2i] = {a + 2bi | a, b Z} cuyo campo
de cocientes es F = Q(i). El polinomio f (x) = x2 + 1 = (x i)(x + i) R[x] se factoriza en
F [x], por lo que f (x) es reducible en F [x]; sin embargo f (x) es irreducible en R[x] pues ninguno
de los factores x i, x + i estn en R[x]. Esto contradice el Corolario 6.2.11? No de ninguna
manera. Lo que se puede deducir es que R es un dominio entero que no es un DFU.
6.3.
Criterios de irreducibilidad
f () = a0 + a1 + + an n
f (1) = 9
f (2) = 0.
64
6. Anillos de polinomios
Como deg r(x) < 1, entonces deg r(x) = o deg r(x) = 0. En cualquier caso, r(x) es una
constante, es decir r(x) F . Como f () = 0, se tiene 0 = f () = r(), as que f (x) =
(x )q(x).
Corolario 6.3.6. Sean F un campo y f (x) F [x] de grado dos o tres. Entonces f (x) es
reducible y solamente si este tiene una raz en F .
El siguiente teorema limita la bsqueda de races de polinomios cuyos coeficientes pertenecen
a un dominio de factorizacin nica.
Teorema 6.3.7 (Teorema de las races racionales). Sean R un dominio de factorizacin nica,
F su campo de fracciones y f = a0 + a1 t + + an tn R[x] de grado n. Si r/s F con r y s
primos relativos es una raz de f , entonces r divide al trmino constante y s divide al coeficiente
principal: r | a0 y s | an . En particular, si f es un polinomio mnico con coeficientes enteros y
f (d) 6= 0 para cada divisor d del trmino constante, entonces f no tiene races en F .
65
r
s
+ + an1
r n1
s
+ an
r n
s
por lo que s divide a an rn . Por hiptesis, r y s son primos relativos, as que s divide a an .
Por otro lado se tiene,
a0 sn = r a1 sn1 an1 srn2 an rn1
y por lo tanto r | a0 sn y como r y s son primos relativos, se tiene que r | a0 .
Ejemplos 6.3.8. 1) El polinomio p(x) = x3 3x 1 es irreducible en Z[x]. Observe que p(x)
es primitivo. De acuerdo con el Corolario 6.2.11, p(x) es irreducible en Z[x] si y solamente
si p(x) es irreducible en Q[x]. Veamos que p(x) no tiene races racionales. De acuerdo con el
Teorema 6.3.7, los posibles races son 1; como p(1) 6= 0, se sigue que p(x) no tiene races
racionales y por lo tanto es irreducible.
2) Para cualquier primo p, los polinomios x2 p y x3 p son irreducibles en Q[x].
3) El polinomio x2 + 1 es reducible en Z/2Z[x] pues 1 es una raz.
4) El polinomio x2 + x + 1 es irreducible en Z/2Z[x].
Teorema 6.3.9. Sea I un ideal propio del dominio entero R y sea p(x) R[x] mnico y no
constante. Si la imagen de p(x) en (R/I)[x] no se puede factorizar como el producto de dos
polinomios de grado menor, entonces p(x) es irreducible en R[x].
Demostracin. Supongamos que el polinomio mnico no constante p(x) es reducible, es decir,
p(x) = a(x)b(x), donde ni a(x) ni b(x) son unidades. Comparando grados, vemos que al menos
uno de los factores del lado derecho es de grado positivo. Veamos que de hecho ambos factores
son de grado positivo. Si a(x) o b(x) fuera constante, digamos a(x) = c R, comparando
los coeficientes principales de p(x) y de a(x)b(x), se concluye que c debe ser una unidad, lo
que contradice el hecho que c es irreducible. Por lo tanto, ambos a(x) y b(x) son de grado
positivo. Como el coeficiente principal de p(x) es el producto de los coeficientes principales
de a(x) y de b(x), se sigue que los coeficientes principales son unidades. Se tiene que p(x) =
(uxn + )(u1 xm + ) = u(xn + )(u1 xm + ) = (xn + )(xm + ), es decir, p(x)
se puede factorizar como el producto de dos polinomios mnicos y no constantes a(x) y b(x).
Al reducir mdulo el ideal I, los coeficientes principales de a(x) y b(x) sern ambos distintos
de cero en el anillo cociente, pues I es un ideal propio. Se tiene entonces deg a(x) = deg a(x)
y deg b(x) = deg b(x). As, la reduccin de p(x) mdulo el ideal I se puede factorizar como el
producto de dos polinomios de grado menor.
Ejemplos 6.3.10. 1) Considere el polinomio p(x) = x2 + x + 1 Z[x]. Reduciendo mdulo 2,
vemos que p(x) es irreducible en Z/2Z[x] pues p(x) no tiene races en Z/2Z.
2) Considere el polinomio p(x) = x2 + 1. Reduciendo mdulo 2 vemos que p(x) es reducible en
Z/2Z[x]; sin embargo p(x) es irreducible en Z/3Z[x], por lo que x2 + 1 es irreducible en Z[x].
66
6. Anillos de polinomios
fi gki + fk g0 = 0
i=0
Corolario 6.3.12 (Criterio de Eisenstein para Z[x]). Sea p un primo en Z y sea p(x) = xn +
an1 xn1 + + a1 x + a0 Z[x], n 1. Si p divide a a0 , . . . , an1 pero p2 no divide a a0 ,
entonces p(x) es irreducible en Z[x] y tambin en Q[x].
Ejemplos 6.3.13. 1) El polinomio p(x) = x4 + 10x + 5 Z[x] es irreducible por el Criterio de
Eisenstein aplicado con el primo p = 5.
2) Se puede aplicar el Criterio de Eisenstein al polinomio xn 23 32 11?
3) Sea a Z divisible por algn primo p pero no por su cuadrado. Entonces xn a es irreducible
en Z[x] de acuerdo con el Criterio de Eisenstein. En particular, xn p es irreducible en Z[x]
para cualquier entero n 1.
4) No se puede aplicar el Criterio de Eisenstein directamente al polinomio f (x) = x4 + 1 Z[x].
Sin embargo, si es posible aplicar el criterio al polinomio f (x + 1) = (x + 1)4 + 1 = x4 +
4x3 + 6x2 + 4x + 2 con p = 2 y se concluye que f (x + 1) es irreducible. Por lo tanto, tambin
f (x) es irreducible.
5) Sea p un primo y considere el polinomio ciclotmico
d (x) =
xp 1
= xp1 + + x + 1.
x1
6.4. Ejercicios
67
Teorema 6.3.14 (Criterio de Eisenstein para DFU). Sean R un DFU, F su campo de fracciones
y p un elemento irreducible R. Si p(x) = a0 + a1 x + + an xn R[x], n 1 es tal que p - an ,
p | a0 , . . . , an1 y p2 - a0 , entonces p(x) es irreducible en F [x]. Si f es primitivo, entonces f es
irreducible en R[x].
Demostracin. Se deja de ejercicio.
Ejemplo 6.3.15. El polinomio f (x) = 2x4 6x3 + 18x 15 Z[x] es irreducible en Q[x] de
acuerdo con el Criterio de Eisenstein para p = 3. Como p(x) es primitivo, entonces tambin es
irreducible en Z[x].
6.4.
Ejercicios
1) Sea R un anillo y sea R[[x]] el conjunto de todas las sucesiones (a0 , a1 , a2 , . . . ) de elementos
de R. Pruebe que
a) R[[x]] es un anillo con la suma y multiplicacin dadas por
(a0 , a1 , . . . ) + (b0 , b1 , . . . , ) = (a0 + b0 , a1 + b1 , . . . )
(a0 , a1 , . . . ) (b0 , b1 , . . . , ) = (c0 , c1 , . . . )
donde
ck =
ai bj =
k
X
i+j=k
ai bki .
i=0
an xn
n=0
Pruebe que F ((x)) es un campo y que F ((x)) es el campo de fracciones del anillo de las series
formales de potencias F [[x]].
68
6. Anillos de polinomios
4) Pruebe que el campo de fracciones de Z[[x]] est contenido propiamente en el campo de las
series formales de Laurent Q((x)) (Sugerencia: considere la serie para ex ).
5) Sea F un campo, y sean f, g F [x]. Suponga que el conjunto N = {rf + sg | r(x), s(x) F [x]}
es un ideal propio de F [x]. Pruebe que si los grados de f y g son diferentes, entonces f y g
no son ambos irreducibles sobre F .
6) Sea R un dominio entero con campo de cocientes F y sea p(x) un polinomio mnico en
R[x]. Suponga que p(x) = a(x)b(x) donde a(x) y b(x) son polinomios mnicos en F [x] de
grado menor que el de p(x). Pruebe que si a(x)
/ R[x], entonces R[x] no es un dominio de
factorizacin nica.
7) Pruebe que si f (x) y g(x) son polinomios con coeficientes racionales cuyo producto f (x)g(x)
tiene coeficientes enteros, entonces el producto de cualquier coeficiente de g(x) con cualquier
coeficiente de f (x) es un entero.
8) Pruebe que si f (x), g(x) R[x] son primitivos, entonces f (x)g(x) es primitivo.
9) Pruebe que dos polinomios con coeficientes enteros son primos relativos en Q[x] si y solamente
si el ideal en Z[x] generado por stos contiene un entero no nulo.
10) Factorice f (x) = x3 + x + 1 Z3 [x] como un producto de polinomios irreducibles.
11) Pruebe que el elemento f (x) = x3 + 3x + 2 es irreducible sobre Z5 [x].
12) Sea F un campo y sea f (x) F [x] un polinomio de grado n 1. Pruebe que los elementos
1, x, . . . , xn1 constituyen una base para el espacio vectorial F [x]/(f (x)) sobre F .
13) Pruebe que el anillo cociente Q[x]/(x6 + 30x5 15x3 + 6x 120) es un campo.
14) Pruebe que el anillo cociente Q[x]/(3x7 16x2 + 12x3 + 8x + 10) es un campo.
15) Sea F un campo. Pruebe que hay una infinidad de polinomios mnicos irreducibles en F [x].
Pn
16) Sean R un dominio entero y c R. Si f (x) = k=0 ak xk R[x], sea g(x) = f (x c) =
Pn
k
k=0 ak (x c) .
a) Pruebe que la funcin : F [x] F [x] dada por (f (x)) = f (x c) es un isomorfismo de
anillos.
b) Pruebe que f (x) es irreducible en R[x] si y solamente si g(x) = f (x c) lo es.
c) Sea p un nmero primo. Pruebe que el polinomio ciclotmico p (x) = (xp 1)/(x 1) =
1 + x + + xp1 es irreducible en Z[x] (Sugerencia: Considere c = 1).
17) Pruebe el Criterio de Eisenstein para DFU:
Teorema. Sean R un DFU, F su campo de fracciones y p un elemento irreducible R. Si
f (x) = a0 + a1 x + + an xn R[x], n 1 es tal que p - an , p | a0 , . . . , an1 y p2 - a0 ,
entonces f (x) es irreducible en F [x]. Si f es primitivo, entonces f es irreducible en R[x].
CAPTULO
Campos de extensin
En este Captulo se recuerda la definicin de campo, se presentan algunos ejemplos y las propiedades bsicas comunes a los campos. Tambin se presentan las definiciones de caracterstica
de un campo y de subcampo primo.
7.1.
Recordemos que un campo es F es un anillo conmutativo con unitario en el que todo elemento
distinto de cero es una unidad. La definicin en su versin extensa es la siguiente.
Definicin 7.1.1. Un campo F es un conjunto con dos operaciones binarias + y
+: F F F
: F F F
(x, y) 7 x + y,
(x, y) 7 x y
70
7. Campos de extensin
4. El conjunto Q( 2) = {a + b 2 | a, b Q}.
Probablemente los tres primeros ejemplos son familiares al lector. Veamos que F = Q( 2) es
un campo. F es cerrado bajo la suma y la multiplicacin:
(a + b 2) + (c + d 2) = (a + c) + (b + d) 2,
El inverso
aditivo de
1
1
ab 2
ab 2
a
b
=
= 2
2.
= 2
2
2
2
2
a 2b
a 2b
a 2b
a+b 2
a+b 2ab 2
es un nmero racional que no es un cuadrado perfectoen Q, el conjunto
De hecho si D
Q( D) = {a + b D | a, b Q} C es un campo. De esta manera, Q(i), Q( 2) son ejemplos
de campos.
0
0
1
2
3
4
1
1
2
3
4
0
2
2
3
4
0
1
3
3
4
0
1
2
4
4
0
1
2
3
0
1
2
3
4
0
0
0
0
0
0
1
0
1
2
3
4
2
0
2
4
1
3
3
0
3
1
4
2
4
0
4
3
2
1
71
Ejemplo 7.1.6. Sea F = {0, 1, , } junto con las operaciones de suma y multiplicacin dadas
por
+
0
1
0
0
1
1
1
0
0
1
1
0
0
1
0
0
0
0
0
1
0
1
72
7. Campos de extensin
7.2.
La caracterstica de un campo
b veces
ab veces
Esto es una contradiccin, pues en un campo, el producto de cualesquiera dos elementos distintos
de cero no es cero. Luego n = 0, o n es un nmero primo. Por otro lado, p x = x + + x =
(1 + + 1)x = (p 1)x = 0x = 0.
Teorema 7.2.3. Sea F un campo. Entonces F contiene un subcampo ya sea isomorfo a Q o a
Fp , dependiendo si la caracterstica de F es cero o p.
Demostracin. El ncleo de es car(F )Z = {0} o car(F ) = pZ, dependiendo si la caracterstica
es cero o positiva. Se tiene que Z/ ker es isomorfo a Z o bien es Z/pZ = Fp .
Definicin 7.2.4. El subcampo primo de una campo F es el subcampo de F generado por el
elemento unitario 1. El subcampo primo es isomorfo a Q si la caracterstica es cero o isomorfo
a Fp si la caracterstica es p.
Ejemplos 7.2.5. 1) La caracterstica de Q, R, C y R[t] es 0. En todos los casos el campo primo
es Q.
2) El campo del ejemplo 7.1.6 es un campo de caracterstica 2. El campo F4 (t) tiene caracterstica 2 y su campo primo es F2 .
7.3.
73
Extensiones de campos
(x, y) 7 x + y
F K K,
(a, x) 7 ax
2) [Q( 2) : Q] = 2.
3) R es una extensin infinita de Q.
4) La extensin F2 (x) de F2 es infinita.
El conjunto S = {1, x, x2 , . . . } es infinito y S F2 (x). Si la extensin fuera finita, entonces
[F (x) : F2 ]
F2 (x) sera isomorfo como espacio vectorial F2 2
, el cual es finito.
Sean K un campo. Es fcil verificar que la interseccin de cualquier coleccin de subcampos
(de subanillos) de K es nuevamente un subcampo (subanillo) de K.
Sea A un subconjunto de K. Es claro que la coleccin de todos los subcampos (subanillos)
de K que contienen a A es no vaca, pues K mismo es uno de tales subcampos (subanillos).
Entonces la interseccin de todos los subcampos (subanillos) de K que contienen a A es un
subcampo (subanillo) de K al cual se conoce como el subcampo (subanillo) generado por A.
Este es el subcampo (subanillo) de K ms pequeo que contiene a A.
Definicin 7.3.5. Sea K una extensin de un campo F y sea X un subconjunto de elementos
de K.
a) El anillo generado por X sobre F , denotado por F [X], es la interseccin de todos los anillos
de K que contienen a F X.
b) El campo generado por X sobre F , denotado por F (X), es el subcampo de K generado por
F X.
c) Se dice que un campo K es una extensin simple de un campo F si K = F (), para algn
K, es decir, si K est generado por un nico elemento sobre F . En este caso se dice
que es un elemento primitivo para la extensin.
Se dice que el anillo (o el campo F (X)) F [X] se obtiene adjuntando a F los elementos de
X. Si X = {1 , . . . , n }, el anillo F [X] es denotado por F [1 , . . . , n ] y el campo F (X) por
F (1 , . . . , n ).
74
7. Campos de extensin
Q(i, 2) = {a + bi + c 2 + di 2 | a, b, c, d Q}
Se procede
mostrando que el conjunto en el lado derecho es un campo que contiene tanto a
i como a 2.
Teorema 7.3.7. Sea K/F una extensin de campos y K. Entonces
F [] = {f () | f (x) F [x]}
f ()
| f (x), g(x) F [x], g() 6= 0 .
F (u) =
g()
Ms an, F () es el campo de fracciones de F [].
Demostracin. La funcin : F [x] K dada por (f (x)) = f () es un homomorfismo de
anillos cuya imagen es el anillo R = {f () : f (x) F [x]}. Es claro que R contiene tanto a F
como a , as que F [] R. Por otro lado, si S es cualquier subanillo de K que contiene tanto
a F como a , entonces R S, ya que por P
la cerradura de la suma y la multiplicacin en S,
se sigue que cualquier elemento de la forma
ai i S. En particular R F []. El campo de
fracciones de F [] es Q = {f ()/g() | f (x), g(x) F [x], g() 6= 0}. Si L es cualquier subcampo
de K que contiene a F y , es claro que Q L por la de cerradura de la suma, multiplicacin
e inversos en L. Luego Q = F ().
Definicin 7.3.8. Sean F un campo y K/F una extensin de campos. Diremos que un elemento
K es algebraico sobre F si es raz de algn polinomio no nulo f (x) F [x]. Si no es
algebraico sobre F diremos que es trascendente sobre F . La extensin K/F es algebraica si
cada elemento de K es algebraico sobre F .
Lo primero que debemos observar es que si es algebraico sobre F , entonces es algebraico
sobre cualquier extensin de F
Cuando F = Q, se acostumbra decir que algebraico en vez de algebraico sobre Q, trascendente
en vez de trascendente sobre Q.
75
6) Considere el anillo de los polinomios F [x], donde F es un campo y sea K el campo de las
funciones racionales en x con coeficientes en F , es decir, el campo de fracciones de F [x].
Entonces x F (x) es trascendente sobre F . Ms an, cada elemento de F (x) que no est en
F es trascendente sobre F . Se deja de ejercicio probar este hecho.
Sean K una extensin de F y K algebraico sobre F . Considere el homomorfismo evaluacin F [x] : K dada por (f (x)) = f (). Como es algebraico sobre F se sigue que el ncleo
de no es trivial y como F [x] es un DIP, el ncleo est generado por un elemento. Sea p(x)
el generador mnico del ncleo de . Como F [x] es dominio euclidiano (por eso es un DIP),
cada ideal I no nulo est generado por un elemento de I de norma mnima.
Definicin 7.3.10. Sean K una extensin de F y K algebraico sobre F . Se define el polinomio mnimo de sobre F como el generador mnico del ncleo del homomorfismo evaluacin
. Equivalentemente, el polinomio mnimo de sobre F es el polinomio mnico p(x) en F [x]
de menor grado para el cual p() = 0.
Teorema 7.3.11. Sean K una extensin de F y K algebraico sobre F .
1) El polinomio mnimo de sobre F es irreducible sobre F . Adems, F [] = F ().
2) f (x) F [x] tiene a como raz si y solamente si m,F (x) | f (x) en F [x].
3) Si n = deg mn,F (x), entonces los elementos 1, , 2 , . . . , n1 forman una base para F ()
como F -espacio vectorial, de tal manera que [F () : F ] = deg mn,F (x).
Demostracin. 1) Como F [] es un dominio entero y F []
= F [x]/(p(x)), se tiene que (p(x))
es un ideal primo, que no es cero, y por lo tanto es maximal, ya que F [x] es un DIP. Se
tiene entonces p(x) es un polinomio irreducible. Como F [] F () es un campo y F () es
el campo ms pequeo que contiene a F y se concluye que F () = F [].
2) Se tiene que p(x) = mn,F (x) | f (x) si y solamente si f (x) (p(x)) = ker lo cual sucede
si y solamente si f () = 0.
3) Sea n = deg p(x). Si F () = F [], entonces = f () para algn f (x) F [x]. Por el
algoritmo de la divisin vemos que f (x) = p(x)q(x) + r(x) para algun par de polinomios
q(x), r(x), con deg r(x) < deg p(x) = n. Evaluando en , se tiene f () = r(). De esta
manera vemos que es una F -combinacin lineal de los elementos 1, , . . . , n1 , es decir
F () est generado como F -espacio vectorial por estos elementos. Veamos que adems son
Pn1
Pn1
F -l.i. Si i=0 ai i = 0, entonces es una raz del polinomio r(x) = i=0 ai xi F [x].
De aqu que p(x) | r(x). Si r(x) 6= 0, se tendra la contradiccin deg p(x) deg r(x). Luego
r(x) = 0.
Ejemplos 7.3.12.
1) El polinomio mnimo
de
generado por 2 es
2 sobre Q es 2. El campo
Q( 2) = {a + b 2 | a, b Q}.
2) El polinomio mnimo de
3
2
3
Q( 2) = {a + b 2 + c( 2)2 | a, b, c Q}.
n
este es el polinomio mnimo de 2.
76
7. Campos de extensin
4) El polinomio mnimo de
2 sobre R es x
2 es R.
.
2
2
2
22
2
.
0= +
2
22
Multiplicando por 22 , se tiene (2 + b)2 = b2 4c, es decir2 + b K es una raz cuadrada
de
Este ejemplo muestra que toda extensin K/F de grado 2 es de la forma F ( D), donde D
es un elemento de F que no es un cuadrado en F .
Si D F , pero D no esun cuadrado en F , entonces x2 D es irreducible sobre F y por lo
tanto la extensin k = F ( D) es de grado 2. La extensiones de grado 2 se llaman extensiones
cuadrticas.
Teorema 7.3.16. Sea K una extensin del campo F y K trascendente sobre F . Entonces
F (x)
= F (). El isomorfismo puede escogerse de tal manera que a x le corresponda .
Demostracin. Defina la funcin : F (x) F () por (f (x)/g(x)) = f ()/g(). Observe que
est funcin tiene sentido pues g() 6= 0 para todo polinomio g(x) 6= 0. Es fcil verificar que
es un isomorfismo de campos.
77
f (1 , . . . , n )
| f (x1 , . . . , xn ), g(x1 , . . . , xn ) F [x1 , . . . , xn ], g(1 , . . . , n ) 6= 0}
g(1 , . . . , n )
}|
{
z
F K L
| {z } | {z }
[K : F ]
[L : K]
m X
n
m
n
X
X
X
0=
aij i j =
aij j i ,
i=1 j=1
i=1
j=1
Pn
donde aij F . Como los i s son K-linealmente independientes, para cada i se tiene j=1 aij j =
0. Como los j s son F -linealmente independientes, se concluye que aij = 0 para j = 1, . . . , n.
Veamos ahora el caso en el que al menos uno de los tres grados es infinito. Si [K : F ] es infinito,
esto implica que hay una infinidad de elementos de K que son l.i. sobre F ; en consecuencia hay
una infinidad de elementos de L que son l.i sobre F y [L : F ] es infinito. Si [L : K] es infinito,
entonces hay una infinidad de elementos de L que son l.i. sobre K y por lo tanto sobre F as
que [L : F ] es infinito.
Si [L : F ] es infinito, entonces [L : K] es infinito o [K : F ] es infinito (ya que si ambos fuera
finitos entonces tambin [L : F ] sera infinito).
Corolario 7.3.19. Sea L/F una extensin finita y sea K un campo intermedio entre F y L,
i.e., un subcampo de L que contenga a F . Entonces [K : F ] divide a [L : F ].
Ejemplo 7.3.20.
3
forma de atacar este problema es
1) Es 2 un elemento
del campo Q( 2)? Una primera
3
3
tratar de escribir 2 como combinacin lineal
de
1,
2,
(
2)2 , lo
cual en principio no parece
3
ser muy simple. Cambiando
de
enfoque,
si
2
perteneciera
a
Q(
2),se tendra la torre de
3
2)
Q(
2)
y
se
debera
cumplir
que
2
=
[Q(
2) : Q] debe dividir a
extensiones
Q
Q(
3
que [Q() :
Q] = 6. Como = 2, entonces
2 Q(). Cul es
el polinomio mnimo de
3
sobre Q(
2)?
Se
observa
que
x
Q(
2)[x].
Como
[Q(
2) : Q] = 2, se sigue que
[Q() : Q( 2)] = 3.
6
z
{
}|
6
Q Q( 2) Q( 2)
| {z }
|
{z
}
2
78
7. Campos de extensin
As el polinomio mnimo
de 6 2 sobre Q( 2) es de grado 3 y como 6 2 es raz del polinomio
mnico de grado x3 2, se sigue que este tiene que ser su polinomio mnimo.
Definicin 7.3.21. Se dice que una extensin K/F es finitamente generada si existen elementos
1 , . . . , k en K tales que K = F (1 , . . . , k ).
Nos interesa describir la forma que tienen los elementos de las extensiones finitamente generadas por elementos algebraicos. Antes veamos que stas se pueden obtener a partir de las
extensiones simples.
Lema 7.3.22. F (, ) = F ()().
Demostracin. Por un lado, el campo F (, ) contiene al campo F y a los elementos y , as
que F ()() F (, ). Como F ()() contiene a F , y , entonces F (, ) F ()().
De acuerdo con el lema se tiene
K = F (1 , . . . , k ) = F (1 , . . . , k1 )(k ).
As K se obtiene por un proceso iterativo, primero tomando como F1 el campo generado sobre
F por 1 , despus tomando F2 el campo generado por 2 sobre F1 , y as sucesivamente, hasta
obtener Fk = K. De esta manera se tiene una sucesin de campos:
F = F0 F1 F2 Fk = K
donde
Fi+1 = Fi (i+1 ) i = 0, 1, . . . , k 1.
Supongamos ahora que los elementos 1 , . . . , k son elementos algebraicos sobre F de grados
n1 , . . . , nk . Dado que [Fi (i+1 ) : Fi ] = deg mi+1 y mi+1 ,Fi | mi+1 ,F el grado de esta extensin
es a lo ms ni+1 . As que
[K : F ] = [Fk : Fk1 ][Fk1 : Fk2 ] [F1 : F0 ] n1 n2 nk
y la extensin es finita.
Describamos los elementos de F (, ) donde y son algebraicos sobre F . Supongamos
que el grado de d = [F ()() : F ()]. Los elementos de F ()() son por lo tanto de la forma
b0 + b1 + b2 2 + + bd1 d1 ,
donde b0 , b1 , . . . bd1 F (). Por otro lado, los elementos de F () son de la forma
a0 + a1 + + an1 n1 ,
donde a0 , a1 , . . . , an1 F , donde n = [F () : F ]. Como consecuencia, los elementos de F (, )
son de la forma
n1
d1
XX
aij i j ,
aij F.
i=0 j=0
Ejemplos 7.3.23.
6
6
Q( 2)( 2) = Q( 2).
2) Cul es el grado de la extensin Q( 2, 3)? Dado que ambos 2, 3 son de grado 2 sobre
Q, el grado mximo de esta extensin es 4.
79
Q( 2)
Q( 2, 3).
2
manera,
el polinomio mnimo ser x 3. Supongamos que 3 Q( 2) y escribamos 3 =
a + b 2, con a, b Q.
As, [Q( 2, 3) :
Q( 2)] =2. Una
base para Q( 2)( 3) sobre Q( 2) es 1, 3, as que una
base para Q( 2, 3) es 1, 2, 3, 6 y
Q( 2, 3) = {a + b 2 + c 3 + d 6 | a, b, c, d Q}.
A continuacin se caracterizan las extensiones finitas de una campo F :
Teorema 7.3.24. La extensin K/F es finita si y solamente si K es generado por un nmero
finito de elementos algebraicos sobre F . Ms precisamente, si K est generado sobre F por
los elementos algebraicos 1 , . . . , k de grados n1 , . . . , nk , entonces K/F es finita y de grado
n1 nk .
Demostracin. Supongamos que K/F es una extensin finita de grado n y sea {1 , . . . , n }
una base de K como F -espacio vectorial. Entonces cada F (i ) es un F -subespacio vectorial
de K, as que F (i )/F es una extensin finita y por lo tanto i es algebraico. Veamos que
K = F (1 , . . . , n ). Es claro que F (1 , . . . , n ) K. Dado K, entonces = a1 1 + +
an n F (1 , . . . , n ).
Recprocamente, supongamos que K = F (1 , . . . , k ) donde cada i es algebraico sobre F .
Entonces cada extensin F (1 , . . . , k+1 )/F (1 , . . . , k ) es finita y [K : F ] es finita.
Observacin 7.3.25. De la prueba del teorema se desprende el siguiente hecho: Si K/F es una
extensin finita de grado n y {1 , . . . , n } es una base para K, entonces K = F (1 , . . . ,P
n ).
La inclusin F (1 , . . . , n ) K es obvia. Por otro lado, si K, entonces =
ai i
y como F (1 , . . . , n ) es el menor subcampo de K que contiene a los i s se sigue que
F (1 , . . . , n ).
Corolario 7.3.26. Si , son algebraicos sobre F , entonces , , / (cuando 6= 0)
son algebraicos.
Demostracin. Si , son algebraicos, entonces F (, )/F es una extensin finita y la extensin
es por lo tanto algebraica. Ahora bien, como F (, ) es un campo, entonces en el enunciado son
todos algebraicos.
Corolario 7.3.27. Sea L/F una extensin. Entonces la coleccin de todos los elementos de L
que son algebraicos sobre F forman un subcampo de L.
Ejemplos 7.3.28.
1) Consideremos la extensin infinita C/Q y sea Q el subcampo de los nmeros complejos
formado por todos aquellos
nmeros que son algebraicos sobre Q. La extensin Q/Q es
infinita ya que [Q : Q] [Q( n 2) : Q] = deg(xn 2) para todo n > 1. Q es el campo de los
nmeros algebraicos.
2) Existen nmeros reales que no sea algebraicos? La respuesta es s y muchos. El campo QR,
es el subcampo de los nmeros reales que consiste de todos aquellos nmeros reales que son
algebraicos sobre Q. Este campo es numerable como podemos ver con el siguiente argumento.
Dado que Q es numerable, entonces Q[x] que es isomorfo al anillo Q . As Q[x] es numerable.
80
7. Campos de extensin
Por otro lado, dado que un polinomio de grado n tiene a lo ms n races, la coleccin de
los nmeros algebraicos de grado n es un conjunto contable. De aqu se sigue que Q R es
contable.
de los campos
Q( 2) y Q( 3) es el campo
Q( 2, 3).
Primero se observa
que
Q( 2), Q( 3) Q( 2, 3) as que Q( 2)Q( 3) Q( 2, 3).
Por
otro
lado,
dado
que
2,
3
son
elementos
de
la
composicin
de
los
campos,
entonces
Q(
2,
3)
Q( 2)Q( 3).
Cul es el grado de composicin? En este caso resulta [Q( 2)Q( 3) : Q] =
[Q( 2) : Q][Q( 3) : Q].
Ejemplo 7.3.32.
de un cmapo
consigo
81
K1 K2
m
K1
K2
n
F
Dado que X1 X2 es un conjunto de elementos algebraicos, los elementos de K1 K2 = F (X1 , X2 )
son de la forma
X
jm
ai1 ,...,in ,j1 ,...,jm 1i1 nin 1j1 m
.
Dado que cada potencia de i es una combinacin lineal de s y cada potencia de j es
jm
una combinacin lineal de s, un producto de la forma 1i1 nin 1j1 m
se reduce a una
combinacin lineal de elementos del conjunto X = {i j | 1 i n, 1 j m}. Esto
muestra que X es un conjunto de generadores del F -espacio vectorial K1 K2 . Luego K1 K2 de
de dimensin finita como F -espacio vectorial. Ms an, [K1 K2 : F ] |X| mn. Dado que
[K1 K2 : F ] = [K1 K2 : K1 ][K1 : F ] = [K1 K2 : K1 ]n se concluye que [K1 K2 : K1 ] m.
De manera alterna, podemos proceder como en el prrafo inmediato anterior. Ya que K1 K2 =
F (X1 , X2 ) = K1 (X2 ), entonces X2 genera K1 K2 como K1 -espacio vectorial y se concluye que
[K1 K2 : K1 ] m. Si X2 es linealmente independiente sobre K1 , entonces X2 es base y se
tiene la igualdad. Recprocamente si se tiene [K1 K2 : F ] = [K1 K2 : K1 ][K1 : F ] se sigue que
[K1 K2 : K1 ] = m; dado que |X2 | = m y genera a K1 K2 se sigue que X2 debe ser linealmente
independiente.
7.4.
Races de Polinomios
A continuacin estudiaremos las races de polinomios. En primer lugar mostraremos que cada
polinomio no constante con coeficientes en un campo tiene races en algn campo (posiblemente
ms grande). Sera suficiente probar est afirmacin para polinomios irreducibles.
La siguiente proposicin es inmediata.
Proposicin 7.4.1. Sea : F F 0 un homomorfismo de campos. Entonces es la funcin
cero o es inyectiva, en cuyo caso la imagen de es 0 o isomorfa a F .
Teorema 7.4.2. Sea F un campo y sea p(x) F [x] un polinomio irreducible. Entonces existe
un campo K que contiene una copia isomorfa de F en el cual p(x) tiene una raz.
Demostracin. El anillo cociente K = F [x]/(p(x)) es un campo ya que m = (p(x)) es maximal.
La funcin : F K dada por (a) = a mod p(x) es un homomorfismo de anillos. Es claro que
no es la funcin cero pues (1) = 1 mod m 6= 0 mod m; de acuerdo con la proposicin anterior,
es inyectiva, as que K contiene una copia de F y suponemos que F K identificando a F
82
7. Campos de extensin
P
con a m
od m. Sea p(x) =
ai xi y = (x) = x (mod p(x)). Por un lado, (p) = p mod m =
0 m
od m. Por otro lado
X
X
X
(
ai xi ) =
(ai )(xi ) =
(ai )(x)i = p().
Es decir p() = (p) = 0 y queda demostrado que es una raz de p(x) en K.
Se puede repetir el proceso para construir campos en los que p(x) se factorice completamente.
Se regresar a este punto ms adelante.
Ejercicio 7.4.3. Sea p(x) = x3 2 Q[x] y sea K = Q[x]/(x3 2). Verifique que cada elemento
de K es de la forma a0 + a1 + a2 2 , donde a0 , a1 , a2 Q y 3 = 2. Pruebe directamente que
cada elemento no cero de K tiene un inverso.
Ejemplo 7.4.4. Sean F = F2 y p(x) = x2 + x + 1. Encuentre un campo que contenga una raz
de p(x).
A continuacin se una descripcin de los elementos del campo F [x]/(p(x)).
Teorema 7.4.5. Sean p(x) F [x] un polinomio irreducible de grado n sobre el campo F , K el
campo F [x]/(p(x)) y = x m
od p(x) K. Entonces los elementos 1, , 2 , . . . , n1 forman una
base para K como F -espacio vectorial. El grado de la extensin es n, i.e. [K : F ] = n. De aqu
que
K = {a0 + a1 + + an1 n1 | a0 , a1 , . . . , an1 F }.
En otras palabras, K consiste de todos los polinomios en con coeficientes en F de grado menor
que n.
Demostracin. Sea m el ideal de F [x] generado por p(x). Por el algoritmo de la divisin si
f F [x], entonces f = pq + r donde deg r < n. As que f mod m = r mod m. Esto muestra que
1, , 2 , , n1 generan K como F -e.v.
Supongamos que f1 m
od m = f2 m
od m, donde deg f1 , deg f2 < n. Entonces f1 f2 m, es
decir f1 f2 = pq para algn polinomio q. Comparando grados se concluye que f1 f2 = 0.
Veamos ahora que 1, , , n1 son linealmente independientes. Usando lo anterior se deduce que 1, , . . . , n1 son linealmente independientes. Consideremos la combinacin lineal
a0 + a1 + + an1 n1 = 0
P
P
con ai F . Luego
ai xi m y de aqu que
ai xi = p(x)q(x). Comparando los grados, se
P
concluye que
ai xi = 0 y por tanto ai = 0 para todo i.
De esta manera, los elementos del campo K = F [x]/m, donde m = (p(x)), son polinomios
en de grado < n, donde K satisface p() = 0. La suma de elementos en K se efecta
sumando los coeficiente trmino a trmino. La multiplicacin se puede realizar de dos maneras.
Dados f1 (), f2 () K, se multiplica f1 (x) y f2 (x) en F [x], se divide el resultado entre p(x)
para hallar el residuo r(x) y por lo tanto f1 ()f2 () = r().
Se puede proceder de otra forma. Se puede suponer que p(x) es mnico ( ni las races de p(x)
ni el ideal generado por p(x) cambian al reemplazar p(x) por cp(x), donde c es una constante),
digamos p(x) = a0 + a1 x + + an1 xn1 + xn . En el campo K se tiene p() = 0, as que
n = (a0 + a1 + + an1 n1 ). De esto se sigue que cualquier polinomio en se puede
escribir como un polinomio en pero de grado estrictamente menor que n. La multiplicacin
por lo tanto se hace multiplicando f1 ()f2 () y se reduce hasta obtener un polinomio de grado
< n.
83
84
7. Campos de extensin
2
2 + 1
=
=
=1
.
2 1
2
+2
+2
Dividiendo x2 +x+1 entre x+2, se tiene x2 +x+1 = (x+2)(x1)+3, as que 0 = (+2)(1)+3.
Entonces
2( 1)
1
2 + 1
=1+
= (2 + 1).
2 1
3
3
Ejercicio 7.4.8. Sea F = Q y p(x) = x3 2. Exprese el elemento (3 + 2 + 1)/(2 + 2) de
K = F [x]/(p(x)) en la forma a + b + c2 , con a, b, c Q.
Se observa que 3 + 2 + 1 = 2 + 3. Ahora se debe calcular el inverso de 2 + 2. Una
primera divisin muestra que x3 2 = x(x2 + 2) 2x 2, as que 0 = (2 + 2) 2 2. Luego
1/(2 + 2) = /(2 + 2). Otra divisin muestra que x3 2 = (2x + 2)(x2 /2 x/2 + 1/2) 3, de
tal manera que 1/(2 + 2) = (2 + 1)/6.
3 + 2 + 1
(2 + 3)
1
1
=
= (2 + 3)(2 + 1) = (2 4 + 3 2 + 3 )
2 + 1
2 + 2
6
6
1
= (2 + 7 + 2)
6
Sean K un campo. Es fcil verificar que la interseccin de cualquier coleccin de subcampos
de K es nuevamente un subcampo de K.
Sea A un subconjunto de K. Es claro que la coleccin de todos los subcampos de K que
contienen a A es no vaca, pues K mismo es uno de tales subcampos. Entonces la interseccin
de todos los subcampos de K que contienen a A es un subcampo de K al cual se conoce como
el subcampo generado por A. Este es el subcampo de K ms pequeo que contiene a A.
Definicin 7.4.9. Sea K una extensin de un campo F y sea X un subconjunto de elementos
de K. El campo generado por X sobre F , denotado por F (X), es el subcampo de K generado
por F X.
Definicin 7.4.10. Se dice que un campo K es una extensin simple de un campo F si K =
F (), para algn K, es decir, si K est generado por un nico elemento sobre F . En este
caso se dice que es un elemento primitivo para la extensin.
Sea K/F una extensin de campos. Si p(x) F [x] es irreducible y K es una raz de K.
El campo F () es el menor subcampo de K que contiene a F y a . Por otro lado, F [x]/(p(x))
es un campo que contiene una copia de F y a una raz de p(x). La relacin entre estos dos
campos es la esperada como se indica en el siguiente teorema.
Teorema 7.4.11. Sea F un campo y sea p(x) F [x] un polinomio irreducible. Suponga que K
es una extensin de F que contiene una raz de p(x). Sea F () el subcampo de K generado
por F y . Entonces
F ()
= F [x]/(p(x))
85
F [x]
F ()
F [x]/(p(x))
Dado que F [x]/(p(x)) es un campo y (
1) = 1 6= 0, es un monomorfismo. Adems Im = Im
es un subcampo de F () que contiene a F y a pues (x) = , se sigue que F () Im , y
por lo tanto F () = Im probando que es sobre.
Observacin 7.4.12. Observe que el teorema implica que los campos que se obtienen adjuntando cualquier raz de p(x) son todos isomorfos entre s, en ese sentido, las races de un polinomio
irreducible son algebraicamente indistinguibles.
Corolario 7.4.13. Sean F un campo, p(x) F [x] un polinomio irreducible de grado n y K una
extensin de F que contiene una raz de p(x). Entonces
F () = {a0 + a1 + + an1 n1 | a0 , a1 , . . . , an1 F } K.
Ejemplos 7.4.14.
1) El
polinomio
x2 2 tiene dos races en R, a saber, 2 y 2. Los campos generados por
Q( 2) y Q( 2) son distintos pero isomorfos, ya que ambos son isomorfos a Q[x]/(x2 2).
2) Sea la raz cbica positiva de 2 en R, i.e., = 3 2. Sea C, con 6= 1 una raz cbica de
la unidad. Entonces Q() es un subcampo de R; los campos Q() y Q( 2 ) son subcampos
de C pero no de R. Sin embargo todos ellos son isomorfos entre s.
Sea : F F 0 un isomorfismo de campos. Este isomorfismo induce de manera natural un
isomorfismo entre los anillos F [x] y F 0 [x] al aplicar a los coeficientes de cualquier polinomio
en F [x]:
X
X
: F [x] F 0 [x],
ai xi 7
(ai )xi .
Como es un isomorfismo, enva ideales maximales en ideales maximales, por lo que si p(x)
F [x] es un polinomio irreducible y p0 (x) = (p(x)), entonces el ideal (p0 (x)) es maximal en F 0 [x],
de tal manera que p0 (x) es irreducible en F 0 [x].
Teorema 7.4.15. Sea : F F 0 un isomorfismo de campos. Sea p(x) F [x] un polinomio
irreducible y sea p0 (x) F 0 [x] el polinomio irreducible obtenido al aplicar a los coeficientes de
p(x). Sea una raz de p(x) (en alguna extensin de F ) y sea una raz de p0 (x) (en alguna
extensin de F 0 ). Entonces existe un isomorfismo
: F () F 0 ()
7
que enva a y que extiende , i.e., tal que restringido a F es el isomorfismo .
86
7. Campos de extensin
Demostracin.
F ()
F 0 ()
0
F [x]/(p(x))
F [x]
F 0 [x]/(p0 (x))
F [x]
F0
(f
+ (p(x))) = (f ) + (p0 (x)).
F [x]/(p(x))
F 0 [x](p0 (x))
F 0 ()
Luego
= 0 1 es un isomorfismo que extiende a . Ms precisamente,
P la composicin
P
( ai i ) = (ai ) i .
Teorema 7.4.16. Sea K/F una extensin de campos y sean 1 , . . . , n . Entonces
F [1 , . . . , n ] = {f (1 , . . . , n ) | f F [x1 , . . . , xn ]}
(7.1)
y
F (1 , . . . , n ) =
f (1 , . . . , n )
| f, g F [x1 , . . . , xn ], g(1 , . . . , n ) 6= 0 .
g(1 , . . . , n )
(7.2)
7.5.
87
Sea F un campo. Si f (x) F [x], se sabe que existe un campo K que se puede considerar
una extensin de F en el cual f tiene una raz. El siguiente lema es conocido para polinomios
con coeficientes en R o C.
Lema 7.5.1. Sea f (x) F (x) y sea F . Entonces es una raz si y solamente si x
divide a f . Ms an, f tiene a lo ms n races en cualquier extensin de F .
Demostracin. Por el algoritmo de la divisin f (x) = (x )q(x) + r(x) donde deg r(x) <
deg(x ) = 1 y q(x), r(x) F [x]. As r(x) = r es una constante. Luego f () = r() = r es
una constante. Es claro entonces que f () = 0 si y solamente si r = 0 y r = 0 si y solamente si
x divide a f .
La segunda parte se hace por induccin sobre n = deg f . Si n = 1, entonces f = ax + b para
algunos a, b F . La nica raz de f es b/a y el resultado es cierto para n = 1. Suponga ahora
que cualquier polinomio de grado n1 con coeficientes F , tiene a lo ms n1 races en cualquier
extensin K. Sea ahora f (x) F [x] un polinomio de grado n y K una extensin de F . Si f no
tiene races en K el resultado es cierto. Si K es una raz, entonces f (x) = (x )g(x) para
algn g(x) K[x]. Como g(x) tiene grado n 1, de acuerdo con la hiptesis de induccin g
tiene a lo ms n 1 races en K. As f tiene a lo ms n races.
Definicin 7.5.2. Un campo de descomposicin de un polinomio f (x) F [x] es una extensin
K de F en la que f (x) se factoriza completamente en factores lineales y f (x) no se factoriza
completamente en factores lineales en ningn subcampo propio de K que contenga F .
Es decir, un campo de descomposicin para f (x) es el menor campo sobre el cual f (x) se
descompone completamente en factores lineales.
Teorema 7.5.3. Sea F un campo. Para cualquier polinomio f (x) F [x] existe un campo K
que es un campo de descomposicin de f (x).
Demostracin. Sea f (x) F [x]. La prueba se har por induccin sobre n = deg f . Si n = 1,
entonces E = F es un campo de descomposicin de f . Supongamos que n > 1. Si los factores
irreducibles de f son todos de grado uno, entonces F es un campo de descomposicin de f ,
si no es as, al menos un factor irreducible de f (x), digamos p(x), tiene grado cuando menos
2. Para p(x) existe una extensin E1 de F que contiene una raz de p(x). El polinomio
f1 (x) = f (x)/(x ) E1 [x] es de grado n 1, as que por induccin existe una extensin E
de E1 en la que f1 (x) se descompone completamente en factores lineales, y dado que E,
entonces E es una extensin de F que contiene todas las races de f . Note que E no tiene porque
ser distinto a E1 . Ahora sea K la interseccin de todos los subcampos de E que contienen a F
y a todas las races de f , i.e., K = F ({ | es una raz de f (x)}). Entonces K es un campo de
descomposicin para el polinomio f (x).
Ms adelante se mostrara que cualesquiera dos campos de descomposicin para un polinomio
f (x) son isomorfos. En virtud de esto se puede abusar de la notacin y hablar de el campo de
descomposicin de f .
Definicin 7.5.4. Sea K/F una extensin algebraica. Se dice que K/F es una extensin normal
o que K es una extensin normal de F si K es el campo de descomposicin de alguna coleccin
de polinomios con coeficientes en F .
Ejemplos 7.5.5.
88
7. Campos de extensin
3
3) Cul es el campo de descomposicinde x
2 Q[x]? Debe ser el campo generado por Q
3
3
y todas las races de x 2, que son 2, 3 2, 2 3 2, donde
1 + i 3
=
2
3
es una
raz
Q( 3 2, i 3)
3, x3 2
x2 +2, 2
Q( 2 2)
Q(i 3)
x3 2, 3
2, x2 +2
Q
4) Cul es el campo de descomposicin de x4 + 4 Q[x]? Se observa que
x4 + 4 = x4 + 4x2 + 4 4x2 = (x2 + 2)2 4x2 = (x2 + 2x + 2)(x2 2x + 2).
Las races de estos polinomios son 1 i y 1 i As el campo de descomposicin es Q(i).
5) Un campo de descomposicin del polinomio f (x) = x2 + x + 1 F2 [x] es F2 (), donde
2 + + 1 = 0. De hecho, x2 + x + 1 = (x )(x ( + 1)).
Teorema 7.5.6. El campo de descomposicin de un polinomio de grado n sobre F es de grado
a los ms n! sobre F .
Demostracin. Por induccin sobre n = deg f . Si n = 1, el resultado es obvio. Supongamos que
el resultado es cierto para polinomios de grado n 1. Sea p(x) un factor irreducible de f (x) y sea
K una extensin de F en la cual p(x) tiene una raz. Luego f tiene una raz en K y [K : F ] =
deg p(x) n. Como f (x) = (x)g(x), donde g(x) K[x] y deg g(x) = n1 por la hiptesis de
induccin se sigue que existe una extensin L de K en la que g(x) se descompone completamente
en factores lineales y [L : K] (n1)!. Pero entonces f se descompone completamente en factores
lineales en la extensin L de F y [L : F ] = [L : K][K : F ] (n 1)! n = n!.
7.6.
Ejercicios
2 + 1.
CAPTULO
8.1.
Campos de descomposicin
Sea F un campo. Si f (x) F [x], se sabe que existe un campo K que se puede considerar
una extensin de F en el cual f tiene una raz. El siguiente lema es conocido para polinomios
con coeficientes en R o C.
Lema 8.1.1. Sea f (x) F (x) y sea F . Entonces es una raz si y solamente si x
divide a f . Ms an, f tiene a lo ms n races en cualquier extensin de F .
Demostracin. Por el algoritmo de la divisin f (x) = (x )q(x) + r(x) donde deg r(x) <
deg(x ) = 1 y q(x), r(x) F [x]. As r(x) = r es una constante. Luego f () = r() = r es
una constante. Es claro entonces que f () = 0 si y solamente si r = 0 y r = 0 si y solamente si
x divide a f .
La segunda parte se hace por induccin sobre n = deg f . Si n = 1, entonces f = ax + b para
algunos a, b F . La nica raz de f es b/a y el resultado es cierto para n = 1. Suponga ahora
que cualquier polinomio de grado n1 con coeficientes F , tiene a lo ms n1 races en cualquier
extensin K. Sea ahora f (x) F [x] un polinomio de grado n y K una extensin de F . Si f no
tiene races en K el resultado es cierto. Si K es una raz, entonces f (x) = (x )g(x) para
algn g(x) K[x]. Como g(x) tiene grado n 1, de acuerdo con la hiptesis de induccin g
tiene a lo ms n 1 races en K. As f tiene a lo ms n races.
Definicin 8.1.2. Un campo de descomposicin de un polinomio f (x) F [x] es una extensin
K de F en la que f (x) se factoriza completamente en factores lineales y f (x) no se factoriza
completamente en factores lineales en ningn subcampo propio de K que contenga F .
Es decir, un campo de descomposicin para f (x) es el menor campo sobre el cual f (x) se
descompone completamente en factores lineales.
Teorema 8.1.3. Sea F un campo. Para cualquier polinomio f (x) F [x] existe un campo K
que es un campo de descomposicin de f (x).
Demostracin. Sea f (x) F [x]. La prueba se har por induccin sobre n = deg f . Si n = 1,
entonces E = F es un campo de descomposicin de f . Supongamos que n > 1. Si los factores
irreducibles de f son todos de grado uno, entonces F es un campo de descomposicin de f ,
si no es as, al menos un factor irreducible de f (x), digamos p(x), tiene grado cuando menos
89
90
2. Para p(x) existe una extensin E1 de F que contiene una raz de p(x). El polinomio
f1 (x) = f (x)/(x ) E1 [x] es de grado n 1, as que por induccin existe una extensin E
de E1 en la que f1 (x) se descompone completamente en factores lineales, y dado que E,
entonces E es una extensin de F que contiene todas las races de f . Note que E no tiene porque
ser distinto a E1 . Ahora sea K la interseccin de todos los subcampos de E que contienen a F
y a todas las races de f , i.e., K = F ({ | es una raz de f (x)}). Entonces K es un campo de
descomposicin para el polinomio f (x).
Ms adelante se mostrara que cualesquiera dos campos de descomposicin para un polinomio
f (x) son isomorfos. En virtud de esto se puede abusar de la notacin y hablar de el campo de
descomposicin de f .
Definicin 8.1.4. Sea K/F una extensin algebraica. Se dice que K/F es una extensin normal
o que K es una extensin normal de F si K es el campo de descomposicin de alguna coleccin
de polinomios con coeficientes en F .
Ejemplos 8.1.5.
1 + i 3
2
3
es una
raz
Q( 3 2, i 3)
3, x3 2
x2 +2, 2
Q( 2 2)
Q(i 3)
x3 2, 3
2, x2 +2
Q
4) Cul es el campo de descomposicin de x4 + 4 Q[x]? Se observa que
x4 + 4 = x4 + 4x2 + 4 4x2 = (x2 + 2)2 4x2 = (x2 + 2x + 2)(x2 2x + 2).
Las races de estos polinomios son 1 i y 1 i As el campo de descomposicin es Q(i).
5) Un campo de descomposicin del polinomio f (x) = x2 + x + 1 F2 [x] es F2 (), donde
2 + + 1 = 0. De hecho, x2 + x + 1 = (x )(x ( + 1)).
Teorema 8.1.6. El campo de descomposicin de un polinomio de grado n sobre F es de grado
a los ms n! sobre F .
91
8.1.1.
Campos ciclotmicos
r > 0,
0 < 2,
2k
2k
+ i sen
,
n
n
k = 0, 1, . . . , n 1.
Como C contiene todas las races n-simas de la unidad, entonces C contiene un campo de
descomposicin para xn 1. Observe que el conjunto de todas las races n-simas de la unidad
forman un grupo cclico y que n = e2i/n es un generador: nk = e2ik/n . Una raz n-sima
primitiva es una raz que genera al grupo cclico de todas las races n-simas.
No todas las races son primitivas. Por ejemplo, las races cuartas de la unidad son 1, i, 1, i
y ni 1 ni 1 son primitivas.
Es claro que el campo de descomposicin de xn 1 sobre Q es el campo Q(n ).
Definicin 8.1.7. El campo Q(n ) es el campo ciclotmico de las races n-simas de la unidad
Teorema 8.1.8. El polinomio mnimo de p sobre Q, donde p es primo, es
p (x) = xp1 + xp2 + + x + 1
y el grado de Q(p ) es p 1.
Demostracin. Se tiene la factorizacin
xp 1 = (x 1)(xp1 + xp2 + + x + 1)
y como p 6= 1, se concluye que p es una raz del polinomio
p (x) =
xp 1
= xp1 + xp2 + + x + 1.
x1
92
8.2.
Sea R un anillo conmutativo con unitario y sean I, J ideal de R. Recuerde que se dice que
I y J los ideales I y J son primos relativos si I + J = R.
Teorema 8.2.1 (Teorema Chino del Residuo). Sean A1 , . . . , Ak ideales de R. La funcin R
R/A1 R/Ak dada por r 7 (r + A1 , . . . , r + Ak ) es un homomorfismo de anillos, cuyo
ncleo es A1 Ak . Si para cada i, j {1, 2, . . . , k} con i 6= j, los ideales Ai y Aj son primos
relativos, entonces esta funcin es un epimorfismo y A1 Ak = A1 Ak , de tal manera
que
R/(A1 Ak ) = R/(A1 Ak )
= R/A1 R/Ak .
Corolario 8.2.2. Si m, n son primos relativos, entonces Z/mnZ
= Z/mZ Z/nZ.
Proposicin 8.2.3. Sean R, S anillos conmutativos con unitario. Entonces, el grupo de las
unidades de R S es el producto directo del grupo de las unidades de R con el grupo de las las
unidades de S, es decir,
(R S) = R S .
Como consecuencia se tiene
(Z/mnZ)
= (Z/mZ) (Z/nZ) .
Corolario 8.2.4. Sea n un entero positivo y sea n = pn1 1 pnk k su factorizacin en primos.
Entonces
Z/nZ
= (Z/pn1 Z) (Z/pnk Z) .
Teorema 8.2.5 (Teorema fundamental de los grupos abelianos finitos). Sea G un grupo abeliano
finito. Entonces G es el producto directo de subgrupos cclicos. Por lo tanto, G
= Z/n1 Z
Z/nr Z para algunos enteros ni .
Recordemos lo siguiente. Si G un grupo finito, el exponente exp(G) de G es el mnimo comn
mltiplo de los rdenes de los elementos de G.
Proposicin 8.2.6. Sea G un grupo abeliano finito. Si m = exp(G), entonces existe un elemento
de G cuyo orden es m. Ms an, G es cclico si y solamente si |G| = exp(G).
Si G es un grupo abeliano finito, entonces G tiene un elemento de orden exp(G) (se deja de
ejercicio). Denotemos la identidad del grupo G por 1. Entonces para cualquier g G, se tiene
que g exp(G) = 1 ya que exp(G) es un mltiplo del orden de g.
Teorema 8.2.7. Si K es un campo y G es subgrupo finito de K , entonces G es cclico.
Demostracin. Sea n = |G| y sea m = exp(G). Puesto que siempre existe un elemento de orden
m, del teorema de Lagrange se sigue que exp(G) | n y exp(G) n. Ahora bien g m = 1 para
todo g G, as que cada uno de los n elementos de G es una raz del polinomio xm 1 as que
xm 1 tiene al menos n races. Por otro lado, xm 1 tiene a lo ms m races en el campo K.
As n m y se sigue que |G| = n = m = exp(G) y por lo tanto G es cclico.
Como consecuencia de lo anterior, en cualquier campo de descomposicin abstracto K/Q de
xn 1, la coleccin de todas races n-simas de la unidad forman un grupo bajo la multiplicacin,
y como este grupo es un subgrupo de K , se sigue que el grupo de las races n-simas es un
grupo cclico.
93
Definicin 8.2.8. Una raz n-sima primitiva de la unidad, es un generador del grupo cclico
de todas las races n-simas de la unidad.
Denotemos con n un raz primitiva de la unidad. Las otras races n-simas primitivas de
la unidad son los elementos nr donde 1 r < n y r y n son primos relativos. Entonces hay
exactamente (n) races n-simas primitivas de la unidad, donde (n) es la funcin de Euler.
Ejemplo 8.2.9 (Campo de descomposicin de xp 2). Sea p un nmero primo. Si es una
raz de esta ecuacin y p es una raz p-sima primitiva de la unidad, entonces todas las races
del polinomio son pk , donde k = 0, . . . , p 1. El campo de descomposicin es precisamente
Q(, p ).
Q( p 2, p )
p1
Q( p 2)
Q(p )
p
p1
Dado que los grados de Q(p ) y de Q( p 2) son primos relativos, el grado del campo de descomposicin de xp 2 es p(p 1).
Teorema 8.2.10. Sea : F F 0 un isomorfismo de campos. Sea f (x) F [x] un polinomio
y sea f 0 (x) F 0 [x] el polinomio que se obtiene al aplicar a los coeficientes de F . Sea E un
campo de descomposicin de f sobre F y sea E 0 un campo de descomposicin de f 0 (x) sobre F 0 .
Entonces el isomorfismo se extiende a un isomorfismo : E E 0 , i.e., restringido a F es
el isomorfismo .
Demostracin. La prueba se hace por induccin sobre el grado el grado de n = deg f (x). Si
n = 1, entonces f se descompone completamente sobre F y por lo tanto tambin f 0 (x) se
descompone completamente sobre F 0 y = .
Supongamos ahora que el resultado es cierto para polinomios de grado menor que n. Si todos
los factores irreducibles de f son de grado 1, entonces E = F y E 0 = F 0 y = . Si no es ese el
caso, sean p(x) un factor irreducible de f (x) de grado al menos 2 y p0 (x) el correspondiente factor
irreducible de f 0 (x). Sean E una raz de p(x) y E 0 una raz de p0 (x). De acuerdo con el
Teorema 7.4.15, el isomorfismo : F F 0 se extiende a un isomorfismo 1 : F () F 0 () tal
que 1 () = . Se tiene entonces
f (x) = (x )f1 (x) en F ()[x]
f 0 (x) = (x )f10 (x) en F 0 ()[x]
Resulta que la extensin E de F () es un campo de descomposicin de f1 (x): es inmediato que
f1 (x) se descompone completamente sobre E; si f1 (x) se factorizara completamente en algn
campo E1 , F () E1 ( E, entonces tambin f se factorizara completamente sobre E1 lo cual
contradice que E es un campo de descomposicin de f (x) sobre F . De manera similar f10 (x), la
extensin E 0 de F 0 () es un campo de descomposicin de f10 (x). Dado que los grados de f1 (x) y
f10 (x) son de grado menor que n, de acuerdo con la hiptesis de induccin existe un isomorfismo
: E E 0 que extiende al isomorfismo 1 .
94
F ()
E0
F 0 ()
F0
8.3.
Cerradura algebraica
95
Existen las cerraduras algebraicas? La respuesta es s y la construccin que se da a continuacin se debe a Emil Artin.
Primero, consideremos la siguiente construccin. Sean F un campo, f1 (x), f2 (x) F [x]. Sean
x1 , x2 dos indeterminadas (una para cada fi ) y A = F [x1 , x2 ], el anillo de polinomios en las
indeterminadas x1 y x2 . Los polinomios f1 (x1 ) y f2 (x2 ) son ahora elementos de F [x1 , x2 ]. Sea
I = (f1 (x1 ), f2 (x2 )) el ideal de F [x1 , x2 ] generado por f1 y f2 . I es un ideal propio. Si no fuera
as, 1 sera combinacin lineal de f1 (x1 ) y f2 (x2 ):
g1 (x1 , x2 )f1 (x1 ) + g2 (x1 , x2 )f2 (x2 ) = 1.
Sea L/F una extensin que contenga una raz 1 de f1 (x) y una raz de 2 de f2 (x) (Por
ejemplo, sea L el campo de descomposicin de f1 (x)f2 (x)). Sustituyendo en la ecuacin anterior
se tendra 0 = 1, lo cual claramente es una contradiccin.
Dado que I es un ideal propio, hay un ideal mximo M que contiene a I (A diferencia
del caso base F [x]/(p(x)), aqu no hay garanta que I sea un ideal mximo). Sea el campo
K1 = F [x1 , x2 ]/M. Ahora bien, observamos que tanto f1 como f2 tiene ahora una raz en K1
ya que I M.
X
X
M = f1 (x1 ) + M =
ai xi1 + M =
(ai + M)(x1 + M)i = f1 (x1 + M)
X
X
M = f2 (x2 ) + M =
bi xi2 + M =
(bi + M)(x2 + M)i = f2 (x2 + M).
A continuacin se generaliza esta idea.
Teorema 8.3.6. Para cada campo F existe un campo algebraicamente cerrado K que contiene
a F.
Demostracin. Sean F un campo y la coleccin de todos los polinomios no constantes f F [x]
(Sera suficiente tomar nicamente a los polinomios mnicos irreducibles?). Para cada f ,
sea xf una indeterminada. De esta manera est en correspondencia biyectiva con el conjunto
{f (x) F [x] | deg f 1}. Sea A = F [{xf : f }] el anillo de polinomios con coeficientes en
F generado por las indeterminadas xf . Ahora sea I el ideal de A generado por los polinomios
f (xf ). El ideal I es un ideal propio de A, i.e., I 6= (1). Si no fuera este el caso, existiran
g1 , . . . , gn A tales que
g1 f1 (xf1 ) + + gn fn (xfn ) = 1
Sea L una extensin de F que contenga una raz de fi (x) para i = 1, 2, . . . , n.
Dado que I es un ideal propio de A, existe un ideal maximal M que contiene a I. (Es aqu
donde se usa el lemma de Zorn1 . El cociente K1 = A/M es un campo que contiene (una copia
isomorfa) a F . Cada f tiene una raz en K1 ; de hecho xf + M es una raz de f en K1 .
Repitiendo la construccin con K1 en vez de F , se obtiene un campo K2 y as sucesivamente.
La sucesin de campos
F = K0 K1 K2 Kj Kj+1
j = 0, 1, . . . ,
S
es tal que cada polinomio con coeficientes en Kj tiene una raz en Kj+1 . Sea K = j=0 Kj . Si
P
ahora h(x) =
ai xi K[x], entonces cada ak es un elemento de K y como por lo tanto cada
coeficiente est en algn campo Kj , as que tomando una N suficientemente grande, el campo
KN contiene a todos los coeficientes de h y por lo tanto h(x) KN [x], as que h(x) tiene una
en KN +1 . Esto muestra que K es algebraicamente cerrado.
1
Sean A un anillo conmutativo con unitario 1 6= 0 y la coleccin de todos los ideales propios de A, ordenados
parcialmente
con la inclusin; no es vaco ya que el ideal 0 pertenece a . Si {I } es una cadena en , entonces
S
I = I es un ideal propio de A y por tanto I e I es una cota superior de la cadena. Por el lema de Zorn
se concluye que tiene un elemento maximal.
96
8.3.1.
Ejercicios
CAPTULO
Ejercicios
9.1.
Ejercicios
1) Sea p un nmero primo y sea P el ideal principal de Z generado por p. Pruebe que este ideal
tiene la propiedad: ab P a P b P. Pruebe que existen ideales de Z que no tienen
esta propiedad.
2) Pruebe que cualquier subcampo de R contiene a Q.
3) Sea R un DIP. Pruebe que cada ideal propio no nulo de R es un producto de ideales maximales, nicos salvo el orden.
4) Sea R un anillo euclidiano. Suponga que q es un elemento no nulo de R que tiene la propiedad
q |ab q |a q |b
Pruebe que q o es una unidad o es un elemento primo.
5) Sea m un entero positivo y sea : Z Zm el epimorfismo cannico de Z en Zm ; considere el
homomorfismo : Z[x] Zm [x] inducido por 1 . Sea f Z[x] de grado positivo n y suponga
que (f ) no se factoriza en Zm [x] como el producto de dos polinomios de grado menor que
n. Pruebe que f es irreducible sobre Q.
6) Considere el campo Q y sea f = x3 2. Pruebe que existe un campo E que contiene a Q
como subcampo y un E tal que f () = 0, o ms precisamente, pruebe que hay un campo
E y un monomorfismo : Q E tal que f () = 0.
7) Pruebe que los anillos C y R [x] / x2 + 1 son isomorfos.
8) Sea R un anillo conmutativo con unitario que tiene la propiedad de que dados un anillo R0
no nulo, conmutativo con unitario y un homomorfismo de R en R0 este es inyectivo. Pruebe
que R es un campo.
1 El
ak xk =
(ak )xk
k=0
k=0
97
98
9. Ejercicios
9) Sea R un DIP. Pruebe que cada ideal propio no nulo de R es un producto de ideales maximales, nicos salvo el orden.
10) Sea R un anillo euclidiano. Suponga que q es un elemento no nulo de R que tiene la propiedad
q |ab q |a q |b
Pruebe que q o es una unidad o es un elemento primo.
11) Pruebe que si f R [x] es de grado n > 2, entonces f no es irreducible en R [x] .
12) Pruebe que Z8 [x] no es un dominio de factorizacin nica.
Considere el campo Q y sea f = x3 2. Pruebe que existe un campo E que contiene a
Q como subcampo y un E tal que f () = 0, o ms precisamente, pruebe que hay
un campo E y un monomorfismo : Q E tal que f () = 0.
Sea F un campo y sea f un polinomio de grado positivo en F [x]. Pruebe que existe un
campo E que contiene a F como subcampo2 ,y un E tal que f () = 0.
13) Sea F un campo y sea f un polinomio de grado positivo en F [x]. Pruebe que existe un campo
E que contiene a F como subcampo3 ,y un E tal que f () = 0.
Considere el campo Q y sea f = x3 2. Pruebe que existe un campo E que contiene a
Q como subcampo y un E tal que f () = 0, o ms precisamente, pruebe que hay
un campo E y un monomorfismo : Q E tal que f () = 0.
14)
15) Sea P un ideal propio de un anillo R con unitario 1 6= 0 tal que el anillo cociente R/P es un
dominio entero. Pruebe P que tiene la siguiente propiedad:
ab P a P b P.
Un subconjunto L de un anillo R es un ideal izquierdo de R si
a) L es un subgrupo de R respecto de la adicin.
De manera anloga se define un ideal derecho.
16) Sea U un ideal de un anillo con unitario R, y sea G el grupo de las unidades de R. Sea
N = {a U : a 1 (m
od U )}. Pruebe que N es un subgrupo normal de G.
17) Sea M un ideal de un anillo con unitario R tal que R/M es un anillo con divisin. Pruebe si
I es un ideal de R tal que M U R, entonces I = M o I = R, en otras palabras pruebe
que M es un ideal maximal de R.
18) Pruebe, directamente de las definiciones de ideal maximal e ideal primo, que todo ideal
maximal de un anillo conmutativo con unitario es un ideal primo.
y un monomorfismo : F E.
y un monomorfismo : F E.
entero tal que p - a y x2 a m
od p tiene una solucin para x Z,
De lo contrario, se dice que es un no residuo cuadrtico m
odp.
9.1. Ejercicios
99
20) Considere el anillo de polinomios con coeficientes enteros Z[x]. Pruebe Z[x] no es un dominio
de ideales principales verificando que el ideal = (x) + (p) (con p un nmero primo) no es
principal.
21) Sea R un anillo y sea R[t] el conjunto de todos los polinomios sobre R en la indeterminada
t. Pruebe que R[t] con las operaciones usuales de suma y multiplicacin de polinomios en un
anillo. Pruebe tambin que si R tiene unitario (es conmutativo), entonces R[t] tiene unitario
(es conmutativo).
100
9. Ejercicios
APNDICE
Captulo 1. Anillos
1.2.0.1. Primero se debe probar que R es un anillo. Denote con 0 al elemento identidad del
grupo (R, +) y con 1 a la identidad del grupo (R{0}, ). Observe que 10 = 1(0+0) = 10+10
y como (R, +) es grupo, se cumplen las leyes de la cancelacin. Luego 1 0 = 0. Anlogamente
0 1 = 0. Esto muestra que a 1 = 1 a = a para todo a R Veamos que la operacin + es
conmutativa.
(1 + 1)(a + b) = 1(a + b) + 1(a + b) = a + b + a + b.
(1 + 1)(a + b) = (1 + 1)a + (1 + 1)b = a + a + b + b.
Se sigue que a + b = b + a. Esto prueba que R es un anillo. Es claro que 1 es el unitario del
anillo y como (R {0}, ) es un grupo, cada elemento de r que no es cero tiene un inverso.
1.2.0.2. Es obvio que la suma de enteros mdulo n es conmutativa.
Sean b + c r1 m
od n, a + r1 r2 mod n, a + b r3 mod n y r3 + c r4 mod n. Se debe
probar que a + r1 = r3 + c mdulo n.
a + (b + c) = (a + b) +c
| {z } | {z }
r1
r3
a + r1 = r3 + c
Para esto se escribe,
b + c = nq1 + r1 ,
0 r1 < n,
a + r1 = nq2 + r2 ,
0 r2 < n,
a + b = nq3 + r3 ,
0 r3 < n,
r3 + c = nq4 + r4 ,
0 r4 < n.
102
Como a + (b + c) = (a + b) + c, los restos al dividir entre n tienen que ser iguales, es decir,
r2 = r4 . Esto prueba que la suma de enteros mdulo n es asociativa.
Sea 0 m n1. Se tiene m+0 = m = n0+m y 0 m < n, y por tanto m+0 m mod n.
Si m = 0 su inverso aditivo mdulo n es el mismo. Si 1 m n1, entonces 1 nm n1
y adems m + (n m) 0 m
od n. Luego todos los elementos del conjunto tienen un inverso con
respecto a la suma de enteros mdulo n. Esto muestra que Zn con la suma es un grupo abeliano.
Claramente el producto es conmutativo y 1 m m mod n para 0 m < n. Veamos ahora
la propiedad asociativa. Sean a, b, c Zn . Considere
ab = nq1 + r1 , 0 r1 < n,
r1 c = nq2 + r2 , 0 r2 < n,
bc = nq3 + r3 , 0 r3 < n,
ar3 = nq4 + r4 , 0 rr < n.
En Zn , (ab)c = r2 y a(bc) = r4 , as que se debe probar que r2 = r4 . Ahora bien,
(ab)c = n(q1 c + q2 ) + r2 ,
a(bc) = n(nq3 + q4 ) + r4 .
Como en Z, (ab)c = a(bc), los restos r2 y r4 tiene que ser iguales. La prueba de la propiedad
distributiva es similar.
1.2.0.3.
1) Usando las propiedades de anillo
0a + 0 = 0a
= (0 + 0)a
= 0a + 0a
Aplicando la ley de cancelacin para el grupo abeliano (R, +) se sigue que 0a = 0. De manera
similar se prueba que a0 = 0.
2) Recordemos que (ab) es aquel elemento que sumado a ab da 0.
a(b) + ab = a(b + b)
propiedad distributiva
= a0
= 0.
Esto muestra que a(b) es el inverso aditivo de ab, es decir (ab) = a(b). Anlogamente,
(a)b + ab = (a + a)b = 0b = 0,
y (ab) = (a)b.
3) Se tiene el siguiente resultado general. Para cualquier x
x + x = 0 = (x) + (x)
y por lo tanto (x) = x. Entonces
(a)(b) = (a(b))
por la parte 2
= ((ab))
por la parte 2
= ab.
103
4) Si R tiene elemento unitario, entonces
a + (1)a = 1 a + (1)a = (1 + (1))a = 0a = 0,
y a = (1)a.
1.2.0.4. Sea R un anillo con unitario. Observe que 1 R as que este conjunto no es vaco.
Si a, b R , entonces ab(b1 a1 ) = 1 = b1 a1 ab, por lo que (ab)1 = b1 a1 y ab es una
unidad, i.e., ab R . La propiedad asociativa es vlida en todo R, as que en particular es vlida
en el conjunto de las unidades. El neutro es el 1. Si a es una unidad y ab = ba = 1, entonces b
tambin es una unidad. Esto concluye la prueba.
1.2.0.5. Como 1S no es unitario de R, existe un elemento a R tal que a 1S 6= a o 1S a 6= a.
Supongamos que a 1S 6= a. El elemento b = a 1S a 6= 0 y
b 1S = (a 1S a)1S = (a 1S )1S a 1S = 0.
As 1S es un divisor de cero derecho. si 1 a 6= a, entonces 1S es un divisor de cero izquierdo.
1.2.0.6. Sea a R con a 6= 0. Considere la funcin f : R R dada por fa (x) = ax. La funcin
f es inyectiva, pues si ax = ay, entonces a(x y) = 0 y como R no tiene divisores de cero,
x y = 0. Por lo tanto, f tambin es suprayectiva. Para a existe e R tal que ae = a. Veamos
que ea = a. En efecto, sea ea = a0 . Multiplicando por la izquierda por a
ea = a0
aea = aa0
aa = aa0
Cancelando a, se llega a a = a0 .
Sea r R
er = r0
aer = ar0
ar = ar0
r = r0
1.2.0.7.
a) Como R es conmutativo, se tiene (ab)m = am bm . Por lo tanto, si x es nilpotente, tambin lo
ser ax para cualquier r R.
b) Observe que si xn = 0, tambin xn+1 = xn x = 0. Elija n > 0 impar tal que xn = 0. Luego
1 = 1 + xn = (1 + x)(xn1 xn2 + x + 1).
c) Se tiene que u1 x es nilpotente y tambin lo son 1 + u1 x y u(1 + u1 x) = u + x.
1.2.0.8. Nombre a las matrices A y B, respectivamente. Un clculo directo muestra que A2 =
0 = B 2 , y de acuerdo con la definicin tanto A como B son nilpotentes. Por otro lado se tiene
I = A + B, donde I es la matriz identidad de tamao 2. Claramente I n = I para todo n 0 y
por lo tanto I no es nilpotente.
1.2.0.9. Sea x R un elemento nilpotente con x 6= 0. Existe n > 0 tal que xn = 0. Sea
m el primer entero positivo para el cual se cumple esta propiedad. Luego xm1 6= 0, pero
xm = xm1 x = 0.
1.2.0.10. Sea x R nilpotente y sea n > 0 el menor entero positivo tal que xn = 0. Si n > 1,
entonces x sera un divisor de cero pues se tendra xxn1 = 0 con x 6= 0 6= xn1 ; por lo tanto
n = 1 y x1 = 0.
1.2.0.11.
a) Suponga que u tiene un inverso derecho u0 y que b 6= 0 es tal que bu = 0. Se tendra
b = b 1 = b(uu0 ) = (bu)u0 = 0, que claramente es una contradiccin.
b) Suponga que u1 6= u2 son dos inversos derechos de u, es decir uu1 = 1 = uu2 . Luego
u(u1 u2 ) = 0 con u1 u2 6= 0.
104
n veces
= a(b + + b) + + a(b + b)
m veces
z
}|
{
= ab + + ab + + ab + + ab
|
{z
}
|
{z
}
n veces
n veces
= (mn)(ab)
1.2.0.16.
a) Sean R un anillo booleano y a R. Se tiene
a + a = (a + a)2 = (a + a)(a + a) = a2 + a + a + a2 = a + a + a + a.
Cancelando dos veces a en ambos lados, se tiene que 2a = 0 para todo a R. Claramente 2
es el entero positivo ms pequeo con esta propiedad, pues de lo contrario R sera el anillo
trivial, es decir, el anillo con exactamente un elemento.
b) Sea a R. Como 1 R es el unitario, por definicin a = 1 a. Se tiene
ma = a + + a = 1 a + + 1 a = (1 + + 1)a = (m 1)a = 0a = 0.
| {z }
| {z }
m veces
m veces
105
lo que muestra que S es cerrado bajo sumas y productos. Esto prueba que es un subanillo de R,
que contiene al 1 = 1 1. Como R es conmutativo, entonces S tambin lo es y S es un subanillo
de R que adems es un dominio entero. Ahora bien, si R0 es un subdominio de R, por definicin
de dominio entero R0 tiene un elemento unitario 1S , que resulta ser el mismo elemento unitario
de R, i.e, 1S = 1, pues de no ser as, 1S sera un divisor de cero, lo cual no puede ser pues R es
un dominio entero.
Si 1 R0 , dado que R0 es anillo, entonces 1 R0 , de tal manera que n 1 R0 para
cualquier n Z, es decir S R0 .
1.2.0.18. En el anillo Zn , es claro que n 1 = 0. Si 0 < r < n, la suma de 1 consigo mismo r
veces es r pues r es el resto no negativo ms pequeo que n que se deja al dividir r entre n. Por
el ejercicio anterior, la caracterstica de Zn es n.
1.2.0.19. Sea R un dominio entero y sea e R un elemento idempotente, es decir, e2 = e.
Recuerde que por definicin R tiene un elemento unitario. Luego 0 = e2 e = e(e 1), de donde
e = 0 o e 1 = 0.
1.2.0.26. En efecto, (1, 0) (0, 1) = (0, 0) y (1, 0) 6= (0, 0) 6= (0, 1).
1.2.0.27. Observe que C 6= 0 pues 0 C. a, b C y r R, se tiene
(a b)r = ar br = ra rb = r(a b)
(ab)r = a(br) = a(rb) = (ar)b = (ra)b = r(ab).
Esto muestra que C es un subgrupo de R que es cerrado bajo multiplicacin, es decir, C es un
subanillo de R.
1.2.0.28. Sea b tal que ab = 1 = ba, i.e, b = a1 . Como (a)(b) = 1, se tiene que (a)1 =
b = a1 .
1.2.0.29. Sea R = {a0 , a1 , . . . , an1 }, donde a0 = 0 y a1 = 1. Dado que R es un anillo con
divisin, el grupo multiplicativo de las unidades R = R {a0 }, el cual obviamente tiene n 1
elementos. De acuerdo con el teorema de Lagrange, todo an1 = a1 = 1 para todo a R .
Luego an = aa1 = a para todo a R . Como tambin se tiene a00 = a0 , el resultado queda
probado.
1.2.0.33.
a) Es inmediato que Z[ D] es cerrado bajo la suma y resta. Por otro lado se tiene
1+ D
D1
1+ D
1+ D
)(c + d
) = ac + bd
+ (ab + bd + bd)
(a + b
2
2
4
2
Como D 1 m
od 4, (D 1)/4 es un entero y la cerradura con respecto a la multiplicacin
queda demostrada.
106
D 2
b Z
= a2 + ab +
4
ya que (1 D)/4 es un nmero entero.
e) Si O es una unidad, entonces existe O tal que = 1. Como la norma es multiplicativa, se tiene N ()N () = N (1) = 1. Por el apartado anterior, tanto N () como N ()
son nmeros enteros; luego N () = 1. Recprocamente, sea O tal que N () = 1. Se
tiene que N () = (a + b)(a + b) = 1, de donde (a + b)[(a + b)] = 1 as que el inverso
de es un elemento de O.
1.2.0.34. En este caso, O = Z[i] pues 1 6 1 mod 4. De acuerdo con el ejercicio anterior, las
unidades son todos aquellos enteros gaussianos a + bi tales que N (a + bi) = a2 + b2 = 1. Por lo
tanto Z[i] = {1, 1}.
1.2.0.35. El anillo de las unidades consta de todos aquellos = a + b tales que
1
3
N () = a2 + ab + (1 (3))/4b2 = a2 + ab + b2 = (a + b)2 + b2 = 1.
2
4
1.2.0.36. Si Z, entonces Z es el menor anillo con unitario que contiene a y Z[] = Z.
Como 1, Z[], este anillo contiene todas las potencias , 2 , 3 , . . . , y tambin contiene
a todos los enteros (pues debe contener a 1 + 1, 1 + 1 + 1, etc y a los negativos de stos). Por lo
tanto Z[] debe contener a todas las sumas finitas de la forma a0 + a1 + a2 2 + , es decir
R = {f () | f (x) Z[x]} Z[]. Ser suficiente ahora probar R es un anillo con unitario que
contiene {1, }, pues por la minimalidad de Z[] se tendra Z[] R. Que R es un subanillo
es claro, la suma y producto de expresiones polinomiales en es nuevamente una expresin
polinomial en .
Captulo 2. Ideales, homomorfismos y anillos cociente
P
P
2.1.0.8. Sean f (x) = ai xi y g(x) = bi xi . Entonces
X
X
f (x) + g(x) =
ci x i ,
ci =
(ai + bi )
X
X
f (x)g(x) =
dk xk ,
dk =
ai bj
k
i+j=k
As que
(f (x) + g(x)) =
(ci )xi
= (f (x)) + (g(x))
107
2.1.0.3. Sea x R con x 6= 0. Veamos que existe y R tal que 1 = xy. Ahora bien
1 = xy 1 (x) (x) = R R/(x) = 0
Ahora bien, el anillo R/(x) es conmutativo con unitario y el homomorfismo : R R/(x) no
es inyectivo pues su ncleo es (x) 6= 0. As que R/(x) es el anillo cero. As que, r + (x) = (x)
para cualquier r R. En particular 1 (x).
2.4.0.3. Sea M ( I R y sea x I pero x
/ M . Por hiptesis x es una unidad en R as que
I = R.
2.4.0.4. Se quiere probar que (r) = (1). Si no fuera ese el caso, es decir, si (r) 6= (1), entonces
(r) estara contenido en algn ideal maximal, pero como M es el nico ideal maximal de R, se
tendra que (r) M y por tanto r M . As que (r) = R y r es unidad.
Otra forma. Si r no es unidad, entonces (r) es un ideal propio de R y por lo tanto est
contenido en un ideal maximal y como R tiene un nico ideal maximal, entones (r) M .
2.4.0.5. Sean P ideal primo e I un ideal que contiene propiamente a P ; sean a I P y n > 1
tal que a(1 an1 ) = 0 P . Como a
/ P , 1 an1 P I. Como a I, entonces ambos
n1
n1
y 1a
pertenecen a I, y por tanto 1 I. Esto prueba que I = R.
a
Otra forma Sea P un ideal primo y veamos que R/P es campo. Sean a + P 6= P y n 2
tal que an = a.
(a + P )n = an + P = a + P (a + P )n1 = 1 + P (a + P )(an2 + P ) = 1 + P
Luego cada elemento de R/P que no es cero tiene un inverso.
2.4.0.6. Se tiene que (1) 6= 0, pues si lo fuera, se tendra
(x) = (x 1) = (x)(1) = (x) 0 = 0,
lo que es contrario a la hiptesis. Sea s S, entonces
s(1) = s(1 1) = s(1)(1).
Como (1) 6= 0 y S es un dominio entero, se sigue que s = s(1). Anlogamente se muestra que
(1)s = s.
2.4.0.7. Sea f (x) Q[x]. Por el algoritmo de la divisin, existen polinomios q(x), r(x) tales que
f (x) = (x2 2)q(x) + r(x) donde deg r(x) < deg(x2 2) = 2. As r(x) = a + bx para algnos
a, b Q. Luego
f (x) + I = (p(x)q(x) + r(x)) + I
= (p(x)q(x) + I) + (r(x) + I)
= (p(x) + I)(q(x) + I) + (r(x) + I)
Como p(x) I, se concluye que p(x) + I = I, es decir p(x) + I es el cero del anillo cociente.
Luego f (x) + I = r(x) + I.
2.4.0.8. R/Ic es un anillo conmutativo con unitario. Observe que f + Ic = Ic si y solamente
si f (c) = 0. Sea f + Ic 6= Ic , es decir, sea f + Ic un elemento del anillo cociente que no sea el
elemento cero. Se tiene entonces que f (c) 6= 0. Considere la funcin g : [0, 1] R, dada por
(
1
si x = c,
g(x) = f (c)
0
si x 6= c
Se tiene que f (c)g(c) = 1. Luego 1 f g Ic , es decir,
1 + I = f g + I = (f + I)(g + I).
108
i6=j
P
Como Aj es ideal xy Aj , pero tambin se tiene que xy i6=j Ai , y como la suma es directa
se concluye que xy = 0, as que xej = x.
2.4.0.38. Sea n N tal que xn = 0. En el anillo cociente se tiene
x +I = xn + I = I.
(x + I)n = (x + I) (x + I) = x
{z
} | {z }
|
n veces
n veces
109
a) Es claro que 0 . Sean x , r R y n > 0 tal que xn = 0. Como R es conmutativo,
(rx)n = rn xn = rn 0 = 0, y rx . Sean x, y , m, n > 0 tales que xm = 0 = y n . Como R
es conmutativo, se cumple el teorema del binomio
(x + y)
m+n
m+n
X
m + n j m+nj
a b
j
j=0
m1
X
j=0
m+n
m + n j m+nj X m + n j m+nj
x y
+
x y
j
j
j=m
110
propiedad de que (d) es una unidad en S para cualquier d D0 ; como D D0 , (d) es una
unidad en S para cualquier d D. Por lo tanto, existe un monomorfismo : Q S tal que
|R = . Luego Q es isomorfo a (Q)
3.2.0.4. Si a = 0, entonces b = 0 y viceversa. Supongamos que a 6= 0 6= b. Sea F el campo de
fracciones de R. Sean r, s Z tales que 1 = mr + ns. Entonces
a1 = amr+ns = (am )r (an )s = (bm )r (bn )s = bmr+ns = b.
Note que en F tiene sentido hablar del inverso de am o de an . Por lo tanto, si r o s son negativos
tiene sentido (am )r , etc.
3.2.0.5. Es claro que (r, d) (r, d) pues d1 (rdrd) = 0 para cualquier d1 D. Si d1 (resd) = 0,
entonces d1 (sd re) = 0. Finalmente, si
d1 (re sd) = 0,
d2 (sg ef ) = 0,
a R , b S
bd = 1S = db
(a, b) R S .
4.3.0.2. Sean 1 : R S R y 2 : R S S las proyecciones cannicas. Sean I = 1 (A)
y J = 2 (A). Luego I, J son ideales de R y S, respectivamente. Veamos que I J = A. Si
(a, b) A, es claro que a = 1 (a, b) I y b = 2 (a, b) J.
Sea (a, b) I J. Entonces a = 1 (a, s) y b = 2 (r, b) para ciertos r R y s S tales que
(a, s), (r, b) A. Luego
(a, s)(1R , 0) = (a, 0) A
= (a, b) = (a, 0) + (0, b) A
(r, b)(0, 1S ) = (0, b) A
4.3.0.3. Dado que todos los ideales de Z son de la forma aZ para a Z, de acuerdo con el
ejercicio anterior, los ideales de Z Z son precisamente de la forma mZ nZ, donde m, n Z.
4.3.0.4. Suponga primero que tanto R como S tienen elemento unitario, digamos 1R y 1S ,
respectivamente. Entonces
(a, b)(1R , 1S ) = (a 1R , b 1S ) = (a, b).
Anlogamente se muestra que (1R , 1S )(a, b) = (a, b).
Recprocamente, suponga que (e1 , e2 ) R S es el elemento unitario de R S. Sea a R.
Por un lado (a, 0)(e1 , e2 ) = (a, 0) = (e1 , e2 )(a, 0). Por otro lado, (a, 0)(e1 , e2 ) = (ae1 , 0). Por
comparacin se concluye que ae1 = a = e1 a y queda probado que e1 es el elemento unitario de
R. De manera anloga se prueba que e2 es el elemento unitario de S.
4.3.0.5. Suponga primero que todos los anillos en la familia tienen un elemento unitario. Sea
1R = (1i )iI , donde 1i es el elemento unitario de Ri . Luego
(ai )iI (1i )iI = (ai 1i )iI = (ai )iI = (1i ai )iI = (1i )iI (ai )iI .
111
Esto muestra que 1R es el elemento unitario de R.
Supongamos ahora que R tiene un elemento unitario, digamos 1R = (ei )iI , donde ei Ri
para toda i. Veamos ahora que ei es el elemento unitario de Ri . Sea r Ri y consideremos el
elemento i (r), donde i es la inyeccin cannica de Ri en el producto directo R. Como 1R es el
elemento unitario se tiene
1R i (r) = r (r) = (r) 1R .
Sea i el epimorfismo cannico de R sobre Ri . Recuerde que i i es el homomorfismo identidad
en Ri . Ahora bien,
r = i (i (r)) = i (1R i (r)) = i (1R )i ((r)) = ei r
Anlogamente se muestra que r ei = r y con esto queda probado que ei es el unitario de Ri .
4.3.0.6. Es claro que no es vaco pues al menos contiene al elemento (0, 0). Se tiene
(r, r) (r0 , r0 ) = (r r0 , r r0 ),
i0
i1
6 7
1 2
= i = 1 i i
5
5 5
5 5
As que = 5(1 i) + (1 2i). Finalmente
5
= 1 + 2i
1 2i
As que el un mximo comn divisor de y es 1 2i.
5.6.0.4. Como la norma de 2 + 3i es 13, el elemento 2 + 3i es primo, o lo que es lo mismo,
irreducible. Luego el ieal (2 + 3i) es maximal y el anillo cociente es un campo. Sea Z[i];
utilizando el algoritmo de la divisin se encuentran q, r Z[i] tales que = (2 + 3i)q + r, donde
N (r) < N (2 + 3i) = 13. Cada elemento del anillo cociente est representado por un elemento
112
i + (1 + i), i + (1 + i)
son todos iguales entre si. En efecto 2 = 1 (1) (1 + i), pues 2 = (1 + i)(1 i). Claramente
1 i (1 + i); finalmente 2i = i (i) (1 + i), pues 2i = (1 + i)2 . Esto muestra que si
113
a) Las unidades de Z Z son (1, 1). Si |a| =
6 1 y |b| =
6 1, se tendra que (a, b) sera reducible,
pues (a, b) = (a, 1)(1, b) y ni (a, 1) ni (1, b) son unidades.
b) Si b fuera reducible en Z, digamos b = mn con |m| , |n| > 1, entonces tambin (1, b) sera
reducible en Z Z: (1, b) = (1, m)(1, n) y ni (1, b) ni (1, n) son unidades.
5.6.0.25. Se tiene f (x) = 3(x 1) y como ni 3 ni x 1 son unidades en Z[x], se concluye
que f (x) es reducible. Sin embargo, f (x) no es un elemento primo. Para ver esto, observe que
3x 3 | 3(x 1), pero 3x 3 no divide ni a 3 ni a x 1, pues ninguna de las ecuaciones
3 = (3x 3)a(x),
x 1 = (3x 3)b(x)
114
7.6.0.1. Se tiene
0 = ( 1)3 2 = 3 32 + 3 3.
Luego p() = 0, donde p(x) = x3 3x2 + 3x 3 Z[x]. Se aplica el Criterio de Eisentein a p(x)
con p = 3, para concluir que p(x) es irreducible sobre Q[x]. Luego el polinomio mnimo de es
p(x).
Captulo 8. Campos de descomposicin y cerraduras algebraicas
Captulo 9. Ejercicios
Bibliografa
[1] David S. Dummit and Richard M. Foote. Abstract algebra. John Wiley & Sons Inc., Hoboken,
NJ, third edition, 2004.
[2] Minking Eie and Shou-Te Chang. A course on abstract algebra. World Scientific Publishing
Co. Pte. Ltd., Hackensack, NJ, 2010.
[3] John B. Fraleigh. lgebra Abstracta. Addison-Wesley Iberoamericana, Wilmington, Delaware, E.U.A., 1987.
[4] I. N. Herstein. Abstract algebra. Prentice Hall, Inc., Upper Saddle River, NJ, third edition,
1996. With a preface by Barbara Cortzen and David J. Winter.
[5] Thomas W. Hungerford. Algebra, volume 73 of Graduate Texts in Mathematics. SpringerVerlag, New York, 1980. Reprint of the 1974 original.
[6] Serge Lang. Algebra, volume 211 of Graduate Texts in Mathematics. Springer-Verlag, New
York, third edition, 2002.
[7] Patrick Morandi. Field and Galois theory, volume 167 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 1996.
[8] Ellen Maycock Parker. Laboratory experiences in group theory. Classroom Resource Materials Series. Mathematical Association of America, Washington, DC, 1996. A manual to be
used with t Exploring small groups, With 1 IBM-PC floppy disk (3.5 inch; HD), Software
developed by Ladnor D. Geissinger.
[9] Joseph J. Rotman. A first course in abstract algebra. Prentice Hall, Inc., Upper Saddle
River, NJ, 2000.
115
ndice alfabtico
A
algebraicamente cerrado, 94
anillo, 3
booleano, 10
caracterstica de un, 10
con divisin, 4
con elemento unitario, 3
de fracciones, 29
de los cuaternios reales, 5
de los enteros gaussianos, 4
de polinomios, 5, 51
generado, 73
B
booleano
anillo, 10
C
campo, 4, 69
de cocientes, 29
de descomposicin, 87, 89
de fracciones, 29
generado, 73, 84
caracterstica de un anillo, 10
caracterstica de un campo, 72
centro, 11
cerradura algebraica, 94
coeficiente lder o principal, 55
conjunto parcialmente ordenado, 22
cuaternios reales, 5
D
divisor de cero, 6
divisor derecho de cero, 6
divisor izquierdo de cero, 6
dominio
de ideales principales, 25
dominio entero, 7
E
elemento invertible, 6
elemento nilpotente, 9
elemento primitivo, 73, 84
enteros gaussianos, 4
epimorfismo
de anillos, 13
escalar, 70
extensin
cuadrtica, 76
de campo, 73
normal, 87, 90
simple, 73, 84
F
funcin
fi de Euler, 35
G
grado de un polinomio, 54
grado de una extensin, 73
grupo de las unidades, 6
H
homomorfismo
de anillos, 13
I
ideal, 14
derecho, 14
finitamente generado, 21
generado, 20
impropio, 15
izquierdo, 14
116
NDICE ALFABTICO
primo, 24
principal, 15, 21
proprio y no trivial, 15
trivial, 15
ideales
comaximales, 34
primos relativos, 34
inverso
derecho, 10
izquierdo, 10
isomorfismo
de anillos, 13
L
Lema de Zorn, 23
M
monomorfismo
de anillos, 13
multiplicacin
de polinomios, 51
N
nilpotente
elemento, 9
ncleo, 13
O
orden parcial, 22
P
polinomio, 5, 51
cero, 51
cero de un, 64
coeficiente lder o principal de un, 55
coeficientes de un, 5, 51
grado de un, 54
mnico, 55
primitivo, 62
raz de un, 64
trmino lder o principal de un, 55
polinomios
anillo de los, 53
igualdad de, 51
multiplicacin de, 51
suma de, 51
producto
de polinomios, 51
directo de anillos, 33
R
raz
de un polinomio, 64
117
S
semicampo, 4
subanillo, 8
subcampo primo, 72
suma
de polinomios, 51
T
teorema
Chino del Residuo, 34
de las races racionales, 64
del factor, 64
trmino lder o principal, 55
U
unidad, 6