Apuntes

Algebra II
1. Construcciones con regla y compas
Queremos encontrar una formalizacion matem atica de algunos problemas clasicos de la
geometra plana y espacial, como son los siguientes.
Trisecci on del angulo: dado un angulo , es posible construir, con regla y comp as, un
angulo de medida /3?
Cuadratura del crculo: dado un crculo de area A, es posible construir, con regla y
comp as, un cuadrado con el mismo area?
Duplicaci on del cubo: dado un cubo de volumen V , es posible construir, con regla y
comp as, un cubo de volumen 2V ?
Denicion 1.1. Sea S R
2
un conjunto. Se dice que un punto x R
2
es constructible en
un paso de S si se obtiene de una de las siguientes maneras:
como intersecci on de dos rectas, p
1
p
2
y q
1
q
2
, con p
i
, q
i
S;
como intersecci on de una recta, p
1
p
2
, y una circunferencia, C(q
1
, q
2
), con centro en q
1
y que pasa por q
2
, con p
i
, q
i
S; o
como intersecci on de dos circunferencias, C(p
1
, p
2
) y C(q
1
, q
2
), con p
i
, q
i
S.
Se dice que un punto x R
2
es constructible de S si existe una sucesi on nita de puntos,
x
1
, x
2
, . . . , x
n
= x tal que x
i
es constructible en un paso de S

i1
j=1
x
j
.
Evidentemente, las rectas p
1
p
2
y q
1
q
2
del primer apartado, as como las circunferencias
C(p
1
, p
2
) y C(q
1
, q
2
) del tercero, deben ser distintas. En caso contrario, todo punto de R
2
sera constructible (ejercicio: convencerse de ello), lo cual hara in util este concepto.
El problema de la trisecci on del angulo viene dado por dos semirrectas, que denen el
angulo . En el marco de la denicion anterior, podemos denir un conjunto S dado por tres
puntos: la intersecci on de las semirrectas que forman el angulo, y dos puntos que determinan
estas. En particular, podemos tomar S = (0, 0), (1, 0), (cos , sin).
Lema 1.2. El problema de la trisecci on del angulo tiene una respuesta positiva si y s olo si el
punto (cos , sin ) es constructible del conjunto (0, 0), (1, 0), (cos 3, sin 3).
Demostraci on. Por un lado, basta observar que el punto (cos , sin ) es la intersecci on de
la circunferencia C((0, 0), (1, 0)) con la semirrecta que trisecta el angulo 3. Recprocamente,
esta semirrecta viene determinada por los puntos (0, 0) y (cos , sin ). Q.E.D.
Podemos razonar an alogamente en los otros dos problemas. Las demostraciones de los
lemas siguientes quedan como ejercicios.
1
Lema 1.3. El problema de la cuadratura del crculo tiene una respuesta positiva si y s olo si
el punto (

, 0) es constructible de (0, 0), (1, 0).

Lema 1.4. El problema de la duplicaci on del cubo tiene una respuesta positiva si y s olo si el
punto (
3

2, 0) es constructible de (0, 0), (1, 0).

El resultado que sigue nos da una idea de lo que hemos ganado con esta formulaci on
formal de los problemas planteados al principio del captulo.
Lema 1.5. Sea S = s
i
= (a
i
, b
i
)
n
i=1
R
2
(n 2). Si s = (a, b) es constructible de S,
podemos expresar a y b en funci on de a
i
, b
i

n
i=1
utilizando operaciones algebraicas y races
cuadradas.
Demostraci on. Por induccion, basta comprobar que el resultado es cierto para puntos
constructibles en un paso. La demostracion, en este caso, se reduce a la inspeccion de cada
uno de las tres maneras de obtener constructibles en un paso.
Por ejemplo, en el segundo caso, sea la recta s
1
s
2
, de ecuaci on
yb
1
b
2
b
1
=
xa
1
a
2
a
1
, y C(s
3
, s
4
)
la circunferencia, de ecuaci on (x a
3
)
2
+ (y b
3
)
2
= (a
4
a
3
)
2
+ (b
4
b
3
)
2
. Los puntos
de intersecci on se obtienen de la soluci on del sistema de segundo grado formado por las dos
ecuaciones, por lo que sus coordenadas son expresables mediante operaciones algebraicas y
races cuadradas.
Los otros dos casos se demuestran an alogamente (ejercicio). Q.E.D.
La Teora de Galois, que desarrollaremos de aqu en adelante, nos permitira estudiar, entre
otras cosas, la resolubilidad del problema algebraico al que hemos reducido la trisecci on del
angulo, la cuadratura del crculo y la duplicacion del cubo.
2
2. Conceptos basicos de anillos
En teora de grupos, disponemos de un conjunto con una unica operaci on. Sin embargo,
estamos acostumbrados a trabajar con n umeros enteros, racionales, reales y complejos, en los
cuales existen dos operaciones. La estructura de anillo es una abstraccion de las propiedades,
intuitivamente evidentes, de estos n umeros.
Denicion 2.1. Un anillo (R, +, ) es un conjunto R dotado de dos operaciones binarias,
llamadas suma (+) y producto (), tales que
(R, +) es un grupo abeliano,
(R, ) es un monoide (i.e., la operaci on es cerrada y asociativa), y
se cumplen las siguientes propiedades distributivas
a (b +c) = a b +a c, (a +b) c = a c +b c, a, b, c R.
Denotaremos por 0 el elemento neutro respecto de la suma, y por r al inverso de r R
respecto de la misma operaci on.
Si existe elemento neutro para el producto, denotado por 1 y llamado elemento unidad, el
anillo se dice unitario. Si el producto es conmutativo, el anillo se dice conmutativo.
De hecho, son las propiedades distributivas, a traves de las cuales ambas operaciones
interact uan, las que dotan a Z, Q, R, C y a otros anillos de su riqueza de propiedades.
Ejemplos. 1. Z con las operaciones usuales de suma y producto es un anillo conmutativo
unitario.
2. 2Z = 2n : n Z, de nuevo con las operaciones habituales, es un anillo conmutativo,
pero no posee elemento unidad.
3. Dado un anillo R, el conjunto /
2
(R) =
__
a b
c d
_
: a, b, c, d R
_
con las operaciones
conocidas de suma y multiplicaci on de matrices, es un anillo no conmutativo (y unitario
si R lo es, con elemento unidad
_
1 0
0 1
_
).
4. Dado un anillo R, el conjunto R[X] de polinomios en la indeterminada X con coe-
cientes en R es un anillo. De igual manera, podemos considerar polinomios en m as
indeterminadas, deniendo R[X, Y ] = R[X][Y ].
Denicion 2.2. Sea R un anillo. Se dice que S R es un subanillo de R si (S, +) < (R, +)
y el producto es cerrado en S.
Alternativamente, se dice que S R es un subanillo de R si S satisface, por s mismo,
los axiomas de anillo.
Ejemplos. 1. 2Z < Z.
2. R < R[X].
3
Lema 2.3. Sea R un anillo, r, s R. Entonces,
1. r0 = 0r = 0, r R,
2. (r)s = (rs).
Demostraci on. Ambas propiedades son consecuencias sencillas de la propiedad distributiva.
1. r0 = r(0 + 0) = r0 + r0, y la estructura de grupo de R con respecto a la suma nos
permite restar miembro a mienbro, para obtener r0 = 0. Analogamente se demuestra
0r = 0.
2. rs+(r)s = [r+(r)]s = 0s = 0, y la armacion del enunciado se deduce de la unicidad
del elemento inverso.
Q.E.D.
Un papel similar al que jugaban los subgrupos normales en la teora de grupos es el que
van a desempe nar los ideales en la teora de anillos.
Denicion 2.4. Sea R un anillo. Un ideal de R es un subconjunto I R tal que
(I, +) < (R, +), y
r R, m I, mr I, rm I.
Denotaremos I R.
Evidentemente, todo ideal es subanillo.
Ejemplos. 1. R = Z, I = 2Z.
2. R = C[X], I = P C[X] : P(1) = 0.
Ejercicio. Sean R = /
2
(C), I =
__
0 a
0 b
_
/
2
(C)
_
. Demostrar que I es un subanillo,
pero no un ideal, de R.
Ejercicio. Demostrar que la intersecci on de una coleccion arbitraria de ideales de un anillo
R es, de nuevo, un ideal de R.
Denicion 2.5. Sea S un subconjunto de un anillo R. El menor ideal de R que contiene a S
se llama ideal generado por S, denotando (S). As, (S) es la intersecci on de todos los ideales
que contienen a S.
Lema 2.6. Sea R un anillo unitario. Entonces, (1) = R.
Demostraci on. Sea r R. Como 1 (1), se debe tener r1 = r (1) para todo r R. Por
tanto, (1) = R. Q.E.D.
Lema 2.7. Para todo anillo R, 0 R.
4
Los ideales de un anillo R son subgrupos normales del grupo (R, +), ya que este es abeliano.
As, podemos considerar el conjunto cociente R/I. De la teora de grupos, sabemos que la
operaci on de suma de clases de equivalencia (r +I) +(s +I) = (r +s) +I est a bien denida,
y que, con ella, (R/I, +) es un grupo abeliano.
Para poder considerar el anillo cociente R/I, denimos el producto de clases de equivalencia
seg un
(r +I)(s +I) = rs +I.
Teorema 2.8.
1. El producto de clases de equivalencia dado arriba est a bien denido, i.e., no depende de
la elecci on de representantes.
2. R/I con estas operaciones es un anillo.
Demostraci on.
1. Sean r+I = r

+I, s+I = s

+I. Entonces, existen a, b I tales que r

= r+a, s

= s+b.
Utilizando la denicion de ideal, se tiene
r

+I = (r +a)(s +b) +I = rs +as +rb +ab +I = rs +I.

2. (R/I, +) es un grupo abeliano, y la asociatividad del producto es evidente. Queda como
ejercicio la demostracion de la validez de las propiedades distributivas.
Q.E.D.
Al igual que los homomorsmos de grupos conservaban la operaci on de este, los homomor-
smos de anillos habran de conservar las operaciones de suma y producto.
Denicion 2.9. Sean R, S dos anillos. Un homomorsmo de anillos es una aplicaci on :
R S tal que para todos r, s R se cumple
(r +s) = (r) +(s), y
(rs) = (r)(s).
Es importante notar que todo homomorsmo de anillos f : (R, +, ) (S, +, ) es tambien
un homomorsmo de grupos f : (R, +) (S, +).
Denicion 2.10. Sea : R S un homomorsmo de anillos. Se denen la imagen y el
n ucleo de :
im = s S : r R, (r) = s
ker = r R : (r) = 0
Existen an alogos en anillos de los importantes teoremas de correspondencia e isomorfa de
la teora de grupos.
Teorema 2.11 (Teorema de correspondencia). Sea R un anillo, I R.
5
1. Si J es un ideal de R con I J, entonces J/I es un ideal de R/I. Adem as, si K es
otro ideal de R conteniendo a I, J = K si y s olo si J/I = K/I.
2. Sea L un ideal de R/I. Entonces, J = x R : x +I L R, I J, y L = J/I.
Demostraci on.
1. Queda como ejercicio demostrar que J/I R/I. De la unicidad, la implicaci on directa
es evidente. Para comprobar la inversa, veamos que K < J, J < K. En efecto, para
cada k K, se tiene
j J : k +I = j +I k j I a I : k = j +a J.
Recprocamente, para cada j J,
k K : j +I = k +I j k I b I : j = k +b J.
2. Es tambien un ejercicio demostrar que J es un ideal de R. Es claro que I J, ya que
para todo i I se tiene i+I = I L. Veamos que L = J/I. Por un lado, si l = a+I L,
se tiene a J por denicion, de donde a + I J/I. Recprocamente, para todo j J,
es j +I J/I, y, de nuevo por la denicion de J, se tiene j +I L.
Q.E.D.
Teorema 2.12 (Primer teorema de isomorfa de anillos). Sean R, S dos anillos, y
f : R S un homomorsmo entre ellos. Entonces,
1. ker f R,
2. im f < S, y
3. R/ker f

