1

ANILLOS REALES
(Tercera y ltima parte)

ENRIQUE ANDRADE Departamento de Matemticas, Facultad de Ciencias, Universidad Nacional

Autnoma de Mxico 04510 Mxico, D. F., Mxico.
E-mail: enrosolis@yahoo.com.mx
LEN KUSHNER Departamento de Matemticas, Facultad de Ciencias, Universidad Nacional Autnoma de
Mxico 04510 Mxico, D. F., Mxico.
E-mail: kushner@servidor.unam.mx

1 INTRODUCCIN
Anillos Reales (tercera parte), es una revisin de los captulos cinco y seis de las
notas de T. Y. Lam; An introduction to real algebra dadas como un curso en la Sexta
Escuela Latinoamericana de Matemticas en Oaxtepec Morelos en el verano de 1982.
En las primeras tres secciones se desarrolla la teora de Artin-Lang para lgebras
afines y sus campos de funciones. Se trabaja siempre con campos cerrados reales y sus
cerraduras reales; se exponen resultados importantes tales como el teorema de lugares
racionales de Lang y los teoremas del homomorfismo y del encaje. En la cuarta seccin se
introducen los conceptos y resultados necesarios para establecer la generalizacin del
teorema clsico de los ceros de Hilbert (Nullstellensatz clsico) al caso real o teorema de
Dubois-Risler (Nullstellensatz real).

SUMMARY
Real rings (third part), it is a revision of the chapters five and six of the notes of T. Y. Lam; An
introduction to real algebra given as a course in the Sixth Latin American School of Mathematics in
Oaxtepec Morelos in the summer of 1982.
In the first three sections the theory of Artin-Lang is developed for affine algebras and their fields of
functions. One always works with real closed fields and their real closure. Such important results are exposed
as Lang theorem of rational places and the homomorphism and imbedding theorems. In the fourth section
concepts and results are introduced to establish the generalization of the classic theorem of the zeros of
Hilbert (Classic Nullstellensatz) to the real case or theorem of Dubois-Risler (Real Nullstellensatz).

2 EXTENSIONES DE CAMPOS.
Se recuerda que un anillo A) es un campo si todo elemento distinto de cero de A es
una unidad; y un subconjunto F de un campo K es un subcampo de K si F es un campo con
respecto a las operaciones en K. Se dice que un campo K es un campo de extensin de un
campo F, lo cual se escribe K:F o que K:F es una extensin de campos si existe un
homomorfismo inyectivo :FK. Sea K:F una extensin de campos, K es un
elemento algebraico sobre F si f ()=0 para algn polinomio fF[x] distinto de cero. Un
elemento K es trascendente sobre F si f()0 para todo polinomio fF[x] no constante.
Un campo de extensin K de un campo F es una extensin algebraica sobre F si todo
elemento en K es algebraico sobre F. Se dice que un campo K es algebraicamente
cerrado si K no tiene extensiones algebraicas propias o equivalentemente si toda extensin
algebraica L de K satisface que L=K. Una extensin K:F es finita de grado n sobre F si K
como espacio vectorial sobre F es de dimensin finita n. Se denota esta dimensin con el
smbolo [K:F] y se denomina grado de K sobre F.
Se observa que toda extensin finita K:F de campos es algebraica. En efecto, si
K \ F es arbitrario y [K:F]=n con n, entonces 1, , 2 , , n no son elementos
linealmente independientes; de modo que existen elementos a0, a1 , , anF no todos cero
tal que a0+a1+ +ann=0. Entonces f=a0+a1x+ +anxn es un polinomio distinto de cero
en F[x] y f ()=0; luego, es algebraico sobre F.
F es un campo intermedio entre los campos K y k si K:F y F:k son extensiones de
campos. Si K es un campo y un subconjunto de K, entonces el subcampo de K generado
por es la interseccin de todos los subcampos de K que contienen a . Sea K:F una
extensin de campos y un subconjunto de K. Se denota por F() el subcampo de K
generado por F. F() es el subcampo ms pequeo de K que contiene a F y . F() es la
interseccin de todos los subcampos de K que contienen a F y . F() es un campo
intermedio entre K y F, es decir, es un campo de extensin del campo F. Si ={t1 , , tn},
se escribe F(t1 , , tn) y es el campo generado sobre F por t1 , , tn, o el campo obtenido por
adjuncin de t1 , , tn a F. Tambin se dice que F(t1 , , tn) es el campo de cocientes del
dominio entero F[t1 , , tn] o campo de funciones racionales. En el caso particular en que
={}, se dice que K:F es una extensin simple de campos si K=F(), es decir, K se
obtiene adjuntando uno de sus elementos a F. La extensin K:F es finitamente generada
si K=F(t1 , , tn) para algunos elementos t1 , , tnK. Una extensin finitamente generada
no necesariamente es finita. Cuando se habla de una extensin de campos K:F, es usual
utilizar el siguiente diagrama en el que la letra F se coloca en un nivel ms bajo que la letra
K para indicar que F est contenido en K.

Como en los captulos anteriores, aqu anillo significa anillo conmutativo con unitario.

K
F
Una cadena de campos FF1F2 Fn-1FnFn+1 K se denomina torre y
cada subextensin Fn:Fn-1 un piso de la torre. De particular inters son las torres con un
nmero finito de pisos.
PROPOSICIN 2.1. Sea kFK una torre de campos. Si A y B son bases para las
extensiones K:F y F:k respectivamente, entonces AB={ab| aA, bB} es una base para la
extensin K:k y [K:k]=[F:k][K:F]. En consecuencia, K:k es finita si y slo si K:F y
F:k son finitas.
DEMOSTRACIN
Sea xK, entonces x=ai yi para un nmero finito de ndices i, con yiF y aiA.
Tambin se tiene que yi=zij bj, donde zijk y bjB. Luego x=zij ai bj lo cual muestra que
K es generado sobre k por AB. Ahora supngase que zij ai bj=0 con zijk, aiA y bjB.
Si zij bj=ci, entonces ci ai=0, con ciF. Como los bj son linealmente independientes sobre
k, se sigue que ci=0 para toda i luego zij=0 ya que las ai son linealmente independientes en
F.
Como una consecuencia de esta proposicin, se tiene
COROLARIO 2.2. Si F1F2 Fn es una torre de campos y Fi+1:Fi es una extensin
(finita) para cada i=1, 2,, n, entonces Fn:F1 es una extensin (finita) y
[Fn:F1]=[Fn:Fn-1][Fn-1:Fn-2]

[F2:F1].

DEMOSTRACIN
Se obtiene directamente de 2.1., por induccin.
Un polinomio no constante fF[x] es irreducible sobre F si f no puede expresarse
como producto de dos polinomios en F[x] de grado menor que el grado de f. Esto es, para
cualquier factorizacin f=gh en F[x], g o h es una unidad en F[x] ). Se recuerda que un
ideal I de un anillo A es un ideal principal de A si I es generado por un elemento en A, es
decir, I=<a> para alguna aA, y A es un dominio de ideales principales si todo ideal de
A es principal.
PROPOSICIN 2.3. Si F es un campo, entonces F[x] es un dominio de ideales
principales.
DEMOSTRACIN
Sea I un ideal de F[x]. Si I={0}, entonces I=<0>. Supngase que I{0} y sea gI un
)

Las unidades en F[x] son los elementos distintos de cero de F.

elemento distinto de cero de grado mnimo. Si g tiene grado cero, se sigue que gF y es
una unidad; luego, I=<1>=F[x] e I es un ideal principal. Si g tiene grado 1, entonces
tomando un elemento arbitrario fI, por el algoritmo de la divisin, existen polinomios q, r
en F[x] tal que f=qg+r, donde grad(r)< grad(g). Como f, gI, se tiene que f-qg=rI y dado
que g es un polinomio no cero de grado mnimo en I, se sigue que r=0, luego f=qg, esto es,
I=<g>.
Los polinomios irreducibles en el anillo de polinomios F[x] estn estrechamente
relacionados con los ideales maximales en F[x], es decir,
PROPOSICIN 2.4. Sea F[x] el anillo de polinomios en la indeterminada x con
coeficientes en un campo F. Entonces un ideal < f >{0} con fF[x] es maximal si y slo si
f es irreducible sobre F.
DEMOSTRACIN ()
Sea <f> un ideal maximal de F[x] que no es el ideal cero, entonces < f>F[x] y fF.
Sea f=gh una factorizacin de f en F[x], entonces gh<f> implica que g< f > o h<f >,
esto es, g o h tienen a f como un factor comn. Es decir, los grados de los polinomios g y h
no pueden ser menores que el grado de f. Por lo tanto, f es irreducible sobre F.
()
Sea fF[x] un polinomio irreducible sobre F y supngase que I es un ideal en F[x]
tal que <f>IF[x]. Por la proposicin 2.3., existe un polinomio gF[x] tal que I=<g>,
luego f<g> lo que significa que f=gh para algn polinomio hF[x]. Como f es irreducible,
se tiene que g o h es de grado cero. Si g es una constante en F[x] distinta de cero, entonces
g es una unidad en F[x] y <f>=I=F[x]. Si h es de grado cero, entonces h(x)= con F y
g=-1f est en <f >; as, I=< f >. Por lo tanto, <g>IF[x] lo cual no puede ser posible.
Luego < f > es maximal.
Un resultado ms general establece que si un anillo A es un dominio de ideales
principales, entonces todo ideal primo es maximal y recprocamente.
Sea K:F una extensin de campos, K un elemento arbitrario y :F[x] K;
a0+a1x+ +anxn a0+a1+ +ann con (x)= y (a)=a para cada aF ( transforma
isomorficamente a F va la funcin identidad) el homomorfismo de evaluacin en ,
entonces se tiene el siguiente
TEOREMA 2.5. Sea K:F una extensin de campos y K un elemento algebraico sobre
F. Entonces existe un polinomio irreducible fF[x] con f()=0. f est determinado de forma
nica salvo un factor constante en F, y es un polinomio de grado mnimo 1 en F[x].
Adems, si g()=0 para algn polinomio gF[x] con g0, entonces f divide a g.
DEMOSTRACIN
Sea :F[x] K el homomorfismo de evaluacin; su ncleo Ker()=<f> para
algn polinomio fF[x]. Si gKer() con g0, entonces g<f> y f divide a g (ya que por

el algoritmo de la divisin, g=qf +r con q, rF[x] donde ya sea r=0 o grad(r)<grad(f ).

Como r()=0, se sigue que r=0). Si h es otro polinomio del mismo grado que f, entonces
h=cf para algn cF; luego f es un polinomio de grado mnimo que tiene a como un cero.
Supngase que f=gh, entonces g()=0 o h()=0. Si g()=0, como grad(g)grad(f ), se tiene
que grad(g)=grad(f ) lo cual implica que h es una constante. Luego f es irreducible en
F[x].

F[x]
K
Si K:F es una extensin de campos y K es un
elemento algebraico sobre F, entonces por 2.5., el nico

polinomio mnico f en F[x] que anula a (porque puede

haber otros polinomios mnicos) es el polinomio irreducible
para sobre F que se denota por Irr( , F). El grado de este
F[X]/<Irr( , F)>
polinomio es el grado de sobre F que se escribe como
grad( , F). El ncleo del homomorfismo de evaluacin es <Irr( , F)> que es un ideal
maximal de F[x] (ver 2.4.). Luego, F[x]/<Irr( , F)> es un campo isomorfo a (F[x]) en
K y es el menor subcampo de K que contiene a F y . Como antes, este campo se denota
como F(). Si es trascendente sobre F, ello es equivalente a f ()0 para cada polinomio
fF[x] no constante lo cual a su vez es equivalente a que ( f )0 para todo polinomio
fF[x] no constante con el homomorfismo de evaluacin. Esto ltimo equivale a que
Ker()={0}, esto es, F[x] es encajado en K via el homomorfismo de evaluacin. Luego la
imagen, (F[x]) es un dominio entero que no es un campo. K contiene al campo de
cocientes qf(F[x])=F() y es el menor subcampo en K que contiene a F y .
PROPOSICIN 2.6. Sea K:F una extensin de campos y K un elemento algebraico
sobre F, entonces F[]=F() y F():F es una extensin finita de grado [F():F] igual al
grado de Irr( , F).
DEMOSTRACIN
Considrese el homomorfismo : F[x]F[]; g g(). Por la proposicin 2.3.,
Ker()=<f> para algn fF[x] con f()=0. Como es algebraico, Ker(){0} y tambin
Ker()F[x] ya que 0. Luego f0 y grad( f )1. Si f no es un polinomio mnico, bastar
dividir ste por su coeficiente principal para obtener un polinomio mnico. Supngase que
f es un polinomio mnico; por el primer teorema del isomorfismo, se tiene que
F[x]/ < f >= F[x]/Ker()Im()=F[]. Como F[] es un dominio entero, el ideal < f > es
primo en F[x]; esto significa que f es irreducible en F. Por 2.4., se sigue que < f > es
maximal; de esta forma F[x] /< f > es un campo. Como F() es el campo ms pequeo que
contiene a F y , y dado que F[x] /< f >=F[]F(), se sigue que F[]=F(). Por otro lado,
si g()F[] para algn polinomio gF[x], por el algoritmo de la divisin, se tiene que
g ( x) = q( x) f ( x) + r ( x) donde los polinomios q, r estn en F[x] y grad(r)<grad( f ). Luego
g()=q()f ()+r()=0+r(), con r()=b0+b1+ +bnn y n=grad(f ). De esta forma, el
conjunto {1F, ,,n-1} genera el espacio F-vectorial F(). Se afirma que {1F, , , n-1}
es una base de F(); en efecto, si a0+a1+ +an-1n-1=0 con aiF, i=1,, n-1, entonces
g(x)=b0+b1x+ +bn-1xn-1F[x] tiene a como una raz y es de grado n-1. Dado que f | g

(ver teorema 2.5.) y grad( f )=n, se sigue que g=0, esto es, ai=0 para cada i=1 , , n-1;
luego {1F, , , n-1} es linealmente independiente y en consecuencia es una base de F().
Por lo tanto, [F() : F]=n.
Ms generalmente
COROLARIO 2.7. Sea K:F una extensin de campos y 1,,nK elementos
algebraicos sobre F. Entonces F(1 , , n):F es una extensin finita y por lo tanto
algebraica.
DEMOSTRACIN (se hace por induccin sobre n.)
Para n=1, el resultado se sigue de 2.6.. Supngase que n>1 y que el corolario es
cierto para n-1, es decir, F(1 , , n-1):F es finita. Como n es algebraico sobre F y
F[x]F(1 , , n-1)[x], se sigue que n es algebraico sobre F(1 , , n-1). Por la
proposicin 2.6., F(1 , , n-1,n):F(1 , , n-1) es finita. Por 2.1., se tiene que
[F(1 , , n):F]=[F(1 , , n-1, n):F(1 , , n-1)][F(1 , , n-1):F] es finito.
PROPOSICIN 2.8. Sea kFK una torre de campos. Entonces K:k es algebraica si y
slo si K:F y F:k son algebraicas.
DEMOSTRACIN ()
Primero se probar que K:F es algebraica. Sea K, como K:k es algebraica,
existe f en k[x] tal que f ()=0. Dado que kF y k[x]F[x], entonces f ()=0 en F[x]; as,
es algebraico sobre F y K:F es algebraica. Ahora se prueba que F:k es algebraica; sea
F, como FK, K y dado que K:k es algebraica, existe fk[x] tal que f ()=0. Luego
es algebraico sobre k y F:k es algebraica.

()
Sea K y f=Irr( , F). Si a0 , , anF son los coeficientes de f algebraicos sobre k,
entonces es algebraico sobre k(a0 , , an). Por el corolario 2.7., k(a0 , , an):k es una
extensin finita y k():k tambin es finita. Luego es algebraico sobre k.
Para extensiones algebraicas se tiene la siguiente
PROPOSICIN 2.9. K:F es una extensin finita si y slo si K:F es algebraica y
finitamente generada
DEMOSTRACIN ()

Supngase que K:F es una extensin finita. Si [K:F]=1, K=F(1)=F. Si FK,

entonces existe un elemento 1K con 1F y [F(1):F]>1. Si K=F(1) la demostracin
concluye. Si F(1)K, entonces existe un 2K con 2F(1) y [F(1, 2):F(1)]>1. Ya
que el proceso se detiene, K=F(1,, n).

()
Dado que K:F es una extensin finitamente generada, existen elementos
1 ,..., n K tal que K=F(1 , , n). Como K:F es una extensin algebraica, 1 , , n
son elementos algebraicos sobre F. Tambin las subextensiones
F(1):F, F(1, 2):F(1) , , F(1,, n):F(1 , , n-1)
son extensiones algebraicas. Dado que FF(1)F(1, 2) F(1 , , n)=K es una
torre finita de campos con F(1 , , j):F(1 , , j-1) una extensin finita para j=2, 3,, n,
entonces por 2.2., se sigue que K:F es finita.
Un ejemplo de una extensin algebraica que no es finita es la extensin :,
donde es el campo de los nmeros complejos que son algebraicos sobre
COROLARIO 2.10. Si K:F es una extensin de campos y 1, 2K son elementos
algebraicos sobre F, entonces 1+2, 1-2, 12 y 1/2 con 20 son algebraicos sobre
F.
DEMOSTRACIN
Dado que F(1, 2):F es una extensin algebraica y 1+2, 1-2, 12 y 1/2 con
20 son elementos de F(1, 2); el resultado se sigue.

Sea K:F

COROLARIO 2.11.

una extensin

de campos,

entonces el

conjunto

F ={xK | x es algebraico sobre F} es un subcampo de K.

DEMOSTRACIN
K

Sean 1, 2 F . Como F(1,2) F , por el corolario anterior se sigue que 1+2,

K

1-2, 12 y 1/2 con 20 estn en F . As, F es un subcampo de K.

K

El campo F introducido en 2.11., se denomina cerradura algebraica de F en K y

es algebaicamente cerrado en K. Este concepto puede generalizarse de la siguiente forma.
DEFINICIN 2.12. Sea K un campo. Un campo K es la cerradura algebraica de K si
i) K :K es una extensin algebraica.
ii) K es algebraicamente cerrado.
TEOREMA 2.13. Todo campo F tiene una cerradura algebraica F .
DEMOSTRACIN

Considrese la familia ={Ki| iI} de todos los campos de extensin Ki de un

campo F tal que la extensin Ki:F es algebraica; ya que F. Ordenando

parcialmente por inclusin, (, ) es un conjunto parcialmente ordenado. Sea L un

subconjunto de totalmente ordenado y considrese a E=Ki con Ki en L. Se afirma que

E es un campo y E:F es algebraica. En efecto, sean a, bE, entonces existen campos K i1 ,
K i2 en L con a K i1 , b K i2 . Como L es totalmente ordenado, K i1 es un subcampo de K i2
o K i2 es un subcampo de K i1 . Supngase que K i1 K i2 ; entonces a, b K i2 . Se usan las

operaciones de suma y multiplicacin en K i2 para definir las operaciones de suma y

multiplicacin en E. Es rutinario probar que E es un campo con neutro multiplicativo, el
1F. As, E es un campo y KiE para cada iI. A continuacin se probar que E:F es
algebraica. Sea E, entonces K i0 para algn i0I con K i0 en L. Luego es algebraica
sobre F y E:F es una extensin algebraica y una cota superior para L. Por el lema de Zorn,
existe al menos un elemento maximal F de . Se afirma que F es algebraicamente
cerrado. En efecto, sea f F [x], donde f F . Si f no tiene ceros en F , se puede tomar un
elemento w F y formar un campo F (w) con w cero de f. Sea F (w), entonces es un
cero del polinomio g=0+1x+ +nxn en F [x] con i F y por tanto i es algebraico
sobre F. Luego F(0 , , n):F es finita y dado que es algebraico sobre F(0 , , n),
F (0 , , n,):F(0 , , n) es una extensin finita; luego F(0 , , n,):F es una
extensin finita. De esta forma es algebraico sobre F. Entonces F (w) y F F (w) lo
cual contradice la eleccin de F como un elemento maximal de . Por tanto f tiene un cero
en F y F es algebraicamente cerrado.
Sean K:k y F:k dos extensiones de campos. Si K y F estn contenidos en un campo
L, se define el campo producto KF como el subcampo de L generado por el conjunto
KF, esto es, KF=K(F)=F(K)=FK. Se observa que si k es un subcampo de KF tal que
K=k() y K, entonces KF=F(). Si K:k y F:k son extensiones finitas, entonces el
campo producto KF es el conjunto de los elementos de la forma xi x j , xiK y yiF. En el
i

caso general, el campo producto KF es el campo de cocientes del dominio entero k[K F] ,
esto es, KF= qf ( k[K F]) cuyos elementos son de la forma ( xi y j )( xi yj ) 1 , xi, xjK
i

y yi, yjF. El campo KF es el mnimo subcampo de L que contiene a K y F. Tambin se

dice que KF es la interseccin de todos los subcampos de L que contienen a K y F. El
siguiente diagrama proporciona una descripcin grfica.
L
KF
K

F
k

PROPOSICIN 2.14. Dadas las extensiones de campos

L
KF
K

F
k

la extensin KF:k es algebraica si y slo si K:k y F:k son algebraicas.

DEMOSTRACIN ()
Por hiptesis KF:k es algebraica. Por 2.8., se sigue que KF:K, KF:F, K:k y F:k
son algebraicas.

