Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Autora:
Orientadora:
Disciplina:
Curso:
Licenciatura em Matemtica
Professores Responsveis:
Autora:
Orientadora:
Disciplina:
Curso:
Licenciatura em Matemtica
Professores Responsveis:
Instituio:
Agradecimentos
Em primeiro lugar, agradeo a minha orientadora Grazielle por todas as horas de
dedicao ao nosso trabalho durante as reunies e fora delas tambm, sempre me tratando
com muita ateno e atendendo a todas as minhas dvidas, me direcionando para fazer o
melhor trabalho e me orientando a ponto de me tornar uma melhor estudante. Sou muito
grata por toda a experincia que recebi neste processo.
Agradeo tambm aos meus amigos e familiares que estiveram me apoiando durante
este semestre, neste percurso to importante na minha vida acadmica.
Resumo
Neste trabalho vamos utilizar denies e proposies algbricas com o objetivo de demonstrar o Teorema da Base de Hilbert, que nos garante que se A um anel Noetheriano,
ento o anel de polinmios sobre A tambem o ; e o Teorema dos Zeros de Hilbert em
sua forma fraca, que nos garante que se K um corpo algebricamente fechado e J um
ideal prprio do anel de polinmios em n variveis sobre K , ento o conjunto algbrico
dos elementos de J diferente do vazio. Em sua forma forte, este teorema nos garante
que se K um corpo algebricamente fechado e J um ideal do anel de polinmios em n
variveis sobre K , ento o ideal do conjunto algbrico de todos os elementos de J igual
ao radical de J .
vii
Sumrio
Introduo
ix
1 Preliminares Algbricas
2 Conjuntos Algbricos
3 O Ideal de um Subconjunto X K n
15
21
29
viii
Sumrio
ix
Introduo
Dizemos que um anel A Noetheriano se qualquer ideal de A nitamente gerado. Essa
denio muito importante no desenvolvimento de teorias em lgebra Comutativa e
Geometria Algbrica, pois nos garante algumas boas propriedades. Investigar quando um
anel Noetheriano foi um grande desao, e uma resposta a este problema foi dada pelo
Teorema da Base de Hilbert, que nos garante que se A um anel Noetheriano, ento o
anel de polinmios em n variveis sobre A tambm o . Outro teorema muito importante
em Geometria Algbrica o Teorema dos Zeros de Hilbert, Nullstellensatz, que apresentaremos em sua forma fraca e em sua forma forte.
O Captulo 1 tem a funo de apresentar algumas denies e proposies algbricas
necessrias para o desenvolvimento deste trabalho.
No Captulo 2, vamos denir conjunto algbrico, apresentar alguns exemplos e demonstrar suas propriedades.
Vamos, no Captulo 3, denir o ideal I(X) de um subconjunto X de K n , onde K
um corpo, e demonstrar suas propriedades. Alm disso, vamos denir o radical de um
ideal, apresentar alguns exemplos e mostrar que I(X) sempre um ideal radical.
O objetivo do Captulo 4 denir anel Noetheriano em suas formas equivalentes que
sero necessrias para demonstrar o Teorema da Base de Hilbert. Tambm apresentaremos alguns exemplos e resultados que seguem deste teorema.
No Captulo 5, vamos denir um conjunto algbrico irredutvel e tratar da decomposio de conjuntos algbricos redutveis em subconjuntos algbricos irredutveis. Vamos
apresentar alguns exemplos e demonstrar a unicidade da decomposio de um conjunto
algbrico em subconjuntos algbricos irredutveis.
Por m, no Captulo 6, vamos apresentar a forma forte e a forma fraca do Teorema
dos Zeros de Hilbert. Observaremos que a forma forte do Teorema dos Zeros de Hilbert
implica na forma fraca deste teorema, demonstraremos que a forma fraca deste teorema
implica na forma forte do mesmo e demonstraremos a forma fraca deste teorema. O Nullstellensatz de Hilbert tem esse nome, pois garante que qualquer polinmio no constante
em n variveis possui razes em K , quando K um corpo algebricamente fechado.
Captulo 1
Preliminares Algbricas
Como o prprio nome nos diz, este um captulo introdutrio aos conceitos algbricos
necessrios para a compreenso deste trabalho.
Denio 1.2. Seja A um anel. Se a multiplicao de A satisfaz a propriedade comutativa, ou seja, se a b = b a ( a, b A), ento o anel A dito um anel comutativo.
1. Preliminares Algbricas
Denio 1.4. Um anel cuja multiplicao comutativa e que possui unidade chamado
de anel comutativo com unidade.
Denio 1.6. Seja D um anel. Se para D vale a lei do anulamento do produto, ou seja,
dados a, b D
a b = 0D
a = 0D ou b = 0D ,
Denio 1.7. Seja K um domnio. K ser chamado de corpo quando a seguinte propriedade for satisfeita:
a K \ {0K }, a1 K / a a1 = 1K = a1 a.
e
f (x y) = f (x) f (y).
1. Preliminares Algbricas
Denio 1.12. Para qualquer anel A, denotaremos A[X] o anel de polinmios com
coecientes em A.
Lembrando que um polinmio sobre A uma expresso formal do tipo
p(X) = a0 + a1 X + a2 X 2 + . . . + ar X r .
Denio 1.13. O grau de um polinmio f no nulo o ndice de seu coeciente dominante, ou seja, o a maior potncia de X que aparece em f .
Notao: (f ).
Denio 1.14. Um polinmio dito mnico se seu coeciente dominante for igual a 1.
Denio 1.15. Denotamos por A[X1 , X2 , . . . , Xk ] o anel de polinmios sobre A em k
variveis.
Exemplo 1.1. O anel Z um domnio de fatorao nica, pois, para qualquer a Z\{0},
temos que a pode ser decomposto de maneira nica em fatores primos. Lembrando que,
no caso do anel Z, os elementos primos so os elementos irredutveis do anel.
Exemplo 1.2. O anel K[X] um domnio de fatorao nica, pois todos os polinmios
f K[X] podem ser escritos como uma multiplicao de polinmios irredutveis de K[X].
as seguintes relaes:
i) x y I ;
1. Preliminares Algbricas
ii) a x I .
em que todos os ideais de um domnio forem principais, dizemos que esse domnio um
domnio de ideais principais (D.I.P) ou domnio principal.
Exemplo 1.3. O anel K[X] um domnio de ideais principais, pois todos os ideais de
K[X] so gerados por um nico polinmio.
1. Preliminares Algbricas
i) I + J contm I e J ;
ii) Todo ideal em A que contm I e que tambm contm J , contm I +J , o que equivale
dizer que I + J o menor ideal em A que contm I e J .
Demonstrao.
i) Consideremos x I . J sabemos que x = x+0A e que 0A J . Com
isso, podemos garantir que x I + J . Logo, temos que I I + J . E, analogamente,
temos que J I + J .
ii) Consideremos L um ideal em A tal que I L e J L. Temos que provar que todo
elemento de I + J est em L, ou seja, um elemento de L.
De fato, seja t I + J tal que t = a + b, onde a I e b J . Se I L, ento a L
e, se J L, ento b L. Portanto, temos que a + b = t L.
In
n=1
1. Preliminares Algbricas
continuarmos fazendo este processo, vamos obter uma sequncia innita estritamente
crescente de ideais I0 ( I1 ( I2 ( I3 ( . . ., o que um absurdo.
Armamos agora que a0 possui uma fatorao em elementos irredutveis. De fato,
pela armao anterior, a0 = p1 b1 com p1 irredutvel. Se b1 invertvel acabou. Seno,
pela armao anterior aplicada a b1 , temos b1 = p2 b2 com p2 irredutvel e, portanto,
a0 = p1 p2 b2 . Se b2 invertvel acabou. Seno repetimos o processo, mas este um
processo que deve terminar pois, se no terminasse, obteramos uma sequncia innita
estritamente crescente de ideais, o que j vimos que um absurdo.
Portanto, conclumos que D possui uma decomposio em elementos irredutveis. Agora, vamos mostrar que tal decomposio nica.
Seja a D tal que a = p1 1 . . . pr r = q11 . . . qss com pi e qi primos e i e i
nmeros naturais. sabemos que p1 | q1 . . . qs , mas p1 primo e, portanto, divide um
dos elementos de q1 . . . qs . Com algum ajuste de ndices, vamos admitir que p1 | q1 .
Repetindo o mesmo processo para todos os elementos, vamos obter que r = s e,
novamente ajustando os ndices, pi = qi e, portanto, a decomposio nica.
Logo, conclumos que D um domnio de fatorao nica.
a b I.
1. Preliminares Algbricas
A
I
um domnio.
Demonstrao. () Basta provar que AI no possui divisores prprios de zero. Para isso,
sejam a + I e b + I AI . Se (a + I) (b + I) = a b + I = I (zero do anel quociente),
ento a b I e, como I primo, ento a I ou b I . Mas isso signica que a + I = I
ou b+I = I (zero do anel quociente AI ). Portanto, AI no possui divisores prprios de zero.
() Sejam a, b A tais que a b I . Ento, a b + I = (a + I) (b + I) = I
A
I
um corpo.
Demonstrao. () Basta provar que todo elemento a + I 6= I invertvel. Dessa desigualdade segue que a 6 I e, portanto, hai + I = A. Ento a unidade de A pode ser escrita
assim: 1 = a b + m, para algum b A e algum m I . Da, 1 a b = m I e, portanto,
1 + I = (a b) + I = (a + I) (b + I)
1. Preliminares Algbricas
A
I
K[X1 ,..., Xn ]
M
um corpo.
Captulo 2
Conjuntos Algbricos
Primeiro, seja K um corpo qualquer. Vamos denotar por K n o conjunto:
An (K) = AnK = An = {(x1 , . . . , xn ) / xi K} = K n .
e
V (f ) K n .
b)
f (X, Y ) = X 2 + Y 2 1, ento V (f )
f (X, Y ) = Y 2 + X X 3 , ento V (f )
= {(x, y) R2 / f (x, y) = 0}
= {(x, y) R2 / x2 + y 2 = 1}
= {(x, y) R2 / f (x, y) = 0}
= {(x, y) R2 / y 2 + x x3 = 0}
10
2. Conjuntos Algbricos
c)
d)
f (X, Y ) = Y 2 X 3 , ento V (f )
= {(x, y) R2 / f (x, y) = 0}
= {(x, y) R2 / y 2 x3 = 0}
= {(x, y) R2 / (x2 y) (x y) = 0}
= {(x, y) R2 / y = x2 ou y = x}
Agora, consideremos n = 3.
e)
f (X, Y, Z) = Z 2 Y 2 X 2 , ento V (f )
= {(x, y, z) R3 / f (x, y, z) = 0}
= {(x, y, z) R3 / z 2 y 2 x2 = 0}
\
f S
um conjunto algbrico de K n .
V (f ) K n
2. Conjuntos Algbricos
Exemplo 2.2.
11
a) Hipersuperfcies V (f ), sendo S = {f }.
V (I ) = V
5. K n e so conjuntos algbricos.
Demonstrao.
1. Sejam S1 , S2 K[X1 , . . . , Xn ], ambos conjuntos de polinmios.
Temos que
V (S1 ) = {p1 K n / f (p1 ) = 0, f S1 }
e
V (S2 ) = {p2 K n / f (p2 ) = 0, f S2 }.
12
2. Conjuntos Algbricos
Sabemos que S1 S2 , ento todo f S1 est em S2 . Da, temos que todo ponto
p2 V (S2 ) est tambm em V (S1 ), pois se f (p2 ) = 0 para todos os polinmios em
S2 , em particular, f (p2 ) = 0 para os polinmios em S1 .
Portanto, V (S2 ) V (S1 ).
n
X
ai si / si S e ai K .
i=1
n
X
ai si (p) = 0,
ai K, si S}.
i=1
si S .
2. Conjuntos Algbricos
13
S
= {p K n / f (p) = 0, f I }
T
= {p K n / f (p) = 0, f I }
T
= V (I ).
f I}
V (J) = {q K n / g(q) = 0,
g J}
e
V (I J) = {r K n / (f g)(r) = 0,
f I e g J}.
f S} = K n .
g S} = .
Como K[X] D.I.P. temos I = hf (X)i, f (X) K[X]. Logo, V = V (hf (X)i) =
V (f (X)).
Se f (X) = 0 V = K ;
14
2. Conjuntos Algbricos
Se f (X) K \ {0} V = .
O conjunto vazio.
15
Captulo 3
O Ideal de um Subconjunto X K n
Neste captulo estaremos considerando a varivel X como um conjunto de variveis
X1 , . . . , Xn .
S K[X] e
V (I(X)) X, X K n .
3. I(V (S)) S,
Alm disso:
Demonstrao.
e
I(Y ) = {f2 K[X] / f2 (p) = 0, p Y }.
Sabemos que X Y , ento todo ponto p X est em Y . Da, temos que toda
funo f2 I(Y ) est tambm em I(X), pois se f2 (p) = 0, para todos os pontos
16
3. O Ideal de um Subconjunto X K n
p Y , em particular, f2 (p) = 0 para todos os pontos p X .
Portanto, I(Y ) I(X).
S K[X].
V (S) = {p K n / f (p) = 0,
f S}.
p V (S)},
X K n.
p X}.
f I(X)},
Alm disso, acabamos de ver tambm que, como V (S) um conjunto de pontos em
K n , assim como X , podemos armar que
V (S) V (I(V (S))).
17
Alm disso, acabamos de ver tambem que, como I(X) um conjunto de polinmios
em K[X], assim como S , podemos armar que
I(X) I(V (I(X))).
3.1
Radical de um Ideal
Proposio 3.1.
Demonstrao. De fato, I
todos os elementos de I .
I I.
I , obtemos
m+n1
X
i=0
m+n1
i
!
(1)i am+n1i bi .
Para cada i que estamos variando, teremos uma das seguintes condies satisfeitas:
i m;
m + n 1 n.
A partir disso, sabemos que em cada termo ai bm+n1i , ou o expoente de a ser grande
o suciente para garantir que a I ou o expoente de b ser grande o suciente para
garantir que b I e, como uma multiplicao de um elemento de I por um elemento de
A est em I (pois I um ideal), cada termo estar em I e, portanto, (a b)k I . Ento
18
3. O Ideal de um Subconjunto X K n
ab
I.
r a I . Logo, I um ideal de I .
I = hp i = hpi.
De fato, pela propriedade 3.1, sabemos que I I , mas, neste caso, I = hp i, ento
p
hp i hp i.
Temos que
p
hp i = {x Z / xn hp i, para algum n N},
e, para que isto ocorra, xn = p . Como p primo, x deve ser mltiplo de p.
p
Portanto, hp i = hpi.
De fato, pela propriedade 3.1, sabemos que I I , mas, neste caso, I = hai,
p
ento hai hai. Alm disso, sabemos que a = a1 1 . . . amm , com ai irredutveis e
i N.
Ento, temos que
p
hai = {x A / xn hai, para algum n N},
mas cada xn pode ser escrito como b a11 . . . amm , com i N e b A. Partindo do fato
de que os elementos ai so irredutveis, estes mesmos elementos compe x, alterando-se
apenas os expoentes. Ento x hai = ha1 , . . . , am i.
p
Portanto, hai = hai = ha1 , . . . , am i.
I = I.
isto , P = P .
De fato, temos que
19
Da, conclumos que P P e, alm disso, j vimos que P P pelo exemplo 3.1.
P = P.
p
I(X) = I(X).
p X}
e
p
I(X) = {f K[X] / f n I(X), para algum n N}.
p
Se f n I(X), ou seja, f I(X), temos que f n (p) = 0, p X .
p
Ento, I(X) I(X).
p
I(X) = I(X).
20
3. O Ideal de um Subconjunto X K n
21
Captulo 4
O Teorema da Base de Hilbert
Denio 4.1. Um anel A dito Noetheriano se todo ideal I A nitamente gerado,
isto ,
m f1 , . . . , ft A / I = hf1 , . . . , ft i.
estacionria, isto , N N / IN = IN +1 = . . ..
c) Toda famlia F no vazia de ideais de A possui um elemento mximo, isto ,
J0 F / se J0 J, com J F, ento J0 = J.
Demonstrao.
(a)(b) Para conseguirmos fazer a demonstrao necessrio saber que o conjunto
I=
In
n=1
um ideal em A.
De fato, sejam x, y I e sejam r, s com r 6= s ndices de I , temos que x Ir e
y Is . Seja u o mximo entre os ndices r e s, isto , max{r, s} = u, temos ento
que x, y Iu e, portanto, x y Iu . Da, podemos armar que x y I .
Agora, seja x I e a A. Existe um ndice v tal que x Iv . Da, sabemos que
a x Iv , de onde podemos armar que a x I .
Isso dito, podemos continuar com a demonstrao.
22
J2
J 3
23
f1 = a1 X n1 + . . .
n2
f 2 = a2 X + . . .
f3 = a3 X n3 + . . .
..
f = a X nk + . . .
k
k
, com ai A.
no estacionria.
Suponhamos que ela seja estacionria. Assim,
ha1 , . . . , ak i = ha1 , . . . , ak+1 i
Agora, seja
g := fk+1 (b1 X nk+1 n1 f1 + b2 X nk+1 n2 f2 + . . . + bk X nk+1 nk fk ).
|
{z
}
ak+1 X nk+1 + termos de grau menor
Note que (g) < nk+1 , o que um absurdo, por construo de fk+1 .
Ento, se g I \ hf1 , . . . , fk i, temos que g I , pois f1 , . . . , fk+1 I .
Caso contrrio, se g hf1 , . . . , fk i, ento
g = b1 X nk+1 n1 f1 + b2 X nk+1 n2 f2 + . . . + bk X nk+1 nk fk = fk+1 hf1 , . . . , fk i.
O que um absurdo.
Logo, A no Noetheriano. Isso feito, o Teorema est provado.
24
Exemplo 4.2. Seja A = K[X1 , X2 , . . .], onde K um corpo. Vamos mostrar que o ideal
I = hX1 , X2 , . . .i no nitamente gerado, ou hX1 i ( hX1 , X2 i ( hX1 , X2 , X3 i ( . . ..
De fato, esta cadeia de ideais em A no estacionria, pois caso fosse teramos XN +1
hX1 , . . . , XN i, mas XN +1 uma nova varivel, o que um absurdo.
25
Captulo 5
Decomposio de um Conjunto
Algbrico em Subconjuntos Irredutveis
Denio 5.1. Um conjunto algbrico V K n irredutvel se no se decompe como
a unio de dois subconjuntos
algbricos prprios, isto , V K n irredutvel se:
V = V1 V2
V = V1 ou V = V2 .
Vi so conjuntos algbricos
Vi 6=
Y (X 1) = 0 Y = 0 ou X = 1
Y (X 1) = 0 Y = 0 ou Y = 1
Ento, V redutvel.
Lema 5.1. Seja F uma famlia no vazia de conjuntos algbricos de K n . Ento F possui
um elemento mnimo, isto , existe V0 F tal que, se W F, W V0 , ento W = V0 .
Demonstrao. Sabemos que K[X1 , . . . , Xn ] Noetheriano.
Considere a famlia F 0 = {I(V ) / V F}.
Tome um ideal mximo I(V0 ) em F 0 . Logo, V0 F mnimo.
27
29
Captulo 6
Teorema dos Zeros de Hilbert
Neste captulo estaremos apresentando a forma fraca e a forma forte do Teorema dos
Zeros de Hilbert. Alm disso, veremos que a forma forte do Teorema dos Zeros de Hilbert
implica na forma fraca deste teorema e demonstraremos que a forma fraca deste teorema
implica na forma forte do mesmo.
J.
claro perceber que a forma forte implica na forma fraca do Teorema dos Zeros de
Hilbert. Supondo que V (J) = , teremos que I(V (J)) = K[X1 , . . . , Xn ], mas pela forma
forte do teorema I(V (J)) = J . Da, temos que J = K[X1 , . . . , Xn ]. Por denio
Proposio 6.1 (forma fraca forma forte). Temos que a forma fraca do Teorema dos
zeros de Hilbert (Teorema 6.2) implica na forma forte do mesmo (Teorema 6.1).
Primeiro, sabemos que I(V (J)) J , pela propriedade 3 de ideais. Mas I(V (J)) um
p
ideal radical, ou seja, I(V (J)) = I(V (J)), pela propriedade 3.2. Ento, temos que
p
J I(V (J)).
30
um absurdo.
Ento V () = .
Pela forma fraca, conclumos que hf1 , . . . , ft , g Xn+1 1i = h1i.
Escrevemos, ento
1 = A1 (X1 , . . . , Xn+1 ) f1 (X1 , . . . , Xn ) + . . . + At (X1 , . . . , Xn+1 ) ft (X1 , . . . , Xn ) +
B(X1 , . . . , Xn+1 ) (g(X1 , . . . , Xn ) Xn+1 1).
1
Y
, temos
1
Y
) ft (X1 , . . . , Xn ) +
Logo, g
hf1 , . . . , ft i = J .
Corolrio 6.1. Seja K um corpo algebricamente fechado. Ento, existe uma bijeo que
envolve incluso:
(
Conjuntos algbricos
de K n
I()
V ()
Ideais radicais
de K[X1 , . . . , Xn ]
X I(X)
V (J) J
{Variedades algbricas} {Ideais primos de K[X1 , . . . , Xn ]}
(
Pontos de
Kn
injetora
Ideais maximais
de K[X1 , . . . , Xn ]
(a1 , . . . , an ) (X1 a1 , . . . , Xn an )
31
K[X1 ,..., Xn ]
I
um K espao vetorial de
(
K[X, Y ]
(Y 2 X 3 )
= K[x, y] onde
Neste caso,
2
K[X1 ,..., Xn ]
I
x = X + (Y 2 X 3 )
.
y = Y + (Y 2 X 3 )
0 = f = Y X = y 2 x3 .
Demonstrao do Teorema dos zeros de Hilbert (forma fraca): Teorema 6.2. Vamos
supor que J um ideal maximal.
De fato, se J M com M maximal, ento V (M ) V (J). Se V (M ) 6= , ento
V (J) 6= .
Portanto, basta mostrar que todo ideal maximal M K[X1 , . . . , Xn ] tem V (M ) 6= .
Vamos considerar
mal.
K[X1 ,..., Xn ]
M
Armao 6.2. Seja K[x1 , . . . , xn ] uma K -lgebra am que um corpo. Ento a extenso de corpos K[x1 , . . . , xn ] algbrica.
Em particular, se K algebricamente fechado, ento K = K[x1 , . . . , xn ].
Logo, existem
a1 K tal que a1 = x1 = X1 X1 a1 M
a2 K tal que a2 = x2 = X2 X2 a2 M
an K tal que an = xn = Xn Xn an M
..
.
32
maximal
hX1 a1 , . . . , Xn an i = M .
V (M ) = {(a1 , . . . , an )} =
6 .
Logo,
r
X
K[X]
I
= K[X1 , . . . , Xn ] so K -linearmente
i fi = 0, com i K
i=1
isto ,
r
X
i f i = 0
i=1
ou seja,
r
X
i fi I.
i=1
Aplicando em Pj
j =
r
X
i fi (Pj ) = 0, ou seja j = 0.
i=1
I
I
nita e, ento, #V (I) menor ou igual a esta dimenso e, portanto, nito. Alm disso,
provamos a armao 6.2.
Vamos provar agora que se #V (I) nito, ento a dimK
Temos que V (I) = {P1 , . . . , Pt } tais que
P1 = (a11 , . . . , a1n )
P2 = (a21 , . . . , a2n )
Pt = (at1 , . . . , atn )
..
.
K n.
K[X]
I
nita.
33
Sejam
f1 (X1 ) = (X1 a11 ) (X1 a21 ) . . . (X1 at1 )
f2 (X2 ) = (X2 a12 ) (X2 a22 ) . . . (X2 at2 )
..
.
Note que:
tN
tN
X
i X1
tN i
=0
i=1
tN
tN 1
tN 2
35
Referncias Bibliogrcas
[1] Atiyah, M. F. e Macdonald, I. G., Introduccin al lgebra conmutativa, Verso espanhola, Editora Revert, S. A., Barcelona, 1973.
[2] Domingues, Hygino H. e Iezzi, Gelson, lgebra Moderna, Quarta Edio, Atual Editora, So Paulo, 2003.
[3] Fulton, W., Algebraic Curves: an introduction to algebraic geometry, Benjamim, 1969.
[4] Garcia, A. e Lequain, Y., Elementos de lgebra, Projeto Euclides - IMPA/SBM, Rio
de Janeiro, 2002.
[5] Hungerford, Thomas W., Algebra, Springer, New York, 1974.