EXTENSIONES ALGEBRAICAS CARLOS S.

CHINEA
MATEMTICA OCTUBRE 2003
1
EXTENSIONES
ALGEBRAICAS
1. Introduccin.
2. Extensiones algebraicas.
3. Extensiones finitas.
4. El cuerpo de ruptura.
5. Clausura algebraica.
6. Bibliografa
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
2
1. Introduccin:
Conocemos el concepto de cuerpo como una estructura algebraica definida con dos
leyes de composicin interna, concepto que se expone en otros artculos que figuran
en esta misma Web (Ver Cuerpos. Extensiones de un cuerpo, o tambin,
Extensiones Trascendentes de un cuerpo). Conocemos tambin el concepto de
subcuerpo de un cuerpo dado y que la familia F
L
de los subcuerpos de un cuerpo L
verifica las condiciones de definicin de una familia de Moore:
{ }
I L L
L
F P H H F P
F L

: , )
)
2
1
A la familia de Moore F
L
de los subcuerpos de L est asociada, pues, la aplicacin
llamada Clausura de Moore M:
{ }
I
H X F H H X X M L X
L
: ) ( ,
La Clausura de Moore de una parte X del cuerpo L es, por tanto, el mnimo subcuerpo
X de L que contiene a X.
Se tiene, adems, que, precisamente por ser familia de Moore, es F
L
retculo completo,
cuyos elementos mnimos y mximo son, respectivamente, el subcuerpo primo
L
y el
mismo cuerpo L:
( )
( ) L F
F
L
L L

max
min
Conocemos tambin, del tema anterior, el concepto de extensin de un cuerpo, junto
con la subdivisin de las extensiones en dos clases excluyentes entre s:
- Extensiones Trascendentes.
- Extensiones Algebraicas.
Se entender, pues, en adelante, que un cuerpo L es extensin de un cuerpo K, si L
contiene un subcuerpo K' que es isomorfo a K.
Es claro que si L es supercuerpo del cuerpo K, es L extensin de K, pues contiene un
subcuerpo (el mismo K) isomorfo a K (isomorfismo identidad).
Adems, si L es extensin del cuerpo K, es inmediato que L es espacio vectorial sobre
el cuerpo K:
( ) K L ,. ,+
y la dimensin de este espacio vectorial se llama grado de la extensin, que
acostumbramos a representar por (L:K) o bien por (L/K):
( ) ( ) k L K L ,. , dim / +
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
3
Notacin empleada tambin para indicar, simplemente, que es L extensin de K.
Se dir que L es extensin infinita de K si ( ) + K L / . Caso contrario, si
( ) + K L / diremos que L es extensin finita de K.
Si
L
F H y es S una parte de L, el mnimo subcuerpo de L que contiene a H y a S se
llama extensin de H por adjuncin de S y se representa por H(S). Sabemos tambin
que es ) )( ( ) (
2 1 2 1
S S H S S H U .
Si la parte S tiene un solo elemento, S={a} la extensin H(S) se llama extensin
simple de H. De acuerdo con lo afirmado en el anterior prrafo, se tendr:
( ) ) )...( )( ( ,..., ,
n n
a a a H a a a H
2 1 2 1

Es decir, la extensin de un cuerpo H por adjuncin de un conjunto finito A de n
elementos, A={a
1
,a
2
,...,a
n
} es la extensin de H por sucesivas adjunciones de los n
elementos de A.
Sealemos que la extensin simple H(a) es realmente la familia de cocientes
[ ] { } 0 ) ( ) ( ), ( : ) ( / ) ( ) ( a q x H x q x p a q a p a H
donde p(x) y q(x) son polinomios del anillo H[x].
Tambin, el mnimo subanillo de L que contiene a a, denotado por H[a], es
[ ] [ ] { } x H x p a p a H ) ( : ) (
Naturalmente, siempre es [ ] ) (a H a H , y, en algunos casos que analizaremos ms
adelante se da el caso de igualdad: [ ] ) (a H a H .
Dados dos cuerpos, L y H, la adjuncin L(H) (o bien H(L)) la representaremos por LH,
o sea:
) ( ) ( L H H L LH
Estudiaremos a continuacin las extensiones algebraicas de un cuerpo de forma
general, tanto las propiedades de los grados de las extensiones componentes de torres
de cuerpos, que inmediatamente definiremos, como el carcter de esta clase de
extensiones, que tambin concretaremos mediante definicin formalizada.
DEFINICION 1.
Una torre de cuerpos es una sucesin de cuerpos
n
k k k ...
2 1
tal que cada k
i+1
es extensin de k
i
. (i=1, ..., n-1).
DEFINICION 2.
Sea T una clase de cuerpos, cada uno de ellos extensin del cuerpo K (es decir, cada
uno de ellos conteniendo un subcuerpo K' isomorfo a K):
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
4

'

,... ,..., ,
k
L
k
L
k
L
T
n 2 1
Se dice que T es clase distinguida entre todas las clases posibles cuyos elementos son
cuerpos extensiones de K, si T cumple las condiciones siguientes:
1) Para la torre
j i
L L K se cumple siempre que

'

T
L
L
T
K
L
T k
L
i
j
i
j
2) Dados dos subcuerpos, H y S, de un cuerpo L, ambos extensiones de K, se cumple
que
T
S
HS
T
K
H

3) Si son L L L
s r
, entonces T
K
L L
T
K
L
K
L
s r s r
,
DEFINICION 3:
Una inmersin L K : del cuerpo K en L es un monomorfismo de K en L. Si
E K una aplicacin L E : se dice que es una prolongacin o extensin de
si la restriccin de a K coincide con .
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
5
2. Extensiones algebraicas:
DEFINICION 4:
Si el cuerpo L es una extensin de K, se dice que L t es algebraico sobre K sii
existen elementos a
0
, ..., a
n
de K, no todos nulos ( ) 1 n tales que
0
1 0
+ + +
n
n
t a t a a . ... .
Una extensin L de K se dice que es algebraica si todo elemento de L es algebraico
sobre K.
Es claro que t K t , es algebraico sobre el cuerpo K, pues verifica la ecuacin
polinmica
X - t = 0
es decir, existen coeficientes, x, -1 de K tales que x - t = 0
PROPOSICION 1:
Sea L una extensin del cuerpo K. Entonces, si L t es algebraico sobre K, la familia
de los polinomios de K[x] que se anulan para x = t, es decir, el conjunto
[ ] { }, ) ( , ) ( / ) ( 0 t f x K x f x f I es un ideal principal engendrado por un polinomio
p(x) irreducible tal que si K t , es grado p(x) = 1, y si K t entonces es grado p(x)
2. Se verifica tambin que:
[ ]
( )
[ ] ), (
) (
t K t K
x p
x K
siendo K(t) una extensin
finita de K.
En efecto:
a) sean f(x) y g(x) dos polinomios del anillo K[x] que se anulan para x = t. Esto
quiere decir que f(t) = 0 y que g(t)=0, por lo cual, si es I el conjunto de los
polinomios que se anulan para x = t:
[ ] x K de ideal I
I x g x f
I x g x f
t g t f
t g t f