()
Sea =KF, entonces KF=k() y cada elemento de es algebraico sobre k. Por
2.7., la extensin k():k es algebraica, esto es, KF:k es algebraica.
Sea K:F una extensin de campos. Si al menos un elemento xK no es algebraico
sobre F, se dir que la extensin es trascendente. Si ={1 , , n} es un conjunto finito
de elementos de K, se dice que es algebraicamente independiente sobre F o que los
elementos 1 , , n son algebraicamente independientes sobre F si el nico polinomio en
F[x1 , , xn] que se anula en 1 , , n es el polinomio cero de F[x1 , , xn].
Sea K:F una extensin de campos y {1 ,, n } en K un conjunto algebraicamente
independiente sobre F. Si se supone que {1 ,, r } con r < n es un subconjunto de
{1 ,, n } que no es algebraicamente independiente sobre F, entonces existe un
polinomio no cero f F[ x1 ,, xr ] tal que f (1 ,, r ) = 0 . Pero f en el anillo
F[ x1 ,, xr , xr +1 , xn ] satisface que f (1 ,, r , r +1 , n ) = 0 lo cual contradice el hecho
de que {1 ,, n } sea algebraicamente independiente sobre F. De esta forma se tiene que
todo subconjunto de un conjunto algebraicamente independiente es algebraicamente
independiente; luego si K:F es una extensin algebraica, entonces el nico subconjunto
algebraicamente independiente de K es el conjunto vaco. Tambin, todo elemento de un
conjunto algebraicamente independiente de K es necesariamente trascendente sobre F. En
efecto, si {1 ,, n } en K es un conjunto algebraicamente independiente sobre F y si se
supone que existe un elemento i0 en {1 ,, n } que no es trascendente sobre F, entonces
existe un polinomio f F[ xi0 ] no cero tal que f (i0 ) = 0 . Pero f en F[ x1 ,, xi0 , xi0 +1 , xn ]
satisface que f (1 ,, i0 , i0 +1 , n ) = 0 lo cual contradice el hecho de que {1 ,, n }
sea algebraicamente independiente sobre F. Si 1 , , nK son algebraicamente
independientes sobre F, entonces F[1 , , n] es un anillo de polinomios.

10

Cuando n=1, ={} es algebraicamente independiente si y slo si es trascendente

sobre F. Si es infinito, es algebraicamente independiente si todo subconjunto finito de
es algebraicamente independiente. El concepto de independencia algebraica generaliza el
concepto de independencia lineal en el sentido de que si S en K es un conjunto linealmente
dependiente sobre F, entonces existe un polinomio no cero f de grado mayor o igual a uno
en el anillo F[x1 , , xn] tal que f (s1 , , sn)=0 para elementos distintos de cero s1 , , snS.
Esto es, todo conjunto algebraicamente independiente es tambin linealmente
independiente, pero no recprocamente.
Se dice que K:F es una extensin trascendente pura si existe un subconjunto
del campo K algebraicamente independiente tal que K=F().
PROPOSICIN 2.15. Toda extensin de campos K:F contiene un conjunto que es
algebraicamente independiente maximal. K:F() es algebraica y F():F es trascendente
pura.
DEMOSTRACIN
La existencia de es una consecuencia del lema de Zorn. En efecto, sea la
familia de todos los subconjuntos algebraicamente independientes de K. Si = no hay
nada que hacer; si , (, ) es un conjunto parcialmente ordenado. Sea A un
subconjunto no vaco totalmente ordenado de y = con A. Claramente es un
subconjunto algebraicamente independiente de K y una cota superior de A. Por el lema de
Zorn, el conjunto parcialmente ordenado (, ) tiene al menos un elemento maximal .
Por otro lado, supngase que K:F() no es una extensin algebraica, es decir, existe un
elemento K trascendente sobre F() y en particular sobre F. Entonces {} es un
conjunto algebraicamente independiente; esto ltimo contradice la maximalidad de .
Finalmente, como es un conjunto algebraicamente independiente, se tiene que F():F es
trascendente pura.

Todo subconjunto B de K que satisface las propiedades de en la proposicin

anterior, esto es, que B es algebraicamente independiente maximal, se denomina base de
trascendencia de K sobre F. Se observa que un subconjunto B de K es una base de
trascendencia de K sobre F si i) B es algebraicamente independiente sobre F y ii) K:F(B)
es algebraica. Todo subconjunto de K que satisface ii) anterior, se denomina conjunto
generador de K sobre F o se dice que K es generado por un subconjunto sobre F. Se
observa que una base de trascendencia de una extensin puede ser un conjunto vaco en
cuyo caso se dice que la extensin K:F es algebraica. Una base de trascendencia de un
campo K sobre un subcampo F es el anlogo de una base de un espacio vectorial K sobre F.
En general, una base de trascendencia no es una base de un espacio vectorial; por ejemplo,
si f /gF(x) con f, g0, entonces el polinomio no cero h(y1, y2)=g(y1)y2-f (y1) que est en el
anillo F[y1, y2] es tal que h(x, f /g)=g(x)( f /g)-f (x)=0. As, {x, f /g} es algebraicamente
independiente en F(x). De esto se ve que {x} es una base trascendente de F(x) sobre F que
no es una base de espacio vectorial ya que {1F, x, x2, x3, } es linealmente independiente en
F(x).

11

LEMA 2.16. Sea K:F una extensin de campos, en K un conjunto generador de K sobre
F. Si S en K es un conjunto finito de elementos algebraicamente independientes sobre F,
entonces |S|| |.
DEMOSTRACIN
Sea S; como es algebraico sobre F(), existe un polinomio con coeficientes en
F() que tiene a como una raz. Dado que solamente un nmero finito de elementos de
son coeficientes de este polinomio, se tiene que para un cierto nmero n, existen un
polinomio pF[x, x1 , , xn] y elementos 1 , , n tal que p(, 1 , , n)=0. Como es
algebraicamente independiente sobre F, esto es, trascendente sobre F y considerando a p
como un polinomio en el anillo F[x1 , , xn][x]), existe al menos un coeficiente
qF[x1 , , xn] de p que tiene grado positivo en x1 , , xn. Si xi es una indeterminada que
aparece en un monomio de q con coeficiente no cero, se tiene que i es algebraico sobre
F(1 , , i-1, i, i+1 , , n, ). Luego, ( \{i}){} es un subconjunto de K que satisface
que K:( \{i}){} es algebraica. De esta forma ( \{i}){} es un nuevo conjunto
generador de K:F. Prosiguiendo por induccin, sea S1S un subconjunto con r elementos
para el cual existe un subconjunto 1 tambin con r elementos tal que =( \ 1)S1 es
un subconjunto de K que satisface que K: es algebraica. Si S1=S, la existencia de 1
significa que, |S| ||. Si existe S \ S1; como es algebraico sobre F( ), existe un
polinomio pF[x1 , , xr, y1 , , yn-r][x] tal que p(1 , , r, 1 , , n-r)=0 con iS,
i=1 , , r, j\1, j=1 , , n-r, (1 , , n-r son ciertos elementos en \1). Si p se considera
ahora como un polinomio en F[y1,,yn-r][x1,,xr], esto es, un polinomio con coeficientes
en F[y1 , , yn-r], se tiene que, como {1 , , r,} es algebraicamente independiente sobre
F, existe al menos un coeficiente qF[y1 , , yn-r] de p que tiene grado positivo en
y1 , , yn-r. Siguiendo el razonamiento anterior, existe un elemento i \ 1 algebraico sobre
F(,1 , , r, 1 , , i-1, i+1 , , n-r). As, \1 es no vaco, y si S=S1{} y =1{i};
S1 y ambos con r+1 elementos, se tiene que S(\) es un nuevo subconjunto de K
tal que K:S( \ ) es algebraica. Este proceso de induccin termina cuando se tiene un
conjunto *, con el mismo nmero de elementos que S, tal que S( \ *) es un
subconjunto de K con K:S( \ *) algebraica. Por lo tanto |S| | |.
PROPOSICIN 2.17. Sea K:F una extensin de campos, B y B bases de trascendencia
de K sobre F. Entonces |B|=|B|.
DEMOSTRACIN (Caso finito)
Se sabe que B y B son conjuntos algebraicamente independientes sobre F y que
K:F(B) y K:F(B) son extensiones algebraicas. Si BB, por el lema 2.16., se tiene que
|B| |B|. Tambin, si BB, se tendr que |B| |B|. Por lo tanto se concluye que |B|=|B|.

(Caso infinito)
Se probar que si B y B son bases de trascendencia de K sobre F y |B| es infinito
)

p se considera como un polinomio en x con coeficientes en F[x1,, xn].

12

entonces |B| es infinito y |B|=|B|. En efecto, dado que B es una base de trascendencia de K
sobre F, se sigue del caso finito que el cardinal de B es infinito. Sea B, entonces es
algebraico sobre F(B) (ver proposicin 2.15.). Considrese el polinomio irreducible para
sobre F(B); f=Irr(, F(B)). Los coeficientes de este polinomio estn en el campo F()
con un subconjunto finito de B. De esta forma, fF()[x] y es algebraico sobre
F(). Para cada B se considera el respectivo polinomio irreducible de sobre F(B) y
el respectivo conjunto finito de B. Se afirma que =B es una base de trascendencia
de K sobre F. En efecto, como un conjunto de B es algebraicamente independiente.
Tambin se tiene que todo elemento de B es algebraico sobre F(B). Luego la
extensin F(B)(B):F(B) es algebraica. Como F(B)F(B)(B), se sigue
que todo elemento de F(B) es algebraico sobre F(B). Por la proposicin 2.15.,
B es una base de trascendencia de K sobre F, esto es, B=B. A continuacin se
probar que |B||B|. Se observa que los conjuntos finitos con B no son mutuamente
ajenos. Por el principio del buen orden en B, B tiene un primer elemento que se escribe
como 1. Sea 1=1 y = \ i<i para cada B con >1. Claramente es finito,
B=B y los son mutuamente ajenos. Para cada B considrese un orden
( , i). es
fijo de ={1,, k}; considrese tambin la funcin :B B; i
inyectiva, esto es, B es equipotente con algn subconjunto de B. De esta forma
|B|=|B|=|B||B|=|B|||=|B|0=|B|. En forma similar se tiene que |B||B|. Por
lo tanto, |B|=|B|.
Si K:F es una extensin de campos y B una base de trascendencia de K sobre F, se
define el grado de trascendencia de K sobre F como el nmero de elementos de B y se
denota grtr(K:F). Por ejemplo, si F[x1 , , xn] es el anillo de polinomios en las
indeterminadas x1 , , xn con coeficientes en el campo F, entonces grtr(F(x1 , , xn):F)=n.
Se observa que K:F es algebraica si y slo si grtr(K:F)=0.
PROPOSICIN 2.18. Sea K:F una extensin de campos, en K un conjunto generador
de K sobre F, entonces existe un subconjunto B que es base de trascendencia de K:F.
DEMOSTRACIN
Sea la familia de todos los subconjuntos de que son algebraicamente
independientes. puede ordenarse por inclusin; y por el lema de Zorn, existe un elemento
maximal de esta familia; digamos que B es este elemento, esto es, B es un subconjunto
algebraicamente independiente de . De esta forma, todo elemento u \ B es algebraico
sobre F(B), entonces F() es algebraico sobre F(B). As, K es algebraico sobre F(B) por
2.8., y por 2.15., se concluye que B es una base trascendente de K sobre F.
COROLARIO 2.19. Si K:F es una extensin finitamente generada y B es una base de
trascendencia de K:F, entonces grtr(K:F)< y K:F(B) es una extensin finita y por lo
tanto algebraica.
DEMOSTRACIN
Por hiptesis K=F(S) para algn subconjunto finito S de K. Por la proposicin

13

2.18., existe una base de trascendencia B de K:F. Como B es una base de trascendencia de
K:F y BS con |B|=|B|<|S|<, se tiene que grtr(K:F)<. Por otro lado, como K:F(B) es
algebraica y finitamente generada, se sigue que K:F(B) es una extensin finita (ver
proposicin 2.9.).
PROPOSICIN 2.20. Sea kFK una torre de campos. Si F:k es algebraica y T en K es
algebraicamente independiente sobre k, entonces T es algebraicamente independiente sobre
F.
DEMOSTRACIN
Si T no es algebraicamente independiente sobre F, entonces existe tT algebraico
sobre F(T \{t}). Dado que F:k es algebraica, se sigue que F(T \{t}):k(T \{t}) es algebraica.
Luego cada piso en la torre

k(T \{t})F(T \{t})F(T \{t})(t)=F(t)

es algebraica, entonces tF(t) es algebraico sobre k(T\{t}). Pero esto contradice la

independencia algebraica de T sobre k.
PROPOSICIN 2.21. Sea kFK una torre de campos. Entonces K:k es finitamente
generada, si y slo si K:F y F:k son finitamente generadas.
DEMOSTRACIN
Si K=F(S) y F=k(T), con S y T finitos, entonces K=k(ST) y K:k es finitamente
generada. Claramente si K:k es finitamente generada, entonces K:F es tambin
finitamente generada por el mismo conjunto de generadores. Sea S={s1,, sk} una base de
trascendencia de F sobre k, entonces el segundo piso de la torre kk(S)FK es algebraico
y K es finitamente generado sobre k(S). Sea T={t1,, tn} una base de trascendencia de K
sobre k. Se desea probar que [F:k][K:k(T)] mostrando que todo subconjunto finito de F
que es linealmente independiente sobre k tambin es linealmente independiente sobre k(T)
como un subconjunto de K. Dado que K:k(T) es finita, por el corolario 2.19., se sigue el
resultado. En primer lugar, se observa que como T es algebraicamente independiente sobre
k, por la proposicin 2.20., T es algebraicamente independiente sobre F. Sea ={y1 , , ym}
en F linealmente independiente sobre k y supngase que ri(t1 , , rn)yi=0, donde
ri(t1 , , rn)k(T). Supngase tambin que cada ri(t1,,rn) es un polinomio sobre k.
Considerando trminos que involucran exponentes similares de los ti, se obtiene que
( a1 n ) t11 tn n =0, donde a1 n k es el coeficiente de t11 tn n en ri(t1 , , rn).

Como T es algebraicamente independiente sobre F se tiene que T tambin es

algebraicamente independiente sobre k(t1 , , rn)F. As, a1 n yi=0 y la dependencia
lineal de sobre k implica que a1

=0. Luego ri(t1 , , rn)=0 para cada i. Esto muestra

que es linealmente independiente sobre k(T).

14

PROPOSICIN 2.22. Dadas las extensiones de campos

L

KF
K

k
La extensin KF:k es finitamente generada si y slo si K:k y F:k son finitamente
generadas.
DEMOSTRACIN ()
Se sigue de la proposicin 2.21.

()
Que K:k y F:k sean finitamente generadas, significa que existen 1,,nK y
1 , , mF tal que K=k(1 , , n) y F=k(1 , , m). Entonces KF=k(1 , , n, 1 , , m)
y as, KF:k es finitamente generada.
PROPOSICIN 2.23. Dadas las extensiones de campos.
L

KF
K

F
k

La extensin KF:k es finita si y slo si las extensiones K:k y F:k son finitas. En este caso
[KF:k][K:k][F:k].
DEMOSTRACIN
Que KF:k sea finita, por la proposicin 2.9., es equivalente a que KF:k es
algebraica y finitamente generada. Por 2.14.y 2.22., lo anterior es equivalente a que K:k y
F:k son algebraicas y finitamente generadas, lo cual nuevamente por 2.9 ser equivalente a
que K:k y F:k sean finitas.
LEMA 2.24. Sea K:F una extensin de campos. Si K=F(S) para algn subconjunto S de K.
Entonces K:F es algebraica si y slo si cada elemento de S es algebraico sobre F.
DEMOSTRACIN ( )
Sea xS; como xK y K:F es algebraica, se sigue que x es algebraico sobre F.

()
K

Por el corolario 2.11., se tiene que S es un subcampo de K, esto es, S= F . Como

K=S, entonces K:F es algebraica.

15

OBSERVACIN 2.25. Dadas las extensiones de campos

L

KF
K

F
k

si la extensin K:k es algebraica, entonces la extensin KF:F es algebraica.

DEMOSTRACIN
Como KF=F(S) y cada elemento de K es algebraico sobre k, (esto es, existe un
polinomio no cero fk[x] tal que f ()=0 para toda K y como fF[x] es tal que f ()=0
para toda K ) entonces tambin cada elemento de K es algebraico sobre F. Luego por el
lema 2.24., se tiene que la extensin KF:F es algebraica

El recproco es falso en general. Por ejemplo si K=(x), F=( 2, ) y k=.

Entonces KF:F=( 2, ). Luego KF:F es algebraica y K:k es trascendente.
Para extensiones finitamente generadas se tiene
PROPOSICIN 2.26. Sea kFK una torre de campos, B1 y B2 bases de trascendencia de
F:k y K:F respectivamente. Entonces B1B2 es una base de trascendencia de K:k y
grtr(K:k)=grtr(K:F)+grtr(F:k).
DEMOSTRACIN
Sea B1 una base de trascendencia de F sobre k y B2 una base de trascendencia de K
sobre F. Como B1F, B1 es algebraicamente dependiente sobre k, luego B1B2=. Dado
que todo elemento de F es algebraico sobre k(B1), (ver corolario 2.19.) se tiene que tambin
es algebraico sobre k(B1B2). De esta forma, k(B1B2)(F):k(B1B2) es algebraica. Como
k(B1B2)=k(B1)(B2)F(B2)k(B1B2)(F), F(B2) es algebraico sobre k(B1B2). Restar
mostrar que B1B2 es algebraicamente independiente sobre k. En efecto, sea f un polinomio
sobre k en m+n indeterminadas x1 , , xn, y1 , , ym tal que

f(s1 , , sn, t1 , , tm)=0

para algunos elementos distintos s1 , , snB1 y t1 , , tmB2. Sea

g(y1 , , ym)=f(s1 , , sn, t1 , , tm)k(B1)[y1 , , ym]F[y1 , , ym].
Como g(t1 , , tm)=0, la independencia algebraica de B2 sobre F implica que g=0, de donde
f (x1 , , xn, y1 , , ym)=hi(x1 , , xn)ki(y1 , , ym)

16

con hik[x1 , , xn], kik[y1 , , ym] para cada i. La independencia algebraica de B1 sobre k
implica que hi=0 para toda i, luego f(x1 , , xn,y1 , , ym)=0; por lo tanto B1B2 es
algebraicamente independiente sobre k. As, grtr(K:k)=|B1B2|=|B1|+|B2| y el resultado se
sigue.
Para el campo producto se tiene
PROPOSICIN 2.27. Dadas las extensiones de campos
L

KF
K

F
k

grtr(KF:K) grtr(F:k) y grtr(KF:k) grtr(K:k)+grtr(F:k)

DEMOSTRACIN
Sea B una base de trascendencia del campo F sobre k. Como KF=K(F) y todo
elemento de F es algebraico sobre k(B), se sigue que KF es algebraico sobre K(B). Por la
proposicin 2.19., B contiene una base de trascendencia de KF sobre K. Por lo tanto
grtr(KF:K)grtr(F:k). Por la proposicin 2.19., se tiene que

grtr(KF:k)grtr(KF:K)+grtr(K:k).

Adems, como grtr(KF:K)grtr(F:k), se sigue que grtr(KF:k) grtr(K:k)+grtr(F:k).

Sea F un campo y F[x] el anillo de polinomios en la indeterminada x con
coeficientes en F. Si es una raz de un polinomio fF[x], entonces f=(x-)mg para algn
polinomio gF[x] con g()0. m se denomina multiplicidad de en F y se dice que es
una raz mltiple si m>1 y simple si m=1. Un polinomio fF[x] es separable sobre F si
todos los factores irreducibles de f sobre F tienen nicamente races simples. En particular,
un polinomio irreducible es separable si sus races son simples. Sea K:F una extensin de
campos; un elemento K algebraico sobre F es separable sobre F si es una raz simple
de Irr( , F). Una extensin K:F es separable si ella es algebraica y todo elemento de K es
separable sobre F. Sea A un anillo y fA[x], f(x)=a0+a1x+ +anxn un polinomio sobre A.
El polinomio f =a1+2a2x+ +nanxn-1 se denomina polinomio derivada de f; su grado
siempre es menor que el grado de f y f nunca divide a f . El polinomio derivada satisface
las siguientes propiedades
i) (f+g)=f +g, ii) (f )=f , iii) (fg)=f g+f g y iv) x=1, para f, gA[x] y A.

17

PROPOSICIN 2.28. Sea K:F una extensin de campos, K un elemento algebraico

sobre F y fF[x] un polinomio no cero que tiene a como una raz. Entonces es una raz
simple de f si y slo si f ()0.
DEMOSTRACIN ()
Si es una raz simple del polinomio f, esto es, si f=(x-)g con gF[x] y g()0,
entonces se tiene que f =(x-)g+g y f ()=(-)g()+g(). Luego f ()0.

()
Supngase que es una raz de un polinomio f de multiplicidad m>1, f=(x-)mg con
g()0. Luego f =m(x-)m-1g+(x-)mg. Como m-1>0, se tiene que f ()=0 lo cual es una
contradiccin. Por lo tanto m=1 y es una raz simple de f.
PROPOSICIN 2.29. Sea F un campo y fF[x] un polinomio de grado 1. Si la
caracterstica de F es cero, entonces f (x)0.
DEMOSTRACIN
Sea f(x)=a0+a1x+ +anxn con an0 y n1. Si f (x)=0, entonces nan=0; pero esto
ltimo no es posible ya que F es de caracterstica cero. Por lo tanto f (x)0.
COROLARIO 2.30. Sea F un campo y fF[x] un polinomio irreducible. Si la
caracterstica de F es cero, entonces f tiene solamente races simples.
DEMOSTRACIN
Como la caracterstica del campo F es cero, se sigue de la proposicin 2.29., que
f (x)0. Tambin de 2.28., se obtiene que f tiene tiene todas sus races simples.