= im f.
Demostraci on.
1. Sean r R, a ker f. Entonces, f(ra) = f(r)f(a) = f(r)0 = 0, luego ra ker f.
Analogamente, f(ar) = f(a)f(r) = 0f(r) = 0 y ar ker f. Que (ker f, +) < (R, +) se
deduce del primer teorema de isomorfa de grupos.
2. Ejercicio.
3. Sea g : R/ker f im f denido seg un g(r + ker f) = f(r). Esta aplicaci on est a bien
denida, pues, si r + ker f = s + ker f, a ker f tal que r = s +a, de donde
g(r + ker f) = f(r) = f(s +a) = f(s) +f(a) = f(s) + 0 = f(s) = g(s + ker f).
Ademas, g es homomorsmo, pues f lo es. Es inyectivo, por el mismo argumento que
asegura que est a bien denido. Por ultimo, es sobreyectivo, ya que todo s im f es
s = f(r) = g(r + ker f) para alg un r R.
Q.E.D.
6
3. Conceptos basicos de cuerpos
En anillos, no existen, en general, inversos multiplicativos, y, por tanto, no disponemos de
la operaci on de division. Debemos extender la estructura de anillo para asegurar su existencia.
Denicion 3.1. Sea R un anillo unitario. Un elemento r R se llama unidad si existe otro
elemento s R tal que rs = sr = 1. Se denota U(R) al conjunto de unidades de R.
Ejemplos. 1. U(Z) = 1, 1.
2. U(Q) = Q

= Q0.
Lema 3.2. Sea R un anillo unitario. (U(R), ) posee estructura de grupo.
Demostraci on. Es evidente que el inverso multiplicativo de un elemento r R pertenece a
R, ya que la denicion de unidad es simetrica. Por otro lado, sean r, s U(R), de modo que
existen r
1
, s
1
R. Entonces,
(rs)(s
1
r
1
) = r(ss
1
)r
1
= r1r
1
= rr
1
= 1,
(s
1
r
1
)(rs) = s(rr
1
)s
1
= s1s
1
= ss
1
= 1,
i.e., rs U(R) y (rs)
1
= s
1
r
1
. Q.E.D.
Ejemplo. Sea R = Z[i] = a + bi : a, b Z, el anillo de los enteros gaussianos. Como
(a+bi)
1
=
abi
a
2
+b
2
sobre los complejos, se tiene que (a+bi)
1
U(Z[i]) si y s olo si a
2
+b
2
= 1,
por lo que U(R) = 1, 1, i, i.
Denicion 3.3. Un cuerpo es un anillo conmutativo unitario K tal que U(K) = K0.
Conocemos ya algunos ejemplos de cuerpos: Q, R y C. Otros menos triviales son los Z
p
,
con p primo (recordar que U(Z
p
) = Z

p
si y s olo si p es primo).
Teorema 3.4. Sea R un anillo conmutativo unitario. Entonces, R es un cuerpo si y s olo si
posee unicamente los ideales 0 y R.
Demostraci on. () Supongamos que R es cuerpo, y sea 0 , = I R. Si 0 ,= r I, existe
r
1
R, de modo que rr
1
= r
1
r = 1 R. Pero (1) I implica (1) = R.
() Supongamos que R posee unicamente los ideales impropios. Sea 0 ,= r R, e I =
rR = rs : s R (es un ejercicio demostrar que rRR si R es conmutativo). Pero I ,= 0,
ya que r = r1 I, por lo que debe ser I = R. En particular, 1 I, luego existe s R tal que
rR rs = 1, por lo que r U(R). Q.E.D.
Ejercicio. Sea R un anillo conmutativo unitario. Demostrar que 0 ,= r R es una unidad de
R si y s olo si (r) = rR = R.
En el tema anterior, vimos que si R es un anillo e I un ideal suyo, el conjunto cociente R/I
es un anillo. Veamos bajo que condiciones este anillo cociente posee estructura de cuerpo.
Denicion 3.5. Sea R un anillo, I R. Se dice que I es un ideal maximal de R si I ,= R y
no existe J R tal que I J R.
7
Corolario 3.6. Sea R un anillo conmutativo unitario, I R. Entonces, I es un ideal maximal
de R si y s olo si I/R es un cuerpo.
Demostraci on. () Si I es maximal, el teorema de correspondencia asegura que los unicos
ideales de R/I son 0 y R, por lo que este es un cuerpo.
() Si R/I es cuerpo, posee unicamente los ideales 0 y R, por lo que, por el teorema de
correspondencia, no existe ning un ideal J como en la denicion de ideal maximal. Q.E.D.
El paso al cociente es una tecnica muy poderosa para conseguir demostraciones, pues
podemos pasar de trabajar en un anillo a trabajar en un cuerpo, en el cual disponemos de
inversos multiplicativos.
Ejercicio. (Peque no teorema de Fermat) Demostrar que x
p
x (m od p), con x Z y p
primo.
Desearamos que si rs = rt, se tuviera s = t. Sin embargo, esto no siempre es cierto. Por
ejemplo, en el anillo Z
6
, tenemos 3 2 = 0 = 3 0, pero 2 ,= 0 evidentemente.
Denicion 3.7. Sea R un anillo. Un elemento 0 ,= r R es un divisor de cero si existe
0 ,= s R tal que rs = 0 o sr = 0.
Lema 3.8. Sea R un anillo unitario. Si r U(R), entonces r no es divisor de cero.
Demostraci on. Supongamos que r U(R), y que existe 0 ,= s R tal que sr = 0. Entonces,
0 = (sr)r
1
= s, en contradicci on con las hip otesis. Q.E.D.
Corolario 3.9. Un cuerpo no tiene divisores de cero.
Ejemplo. Sea p un n umero primo, p > 2. Veamos que (p 1)! 1 (m od p). Pasando al
cociente, Z
p
, esta igualdad se escribe
p 1 p 2 . . . 2 1 = 1. (*)
Como primer paso, resolvamos la ecuaci on a
2
= 1 en Z
p
, utilizando que es un cuerpo y no
tiene divisores de cero.
a
2
= 1 a
2
1 = 0 (a 1)(a + 1) = 0 a = 1 o a = 1.
Entonces, si a Z
p
, se tiene a = a
1
si y s olo si a 1, 1.
De esta manera, podemos escribir Z

p
= 1, 1

aZp\{1,1}
a, a
1
. Reagrupando el
producto en (),
(p 1)! = 1 1 2 2
1
3 3
1
. . . = 1 1 = 1.
Denicion 3.10. Sea K un cuerpo. Se dice que un subconjunto F K es un subcuerpo de
K si se cumple que:
F es un subanillo de K, y
f F, f ,= 0, se tiene f
1
F.
8
Ejemplo. Q < R < C.
Ejercicio. Demostrar que la intersecci on de una coleccion arbitraria de subcuerpos de un
cuerpo K es de nuevo un subcuerpo de K.
Denicion 3.11. Sea S un subconjunto de un cuerpo K. El menor subcuerpo de R que
contiene a S se llama subcuerpo generado por S, denotando (S). As, (S) es la intersecci on
de todos los subcuerpos que contienen a S.
Existen ejemplos importantes de anillos, que tienen la propiedad, tambien importante,
de no poseer divisores de cero, pero que no llegan a ser cuerpos, al no disponer de inversos
multiplicativos.
Denicion 3.12. Un dominio de integridad es un anillo conmutativo unitario sin divisores
de cero.
Ejemplos. 1. Todo cuerpo es dominio de integridad.
2. Z.
3. R[X].
Lema 3.13. Sea R un dominio de integridad, y F un cuerpo con R F. Se tiene
(R) = rs
1
: r, s R, s ,= 0.
Demostraci on. La inclusion T = rs
1
: r, s R, s ,= 0 (R) es trivial, pues (R) es un
cuerpo. Para probar la recproca, basta ver que T es un cuerpo (ejercicio). Q.E.D.
Ejemplo. (Z) = Q, tanto si consideramos Z R como Z C.
Esta construccion puede hacerse sin necesidad del cuerpo F. En particular, dado un do-
minio de integridad R, consideramos el conjunto T = (r, s) : r, s R, s ,= 0, y en el la
relaci on de equivalencia dada por (r
1
, s
1
) (r
2
, s
2
) si r
1
s
2
= r
2
s
1
. Denotamos por
r
s
la clase
de equivalencia del elemento (r, s). Deniendo las operaciones suma y producto en K = T/
seg un
r
s
+
a
b
=
rb +sa
sb
,
r
s

a
b
=
ra
sb
,
obtenemos un cuerpo, seg un asegura el siguiente teorema. A este cuerpo se le denomina cuerpo
de cocientes de R.
Teorema 3.14.
1. Las operaciones recien denidas no dependen de la elecci on de representantes.
2. (K, +, ) posee estructura de cuerpo.
3. Existe un homomorsmo inyectivo : R K.
4. ((R)) = K.
5. Si F es un cuerpo y R F, el menor subcuerpo de F que contiene a R es isomorfo a
K.
9
Demostraci on. Los dos primeros apartados son un ejercicio. Para demostrar el tercero,
sea (r) =
r
1
(que es evidentemente un homomorsmo). Veamos que es inyectivo. En efecto,
supongamos que (r) = 0, con r ,= 0. Entonces,
r
1
=
0
s
implica rs = 0, y, por ser R dominio
de integridad y s ,= 0, se tiene r = 0, en contra de las hip otesis.
Ademas, si
s
1
((R)), entonces
_
s
1
_
1
=
1
s
((R)), luego
r
1
1
s
=
r
s
((R)), luego
K ((R)). La desigualdad contraria se deduce de la misma denicion de ((R)).
Por ultimo, supongamos que R F, con F cuerpo. Entonces, el homomorsmo
r
s
K
rs
1
(R) es un isomorsmo de anillos, y, por tanto, tambien de cuerpos (ejercicio). Q.E.D.
Ejemplo. Sea R = K[X] el anillo de polinomios sobre un cuerpo K. El cuerpo de cocientes
de R es
P(x)
Q(x)
: P(x), Q(x) K[X], Q(X) ,= 0, el cuerpo de funciones racionales sobre K.
Con el concepto del cuerpo de cocientes en la mano, podemos empezar a comprender la
estructura de un cuerpo cualquiera.
Denicion 3.15. Sea K un cuerpo. La caracterstica de K, char K, es el menor n umero
natural tal que 1 + 1 + + 1
. .
n veces
= 0. Si no existe tal n, se dice que char K = 0.
Ejemplos. 1. Los cuerpos Q, R, C son de caracterstica 0.
2. char Z
p
= p.
Denicion 3.16. Sea K un cuerpo. Se dene el subcuerpo primo de K, (), como el mnimo
subcuerpo contenido en K.
Ejemplos. 1. En el cuerpo de los n umeros reales, se tiene () = Q.
2. En Z
p
, donde p es primo, se tiene () = Z
p
.
El siguiente teorema arma que estos ejemplos copan todas las posibilidades, de modo que,
en realidad, son los ejemplos.
Teorema 3.17. Sea K un cuerpo.
1. Si char K = 0, el subcuerpo primo de K es isomorfo a Q.
2. Si char K = p, entonces p es primo, y el subcuerpo primo de K es isomorfo a Z
p
.
Demostraci on.
1. Si char K = 0, no existe n N tal que n 1 = 0, ni n(1) = 0, de modo que K contiene
un subanillo isomorfo a Z. Entonces, el subcuerpo primo de K es isomorfo al cuerpo de
fracciones de Z, que es Q.
2. Supongamos que la caracterstica de K no es un n umero primo, de modo que p = p
1
p
2
,
con p
1
,= 1, p
2
,= 1. Entonces, (p
1
1)(p
2
1) = p 1 = 0, y, por ser K cuerpo, p
1
1 = 0
o p
2
1 = 0, en contradicci on con las hip otesis.
Razonando como en el apartado anterior, K contiene un subanillo isomorfo a Z
p
. Por
tanto, el subcuerpo primo de K es isomorfo al cuerpo de fracciones de Z
p
, que coincide
con s mismo.
Q.E.D.
10
4. Dominios eucldeos
Una propiedad importante del anillo de los n umeros enteros es que todo z Z se puede
descomponer, esencialmente de manera unica, en un producto de n umeros primos. Ademas,
sabemos realizar divisiones en Z. Veamos bajo que condiciones podemos encontrar estas
propiedades.
Denicion 4.1. Sea R un anillo, I R. Se dice que I es un ideal principal de R si existe un
elemento a R tal que I = (a).
Denicion 4.2. Un dominio de ideales principales es un dominio de integridad en el cual
todos los ideales son principales.
Denicion 4.3. Un dominio eucldeo es un dominio de integridad, junto con una aplicaci on
g : R

N que cumple las siguientes propiedades:

1. g(ab) g(a) para todos a, b R

, y
2. (algoritmo de divisi on) para todos a, b R, a ,= 0 existen q, r R tales que b = qa +r,
con r = 0 o g(r) < g(a).
Ejemplos. 1. Si K es un cuerpo, K[x] es un dominio eucldeo, con g(P(x)) = P, el
grado del polinomio, y el algoritmo de division conocido (veremos la demostracion en el
captulo siguiente).
2. Veamos que el anillo de los enteros gaussianos, Z[i] es un dominio eucldeo, con la funcion
g : (Z[i])