'

'

) ( ). (
) ( ) (
) ( ). (
) ( ) (
0
0
b) Al ser K[x] un anillo principal, todos sus ideales son principales, por lo cual el
conjunto I de los polinomios que se anulan en x = t es un ideal principal, esto es,
est engendrado por un polinomio irreducible p(x):
[ ] ( ) ) ( / ) ( x p I x K x p ,
siendo p(x) el polinomio de menor grado entre los que se anulan para x = t.
Veamos que p(x) es irreducible, pues si no lo fuera se tendra que
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
6
[ ]
< <

) ( ) ( ) ( ) ( ) ( ) (
) ( ). ( ) ( ) ( ). ( ) ( / ) ( ), (
x p grad x l grad x p grad x h grad t l t h
t l t h t p x l x h x p x K x l x h
0 0
0
p(x) no es el polinomio de menor grado que se anula para x = t contradiccin.
Luego, p(x) es irreducible.
Si es a
s
el coeficiente director del polinomio p(x), llamaremos polinomio irreducible de t
sobre K al polinomio
( ) ) ( , , x p
a
x K t I
s
rr
1

c) Sea la aplicacin [ ] [ ] t K x K F : definida por

[ ] ( ) ( ) ) ( , ) ( t f x f F x K x f
es inmediato que F es homomorfismo sobreyectivo, y se tiene que
[ ] { } ( ) ) ( ) ( / ) ( x p t m x K x m F Ker 0
y su descomposicin cannica:
[ ] [ ]
[ ]
( )
[ ] t K
x p
x K
b
i n
t K x K
F

) (
por tanto:
[ ]
[ ]
( ) ) (x p
x K
t K
d) Puesto que p(x) es irreducible y K[x] es anillo principal, el ideal I=(p(x)) es un
ideal maximal. Y puesto que K[x] tiene elemento unidad ello implica que
[ ]
( )
[ ]
[ ]
( )
[ ] cuerpo t K
x p
x K
t K
cuerpo
x p
x K