Sea K:F una extensin algebraica de campos con caracterstica de F igual a cero,
K y f=Irr( , F). Entonces de la proposicin 2.29. se tiene que f ()0 y del corolario
2.30., se sigue que es una raz simple de f. Por lo tanto es separable sobre F. As, se ha
probado la siguiente
PROPOSICIN 2.31. Sea K:F una extensin algebraica de campos con caracterstica de
F igual a cero, entonces K:F es una extensin separable.
PROPOSICIN 2.32. Toda extensin finita separable K:F con F un campo infinito es
simple.
DEMOSTRACIN
Sean , elementos en el campo K, f=Irr( , F) que tiene races distintas =1,
2 , , n en F y g=Irr( , F) que tiene races distintas =1, 2 , , m en F , la cerradura
algebraica de F, donde todas las races son simples ya que K:F es una extensin separable.
Como F es un campo infinito, se puede encontrar un elemento aF con a(i-)/(-j) para
toda i1 y j1; es decir, a(-j)i- y +ai+aj para toda i1 y j1. Haciendo =+a,
se tiene que i+aj y -aji para toda i1 y j1. Sea h(x)=f(-ax)F()[x]; como

18

h()=f(-a)=f()=0 y por construccin h(j)0 para toda j1, se sigue que h(x) y g(x)
tienen un factor comn en F()[x] que es el polinomio Irr(, F()). Como es la nica raz
comn de los polinomios g(x) y h(x), el polinomio Irr( , F()) debe ser lineal. De esta
forma, F() y =(-a)F(); por lo tanto F(, )=F(). Continuando con este proceso
inductivamente, se obtiene el resultado.

Como una consecuencia inmediata de las proposiciones 2.31. y 2.32., se obtiene el

siguiente
COROLARIO 2.33. Toda extensin finita de un campo de caracterstica cero es simple.

Para campos finitos de caracterstica p, la proposicin 3.28. de la primera parte, (ver

referencia [1]) se sigue cumpliendo, esto es, si F es un campo finito, entonces toda
extensin finita K:F es separable.

3 CAMPOS CERRADOS REALES Y LGEBRAS AFINES.

Se dice que K:F es una extensin real si K y F son campos reales. Si K es un

campo real y F es un subcampo de K, K:F es una extensin real ya que todo subcampo de
un campo real es real. Ms generalmente si K:F es una extensin de campos con K un
campo real, entonces se sigue de la observacin 3.17. de la primera parte, (ver [1]) que
K:F es una extensin real. En esta seccin se retoma el concepto de extensin algebraica y
se centra la atencin en extensiones algebraicas de campos reales.
DEFINICIN 3.1. Un campo K es un campo cerrado real si
i) K es un campo real y
ii) ninguna extensin algebraica propia de K es real.

El siguiente resultado afirma que dado un campo real, siempre se puede encontrar
un campo cerrado real que lo contiene, es decir,
PROPOSICIN 3.2. Dado un campo real K existe siempre una extensin algebraica L:K
con L un campo cerrado real
DEMOSTRACIN

Sea K una cerradura algebraica de K y considrese la familia de todos los

subcampos reales de K que contienen a K. Como K, y (, ) es un conjunto
parcialmente ordenado. Sea ={K} un subconjunto no vaco totalmente ordenado de .
Se afirma que la unin R=K con K es un campo real contenido en K y que
contiene a K. Es claro que R es un campo; se probar que R es real. Supngase
n

que -1 = ai 2 se cumple en R con a1 , , anR, entonces existen K1 ,, K n R tal que

i =1

ai Ki . Claramente uno de los campos en { K1 ,, K n } digamos K1 satisface que

19

i =1

i =1

a1,,an K1 . Como -1 = ai 2 se cumple en R y K1 R, entonces -1 = ai 2 se cumple

en K1 lo cual es una contradiccin ya que K1 es un campo real. As, R es un campo real
que es una cota superior de . Por el lema de Zorn existe un elemento maximal L que es
un campo real que contiene a K y est contenido en K . Como ninguna extensin
algebraica propia de L es real, se sigue que L es un campo cerrado real.
Regresando a campos reales, se tiene
PROPOSICIN 3.3. Sea K un campo real. Entonces K( a ) es real si y slo si aT con T
un orden en K.
DEMOSTRACIN ()
Sea T un orden en K( a ) que contiene a T, luego a=( a )2T y aTK=T.

()
Supngase que K( a ) no es real, es decir, existen elementos bi, ciK, i=1, 2,, n
no

todos

cero

tal

bi+ci a K( a )

que

( bi+ci

a )2=0.

Entonces

i=1

b
i =1

que

i =1

i =1

+ 2 bi ci a + ci 2 a = 0 . Como

bi ci a = 0 y
i =1

es de grado 2 sobre K, se sigue

i =1

i =1

i =1

i =1

bi 2 + a ci 2 = 0 , esto es, a=-( bi 2 / ci 2 ). Por lo tanto aT lo

cual es una contradiccin.

La proposicin anterior tambin se puede escribir como: Sea K un campo real,
entonces para cualquier elemento aK se tiene que K( a ) es real o K( -a ) es real.
Obviamente, si a es una suma de cuadrados, K( a ) es real.
Se ve que 22 con el campo de los nmeros racionales. ) Pero si K es un
campo cerrado real, entonces K2=K2. En efecto, sea aK2T, T orden en K. Por 3.3.,
K( a ) es un campo real y como K es cerrado real, se sigue que K=K( a ), es decir,
a K y aK2.
COROLARIO 3.4. Sea K un campo cerrado real y aK, entonces existe bK tal que a=b2
o a=-b2
DEMOSTRACIN
Para cada elemento aK, por 3.3., se tiene que K( a ) es real o K( -a ) es real.

Se tiene que 22; pero la contencin recproca no es cierta en general.

20

Dado que K es cerrado real, K=K( a ) o K=K( -a ) es real, esto es, existe bK tal que
a=b2 o a=-b2.
COROLARIO 3.5. Si K es un campo cerrado real, entonces K tiene un nico orden.
DEMOSTRACIN
Como K es un campo real, T=K2 es un preorden en K. Por la observacin hecha
despus de la proposicin 3.3., se sabe que K2=K2 y por el corolario 3.4., se tiene que
K2-K2=K. Luego T=K2 es un orden en K y el resultado se sigue de 2.19.. de la segunda
parte, (ver [2])

Sea K:F una extensin de campos y T un orden en F. Se dice que un orden T en K

contiene o extiende T a K o T es la restriccin de T a F, si T F=T.
LEMA 3.6. Sea K:F una extensin de campos con F un campo real y T un orden de F.

Entonces K es un campo real si y slo si

a x
i =1

i i

= 0 , con a1 , , anT \{0} y x1 , , xnK,

implica xi=0, i=1 , , n.

DEMOSTRACIN ()
Dado que aiT \ {0}, para i=1 , , n, entonces existen elementos biK, i=1 , , n tal
n

a x

que ai=bi . Luego

i =1

i i

= 0 es equivalente a

(b x )
i =1

i i

= 0 . Como K es real, bixi=0 para

cada i=1 , , n y dado que aiT \ {0}, se sigue que xi=0, para toda i=1 , , n.
()
n

Sea T0={ ai vi 2 | a1 , , anT \{0} y v1 , , vnK}. Claramente T0 es un preorden

i =1

en K que est contenido en un orden T en K, es decir, existe un orden T en K que contiene

a T0. Como TF es un orden en F y TTF, del lema .2.18., (ver [2]) se sigue que
TF=T, esto es, T contiene a T. Por lo tanto K es un campo real.
Se dice que un campo K es cuadrticamente cerrado si todo elemento en K es un
cuadrado o equivalentemente si para cada aK, a o -a est en K.
LEMA 3.7. Sea K un campo cerrado real. Entonces K(i) es cuadrticamente cerrado.)
DEMOSTRACIN
Sea xK(i), entonces existen elementos a, bK tal que x=a+bi. Si b=0, x=a y por
3.4., se tiene que a es un cuadrado o el inverso aditivo de un cuadrado. De esto se sigue que
x es un cuadrado en K(i). Si b0, se tendr que encontrar elementos u, vK tal que
)

i= -1 .

21

a+bi=(u+vi)2; es decir, a=u2-v2, b=2uv. Sustituyendo v en las igualdades anteriores y

haciendo y=u2, se tiene y2-ay-(b2/4)=0 y y=(a+ a 2 + b 2 ) /2, con a2+b2>0 y

a 2 + b 2 la raz

cuadrada positiva de a2+b2 en K. Se afirma que yT \ {0}, es decir, a+ a 2 + b 2 T \{0}, ya

que en caso contrario (esto es, a+ a 2 + b 2 -T) se tendra que a- a 2 + b 2 -T (ya que
a 2 + b 2 -T y aT), de esta forma a2-(a2+b2)T, es decir, -b2T. As, b=0, esto es,
bT-T lo cual contradice la eleccin de b. De esta forma quedan determinadas u y v.

PROPOSICIN 3.8. Sea K un campo cerrado real. Entonces K(i) es algebraicamente

cerrado y los polinomios irreducibles en K[x] tienen grado 2.
DEMOSTRACIN
Sea L:K(i) una extensin finita de K(i); se tiene que probar que L=K(i). Sin prdida
de generalidad se puede suponer que L:K es una extensin de Galois con grupo G.) Sea
[L:K]=2rm, con m un nmero impar, entonces por el teorema fundamental de Galois, el
subgrupo de Sylow de orden 2r de G le corresponde un campo de extensin L de K de
grado un nmero natural m impar; esto significa que L es real y por tanto m=1. As, L:K
es una extensin de Galois de grado 2r y L:K(i) es una extensin de Galois de grado 2s.
Aplicando la correspondencia de Galois a la extensin de campos L:K(i), donde su grupo
de Galois es un 2-grupo, se sigue que s=0, ya que si s1 y aplicando la correspondencia de
Galois a la extensin, existira una extensin cuadrtica de K(i) lo cual contradice el hecho
de que K(i) es algebraicamente cerrado; luego L=K(i). Finalmente, como K(i) es
algebraicamente cerrado se concluye que los polinomios irreducibles en el campo K tienen
grado 2.

El hablar de un concepto anlogo a la cerradura algebraica en el caso de campos

reales conduce a la siguiente
DEFINICIN 3.9. Sea K un campo real y T un orden en K. Una cerradura real de K es
un campo K que satisface:
i) K es cerrado real.
ii) K :K es algebraica.
iii) el nico orden T de K es una extensin del orden dado en K, es decir,
T= T K.

El siguiente resultado asegura que para cada campo real, siempre existe una
cerradura real, es decir,
PROPOSICIN 3.10. Sea K un campo real. Entonces existe una cerradura real K de K.

Aqu se toma la menor extensin de Galois de K que contiene a L.

22

DEMOSTRACIN
Considrese la familia ={K} de campos reales que contiene a K tal que K:K es
una extensin algebraica para cada ndice . Sea T un orden de K y T un orden de K que
contiene a T. Claramente y ( , ) es un conjunto parcialmente ordenado. Sea un
subconjunto no vaco totalmente ordenado de . La unin R=K con K es un
campo real que contiene a K. Como TK=T, para toda , se tiene que (TK)=T es
equivalente a (T)K=T. Esto significa que T para toda es un orden de R. En efecto,
sean x, yT, entonces existen al menos ordenes T y T donde T T o T T
1

con x T y y T . Como T T o T T , se tiene que x, y T o x, y T y

1

x+y T o x+y T . Tambin xy T o xy T . As, T+TT y TTT.

1

Sea xR, entonces existe al menos un K j tal que x K2 j T j T. Tambin -1T

ya que en caso contrario se tendra que -1 K0 para alguna 0 contradiccin! Finalmente,
si xR, con x T0 = T0 - T0 para alguna 0; esto ltimo significa que x T0 o x- T0 ,
es decir, xT o x-T. Luego (T)(-T)=R y T es un orden en R. Sea
xR=T entonces x T0 para al menos un orden T0 . Como K0 :K es algebraica, se
tiene que el elemento x es algebraico sobre K. Luego R:K es algebraica. R es una cota
superior de y por el lema de Zorn existe al menos un elemento maximal K . El campo
K es un campo real que contiene a K con orden T ; T K=T y K :K es una extensin
algebraica. Por la maximalidad, K satisface que es un campo real y ninguna extensin
algebraica de K es real, esto es, K es cerrado real. Por 3.5., K tiene un nico orden T y
este orden es una extensin del orden dado en K, esto es, T K=T.
Dado un campo real K, la cerradura algebraica K de K es nica salvo isomorfismos
sobre K. La demostracin de esta afirmacin se dar en la siguiente seccin.)
Sea K un campo. Por una K-lgebra B se entiende un espacio vectorial sobre K
junto con una operacin binaria de multiplicacin :BBB que satisface:
i) (au)v=a(uv)=u(av), aK, u, vB.
ii) (u+v)w=uw+vw, u, v, wB.
iii) u(v+w)=uv+uw, u, v, wB.
Una K-lgebra B es asociativa si
iv) u(vw)=(uv)w para cada u, v, wB.
y conmutativa si
v) uv=vu para toda u, vB.
Sea B una K-lgebra, B1B es una K-sublgebra de B si B1 es un subespacio
vectorial que satisface: si u, vB1, entonces uvB1. B1 hereda la estructura de lgebra de B.

ver corolario 4.21.

23

Tambin, las sublgebras de un lgebra asociativa o un lgebra conmutativa son

sublgebras asociativas o conmutativas.
Si B1 y B2 son K-lgebras, la funcin lineal (homomorfismo de espacios
vectoriales) :B1 B2 es un homomorfismo de K-lgebras si (uv)=(u)(v).
Si B es una K-lgebra y como espacio vectorial tiene dimensin finita, entonces se
dir que B es una K-lgebra finita.
Si es un subconjunto de una K-lgebra B, se define la K-sublgebra A de B
generada por como la interseccin no vaca de la familia de todas las sublgebras de B
que contienen a (la interseccin de cualquier familia no vaca de K-sublgebras del
lgebra B es una K-sublgebra de B). Esta K-sublgebra es denotada por K[] y es la
menor K-sublgebra de B que contiene a en el sentido de que K[] est contenida en
cualquier otra K-sublgebra de B que contiene a . Se dice que una K-sublgebra A de B
es finitamente generada si existen elementos b1,, bnB tal que A=K[b1,,bn]. De
particular inters se tienen las K-lgebras finitamente generadas que son conmutativas, es
decir,
DEFINICIN 3.11. Sea K un campo. Un lgebra afn A es una K-lgebra conmutativa
finitamente generada.

El siguiente resultado afirma que las lgebras afines son imgenes homomorfas de
anillos de polinomios.
PROPOSICIN 3.12. Sea K un campo. B es un lgebra afn si y slo si existe un
homomorfismo suprayectivo :K[x1 , , xn]B para alguna n.
DEMOSTRACIN ()
Si B es un lgebra afn, entonces existen n elementos b1 , , bnB tal que

bi para i=1 , , n se extiende en forma nica a un

B=K[b1 , , bn]. La funcin xi
homomorfismo suprayectivo de K-lgebras
:K[x1 , , xn] K[b1 , , bn]
ai1in x1i1 x1in

ai1in b1i1 bn in .

donde (i1 , , in)({0})n.

()
Sea (K[x1 , , xn]); como es suprayectivo, se tiene que (K[x1 , , xn])=B y
(K[x1 , , xn])=K[(x1) , , (xn)]=K[b1 , , bn]
con b1 , , bnB. As, existen elementos biB i=1 , , n tal que B=K[b1 , , bn], es decir, B
es una K-lgebra conmutativa finitamente generada.

24

Asociados a las lgebras afines se tienen los campos de funciones que son campos
de cocientes de ciertos dominios k-afines, es decir,
DEFINICIN 3.13. Un campo de extensin K de un campo F es un campo de funciones
en n indeterminadas si existen elementos t1 , , tnK trascendentes sobre F tal que
1.- grtr(K:F)=n.
2.- K:F(t1 , , tn) es una extensin finita.
3.- K es algebraicamente cerrado sobre F.)

As, para un dominio entero k-afn A=k[a1 , , an] y para ciertos elementos a1 ,..., an k , el
campo de cocientes F=qf(A) es un campo de funciones sobre un cierto campo base k.
Sea k un campo y k[x1 , , xn] el anillo de polinomios en n indeterminadas con
coeficientes en k. Si gk[x1 , , xn] es un polinomio irreducible y se considera el dominio
entero k[x1 , , xn] /<g>, entonces el campo de funciones es el campo de cocientes del
dominio entero k[x1 , , xn]/<g> que se escribe k(g), es decir,
k(g)=qf (k[x1 , , xn] /<g>).
Si :k[x1 , , xn]k[x1 , , xn]/<g>; h

h es la proyeccin cannica donde (xi)= xi ,

entonces k(g)=k( x1 , , xn ) o k(g)=k((x1) , , (xn)) es el campo de cocientes de

k(g)=k[ x1 , , xn ].

4 LA TEORA DE ARTIN-LANG.

Se empieza esta seccin estableciendo algunos conceptos y resultados necesarios de

la teora de formas cuadrticas que sern utilizados aqu. Se recuerda que una forma
cuadrtica de grado n sobre un campo F es un polinomio homogneo de grado 2 en las
n

indeterminadas x1 , , xn con coeficientes en F, es decir, f (x1 , , xn)= ai j xi x j con

i =1 j =1

aijF, o ms simtricamente como f (x1 , , xn)= bi j xi x j donde bij=(1/2)(aij+aji). Dada

i =1 j =1

una forma cuadrtica f de grado n sobre un campo F o ms brevemente una F-forma f de

grado n, se puede asociar a f una matriz simtrica escrita como Mf (=(bij)) con entradas en
F. Si X es una matriz columna; en notacin matricial la F-forma f puede escribirse como
f (X) = X t M f X , donde Xt es la transpuesta de la matriz X. Dos F-formas f y g de grado n
son equivalentes (escrito fg) si existe una matriz invertible A nn con entradas en F tal
que g(AX)=f(X); esta relacin es de equivalencia. Se observa que f es equivalente a g si y
slo si Mf =AtMgA; esto se sigue de

Tambin se dice que F no tiene extensiones algebraicas propias.

25

g(AX)=(AX)tMg(AX)=Xt(AtMgA)X=XtMf X=f (X).

Una F-forma f de grado n es istropa si existe un elemento (x1 , , xn) en F n no cero tal que
f (x1 , , xn)=0.) En otro caso se dice que f es anistropa sobre F.
Sea V un espacio vectorial de dimensin finita sobre un campo F. Una funcin
B:VVF es bilineal si satisface
i) B(x1+x2, y)=B(x1, y)+B(x2, y) y B(x, y1+y2)=B(x, y1)+B(x, y2) para cada x, x1, x2,
y, y1, y2V.
ii) B(ax, y)=B(x, ay)=aB(x, y) para toda aF, x, yV.
Si adems
iii) B(x, y)=B(y, x) para toda x, yV.
se dice que B es una forma bilineal simtrica sobre V.
Toda forma bilineal simtrica B de grado n sobre un espacio vectorial V satisface la
igualdad
B(x+y, x+y)=B(x, x)+B(y, y)+2B(x, y)
para cada x, yV. Si F es un campo de caracterstica distinta de 2, se tiene
B(x, y)=(1/2)[B(x+y, x+y)-B(x, x)-B(y, y)]
para toda x, yV. Esta igualdad se denomina identidad polar.
Sea V un espacio vectorial de dimensin finita sobre un campo F. Una funcin
q:VF es una funcin cuadrtica si
i) q(ax)=a2q(x) para cada aF y xV.
ii) la funcin de VV a F, (x, y) q(x+y)-q(x)-q(y) es bilineal.
Se observa que si la caracterstica del campo F es distinta de 2, toda funcin
cuadrtica q:VF define una forma bilineal simtrica B:VxVF dada como
B(x, y)=(1/2)[q(x+y)-q(x)-q(y)].
Dado que B(x, x)=(1/2)[q(2x)-2q(x)]=(1/2)[4q(x)-2q(x)]=q(x), toda funcin bilineal
simtrica B:VxVF define una funcin cuadrtica q:VF; q(x)=B(x , x). As, para un
campo de caracterstica distinta de 2, toda forma bilineal simtrica B sobre un espacio
vectorial de dimensin finita define en forma nica una funcin cuadrtica q:VF y
recprocamente, toda funcin cuadrtica define una forma bilineal simtrica de manera
nica. Un espacio cuadrtico es un espacio vectorial V de dimensin finita sobre un
campo F de caracterstica distinta de 2, junto con una funcin cuadrtica q:VF. Este
)

A tal vector (x1,, xn)Fn se le denomina vector istropo.

26

espacio cuadrtico es denotado como (V , q) o (V , B), donde B es la forma bilineal

correspondiente a la funcin cuadrtica q. Dada una base {e1,,en} en un espacio
cuadrtico (V , B), si B(ei , ej)=bij con bijF son las entradas de la matriz de B relativa a la
base {e1,, en}, entonces
n

i =1

j =1

q ( x) = B ( xi ei , x j e j ) = bij xi x j
i =1 j =1

Se observa que la matriz (bij) define una forma cuadrtica f (x1 , , xn)= bij xi x j
i =1 j =1

Sea (V , B) un espacio cuadrtico sobre un campo F y x, y elementos en V. Se dice

