Exerccio

Aluno: Daniel Correia Lemos

(II) Z (I(S) =

S =
FS
F, F fechado
os fechados da topologia de Zariski s ao:
F = Z (I)
Primeiro faremos a inclusao.
Z (I (S))

S =
Z(I)S
Z (I)
Isto e:
Z (I (S)) Z (J) , Z (J) S, J ideal com esta propriedade.
Observe que:
Z (J) S = J I (S)
Sabemos que.
Arma cao 1 W V = Z (V ) Z (W) .
Arma cao 2 X Y = I (Y ) I (X)
Da se mostrarmos a inclusao: J I (S) pela arma cao 1 segue que
Z (I (S)) Z (J) , Z (J) S. Donde segue que: Z (I (S))
Z(J)S
Z (J) =

S,
mostrando a inclusao: J I (S) . g J, precisamos mostrar que g (x) = 0 x
S. De fato, se y S Z (J) = y Z (J) = f (x) = 0, f J em particular
para g assim g I (S) = J I (S) .

S =
Z(J)S
Z (J) Z (I (S))
Tome x S, para x Z (I (S)) temos que f (x) = 0, f I (S)
Mas observe que f I (S), signica que f (y) = 0, y S em particular
temos f (x) = 0, f I (S) .
Portanto X Z (I (S)) .
Logo Z (I (S)) e um dos fechados da interse cao

V (J)S
Z (J) =

S
como

i
A
i
A
j
, j
temos

S =
V (J)S
Z (J) I
logo
Z (I (S)) =

S
1
b) Sao isomorfos
C[x, y]
xy 1

C[x, y]
x
2
+ y 1
Observe que:
C[x, y]
xy 1
C
_
t,
1
t
_
e
C[x, y]
x
2
+ y 1
C[sen t, cos t]
mostraremos estas arma coes no futuro.
Tome
: C
_
t,
1
t
_
C[sen t, cos t]
p (t, 1/t) =

a
ij
t
i
_
1
t
_
j
(p (t, 1/t)) = p (sen t, cos t) =

a
ij
p (sen t, cos t)
=

a
ij
(sen t)
i
(cos t)
j
e claramente um homomorsmo.
Sobrejetividade de .
p (sen t, cos t) C(sen t, cos t) = p (sen t, cos t) =

a
ij
(sen t)
i
(cos t)
j
,
basta tomar no domnio o polin omio
p (t, 1/t) =

a
ij
t
i
_
1
t
_
j
A injetividade de
Nu = {p (t, 1/t) C[t, 1/t] : (p (t, 1/t)) = 0}
= {p (t, 1/t) C[t, 1/t] : p (sen t, cos t) = 0}
=
_
p (t, 1/t) :

a
ij
(sen t)
i
(cos t)
j
= 0
_
=
_
p (t, 1/t) :

a
ij
t
i
_
1
t
_
j
; a
ij
= 0
_
= {0} .
C[x, y]
xy 1
C[t, 1/t]
2
f : C[x, y] C[t, 1/t]
p (x, y) =

a
ij
x
i
y
j
f (p (x, y)) = p (t, 1\t) =

a
ij
t
i
_
1
t
_
j
f e claramente um homomormo sobrejetor por construcao da f.
Armacao:
Nu f = xy 1
xy 1 Nu f
pois
f (xy 1) = t
1
t
1 = 0.
xy 1 Nu f = xy 1 Nu f
Nu f xy 1
Tome
p Nu f = p = q (xy 1) + r, f 1 (algoritimo da divisao)
0 =
hom.
f (p (x, y)) = f (q (x, y)) f (xy 1) + f (r (x, y))
0 = f (r (x, y)) = r (t, 1/t) .
r (x, y) = 0.
Da
p (x, y) = (q (x, y)) (xy 1)
p xy 1 = Nu f xy 1
Assim
Nuf = xy 1
Logo f e um isomorsmo (Teorema dos homomorsmos).
Procedendo de maneira analoga conclumos que
g : C[x, y] C[sen t, cos t]
p (x, y) =

a
ij
x
i
y
j
g (p) =

a
ij
(sen t)
i
(cos t)
j
g e um homomorsmo sobrejetivo e tem
Nu f =

x
2
+ y
2
1
_
pelo teorema dos homomorrmo g e um isomorsmo.
3