Captulo 4

Cuerpos de descomposicin

47

48

CAPTULO 4. CUERPOS DE DESCOMPOSICIN

El estudio de las extensiones de cuerpos se origina en la necesidad de construir cuerpos que contengan al cuerpo base K en
donde existan races de polinomios dados de K[X]. El ejemplo clsico es la construccin C = R(i) = R[X]/(X 2 + 1). Vamos a ver que el
mismo mtodo es vlido para cualquier polinomio.

4.1.

Cuerpo de descomposicin

Teorema 4.1.1 (Kronecker). Sea f un polinomio de grado positivo

sobre un cuerpo K. Entonces existe una extensin F/K y un u F
tal que f (u) = 0.
Demostracin. Descomponemos f en factores ireducibles sobre K:
f = f1 . . . fm . El cuerpo buscado es F = K[X]/(f1 ) y una raz de f es
u = X + (f1 ) F .
Sean Fi /Ki (i = 1, 2) dos extensiones de cuerpos y sean : F1
F2 y : K1 K2 dos homomorsmos tales que para todo a K1 se
verica (a) = (a).
Denicin 4.1.2. En las condiciones anteriores decimos que es
una extensin de .
Cuando = 1K : K K decimos que es un homomorsmo
sobre K
Proposicin 4.1.3. Sea : K1 K2 un isomorsmo de cuerpos.
Existe una nica extensin a un isomorsmo : K1 [X] K2 [X] denido por (X) = X
Demostracin. Es una aplicacin directa de la propiedad universal
del anillo de polinomios K1 [X]. Obsrvese que gr(f ) = gr((f )) para
todo polinomio f K1 [X].
Lema 4.1.4. En las condiciones de la proposicin 4.1.3 sea f1
K1 [X] irreducible sobre K1 . El polinomio f2 = (f1 ) es irreducible sobre K2 .
Demostracin. Sea f1 = gh una descomposicin del polinomio f1 .
Entonces f2 = (g)(h) es una descomposicin de f2 y los grados de
los factores correspondientes son iguales. Como es un isomorsmo, aplicando el mismo argumento para 1 obtenemos que f1 es
compuesto si y slo si f2 es compuesto.

4.1. CUERPO DE DESCOMPOSICIN

49

Proposicin 4.1.5. En las condiciones de la proposicin 4.1.3 sean

Fi /Ki con i = 1, 2 dos extensiones algebraicas, : F1 F2 un homomorsmo sobre y u F1 una raz de f1 . Entonces (u) es una raz
de f2 = (f1 ).
Demostracin. Un clculo sencillo: Sea f1 = an X n + + a1 X + a0 .
Entonces
f2 ( (u)) =
=
=
=

(an ) (u)n + + (a1 ) (u) + (a0 )

(an ) (u)n + + (a1 ) (u)
(an un + + a1 u + a0 )
(0) = 0

Corolario 4.1.6. Sea F/K una extensin algebraica y : F F un

homomorsmo sobre K. Entonces es un automorsmo.
Demostracin. Sea u F arbitrario. Sea f = Irr(u, K) y sean u =
u1 , . . . , uk todas las races de f que hay en F (k gr(f )). Sea F1 =
K(u1 , . . . , uk ) el subcuerpo de F generado por todas ellas. La extensin F1 /K es nita, y para cualquier homomorsmo : F F el
elemento (ui ) es una raz de f , por tanto (ui ) = uj . Luego se
restringe a un homomorsmo 1 : F1 F1 . Pero este es una aplicacin K-lineal inyectiva. Como F1 es de dimensin nita sobre K, la
aplicacin 1 es sobre y existe un v F1 F tal que u = 1 (v) = (v).
Luego es sobre.
Proposicin 4.1.7. Con la notacin de la proposicin 4.1.5 sea f1
irreducible y sea ui una raz de fi en alguna extensin Fi de Ki
(i=1,2). Entonces existe un nico isomorsmo : K1 (u1 ) K2 (u2 )
sobre tal que (u1 ) = u2 .
Demostracin. El isomorsmo = 2
1
1 buscado es el compuesto
de los tres isomorsmos siguientes:
K1 (u)

K2 (u)

1
K1 [X]
(f1 )

- K2 [X]
(f2 )

50

CAPTULO 4. CUERPOS DE DESCOMPOSICIN

Los isomorsmos i : Ki [X]/(fi )