que x es ortogonal a y si B(x , y)=0. El conjunto U={yV | B(x , y)=0 para toda xU}
donde U es un subespacio vectorial de V, se denomina complemente ortogonal de U. U
es un subespacio vectorial de V. El complemento ortogonal de V, V, se denomina radical
de V y se escribe V=rad(V). Un espacio cuadrtico (V , B) es regular si el vector cero en
V es el nico vector ortogonal a todo vector en V, es decir, si rad(V)={0}.
Se observa que si V se puede escribir como V=rad(V)U, donde (U , BU) es un
subespacio cuadrtico con BU la restriccin de B a U, entonces el subespacio U es regular
ya que si xU satisface que BU(x, u)=0 para todo uU, se sigue que todo elemento yV se
puede escribir como y=u+v con vrad(V) y uU. As, se tiene que
B(x, y)=B(x, v+u)=B(x , v)+B(x , u)=B(x , v)+BU(x , u)=0,
luego entonces xrad(V)U={0}.
PROPOSICIN 4.1. Todo espacio cuadrtico (V , B) admite una base ortogonal.)
DEMOSTRACIN
Por la observacin anterior ser suficiente probar la proposicin en el caso en que V
es regular ya que una base ortogonal para U se puede completar con una base de rad(V). La
demostracin se har por induccin sobre la dimensin del espacio V.
Si dim(V)=0, se sigue el resultado. Supngase que la proposicin es cierta para todo
espacio regular de dimensin n y sea dim(V)=n+1. Si vV es tal que B(v , v)0 ), entonces
V=<v><v>. Aplicando la hiptesis inductiva a <v>, se tiene una base para este
subespacio que completada con v proporciona una base ortogonal para V. Si w<v> y
adems B(w , w)=0 para todo w<v>, entonces para cada vV, B(w , v)=0, y as, w=0.
De esta forma <v> es regular y <v><v>=0 lo que significa que <v><v>=V.

Se observa que para un espacio cuadrtico (V , B), la proposicin anterior asegura

que se puede construir una base ortogonal que incluya a un vector no istropo de V.
Sea f una forma cuadrtica de grado n sobre un campo F y a1F \{0} un elemento
que satisface f (x1 , , xn)=a1 con x1 , , xnF, entonces para cada espacio cuadrtico (V , B)
sobre el campo F correspondiente a la clase de equivalencia [f ] de f, existe un vector vV
)
)

Una base es ortogonal si sus elementos son ortogonales por parejas.

Tal vector existe por la regularidad y por la identidad polar.

27

con B(v , v)=a1. Por la observacin anterior, existe una base ortogonal {v1 , , vn} de V con
v=v1 que define la forma fB con matriz asociada (B(vi , vj))ij y ffB. De esta forma, f es
equivalente a una forma cuadrtica cuya matriz diagonal es
a1

Mf =

an
0

a2

an 1

donde a2=B(v2 , v2) , , an=B(vn , vn). En este caso se escribe f<a1 , , an>. Se dice que
<a1 , , an> es la representacin diagonal de la forma f. Como polinomio, la representacin
diagonal <a1 , , an> se escribe como a1x12+ +anxn2.
Sean (V1 , B1) y (V2 , B2) espacios cuadrticos de dimensiones n y m
respectivamente sobre un campo F. Se define el espacio cuadrtico suma ortogonal de los
espacios (V1 , B1) y (V2 , B2) escrito V1V2 como el espacio (V , B) que satisface
V=V1V2 y B:VVF, B((x1 , x2), (y1 , y2))=B1(x1 , y1)+B2(x2 , y2). B as definida es
bilineal y BV1V1=B1, BV2V2=B2.
Se dice que dos espacios cuadrticos (V1 , B1), (V2 , B2) sobre un campo F son
isomtricos, escrito V1V2 si existe un isomorfismo lineal :V1V2 tal que
B2 (( x), ( y )) = B1 ( x, y ) para cada x, yV. La isometra de espacios cuadrticos es una
relacin de equivalencia.
Sean f y g formas de grado n sobre un campo F, (F n, Bf ), (F n, Bg ) espacios
cuadrticos, donde F n es el espacio vectorial sobre F de las n-adas de elementos de F y
Bf :FnFnF, Bf (ei , ej)=bij,
Bg :FnFnF, Bg(ei , ej)=bij.
donde Mf =(bij), Mg=(bij) y {e1 , , en} la base cannica de Fn. Si las formas f y g son
equivalentes, entonces los espacios cuadrticos (F n, Bf ) y (F n, Bg ) son isomtricos. En
efecto, como f y g son equivalentes existe una matriz invertible A tal que g(AX)=f (X). Sea
:F nF n, (X)=AX, entonces
Bg((X) , (Y))=Bg(AX , AY)=(AY)tMg(AX)=Yt(AtMgA)X=YtMfX=Bf (X , Y).
Si f y g son dos formas de grados n y m respectivamente sobre un campo F, f g
denota la forma sobre F correspondiente a la clase de isometra del espacio suma ortogonal
de (Fn, Bf ) y (Fm, Bg ).
PROPOSICIN 4.2. Sea (V , B) un espacio cuadrtico sobre un campo F y U un
subespacio regular de V, entonces V=UU.

28

DEMOSTRACIN
Como UU={0}, es decir, UU=rad(U) bastar probar que U+U=V. Sea
{v1,, vn} una base ortogonal de U. Como U es un subespacio regular, B(vi , vi)0. De esta
forma, para cualquier xV, si se escribe y=x-(B(x , vi)/B(vi , vi))vi, se tiene que B(y , vj)=0
para j=1 , , k. Entonces B(y , u)=0 para todo uU y U+U=V.

Como una consecuencia de la proposicin anterior se tiene el

COROLARIO 4.3. Sea (V , B) un espacio cuadrtico sobre un campo F y U un subespacio
regular de V. Si V=UW, entonces W=U.
DEMOSTRACIN
De 4.2., se sigue que V=UU, es decir, V=UU,
dim(V)=dim(U)+dim(U). Como V=UW, se tiene que WU, luego W=U.

entonces

La forma cuadrtica <1,-1> que bajo isometra corresponde al polinomio

f ( x, y ) = x 2 y 2 , es claramente istropa sobre cualquier campo F. El espacio cuadrtico
correspondiente a esta forma se denomina plano hiperblico sobre F y es denotado por H.
Un espacio hiperblico es un espacio cuadrtico que es suma ortogonal de planos
hiperblicos.
Sean f y g F-formas de grados m y n respectivamente y supngase que
f < a1 ,..., am > y g<b1 , , bn>. Se define el producto tensorial de f y g como la mnforma diagonal
f g=< a1b1 , , a1bn, a2b1 , , a2bn , , amb1 , , ambn >
Se observa que el producto tensorial de F-formas es asociativo, conmutativo y distributivo
respecto a la suma ortogonal de formas diagonales. Tambin posee un elemento identidad
que es la forma <1>.
Sean (V1 , B1), (V2 , B2) dos espacios cuadrticos de dimensiones m y n
respectivamente. El espacio cuadrtico (V , B), donde V=V1V2 y B:VVF es la nica
forma bilineal simtrica que satisface
B(x1y1 , x2y2)=B1(x1 , y1)B2(x2 , y2)
y se denomina producto tensorial de los espacios V1 y V2.
Ahora, considrese una extensin de campos K:F; se ver a continuacin que toda
F-forma cuadrtica f es una K-forma, pero en general se tendr que las propiedades de f
como una F-forma sern distintas a las propiedades de f como una K-forma.) Por ejemplo
las propiedades de anisotropa e isotropa no se preservan.

Por ejemplo la -forma f(x , y)=x2-2y2 es anisotrpica ya que

2 ; pero vista como una ( 2 )-forma es istropa.

29

LEMA 4.4. Sea K:F una extensin de campos, (V , B) un F-espacio cuadrtico y

(VK , BK ) el espacio donde VK=KFV se considera con su estructura de K-espacio
vectorial y BK:VKVKK se define como BK(au , bv)=abB(u , v), a, bK, u, vV.
Entonces (VK , BK ) es un K-espacio cuadrtico. Tambin, si f es una F-forma cuadrtica
en (V , B), f ser una K-forma cuadrtica en (VK , BK).
DEMOSTRACIN
Claramente BK es una forma bilineal simtrica sobre K. Por otro lado, si {v1 , , vn}
es una base de V sobre F ortogonal relativa a B y a(bv)=abv es la accin de K sobre VK,
entonces {1v1 , , 1vn} es una base ortogonal sobre K de VK. De esta forma, la matriz
(BK(1vi , 1vj))ij relativa a BK es precisamente la matriz que define a la forma f como una
K-forma.

Sea K:F una extensin finita de campos, (es decir, K es una F-lgebra de
dimensin finita), xK un elemento arbitrario y Tx:KK; Tx()=x para cada K una
transformacin del espacio vectorial K. Se define la traza de la transformacin Tx escrita
trK:F(Tx) como la traza de la matriz asociada a Tx en cualquier base de K. Sea K:F una
trK:F(Tx) se denomina funcin
extensin finita de campos; la funcin TK:F:KF, x
traza de K. Si K:F es una extensin finita separable, entonces TK:F(x)=1(x)+ +n(x)
para cada xK, donde 1(x),,n(x) son los F-homomorfismos de K en su cerradura
algebraica K .
PROPOSICIN 4.5. Sea K:F una extensin de campos y 1,,n n monomorfismos
diferentes de K en F. Si a11(x)+ +ann(x)=0 para todo elemento xK y aiF, entonces
a1= =an=0.
DEMOSTRACIN (se hace por induccin sobre n).
Si n=1, a11(x)=0 para toda xK, en particular a11(1)=0, luego a1=0. Supngase
que n>1 y que la proposicin es valida para n-1 monomorfismos y tambin que
a11(x)+ +ann(x)=0 con todas las ai0. Luego existe cK tal que 1(c)n(c). De
se
tiene
que
a11(cx)+ +ann(cx)=0,
esto
es,
a11(x)+ +ann(x)=0
1
a11(c)1(x)+ +ann(c)n(x)=0. Multiplicando esta ltima expresin por n( c ) y
restndole la expresin (a11(x)+ +ann(x))=0 se obtiene

a1[(n(c-1)1(c)-1]1(x)+

+an[(n(c-1)n(c)-1]n(x)=0.

Se observa que el n-simo trmino de la suma se anula y por la hiptesis de induccin se

obtiene que i(c)n( c 1 )=1 para cada i=1 , , n; en particular 1(c)n( c 1 )=1, luego
1(c)=n(c) lo cual contradice la eleccin de c. Por lo tanto, ai=0 para toda i=1 , , n.
COROLARIO 4.6. Si K:F es una extensin finita separable de campos. Entonces la
funcin traza TK:F:KF es F-lineal no nula.

30

DEMOSTRACIN
Sean 1,,n los F-homomorfismos inyectivos de K en su cerradura algebraica K ,
entonces TK:F(x)=1(x)+ +n(x). Por 4.5., TK:F(x)0, xK con x0.
Sea K:F una extensin finita de campos; la funcin traza puede utilizarse para
definir una forma bilineal simtrica sobre F.
T:KKF, (x , y) TK:F(xy)

T se denomina forma traza asociada a K.

COROLARIO 4.7. Sea K:F una extensin finita separable de campos, T:KKF la
forma traza asociada a K, entonces (K , T) es un espacio cuadrtico regular sobre F.
DEMOSTRACIN
Por 4.6., existe un elemento x0K tal que TK:F(x0)0. Sea yK un elemento tal que
T(x , y)=0, para cada xK, si y0, 0=T(x0/y, y)=TK:F(x0)0 lo cual es una contradiccin.

Sea f=<a1,, an> una forma cuadrtica diagonal de grado n sobre un campo real F y
T un orden en F. Se define la signatura de f escrito sigT(f ) como sigT(f )=+--, donde +
es el nmero de aiT y - es el nmero de ai-T. Antes de enunciar y probar el primer
resultado importante en esta seccin se darn algunos conceptos y resultados que son
necesarios.
Sea A un anillo I y J ideales de A; se dice que I y J son comaximales si I+J=A. Si
I1 , , In son ideales en A, la familia {I1 , , In} es comaximal si Ii, Ij, ij son comaximales,
i, j=1 , , n. Si I1 , , In, P son ideales de un anillo A con P ideal primo, se observa que la
afirmacin IiP para algn ndice i{1,2 , , n} es equivalente a

P y tambin

i =1

equivalente a

I
i =1

P. La demostracin de las equivalencias anteriores es directa. Por

n

ejemplo para probar que

I
i =1

P Ii P, se supone que para cada i{1,2 , , n}, se

cumple que IiP. Entonces, para toda i, existe aiIi \P; pero entonces a1

an I i \ P ya
i =1

que P es primo. Esto ltimo contradice la tercera equivalencia. Si I1 , , In son ideales en A,

entonces I1 InI1 In
LEMA 4.8. Sea {I1 , , In} una familia comaximal de ideales en un anillo A. Entonces los
ideales J:=I1 In-1 e In son comaximales.
DEMOSTRACIN
Supngase que J e In no son ideales comaximales en A; entonces existe un ideal

31

maximal m de A que satisface J+InmA, luego Inm y Jm. Como m es un ideal primo
y Ii m, existe j0{1,2 , , n-1} tal que I j0 m, entonces I j0 +InmA. Esto ltimo es
una contradiccin ya que I j0 e In son comaximales. Por lo tanto no existe ideal maximal m
en A que contenga a I j0 +In. As, I j0 +In=A.
PROPOSICIN 4.9. Sea A un anillo e {I1 , , In} una familia comaximal de ideales de A.
Entonces I1I2 In=I1I2 In.
DEMOSTRACIN
Se probar por induccin sobre n. Para n=2, se tiene que I1I2I1I2. Como I1 e I2
son comaximales, I1+I2=A. As, I1I2=(I1I2)A=(I1I2)(I1+I2)=(I1I2)I1+(I1I2)I2. Pero
(I1I2)I1I1I2 e (I1I2)I2I1I2. De esto se sigue que I1I2I1I2. Supngase que n3 y que el
resultado es valido para n-1, es decir, I1I2 In-1=I1I2 In-1. Por el lema 4.8., se tiene
que I1I2 In-1 e In son comaximales y por el caso n=2, se sigue que

(I1I2

Luego
I1I2
Por lo tanto I1

In-1)In=(I1I2

In=(I1I2

In=I1

In-1)In.

In-1)In=(I1I2

In-1)In=I1I2

I n.

In.

Se observa de 4.8. y 4.9., que si {I1 , , In} es una familia comaximal de ideales de
A, entonces Ii+ Ij =A con ij, i=1 , , n.
A continuacin se enuncia el teorema chino del residuo.
TEOREMA 4.10. Sea A un anillo e {I1 , , In} una familia comaximal de ideales en A. Si
x1 , , xnA, entonces existe xA tal que xxi mod(Ii), i=1 , , n.
DEMOSTRACIN
Se probar por induccin sobre n. Si n=2, como I1+I2=A, existen elementos a1I1,
a2I2 tal que a1+a2=1. Dado que a1=1-a2I1 y a2=1-a1I2, se sigue que a11 mod(I2),
a21mod(I1) y a1x2x2 mod(I2), a2x1x1 mod(I1). Haciendo x=a1x2+a2x1, se tiene el resultado.
Sea i3 y supngase que el teorema es valido para n-1 ideales comaximales dos a
dos. Dado que {I1 , , In} es una familia comaximal, por la observacin a 4.8. y por 4.9., se
tiene que Ii+ Ij=A con ij, i=1 , , n. Entonces existen elementos ziIi y yiIj con ij,
i=1 , , n tal que yi+zi=1, i=1 , , n. Haciendo x=x1y1+ +xnyn, se sigue que xxiyimod(Ii),
i=1 , , n. De yi+zi=1, i=1 , , n se obtiene zi=1-yiIi, yi1 mod(Ii) y xiyiximod(Ii),
i=1 , , n. As, xxi mod(Ii) para i=1 , , n.

Como una consecuencia del teorema chino del residuo se tiene el siguiente

32

COROLARIO 4.11. Sea A un anillo e {I1 , , In} una familia comaximal de ideales en A

Entonces A/(I1I2 In)(A/I1) (A/In).)

A
(A/Ii)
DEMOSTRACIN

Sea

:A(A/I1)

(A/In); a

(a+I1,, a+In).

A / (Ii)
Claramente es un homomorfismo de anillos cuyo ncleo es
Ii=Ii. Por el teorema chino del residuo se sigue que es suprayectivo y por el primer
teorema del isomorfismo se obtiene el resultado.
OBSERVACIN 4.12. Sea F un campo y F[t] el anillo de
polinomios en la indeterminada t con coeficientes en F. Entonces.
F[t] /<t->F

F[t]

DEMOSTRACIN
Sea :F[t] F; f (t)

f () con F. es un

F[t] /<t->

homomorfismo suprayectivo. Como F[t] es un D.I.P., su

ncleo es un ideal principal, es decir, Ker()=< f >. Sea g(t)=t-, como g()=0, se tiene que
<g>< f >. Por el algoritmo de la divisin, existen polinomios q, rF[t] tal que f=qg+r con
r=0 o grad(r)< grad(g). Como grad(g)=1, se sigue que r=0, es decir, f=qg y < f ><t->.
As, la funcin :F[t] /<t->F, h+<t-> h() es un F-isomorfismo.
OBSERVACIN 4.13. Sea F un campo cerrado real, F =F( -1 ) y F[t] el anillo de
polinomios en la indeterminada t con coeficientes en F. Entonces F[t] /<t2+at+b> F , donde
el discriminante a2-4b es negativo.
DEMOSTRACIN
Como g(t)=t2+at+b es un polinomio irreducible en el anillo F[t], se tiene que

t2+at+b=(t-1)(t-2) en F [t] con 1=(-a+ a 2 4b ) /2 y 2=(-a- a 2 4b )/2. Dado que para

todo campo cerrado real, todo elemento es un cuadrado o el negativo de un cuadrado (ver
corolario 3.4.), se sigue que a 2 4b tiene sentido en F con a2-4b-T, T el orden en F.
Sea :F[t] F; f(t)
f(1). es un homomorfismo suprayectivo cuyo ncleo es un ideal
principal Ker()=<f>. Como g(1)=0, se tiene que <g>< f >. Por el algoritmo de la
divisin, existen polinomios q, rF[t] tal que f=qg+r con r=0 o grad(r)< grad(g). As,
grad(r)=0 o grad(r)=1. Si grad(r)=1, entonces r(1)=0 y 1F.
A continuacin se prueba una caracterizacin de separabilidad va el producto
tensorial.
)

Esto tambin se puede escribir como: la sucesin 0 I1I2 InA(A/I1) (A/In)0 es exacta.

33

LEMA 4.14. Sea K:F una extensin de campos y fF[t] un polinomio de grado 1.
Entonces KF(F[x] /<f>)K[x] /<f> como K-lgebras.
DEMOSTRACIN
Sea :K[x] KF(F[x] /<f>); aixi

ai(xi+<f>). es un homomorfismo

suprayectivo de K-lgebras que mapea f (x) a cero. Como ambas lgebras KF y F[x] /<f>
son de la misma dimensin, igual al grado de f, se sigue que KF(F[x] /<f>)K[x] /<f>.
TEOREMA 4.15. Sea F un campo real, T un orden de F y F su cerradura real. Si fF[t] es
un polinomio separable no constante y K=F[t] /<f>, entonces el nmero de races distintas
de f en F es la signatura de la forma traza en K con respecto al orden T.
DEMOSTRACIN
Sea fF[t] un polinomio y considrese K=F[t] /<f>; K es una F-lgebra de
dimensin grad(f ). Sea T un orden en F y F su cerradura real, es decir, F es un cerrado
real que contiene a F y cuyo nico orden T induce el orden T sobre el campo F. Como K
es un espacio vectorial de dimensin finita sobre el campo F y la funcin Tf :KKF,
T f ( x, y ) = TK:F ( x y ) es la forma traza, entonces por 4.7., (K , Tf ) es un espacio cuadrtico

regular sobre F. Por 4.4., del espacio cuadrtico (K , Tf ) se puede construir un espacio
cuadrtico ( F FK , (Tf )F), donde la conexin que existe entre las formas Tf y (Tf )F es (Tf
)F(au)=a2Tf (u). Tambin por 4.7., se observa que si {u1 , , un} es una base de K,
entonces la matriz simtrica asociada con la forma Tf en la base anterior, es la misma que la
matriz simtrica asociada con la forma (Tf )F en la base {1u1 , , 1un} en F FK. As, la
forma traza (Tf )F asociada a la F-lgebra F FK es precisamente la forma traza Tf asociada
a la F-lgebra K=F[x] /<f>, considerada sobre F . Se afirma que la signatura de la forma
traza Tf es el nmero de races del polinomo f en F , donde f es un polinomio separable no
constante. En efecto, como sig(Tf )=sig(Tf )F, la signatura de Tf se calcular sobre F . Por la
proposicin 4.9., f puede factorizarse en polinomios irreducibles lineales y cuadrticos, es
decir, f=g1g2 grh1h2 hs donde grad(gi)=1, grad(hj)=2, i=1,,r; j=1,,s. Todos los
factores son diferentes ya que f tiene todas sus raices simples; por el lema 4.14.
F FK F [t]/<f>, como F -lgebras. Por el corolario del teorema chino del residuo y por las
observaciones 4.12. y 4.13., se tiene que F FK F F F F ( F r-vece) y ( F
s-veces) donde F es la cerradura algebraica de F . Se observa que la forma traza (Tf )F
asociada a la F-lgebra F FK, restringida a cada factor de la forma F es la F -forma <1> y
restringida a cada factor de la forma F tiene por matriz en la base {1 , i} la matriz
2 0 )
0 2

Tf : F F F , Tf ((x1 , x2) , (y1 , y2))= TF:F ((x1 , x2)(y1 , y2))=Id+ Id , donde Id e Id son los automorfismos identidad y conjugado.
Asi en la base {1 , i} se tiene

34

Luego F como espacio cuadrtico es un plano hiperblico sobre F . Se observa tambin