'

) (
) (
Es decir, K[t] es un cuerpo que contiene a K y a t [ ] t K t K ) ( .
Y como se tiene siempre que [ ] ( ) t K t K , se deduce que es [ ] ( ) t K t K .
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
7
La igualdad anterior nos indica que todo elemento de la extensin simple K(t) es una
expresin polinmica con coeficientes en el cuerpo K. Veamos que se trata de una
extensin finita de K.
[ ] ) ( ) ( t t K t K
Dividiendo ) (x por p(x): ) ( ) ( ). ( ) ( x r x q x p x + , y para x = t se tiene:
) ( ) ( ) ( ) ( ). ( ) ( t r t r t r t q t p t + + 0
Si es n = grad (p(x)), entonces 1 n t r grad t grad ) ( ) ( , o sea, es:
1
1 1 0

+ + +
n
n
t a t a a t . ... . ) (
por tanto, ) ( ), ( ) ( t t K t es combinacin lineal de los monomios { }
1
1
n
t t,..., , ,
que son linealmente independientes y, por tanto, una base del espacio vectorial
( ) K K t K ,. , ), ( + .
En definitiva, ( ) ( ) n K t K K t K + / ) ( ,. ), ( dim , por lo cual L es extensin finita de K.
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
8
3. Extensiones finitas:
PROPOSICION 2:
Si L es extensin finita de K, entonces L es extensin algebraica de K.
En efecto:
L extensin finita de K ( ) { }
1
,..., , 1 /


n
t t n K L es una base del espacio vectorial
dado por ( ) { } { }

+
n
i
i
i n
n
t a K a a a K t indep lineal t t K L
1
2 1
1
0 / ,..., , , . ,..., , 1 , , o
Y es alguno de los 0
i
a t es algebraico sobre K ) / ( K L algebraica.
PROPOSICIN 3:
Sea
3 2 1
K K K una torre de cuerpos. Se verifica que
( ) ( ) ( )
1 2 2 3 1 3
K K K K K K : . : :
En efecto:
1) Sean { }
r
a a a ,..., ,
2 1
r elementos de K
3
linealmente independientes sobre K
2
( ) ( ). :
2 3
K K r
Sean { }
s
b b b ,..., ,
2 1
s elementos de K
2
linealmente independientes sobre K
1
( ) ( ). :
1 2
K K s
Los r.s elementos { }
j i
b a pertenecen a K
3
y son linealmente independientes sobre
k
1
:
a) por ser
3 3 2 3
K b a K K b K a
j i j i
. ,
b) de ser

,
_

r
i
i
s
j
j ij ij
j i
j i ij
a b l K l b a l
1 1
1
0 0 . ,
,
, y siendo los a
i
independientes sobre K
2
y 0
1
2
1



s
j
j ij
s
j
j ij
b l K b l y los bj
independientes sobre K1 ij l
ij
, 0 .
Por tanto, al ser los r.s elementos { }
j i
b a linealmente independientes sobre K1, se
tiene que:
( )
1 3
K K s r : .
Lo que hemos probado, por consiguiente, es:
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
9
( )
( )
( )
1 3
1 2
2 3
K K s r
K K s
K K r
: .
:
:

2) Si uno al menos de los r o s es infinito, es decir, si es r o bien s ,

entonces:
( ) ( )
1 3 1 3
K K K K s r : : .
o sea:
( )
1 3
K K s r : .
o bien:
( ) ( ) ( )
1 3 1 2 2 3
K K K K K K : : . :
y la proposicin quedara probada para este caso.
3) Si ambos r o s son finitos, se tiene:
( )
( )

'

1 2
2 3
K K s
K K r
:
:
y de 1):
( )
1 3
K K s r : .
Adems, { }
r i
r
i
i i
a a a pues K d a d x K x ,..., , ( , ,
2 1 2
1
3

es una base de K
3
).
Tambin, { }
s ij
r
i
j ij i i
b b b pues K l b l d K d ,..., , ( , ,
2 1 1
1
2

es una base de K
2
).
Por tanto:
{ }
j i
rs
j i
j i ij i
r
i
s
j
j ij
b a b a l a b l x K x

,
_

1 1 1
3
,
, son generadores de K
3
, y, al ser
linealmente independientes { }
j i
b a es base de ( )
1 3
K K :
Entonces:
( )
1 3
K K s r : .
o bien
( ) ( ) ( )
1 3 1 2 2 3
K K K K K K : : . :
COROLARIO 1:
1) Para una torre
n
K K K ...
2 1
de n cuerpos se tiene:
( ) ( ) ( )
1 2 1 1
K K K K K K
n n n
: ... : :

EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA

MATEMTICA OCTUBRE 2003
10
2) El cuerpo ( )
n
a a a K L ,..., ,
2 1
obtenido por adjuncin de un nmero finito n de
elementos a
i
algebraicos sobre K, es una extensin finita de K.
En efecto:
1) Es inmediato, aplicando recurrencia, del resultado de la proposicin 3, pues si
( ) ( ) ( )
1 2 1 1 1
K K K K K K
n n n
: ... : :


entonces
( ) ( ) ( ) ( ) ( ) ( )
1 2 2 1 1 1 1 1 1
K K K K K K K K K K K K
n n n n n n n n n
: ... : . : : . : :


2) Llamaremos:
) ,..., ( , ... ), , ( ), ( ,
n n
a a K K a a K K a K k K
1 2 1 2 1 1 0

y queda la torre:
n
K K K ...
1 0
As, pues, se tiene que es: ), (
i i i
a K K
1
con a
i
algebraico sobre K
i-1
(por ser
algebraico sobre K), para i = 1, 2, ..., n; por lo tanto, la extensin ( )
1 i i
K K : es finita
para i = 1, 2, ..., n, de donde se deduce que ) ,..., (
n n
a a K K
1
es extensin finita de
K.
PROPOSICION 4:
1) Toda extensin finita L de un cuerpo K puede obtenerse adjuntando a K un nmero
finito de elementos algebraicos.
2) La suma, diferencia, producto y cociente de elementos algebraicos sobre K son
tambin algebraicos sobre K.
3) Sea la torre H L K y supongamos L extensin algebraica de K. Entonces, si
H t es algebraico sobre L, es tambin algebraico sobre K.
En efecto:
1) Sea L extensin finita de K y { }
n
q q q ,..., ,
2 1
una base del espacio vectorial
( ) K L o , ,+ , entonces
( ) ( ) n K L K L + : , , dim o
[ ] ( )
n n i n n
q q K q q K L K a q a q a L ,..., ,..., , ... ,
1 1 1 1
+ +
Ahora bien, por ser ( ) ( )
n i
q q K n i L q y L K ,..., ,..., ,
1
1
) ,..., (
) ,..., (
) ,..., (
n
n
n
q q K L
L q q K
q q K L
1
1
1

EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA

MATEMTICA OCTUBRE 2003
11
2) Sea L supercuerpo de K y sean L d d
2 1
, elementos algebraicos sobre K.
Entonces se tiene la torre
L d d K K ) , (
2 1
donde es ) , (
2 1
d d K una extensin finita (por corolario 1. 2) y, por tanto, algebraica.
A esta extensin algebraica pertenecen los elementos
( ). 0 / . , ,
2 2 1 2 1 2 1 2 1
+ d d d y d d d d d d
que sern, en consecuencia, elementos algebraicos sobre K.
3) [ ] L a t a t a a x f x K x f K sobre ebraico a H t
i
n
n
+ + + , 0 . ... . ) ( / ) ( lg
1 0
considerando el cuerpo intermedio ( )
n
a a a K N ,..., ,
2 1
ser:
) (t N N K
Al ser L extensin algebraica de K, los L a
i
son algebraicos sobre K, i=0,1, ..., n,
entonces es M extensin finita del cuerpo K, por corolario 1. 2).
Igualmente es t algebraico sobre N (puesto que [ ] x N x f ) ( ) por lo que es tambin
N(t) extensin finita de K, y por la proposicin 2, extensin algebraica de K.
PROPOSICIN 5:
Toda extensin L=K(A) obtenida por la adjuncin al cuerpo k de un nmero A (finito o
infinito) de elementos algebraicos sobre K, es una extensin algebraica de K.
En efecto:
a) Si A es finito, por proposicin 4 es L=K(A) una extensin finita de K, y, por
proposicin 2, una extensin algebraica de K.
b) Si A es infinito, sea H un supercuerpo comn a K y a A y sea L=K(A) el cuerpo
obtenido de K por adjuncin de A.
Si es { }
n
d d d F ,..., ,
2 1
una parte finita de A, se tendr que L A K F K ) ( ) ( .
Llamando F(A) a la familia de las partes finitas de A, sea su reunin:
{ } ) ( / ) ( A F F F K U R
Puesto que L R L F K A F F ) ( ), (
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
12
Pero la reunin R es, realmente, el conjunto de las expresiones racionales, con
coeficientes en K, formadas cada una por un nmero finito de elementos de A.
Es inmediato que se trata de un cuerpo, cuerpo que contiene a K y a A. Por
tanto, L = R.
PROPOSICION 6:
1) La clase T
k
, de las extensiones finitas de un cuerpo K, es clase distinguida.
2) La clase Z
k
, de las extensiones algebraicas de un cuerpo K, es clase distinguida.
En efecto:
1) Veamos la clase T
k
de las extensiones finitas.
1.1) Sea la torre
k j j i
T K L con L L K / . Se Tiene
( )
( ) ( ) ( )
( ) ( )
( ) ( )
K
i
j
K
i
i j i
i j i
i j i j
j
T
L
L
T
K
L
finito L L finito K L
finito L L K L
L L K L K L
finito K L