= Ki (ui ) (i = 1, 2) son los establecidos en la denicin de elemento algebraico y vienen dados por
X + (fi )  ui . El isomorsmo
es el inducido entre los cocientes
por el dado en la proposicin 4.1.3.
Proposicin 4.1.8. Con la notacin de la proposicin 4.1.7 el nmero de extensiones : K1 [u1 ] F2 sobre es igual al nmero de races
distintas de f2 en F2 .
Demostracin. Cualquiera de tales est totalmente determinada
por la imagen de u. Como f2 ( (u)) = (f1 (u)) = 0, necesariamente
(u) es una raz de f2 . Por la proposicin 4.1.7, para cada v raz de
f2 en F2 existe un homomorsmo tal que (u) = v. En total existen
tantos homomorsmos como races de f2 hay en F2 .
Denicin 4.1.9. Un cuerpo extensin F K se llama cuerpo de
descomposicin de f sobre K si y slo si existen u1 , . . . , un F tales
que f = (X u1 ) (X un ) y F = K(u1 , . . . , un ).
Proposicin 4.1.10. Sea E F K una torre de cuerpos tal que E
es un cuerpo de descomposicin de un polinomio f sobre K. Entonces
E es tambin un cuerpo de descomposicin de f sobre F .
Demostracin. Los elementos u1 , . . . , un races de f verican
E = K(u1 , . . . , un ) F (u1 , . . . , un) E
luego E = F (u1 , . . . , un ).
Teorema 4.1.11. Para todo polinomio f K[X] de grado n > 0
existe un cuerpo de descomposicin F de f sobre K y se verica que
[F : K] n!.
Demostracin. Induccin sobre el grado de f . Si gr(f ) = 1, el polinomio es f = a1 X + a0 y su nica raz es u1 = a0 /a1 K. Luego F = K es el cuerpo de descomposicin de f sobre K. Adems
[F : K] = 1 = n! donde 1 = n = gr(f ).
Sea ahora gr(f ) > 1. Por el teorema de Kronecker existe un cuerpo K1 = K(u1 ) K con f (u) = 0. Descomponemos f = (X u1 )f1
y gr(f1 ) = gr(f ) 1 < gr(f ). Por la hiptesis de induccin existe F = K1 (u2 , . . . , un ) cuerpo de descomposicin de f1 sobre K1 .
Luego f = (X u1 )(X u2 ) . . . (X un ) y F = K(u1 , u2 , . . . , un ) es
un cuerpo de descomposicin de f sobre K. Calculemos el grado:
[F : K] = [F : K1 ][K1 : K] (n 1)! n = n!.

4.1. CUERPO DE DESCOMPOSICIN

51

Sea : K1
= K2 un isomorsmo de cuerpos, sea f1 K1 [X]
arbitrario y sea f2 = (f1 ).
Teorema 4.1.12. Sea Fi un cuerpo de descomposicin de fi sobre
Ki . Entonces existe un isomorsmo : F1 F2 que es una extensin
de .
Demostracin. Por induccin sobre el grado de f1 . Si gr(f1 ) = gr(f2 ) =
1 se verica que Fi = Ki (i = 1, 2) y = .
Sea ahora gr(fi ) > 1 y supongamos el teorema cierto para polinomios de grado menor. Sean ui Fi races respectivas de fi tales
que Irr(u2 , K2 ) = (Irr(u1 , K1 )). Por la proposicin 4.1.7 existe un
isomorsmo 1 : K1 (u1 )
= K2 (u2 ) extensin de tal que 1 (u1 ) = u2 .
Descomponemos fi = (X ui )gi (i = 1, 2). Cada Fi es el cuerpo de
descomposicin de gi sobre Ki (ui ). Por la hiptesis de induccin
existe una extensin : F1
= F2 del isomorsmo 1 , que es tambin
una extensin de .
Corolario 4.1.13. Dos cuerpos de descomposicin de f K[X] sobre K son isomorfos.
Demostracin. Aplicar la proposicin anterior al isomorsmo identidad = 1K .
Ejemplo 4.1.14. Sea f = X 2 + aX + b K[X] con K arbitrario. Si f es
reducible sobre K el cuerpo de descomposicin de f es el mismo K.
Si f es irreducible llamamos F = K[X]/(f ) = K(u) donde u = X +(f ).
Entonces f = (X u)(X + (u + a)), el cuerpo de descomposicin de
f sobre K es F y [F : K] = 2.
Ejemplo 4.1.15. Sea f =
(X 2
2)(X 2 3) Q[X]. El cuerpo de descomposicin ser F = Q( 2, 3) y su grado sobre Q es 4.
Ejemplo 4.1.16. Sea f = X 3 + X + 1 Z2 [X]. Como f (0)
= 0
= f (1),
el polinomio f no tiene races en Z2 y por tanto es irreducible en
Z2 [X]. Sea u = X + (f ) Z2 [X]/(f ) = F . Un poco de clculo muestra
que u2 y u4 = u2 + u tambin son races de f y que f = (X u)(X
u2 )(X (u + u2 )). Luego f descompone en factores lineales en F y
por tanto F = Z2 (u) es el cuerpo de descomposicin de f sobre Z2 .
Ejemplo 4.1.17. Sea f = X 4 + 1 Q[X]. Sea u una raz de f . Las
otras races son u, u1 y u1 que son todas distintas. As que
Q(u, u, u1 , u1 ) = Q(u) es el cuerpo de descomposicin de f sobre
Q. Igual sucede sobre Zp cuando p
= 2. Sobre Z2 tenemos f = (X +
1)4 .