que los subespacios son mutuamente ortogonales respecto a la forma traza (Tf)F de F FK,
es decir, los diferentes factores tienen producto igual a cero. As, con respecto al nico
orden en F , la signatura de la forma traza de F FK es igual a r, es decir, sigT(Tf)F =r.
Como una primera consecuencia del teorema 4.15., se tiene el
COROLARIO 4.16. Sea K:F una extensin finita de campos con K=F(). Entonces un
orden T sobre F se extiende a K si y slo si el F-polinomio mnimo f de tiene una raz en
toda cerradura real de F con respecto al orden T.
DEMOSTRACIN ()
Si T se extiende a K, se considera una cerradura real K con orden nico T de F
con su orden T, tal que K K , luego f tiene una raz en K , y como el nmero de races en
una cerradura real es independiente de la cerradura elegida, se sigue que f tendr una raz
en cualquier otra cerradura real de F con respecto al orden T.

()
Si el polinomio f tiene una raz en una cerradura real K con orden nico T en F;
F con su orden T, entonces F() es F-isomorfo a F(), luego el orden inducido por el nico
orden T de K sobre F() proporciona un orden sobre F()=K va el isomorfismo.
Para la demostracin del primer resultado importante se necesita un lema ms.
LEMA 4.17. Sea F un campo real y f una F-forma cuadrtica. Entonces la funcin
signatura sig( f ):XF ; sig( f )(T)=sigT( f ) con XF el espectro real de F, es continua si
est dotado con la topologa discreta.
DEMOSTRACIN
Sea f una F-forma cuadrtica de grado n y <a1 , , an> su representacin diagonal.
Dado que sig<a1 , , an>=sig<a1>+ +sig<an> y suma de funciones continuas es una
funcin continua, ser suficiente considerar la forma f=<a>. Se observa que

si n/{-1 , 1}.

sig<a>-1(1)={TXF | sig<a>=1}={TXF | aT}=H(a),

sig<a>-1(-1)={TXF | sig<a>=-1}={TXF | -aT}=H(-a) y
sig<a>-1(n)={TXF | sig<a>=n}=

Tf ((1 , 0) , (1 , 0))= TF:F (1)=Id(1)+ Id (1)=1+1=2

Tf ((1 , 0) , (0 , 1))= TF:F (i)=Id(i)+ Id (i)=1+(-1)=0
Tf ((0 , 1) , (1 , 0))= TF:F (i)=Id(i)+ Id (i)=1+(-1)=0
Tf ((0 , 1) , (0 , 1))= TF:F (-1)=Id(-1)+ Id (-1)=-1+(-1)=-2.

35

TEOREMA 4.18. Sea K:F una extensin finita de campos reales, XK, XF los espectros
TF=T la funcin definida por
reales de K y F respectivamente. Sea K:F:XK XF; T

la restriccin de ordenes de K a F. Entonces Im(K:F) es un abierto en XF.

DEMOSTRACIN
Como K es un campo real, car(K)=0. Por el corolario 2.30., K es una extensin
simple. Sea f el polinomio mnimo de ; por la proposicin 4.16., se tiene que un orden
TXF se extiende a K si y slo si f tiene una raz en una cerradura real F de F con
respecto al orden T. Por el teorema 4.15., el nmero de races de f en F es la signatura de
la forma traza Tf. As, el orden T se extiende a K si y slo si sigT(Tf )>0. Se sigue que la

imagen de K:F es el soporte de la forma traza Tf, el cual por 4.17., es un conjunto abierto y
cerrado en XF.
PROPOSICIN 4.19. Sea K:F una extensin finita de campos reales, T un orden de F, T
con T F=T un orden en K y :F L un homomorfismo inyectivo (encaje) de F en un
campo cerrado real L que preserva el orden.) Entonces existe una extensin de a K
que preserva el orden.
DEMOSTRACIN
Como K es un campo real, car(K)=0. Por el corolario 2.30., K es una extensin
simple, K=F() con K. Sea f el F-polinomio mnimo de y considrese una cerradura
real K de K. Por la afirmacin al teorema 4.15., como f tiene una raz en K , entonces el
polinomio f(x), (con f el F-polinomio mnimo f de ) que se obtiene aplicando a los
coeficientes de f tendr una raz en L, donde identifica a F como un subcampo de L.
Entonces como K:F es una extensin finita, K es algebraico sobre F y :FL es un
homomorfismo inyectivo, entonces puede extenderse a F()=K si el polinomio f(x)
tiene una raz en L, es decir, existe una extensin de a K. Supngase a continuacin
que ninguna extensin de a K preserva el orden. Sean 1,, n las posibles extensiones
de a K, entonces existen 1,, nK tal que iT, pero i(i)L2 donde L2 es el nico
orden de L (ver 3.5.). Por el corolario 3.7., se puede extender el orden T a
K( 1 ,..., n ). Sea una extensin de j a K( 1 ,..., n ), entonces se tiene que

j(j)=(j)=(( j )2)=(( j ))2, luego j(j)L2, que contradice la eleccin de j.

PROPOSICIN 4.20. Sea F un campo real, F una cerradura real de F y L un campo
cerrado real. Si :FL es un homomorfismo inyectivo que preserva el orden, entonces
se extiende en forma nica a F .
DEMOSTRACIN
Por la proposicin 4.19., y por el lema de Zorn, puede extenderse a F . Para la
)

Se dice que un homomorfismo inyectivo (o un isomorfismo) :F1F2 de campos reales F1 y F2 preserva el orden si a<T b si y slo si
(a)<S (b) con T en F1, S en F2 rdenes.

36

unicidad sean 1 y 2 extensiones de a F . Tomando F y considerando a 1,2 , , r

con 1<2< <r todas las races del F-polinomio mnimo f de que estn en F ,
entonces por la afirmacin al teorema 4.15., 1(1),, 1(r) con 1(1)< <1(r) y
2(1) , , 2(r) con 2(1)< <2(r) son todas las races de f. Luego 1(i)=2(i),
i=1 , , r y 1()=2(). Por lo tanto 1=2.
Como una consecuencia del resultado anterior se prueba la unicidad de cerraduras
reales.
COROLARIO 4.21. Sea F un campo real y F1 , F2 cerraduras reales de F con respecto a
un orden T en F, entonces existe un F-isomorfismo : F1 F2 que preserva el orden.
DEMOSTRACIN
Sean i:F F1 y j:F F2 los homomorfismos inyectivos cannicos. Por la
proposicin 4.20., se tiene una extensin de i; : F2 F1 y una extensin de j; : F1 F2 .
Entonces por la unicidad en 4.20., o: F1 F1 es la identidad sobre F1 y o: F2 F2
es la identidad sobre F2 . De esto se obtiene que y son isomorfismos inversos sobre F
que preservan el orden.

Este corolario junto con la proposicin 3.10., aseguran que para cada campo real,
siempre existe una cerradura real que es nica salvo isomorfismos.
Se recuerda (ver [1], pag 12) que si K es un campo, un subanillo A de K es un anillo
de valoracin si para cada elemento xK \ A, se tiene que x-1A. Esto significa que K es el
campo de cocientes de A, es decir, K=qf (A). Tambin, de los lemas 2.25. y 2.26. de la
primera parte, (ver [1]) se obtiene que si A es un anillo de valoracin en un campo K y si m
es el conjunto de no-unidades en A, entonces m es el nico ideal maximal de A. El campo
K'=A/m se denomina campo residual de A.
Sea K:k una extensin de campos reales, donde k es un campo cerrado real y T un
orden de K. Se definen los conjuntos
A(k , T):={xK | x T <T a para algn ak}.
m(k , T):={xK | x T <T b para toda b k positiva}.)
A continuacin se prueba que A(k , T ) es un anillo de valoracin y m(k , T ) es su
ideal maximal
OBSERVACIN 4.22. Sea K:k una extensin de campos reales, k un campo cerrado real
y T un orden en K. Entonces el conjunto A(k , T) es un anillo de valoracin local real,
)

El valor absoluto de x con respecto al orden T se define como en el caso del campo , es decir,
x si xT
xT=
-x si xT

37

m(k , T) su ideal maximal y la imagen de TA(k , T) en el campo residual K de A(k , T) es

un orden en K.
DEMOSTRACIN
Primero se prueba que A(k , T) es un subanillo de K. 1) Es claro que 1KA(k , T)
pues 1K T <T a , para alguna ak. 2) y 3) Si x, yA(k , T), entonces x T < T a1 y
y T < T a2 para algunos elementos a1, a2k, luego x + y T T x T + y T <T a1 + a2 = a para

algn elemento ak y xy T =T x T y T < T a1a2 = a para alguna ak. As, x+yA(k, T) y

xyA(k, T). 4) Como - x T =T x T para toda xA(k , T), entonces -xA(k , T). De esta
forma, A(k , T) es un subanillo de K, esto es, A(k , T) es un dominio entero. Por otro lado,
1) Como 0m(k , T) ya que 0 T < T a , para toda ak positiva, se sigue que m(k , T).
2) Sean x, ym(k , T), entonces x T <T a1 , y y T < T a2 , para todas a1 y a2k; as,
x+ym(k , T). 3) Si, xm(k , T) y yK, entonces x T <T a1 , para toda ak positiva y
xy T = T x T y T <T a y T para toda ak positiva; luego xy T < T a para cada ak positiva.

De esta forma xym(k , T); as, m(k , T) es un ideal de A(k , T).

A continuacin se probar que A(k , T) es un anillo de valoracin. En efecto, sea
xK\{0} un elemento tal que xA(k , T), entonces i) en el caso x>0, x>a para toda ak, se
tiene que x-1<b para cada bk positiva, luego x-1m(k , T)A(k , T). ii) Si x<0, -a<x para
toda ak, entonces -x>0 y -x>a para cada ak positiva, luego -x-1<b para toda bk
positiva. As, A(k , T) es un anillo de valoracin de K, y por el lema 2.26. de la primera
parte, (ver [1]) A(k , T) es un anillo local y m(k , T) su ideal maximal. Finalmente, para ver
que A(k , T) es un anillo local real se considera el homomorfismo natural
:A(k , T)K; x

x+m(k , T).

donde K=A(k , T)/m(k , T) es el campo residual de A(k , T). Sea T={(x) | xTA(k, T)};
T es un orden en K. En efecto, 1) y 2). Sean x , y T con x =(x), y =(y), entonces
x + y =(x)+(y)=(x+y) y x y =(x)(y)=(xy). Como x, yTA(k , T), se sigue que
x+y, xyTA(k , T) y (x+y), (xy)T. 3) Si - 1 T, entonces - 1 = x12 +

+ xn 2 , con

xiA(F , T), i=1 , , n. Luego x12+ +xn2+1m(k , T), entonces x12+ +xn2+1T<Ta para
toda ak positiva, lo cual es un absurdo ya que x12+ +xn2+1T. 4) Considrese x K,
con x =(x) donde xTA(k , T), entonces x2TA(k , T) porque tanto x como x2 estn en
A(k, T); luego (x2)=(x)2T y x2T. 5) Si x T-T, se tiene que x T o x -T, es
decir, xTA(k , T) o x-TA(k , T). En ambas situaciones, xA(k , T) y x K. Ahora,
sea xK, entonces xA(k , T), x =(x). De esta forma xTA(k , T) o x-TA(k , T),
esto es, x T o x -T.
TEOREMA 4.23. Sea K:k una extensin de campos reales, donde k es un campo cerrado
real y K es un campo de funciones de grado trascendente 1. Si xK es un elemento

38

trascendente sobre el campo base k, entonces existe un orden T en K y un elemento k tal

que (x-)-1A(k , T).
DEMOSTRACIN
Como K es un campo real, existe al menos un orden T0 en K. Sea S0 la restriccin a
k(x) del orden T0; S0=T0k(x). Por el teorema 4.18., existe una vecindad abierta
H( f1 ,..., f n ) de S0 que est contenida en la imagen de XK bajo el mapeo K:k(x), es decir,

H( f1 ,..., f n ) K:k(x)(XK) donde H(f1 , , fn)={S | fi(x)-S, i=1 , , n}. Si fi 0 para cada

i=1 , , n; por 3.8., se tiene que

fi(x)=( x i1 )

( x ir )( x 2 + pi1 x + qi1 )

( x 2 + pis x + qis )

pis 2 4qi1 pi12

]
)+
2
4
4qij pij 2
para 11 , , nr, p11 , , pns, q11 , , qnsk, e i=1 , , n. Como
= d i2j i=1 , , n,
4
j=1 , , s es un cuadrado,
p
p
H(fi )=H(( x i1 ) ( x ir )[(x+ i1 )2+ di21 ] [(x+ is )2+ dis2 ])
2
2
se puede escribir como H(fi )=H(( x i1 ) ( x ir )) ya que la suma de cuadrados est en
el orden.
=( x i1 )

( x ir )[(x+

pi1 2 4qi1 pi12

]
)+
2
4

[(x+

Para cada orden S en k(x), se definen los conjuntos

Xi(S)={ak | fi(a)=0; a<Sx}
={ak | fi(a)=0; x-aS}
Yi(S)={bk | fi(b)=0; x<Sb}
={bk | fi(b)=0; b-xS}
i=1 , , n. Los conjuntos Xi(S) y Yi(S), i=1 , , n determinan el signo de fi con respecto al
orden S, i=1 , , n. Si un orden S en k(x) satisface Xi(S)=Xi(S0) para cada i=1 , , n, se
sigue que fiS0 implica fiS; de esta forma SH(f1 , , fn). En efecto, sea fiS0, con
fi = ( x i1 ) ( x ir ), donde i1 ,, ir son races de fi, i=1 , , n, entonces como
Xi(S)=Xi(S0), se sigue que fi = ( x i1 )

( x ir )S. Dado que SH( f1 , , fn ), S es

imagen de un orden T en K, es decir, (S=Tk(x)) S puede ser extendido a un orden en K.

Sean X(S0)=X1(S0) Xn(S0) y Y(S0)=Y1(S0) Yn(S0). Considrese
=max{a| aX(S0)} y =min{b| bY(S0)}

con respecto al (nico) orden en k. Si X(S0)=, se toma =-, y si Y(S0)= se toma

=+. Dado que <x< en S0, X(S0) y Y(S0), entonces < en el orden de k. Sea

39

k con =(+)/2; luego <<. Sea S un orden en el campo k(x) tal que x - S <S

para todo k positivo. Se afirma que Xi(S)=Xi(S0), i=1 , , n, donde como antes
Xi(S)={ak | fi(a)=0; x-aS}
Xi(S0)={ak | fi(a)=0; x-aS0}.
Supngase que x-aS y x-aS0, entonces aYi(S) y S a. Que el elemento x-aS,
significa que (x-)+(-a)S lo que equivale a (x-)S(a-)S-(+) /2=S(-) / 2>S0 lo cual
es una contradiccin; as, Xi(S)Xi(S0). En forma simtrica, si x-aS0 y x-aS, se obtiene
que Xi(S0)Xi(S) para cada i=1 , , n. Como Xi(S)=Xi(S0) para cada i=1 , , n, se sigue que
SH(f1 , , fn), es decir, el orden S puede ser extendido a un orden T en K que satisfaga
x - T <T para todo k positivo, luego x-m. As, se concluye que x-A(k , T).
Como consecuencia del teorema anterior, se tiene el
COROLARIO 4.24. Sea K:k una extensin de campos reales, donde k es un campo
cerrado real y K un campo de funciones de grado trascendente 1. Si xK es un elemento
trascendente sobre k entonces
i) xA(k , T).
ii) F=k, F el campo residual de A(k , T).
DEMOSTRACIN
i) Del teorema 4.23., se sigue que existe un orden T en K y un elemento k tal que
-1
(x-) A(k , T); lo anterior significa que el elemento x- es una no-unidad en A(k , T), es
decir, x-m(k , T), de esta forma se tiene que x - T < T a para todo ak positivo. Como
x T - T T x - T < T a , se sigue que x T < T T + a para todo ak positivo. Por lo tanto

xA(k , T).
ii) Como k es un campo cerrado real, para probar que F=k bastar probar que la
extensin F:k es una extensin algebraica. Supngase que F:k no es una extensin
algebraica. Sea yA(k , T) tal que y F sea trascendente en F sobre k. Como x-m(k , T),
se sigue que x = k. Supngase que x+y=0 en K con , k, entonces x + y =0 en
F y + y =0 en F. Si 0, y =(- / ) es algebraico sobre k lo cual contradice la
eleccin de y ; as, =0 y x =0, luego =0. De esta forma, x y y son algebraicamente
independientes sobre k, esto es, dimkK2 contradiccin! Por lo tanto F=k.
Si A es un anillo de valoracin en un campo K, se tiene un homomorfismo natural
:AL (=A/m), donde m es su ideal maximal. Extendiendo la funcin a todo K se
obtiene la funcin
A:KL{}

40

x+m si xA
A(x)=

si xK \ A.

donde es un elemento adicional que no est en L y satisface

1) Si L\{0}, entonces ===.
2) Si L, entonces +=+=.
3) 1/=0.
4) +, 0, 0/0 y / no estn definidas.

L{}

A
Adems, A-1(L)=A es un subanillo de K con A:AL un homomorfismo tal que A(x)=
si A(1/ x)=0. As, un lugar de un campo K en un campo L es una funcin f:KL{} tal
que f -1(L)=A es un subanillo de K con f: A L un homomorfismo en A tal que f (x)= si
f (1/ x)=0.
Los elementos de K que no se aplican en se llaman finitos por el lugar y los
restantes se denominan infinitos. Como ya se menciono, el conjunto A={xK | f(x)<}K
de los elementos xK que son finitos por el lugar es un anillo de valoracin de K; su ideal
maximal consta de aquellos elementos xA tal que f (x)=0.
f1
Dos lugares f1:KL1{} y f2:KL2{} son equivalentes
K
L1
si dada una biyeccin :L1{} L2 {}, la funcin
| L1:L1 L2 es un isomorfismo tal que f2 =(| L1)f1. Se
f2
|L1
observa que la equivalencia de lugares es una relacin de
equivalencia y que dos lugares son equivalentes si y slo si
L2
tienen el mismo anillo de valoracin. Para esto ltimo, si
f1:KL1{} y f2:KL2{} son lugares equivalentes con anillos de valoracin A1 y A2
respectivamente, entonces existe un isomorfismo :L1L2. Como L1=A1/m1 y L2=A2/m2,
se sigue que A1/m1A2/m2 y m1m2. Recprocamente, si f1:KL1{} y f2:KL2{}
son dos lugares con anillos de valoracin A1 y A2 respectivamente y si A1=A2, entonces
m1=m2 y A1/m1A2/m2, es decir, L1L2 y f1, f2 son equivalentes. Se tiene tambin que la
composicin de dos lugares es un lugar. Sea K:F una extencin de campos; f es un lugar
de K sobre F si f es un isomorfismo en F. En este caso f(F) se identifica con F. Si f toma sus
valores en f(F), se dice que f es un lugar racional sobre F.
PROPOSICIN 4.25. Existe una correspondencia biyectiva entre la familia de clases de
equivalencia de lugares de un campo K y la familia de anillos de valoracin de K.
DEMOSTRACIN
Sea F:; F([ f ])=Af donde ={[f ] | f:KL{} es un lugar de K en L} y
={AK| A es un anillo de valoracin de K}. Si F([ f1 ])=F([ f2 ]), entonces A f1 = A f2 si y

slo si f1 es equivalente a f2 si y slo si [ f1 ]=[ f2 ]. Por otro lado, si A es un anillo de

valoracin en K, entonces la funcin
A:KL{}

41

x+m si xA
A(x)=

si xK \ A.

con m el ideal maximal de A es obviamente un lugar.

TEOREMA 4.26. ( de Lang de existencia de lugares racionales) Sea K:k una extensin
de campos reales donde k es un campo cerrado real y K un campo de funciones de grado
trascendente d. Sean a1 ,..., an K, entonces existe un k-lugar :Kk{} tal que (ai) es

finito para cada i=1 , , n.

DEMOSTRACIN
Sea d el grado de trascendencia de K:k. Si d=0, la extensin K:k es algebraica
finita. Como K es real y k es cerrado real, se sigue que K=k. Luego id:kk{} es
obviamente un k-lugar sobre k que satisface id(ai)< para cada i=1 , , n.
Para d 1 la demostracin se efecta por induccin. Si d=1, sea xK un elemento
que se puede escribir como una suma finita de cuadrados de los ai, i=1 , , n; esto es,
n

x = ai 2 . El elemento x es algebraico o trascendente sobre k. Supngase primero que x es

i =1

trascendente sobre k y considrese el orden T en K construido en la demostracin del

teorema 4.23.. Sea :K K{} el lugar asociado con el anillo de valoracin A(k , T),
donde KA(k , T)/m(k , T) es el campo residual de A(k , T); (x)< para todo elemento
xA(k , T) y (x)=0 para cada xm(k , T). Por el corolario 4.24., se tiene que :Kk{}
n

ya que K=k y (x)< para cada xA(k , T). Como x = ai 2 A(k , T), con a1 , , anK,
i =1

del lema 3.35. de la primera parte, (ver [1]) se sigue que a1 , , anA(k , T), es decir,
(ai)< para cada i=1 , , n; luego es el lugar. Si x es algebraico sobre k, entonces la
extensin de campos k(x):k es algebraica (ver proposicin 2.6.). Como k(x) es un campo
real, se sigue que k(x)=k; de esta forma, xk. Se puede dar un k-lugar :K k{}
considerando algn elemento trascendente xK. Como kA(k , T), entonces (x)< y por
3.35., (ver [1]) se tiene que (ai)< para cada i=1 , , n. Considrese ahora que d>1. Sea T
un orden de K; por 3.10., existe una cerradura real K de K con respecto al orden T de K.
Sea {t1 , , td} una base trascendente de K:k, LK con L=k(t1 , , td-1) un campo de
funciones de grado trascendente 1 y L la cerradura algebraica de L en K. Como LK,
L K y K, K son campos reales, se sigue que L y L son campos reales. Por otro lado,
que L sea un campo real y no tenga extensiones algebraicas propias reales, significa que L
es un campo cerrado real; as, L es una cerradura real de L en K . Entonces la extensin
K:K L tiene grado de trascendencia 1 y K es un campo de funciones en una variable
sobre el campo K L . Tambin, la extensin K L : L tiene grado de trascendencia 1 y l
campo producto K L es un campo de funciones en una variable sobre el campo L