: :
: . :
: . : :
:
por tanto:

'

K
i
j
K
i
K
j
T
L
L
T
K
L
T
K
L
1.2) { } ) ( , cos lg ,..., / A K L que tales K sobre ebrai a d d A T K L
m K

1
Sea H/K. Se tiene:
) ( ) ( )) ( ( ) ( ) ( A H HL A H A K H L H H L HL y A es algebraica sobre K y
sobre H
H
HL
finita.
Por tanto:
K K
T
H
HL
T
K
L

1.3) Sean . ,
K
T
K
H
K
L
Entonces:
L = K(A), con { }
s
d d A ,...
1
algebraicos sobre K.
H = K(B), con { }
r
e e B ,...
1
algebraicos sobre K
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
13
( ) ) ( ) )( ( ) ( ) ( ) ( BUA K A B K A H A K H L H LH
y siendo BUA finito y sus elementos algebraicos sobre K finita
K
HL

por tanto:
K K
T
K
HL
T
K
H
K
L
,
2) Veamos la clase Z
k
de las extensiones algebraicas.
2.1) Sea la torre
K
j
j i
Z
K
L
con L L K ,
ebraica a
K
L
L L y ebraica a
K
L
i
j i
j
lg lg
por ser
i
L K , todo elemento de L
j
algebraico sobre K es tambin algebraico sobre
L
i

i
j
L
L
algebraica
por tanto:

'

K
i
j
K
i
K
j
Z
L
L
Z
K
L
Z
K
L
2.2)

K K
k
K
Z
H
HL
Z
H
L H
propos por
z
K
L
L H HL
M de subcuerpos L H
K
H
Z
K
L