52

CAPTULO 4. CUERPOS DE DESCOMPOSICIN

Ejemplo 4.1.18. Sea f = X 4 + 4 Q[X]. En este caso el polinomio

f es reducible:
f = (X 2 + 2X + 2)(X 2 2X + 2). Las races de f son

1 1, as que el cuerpo de descomposicin es Q(i).

Ejemplo 4.1.19.
Sea f = X 3 2 Q[X]. Sea u = 3 3 R y sea

= (1 + 3)/2 C la raz cbica de la unidad. Entonces las

races de f son u, u y 2 u, y el cuerpo de descomposicin de f
sobre Q es Q(u, ).
Ejemplo 4.1.20. Sea f = X p 1 Q[X] con p primo. Sabemos que f =
(X 1)p y que p = X p1 + +X +1 es irreducible sobre Q. Sea u =
X + (p ) Q[X]/(p ) = F . Sabemos que los p elementos 1, u, . . . , up1
forman una base de F sobre Q y por tanto son distintos. Por otra
parte f (uk ) = (uk )p 1 = (up )k 1 = 0 para k = 0, . . . p 1 y tenemos
p races de f en F . Luego f = (X 1)(X u) . . . (X up1 ) y F es
el cuerpo de descomposicin de f sobre Q (luego tambin F es el
cuerpo de descomposicin de p sobre Q).

Ejemplo 4.1.21. Sea f = X p 2 con p primo. Sea u = p 2 y sea

= e2i/p . Las races de f en C son u, u, . . . , p1 u y el cuerpo de
descomposicin de f sobre Q es E = Q(u, u, . . . , up1 ) = Q(u, ).
Como [Q(u) : Q] = p y [Q() : Q] = p 1 son primos relativos, obtenemos que [E : Q] = p(p 1).
Ejemplo 4.1.22. Sea ahora f = X p t K = Zp (t) donde t es una
indeterminada. Por el criterio de Eisenstein f es irreducible sobre
K. Sea F = K(u) el cuerpo obtenido adjuntando a K una raz de
f . Como car(F ) = p el polinomio f descompone como f = (X u)p
y por tanto F es el cuerpo de descomposicin de f sobre K. Igual
k
ocurre para el polinomio X p t Zp (t).
Denicin 4.1.23. Sea F K[X] cualquier conjunto de polinomios
no constantes. Una extensin E/K se llama cuerpo de descomposicin de F sobre K si para todo polinomio f F existen u1 , . . . , un E
tales que f = (X u1 ) (X un ) y adems E = K(S) donde
S = {u F | f F f (u) = 0}
Teorema 4.1.24. Para todo conjunto de polinomios no constantes
F K[X] existe un cuerpo de descomposicin sobre K.
Demostracin. Sea F = {f | 
} el conjunto de polinomios
dados. Si es nito, sea f = f . Por el teorema 4.1.11 existe
un cuerpo de descomposicin F de f sobre K, que es tambin el
cuerpo de descomposicin de F sobre K.

4.2. CLAUSURA ALGEBRAICA

53

Sea ahora innito. Para cada subconjunto nito J sea FJ