42

0
KL
0

K
L
d-1
k

De la proposicin 2.26., se sigue que grtr(K L : L )grtr(K:L)=1 y grtr(K L : L )=1 ya que

si fuera cero, se tendra que K L : L sera algebraica lo cual no puede ser posible. Como K
es un campo de funciones de grado trascendente 1 sobre el campo L, K L es tambin un
campo de funciones de grado trascendente 1 sobre L . Que grtr(K L : L )=1 (se satisfacen
las hiptesis del teorema para el caso d=1) significa que existe un L -lugar
:K L L {} tal que (ai)< para cada i=1 , , n. Como L :L es una extensin
algebraica, L no es un campo de funciones sobre L, luego se necesita encontrar un
subcampo de L que sea un campo de funciones, es decir, que satisfaga las hiptesis del
teorema. Sea A el anillo de valoracin asociado al lugar K:KK{}, donde K=A/m
es el campo residual de A. Como K L , K es un campo real; que AK sea un dominio
k-afn y K un campo de funciones (K=qf(k[x1 , , xd])), significa que existen x1 , , xr con
r<d tal que A=k[x1 , , xr] y Kqf(k[x1 , , xr]). Del diagrama se observa que r=d-2, esto es,
grtr(K: k)=d-2 sobre k.
K
K
0
K
K{}
KL
0
1

K
L
1
0
1
k{}
L
K
d-1
d-2
k
Por la hiptesis de induccin, K tiene un k-lugar :Kk{} tal que (K(ai))< para
cada i=1 , , n. Como la composicin de los lugares K y es un lugar, se sigue que
:Kk{}, =o(K) es el lugar requerido.
Si A es un dominio entero k-afn real, esto es, A=k[a1 , , an] para ciertos elementos
a1 , , anA, se sigue del teorema 3.18., (ver [1]) que el campo de cocientes K=qf (A) es un
campo de funciones real. Si k es un campo cerrado real, entonces se satisfacen las hiptesis
del teorema de existencia de lugares es racionales de Lang, es decir, existe un k-lugar
:Kk{} tal que (ai)< para cada i=1 , , n. De esta forma el homomorfismo

43

restringido al dominio A, A:A k es un homomorfismo de k-lgebras. As, se ha

demostrado el teorema del homomorfismo de Lang.
TEOREMA 4.27. Si A es un dominio k-afn real con k un campo cerrado real, entonces
existe un homomorfismo de k-lgebras :A k.

Como una consecuencia del teorema del homomorfismo de Lang se tienen los
siguientes tres corolarios.
COROLARIO 4.28. Sea A un lgebra k-afn semireal con k un campo cerrado real,
entonces existe un homomorfismo de k-lgebras :A k.

DEMOSTRACIN
A
k
Como A es semireal, A tiene un ideal primo real P
(ver teorema 1.2.19.). Entonces A /P es un dominio entero

)
real que es k-afn. Por el teorema del homomorfismo de
Lang, existe un homomorfismo de k-lgebras :A /P k.
A /P
Sea :AA /P el homomorfismo cannico, entonces :Ak;
= o es el homomorfismo buscado.
COROLARIO 4.29. Sea A un dominio k-afn real con k un campo cerrado real y
f1 ,..., f n A\{0}, entonces existe un homomorfismo de k-lgebras :A k tal que ( fi )0

para toda i=1 , , n.

DEMOSTRACIN
Considrese A[ f 1 f ]. Como A es un anillo, A[ f 1 f ] tambin es un anillo
1
n
1
n

(A[ f 1 f ] es la interseccin de todos los anillos que contienen a A y f 1 f ). A[ f 1 f ]

1
n
1
n
1
n
es un dominio entero ya que si p, qA[ f 1 f ] \{0} con
1
n
p=a0+a1( f 1 f )+
1
n

+ar( f 1 f )r y q=b0+b1( f 1 f )+
1
n
1
n

+bs( f 1 f )s,
1
n

entonces el coeficiente ar bs de ( f 1 f )r+s en el producto pq es distinto de cero. De esta

1
n
forma, pq0 y A[ f 1 f ] no tiene divisores de cero. Por otro lado, como A es un dominio
1
n
k-afn, existen elementos a1,,an en el anillo A tal que A=k[a1 , , an]. Dado que
k[ a1 ,..., an ][ f 1 f ]=k[a1 , , an, f 1 f ], se sigue que A[ f 1 f ]=k[a1 , , an, f 1 f ], es
1
n
1
n
1
n
1
n
decir, A[ f 1 f ] es un dominio k-afn. Del ejemplo 3.10. de la primera parte, (ver [1]) se
1
n
tiene que A[ f 1 f ] es un anillo real y por el teorema del homomorfismo de Lang, existe
1
n
)

Si A es afn, de AA/P0, se sigue que A/P es tambin afn, es decir, (A/P )[a1,, an] con (ai)=ai, aiA; i=1,, n.

44

un homomorfismo :A[ f 1 f ] k. Considrese el homomorfismo =A:Ak

1
n
(AA[ f 1 f ]); satisface que (fi)0 para i=1 , , n; si esto no fuera cierto, se tendra
1
n
que
1=(1)=(

f1

f1

fn

)=( f 1 f )
1
n

( f n f )= 0
1
n

lo cual no puede ser posible.

COROLARIO 4.30. Sea A un lgebra k-fn real con k un campo cerrado real y f1,, fn
elementos en A. Si T es un orden en A tal que fi >T0 para cada i=1 , , n, entonces existe un
homomorfismo de k-lgebras :A k tal que (fi )>0 i=1,, n, con respecto al nico orden
de k.
DEMOSTRACIN
Sea C(T)=T-T el centro de T y considrese el dominio entero A =A/C(T). El
orden T induce un orden T ={a+C(T) | aT} que satisface T - T ={ 0 }. Como C(T) es un
ideal primo real, A es un dominio k-afn real; as, T es un orden en A que se puede
extender a un nico orden P ={ (a , b) (a , b)q f ( A ) | ab T } en K (=qf( A )). Ahora, como
fi>T0, i=1 , , n, se tiene que fiC(T), i=1 , , n. Luego fi0; de hecho, fiT \ {0}, i=1 , , n.

Sea K la cerradura real de K con respecto al orden P y considrese

A [ f1 ,..., f n , f 1 f ]; se sabe que A [ f 1 f ] es un dominio entero k-afn real (ver
1

ejemplo 3.10. en [1]) y por lo tanto

[

f1 ,..., f n , f 1 f ]=[ f 1 f ][
1
n
1
n

f1 ,..., f n ]

es un dominio entero k-afn real. Por el teorema del homomorfismo de Lang, existe un
homomorfismo
:[

f1 ,..., f n , f 1 f ] k.
1
n

Considrese el homomorfismo restriccin | A : A k y la funcin proyeccin :A A ,

entonces la funcin :A k definida como =(| A ) es el homomorfismo buscado,
donde ( fi )=(| A )( f i )=| A ( fi )=| A ( f i )| A ( f i ) P k. Luego, (fi )>0 en el
nico orden de k.
Sea k un campo cerrado real y k[x1 , , xn] el anillo de polinomios en n
indeterminadas con coeficientes en k. Dado un polinomio fk[x1 , , xn], f(x)=aIxI se
define la funcin polinomial asociada al polinomio f, como la funcin f:kn k, f(b)=aIbI,

45

donde kn={(a1 , , an)| aik, 1 i n} es el espacio afn. Un polinomio fk[x1 , , xn] es

semidefinido positivo (o la funcin polinomial es no negativa) si f(x1,, xn)0 para toda
(a1 , , an)kn. Tambin se dice que un polinomio fk[x1 , , xn] es indefinido, (o la
funcin polinomial cambia de signo) si existen elementos (a1 , , an), (b1 , , bn)kn tal que
f (a1 , , an)<0<f (b1 , , bn) donde la relacin de orden < est referida al nico orden de k,
es decir, f es indefinido si no es semidefinido positivo ni semidefinido negativo.
A continuacin se prueba el resultado de Artin acerca del problema 17 de Hilbert,
enunciado al final de la segunda parte, como una consecuencia del corolario 4.30..
TEOREMA 4.31. Sea k un campo cerrado real y fk[x1 , , xn] un polinomio semidefinido
positivo, entonces f es una suma finita de cuadrdos en el campo k(x1 , , xn).
DEMOSTRACIN
Supngase que fk(x1,, xn)2. Por el corolario 4.30., existe un homomorfismo de
k-lgebras :k[x1 , , xn] k tal que (-f )>0. Sea (xi)=ai, aik; para cada i=1 , , n,
entonces
f (a1,,an)=f ((x1) , , (xn))
=aI(x)I
=aI(xI)
=(aIxI)
=(aIxI)
=(f (x1 , , xn))<0

Esto ltimo contradice el hecho de que f es semidefinido positivo.

Sea k un campo cerrado real y fk[x1 , , xn] \ {0} un polinomio semidefinido
positivo; por 4.31.,
f=(p1/q1)2+ +(pm/qm)2,
con pi /qik(x1 , , xn), i=1 , , m. Si f1=p1q2 qm , , fm=pmq1 qm-1 y h=q1qm, entonces
h2f=f12+ +fm2. Luego si h tiene grado mnimo, se tiene la siguiente
OBSERVACIN 4.32. Sean f, hk[x1 , , xn] \ {0} con f un polinomio semidefinido
positivo, irreducible y h un polinomio de grado mnimo que satisfacen h2f=f12+ +fm2.
Entonces los polinomios fi no son todos divisibles por f, i=1 , , m.
DEMOSTRACIN
Supngase que existen m polinomios g1 , , gmk[x1 , , xn] con fi=fgi, i=1 , , m.
Dado que h2f=f12+ +fm2, se sigue que h2f=f 2g12+ +f 2gm2; esto es, h2f=f 2(g12+ +gm2) y
h2=f (g12+ +gm2), luego f h2. Dado que f es irreducible, se tiene que f h, esto es, existe

46

h0k[x1 , , xn] tal que h=h0 f; luego h02f 2=f (g12+

contradice la eleccin del grado mnimo de h.

+gm2) y h02f=g12+

+gm2. Esto ltimo

LEMA 4.33. Sea k un campo cerrado real y fk[x1 , , xn] \{0} un polinomio irreducible. Si
<f> es un ideal real, entonces f es indefinido.
DEMOSTRACIN
Supngase que f no es un polinomio indefinido; entonces f es semidefinido positivo
o semidefinido negativo. Si f es semidefinido positivo); por 4.32., existen polinomios
f1 , , fmk[x1 , , xn] tal que no todos son divisibles por f. Entonces si f12 + " + fm2 = 0
en k[x1 , , xn]/<f>, k[x1 , , xn] /<f> no es real porque no todos los fi son cero, lo cual
contradice el hecho de que <f> sea un ideal real.

Sea F un campo ordenado y T un orden en F, se puede definir una topologa en F,

denominada topologa intervalo, denotada F donde la nocin de intervalo en F se
introduce en forma similar que en ; es decir, si a, bF con a<Tb, entonces
(a , b):={xF | a<Tx<Tb}
[a , b):={xF | aTx<Tb}
(a , b]:={xF | a<TxTb}
[a , b]:={xF | aTxTb}
(a , +):={xF | x>Ta}
[a , +):={xF | xTa }
(- , b):={xF | x<Tb}
(- , b]:={xF | xTb} etc.
Si Bx={(a , b) | a<Tx<Tb}; una base para esta topologa viene dada por la familia
x={Bx | xF}. Algunos de los resultados de con su topologa usual que tambin se
cumplen en el espacio (F , F) y que sern de utilidad aqu son los siguientes.
PROPOSICIN 4.34. Sea F un campo ordenado y T un orden de F. Entonces el espacio
(F , F) es Hausdrff.
DEMOSTRACIN
Sean x, y dos elementos en F y supngase que x<T y. Si existe un punto z en F tal
que x<T z<T y, entonces los bsicos U={wF | w<T z} y V={wF | w>T z} tambin
satisfacen que UV= y xU, yV. As, F con la topologa intervalo es un espacio
topolgico de Hausdrff.
LEMA 4.35. Sea F un campo ordenado y F(t) el campo de funciones racionales. Entonces
F(t)\ F es denso con respecto a la topologa intervalo en F(t).

Si f es semidefinido negativo, se elige -f que es semidefinido positivo.

47

DEMOSTRACIN
Considrese un intervalo abierto (f , f )T en la topologa intervalo de F(t), con
respecto a un orden T en F(t), donde f<T f , f, f F. Por demostrar que (f , f )T(F(t)\F).
Si (f +f )/2F(t)\F la demostracin termina. Si (f+f )/2F, es decir, si (f +f )/2=c0, entonces
por una traslacin se puede suponer que c0=0. Considrese intervalos abiertos de la forma
(-g, g)T con gT. Si gF(t)\F, entonces bastar tomar h=g/2, h(-g, g)T(F(t)\F) y
(-g , g)T(F(t)\F). Si gF, se puede suponer sin perdida de generalidad que tT. De
esta forma g -1+tT y g -1<T g -1+t. Luego 0<T(g -1+t)-1<Tg, esto es, g -1+t(-g , g)T y se puede
tomar h= (g -1+t) -1F.

Para terminar esta seccin se demuestra el teorema del encaje de Lang.

TEOREMA 4.36. Sea K:k una extensin de campos reales con k un campo cerrado real y
K un campo de funciones de grado trascendente d. Sea F un campo cerrado real de grado
trascendente d que contiene a k, entonces existe un k-encaje :KF.
DEMOSTRACIN
Sea {x1 , , xd} una base trascendente de K sobre k. Escribiendo K=k(x1 , , xd, ),
donde K es un elemento algebraico sobre F :=k(x1 , , xd), entonces existe un polinomio
irreducible f (z)F [z] nico salvo un factor constante en F tal que f ()=0 y es de grado
mnimo mayor o igual que 1 en F[z], esto es, f(z) es el polinomio minimal de sobre F;
as, K = qf (k[ x1 ,..., xn , z ] / < f >) . Como K es un campo real, por el lema 4.33., f es un

polinomio indefinido sobre k, entonces existen puntos (a1 , , ad, b1), (a1 , , ad, b2)kd+1
tal que f (a1 , , ad, b1)<0<f (a1 , , ad, b2). Sea t1F un elemento trascendente sobre k y
considrese a k(t1) con orden T1=Tk(t1) (la restriccin de T a k(t1)). Como k(t1)\ k es denso
en k(t1) con respecto a la topologa intervalo de T1 (vase lema 4.35.) y por la continuidad
de f sobre k(t1) con respecto a la topologa intervalo de T1, se sigue que existe y1k(t1)\ k tal
que
f (y1, a2 , , ad, b1)< 0 <f (y1, a2 , , ad, b2).
Sea ahora L1 la cerradura algebraica de k(y1) en F y sea t2F un elemento trascendente
sobre L1. Considrese a L1(t2) con orden T2=T1L1(t2) la restriccin de T1 a L1(t2). Como
L1(t2) \ L1 es denso en L1(t2) (con la topologa intervalo de T2) y por la continuidad de f
sobre L1(t2) con respecto a la topologa intervalo de T2, se sigue que existe y2L1(t2) \ L1 tal
que
f (y1, y2, a3 , , ad, b1)<0<f (y1, y2, a3 , , ad, b2).
Continuando con este proceso se puede construir y=(y1, y2 , , yd)Fd (como grtr(F)d, la
construccin est garantizada hasta llegar a yd ) tal que
f (y1, y2 , , yd, b1)<0<f (y1, y2 , , yd, b2) (*)

48

con y1, y2 , , yd algebraicamente independientes sobre el campo base k. Como F es un

campo cerrado real, de (*) se sigue que f (y1, y2 , , yd, )=0 para algn F. As, se tiene
un k-isomorfismo :K F; x

yi y

5 EL TEOREMA DE LOS CEROS DE HILBERT REAL.

Si k es un campo, el espacio afn kn es el conjunto kn={(a1 , , an) | aik, 1in} de

todas las n-adas de elementos de k. Sean f1 , , fs polinomios en el anillo k[x1 , , xn]; como
se recordar, el conjunto en el espacio afn kn; (f1 , , fs)={(a1 , , an)kn | fi (a1 , , an)=0;
i=1,2 , , s} es la variedad afn definida por los polinomios f1 , , fs. Si V1 y V2 en kn son
variedades afines, entonces la unin V1V2 e interseccin V1V2 tambin son variedades
afines.
Sea I un ideal en k[x1 , , xn], se define la variedad afn del ideal I escrito (I )
como el subconjunto en kn, (I )={(a1 , , an)kn | f (a1 , , an)=0 para cada fI }. Un
subconjunto X en kn es un conjunto algebraico si X=(I ) para algn ideal I en el anillo
k[x1 , , xn]. Claramente (0)=kn y (k[x1 , , xn])=.
OBSERVACIN 5.1. Sean I y J ideales en el anillo k[x1 , , xn], entonces
i) Si IJ, (J )(I ).
ii) (IJ )=(I )(J ).
iii) (IJ )=(I )(J ).
iv) (I )=(I ) con .
DEMOSTRACIN.
i) Sea p(J ), entonces f (p)=0 para cada fJ, luego f (p)=0 para toda fI. As,
p(I ). ii) Sea p(IJ ), entonces f (p)g(p)=0 para cada fI y gJ. Si f (p)=0 para toda
fI, se sigue que p(I ). Si f (p)0 para alguna fI, se tendr que g(p)=0 para cada gJ y
p(J). En cualesquiera de las dos situaciones, se tiene que p(I)(J).
Recprocamente, dado que IJI e IJJ, se sigue que (I )(IJ ) y (J )(IJ ). Luego
(I )(J )(IJ ). iii) Sea p(I )(J ), entonces p(I ) o p(J ). Esto significa
que f (p)=0 para cada fI o f (p)=0 para todo fJ; luego f (p)=0 para todo fIJ. As,
p(IJ) y (I)(J)(IJ). Recprocamente, dado que IJIJ, se tiene que
(IJ)(IJ )=(I )(J ). iv) Si p(I ), entonces p(I) para toda ya que
II para cada ; luego p(I ). Ahora, considrese p(I ) con y sea h
un polinomio en I, entonces existen polinomios fI tal que h=f . Como p(I )
con , se sigue que f(p)=0. Como h es arbitraria, se tiene que p(I ).

De lo anterior, se obtiene que los subconjuntos algebraicos de kn, constituyen los

conjuntos cerrados de una topologa en kn denominada topologa de Zariski.

49

Sea X un subconjunto en el espacio afn kn; se define el ideal de X, escrito (X)

como el conjunto (X)={fk[x1 , , xn] | f(a1 , , an)=0, para cada (a1 , , an)X}.
Claramente (X) es un ideal en el anillo de polinomios k[x1 , , xn].
OBSERVACIN 5.2. Sean X, Y subconjuntos de kn e I un ideal en k[x1 , , xn]
i) Si XY, entonces (Y)(X)
ii) X((X))

iii) X=((X)) X es un conjunto algebraico

iv) I((I ))
DEMOSTRACIN.
i) Sea f(Y), entonces f (p)=0 para todo pY. Como XY, se sigue que f (p)=0
para cada pX; luego f(X). ii) Sea pX, entonces f (p)=0 para cada f(X), esto
significa que p((X)). iii) Si X=((X)), como (X) es un ideal en k[x1 , , xn], se
sigue directamente que X es un conjunto algebraico en kn. Recprocamente, si X=(I ) es
un conjunto algebraico, entonces (X) es un ideal en k[x1 , , xn] que contiene a I, luego

((X))(I )=X. iv) Si fI, entonces f (p)=0 para cada p(I ), es decir, f((I )).
Se observa que la igualdad en la observacin 5.2. iv) (I((I ))) no se cumple en
general. En efecto, considrese el ideal I=<x2 , y2>[x , y]. Claramente se observa que

<x2 , y2>((<x2 , y2>)) (ver 5.2iii)). Primero se ver quien es el ideal ((<x2 , y2>)).
Para x2=0 y y2=0, se tiene que (<x2 , y2>)={(0 , 0)} es la variedad que consiste del origen
de coordenadas en 2. El ideal ({(0 , 0)}) consiste de todos los polinomios que se anulan
en el origen de 2. Se afirma que ((<x2 , y2>))=<x , y>. En efecto, si f<x , y> y h1, h2
estn en el anillo [x , y], entonces f (x , y)=h1(x , y)x+h2(x , y)y. Obviamente f (x , y) se
anula en (0 , 0); entonces se tiene f(x , y)((<x2 , y2>)). Si f(x , y)({(0 , 0)}), luego
f ( x, y ) = aij xi y j se anula en el origen de 2. Esto significa que a00=f(0 , 0)=0 y se sigue
ij

que

f (x, y)=a00+ aij x i y j = 0 + (

i, j 0

ax

i > 0, j

ij

i 1

y j )x + (

axy
i

i, j >0

ij

j 1

)y<x, y>;

entonces se obtiene ((<x2 , y2>))=<x , y>. Adems se tiene <x2 , y2><x , y> ya que
p<x2 , y2> pues en todo polinomio de la forma f(x , y)=h1(x , y)x+h2(x , y)y, cada monomio
tiene al menos grado igual a dos. Mas adelante, cuando se enuncie el teorema fuerte de los
ceros de Hilbert, quedar claro que la igualdad se da si el ideal I es un ideal radical. Si en
3.4.2.i), X y Y son conjuntos algebraicos, se tiene
PROPOSICIN 5.3. Si X y Y son conjuntos algebraicos en kn. Entonces XY, si y slo si
(Y)(X).

