Escolar Documentos
Profissional Documentos
Cultura Documentos
Fernando Ferreira
ho
Neste captulo, vamos demonstrar um celebre resultado de David Hilbert, muito importante em
lgebra comutativa e, em especial, em geometria algebrica. A palavra alema Nullstellensatz pode
a
traduzir-se por teorema do lugar dos zeros e e, efectivamente, um teorema sobre a localizacao
dos zeros de polin
omios, a v
arias vari
aveis, sobre corpos. O que se segue pressupoe alguns conhecimentos b
asicos de
algebra sobre extensoes de corpos, incluindo a existencia e unicidade do fecho
algebrico dum corpo. Tambem pressupomos familiaridade com a nocao de ordinal e enumeracao
transfinita. Comecamos por um lema:
un
Proposi
c
ao 1. Seja K um corpo e K1 e K2 extens
oes algebricamente fechadas de K. Suponhamos
que card(K1 ) = card(K2 ) > max (0 , card(K)). Ent
ao K1 e K2 s
ao isomorfos sobre K.
Demonstra
c
ao. Seja a cardinalidade comum de K1 e K2 . Vamos usar o metodo de vai e
vem. Considerem-se enumerac
oes transfinitas (a )< e (b )< de K1 e K2 , respectivamente.
Vamos definir, por recurs
ao transfinita em < , corpos K1 e K2 e isomorfismos (de corpos)
i : K1 7 K2 , que s
ao a identidade em K, tais que
i. para todo < , K K1 K1 e K K2 K2 ;
ra
sc
No caso
em
que
temos
um
ordinal
limite
<
,
definimos
K
:=
K
1
1 , K2 :=
<
< K2 e
S
i := < i .
S
Por construc
ao, i := < i e um isomorfismo de K1 para K2 que e a identidade em K.
1
A linguagem da teoria dos corpos e a linguagem do calculo de predicados com igualdade constituda por duas constante 0 e 1 e dois smbolos funcionais binarios + e . A teoria dos corpos e
dada pelos seguintes axiomas:
xyz ((x + y) + z = x + (y + z));
x (x + 0 = x);
xy (x + y = 0);
0 6= 1.
un
xyz (x (y + z) = x y + x z);
ho
xy (x + y = y + x);
A teoria dos corpos algebricamente fechados CAF obtem-se da teoria dos corpos adicionando o
seguinte conjunto infinito de axiomas:
z0 z1 zn1 x (xn + zn1 xn1 + + z1 x + z0 = 0),
um para cada natural positivo n.
ra
sc
Defini
c
ao 1. Uma teoria T diz-se modelo-completa se, sempre que M e N s
ao modelos de T com
M N, ent
ao M 4 N.
Teorema 1 (Abraham Robinson). A teoria dos corpos algebricamente fechados e modelo-completa.
Demonstra
c
ao. Sejam K1 e K2 corpos algebricamente fechados (e, portanto, infinitos) com
K1 K2 . Tome-se um cardinal (necessariamente infinito) maior do que card(K2 ). Pelo teorema
de L
owenheim-Skolem ascendente, existem extensoes elementares K10 e K20 de K1 e K2 (respectivamente) de cardinalidade . Pela Proposicao anterior, K10 e K20 sao corpos isomorfos sobre K1 .
Podemos agora verificar que K1 4 K2 . Com efeito, seja uma formula da linguagem da teoria
dos corpos e s uma atribuic
ao de valores das variaveis em K1 . Suponhamos que K1 |= [s]. Visto
que K1 4 K10 , tem-se K10 |= [s]. Dado que K10 e K20 sao corpos isomorfos sobre sobre K1 (onde s
toma valores) conclui-se que K20 |= [s]. Ora, visto que K2 4 K20 , vem finalmente K2 |= [s].
Note-se que a teoria dos corpos algebricamente fechados nao e completa, pois ha corpos algebricamente fechados de diferentes caractersticas. Dado p um n
umero primo, considere-se o seguinte
axioma carp :
1 + 1 + ... + 1 = 0
Demonstra
c
ao. Suponhamos que p e um n
umero primo. Sejam M e N modelos de CAFp .
claro que Zp M e Zp N,
Queremos ver que estes modelos s
ao elementarmente equivalentes. E
onde Zp e o fecho algebrico do corpo Zp . Dado que a teoria CAFp e modelo-completa, Zp 4 M e
Zp 4 N. Logo, M N.
O caso de caracterstica e 0 e semelhante, trabalhando-se com Q, o fecho algebrico de Q.
Antes de prosseguirmos com a discussao do Nullstellensatz, fazemos notar que o caso de caracterstica zero d
a origem ao denominado princpio de transferencia de Lefschetz.
Corol
ario 2. Os corpos Q e C s
ao elementarmente equivalentes.
ho
Corol
ario 3 (Hilbert). Seja K um corpo e K o seu fecho algebrico. Considere-se um sistema
finito de equac
oes e inequac
oes
g1 (x1 , . . . , xk ) = g2 (x1 , . . . , xk ) = = gn (x1 , . . . , xk ) = 0
f (x1 , . . . , xk ) 6= 0
onde g1 , g2 , . . . , gn , f K[X1 , . . . , Xk ]. Se este sistema tem soluc
ao numa extens
ao de K, ent
ao
j
a tem soluc
ao em K.
un
Demonstra
c
ao. Considere-se a seguinte sentenca com parametros em K:
:= x1 x1 xk
n
^
gi (x1 , . . . , xk ) = 0 f (x1 , . . . , xk ) 6= 0
i=1
ra
sc
n
X
pi gi
i=1
onde p1 , . . . , pn K[X1 , . . . , Xk ].
Nota
c
ao. O recproco deste resultado e obviamente verdadeiro.
Demonstra
c
ao. Sejam f e g1 , . . . , gn como na hipotese do enunciado. Seja
(
I :=
h K[X1 , . . . , Xk ] : existem um n
umero natural r e
n
X
)
pi gi
i=1
Sempre que i + j = r + l, vem i r ou j l. Logo, cada parcela da soma acima tem como factor
hr1 ou hl2 . Daqui conclui-se facilmente que h1 + h2 I.
Tem-se, pois, que I e um ideal pr
oprio de K[X1 , . . . , Xk ] que nao contem nenhuma potencia de
f (e que contem g1 , . . . , gn ). Pelo lema de Zorn, tome-se J I um ideal que nao contem nenhuma
potencia de f e que seja maximal a respeito desta propriedade. Vamos argumentar que J e um
ideal primo, i.e., que se h1
/ J e h2
/ J entao h1 h2
/ J. Dado que h1
/ J, por maximalidade
de J, existem um n
umero natural r, um polinomio q1 de K[X1 , . . . , Xk ] e um polinomio p1 em
J tais que f r = q1 h1 + p1 . Semelhantemente, existem um n
umero natural l, um polinomio q2 de
K[X1 , . . . , Xk ] e um polin
omio p2 em J tais que f l = q2 h1 + p2 . Logo,
ho
Ora, as tres u
ltimas parcelas acima estao em J. Daqui conclui-se que h1 h2
/ J pois, caso contrario,
existiria uma potencia de f em J.
Mostr
amos que J e um ideal primo proprio. Logo, K[X1 , . . . , Xk ]/J e um domnio de integridade. Seja K 0 o seu corpo de fraccoes. Como sabemos, podemos considerar K 0 uma extensao
de K (atraves da imers
ao a
(a + J)/(1 + J)). Sejam b1 , . . . , bk os seguintes elementos de K 0 :
(X1 + J)/(1 + J), . . . , (Xk + J)/(1 + J), respectivamente. Por construcao,
un
ra
sc
tem soluc
ao em K 0 . Pelo corol
ario anterior, este sistema tambem tem solucao em K, o que contradiz
a hip
otese do enunciado.
Corol
ario 4. Seja K um corpo algebricamente fechado e g1 , . . . , gn K[X1 , . . . , Xk ] polin
omios
sem nenhum zero comum em K k . Ent
ao existem polin
omios p1 , . . . , pn K[X1 , . . . , Xk ] tais que
1=
n
X
i=1
pi gi