un cuerpo de descomposicin de J = {f | J} sobre K. Usando
un argumento de sustitucin de conjuntos podemos tomarlos de
manera que si I J se verique FI FJ . El conjunto S = {EJ |
J , J nito} est ordenado por inclusin y es dirigido (es decir,
para cualquier par FI , FJ S existe una extensin comn FIJ S).
Sea F = JS FJ . Denimos una suma y un producto en F de la
siguiente manera: Para cualesquiera u, v F existe un J S tal
que u, v FJ . Entonces la suma u + v y el producto uv en F son la
suma y el producto en FJ . Es rutina comprobar que F es un cuerpo
de descomposicin de F sobre K.
Proposicin 4.1.25. Sean F1 , F2 dos cuerpos de descomposicin sobre K de la misma familia de polinomios F. Entonces existe un isomorsmo : F1
= F2 sobre K.
Demostracin. Si F es nito esta proposicin es un caso particular
del corolario 4.1.13.
Sea ahora F arbitrario. Formamos el conjunto
E = {(E, ) | F1 E K, es una extensin de }
Por el corolario 4.1.13 los E K tales que E/K es nita pertenecen todos a E. Ordenamos el conjunto E de la siguiente manera:
(E1 , 1 ) (E2 , 2 ) si y slo si E1 E2 y 1 = 2 |E1 . Es rutina comprobar que esta es una ordenacin inductiva sobre E. Sea (F, )
un elemento maximal. Si F  F1 , por la proposicin 4.1.7 existe
un  : F  F2 extensin de con F  F  , en contra del carcter
maximal de (F, ).
Finalmente, todo f F descompone en factores lineales en F1
y las races de todos estos polinomios se aplican mediante sobre
las races de todos los f F en F2 . Pero estas ltimas generan F2
sobre K, luego es sobre.

4.2.

Clausura algebraica

Proposicin 4.2.1. Sea K un cuerpo. Los siguientes enunciados son

equivalentes:
1. Todo polinomio no constante f K[X] tiene una raz en K.
2. Para todo f K[X] de grado n > 1 existen u1 , . . . , un K tales
que f = an (X u1 ) (X un ).

54

CAPTULO 4. CUERPOS DE DESCOMPOSICIN

3. Un polinomio f K[X] es irreducible si y slo si gr(f ) = 1.

4. Toda extensin algebraica de K es trivial.
Demostracin. 1 2 Por induccin sobre el grado de f . Si gr(f ) = 1
tenemos que f = a1 X + a0 = a1 (X u1 ) con u1 = a0 /a1 K.
Sea ahora n = gr(f ) > 1. Por la hiptesis existe un K tal que
f (un ) = 0. Dividimos f por X un y obtenemos f = f1 (X un )
donde f1 = an X n1 + . . . Por la hiptesis de induccin existen
u1 , . . . , un1 K tales que f1 = an (X u1 ) . . . (X un1 ). Luego
f = an (X u1 ) . . . (X un ).
2 3 Sea f K[X] irreducible. No es constante, luego f = an (X
u1 ) . . . (X un ) con ui K. Como K[X] es un dominio factorial, f
divide a uno de los factores de la derecha. Comparando grados
obtenemos que gr(f ) = 1.
3 4 Sea E/K algebraica y u E arbitrario. Sea f = Irr(u, K). El
polinomio f es irreducible, luego gr(f ) = 1 y f = X u K[X].
Por tanto u K y E = K.
4 1 Sea f K[X] no constante. Por el teorema de Kronecker existe una extensin algebraica E/K y un elemento u E tal que
f (u) = 0. Pero la hiptesis dice que E = K y por tanto u E.
Denicin 4.2.2. Un cuerpo vericando las propiedades de la proposicin 4.2.1 se llama algebraicamente cerrado
Proposicin 4.2.3. Todo cuerpo algebraicamente cerrado es innito.
Demostracin. Sea K = {a1 , . . . , am } un cuerpo nito. Formamos el
polinomio f = (X a1 ) . . . (X am ) + 1. Para todo a K se verica
que f (a) = 1
= 0, luego f no tiene races en K, de donde K no es
algebraicamente cerrado.
Proposicin 4.2.4. Sea E/K una extensin arbitraria con E algebraicamente cerrado. Entonces el conjunto de elementos de E que
son algebraicos sobre K forman un cuerpo algebraicamente cerrado.
Demostracin. Sea F el conjunto de elementos de E que son algebraicos sobre K. Ya hemos visto que F es un cuerpo (que se llama
clausura algebraica (relativa) de K en E). Veamos que es algebraicamente cerrado: Sea f F [X] E[X] no constante arbitrario. Por

4.2. CLAUSURA ALGEBRAICA

55