50

DEMOSTRACIN ()
Ver 5.2.i).

()
Por la observacin 5.2.ii), se tiene que X=((X)) y Y=((Y)). Si p((X)),
se sigue que f (p)=0 para cada f(X). Como (Y)(X), se tiene que f(Y); luego
X=((X))((Y))=Y.
Un conjunto algebraico X en kn es irreducible si siempre que X=X1X2, con X1,
X2 subconjuntos algebraicos propios de X en kn, entonces X1=X o X2=X; es decir, no existe
una descomposicin de X como una unin de dos subconjuntos algebraicos propios.
OBSERVACIN 5.4. Sea X en kn un conjunto algebraico, entonces las siguientes
afirmaciones son equivalentes.
i) X es irreducible
ii) Cualesquier dos conjuntos abiertos U1, U2 no vacos en X satisfacen que
U1U2
iii) Todo subconjunto abierto no vaco U en X es denso en X
DEMOSTRACIN
i) ii) Dado que X=(X \ U1)(X \ U2) si y slo si U1U2=, el resultado se sigue.
ii) iii) Ya que un subconjunto de un espacio topolgico es denso si y slo si l intersecta
a todo abierto en el espacio, se sigue que UU para todo abierto U en X. iii) i) Se
sigue directamente de la definicin de densidad.
OBSERVACIN 5.5. Sea X en kn un conjunto algebraico e (X) el ideal de X. Entonces
X es irreducible si y slo si (X) es primo.
DEMOSTRACIN ()
Sea fg(X), si X1=X(f ) y X2=X(g); X1 y X2 son variedades afines ya que
la interseccin de variedades afines es una variedad afn. Dado que fg(X), se sigue que
X=X1X2. Como X es irreducible, se tiene que X=X1 o X=X2. Si X=X(f ), se sigue que
f (x)=0 para cada xX; luego f(X) e (X) es un ideal primo.

()
Sea X=X1X2 y supngase que XX1. Como X2X, se sigue que (X)(X2).
Ahora, dado que X1X, se tiene que (X)(X1). Tomando f(X1)\(X) y g(X2),
entonces f g(X). Como (X) es un ideal primo y f(X) se sigue que g(X); luego
(X2)(X). As, (X)=(X2) y X=X2. Por lo tanto X es irreducible.
Sea K:k una extensin de campos e I un ideal en k[x1 , , xn]; se denota por
IK[x1 , , xn] el ideal generado por I en el anillo K[x1 , , xn]. En el caso en que el ideal I es
primo, se tiene la siguiente

51

OBSERVACIN 5.6. Sea k :k una extensin de campos con k (=k( -1 )) la cerradura

algebraica de k. Si P es un ideal primo real en k[x1 , , xn], entonces P k [x1 , , xn] es un
ideal primo en k [x1 , , xn] y (P k [x1 , , xn]) es un conjunto algebraico irreducible sobre
k.
DEMOSTRACIN
Primero se probar que P k [x1 , , xn] es un ideal primo. Sean f, g k [x1 , , xn];

f=f1+ -1 f2 y g=g1+ -1 g2 con f1, f2, g1 y g2k[x1 , , xn] tal que fg Pk [x1 , , xn]. Como
(f1g1-f2g2)+ -1 (f1g2+f2g1) Pk [x1 , , xn], donde (f1g1-f2g2)P, y (f1g2+f2g1)P; se tiene
que g1(f1g1-f2g2)+g2(f1g2+f2g1)P y g1(f1g2+f2g1)-g2(f1g1-f2g2)P; luego f1(g12+g22)P y
f2(g12+g22)P. Supngase que f Pk [x1 , , xn], entonces f1P o f2P. En cualesquiera de
las dos situaciones, g12+g22P. Como P es un ideal real, se sigue que g1, g2P y
gP k [x1 , , xn]. Similarmente, si se supone que gP k [x1 , , xn], se obtiene que
fP k [x1 , , xn]. Por lo tanto P k [x1 , , xn] es un ideal primo en k [x1 , , xn]. La segunda
parte se sigue de 5.5..
Antes de pasar a establecer los teoremas (clsicos) de los ceros de Hilbert, se darn
algunos resultados necesarios para su demostracin.
PROPOSICIN 5.7. Sean A y B anillos con AB. Si B es finitamente generado como un
A-mdulo y x es un elemento en B, entonces x satisface que a0+a1x+ +an-1xn-1+xn=0 con
aiA, i=1, 2 , , n-1.
DEMOSTRACIN
Como B es finitamente generado como un A-mdulo, existen elementos b1 , , bn
en B tal que B=b1A+ +bnA. Para cada i=1 , , n; bixB, luego existen elementos aijA,
n

i, j=1, 2 , , n tal que bi x = aij b j . Esto puede escribirse como

j =1

(
i =1 j =1

ij

x aij )b j = 0 ,

donde ij es igual a 1 si i=j y cero si ij; i, j=1, 2 , , n (es decir, ij son las entradas de la
matriz identidad ). Sea la matriz con entradas ij=ijx-aij; la matriz columna con
entradas bi y Adj() o Adj la matriz adjunta de . Dado que =0 y Adj=det(), se
sigue que det()=0 para cada i=1,2 , , n. Como 1B es una combinacin lineal de los bi,
i=1 , , n, se tiene que det=det1=0. As, se sigue que det(ijx-aij)=0.
LEMA 5.8. Si A es un subanillo de un campo K y K es finitamente generado como un
A-mdulo, entonces A es un campo.
DEMOSTRACIN
Para cada aA con a0, el inverso a -1K existe. Por la proposicin 5.7., a -1
satisface a0+a1a -1+ +an-1a -(n-1)+a-n=0 con aiA, i=1, 2,, n. Multiplicando esta igualdad
por an-1, se tiene que a0an-1+a1an-2+ +an-1+a -1=0, luego a -1=-(a0an-1+a1an-2+ +an-1)A.
Por lo tanto A es un campo.

52

PROPOSICIN 5.9. Sea k un campo infinito y A=k[a1 , , an] una k-lgebra afn. Si A es
un campo, entonces A:k es una extensin algebraica.
DEMOSTRACIN
Supngase que y1 , , ym son algebraicamente independientes y sea B=k[y1 , , ym].
Entonces A es finitamente generado como un B-mdulo. Como A es un campo, del lema
5.8., se sigue que B es un campo; luego m=0 y A es una k-lgebra afn, es decir, A:k es una
extensin finita y por lo tanto algebraica.
PROPOSICIN 5.10. Sea k un campo algebraicamente cerrado y A=k[x1 , , xn] una
lgebra k-afn. Entonces un ideal m en A es maximal si y slo si existen elementos
a1 ,..., an k tal que m=<x1-a1 , , xn-an>.
DEMOSTRACIN ()
Sea m un ideal maximal de la k-lgebra afn A, f :k A el homomorfismo de
inclusin y :AA/m el homomorfismo natural. Entonces el homomorfismo composicin
:k A/m es un homomorfismo de campos) ya que A es una k-lgebra afn, A /m es un
campo, y es finitamente generado como k-lgebra; sus generadores son las imgenes de los
xi, i=1, 2 , , n. Por la proposicin 5.9., A/m es una extensin algebraica sobre k. Como k es
algebraicamente cerrado, A/m=k; luego es un isomorfismo. Ahora, para cada i = 1, 2,..., n ,
xiA le corresponde un elemento biA/m. Tomando ai= -1(bi), se tiene que
xi-aiKer()=m. De esto se sigue que existen elementos a1 ,..., an k tal que
< x1 - a1 ,..., xn - an > m .

()
Considrese el epimorfismo : k[x1 , , xn] k; f

f (a1 , , an) para elementos

a1 , , an en k. Como Ker()=<x1-a1 , , xn-an>; por el primer teorema del isomorfismo, se

sigue que
k[x1 , , xn] /<x1-a1 , , xn-an>k,
luego m=<x1-a1 , , xn-an> es maximal.
Se observa que si k no fuera algebraicamente cerrado, esta condicin suficiente sera
falsa. Por ejemplo el ideal <1+x2> en [x] es tal que el maximal no corresponde a un punto
en . Tambin, si fk[x] es un polinomio no constante que no tiene races en k, entonces el
ideal propio generado por f, I=<f>k[x] satisface que (I )={pk | f(p)=0}=. Por ejemplo,
los polinomios 1, 1+x2, 1+x2+x4, 1+x2+x4+x6 etc en el anillo [x] no tienen races reales y
las variedades (<1>), (<1+x2>), (<1+x2+x4>) etc, son conjuntos vacos. Los
polinomios 1+x2+y2, 1+x2+y4, 1+x2+y6 etc, en el anillo [x , y] dan ideales diferentes los
cuales corresponden a conjuntos algebraicos que son vacos. Si el campo k es
)

es inyectivo

53

algebraicamente cerrado, todo polinomio no constante en k[x] tiene una raz en k. En este
caso, (< f>)= si y slo si < f>=<1>. En el caso general, la cerradura algebraica de k, k
es suficiente para garantizar que el nico ideal I en k[x1 , , xn] que satisface (I )= es el
ideal I=k[x1 , , xn], es decir,
TEOREMA 5.11. (dbil de los ceros de Hilbert). Sea k un campo algebraicamente
cerrado. Si I es un ideal propio del anillo k[x1 , , xn], entonces (I ).
DEMOSTRACIN
Si I es un ideal propio de k[x1 , , xn], por el corolario 2.17., (ver [1]) existe un ideal
maximal m de k[x1 , , xn] tal que Im. Por la proposicin anterior, m=<x1-a1 , , xn-an>
con a1 , , ank. Dado que Im, se tiene que f(a1 , , an)=0 para cada fI, luego
(a1 , , an)(I ) y (I ).

En el caso particular en que k=, el teorema dbil de los ceros de Hilbert puede
pensarse como la generalizacin del teorema fundamental del lgebra al caso de
polinomios en [x1 , , xn], es decir, todo sistema de polinomios en [x1 , , xn], que
generan un ideal propio de [x1 , , xn] tienen al menos un cero comn en n.
TEOREMA 5.12. (de los ceros de Hilbert). Sea k un campo algebraicamente cerrado y f,
f1 , , fs polinomios en k[x1 , , xn] que satisfacen f((f1 , , fs)), entonces existe r tal
que f r<f1 , , fs>.
DEMOSTRACIN
s

Se tendr que probar que existen r y g1 , , gsk[x1 , , xn] tal que f r = gi fi

i =1

con f un polinomio que se anula en todos los ceros comunes de f1,, fs. Considrese el
ideal I =< f1 ,..., f s ,1- yf > k[ x1 ,..., xn , y ] generado por f1,, fs y el polinomio 1-yf, donde
y es la nueva indeterminada. El conjunto algebraico (I ) consiste de los elementos
p( f1 ,..., f s ) tal que f(p)=0, es decir, un punto q(I ) es una (n+1)-ada,
q=( a1 ,..., an , an +1 ) con g(a1,,an)=0 para toda g<f1,,fs>, esto es, (a1,,an)(f1 , , fs)

y f (a1,, an)=1 an+1, es decir, g(a1 , , an, an+1)0 y an+1=f -1(a1,, an). Se afirma que
(I )=; en efecto, sea (a1 , , an, an+1)kn+1, entonces existen dos posibilidades: o
(a1 , , an) es un cero comn de f1 , , fs o (a1 , , an) no lo es. Si (a1,, an) es un cero
comn de f1 , , fs, se tiene que f(a1 , , an)=0 (ya que f se anula en todo cero comn de
<f1 , , fs >. Entonces la funcin polinomial asociada al polinomio 1-yf, evaluada en el
punto (a1 , , an, an+1)kn+1 con an+1 arbitraria, toma el valor 1-an+1f (a1,,an)=10. Luego
( a1 ,..., an , an +1 )(I ). Si (a1 , , an) no es un cero comn de f1 , , fs, entonces para un
ndice j0{1,, s}, se tiene que f j0 (a1 , , an)0. Considerando a f j0 como un polinomio
en n+1 indeterminadas y a su funcin polinomial asociada como una funcin que no

54

depende explcitamente de la ltima variable, se tiene que f j0 (a1 , , an, an+1)0. En esta
situacin, se sigue que (a1 , , an, an+1)(I ). Como (a1 , , an, an+1)kn+1 es arbitrario, se
tiene que (I )= lo cual prueba la afirmacin. Ahora, por el teorema dbil de los ceros de
Hilbert, se tiene que 1I, es decir, existe una expresin
s

1= pi ( x1,, xn , y)fi+q(x1,, xn , y)(1-yf )

i =1

para algunos polinomios p1,, ps,qk[x1 , , xn , y]. Haciendo y=

1
f ( x1 , ..., xn )

, la expresin

anterior implica
1=pi(x , , xn ,

1
f ( x1 ,..., xn )

)fi.
s

Multiplicando esto por f r )con r, esto conduce a f r= gi f i para algunos polinomios

g1 , , gsk[x1 , , xn].

i =1

TEOREMA 5.13. (fuerte de los ceros de Hilbert). Sea k un campo algebraicamente

cerrado e I un ideal en el anillo k[x1 , , xn], entonces ((I ))=rad(I ).
DEMOSTRACIN ()
Supngase que f((I )), entonces f se anula en todo elemento de (I ). Por el
teorema de los ceros de Hilbert, existe r tal que f rI; luego frad(I ). Como f es
arbitrario, ((I ))rad(I ).

()
Que frad(I ), significa que f mI para algn nmero natural m. Luego f m se anula
en (I ), lo cual significa que f se anula en (I ). As, f((I )) y rad(I )((I )).
Se observa que los teoremas de Hilbert son falsos si el campo k no es
algebraicamente cerrado. El teorema dbil de los ceros de Hilbert asegura que si un ideal J
de k[x1 , , xn] es propio, entonces existen ceros en el espacio afn kn, esto es, existen
variedades no triviales. Como una consecuencia del teorema fuerte, se tiene que si I es un
ideal radical en k[x1 , , xn], entonces ((I ))=I. Lo que resta del captulo se dedica a
desarrollar los conceptos y resultados necesarios para establecer los teoremas de los ceros
de Hilbert en el caso real y algunas consecuencias de estos.
Una variedad afn en kn o simplemente una variedad se define como un conjunto
algebraico irreducible X en kn y se denota con la letra V en vez de X. Sea V en kn una
variedad; de 3.4.5., se tiene que (V) es un ideal primo, luego A=k[x1 , , xn] /(V) es un
dominio entero denominado anillo de coordenadas de la variedad V.)
)
)

r se escoge de tal forma que sea la mayor potencia de y tal que y r aparezca en q y pi para toda i=1,, s.
De hecho k[x1,, xn]/(V) es una lgebra k-afn.

55

Sea I un ideal de polinomios en el anillo k[x1 , , xn] e I k [x1 , , xn] el ideal

generado por I en k [x1 , , xn] con k la cerradura algebraica de k. Sea V(I k [x1 , , xn]) el
conjunto algebraico definido por el ideal I k [x1 , , xn] sobre la cerradura algebraica k ;
Vk(I )=V(I k [x1 , , xn])kn el conjunto de puntos reales o k-puntos en V(I k [x1 , , xn])
y la k-lgebra afn A=k[x1 , , xn] /I el anillo de coordenadas de Vk(I ). Si P es un ideal

primo real en k[x1 , , xn], entonces por la observacin 5.6., P k [x1 , , xn] es un ideal primo
en k [x1 , , xn] y Vk(P) es una variedad afn irreducible. A los conjuntos de la forma Vk(P)
se les denomina variedades algebraicas reales. El siguiente resultado es la versin al caso
real del teorema dbil de los ceros de Hilbert.
TEOREMA 5.14. (dbil de los ceros de Hilbert real). Sea k un campo cerrado real, I un
ideal en k[x1 , , xn] y A=k[x1 , , xn] / I el anillo de coordenadas de Vk(I ). Entonces A es
semireal si y slo si Vk(I ).
DEMOSTRACIN ()
Si A es un anillo semireal, por el primer corolario al teorema del homomorfismo de
Lang, (corolario 4.28.), existe un homomorfismo de k - lgebras :A k. Sea

:k[x1 , , xn] k; (f (x1 , , xn))=f (a1 , , an)

el homomorfismo cannico con (a1 , , an)kn. Si fI, entonces
(f (x1 , , xn))=(o)( f (x1 , , xn))=0.
Pero (f (x1 , , xn))=((f (x1 , , xn)))=( f ( x1 ,..., xn ) )=f (a1 , , an)=0. Por lo tanto,
(a1 , , an)Vk(I ) y Vk(I ).
()
Sea a=(a1 , , an)kn un k-punto y considrese el homomorfismo de evaluacin
:Ak; ( xi )=ai, i=1,, n en a=(a1 , , an). Como k es semireal, de la observacin 1.1.8.,
se sigue que A es semireal.
El teorema dbil de los ceros de Hilbert real es
un criterio que da informacin acerca de cuando una
lgebra afn es semireal. A continuacin se enuncia el
teorema de los ceros de Hilbert para el caso de ideales
primos

k[x1,, xn]

k[x1,, xn] /I
TEOREMA 5.15. (de los ceros de Hilbert real). Sea k un campo cerrado real y P un ideal
primo en el anillo k[x1 , , xn]. Entonces (Vk(P))=P si y slo si P es real.

56

DEMOSTRACIN ()
Supngase que P no es un ideal real, entonces existe f12+ +fm2P con al menos un
fiP; por ejemplo f1P. Como (Vk(P))=P, se tiene que f12+ +fm2(Vk(P)); esto es,
f12(x)+ +fm2(x)=0k para todo xVk(P). Dado que k es un campo real, se sigue que
fi(x)=0 para todo i=1, 2 , , m. Entonces fi(Vk(P)) para i=1, 2 , , m. Luego P(Vk(P))
lo cual es una contradiccin.

()
De 5.2 vi), se tiene que P(Vk(P)); restar probar que (Vk(P))P. Supngase
que fP y considrese la k-lgebra afn A=k[x1 , , xn] /P. Como A es un dominio entero
real, se tiene que f 0 . Por el segundo corolario del teorema del homomorfismo de Lang
(corolario 4.29.), existe un homomorfismo de k-lgebras :A k; tal que ( f )0. Sea
( xi )=ai, i=1 , , n, entonces a=(a1 , , an)kn con (a1 , , an)Vk(P); dado que fP, se
tiene que f(a1 , , an)0. As, f(Vk(P)) e (Vk(P))P.
El objetivo a continuacin es dar la versin del teorema fuerte de los ceros de
Hilbert al caso real. Pareciera ser que este resultado puede establecerse directamente como
en el caso de los teoremas 5.14. y 5.15., pero la situacin no es tan sencilla como parece. El
problema aqu es que el radical de un ideal no es en general un ideal real o la interseccin
de todos los ideales primos reales que contienen a ese ideal; por ejemplo, considrese el
anillo de polinomios en las indeterminadas x e y con coeficientes en los reales, [x, y]. Se
sabe que <x2+y2> es un ideal primo semireal que no es real (si x2+y2=0 se sigue que x0 y
y0) y que <x, y> es un ideal real ([x, y] /<x , y>). Como rad(<x2+y2>)=<x2+y2><x, y>
y <x, y> es el menor ideal primo real que contiene al ideal <x2+y2>, entonces rad(<x2+y2>)
no es la interseccin de todos los ideales primos reales que contienen a <x2+y2>. Lo que si
se cumple es que todo ideal real I de un anillo A es radical; esto es, si I es un ideal real,
n

n +1

entonces rad(I )=I. En efecto, si a n I , n>1, entonces a 2 I si n es par y a 2 I si n es

impar. En ambos casos el exponente ha decrecido y por iteracin de este proceso, se
obtiene que aI. De esta forma, para establecer el teorema fuerte de los ceros de Hilbert en
el caso real, se necesita introducir el concepto de radical en el contexto de ideales reales.
Sea I un ideal de un anillo A y arad(I ), entonces existe un nmero natural m tal
que a I. Si I es un ideal real, entonces rad(I )=I, luego se tendr que existen elementos
b1,, bn en I tal que a2m+b12+ +bn2I. Teniendo como modelo la definicin de radical de
un preorden (ver 3.28. de la segunda parte [2]), se define
m

DEFINICIN 5.16. Sea I un ideal en un anillo A. El radical real de I, escrito r-rad(I ) es

el conjunto
r-rad(I )={aA | existe m0 y A2 tal que a2m+I }.

57

Se sigue de la definicin de radical real de un ideal I que Ir-rad(I ) y que r-rad(I )

es un ideal.
OBSERVACIN 5.17. Si I es un ideal real en un anillo A, entonces r-rad(I )=I. En este
caso se dice que I es un ideal radical real.
DEMOSTRACIN
Como Ir-rad(I ), restar verificar que r-rad(I )I. Sea ar-rad(I ), entonces existe
m0 y A2 tal que a2m+I. Dado que I es real, se sigue que amI luego aI. Por lo
tanto r-rad(I )I.

Si I es un ideal en un anillo A, se sabe que el radical de I es la interseccin de todos

los ideales primos que contienen a I. En el caso del radical real se tiene un resultado
similar, es decir,
TEOREMA 5.18. Sea I un ideal en un anillo A, entonces r-rad(I )=P, con P ideal primo
real que contiene a I. El radical real es el ideal real ms pequeo que contiene a I.
DEMOSTRACIN
Sea J un ideal real que contiene al ideal I en A. Entonces r-rad(I )r-rad(J )=J,)
luego r-rad(I )J para todo ideal J real en A con IJ. Por lo tanto r-rad(I )J, con IJ;
en particular r-rad(I )P, P ideal primo real que contiene a I. Para establecer la otra
contencin se tendr que probar que si ar-rad(I ), entonces existe un ideal primo real P
que contiene a I tal que aP. En efecto, supngase que ar-rad(I ); para este elemento a se
construye el conjunto S={a2m+ | m{0}, A2}. S es un sistema multiplicativo en
A) que satisface S+A2S. Dado que ar-rad(I ) e Ir-rad(I ), se sigue que aI, luego