'

) (
,
) (
,
5
por tanto:
K K
Z
H
HL
Z
K
L

2.3) Sean
K K
Z
K
LH
LH L H H L Z
K
H
K
L
) ( ) ( ,
por tanto:
K K
Z
K
LH
Z
K
H
K
L
,
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
14
4. El cuerpo de ruptura:
DEFINICION 5:
Dado un cuerpo K y un polinomio irreducible [ ] x K x p ) ( , se llama cuerpo de ruptura
de p(x) a una extensin simple L = K(t) tal que p(t) = 0.
PROPOSICION 7:
Dado un cuerpo K y un polinomio irreducible [ ] x K x p ) ( , existe siempre el cuerpo de
ruptura de p(x), determinado salvo isomorfismo.
En efecto:
Si [ ] x K x p ) ( es irreducible en [ ] ( ) ) (x p x K es ideal mximo
( )
[ ]
[ ]
( )

'

cuerpo
x p
x K
unidad el con anillo x K
imal ideal x p
) (
.
max ) (
Por ser [ ] x K K , el epimorfismo cannico [ ]
[ ]
( ) ) (
:
x p
x K
x K n transforma a K
en un cuerpo isomorfo a K', subcuerpo de
[ ]
( ) ) (x p
x K
. En adelante identificamos los
cuerpos isomorfos K y K' y consideramos
[ ]
( ) ) (x p
x K
L como un subcuerpo de K.
Sea, para [ ]
[ ]
( )
.
) (
) ( ,
x p
x K
x n x K x
Y para [ ]
n
n
x r x r r x f x K x f + + + ... ) ( / ) (
1 0
sea:
( )
n
n
r r r f x f n + + + ... )) ( (
1 0
Es decir, los elementos del cuerpo
[ ]
( ) ) (x p
x K
L son expresiones polinmicas en .
Entonces:
[ ] ( ) K K L
y como L es un cuerpo, ser ( ) L K
por tanto:
( )
( )
( )

K L
L K
K L

El polinomio
s
n
x a x a a x p + + + ... ) (
1 0
pertenece a la clase 0 de L (por pertenecer
al ideal (p(x)). Es decir, se tiene por una parte que 0 )) ( ( x p n y por otra parte se
tiene que
s
n
a a a x p n + + + ... )) ( (
1 0
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
15
por tanto:
0
2
2 1 0
+ + + +
n
n
a a a a ...
De lo cual se deduce que L es algebraico sobre K y adems es cero de
[ ] L x K x p ) ( es extensin algebraica simple de K y adems p(x) admite en L a
como cero L es cuerpo de ruptura de p(x).
Si existieran dos cuerpos de ruptura, K(a) y K(b), ambos, por ser isomorfos a
[ ]
( ) ) (x p
x K
, seran isomorfos entre s. Son, efectivamente, k-isomorfos en el k-
isomorfismo g tal que ( )
r
r
r
r
b c b c c a c a c c g + + + + + + ... ...
1 0 1 0
COROLARIO 2:
Dado un polinomio [ ] x K x p ) ( irreducible sobre K existe una extensin L/K obtenida
por una sucesin de n extensiones simples, sobre la que p(x) se descompone
totalmente en factores lineales.
En efecto:
a) Si sobre un primer cuerpo de ruptura ( )
1 1
L , el polinomio p(x) se descompone en
factores lineales irreducibles ya est resuelta la cuestin.
b) En caso contrario, sea ) (
2 1 2
L L el cuerpo de ruptura de uno de los factores
irreducibles no lineales ) (x p
1
y realizamos la descomposicin de ) (x p
1
en factores
irreducibles sobre L
2
. Ahora aparecern ms factores lineales que en la
descomposicin sobre L
1
.
La reiteracin de este precedimiento conduce, al cabo de un nmero finito, n, de
operaciones, a una extensin finita,
K
L
, sobre la que ) (x p se descompone
totalmente en factores lineales.
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
16
5. Clausura algebraica:
PROPOSICIN 8:
Sea K un cuerpo y sea K[x] su anillo de polinomios. Existe una extensin algebraica de
K en la que [ ] x K x p ) ( se descompone en factores lineales, minimal para esta
propiedad y algebraicamente cerrada.
En efecto:
Sea
n
n
x a x a a x P + + + ... ) (
1 0
y llamemos
n
n
n
n n n
x b x b b x x
a
a
a
a
a
x P
x p + + + + + + ... ...
) (
) (
1 0
1 0
por tanto,
n
n
n
n
x b x b x b b x p + + + +

1
1 1 0
... ) ( .
Llamemos ( ) x K K ' , cuerpo de las funciones racionales con coeficientes en K.
Introduzcamos el conjunto { }
ij
y de indeterminadas de dos ndices, i y j, de los cuales
el primero recorre todo [ ] ( ) [ ] x K x p x K
i
: , y el segundo recorre el conjunto
{ }
i
n ,..., ,2 1 donde es ) (x p grado n
i i
.
As, por ejemplo, al polinomio ) (x p
s
le corresponden las indeterminadas
{ }
s
sn s s
y y y ,..., ,
2 1
Si es 4
2
) (x p grad , le correspondern:
{ }
24 22 21
y y y ,..., ,
Lo que se ha hecho, realmente, es construir una indeterminada por cada raz de cada
polinomio de [ ] x K .
Sea [ ]
ij
y K D ' el anillo de polinomios con coeficientes en K', con respecto a las
indeterminadas y
ij
, y consideremos el ideal A de D engendrado por los polinomios f
i
(x)
de expresin:
) )...( ).( ( ) ( ) (
i
in i i i i
y x y x y x x p x f
2 1
El elemento neutro e de K no pertenece al ideal A, pues si A e , sera e combinacin
lineal de un nmero r de polinomios f
i
(x) de A:

+ + +
r
i
r r i i
x f x f x f x f e
1
2 2 1 1
) ( ... ) ( ) ( ) (
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
17
si damos a y
ij
los valores de las j races de f
i
(x), se tiene que f
i
(x)=0 y, por tanto, es:

r
i
i i
x f e
1
0 ) (
lo cual es falso, pues sabemos que en todo cuerpo es 0 e .
De esto se deduce que e no es elemento del ideal A y, por tanto, es D A .
Como la familia I(D) de los ideales de D es U-inductiva, existir, por el Lema de Zorn,
un ideal maximal:
m A D I A D I m ), ( / ) (
Y, puesto que D tiene elemento unidad,
m
D
E es un cuerpo. Es el cuerpo de las
clases (modulo m) de elementos de D.
Se tiene, adems, que , / , 0
2 1 2 1
z h h K h h entonces h
1
, h
2
pertenecen a
clases diferentes pues, caso contrario, ser:
m e z z E z h h
1
2 1
. ,
de lo cual, D=m, contra la hiptesis de ser D distinto de m.
Luego, elementos diferentes de K pertenecen a clases diferentes de
m
D
E lo que
implica que E contiene un subcuerpo isomorfo a K, es decir, es una extensin de K.
Sea a hora q
ij
la clase de E que contiene a y
ij
y sea L el cuerpo de adjuncin ) (
ij
q K .
Si m x f
i
) ( , entonces f
i
(x) pertenece a la clase cero del cuerpo E:
( )( ) ( )
i
in i i i
q x q x q x x p ... ) (
2 1
Al ser { }
ij
q algebraicos sobre K y L=K(q
ij
) ser, por proposicin 5, extensin algebraica
de K.
Tambin L es elemento minimal de la clase de las extensiones algebraicas de K tales
que en ellas se descompone en factores lineales todo elemento de K[x], pues al haber
sido construido L como cuerpo de adjuncin K(q
ij
) se tiene que cualquier cuerpo K
intermedio L K K ' no contiene a todos los q
ij
lo que implica que existen
polinomios en K[x] que no se descomponen en factores lineales sobre el cuerpo K.
Luego, es L extensin algebraica de K en la que todo polinomio de K[x] se descompone
en factores lineales y es adems minimal entre las que tienen esta propiedad.
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
18
Veamos que el cuerpo ) (
ij
q K L es tambin algebraicamente cerrado. Sea
[ ] x K x f ) ( un polinomio irreducible en L tal que el grado de f(x)>1 y comprobemos
que esto es contradictorio.
Sea H z un cero de f(x) en un cuerpo de ruptura H de f(x): H L K
Es decir, H z es algebraico sobre L y, por proposicin 4 3), es algebraico sobre K.
Esto implica que z verifica una ecuacin g(x)=0 irreducible en el cuerpo K, y, por
consiguiente, f(x) divide a g(x). Pero, por construccin del cuerpo L (L=K(q
ij
)) sabemos
que g(x) se descompone en L en factores lineales. Luego es contradictorio.
Por tanto, no existe un polinomio [ ] x K x f ) ( con grado mayor que 1 que sea
irreducible en L, lo que implica que L es algebraicamente cerrado.
Y recprocamente, una extensin de L que sea algebraicamente cerrada es extensin
minimal del cuerpo K entre las que son algebraicas y verifican que en ellas se
descompone en factores lineales todo polinomio de K[x]. Para comprobarlo,
consideremos una de tales extensiones
K
H
tal que L H K . Debe ser
necesariamente H=L, pues, en caso contrario, sea H L d y f(x) el polinomio
irreducible de K[x] anulado por d. Este polinomio no puede descomponerse en H en
factores lineales, luego H=L. Con esto termina la demostracin.
PROPOSICION 9:
Sea E/K una extensin algebraica y L K : una inmersin de K en un cuerpo
algebraicamente cerrado L. Existe una prolongacin de a una inmersin de E en L.
Si E es algebraicamente cerrado y L es algebraico sobre GK, toda prolongacin de este
tipo de es un isomorfismo de E en L.
En efecto:
Sea S el conjunto de todos los pares (F,T), donde FE es un subcuerpo de E, que
contiene a K, y T es una extensin de a una inmersin de F en L.
Si (F,T), (F,T) son dos de tales pares, podemos definir la relacin de orden:
( ) ( )

'

T F a T stric
F F
T F T F
' Re ) 2
' ) 1
' '. ,
El conjunto S es no vaco, pues contiene a (K, ) y, adems, es inductivo:
Si ( ) { }
i i
T F , es una cadena de S, bastar hacer
i
F F U y definimos L F T : tal que
la restriccin de T a F
i
coincida con T
i
.
El par (F, T), construido de este modo, es, pues, mayorante mnimo de la cadena
( ) { }
i i
T F , , por lo que S es U-inductivo.
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
19
Aplicando a S el Lema de Zorn, existe al menos un elemento maximal (H,)S, donde
es una prolongacin a H de la inmersin y, como veremos a continuacin, es H =
E. Pues, caso contrario, sera:
Si H d E d E H / y d anula a un polinomio irreducible [ ] x K x f ) ( .
Entonces:
( ) [ ] x L x f x f ) ( ' ) (
Y sea qL tal que f'(q)=0 (q existe siempre en L, pues L es algebraicamente cerrado).
Prolonguemos a ' siendo L d H ) ( ': de modo que
( )
n
n
n
n
q c q c c d c d c c ' ... ' ' ... + + + + + +
1 0 1 0

Es claro, entonces, que

( )
( ) ( ) ' ), ( , )
' ), ( )

d H H b
S d H a
<

pero esto se contradice con el hecho de que (H, ) es elemento maximal de S. Luego,
efectivamente, es H=E.
Es decir, (E, ) es elemento maximal de S, y queda probada la primera parte de la
proposicin.
Para probar la segunda parte supongamos que E es algebraicamente cerrado; en este
caso tanto E como L son algebraicamente cerrados (E lo es por ser isomorfo a E, y L
lo es por hiptesis).
Pero en la proposicin 8 se prob el carcter minimal de toda extensin algebraica de
K que fuera algebraicamente cerrada, entre todas las extensiones algebraicas de K que
descompongan en factores lineales todo polinomio de K[x]. Por tanto, es E=L, y los
cuerpos E y L resultan ser isomorfos.
COROLARIO 3:
Sea K un cuerpo y E, E, extensiones algebraicas de K, ambas algebraicamente
cerradas. Existe un isomorfismo ' : E E que induce la identidad sobre K o K-
isomorfismo.
En efecto:
Es inmediato de la proposicin anterior.
De este corolario se deduce que toda extensin algebraica de K que sea
algebraicamente cerrada es nica, salvo isomorfismo. Este carcter de unicidad de
sentido a la definicin siguiente:
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
20
DEFINICION 6:
Se llama clausura algebraica de un cuerpo K, abreviadamente, K , a una extensin
algegraica de K que sea algebraicamente cerrada.
EXTENSIONES ALGEBRAICAS CARLOS S. CHINEA
MATEMTICA OCTUBRE 2003
21
6. Bibliografa:
1. Artin, E. Galois Theory.
2. Artin, E. Geometric Algebra
3. Birkhoff-Mc Lane. Algebra moderna.
4. Birkhoff,G., Bartee, T.C., Modern Applied Algebra, Mc Graw-Hill, 1970.
5. Bourbaki. Algebre, Ch. II - 3ra. Ed.
6. Bourbaki. Algebre, Ch. VII - 2da. Ed.
7. Bourbaki, N. Algbre.
8. Burton, D.M., Introduction to Modern Abstract Algebra, Addison-Wesley,
1967.
9. Caton, G. y Grossman, S. J., Linear Algebra.,., Ed. Wordsworth Publ. Co.
1980.
10. Childs, L., A Concrete Introduction to Higher Algebra, Springer-Verlag,
1979.
11. Cignoli, R. O., Apuntes de la materia Lgica (Computadores): Algebras de
Boole. Clculo proposicional.
12. Fraleigh, J. A First Course in Abstract Algebra.
13. Fraleigh, J.B., A First Course in Abstract Algebra, Addison-Wesley, 1967.
14. Friedberg, S, Insel, A, Spence, L., Linear Algebra, Prentice Hall (1979).
15. Gamtmacher, F. R., The Theory of Mathematics., Vol. I y II., Ed. Chelsea,
1974.
16. Gentile, E., Estructuras algebraicas I. (Public. OEA).
17. Gentile, E., Notas de Algebra (EUDEBA).
18. Gentile, E., Notas de Algebra II, Editorial Docencia.
19. Godement, R., Cours d'algbre.
20. Herstein, I. N., Algebra Moderna.
21. Herstein, I. N., Topics in Algebra.
22. Hoffman, K y R. Kunze, Algebra lineal, Prentice Hall.
23. Hoffman, K, y R. Kunzc, Linear Algebra, Prentice Hall, 1971.
24. Hungerford, T.W., lgebra.
25. Jacobson, N., Lecture in Abstract Algebra, Princeton, N.J. Van Nostrand,
1951-1964.
26. Jacobson, N. Basic Algebra I.
27. Kaplansky, I. Linear Algebra and Geometry
28. Lang, Serge, Algebra lineal, Addison Wesley.
29. Larotonda, A., Algebra lineal y Geometra. Eudeba.
30. Lipschutz, S., Algebra lineal, Serie Schaum.
31. Rotman, J., The Theory of Groups.
32. Strang G.,, Algebra Lineal con aplicaciones., Ed. Fondo Educativo
Interamericano, 1981.
33. Van der Waerden, B.L. Moderne Algebra.
34. Vargas, J.A. Algebra Abstracta.
35. Zariski, O. y Samuel, P. Commutative Algebra I y II.