ser E algebraicamente cerrado, existe un u E tal que f (u) = 0. Entonces u es algebraico sobre F y por tanto tambin sobre K. Luego
u F.
Denicin 4.2.5. Decimos que un cuerpo E es una clausura algebraica (absoluta) de K si E/K es una extensin algebraica y E es
algebraicamente cerrado.
Proposicin 4.2.6. Para una extensin E/K las siguientes propiedades son equivalentes:
1. E es una clausura algebraica de K.
2. La extensin E/K es algebraica y todo polinomio no constante
f K[X] descompone en factores lineales en E[X].
3. E es el cuerpo de descomposicin sobre K del conjunto de polinomios F = {f K[X] | gr(f ) > 0}.
4. La extensin E/K es algebraica y todo polinomio no constante
f K[X] tiene una raz en E.
Demostracin. 1 2 Por la proposicin 4.2.1 para todo polinomio
f F E[X] existen u1 , . . . , un E tales que f = an (X
u1 ) . . . (X un ).
2 3 Sea S = {u E | f F f (u) = 0}. Como E/K es algebraica, S
es el conjunto de elementos no nulos de E, y K(S) = E. Luego
E es el cuerpo de descomposicin de F sobre K.
3 1 Sea g E[X] no constante y sea F = E(u) un cuerpo extensin de F tal que g(u) = 0. El elemento u es algebraico sobre
E y E/K es una extensin algebraica, luego u es algebraico
sobre K. Sea f = Irr(u, K). Por la hiptesis existen elementos
u1 , . . . , un E tales que f = (X u1 ) . . . (X un ). Como f (u) = 0
existe un i tal que u = ui y por tanto u E.
La equivalencia con la condicin 4 se ver mas adelante.
Proposicin 4.2.7. Sea E F K una torre de cuerpos con F/K
algebraica. Entonces E es una clausura algebraica de F si y slo si
E es una clausura algebraica de K.
Demostracin. El cuerpo E es una clausura algebraica de F si y
slo si es algebraicamente cerrada y la extensin E/F es algebraica. Esto ltimo ocurre si y slo si E/K es algebraica, de donde el
resultado.

56

CAPTULO 4. CUERPOS DE DESCOMPOSICIN

Teorema 4.2.8 (Steinitz). Para todo cuerpo K existe una clausura

algebraica K.
Demostracin. Por el teorema 4.1.24 existe un cuerpo de descomposicin para F = {f K[X] | gr(f ) > 0}. Por 4.2.6 es una clausura
algebraica de K.
Teorema 4.2.9. Dos clausuras algebraicas E1 , E2 del mismo cuerpo
K son isomorfas sobre K.
Demostracin. Por 4.2.6 E1 y E2 son cuerpos de descomposicin de
la familia F = {f K[X] | gr(f ) > 0}. Por 4.1.25 son isomorfos
sobre K.
Teorema 4.2.10. Sea E F K una torre de cuerpos con E/K
una clausura algebraica de K. Entonces todo
algebraica y sea K
sobre K tiene una extensin : E K.

homomorsmo : F K
Demostracin. Por induccin transnita. Sea
y i |F = }
S = {(Ei , i ) | F Ei E, i : Ei K
El conjunto S no es vaco y est inductivamente ordenado por inclusin. Por el lema de Zorn existe un maximal (E1 , 1 ). Si E1  E,
una raz de f . Por
existe u E, u
/ E1 . Sea f = Irr(u, K) y sea v K
extensin de 1 tal que 1 (u) = v, y el
4.1.7 existe un 2 : E1 (u) K
par (E1 (u), 2 ) contiene propiamente a (E1 , 1 ) en contra del carcter maximal de ste ltimo. Luego E1 = E y = 1 es la extensin
buscada.
su clausura algeProposicin 4.2.11. Sea K un cuerpo y sea K
braica.
es innito numerable.
1. Si K es nito , entonces la clausura K
tiene el mis2. Si K es innito, entonces la clausura algebraica K
mo cardinal que K.
Demostracin. Para cualquier cuerpo K sea Mn = {f K[X] |
gr(f ) = n f mnico }. El conjunto Mn est en biyeccin con K n .
El anillo K[X] es la unin disjunta de la familia numerable de todos los Mn , luego el cardinal de K[X] es la suma de los cardinales
|Mn | = |K|n . Si K es innito, |K|n = |K| y |K[X]| = |K|. Si |K| es nito
tambin lo es |K|n y |K[X]| es numerable.
es la unin del cero y de las races de todos los
El conjunto K
polinomios de la familia F = {f K[X] | gr(f ) > 0}. El nmero de
= |K[X]|.
ceros de cada polinomio f es nito, luego |K|