IS=. Por el lema 2.18. de la primera parte, (ver [1]) existe un ideal maximal mI tal
que Sm=. As, el ideal I se ha extendido a un ideal primo m ajeno de S. Por el teorema
2.19. de la primera parte, (ver [1]) el campo qf (A/m) es real; sea :A/m qf(A/m);
( a )= (a , 1) . Dado que es un homomorfismo inyectivo, por 3.17. de la primera parte,
(ver [1]) se sigue que A /m es real, luego m es un ideal primo real ajeno de S. De esta
forma am y existe un ideal primo real PI tal que aP. As, Pr-rad(I ) con IP.
Finalmente, como interseccin de ideales reales es un ideal real, se sigue que el radical real
es un ideal real.
TEOREMA 5.19. (fuerte de los ceros de Hilbert real). Sea k un campo cerrado real e I un
ideal en el anillo k[x1 , , xn], entonces (Vk(I ))=r-rad(I ).
DEMOSTRACIN ()
Sea f(Vk(I )), entonces f (x)=0 para todo xVk(I ). Sea P un ideal primo real con
)
)

Si ar-rad(I), entonces existe m{0} y A2 tal que a2m+I. Como IJ, se sigue que a2m+J=r-rad(I).
1) Claramente 0S, 2) Si 1, 2S con 1=a2m+1 y 2=a2n+2, entonces 12=a2(m+n)+(1+2)S y 3) 1=a2(0)+02+ +02S.

58

IP, entonces se tiene que Vk(P)Vk(I ). Como P es un ideal real, por el teorema de los
ceros de Hilbert real (teorema 5.15.), se sigue que (Vk(P))=P. Como Vk(P)Vk(I ), se
tiene (Vk(I ))(Vk(P)) e (Vk(I ))P. Esto se cumple para todo ideal primo real que
contiene a I; as, (Vk(I ))P, P ideal primo real que contiene a I. Por el teorema 5.18.,
r-rad(I )=P, P ideal primo real que contiene a I, luego (Vk(I ))r-rad(I ).

()
Sea fr-rad(I ), entonces existe m{0} y gA2 tal que f 2m+gI. Para todo
elemento aVk(I ), f 2m(a)+g(a)=0k, f m(a)=0 por ser k un campo real y f (a)=0; as,
f(Vk(I )). Por tanto r-rad(I )(Vk(I )).
Se observa que si I es un ideal real en A, entonces (Vk(I ))=I. Como una
consecuencia del teorema 5.19., se tiene el siguiente,
COROLARIO 5.20. Si A=k[x1 , , xn] /I es una lgebra k-afn real con k un campo cerrado
real, entonces Vk(I ) es denso Zariski en V(I k [x1 , , xn] )
DEMOSTRACIN
Se tiene que probar que Vk ( I ) =V(I k [x1 , , xn]), donde Vk ( I ) es la cerradura de
Vk(I ) con respecto al espacio afn k n donde k =k( -1 ) es la cerradura algebraica de k.
Primero
se
probar
que
Vk ( I ) V(I k [x1 , , xn]).
En
efecto,
como
Vk ( I ) V(I k [x1 , , xn]) y Vk ( I ) V(I k [x1 , , xn]); por ser Vk ( I ) el menor cerrado en
kn que contiene a Vk(I), se sigue la contencin. Ahora se probar que
V(I k [x1 , , xn]) Vk ( I ) o equivalentemente que ( Vk ( I ) )(V(I k [x1 , , xn])). En

efecto, sea f( Vk ( I ) ), es decir, f k [x , , xn] donde f=f1+ -1 f2 es un polinomio que se

anula en Vk(I ), con f1, f2 k[x1 , , xn] entonces para cada pVk(I ), f(p)=f1(p)+ -1 f2(p)=0.
Luego f1(p)=0, f2(p)=0 ya que f1(p), f2(p)k, es decir, f1, f2(Vk(I )). Por el teorema fuerte
de los ceros de Hilbert real se tiene que f1, f2r-rad(I). Como I es un ideal real, se sigue que
f1, f2I y fI+ -1 I=I k [x1 , , xn]. Por lo tanto f(V(I k [x1 , , xn])).
Sea k un campo algebraicamente cerrado y fk[x1 , , xn] un polinomio irreducible
con fk. Considrese la variedad k-afn V=V(f ) en kn y un punto a=(a1 , , an)V. Sea
l={(a1 , , an)+t(b1 , , bn) | tk} una recta que contiene el punto a y gk[x1 , , xn] el
polinomio g=f | l=f (a1+b1t , , an+bn t) en la indeterminada t. El polinomio g tiene como una
raz a 0; luego 0 es una raz mltiple de g si y slo si f(0) /t=0, esto ltimo es equivalente
a i bi f(a)/xi=0 lo cual tambin equivale a que la recta l est contenida en el subespacio
lineal afn
TaV={(x1 , , xn)V | i bi f(xi-ai)/xi=0}kn.

59

TaV se denomina espacio tangente de V en a y es un subespacio de dimensin n-1 en kn. Se

recuerda que las derivadas f(0)/t y f(a)/xi son operaciones algebraicas formales.
Se dice que un punto aV es un punto regular o punto simple o tambin llamado
no singular si f(a)/xi0 para alguna i=1, 2 , , n. Y un punto aV es singular o una
singularidad si a no es regular. Los puntos en una variedad algebraica pueden ser as
divididos en puntos regulares (en los cuales la variedad es suave) y las singularidades. Si
Reg(V) es el conjunto de todos los puntos regulares de una variedad y Sing(V) el conjunto
de singularidades de V, entonces Sing(V)=V \ Reg(V) y Sing(V) es un conjunto cerrado
Zariski de codimensin 1, esto es, es cerrado Zariski denso en ninguna parte, es decir,
PROPOSICIN 5.21. Reg(V) es un conjunto abierto denso en V en la topologa de
Zariski.
DEMOSTRACIN
Como Sing(V)=V( f, f /x1 , , f /xn)kn es cerrado Zariski y V es irreducible,
para probar que el abierto Reg(V) es denso se tendr que probar que no es vaco.
Supngase lo contrario, esto es, que V=Sing(V), entonces cada uno de los polinomios
f / xi se anula en V, luego ellos son divisibles por f. Visto f /xi como un polinomio en

x1 , , xn, f /xi tiene grado estrictamente menor que f, de esta forma f | f (x)/x1 implica
que f /xi=0 como un polinomio. Lo anterior es posible si f es un polinomio inseparable en
xi, esto es, car(k)=p y xi solamente aparece en f como la p-sima potencia xip . Si esto es
valido para toda i, entonces f es una potencia p-sima en k[x1 , , xn]. Esto ltimo
contradice el hecho de que f es irreducible.
Como ya se vio, el teorema dbil de los ceros de Hilbert real afirma que si una
lgebra afn A es semireal, ello equivale a que la variedad Vk(I ) de cualquier ideal propio
de A sea no vaca. Un resultado similar se tiene cuando el lgebra afn es real, es decir,
PROPOSICIN 5.22. (Criterio dbil del punto regular). Sea k un campo cerrado real, P
un ideal primo en el anillo k[x1 , , xn] y A=k[x1 , , xn] /P una k-lgebra afn. Entonces el

anillo A es real si y slo si Reg(V(P k [x1 , , xn]))Vk(P).

DEMOSTRACIN ()
Si A es un anillo real, es decir, P es un ideal primo real, entonces por 5.6.,
V(P k [x1 , , xn]) es una variedad algebraica irreducible. Por la proposicin 5.21.,

Reg(V(P k [x1 , , xn])) es un conjunto abierto y denso Zariski en V(P k [x1 , , xn]); por
5.20.,

la

variedad

Vk(P)

Reg(V(P k [x1 , , xn]))

()

es

denso

Zariski

en

V(P k [x1 , , xn]).

Luego

60

Si

V(P k [x1 , , xn])

tiene

un

punto

regular

real

a=(a1 , , an)

m=< x1 a1 ,..., xn an > es el ideal maximal de A correspondiente al punto a, entonces Am

es un anillo local regular. Como Am /mAmqf(A/m)=A/mk y k es un campo real, se sigue
que A/m es real y tambin Am /mAm es real. Luego A y Am son anillos locales reales. De
3.32. de la primera parte, (ver [1]) Am es real y por tanto semireal. Por 3.33. de la primera
parte, (ver [1]) se sigue que A es real.
LEMA 5.23. Sea I un ideal en un anillo A. Entonces I es un ideal radical si y slo si
nil(A /I )=0).
DEMOSTRACIN ()
Sea a nil(A/I ), entonces existe m tal que a m = 0 , es decir, amI. Esto
significa que arad(I ). Como I=rad(I ), se sigue que aI y a = 0 ; luego nil(A/I )=0.

()
Dado que Irad(I ), bastar probar que rad(I )I. Sea arad(I ), entonces existe
m tal que amI; de esto se sigue que a m = 0 , con a A/I. Como nil(A/I )=0, se tiene
que a = 0 ; y esto ltimo significa que aI.
A continuacin se da la versin de la proposicin 5.22., cuando I es un ideal
arbitrario en el anillo k[x1 , , xn].
TEOREMA 5.24. (Criterio fuerte del punto regular). Sea k un campo cerrado real, I un
ideal en el anillo k[x1 , , xn], P1,,Pm ideales primos minimales de I y A=k[x1 , , xn]/I una
lgebra k-afn. Entonces A es real si y slo si I=rad(I) y Reg(V(Pi k [x1,,xn]))Vk(Pi);
para cada i=1, 2 , , m.
DEMOSTRACIN
Que A es real, por 3.28. de la primera parte, (ver [1]) es equivalente a que nil(A)=0
y Pi /I son ideales primos minimales reales de A.) Que los ideales Pi /I, i=1, 2 , , m sean
reales, significa que (k[x1 , , xn]/I ) /(Pi /I) son reales y por consecuencia k[x1 , , xn] /Pi
tambin son reales; para i=1, 2 , , m. Por el criterio dbil del punto regular y el lema 5.23.,

se sigue que I es un ideal radical y cada variedad V(Pi k [x1 , , xn]); i=1, 2 , , m tiene un
punto regular real.
En la seccin anterior se introdujo la nocin de topologa intervalo en un campo
ordenado F y se probaron algunos resultados necesarios; aqu se darn unos pocos ms. Se
sabe que para un campo ordenado F, las operaciones binarias de suma y multiplicacin en
F son funciones continuas con respecto a la topologa intervalo en F, esto es, F con la
)

Si nil(A/I )=0 se dice que A es un anillo reducido.

Que Pi /I sean primos minimales reales, i=1,2,,n se sigue de la correspondencia biyectiva entre los ideales Pi I y Pi /I y de la
equivalencia k[x1,,xn]/Pi (k[x1,,xn]/I)/(Pi /I).
)

61

topologa intervalo es un campo topolgico. De esta forma, las funciones polinomiales son
continuas en esta topologa. Sea ahora F n=FF F (n veces) el conjunto de n-adas
(x1 , , xn) de elementos en F. Se puede dotar a Fn con la topologa producto n y convertir
F

al conjunto F en un espacio topolgico donde una base para esta topologa

Fn

viene dada

como
={(a1 , b1)

(an , bn) | ai, biF ai< bi i=1, 2 , , n}.

Un resultado que se puede enunciar en el espacio (F n , n ) es el

F

TEOREMA 5.25. (del valor intermedio) Sea k un campo cerrado real, f:Ukn k una
funcin continua en un conjunto abierto y conexo U y f (a)<f (b) para a, bU. Entonces
para cada k con f (a)<<f (b) existe un elemento cU tal que f (c)=.
DEMOSTRACIN
Sea ={xU | f(x)<} y ={xU | f(x)>}. Como a y b, se sigue que ,

y =. Sea x, como f(x)< y f es continua en x, existe un bsico x contenido

en U tal que f(y)< para todo yx; luego es abierto en U. En forma similar se obtiene
que es abierto en U. De esta manera U ya que U es conexo. Entonces existe al
menos un punto cU tal que c, lo cual es equivalente a que f(c) y f(c), esto es,
f(c)=.
Antes de finalizar este captulo con el criterio del cambio de signo, se probarn las
siguientes:
OBSERVACIN. 5.26. Sea A un D.F.U. y F=qf(A). Si fA[x] es un polinomio
irreducible en el anillo A[x], con grad(f )>0, entonces f es irreducible en F[x].
DEMOSTRACIN
Supngase que fA[x] es un polinomio no constante que se factoriza en polinomios
g, hF[x] de grados menores que el grado de f, es decir, f=gh. Como F es un campo de
cocientes de A, cada coeficiente en g y h es de la forma a/b para algunos a, bA. Haciendo
las operaciones con los coeficientes de los polinomios g, h y eliminando denominadores, se
obtiene df=g1h1 para dA, g1, h1A[x] donde los grados de g1 y h1 son los mismos que los
grados de g, h respectivamente. Ahora, se sabe que f=cf1, g1=c1g2, h1=c2h2 donde c, c1,
c2A y f1, g2, h2A[x] tienen el mismo grado que f, g y h respectivamente, y sus nicos
divisores comunes de todos sus coeficientes son unidades en A.) Entonces df=g1h1 toma la
forma cdf1=c1c2g2h2, donde g2h2 tambin es un polinomio que satisface que los nicos
divisores comunes de todos sus coeficientes son unidades en A.) Por la unicidad en la
igualdad cdf1=c1c2g2h2 (es decir, un polinomio que satisface que los nicos divisores
)

Un polinomio en un D.F.U. cuyos nicos divisores comunes de sus coeficientes son unidades en el anillo base, se denomina polinomio
primitivo.
)
Este resultado se sigue del lema de Gauss que dice: Si A es un D.F.U., entonces el producto de dos polinomios primitivos es un
polinomio primitivo.

62

comunes de todos sus coeficientes son unidades en A es nico salvo un factor unidad uA)
se tiene que c1c2=ucd para alguna unidad uA, luego, cdf1=ucdg2h2. De modo que f1=ug2h2
y f=udg2h2. Como g2h2 tiene el mismo grado que gh, se concluye que f es irreducible en
F[x].
OBSERVACIN. 5.27. Sea A un D.F.U. y F=qf(A). Si f, gA[x] tal que f g en A[x],

entonces fg en F[x].
DEMOSTRACIN
Supngase que f, gF[x] son polinomios tales que g=hf con hF[x]. Como los
coeficientes de h son de la forma a/b con a, bA, haciendo las operaciones con los
coeficientes de h y eliminando el denominador, se obtiene dg=h1f con dA, h1A[x] un
polinomio que tiene el mismo grado que h. Por otro lado, se sabe que g=cg1, h1=c1h2 y
f=c2f1 con c, c1, c2A, g1, h2, f1A[x] polinomios primitivos con el mismo grado que g, h y
f respectivamente (ver pie de nota en la pagina anterior para la definicin de polinomio
primitivo). Entonces la igualdad dg=h1f se puede escribir como cdg1=c1c2h2f1 donde h2f1 es
un polinomio primitivo que es nico salvo un factor unidad. De esta forma se tiene que
c1c2=ucd para alguna unidad uA, luego g=uh2f1. Esto ltimo significa que f | g en A[x] lo

cual constituye una contradiccin a la hiptesis. Por lo tanto fg en F[x].

LEMA. 5.28. Sea k un campo cerrado real y f, gk[x1 , , xn] polinomios con f indefinido e
irreducible tal que Vk( f )Vk(g). Entonces f | g.
DEMOSTRACIN
Como f es indefinido, existen puntos (a1 , , an-1, b1), (a1 , , an-1, b2)kn tal que

f(a1 , , an-1, b1)<0<f(a1 , , an-1, b2)

en el nico orden de k. Haciendo un cambio de coordenadas tal que las primeras n-1
componentes queden fijas, es decir, existen puntos (a1 , , an-1,b1), (a1 , , an-1,b2)kn tal
que f(a1 , , an-1,b1)<0<f(a1 , , an-1,b2) en el nico orden de k. Sea A=k[x1 , , xn-1] y
F=qf(A), entonces A[xn]=k[x1 , , xn-1][xn]=k[x1 , , xn-1,xn]. Considrese los polinomios f y
g en la indeterminada t (=xn) en el anillo A[t] (=k[x1 , , xn-1, t]). Como f es irreducible en el
anillo A[t] y f g tambin en A[t], entonces por las observaciones 5.26. y 5.27., se sigue que
f es irreducible en F[t] y f g en F[t]. Como F[t] es un D.I.P., el mximo comn divisor de f
y g existe y es nico salvo la multiplicacin por una constante no cero en F. Sea l el
mximo comn divisor de f y g, entonces l es constante; de no serlo, f sera un mltiplo
constante de l ya que f es irreducible y se tendra que f | g lo cual no puede ser posible. Por
consiguiente, l es constante y se puede suponer que l=1. Luego existen polinomios p,
qF[t] tal que fp+gq=1. Sea p=p0 / h1 y q=q0 / h2 con p0, q0A[t] y h1, h2A, h10, h20.
De esta forma se tiene que f(p0 / h1)+g(q0 / h2)=1, es decir, (h2fp0+h1gq0)/h1h2=1 y
fp0+gq0=h, con p0=h2 p0, q0=h1q0 y h1h2=h. Ahora, sea U1 una vecindad del punto akn-1

63

y (b1-1, b1+1) una vecindad de b1. Luego U1(b1-1, b1+1) es una vecindad del punto
(a, b1) tal que f(x, b1)<0 para cada xU1(b1-1, b1+1). Similarmente, sea U2 una
vecindad del punto akn-1 y (b2-2, b2+2) una vecindad de b2. Entonces U2(b2-2, b2+2)
es una vecindad del punto (a, b2) tal que f(x, b2)>0 para cada xU2(b2-2, b2+2).
Tomando U=U1U2, se cumple que f(x, b1)<0<f(x, b2) para todo elemento xU. Sea
f:kn[b1, b2]kn k, f(x, b)=F0+F1b+ +Fnbn una funcin polinomial (con F0,F1,,FnA,
b[b1, b2] y xU fijo) continua en el conexo kn[b1, b2], dado que f(x, b1)<0<f(x, b2) con
(x, b1), (x, b2)U[b1, b2] y por el teorema del valor intermedio, existe un punto (x, bx) en
la vecindad U[b1, b2] con xU fijo tal que f (x, bx)=0 donde bx[b1, b2]. Como por
hiptesis Vk(f )Vk(g), se sigue que g(x, bx)=0 y f(x, bx)p0(x, bx)+g(x, bx)q0(x, bx)=h(x). De
esto se obtiene que h(x)=0 para cada xU y h(x1 , , xn-1) se anula en un conjunto abierto
no vaco en kn-1. Luego h se anula en todo punto de kn-1 lo cual es una contradiccin.
Si f k[ x1 ,, xn ] , se define la reduccin de f, denotada f red como el polinomio
que satisface rad (< f >) =< f red > . Un polinomio es reducido o libre de cuadrados si
f = f red ; es decir, si rad (< f >) = f .
Se termina esta tercera y ltima parte, con un resultado de Dubois y Efroymson.
PROPOSICIN. 5.29. (Criterio del cambio de signo) Sea k un campo cerrado real y
fk[x1 , , xn] un polinomio no cero. Entonces <f > es real si y slo si f es un producto de
polinomios indefinidos e irreducibles libre de cuadrados.
DEMOSTRACIN ()
La condicin necesaria fue probada en 4.33..

()
Sea f = f11 f 2 2

f m m un producto de polinomios indefinidos e irreducibles libre

de cuadrados, luego f=f1 f2 fm. Sea g12+ +gm2<f>, entonces existen hik[x1 , , xn] tal
que g12+ +gm2=hifi con fi indefinido e irreducible i=1,, m; as, Vk(fi)Vk(gi);i=1 , , m.)
Por el lema 5.28., se tiene que fi | gi; i=1 , , m, es decir, gi=hifi para algn hik[x1 , , xn] y
esto significa que gi<f>. Por lo tanto <f> es un ideal real.

Si xVk(f ), entonces f(x)=0 y f(x)h(x)=g12(x)+ +gm2(x)=0 implica g1(x)= =gm(x)=0 ya que g1(x),,gm(x)k. xVk(gi);
i=1,2,,m.

64

REFERENCIAS.

[1] Andrade E y Kushner L.: Anillos Reales (primera de tres partes).

[2] Andrade E y Kushner L.: Anillos Reales (segunda de tres partes).
[3] Atiyah, M. D., Macdonald, I. G.: Introduccin al lgebra Conmutativa. Editorial
Revert, 1989.
[4] Bochnak, K. J., Coste, M. y Roy, M-F.: Gomtrie Algbrique Relle. Springer-Verlag,
1987.
[5] Lam, T. Y.: An Introduction to Algebra Real. Rocky Mountain Journal of Mathematics
Vol 14, Num 4, 1984.
[6] Lam, T. Y.: The Algebraic Theory. of Quadratics Form. Benjamin, Inc. 1973.
[7] Lang, S.: Algebra. Addison-Wesley publishing company. 2a Edition 1984.
[8] Lang, S.: The Theory of Real Places. Annals of Mathematics Vol 57, Number 2 1953.
[9] Prestel, A.: Lectures on Formally Real Fields. IMPA. Lecture Notes, No 22, Rio de
Janeiro, 1975.
[10] Prestel, A y Delzell, C.: Positive Polynomials. From Hilberts 17ht Problems to Real
Algebra. Springer Monographs in Mathematics, 2001.