N denida seg un g(a +bi) = [a +bi[

2
= a
2
+b
2
.
El primer axioma se reduce a
g((a +bi)(c +di)) = [a +bi[
2
[c +di[
2
[a +bi[
2
= g(a +bi),
pues [c +di[
2
1.
Veamos el algoritmo de la division. Dados x, y Z[i], x ,= 0, busquemos q, r Z[i] tales
que y = qx + r, con r = 0 o g(r) < g(x). Sea q

= a

+ b

i = yx
1
Q[i]. Es claro que
existen a, b Z tales que [a a

[
1
2
y [b b

[
1
2
. Tomemos q = a +bi. Entonces,
r = y qx = q

x qx = (q

q)x = ((a

a) + (b

b)i)x.
Considerando la extension de g al cuerpo Q[i], dada por la misma expresi on analtica,
obtenemos
g(r) = g((a

a) + (b

b)i)g(x)
1
2
g(x) < g(x),
como queramos demostrar.
Ejercicio. Demostrar que Z[

2] es un dominio eucldeo.
Teorema 4.4. Todo dominio eucldeo es dominio de ideales principales.
Demostraci on. Sea R un dominio eucldeo, e I R. Si I = 0, es claro que es un ideal
principal. Supongamos, entonces, que I contiene al menos un elemento distinto de cero. Sea
11
a I tal que g(a) g(c) para cualquier otro c I. Entonces, utilizando el algoritmo de
division, existen q, r R tales que c = qa +r con r = 0 o g(r) < g(a).
Pero r = c qa I, r ,= 0 implicara g(r) g(a), por la denicion de a, en contra de
las hip otesis. Por tanto, r = 0, y todo elemento c I es de la forma c = qa, i.e., I = (a).
Q.E.D.
Corolario 4.5. Z es un dominio de ideales principales.
Demostraci on. Basta ver que Z es un dominio eucldeo con g(z) = [z[. Q.E.D.
Denicion 4.6. Sea R un dominio de ideales principales, a, b R, a ,= 0, b ,= 0. Se dice que
un elemento d R es un m aximo com un divisor de a y b si (d) = (a, b). Tambien denotaremos
d = (a, b).
Es importante notar que el m aximo com un divisor no tiene por que ser unico. Sin embargo,
veremos que dos m aximos comunes divisores dieren en una unidad.
Denicion 4.7. Sea R un dominio de integridad. Se dice que dos elementos e, d R0
est an asociados si existe r U(R) tal que e = rd, en cuyo caso denotamos d e.
Ejemplo. En Z, todo n est a asociado con n, pues n = (1)n y 1 U(R).
Lema 4.8. Sea R un dominio de integridad, e, d R, d ,= 0, e ,= 0. Entonces, (d) = (e) si y
s olo si d y e est an asociados.
Demostraci on. () Como (d) < (e), existe r R tal que e = rd. Analogamente, (e) < (d),
luego d = se con s R. As, d = srd, por lo que sr = 1, r U(R) y d e.
() Recprocamente, si d e, existen r, s U(R) tales que e = rd y d = se, de lo cual es
evidente que (d) < (e) y (e) < (d). Q.E.D.
Existe un algoritmo, llamado de Euclides, que permite encontrar un m aximo com un divisor
de dos elementos cualesquiera a
0
, a
1
de un dominio eucldeo. Supongamos, sin perdida de
generalidad, que g(a
1
) < g(a
0
). Utilizando el algoritmo de division en R, hacemos
a
0
= q
1
a
1
+a
2
, g(a
2
) < g(a
1
),
a
1
= q
2
a
2
+a
3
, g(a
3
) < g(a
2
),
.
.
.
a
n1
= q
n
a
n
.
Observemos que este proceso concluye en un n umero nito de pasos, ya que g(a
i
) < g(a
i1
),
y la imagen de g est a contenida en los n umeros naturales. Es un ejercicio sencillo comprobar
que a
n
es un m aximo com un divisor de a
0
y a
1
.
Ademas, el algoritmo de Euclides ha producido n 1 ecuaciones ( utiles; la ultima unica-
mente nos indica cu ando terminamos). Si consideramos la sucesion a
i

n
i=0
como inc ogni-
tas (hay n + 1), y sustituyendo hacia adelante a
i+1
= a
i1
q
i
a
i
podemos encontrar a
n
=
Aa
0
+Ba
1
, demostrando la conocida propiedad lineal del m aximo com un divisor.
12
Ejemplos. 1. (15, 35) = 5, pues el algoritmo de Euclides produce
35 = 2 15 + 5
15 = 3 5.
Para encontrar A y B, hacemos 5 = 35 2 15, i.e., A = 1, B = 2.
2. (15, 40) = 5. En efecto,
40 = 2 15 + 10
15 = 1 10 + 5
10 = 2 5.
Ademas, 5 = 15 1 10 = 15 1(40 2 15) = 40 + 3 15, de modo que A = 1 y
B = 3.
3. El algoritmo de Euclides es muy util para encontrar inversos en cuerpos Z
p
. Por ejemplo,
consideremos p = 11. El elemento 3 es invertible, pues (3, 11) = 1. Por el algoritmo de
Euclides,
11 = 3 3 + 2
3 = 1 2 + 1
2 = 2 1.
Entonces, 1 = 3 1 2 = 3 1(11 3 3) = 4 3 + 1 11, i.e., 1 = 4 3 y 4 = 3
1
.
Denicion 4.9. Sea R un dominio de integridad. a = bc es una descomposici on trivial si
a U(R) o b U(R).
Se dice que 0 ,= r R es un elemento primo de R si r / U(R) y s olo posee descomposi-
ciones triviales.
El siguiente lema justica la denominacion de elementos primos recien dada (aplquese al
anillo de los enteros y recuerdese 3.6).
Lema 4.10. Sea R un dominio de ideales principales. Entonces, un elemento 0 ,= a R es
primo si y s olo si (a) es un ideal maximal de R.
Demostraci on. () Puesto que a es primo, a / U(R), por lo que (a) ,= R. Supongamos
que (a) < (b), de modo que a = cb. Como a posee unicamente descomposiciones triviales, se
tiene c U(R) (en cuyo caso (a) = (b)) o b U(R) (y (b) = R), por lo que (a) es maximal.
() Si (a) es maximal, se tiene a / U(R), pues, en caso contrario, se tendra (a) = R. Sea
a = bc, de modo que (a) < (b). Puesto que (a) es maximal, existen dos unicas posibilidades:
si (b) = R, entonces b U(R); si (b) = (a), entonces b a y c U(R). Por tanto, a no tiene
descomposiciones no triviales. Q.E.D.
Evidentemente, decimos que a divide a b, y denotamos a[b si existe c tal que b = ca, i.e.,
si b (a).
Corolario 4.11. Sea R un dominio de ideales principales, y p un elemento primo de R. Si
a = bc y p[a, entonces p[b o p[c.
13
Demostraci on. Consideremos el conjunto cociente R/(p), que es cuerpo por ser (p) maximal.
Como p[a, se tiene a (p). Por tanto, b c = 0, de donde b = 0 o c = 0. Q.E.D.
Este resultado se generaliza de forma obvia a cualquier producto con un n umero nito de
elementos.
Lema 4.12. Sea R un dominio eucldeo. Supongamos que a[c pero a , c (a es un divisor
propio de c). Entonces, g(a) < g(c).
Demostraci on. Por un lado, existe d R, d / U(R) tal que c = da. Por otro, utilizando el
algoritmo de division, obtenemos q, r R tales que a = qc +r, con r = 0 o g(r) < g(c).
Supongamos que r = 0. Entonces, a (c), (a) < (c), luego (a) = (c) y se tendra a c,
en contra de las hip otesis. Por tanto, g(r) < g(c). Pero r = a qc = a qda = a(1 qd) y
g(a) g(r). Q.E.D.
Teorema 4.13. Sea R un dominio eucldeo, a R. Entonces, existe una unica descomposici on
de a como producto de elementos primos de R.
Aqu, unica signica que si a = p
1
p
2
. . . p
n
= q
1
q
2
. . . q
m
, entonces n = m y existe una
permutaci on S
n
tal que p
i
q
(i)
.
Demostraci on. Si g(a) = 1, a no puede tener descomposiciones no triviales. En efecto, si
a = bc, b es un divisor propio de a, por lo que 1 g(b) < g(a) = 1. Por tanto, a U(R) o a
es un elemento primo. Supongamos cierto el enunciado para todo a R tal que g(a) < n.
Si g(a) = n y a no es un elemento primo de R, existe una descomposici on no trivial
a = bc, y se tiene g(b) < n, g(c) < n, por lo que, aplicando la hip otesis de induccion, existen
descomposiciones b = p
1
p
2
. . . p
k
, c = q
1
q
2
. . . q
l
. Entonces, a = p
1
p
2
. . . p
k
q
1
q
2
. . . q
l
, lo cual
prueba la existencia de tal descomposici on.
Veamos la unicidad. Supongamos que a = p
1
p
2
. . . p
n
= q
1
q
2
. . . q
m
, con , U(R).
Entonces, p
1
[q
1
q
2
. . . q
m
, por lo que existe i 1, 2, . . . , m tal que p
1
[q
i
, y, por ser elementos
primos, existe U(R) tal que p
1
= q
i
. As, se tiene p
2
p
3
. . . p
n
= q
1
q
2
. . . q
i1
q
i+1
. . . q
m
,
y la hip otesis de induccion asegura que n1 = m1, y que cada p
j
, 1 < j n est a asociado
con un q
k
, 1 k m, k ,= i. Q.E.D.
Un dominio de integridad conmutativo en el cual se cumplen las conclusiones de este
teorema recibe el nombre de dominio de factorizaci on unica. Podemos reformular el teorema
diciendo que todo dominio eucldeo es dominio de factorizacion unica.
Ejemplos. 1. 12 = (3)(2)2 = 2 2 3, pero 2 2 y 3 3, y podemos tomar
= (1 3).
2. Z[i] es un dominio eucldeo, y, por tanto, las descomposiciones son unicas en el.
Contraejemplo. Veamos que en Z[

3], las descomposiciones no tienen por que ser unicas,

de donde deducimos que no es un dominio eucldeo.
Si p
1
= 2, p
2
= 1 +

3, p
3
= 1

3, tenemos p
2
1
= p
2
p
3
. Basta comprobar, por tanto,
que p
1
, p
2
, p
3
son elementos primos, y que p
1
no est a asociado con p
2
ni p
3
.
En efecto, consideremos g : (Z[

3])

N dado por g(a + b

3) = a
2
+ 3b
2
. De esta,
notamos que si g(r) = 1, entonces r U(R), ya que g(r) = rr. Ademas, no existe ning un
14
elemento a+b

3 Z[

3] tal que g(a+b

3) = 2, pues la ecuaci on a
2
+3b
2
= 2 no tiene
soluci on sobre los enteros.
Es evidente que p
1
, p
2
, p
3
/ U(R) (ejercicio). Supongamos que p
i
= ab es una descomposi-
cion no trivial de p
i
. Entonces, 4 = g(p
i
) = g(a)g(b). Por tanto, g(a) = 1 (luego a U(R))
o g(b) = 1 (y b U(R)), en contra de las hip otesis. Por tanto, p
1
, p
2
, p
3
son primos.
Veamos que p
1
no est a asociado con p
2
ni p
3
. Supongamos lo contrario, p
1
= ap
2
, p
1
= bp
3
,
con a, b U(R). Entonces, trabajando en el cuerpo de los n umeros complejos (que contiene a
Z[

3]), obtenemos
a = p
1
p
1
2
=
1
2

1
2

3 / Z[

3]
b = p
1
p
1
3
=
1
2
+
1
2

3 / Z[

3].
15
5. Anillos de polinomios
El caso m as importante de aplicaci on de los conceptos del captulo anterior son los anillos
de polinomios.
Denicion 5.1. Sea R un anillo. Se dice que el polinomio P = a
0
+ a
1
X + + a
n
X
n

R[X], a
n
,= 0 tiene grado n, y se denota P = n, con el convenio 0 = .
Lema 5.2. Sea R un dominio de integridad. Entonces, R[X] es un dominio de integridad.
Adem as, para todos P, Q R[X] se cumple
1. (PQ) = P +Q, y
2. (P +Q) = m axP, Q.
Demostraci on. En el caso en que P = 0 o Q = 0, las dos igualdades del enunciado son
evidentes. Sean, entonces,
P = a
0
+a
1
X + +a
n
X
n
, Q = b
0
+b
1
X + +b
m
X
m
,
con a
n
,= 0, b
m
,= 0.
1. Se tiene PQ = a
0
b
0
+ (a
0
b
1
+ a
1
b
0
)X + + a
n
b
m
X
n+m
. Como R es un dominio de
integridad, a
n
b
m
,= 0, por lo que (PQ) = n +m = P +Q > , lo cual demuestra
tambien que R[X] no tiene divisores de cero, y es, por tanto, un dominio de integridad.
2. Demasiado sencillo para que la demostracion sea siquiera un ejercicio. El ejercicio es
convencerse de ello.
Q.E.D.
Teorema 5.3. Si K es un cuerpo, entonces K[X] es un dominio eucldeo. En particular, para
todos P, Q K[X], P ,= 0 existen R, C K[X] tales que Q = CP +R y R < P.
Demostraci on. Sean
P = a
0
+a
1
X + +a
n
X
n
, Q = b
0
+b
1
X + +b
m
X
m
,
con a
n
,= 0, b
m
,= 0.
Si m < n, basta tomar C = 0, R = Q. Supongamos, entonces, que m n. Utilizaremos
induccion sobre el grado de Q. Fijo n, tomemos como base de induccion el caso m < n y
supongamos el enunciado cierto para todo Q con Q < m. Sea C
1
= b
m
a
1
n
x
mn
. Entonces,
Q
1
= Q C
1
P es un polinomio de grado m 1, y, por la hip otesis de induccion, existen
C
2
, R
1
K[X] tales que Q
1
= C
2
P +R
1
y R
1
< P. Basta, por tanto, tomar C = C
1
+C
2
y R = R
1
.
La funcion g : (K[X])

N necesaria viene dada por la expresi on g(P) = 2

P
. Q.E.D.
Corolario 5.4. Sea K un cuerpo. K[X] es un dominio de ideales principales, y un dominio
de factorizaci on unica.
16
Los anillos de polinomios poseen una nomenclatura particular: en ellos, los elementos
primos reciben el nombre de polinomios irreducibles.
Ejercicio. Sea K un cuerpo. Probar que Xa K[X] es un polinomio irreducible para todo
a K. Ademas, demostrar que K[X]/(X a)

= K.
Hasta ahora, hemos considerado los polinomios como elementos de ciertos anillos, P =
a
0
+a
1
X+ +a
n
X
n
. Sin embargo, tambien podemos asociar a cada polinomio una aplicaci on
P : K K que a cada elemento a K le asocia P(a) = a
0
+ a
1
a + + a
n
a
n
, obtenido
por sustitucion formal de X por a. Tiene, entonces, sentido, decir que P(a) = 0, en cuyo caso
decimos que a es una raz del polinomio P.
Teorema 5.5 (Runi). Sean P K[X] y a K. Entonces, P(a) = 0 si y s olo si P
(X a).
Equivalentemente, a es raz del polinomio P si y s olo si P es divisible por X a.
Demostraci on. Por el algoritmo de division, existen C, R K[X] tales que P = C(X
a) + R, con R < (X a) = 1. Por tanto, R = 0 o R = , i.e., R K. Entonces,
P(a) = 0 implica R = 0, y viceversa. Q.E.D.
Proposici on 5.6. Sean a, b K. Entonces, (X a) = (X b) si y s olo si a = b.
Demostraci on. La implicaci on inversa es evidente. Para probar la directa, observemos que
los polinomios de la forma X c con c K son irreducibles, de donde (X a) < (X b)
implica X b[X a y a = b. Q.E.D.
Corolario 5.7. Sea P K[X], P = n. Entonces, P tiene a lo sumo n races.
Demostraci on. Puesto que K[X] es un dominio de factorizacion unica, podemos descom-
poner P como producto de elementos primos (i.e, polinomios irreducibles) P = P
1
P
2
. . . P
k
.
Como U(K[X]) = K

, se tiene P
i
1. As, n = P =

k
i=1
P
i
, por lo que k n.
Ahora bien, si a
j
es raz de P, el teorema de Runi asegura que X a
j
es un divisor de
P, por lo que debe estar asociado a alg un P
i
. Q.E.D.
Lema 5.8 (Gauss). Sea P Z[X]. P es irreducible sobre Z si y s olo si lo es sobre Q.
Demostraci on. Supongamos que P es irreducible sobre Z, pero que P = (a
0
+a
1
X + +
a
n
X
n
)(b
0
+b
1
X+ +b
m
X
m
) es una descomposici on sobre Q. Como existe un n umero nito
de coecientes racionales, existe n N, que tomaremos mnimo, tal que nP = (c
0
+ c
1
X +
+c
n
X
n
)(d
0
+d
1
X + +d
m
X
m
) es una descomposici on sobre Z.
Sea p un divisor primo de n. Es claro que p no puede dividir a un tiempo a todos los c
i
o a
todos los b
j
, pues entrara en contradicci on con la denicion de n. Pasando al cociente, Z
p
[X],
tenemos nP = 0, lo cual implica que alguno de los factores es 0, por ser Z
p
[X] un dominio de
integridad, en contradicci on con la observacion anterior.
La implicaci on recproca es evidente, pues toda descomposici on sobre Q es una descom-
posici on sobre Z. Q.E.D.
Esta demostracion puede extenderse facilmente a otros dominios eucldeos.
17
Ejercicio. Sea R un dominio eucldeo, y K su cuerpo de cocientes. Entonces, P R[X] es
irreducible sobre R si y s olo si lo es sobre K.
Teorema 5.9 (Criterio de irreducibilidad de Eisenstein). Sea P Z[X], P = a
0
+
a
1
X + +a
n
X
n
, a
n
,= 0. Supongamos que existe un primo p tal p a
n
, p[a
i
i < n, p
2
a
0
.
Entonces, P es irreducible sobre Q.
Demostraci on. Por el lema de Gauss, basta demostrar que P es irreducible sobre Z. Supong-
amos que P no es irreducible, sino que existen P
1
, P
2
Z[X] tales que P = P
1
P
2
. Pasando
al cociente, Z
p
[X], se tiene P = a
n
X
n
, con a
n
,= 0. Entonces, X
n
= a
n
1
P
1
P
2
, de modo que
P
1
= X
i
, P
2
= X
j
con i +j = n.
Pero, si P
1
= c
0
+c
1
X + c
i
X
i
, P
2
= d
0
+d
1
X + +d
j
X
j
, se tiene que p[c
0
y p[d
0
, de
donde p
2
[c
0
d
0
= a
0
, en contradicci on con las hip otesis. Q.E.D.
El lema de Gauss y el criterio de Eisenstein nos proporcionan una poderosa herramienta
para decidir la irreducibilidad sobre Q de un polinomio con coecientes en el mismo cuerpo.
Ejemplos. 1. Sea P = X
3
+ 2X + 2. El criterio de Eisenstein con p = 2 asegura que este
es irreducible sobre Q. Recuerdese que z[0 para todo z Z, pues 0 (z) Z.
2. Sea p un n umero primo, y P = X
p1
+X
p2
+ +X+1 =
X
p
1
X1
, el p-esimo polinomio
ciclotomico.
Es claro que P(X) es irreducible si y s olo si lo es P(X + 1), pues si P(X + 1) =
Q
1
(X)Q
2
(X), entonces P(X) = Q
1
(X 1)Q
2
(X 1). Pero
P(X + 1) =
(X + 1)
p
1
(X + 1) 1
=
p

k=1
_
p
p k
_
X
k1
= X
p1
+pX
p2
+
_
p
2
_
X
p3
+ +
_
p
p 2
_
X +p,
por lo que el criterio de irreducibilidad de Eisenstein nos asegura el resultado.
Teorema 5.10. Sea p un n umero primo, P Z un polinomio m onico (P = n, a
n
= 1), y
P la imagen de P bajo el homomorsmo can onico : Z[X] Z
p
[X]. Si P = P y P es
irreducible en Z
p
[X], entonces P es irreducible en Q[X].
Demostraci on. Ejercicio. Q.E.D.
18
6. Extensiones de cuerpos
Polinomios que no tienen races sobre los n umeros racionales, s las tienen en los reales o
los complejos. Por tanto, estaremos interesados en encontrar nuevos cuerpos que contengan a
los antiguos como subcuerpos, y tales que contienen las races de alg un polinomio.
Denicion 6.1. Sean K, F dos cuerpos. Se dice que F es una extension de K si contiene
alg un subcuerpo isomorfo a K. En este caso, denotaremos F/K.
Una denicion m as elegante (y equivalente a la anterior) es decir que un cuerpo F es una
extension de otro cuerpo K si existe un monomorsmo : K F.
Ejemplos. 1. R/Q.
2. Q[

2]/Q.
Si K es cuerpo, el mnimo subcuerpo contenido en el es el subcuerpo primo, que debe
ser isomorfo a Q o a Z
p
. Por tanto, podemos considerar todo cuerpo como extension de un
subcuerpo primo.
Denicion 6.2. Sea F/K una extensi on de cuerpos, y S F un subconjunto. Denotamos
K(S) al menor subcuerpo de F que contiene a K y S.
Ejemplos. 1. Q(i) C.
2. Q(

2) C.
3. Q(

2, i) = a +b

2 +ci +di

2 : a, b, c, d Q C.
Lema 6.3. Dados dos subconjuntos S, T F, se tiene K(S T) = K(S)(T).
Demostraci on. Ejercicio. Q.E.D.
Lema 6.4. Sea S = u
1
, u
2
, . . . , u
n
F. Entonces, K(u
1
, u
2
, . . . , u
n
) es el cuerpo de co-
cientes de K[u
1
, u
2
, . . . , u
n
].
Demostraci on. Ejercicio. Q.E.D.
Ejemplo. Q(

2) = Q[

2], puesto que Q[

2] es cuerpo.
Denicion 6.5. Se dice que F/K es una extensi on nitamente generada si existe un subcon-
junto nito S F tal que F = K(S).
Ejemplo. Q(

2, i)/Q es una extension nitamente generada.

Ejercicio. Comprobar que si K F es numerable y u F, entonces K(u) es numerable.
Utilizar este resultado para probar que R/Q es una extension no nitamente generada.
Denicion 6.6. Una extensi on F/K se llama simple si existe alg un elemento u F tal que
F = K(u).
Ejemplo. C/R es una extension simple, ya que C = R(i).
19
Ejercicio. Sea F/K una extension de cuerpos. Demostrar que F posee estructura de K-
espacio vectorial, i.e.,
(F, +) es un grupo abeliano, y
k K, f F, kf F, cumpliendo
(k
1
+k
2
)f = k
1
f +k
2
f, k
1
, k
2
K, f F,
k(f
1
+f
2
) = kf
1
+kf
2
, k K, f
1
, f
2
F.
Denicion 6.7. Se dice que la extensi on F/K es nita si la dimensi on de F como K-espacio
vectorial es nita. En tal caso, [F : K[ = dim
K
F recibe el nombre de grado de la extensi on.
Ejemplos. 1. [C : R[ = 2, pues 1, i es R-base de C.
2. [K : K[ = 1.
3. [K(X) : K[ = +; una base es 1, X, X
2
, . . ..
Ejercicio. Demostrar que F/K es nitamente generada si es nita, pero no necesariamente
a la inversa (el contraejemplo lo acabamos de dar).
Teorema 6.8. Sea K un cuerpo, y P K[X] un polinomio irreducible. La extensi on F =
K[X]/(P) es nita, y [F : K[ = P.
Demostraci on. Sea P = a
0
+a
1
X+ +a
n
X
n
, n ,= 0. Notemos que si 0 ,= a K, entonces
a ,= 0, por lo que K es isomorfo al cuerpo K = a : a K. Identicando ambos, tenemos,
para todo Q K[X],
Q = b
0
+b
1
X + +b
k
X
k
+ (P) = b
0
+b
1
X + +b
k
X
k
. (1)
Por tanto, podemos caracterizar F = K[X]. Veamos que B = 1, X, . . . , X
n1
es una base
de F como K-espacio vectorial.
B es un sistema generador de F, pues todo monomio X
m
es combinaci on lineal de elementos
de B. Si m < n, esto es evidente. Si m n, por el algoritmo de division, existen polinomios
R, C K[X] tales que X
m
= CP +R, con R < P = n. Sobre el cociente, X
m
= R.
B es un conjunto linealmente independiente. En efecto, si existiesen
0
,
1
, . . . ,
n1
K
no todos cero tales que

n1
i=0

i
X
i
= 0, se tendra
n1

i=0

i
X
i
(P) C K[X] :
n1

i=0

i
X
i
= CP
Pero n 1 = (

n1
i=0

i
X
i
) = P +C n, lo cual es absurdo. Q.E.D.
Teorema 6.9. Sean F/E, E/K extensiones de cuerpos. Entonces, F/K es una extensi on
nita si y s olo si lo son F/E y E/K. Adem as, [F : K[ = [F : E[ [E : K[.
Demostraci on. Supongamos que la extension F/K es nita. Entonces, dim
K
F = r < +,
y dim
K
E r, por ser E K-subespacio vectorial de F, lo cual demuestra que E/K es nita.
20
Ademas, si w
1
, w
2
, . . . , w
r
es una K-base de F, tenemos F = Kw
1
+ Kw
2
+ + Kw
r
=
Ew
1
+Ew
2
+ +Ew
r
, por lo que [F : E[ < +.
Recprocamente, sean [F : E[ = n < +, [E : K[ = m < +. Entonces, existe una
K-base de E, v
1
, v
2
, . . . , v
m
, y una E-base de F, u
1
, u
2
, . . . , u
n
. Sea B = u
i
v
j
, que tiene
[B[ = mn, y veamos que es K-base de F.
B es sistema generador de F. En efecto, para todo f F, existen e
i

n
i=1
E tales que
f =

n
i=1
e
i
u
i
. Ademas, para cada i, existen k
ij

m
j=1
tales que e
i
=

m
j=1
k
ij
v
j
. Por tanto,
f =

n
i=1

m
j=1
k
ij
u
i
v
j
.
Por ultimo, B es un conjunto linealmente independiente sobre K. En efecto, supongamos
que

n
i=1

m
j=1
k
ij
u
i
v
j
= 0. Entonces,

n
i=1
e
i
u
i
= 0 implica e
i
= 0 para todo i, por ser u
i

n
i=1
base. Finalmente, e
i
=

m
j=1
k
ij
v
j
= 0 implica k
ij
= 0, por ser v
j

m
j=1
base. Q.E.D.
En lo que resta de este tema, buscaremos una caracterizaci on de las extensiones nitas,
que ser an las que nos interesen.
Denicion 6.10. Sea F/K una extensi on de cuerpos. Decimos que un elemento a F es
algebraico sobre K si existe P K[X], P ,= 0 tal que P(a) = 0. En caso contrario, decimos
que a es trascendente
Ejemplos. 1.

2 R es algebraico sobre Q, pues el polinomio P = X

2
2 cumple
P(

2) = 0.
2. , e R son trascendentes sobre Q (aunque las demostraciones no son nada triviales).
Teorema 6.11 (Existencia del polinomio mnimo). Sea F/K una extensi on de cuerpos, y
a F un elemento algebraico sobre K. Entonces, existe un unico polinomio m onico P K[X]
tal que
P(a) = 0, y
para todo Q K[X] tal que Q(a) = 0 se tiene P[Q.
Denotaremos P = Irr(a, K), y llamaremos a P el polinomio mnimo de a sobre K.
Demostraci on. Consideremos la aplicaci on
a
: K[X] F dado por
a
(Q) = Q(a).
El n ucleo de este homomorsmo es un ideal de K[X], y, por ser este dominio de ideales
principales, existe un polinomio P K[X] tal que ker
a
= (P). Ademas, podemos tomar P
m onico, pues si P = n y a
n
,= 1, entonces Q = a
1
n
P es m onico y genera el mismo ideal.
De la misma denicion de P como elemento generador de ker se deduce que divide a
todo polinomio que se anule en a.
Veamos que P es irreducible. Supongamos que P = P
1
P
2
es una descomposici on no trivial.
Entonces, P(a) = 0 implica P
1
(a) = 0 o P
2
(a) = 0, pues K no posee divisores de cero.
Entonces, P
1
ker
a
o P
2
ker
a
, respectivamente, luego P
2
U(K[X]) o P
1
U(K[X]),
en contra de las hip otesis.
Este argumento prueba tambien la unicidad. Q.E.D.
Ejemplos. 1. Para toda extension F/K, se tiene Irr(a, K) = X a para todo a K.
21
2. En Q(
4

2)/Q(

2), se tiene Irr(

4

2, Q(

2)) = X
2

2.
Teorema 6.12. Sea F/K una extensi on de cuerpos, y a F un elemento algebraico sobre
K. Entonces,
K(a)

= K[X]/(Irr(a, K))
mediante el isomorsmo Q+ (Irr(a, K))

Q(a).
Demostraci on. Supongamos que Q
1
+(Irr(a, K)) = Q
2
+(Irr(a, K)). Entonces, Q
1
Q
2

(Irr(a, K)), luego Q
1
(a) Q
2
(a) = 0 y est a bien denida. Es un ejercicio comprobar que es
un homomorsmo de anillos, y, por tanto, de cuerpos.
es inyectiva. En efecto, si (P
1
) = (P
2
), entonces (P
1
P
1
2
) = 1, luego P
1
P
1
2
= 1 (en
particular, esto prueba que todo homomorsmo de cuerpos es inyectivo).
es suprayectiva. En efecto, Im es un subcuerpo de F, a Im (pues a = (x +
(Irr(a, K))))y K Im. Basta observar, entonces, que K(a) es el menor subcuerpo de F que
contiene a K y al elemento a. Q.E.D.
Ejemplo. Sobre la extension C/Q, se tiene Irr(
3

3, Q) = X
3
3. Entonces, Q(
3

3)

=
Q[X]/(X
3
3).
Observemos que, puesto que B = 1, X, X
2
es Q-base de Q[X]/(X
3
3), se tiene que
(B) = (1), (X), (X
2
) = 1,
3

3,
3

9
es una Q-base de Q(
3

3), de donde [Q(

3

3) : Q[ = 3. Este resultado es valido en general, como

asegura el siguiente corolario.
Corolario 6.13. Sea F/K una extensi on de cuerpos, y a F. Entonces, K(a)/K es una
extensi on nita si y s olo si a es algebraico sobre K. Adem as, [K(a) : K[ = Irr(a, K) = n, y
1, a, . . . , a
n1
es una K-base de K(a).
Demostraci on. Sea P = Irr(a, K), P = n. B = 1, X, . . . , X
n1
es K-base de K[X]/(P),
por lo que (B) = 1, a, . . . , a
n1
es K-base de K(a). Q.E.D.
Corolario 6.14. Sea F/K una extensi on de cuerpos, y a F. Entonces, K(a)/K es una
extensi on innita si y s olo si a es trascendente sobre K. Adem as, K(a)

= K(X).
Demostraci on. La primera parte es una reformulaci on del corolario anterior. Es un ejercicio
demostrar la otra armacion. El punto se encuentra en que : K(X) K(a) denido seg un
(P) = P(a) tiene n ucleo trivial si a es trascendente sobre K. Q.E.D.
Teorema 6.15. Sea F/K una extensi on de cuerpos, y u, v F elementos algebraicos sobre
K. Entonces, uv, u +v y u
1
(si u ,= 0) son algebraicos sobre K.
Demostraci on. En primer lugar, notemos que si v es algebraico sobre K, tambien lo es sobre
cualquier otro cuerpo K

que contenga a K. De este modo, se tiene que [K(u, v) : K(u)[ < +

y [K(u) : K[ < +. Por tanto,
[K(u, v) : K[ = [K(u, v) : K(u)[ [K(u) : K[ < +
22
Pero K(uv) K(u, v), K(u+v) K(u, v), de donde K(uv)/K y K(u+v)/K son extensiones
nitas, y uv, u +v son algebraicos sobre K.
Ademas, si u ,= 0 se tiene K(u
1
) = K(u), por lo que [K(u
1
) : K[ = [K(u) : K[ < + y
tambien u
1
es algebraico sobre K. Q.E.D.
De este demostracion podemos deducir (ejercicio) las relaciones siguientes entre grados de
polinomios mnimos:
Irr(uv, K) Irr(u, K)Irr(v, K),
Irr(u +v, K) Irr(u, K)Irr(v, K),
Irr(u
1
, K) = Irr(u, K).
Ejemplo. Consideremos el elemento u =

2 +

3 C.

Este es algebraico sobre Q, pues es
suma de dos elementos algebraicos sobre el mismo cuerpo.
Veamos que Q(u) = Q(

2,

3). La inclusion es evidente. Para demostrar la inversa,

basta observar que
u
3
= 11

2 + 9

3
_

2 =
u
3
9u
2
,

3 =
11uu
3
2
.
,
de modo que

2,

3 Q(u).
Investiguemos el grado de la extension [Q(

2,

3) : Q[, lo cual nos dir a el grado del

polinomio mnimo de u sobre Q. Puesto que Irr(

3, Q(

2)) = Irr(

3, Q) = X
2
3, se tiene
[Q(

2,

3) : Q[ = [Q(

2,

3) : Q(

2)[ [Q(

2) : Q[ = 2 2 = 4,
por lo que Irr(u, Q) = 4.
Tanteando un poco, encontramos el polinomio mnimo buscado. En efecto, u
2
= 5 + 2

6,
de donde
(u
2
5)
2
= (2

6)
2
u
4
10u
2
+ 25 = 24 Irr(u, Q) = X
4
10X
2
+ 1.
Ejercicio. Sea F/K una extension de cuerpos. Demostrar que
E = a F : a es algebraico sobre K
es un subcuerpo de F.
Denicion 6.16. Se dice que una extensi on de cuerpos F/K es algebraica si todo elemento
de F es algebraico sobre K. En caso contrario, se dice que la extensi on es trascendente.
Teorema 6.17. Una extensi on de cuerpos F/K es nita si y s olo si es algebraica y nitamente
generada.
Demostraci on. () Que toda extension nita es nitamente generada es ya conocido.
Supongamos que existiese en a F trascendente sobre K. Entonces, K(a)/K sera una
extension innita, y, dado que K(a) F, entonces F/K sera una extension innita, en
contra de las hip otesis.
() Puesto que F/K es algebraica y nitamente generada, existen elementos
1
, . . . ,
n

F algebraicos sobre K tales que F = K(
1
, . . . ,
n
).
23
Utilicemos induccon sobre n. Si n = 1, i.e., F = K(
1
), entonces ya hemos demostrado
que F/K es nita si y s olo si
1
es algebraico sobre K. Supongamos el enunciado valido para
todo n < k, de modo que [K(
1
, . . . ,
n
) : K[ < +.
Si k = n, se tiene
[K(
1
, . . . ,
k
) : K[ = [K(
1
, . . . ,
k1
)(
k
) : K(
1
, . . . ,
k1
)[ [K(
1
, . . . ,
k1
) : K[.
El primer factor del segundo miembro de esta ecuaci on es nito, pues
k
es algebraico sobre K
(y, por tanto, sobre K(
1
, . . . ,
k1
)). El segundo lo es por la hip otesis de induccion. Q.E.D.
24
7. El cuerpo de descomposicion de un polinomio
Dado un cuerpo K, podemos asociar a cada polinomio P K[X] una extension algebraica
que contenga a todas sus races y que sea minimal en alg un sentido. Este cuerpo ser a muy
importante en captulos posteriores, pues nos permitira extender aplicaciones de un cuerpo K
a una extension suya E.
Denicion 7.1. Sea F/K una extensi on, y P K[X]. Se dice que P se descompone sobre
F si P factoriza como producto de polinomios de primer grado con coecientes en F.
Si P se descompone sobre F, podemos escribir
P = (a
1
X b
1
)(a
2
X b
2
) . . . (a
n
X b
n
) = a
1
. . . a
n
_
X
b
1
a
1
__
X
b
2
a
2
_
. . .
_
X
b
n
a
n
_
,
con a
i
, b
i
F. Pero
b
i
a
i
no son m as que las races de P, de modo que decir que P se descompone
sobre F es decir que todas sus races est an en F.
Denicion 7.2. Sea F/K una extensi on, y P K[X] un polinomio que se descompone sobre
F. Se llama cuerpo de descomposici on de P en F sobre K al menor subcuerpo de F que
contiene a K y sobre el cual P se descompone.
Es claro que si P K[X] se descompone sobre F, y u
i
, i = 1, . . . , n son sus races, entonces
el cuerpo de descomposici on de P en F sobre K es K(u
1
, u
2
, . . . , u
n
).
Ejemplos. 1. Si F/K es una extension, y P K[X] es un polinomio de primer grado, el
cuerpo de descomposici on de P en F sobre K es el propio K.
2. Consideremos la extension C/Q:
a) P = X
2
2. El cuerpo de descomposici on de P en C sobre Q es Q(

2).
b) P = X
4
4X
2
+ 2. Las races de P son =
_
2

2, =
_
2

2, y
. Por tanto, el cuerpo de descomposici on de P en C sobre Q es Q(, ). Ahora,
=

2 =
2
2 Q(). As, tenemos que Q() y Q(, ) = Q(). Ademas,
[Q() : Q[ = 4
c) P = X
4
2. El cuerpo de descomposici on de P en C sobre Q es Q(
4

2, i).
Denicion 7.3. Sean E
1
/K, E
2
/K extensiones de cuerpos. Se dice que un homomorsmo
de cuerpos : E
1
E
2
es un K-homomorsmo si [
K
= id
K
, en cuyo caso diremos que
preserva K.
Denicion 7.4. Sean E
1
/K
1
, E
2
/K
2
extensiones de cuerpos, y : K
1
K
2
un isomors-
mo de cuerpos. Diremos que se extiende a E
1
si existe un homomorsmo : E
1
E
2
tal
que [
K
= .
Ejemplo. Denotemos E
1
= Q(
4

2), E
2
= Q(i
4

2), K = Q(

2), y consideremos las exten-

siones de cuerpos E
1
/K y E
2
/K. Sea : E
1
E
2
la aplicaci on denida seg un [
Q
= id
Q
y (
4

2) = i
4

2. Puede comprobarse que esta aplicaci on es un isomorsmo de cuerpos. Sin

embargo, (

2) = ((
4

2)
2
) = (i
4

2)
2
=

2, de manera que no preserva K y, por tanto,

no dene un K-isomorsmo.
No obstante, el automorsmo de K denido por [
Q
= id
Q
y (

2) =

2 se extiende a
un isomorsmo de E
1
y E
2
, que es, de hecho, la aplicaci on .
25
Ejercicio. Sean E/Q, F/Q extensiones de cuerpos. Probar que todo isomorsmo de cuerpos
: E F es Q-isomorsmo.
Ejemplo. Todo isomorsmo de cuerpos : K
1
K
2
se extiende a un isomorsmo (que
denotamos de identica manera) : K
1
[X] K
2
[X] denido seg un
(a
0
+a
1
X + +a
n
X
n
) = (a
0
) +(a
1
)X + +(a
n
)X
n
.
Ademas, es inmediato que P
1
K
1
[X] es irreducible si y s olo si lo es P
2
= (P
1
) K
2
[X].
Este ejemplo es muy importante, pues, en adelante, lo utilizaremos sin hacer menci on explcita
de ello.
Teorema 7.5. Sean E
1
/K
1
, E
2
/K
2
extensiones de cuerpos, y : K
1
K
2
un isomorsmo
de cuerpos. Sea P
1
K
1
[X] un polinomio irreducible sobre K
1
, y sea P
2
= (P
1
) K
2
[X].
Supongamos que
i
E
i
es una raz de P
i
para i = 1, 2. Entonces, se extiende a un
isomorsmo : K
1
(
1
) K
2
(
2
) tal que (
1
) =
2
.
Demostraci on. Podemos suponer que P
1
(y, por tanto, tambien P
2
) es m onico. Entonces,
P
i
= Irr(
i
, K
i
) para i = 1, 2. Por el teorema 6.12, K
i
(
i
)

= K[X]/(Irr(
i
, K
i
)), de donde
caracterizamos K
i
(
i
) = Q(
i
) : Q K
i
[X]. Denimos : K
1
(
1
) K
2
(
2
) del siguiente
modo. Si Q K
1
[X], entonces
(Q(
1
)) = (Q)(
2
).
Para ver que esta aplicaci on est a bien denida, notemos que si Q, R K
1
[X], entonces Q(
1
) =
R(
1
) si y s olo si (QR)(
1
) = 0, si y s olo si P
1
divide a QR, si y s olo si (P
1
) = P
2
divide
a (Q) (R), si y s olo si (Q)(
2
) = (R)(
2
). Esto prueba, adem as, que es inyectiva.
Es inmediato comprobar que tambien es suprayectiva, y que es un homomorsmo. Ademas,
extiende y (
1
) =
2
por construccion. Q.E.D.
Corolario 7.6. Sea E/K una extensi on de cuerpos, y P K[X] un polinomio irreducible. Si
a, b E son races de P, entonces existe un K-isomorsmo : K(a) K(b) con (a) = b.
Demostraci on. Basta aplicar el teorema anterior al caso K
1
= K
2
= K, E
1
= E
2
= E y
= id
K
. Q.E.D.
El recproco del corolario es cierto: si a y b son algebraicos sobre K y existe un isomorsmo
como el anterior, entonces a y b son races del mismo polinomio irreducible.
Nuesto pr oximo objetivo es probar que todo polinomio P K[X] tiene un cuerpo de
descomposici on y que este es unico hasta un K-isomorsmo. Es decir, que siempre existe
una extension E/K tal que P se descompone sobre E, y que, si existe m as de una de tales
extensiones, los cuerpos de descomposici on de P construidos en cada una de ellas son isomorfos.
Lema 7.7. Sea K un cuerpo, y P K[X]. Entonces, existe una extensi on nita E/K tal que
P tiene una raz en E.
Demostraci on. Supongamos que P = P
1
P
2
. . . P
k
es una descomposici on de P en polinomios
irreducibles sobre K. Si existe una extension nita F/K tal que P
1
tiene una raz en F, entonces
P tiene una raz en F. Por tanto, en lo sucesivo podemos suponer que P es irreducible.
26
Supongamos que P = a
0
+ a
1
X + + a
n
X
n
, y sea E = K[X]/(P). Consideremos el
homomorsmo can onico sobre el cociente. Como en la demostracion del teorema 6.8, podemos
caracterizar E = K[X]. Entonces,
P(X) = a
0
+a
1
X + +a
n
X
n
= 0,
de modo que X E es una raz de P. Q.E.D.
Teorema 7.8 (Existencia de cuerpos de descomposici on). Sea K un cuerpo, P K[X]
un polinomio no constante. Entonces, existe un cuerpo de descomposici on de P sobre K.
Demostraci on. Probaremos este enunciado por induccion sobre el grado del polinomio.
Si P = 1, entonces P se descompone sobre K. Supongamos el teorema probado para todo
polinomio de grado menor que n.
Tomemos P = n. Por el lema anterior, existe una extension nita F/K tal que P tiene
una raz,
1
F. Entonces, P = (X
1
)Q, con Q F[X] y Q = n 1. Utilizando la
hip otesis de induccion, existe una extension nita E/F tal que Q se descompone sobre E. As,
E/K es una extension nita, ya que [E : K[ = [E : F[[F : K[, y P se descompone sobre E.
Q.E.D.
Teorema 7.9. Sea : K
1
K
2
un isomorsmo de cuerpos, P
1
K
1
[X] un polinomio no
constante, y P
2
= (P
1
) K
2
[X]. Sea E
i
un cuerpo de descomposici on de P
i
sobre K
i
para
i = 1, 2. Entonces, existe un isomorsmo : E
1
E
2
que extiende .
Demostraci on. Probaremos el teorema por induccion sobre el grado de la extension E
1
/K
1
.
Si [E
1
: K
1
[ = 1, entonces P
1
se descompone sobre K
1
, i.e., E
1
= K
1
. Tambien P
2
se descom-
pone sobre K
2
, por ser isomorsmo de cuerpos. As, E
1

= E
2
con = . Supongamos el
enunciado cierto para [E
1
: K
1
[ < n.
Tomemos [E
1
: K
1
[ = n. Sea P
1
= Q
1
Q
2
. . . Q
k
una descomposici on de P en factores
irreducibles. Entonces P
2
= (P
1
) = (Q
1
)(Q
2
) . . . (Q
k
) es una descomposici onde P
2
en
factores irreducibles. Supongamos que Q
1
> 1. Esto siempre es posible, ya que si fuese
Q
i
= 1 para todo 1 i k, P
1
se descompondra en K
1
y se tendra E
1
= K
1
, i.e.,
[E
1
: K
1
[ = 1.
Sea
1
E
1
raz de Q
1
, de modo que (
1
) =
2
E
2
es raz de (Q
1
). Por el teorema
7.5, se extiende a un isomorsmo : K
1
(
1
) K
2
(
2
). Ademas, [E
1
: K
1
(
1
)[ = [E
1
:
K
1
[/[K
1
(
1
) : K
1
[ < [E
1
: K
1
[ = n, por ser Q
1
no lineal.
Utilizando la hip otesis de induccion, se extiende a un isomorsmo : E
1
E
2
tal que
[
K
= [
K
= [
K
, por lo que tambien extiende . Q.E.D.
Corolario 7.10 (Unicidad de los cuerpos de descomposici on). Sea K un cuerpo, y sea
P K[X] un polinomio no constante. Si E
1
, E
2
son cuerpos de descomposici on de P sobre
K, entonces existe un K-isomorsmo : E
1
E
2
.
Demostraci on. Basta aplicar el teorema anterior al caso K
1
= K
2
= K, = id
K
. Q.E.D.
27
8. Extensiones normales y separables
Denicion 8.1. Se dice que una extensi on de cuerpos E/K es una extension normal si E
es el cuerpo de descomposici on de un polinomio sobre K, i.e., si existe P K[X] tal que
P = c(X u
1
) . . . (X u
n
) con c, u
i
E y E = K(u
1
, . . . , u
n
).
Ejemplos. 1. K/K es una extension normal, pues K es el cuerpo de descomposici on sobre
K de cualquier polinomio P K[X] con todas sus races en K.
2. Q(i)/Q es una extension normal, pues Q(i) es el cuerpo de descomposici on sobre Q del
polinomio Irr(i, Q) = X
2
+ 1.
3. El argumento del ejemplo anterior no es suciente para decidir si la extension Q(
4

2)/Q
es normal. En efecto, el polinomio Irr(
4

2, Q) no se descompone en Q(
4

2). Sin em-

bargo, podra existir otro polinomio P Q[X] tal que Q(
4

2) fuese su cuerpo de des-

composici on sobre Q.
Teorema 8.2. Sea E/K una extensi on nita. Entonces, E/K es normal si y s olo si, para
todo u E, el polinomio Irr(u, K) se descompone en E.
Demostraci on. () Como E/K es una extension nita, es nitamente generada y al-
gebraica, de modo que existen a
1
, a
2
, . . . , a
m
E elementos algebraicos sobre K tales que
E = K(a
1
, a
2
, . . . , a
n
). Sea P
i
= Irr(a
i
, K) K[X] para cada i = 1, . . . , m. Por hip otesis, cada
P
i
se descompone en E, de modo que, tomando u
i1
= a
i
, se tiene
P
i
= (X u
i1
)(X u
i2
) . . . (X u
in
i
),
con u
ij
E.
Entonces,
E = K(a
1
, a
2
, . . . , a
m
) < K(u
11
, . . . , u
1n
1
, u
21
, . . . , u
mnm
) < E,
por lo que E es el cuerpo de descomposici on del polinomio P = P
1
P
2
. . . P
m
, i.e., E/K es una
extension normal.
() Por ser E/K una extension normal, E es el cuerpo de descomposici on de un polinomio
Q K[X]. Tomemos Q = (X b
1
)(X b
2
) . . . (X b
n
).
Supongamos que existe un elemento u E tal que P = Irr(u, K) no se descompone en E.
Entonces, si P = P
1
P
2
. . . P
k
es una descomposici on en polinomios irreducibles sobre E, existe
1 i k tal que P
i
es de grado mayor que la unidad. Supongamos que sea P
1
dicho factor.
Por el lema 7.7, existe una extension nita F/E tal que P
1
tiene una raz en F. En particular,
si a es dicha raz, F = E(a).
Puesto que los elementos u y a son races del polinomio P, por el corolario 7.6, existe un K-
isomorsmo : K(u) K(a) con (u) = a. Puesto que u E, el cuerpo de descomposici on
de Q sobre K(u) es E. Sea E

el cuerpo de descomposici on de (Q) = Q sobre K(a). Entonces,

E

= K(b
1
, . . . , b
n
, a) = E(a).
Por el teorema 7.9, existe un isomorsmo : E E(a) que extiende . Se tiene
[E : K[ = [E : K(u)[[K(u) : K[,
[E(a) : K[ = [E(a) : K(a)[[K(a) : K[.
28
La existencia de implica [K(u) : K[ = [K(a) : K[, y la de implica [E : K(u)[ = [E(a) :
K(a)[. Por tanto, [E(a) : K[ = [E : K[, i.e. a E. As, P
1
tiene una raz en E, en contradicci on
con su denicion como polinomio irreducible de grado mayor que la unidad. Q.E.D.
Ejemplo. Retomando el ultimo ejemplo, el teorema anterior nos permite asegurar que la
extension Q(
4

2)/Q no es normal.
Teorema 8.3. Sea F/K una extensi on normal, K < E < F. Si : E F es un K-
homomorsmo, entonces se extiende a un K-isomorsmo : F F.
Demostraci on. Sea P K[X] el polinomio cuyo cuerpo de descomposici on sobre K es F.
El cuerpo de descomposici on de P sobre E es, de nuevo, F, de donde F/E (y, por tanto, E/K)
es una extension nita.
Puesto que todo homomorsmo de cuerpos es inyectivo (ver la demostracion del teorema
6.12), considerado como homomorsmo de E sobre su imagen (E) es un isomorsmo de
cuerpos. Por el teorema 7.9, existe un isomorsmo del cuerpo de descomposici on de P sobre
E (que es F) sobre el cuerpo de descomposici on de (P) = P sobre (E) (que es tambien F),
que extiende . Q.E.D.
A partir de este punto, estudiaremos una caracterstica un tanto tecnica de las extensiones
de cuerpos : su separabilidad.
Denicion 8.4. Sea K un cuerpo, P K[X], E su cuerpo de descomposici on sobre K,
y a E una raz de P. Se llama multiplicidad de la raz a al entero positivo m tal que
P = (X a)
m
Q, con Q E[X], (X a, Q) = 1. Se dice que a es una raz simple si m = 1,
y que es una raz m ultiple si m > 1.
Formalmente, tambien podemos escribir P = (X a)
m
Q, como en la denicion anterior,
sin que a sea raz de P. Basta poner m = 0.
Denicion 8.5. Sea K un cuerpo, y P K[X]. Se dice que P es separable si todas las races
de P en su cuerpo de descomposici on sobre K son simples.
Equivalentemente, P es separable si posee P races en su cuerpo de descomposici on sobre
K.
Denicion 8.6. Sea K un cuerpo, y P K[X]. Si P = a
0
+a
1
X + +a
n
X
n
, se dene la
derivada de P seg un
P

= a
1
+ 2a
2
X + +na
n
X
n1
.
Esta denicion formal coincide con la habitual en calculo. Estamos acostumbrados, por
tanto, que si P = n entonces P

= n 1. En caracterstica 0 esto es cierto. Sin embargo,

en general s olamente podemos asegurar la desigualdad P

n 1. Por ejemplo, si K es un
cuerpo de caracterstica p, se tiene (X
p
)

= 0. De hecho, se puede demostrar que, en un cuerpo

de caracterstica p, P

= 0 si y s olo si P es un polinomio en X
p
.
Proposici on 8.7. Sea K un cuerpo, P, Q K[X] con P = n, y E el cuerpo de descomposi-
ci on de P sobre K. Se cumplen las siguientes propiedades.
1. P n 1, con igualdad si char K,
29
2. (P +Q)

= P

+Q

y (PQ)

= P

Q+PQ

, y
3. si a es una raz de P con multiplicidad m, y P

,= 0, entonces a es una raz de P

con
multiplicidad m1.
Demostraci on. Demostraremos unicamente la ultima propiedad. La primera ya la hemos
demostrado, y la segunda queda como un sencillo ejercicio. Sea E el cuerpo de descomposici on
de P sobre K, y pongamos P = (X a)
m
H, con H E[X], (X a, H) = 1. Entonces,
utilizando la propiedad 2,
P

= m(X a)
m1
H + (X a)H

= (X a)
m1
[mH + (X a)H

],
y es claro que R = mH + (X a)H

nunca se anula en a (a menos que m = char K, en cuyo

caso P

= 0), y que (X a, R) = 1. Q.E.D.

Teorema 8.8. Sea K un cuerpo de caracterstica 0, P K[X], y E su cuerpo de descom-
posici on sobre K. Entonces,
1. a E es una raz m ultiple de P si y s olo si P(a) = P

(a) = 0,
2. P es separable si y s olo si (P, P

) = 1, y
3. si P

,= 0 y P es irreducible, entonces P es separable.

Demostraci on. Sea P = (X a)
m
H, con H E[X], (X a, H) = 1, de modo que
P

= (X a)
m1
R, con R E[X], (X a, R) = 1 seg un la demostracion de la proposici on
anterior.
1. La implicaci on directa es evidente de las expresiones de P y P

. De estas, deducimos
tambien que, si P(a) = P

(a) = 0 entonces m 2, que es la implicaci on inversa.

2. Basta observar que (P, P

) = 1 si y s olo si m = 1.
3. Si P

,= 0 y P es irreducible, se tiene (P, P

) = 1.
Q.E.D.
Corolario 8.9. Sea K un cuerpo de caracterstica 0, y P K[X] un polinomio irreducible.
Entonces, P es separable si y s olo si P

,= 0.
Demostraci on. La implicaci on inversa es la tercera parte del teorema anterior. La directa
es un ejercicio. Q.E.D.
Denicion 8.10. Se dice que una extensi on nita F/K es separable si, para todo u K, el
polinomio Irr(u, K) es separable.
Si K es un cuerpo de caracterstica 0, del corolario 8.9 se deduce que todo polinomio
irreducible sobre K es separable, y, por tanto, cualquier extension nita F/K es separable.
De este modo, el concepto de separabilidad pierde interes en caracterstica 0. De hecho, esto
es lo que complica la teora de Galois en caracterstica p.
Queremos ahora demostrar que toda extension nita de un cuerpo de caracterstica 0 es
simple.
30
Lema 8.11. Sea K un cuerpo, P, Q K[X], y F/K una extensi on tal que PQ se descompone
sobre F. Supongamos, adem as, que P es separable, y que P y Q tiene una unica raz com un
u F. Entonces, u K.
Demostraci on. Sea R = (P, Q). Como P y Q tienen una unica raz en com un, y P no posee
races m ultiples, debe ser R = X u. Pero R K[X], por lo que u K. Q.E.D.
Teorema 8.12 (Teorema del elemento primitivo). Sea F/K una extensi on nita sepa-
rable. Entonces, F/K es simple.
Demostraci on. Probaremos unicamente el caso charK = 0, y utilizaremos induccion sobre
el n umero de generadores de la extension F/K. Sea F = K(a
1
, a
2
, . . . , a
k
). Si k = 1, el
enunciado es trivialmente cierto.
Supongamos que k = 2, y sea F = K(u, v). Buscaremos un elemento w = u + v con
K tal que F = K(w). Sean P = Irr(u, K) y Q = Irr(v, K). Pongamos R = P(w x),
de modo que R(v) = P(u) = 0, y sea L el cuerpo de descomposici on de R sobre K(w).
Entonces, Q, R K[X], QR se descompone en L, Q es separable, y v es una raz com un de
ambos polinomios. Si Q y R no tienen m as races comunes en L, el lema anterior asegura que
v K(w), por lo que tambien u = w v K(w), i.e., K(u, v) = K(w).
Sean u u
i

s
i=1
las races de P, y v v
j

t
j=1
las races de Q. Entonces, las races de
R distintas de v son

i
=
1
(w u
i
) = v +
1
(u u
i
), i = 1, . . . , s
Si v
j
=
i
para algunos 1 i s, 1 j t, se tendra

ij
=
u u
i
v
j
v
.
Para cualquier otro valor de , la unica raz com un de Q y R es v. Pero [
ij
[ st, y
[K[ = . Por tanto, basta elegir /
ij
. Q.E.D.
Esta demostracion es constructiva, i.e., nos proporciona un algoritmo para la eleccion del
elemento primitivo.
Ejemplo. Sea F = Q(

2,
3

2), que es separable por ser extension nita de un cuerpo de

caracterstica 0. Sea w =

2 +
3

2, con Q, el elemento primitivo.

Sean P = Irr(

2, Q) = X
2
2, Q = Irr(
3

2, Q) = X
3
2, y hagamos R = P(w
x), de modo que R(
3

2) = P(

2) = 0. Las races de P son

2, y las races de Q son

3

2,
3

2e
2i/3
,
3

2e
4i/3
. Para que Q y R tuvieran una raz en com un distinta de
3

2 se debera
tener
=
2

2
3

2e
2i/3

2
o =
2

2
3

2e
4i/3

2
.
Por tanto, podemos elegir = 1 Q para concluir Q(

2,
3

2) = Q(

2 +
3

2).
31
9. Extensiones de Galois
Sea F un cuerpo. El conjunto de automorsmos de F, denotado Aut F posee estructura de
grupo con respecto a la operaci on de composici on (ejercicio de teora de grupos). En particular,
nos interesara un subgrupo de este. De esta manera, podremos utilizar la teora de grupos (y,
en particular, la clasicaci on de grupos nitos) para estudiar la estructura de las extensiones
de cuerpos.
Denicion 9.1. Sea F/K una extensi on. Se llama grupo de Galois de la extensi on F/K,
Gal(F/K), al conjunto de los K-automorsmos de F.
Denicion 9.2. Se dice que una extensi on nita F/K es una extension de Galois si es
separable y normal.
En adelante, todos los cuerpos considerados ser an de caracterstica 0, y todas las exten-
siones ser an nitas. En este caso, una extension ser a de Galois si y s olo si es normal.
Teorema 9.3. Sea E/K una extensi on. Entonces,
[Gal(E/K)[ [E : K[,
con igualdad si y s olo si E/K es de Galois.
Demostraci on. Por el teorema del elemento primitivo, existe un elemento E tal que
E = K(). Si : K() K() es un K-automorsmo, basta conocer la imagen de para
determinarlo completamente. De hecho, si
1
y
2
son K-automorsmos de K() tales que

1
() =
2
(), entonces
1
=
2
identicamente (ejercicio: demostrar este hecho utilizando una
K-base de K()).
Sea P = Irr(, K). Por ser K-automorsmo, se tiene (P) = P y 0 = (P()) = P(()),
por lo que () debe ser raz de P. Pero P tiene a lo sumo P = [E : K[ = n races distintas,
de donde [Gal(E/K)[ [E : K[.
Supongamos, adem as, que la extension E/K es normal, de modo que P se descompone en
E seg un
P = (X a
1
)(X a
2
) . . . (X a
n
),
donde los a
i
E, con i = 1, . . . , n, son distintos por ser P separable. Sea ahora
i
el K-
automorsmo de K() denido seg un () = a
i
. Entonces,
1
, . . . ,
n
son elementos distintos
de Gal(E/K). Pero [Gal(E/K)[ n, por lo que se debe tener la igualdad.
Recprocamente, supongamos que [Gal(E/K)[ = n. Puesto que existen n K-automorsmos
distintos de E, el polinomio P tiene n races distintas en E, digamos a
1
, . . . , a
n
, i.e, P se
descompone en E. Pero
K( = a
1
) K(a
1
, . . . , a
n
) E = K(),
de donde se deduce que E es el cuerpo de descomposici on de P. Q.E.D.
Ejemplo. Consideremos la extension Q(
3

2)/Q. Si Gal(Q(
3

2)/Q), entonces (
3

2)
Q(
3

2) debe ser una raz de Irr(

3

2, Q) = X
3
2. Pero la unica raz de dicho polinomio en
Q(
3

2) es
3

2, por lo que (
3

2) =
3

2 y el grupo de Galois de la extension es trivial. Del

teorema anterior, se deduce que la extension no es normal.
32
La idea de los resultados que siguen es la de encontrar una correspondencia entre las
subextensiones F/K de una extension E/K, y los subgrupos del grupo de Galois Gal(E/K),
lo cual nos llevar a al Teorema Fundamental de la Teora de Galois, el m as importante del
curso. Aunque los enunciados parezcan un tanto desordenados, la formulaci on del susodicho
Teorema pondra el orden necesario en todos ellos. No desespere el lector.
Teorema 9.4 (Dedekind). Sea K un cuerpo, y
1
, . . . ,
n
automorsmos de K distintos.
Entonces,
1
, . . . ,
n
son linealmente independientes sobre K, i.e., si

1
+
2

2
+ +
n

n
= 0
con
i
K para i = 1, . . . , n, entonces
i
= 0 para i = 1, . . . , n.
Demostraci on. Utilizaremos induccion sobre n. Para n = 1, el resultado es evidente. En
efecto, supongamos que
1

1
= 0. Entonces, en particular
1

1
(1) =
1
= 0. Supongamos el
resultado cierto para todo n < k.
Tomemos n = k,
1

1
+
2

2
+ +
n

n
= 0. Podemos suponer que todos los
i
son
distintos de cero, pues en caso contrario, tendramos una combinaci on lineal de n 1 auto-
morsmos de K, y, por la hip otesis de induccion, el resultado estara ya probado. As, para
todos x, y K, se tiene

1
(xy) +
2

2
(xy) + +
n

n
(xy) = 0

1
(x)
1
(y) +
2

2
(x)
2
(y) + +
n

n
(x)
n
(y) = 0. (*)
Por otro lado,

1
(x) +
2

2
(x) + +
n

n
(x) = 0

1
(x)
1
(y) +
2

2
(x)
1
(y) + +
n

n
(x)
1
(y) = 0.
Restando miembro a miembro esta ultima igualdad con (), obtenemos

2
(x)[
2
(y)
1
(y)] + +
n

2
(x)[
n
(y)
1
(y)] = 0.
Utilizando la hip otesis de induccion, deducimos
j
(
j

1
) = 0 para todo j = 1, . . . , n. Como

j
,= 0, entonces
1
=
j
para todo j = 1, . . . , n, en contra de las hip otesis. Q.E.D.
Denicion 9.5. Sea F un cuerpo, y S un subconjunto de Aut F. Se dene el subcuerpo jo
por S seg un T(S) = a F : (a) = a S.
Ejercicio. Comprobar que T(S) es realmente un subcuerpo de F.
Ejemplo. Sea F = Q(
4

2), y Aut F denido seg un [

Q
= id
Q
y (
4

2) =
4

2. Notese
que este automorsmo est a bien denido, pues
4

2 es raz de Irr(
4

2, Q) = X
4
2 (vease la
demostracion del teorema 9.3). Entonces, el subcuerpo jo por S = id
F
, Aut F es
T(S) = Q(

2).
Denotaremos, en aras de la brevedad, T() = T(S).
Ejercicio. Convencerse de que, si S
1
S
2
, entonces T(S
2
) < T(S
1
).
33
Teorema 9.6 (Artin). Sea E un cuerpo, y G un subgrupo nito de Aut E. Sea F = T(G).
Entonces, [E : F[ = [G[.
Demostraci on. Sean n = [G[, m = [E : F[ y G =
1
, . . . ,
n
.
Veamos que m n por reduccion al absurdo. Supongamos que m < n, y sea e
1
, . . . , e
m

una F-base de E. Consideremos el sistema lineal

_
_
_

1
(e
1
)
2
(e
1
) . . .
n
(e
1
)
.
.
.
.
.
.
.
.
.
.
.
.

1
(e
m
)
2
(e
m
) . . .
n
(e
m
)
_
_
_
_
_
_
x
1
.
.
.
x
n
_
_
_ =
_
_
_
0
.
.
.
0
_
_
_.
Como m < n, existe una soluci on no trivial. Pero entonces
x
1

1
+ +x
n

n
= 0
para todo e
j
, y, por tanto, para todo elemento de F, en contradicci on con el teorema de
Dedekind.
Recprocamente, veamos que tambien m n por reduccion al absurdo. Supongamos que
m > n, y consideremos el sistema lineal
_
_
_

1
(e
1
)
1
(e
2
) . . .
1
(e
m
)
.
.
.
.
.
.
.
.
.
.
.
.

n
(e
1
)
n
(e
2
) . . .
n
(e
m
)
_
_
_
_
_
_
y
1
.
.
.
y
m
_
_
_
=
_
_
_
0
.
.
.
0
_
_
_
,
que tiene, de nuevo, una soluci on no trivial. Entonces, para todo G,

j
y
j
(e
j
) = 0
Podemos suponer, sin perdida de generalidad, que y
1
= 1 (si y
1
= 0, basta renumerar los
automorsmos). De entre todas las soluciones no triviales, tomemos aquella u = (1, y
2
, . . . , y
m
)
que tenga el mayor n umero de entradas nulas.
Supongamos, primeramente, que y
j
T(G) para cada j = 1, . . . , m. Entonces,
0 =

j
y
j
(e
j
) =

j
(y
j
e
j
)
implicara

j
y
j
e
j
= 0, y, por ser e
1
, . . . , e
m
F-base de E, y
j
= 0 para cada j = 1, . . . , m,
en contra de las hip otesis.
Si, por el contrario, existe Gtal que (y
j
) ,= y
j
para alg un j, se tiene

j
(y
j
)(e
j
) =
0. Pero si recorre todo G, entonces tambien = lo hace. Por tanto,

j
(y
j
)(e
j
) = 0.
As, v = (1, (y
2
), . . . , (y
m
)) otra soluci on del sistema lineal. Pero, entonces, u v es una
soluci on no trivial con un n umero mayor de ceros que u, en contra de las hip otesis. Q.E.D.
Corolario 9.7. Sea E/K una extensi on de Galois, y G = Gal(E/K). Entonces, T(G) = K.
Demostraci on. Es evidente que K T(G), por la denicion del grupo de Galois. Por
otro lado, la cadena de igualdades [E : K[ = [Gal(E/K)[ = [G[ = [E : T(G)[ implica
[T(G) : K[ = 1, de donde, T(G) = K. Q.E.D.
34
Corolario 9.8. Sea E un cuerpo, y G un subgrupo nito de Aut E. Sea F = T(G). Entonces,
E/F es una extensi on de Galois, y Gal(E/F) = G.
Demostraci on. Es evidente que G < Gal(E/F), pues G consiste en F-automorsmos de
E. Pero [G[ [Gal(E/F)[ [E : F[, y, del teorema de Artin, [G[ = [E : F[. Q.E.D.
Teorema 9.9. Sea E/K una extensi on, y K < L < E, tal que L/K es una extensi on de
Galois. Entonces,
1. Gal(E/K), (L) = L, y
2. si E/K es de Galois, existe un homomorsmo sobreyectivo : Gal(E/K) Gal(L/K)
tal que () = [
L
. En particular, Gal(L/K) Gal(E/K) y
Gal(L/K)

= Gal(E/K)/Gal(E/L)
Demostraci on. Puesto que L/K es una extension normal, existe un polinomio P K[X]
tal que L es su cuerpo de descomposici on sobre K. En particular, si = a
1
, . . . , a
n
L son
las races de P, entonces L = K(). Sea Gal(L/K), y a . Entonces, 0 = (P(a)) =
P((a)), i.e., (a) . Por tanto, () = y
(L) = (K()) = K(()) = K() = L.
Supongamos ahora que E/K es tambien una extension de Galois. Si Gal(E/K),
entonces [
L
Aut L y [
K
= id
K
, luego [
L
Gal(L/K), y la aplicaci on del enunciado
est a bien denida. El resto de armaciones son consecuencia del primer teorema de isomorfa
de grupos (ejercicio). Q.E.D.
Recordemos de la teora de grupos el concepto de accion de un grupo sobre un conjunto.
Sea G un grupo y X un conjunto. Una acci on de G sobre X es una aplicaci on : GX X
tal que
1. 1
G
x = x para todo x X, y
2. g
1
(g
2
x) = (g
1
g
2
) x para todos g
1
, g
2
G y x X.
Se llaman orbita y estabilizador (o grupo de isotropa) de un elemento x X a los conjuntos
Gx = y X : g G, g x = y X
G
x
= g G : g x = x < G.
Se cumple (teorema orbita-estabilizador) la relaci on [Gx[[G
x
[ = [G[ para cada x X. Se dice
que una accion es transitiva si para todos x, y X existe g G tal que g x = y, si y s olo si
X consiste en una unica orbita, si y s olo si G
x
= 1
G
para todo x X.
Corolario 9.10. Sea E/K una extensi on de Galois, a E. Entonces, Gal(E/K) act ua
transitivamente sobre el conjunto de races del polinomio Irr(a, K).
35
Demostraci on. Es suciente demostrar que si r = races de Irr(a, K), entonces
existe Gal(E/K) tal que (a) = r. En efecto, en este caso, dados r
1
, r
2
existen

1
,
2
Gal(E/K) tales que
1
(a) = r
1
y
2
(a) = r
2
, de donde
2

1
1
(r
1
) = r
2
.
Si r , entonces r E, por ser E/K una extension de Galois. Por tanto, el cuerpo de
descomposici on de Irr(a, K) sobre K, que denotaremos L, cumple las inclusiones K(a) < L <
E, K(r) < L < E. Por los teoremas 7.5 y 7.9, existe un isomorsmo K(a)

= K(r) tal que

(a) = r que se extiende a un K-automorsmo de L, digamos .
Entonces, de la suprayectividad de la aplicaci on en el teorema anterior se deduce la
existencia de un K-automorsmo de E, , cuya restriccion a L coincide con , de modo que
(a) = r. Q.E.D.
Corolario 9.11. Sea E/K una extensi on de Galois, K < L < E. Entonces, L/K es de Galois
si y s olo si (L) = L para todo Gal(E/K).
Demostraci on. La implicaci on directa ya la hemos demostrado. Veamos la recproca, uti-
lizando el criterio de normalidad dado en 8.2 (recordemos que, en caracterstica 0, toda ex-
tensi on nita es separable).
Sea a L, P = Irr(a, K) y r E un raz de P. Por el corolario anterior, existe
Gal(E/K) tal que (a) = r. Pero (L) = L, por lo que r L. Por tanto, todas las races de
P est an en L, y P se descompone en este ultimo. Q.E.D.
Lema 9.12. Sea E/K una extensi on de Galois, K < L < E. Sea H = Gal(E/L). Entonces,
H

= Gal(E/
1
(L)), donde H

=
1
h : h H, Gal(E/K).
Demostraci on. En primer lugar, veamos que H

< Gal(E/
1
(L)). Sean g =
1
h H

y m =
1
(l)
1
(L). Entonces,
g(m) = (
1
h )(
1
(l)) = (
1
h)(l) =
1
(l) = m.
Pero ambos subgrupos cumplen
[Gal(E/
1
(L))[ = [E : L[ = [Gal(E/L)[ = [H[ = [H

[,
por lo deben coincidir. Q.E.D.
Teorema 9.13 (Fundamental de la Teora de Galois). Sea E/K una extensi on de Galois,
y G = Gal(E/K). Sea o la colecci on de los subgrupos de G, y / la colecci on de subcuerpos de
E que contienen a K.
1. Las siguientes aplicaciones son biyecciones inversas la una de la otra.
o
F
/ /
G
o
H T(H) L Gal(E/L)
2. L/K es normal si y s olo si Gal(E/L) Gal(E/K) y
Gal(L/K)

= Gal(E/K)/Gal(E/L).
36
Demostraci on.
1. El corolario 9.7 demuestra T ( = id
S
, y el corolario 9.8 la igualdad ( T = id
K
.
2. El teorema 9.9 representa la implicaci on directa. Recprocamente, sea H = Gal(E/L).
Puesto que HG, la clase de conjugacion de H consta de un unico miembro, por lo que,
para todo G, se tiene Gal(E/(L)) = H

1
= H = Gal(E/L) por el lema anterior.
Por tanto, (L) = L, y, del corolario 9.11, concluimos que la subextension L/K es de
Galois, y, por tanto, normal.
Q.E.D.
Este Teorema establece una correspondencia biunvoca entre las subextensiones de una ex-
tensi on y los subgrupos del grupo de Galois de dicha extension. Esta correspondencia, adem as,
invierte las relaciones de inclusion. En efecto, supongamos que H
1
< H
2
< Gal(E/K). En-
tonces, T(H
2
) < T(H
1
), como ya probamos en un ejercicio. Recprocamente, supongamos que
K < L
1
< L
2
< E. Es evidente que Gal(E/L
2
) < Gal(E/L
1
), pues todo L
2
-automorsmo de
E es L
1
-automorsmo de E. Ademas, subextensiones normales se corresponden con subgrupos
normales.
Ejemplo. Calculemos el grupo de Galois de la extension Q()/Q, con =
_
2 + 2

2. Puesto
que [Q() : Q[ = 4, se tiene P = Irr(, Q) = (X
2
2)
2
2. Las races de este polinomio son
= , , con =
_
2

2. El cuerpo de descomposici on de P sobre Q es Q(, ) =

Q(), pues = (
2
2)/, luego la extension Q()/Q es normal, y, por tanto, de Galois.
As, [Gal(Q()/Q)[ = [Q() : Q[ = 4. El grupo de Galois consta, por tanto, de los Q-
automorsmos denidos seg un
id() =
1
() =
2
() =
3
() =
Utilizando = (
2
+ 2)/, obtenemos

2
2
() = () = (

2
2

) =

2
2

=
2
2
=
1

3
2
() =
2
() =
3
2
=
3
Por tanto, Gal(Q()/Q)

= Z
4
.
El grupo cclico Z
4

= Gal(Q()/Q) posee un unico subgrupo no trivial, isomorfo a
Z
2

=
1
), y que, adem as, es normal. Bajo la correspondencia establecida por el Teore-
ma Fundamental de la Teora de Galois, este se corresponde con la subextension normal
T(
1
)/Q = Q(
2
)/Q = Q(

2)/Q.
Ademas, utilizando la normalidad de esta subextension, [Q(

2) : Q[ = [Z
2
[ = 2, como ya
sabamos.
37