Universidade Federal de So Carlos Centro de Cincias Exatas e de Tecnologia Departamento de Matemtica

Introduo Geometria Algbrica

Autor:

Fernanda Scabio Gonalves Luciene Nogueira Bertoncello

Orientador:

Disciplina: Trabalho de Concluso de Curso B Profs Responsveis:

Ivo Machado da Costa Liane Bordignon Vera Lcia Carbone

So Carlos, 17 de dezembro de 2010.

Introduo Geometria Algbrica

Autor:

Fernanda Scabio Gonalves Luciene Nogueira Bertoncello

Orientador:

Disciplina: Trabalho de Concluso de Curso B Profs Responsveis:

Ivo Machado da Costa Liane Bordignon Vera Lcia Carbone

So Carlos, 17 de dezembro de 2010.

Fernanda Scabio Gonalves

Luciene Nogueira Bertoncello

Resumo
Este trabalho rene os conceitos e resultados bsicos de Geometria Algbrica, visando a familiaridade com esta teoria e o domnio de seus resultados fundamentais. O estudo foi desenvolvido em duas etapas. Na primeira delas,

referente ao Trabalho de Concluso de Curso A, so abordados resultados gerais de lgebra Comutativa, como anis e homomorsmos, ideais e operaes e extenso e contrao de ideais. Tambm so apresentados os conceitos de mdulos, sequncias exatas, condies de cadeia e anis Noetherianos, com destaque ao

Teorema da Base de Hilbert. A segunda etapa, que corresponde ao Trabalho de

Concluso de Curso B, traz os conceitos e resultados fundamentais da Geometria Algbrica, como espaos ans, conjuntos algbricos, variedades ans, o Lema da

Normalizao de Noether e o Teorema dos Zeros de Hilbert, tambm conhecido

como Nullstellensatz.

Sumrio

iii

Sumrio
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Anis e Ideais . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 Anis e Homomorsmos de Anis Anis de Polinmios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

v 1
1 4 7 10 12 16 17 23

Ideais e Anis Quocientes

Divisores de Zero, Elementos Nilpotentes e Unidades. . . . . . . . Ideais Primos e Ideais Maximais . . . . . . . . . . . . . . . . . . . Nilradical e Radical de Jacobson . . . . . . . . . . . . . . . . . . . Operaes em Ideais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Extenso e Contrao de Ideais

2 Mdulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.1 2.2 2.3 2.4 2.5 2.6 Mdulos e Homomorsmo de Mdulos Submdulos e Mdulos Quocientes . . . . . . . . . . . . . . . 25 27 27 29 30 33 . . . . . . . . . . . . . . . . .

Operaes em Submdulos . . . . . . . . . . . . . . . . . . . . . . Soma Direta e Produto Direto . . . . . . . . . . . . . . . . . . . . Mdulos Finitamente Gerados . . . . . . . . . . . . . . . . . . . . Sequncias Exatas . . . . . . . . . . . . . . . . . . . . . . . . . . .

3 Anis e Mdulos de Fraes . . . . . . . . . . . . . . . . . . . . . 41

3.1 3.2 3.3 Propriedades Locais . . . . . . . . . . . . . . . . . . . . . . . . . . Extenso e Contrao de Ideais em Anis de Fraes . . . . . . . 46 47 48

Domnio de Fatorao nica . . . . . . . . . . . . . . . . . . . . .

4 Condies de Cadeia . . . . . . . . . . . . . . . . . . . . . . . . . 58 5 Anis Noetherianos . . . . . . . . . . . . . . . . . . . . . . . . . . 65 6 Conjuntos Algbricos Ans . . . . . . . . . . . . . . . . . . . . . 68

6.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68

Sumrio
6.2 6.3 6.4 6.5 6.6 6.7 Formas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Espaos Ans e Conjuntos Algbricos . . . . . . . . . . . . . . . . O Ideal de um Conjunto de Pontos . . . . . . . . . . . . . . . . . . . . . . . .

iv

75 77 80 83 86 88

Componentes Irredutveis de um Conjunto Algbrico

Subconjuntos Algbricos do Plano . . . . . . . . . . . . . . . . . . Elementos Inteiros . . . . . . . . . . . . . . . . . . . . . . . . . .

7 Teorema dos Zeros de Hilbert . . . . . . . . . . . . . . . . . . . . 93

7.1 7.2 7.3 Extenses de Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 94 96 Lema da Normalizao de Noether Teorema dos Zeros de Hilbert

. . . . . . . . . . . . . . . . . . . .

8 Variedades Ans . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
8.1 8.2 8.3 8.4 8.5 8.6 Anis de Coordenadas . . . . . . . . . . . . . . . . . . . . . . . . 99 100 102 102 104 105 Aplicaes Polinomiais . . . . . . . . . . . . . . . . . . . . . . . . Mudana de Coordenadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Funes Racionais e Anis Locais Anis de Valorizao Discreta

. . . . . . . . . . . . . . . . . . . .

Ideais com um Nmero Finito de Zeros . . . . . . . . . . . . . . .

Referncias Bibliogrcas . . . . . . . . . . . . . . . . . . . . . . . . 109

Introduo

Introduo
Quando estudamos estruturas algbricas bsicas, como grupos e anis, percebemos que determinados resultados so vlidos apenas para estruturas comutativas. Este fato, aliado possibilidade de tratarmos de duas operaes

simultaneamente, torna a estrutura dos anis mais rica e interessante do que a dos grupos. A lgebra Comutativa , essencialmente, o estudo de anis comutativos. Em particular, quando restrita aos anis de polinmios, conhecida como Geometria Algbrica. Este trabalho rene os principais conceitos e resultados desta teoria, distribudos ao longo de oito captulos. Os cinco primeiros foram desenvolvidos durante o Trabalho de Concluso de Curso A, e tratam de resultados gerais de lgebra Comutativa. Os demais, referentes ao Trabalho de Concluso de Curso B, abordam resultados mais especcos de Geometria Algbrica. No primeiro captulo so apresentados os objetos iniciais, como anis, homomorsmos e ideais. Tambm so estudados tipos especiais de ideais, como ideais principais, primos e maximais, o nilradical e radical de Jacobson; alm das operaes, extenso e contrao de ideais. Com especial ateno, abordamos o anel de polinmios e algumas propriedades. No Captulo 2, retomamos vrios conceitos e resultados do Captulo 1, referente ao estudo de mdulos: homomormos entre mdulos, mdulos quocientes e operaes em submdulos. Alm disso, apresentamos a soma direta e produto direto de mdulos, mdulos nitamente gerados e sequncias exatas de mdulos. O terceiro captulo trata de anis e mdulos de fraes, extenso e contrao de ideais em anis de fraes, e o que chamamos de propriedades locais. O Captulo 4 dedicado ao estudo das cadeias de submdulos, juntamente com as propriedades de mdulos Noetherianos ; enquanto no Captulo 5, denimos anis Noetherianos e exploramos alguns resultados envolvendo estes anis: em particular, o famoso Teorema da Base de Hilbert. No sexto captulo so introduzidos os conceitos iniciais de Geometria Algbrica, como espaos ans, conjuntos algbricos e elementos inteiros; alm

Introduo
de suas propriedades e alguns resultados fundamentais.

vi

No captulo seguinte, apresentamos o Lema da Normalizao de

Noether, seguido da demonstrao devida a Zariski do Teorema dos Zeros de Hilbert. O ltimo captulo refere-se ao estudo de variedades algbricas, abordando
conceitos como anis de coordenadas, aplicaes polinomiais e funes racionais. Por m, temos as Consideraes Finais, onde destacamos alguns pontos importantes e as principais contribuies deste trabalho.

1. Anis e Ideais

Captulo 1 Anis e Ideais

Neste primeiro captulo, denimos os conceitos bsicos da lgebra Comutativa, como anis e ideais, e apresentamos suas propriedades elementares. Depois, passamos discusso a respeito de ideais primos e maximais; e s operaes em ideais. Ressaltamos que os exemplos so apresentados no contexto de nmeros inteiros e polinmios.

1.1 Anis e Homomorsmos de Anis

Sejam num conjunto

(x, y ) x + y

(x, y ) xy

leis de composio internas

R = ,

usualmente chamadas de adio e multiplicao, respecti-

vamente. Suponhamos que 1. O conjunto

R um subgrupo abeliano em relao adio; isto , R satisfaz

as seguintes propriedades:

Associatividade: Comutatividade:

x, y, z R, (x + y ) + z = x + (y + z ); x, y R, x + y = y + x; 0R
(ou sim-

Existe elemento neutro para esta operao, denotado por plesmente temos

0)

e chamado de zero do anel, tal que para todo

x R,

x + 0 R = x. R
admite um simtrico aditivo; ou seja, para todo

Todo elemento de

x R existe um elemento em R, denotado por (x) tal que x +(x) = 0R .

2. A multiplicao associativa:

x, y, z R, ((xy )z ) = (x(yz )). x, y, z R, x(y + z ) =

3. A multiplicao distributiva em relao adio:

xy + xz

(x + y )z = xz + yz .

1. Anis e Ideais

Denio 1.1
junto

(Anel)

Nas condies expostas acima, dizemos que o con-

um anel em relao adio e multiplicao consideradas, e

denotamos por

(R, +, ). (R, +, .)
tambm satisfaz

Alm disso, se

4. A multiplicao comutativa: e

x, y R, xy = yx;

5. Existe elemento neutro da multiplicao, denotado por

1R (ou simplesmente

1)

e chamado de um ; tal que

x1 = 1 x = x,

para todo

x R;

dizemos que(R, +, ) um anel comutativo com unidade. Vejamos alguns exemplos.

Exemplo 1.2.

Os conjuntos nmericos

Q,

equipados como as operaes de

soma e multiplicao usuais, so anis comutativos com unidade. As propriedades listadas acima so facilmente vericadas para estes conjuntos.

Exemplo 1.3.

Seja

Z[i] = {a + bi : a, b Z}; + : Z[i] Z[i]

e as operaes:

Z[i]

((a + bi), (c + di)) (a + c) + (b + d)i,

e

: Z[i] Z[i]

Z[i]

((a + bi), (c + di)) (ac bd) + (ad + bc)i.

Ento

(Z[i], +, )

uma anel comutativo com unidade, chamado de

anel dos inteiros de Gauss.

Exemplo 1.4. Sejam Mnn (R) o conjunto das matrizes nn com entradas em R,
+
a adio e

a multiplicao usuais de matrizes. Sabemos que

(Mnn (R), +, )

um anel com elemento unidade, mas no comutativo se

n 2.

Exemplo 1.5. Seja o conjunto das funes contnuas f : [0, 1] R, onde esto
denidas as operaes Ento

f +g 0
e

fg

como

(f + g )(x) = f (x)+ g (x) e (f g ) = f (x)g (x). 0

e

(, +, )

um anel comutativo com unidade, onde os elementos

so

as funes constantes

1,

respectivamente.

1. Anis e Ideais

Ao longo deste texto, o termo anel signicar anel comutativo com unidade, ou seja, um anel que satisfaa os itens de (1) a (5) acima. Alm disso, chamaremos o anel

(R, +, ) apenas por R, quando no houver ambiguidade

em relao s suas operaes. Notemos que no est excluda a possibilidade de que, em (5), tenhamos

1 = 0.

Neste caso, para qualquer

x R,

temos

x = x1 = x0 = 0
e assim,

tem apenas o elemento 0, chamado de anel nulo e denotado por

0.

Considerando que um anel tambm um grupo em relao adio, vrios conceitos e resultados importantes para grupos, podem ser extendidos para o caso de anel. Em geral, estes resultados so os mesmos que para grupos, apenas acrescidos de condies sobre a operao de multiplicao; como o caso das seguintes denies.

Denio 1.6 Exemplo 1.7.

de

(Subanel)

Um subconjunto

de um anel

um subanel se

fechado em relao adio e multiplicao e se contm o elemento Os conjuntos

de

R.

R, Q

so subanis de

C.

Tambm um subanel

o conjunto

Z[i]

dos inteiros de Gauss.

Denio 1.8
funo
(i)f (x (ii)

(Homomorsmo de anis)

Um homomorsmo de anis uma

de um anel

em um anel

tal que

+ y ) = f (x) + f (y ); = 1S .

f (xy ) = f (x)f (y );

(iii)f (1R )

Notemos que a condio (i) da denio acima equivalente a dizer que

deve ser um homomorsmo de grupos.

Agora, se

f : R S
e assim,

um homomorsmo de anis, ento: (a)

f (0) = 0.

De fato,

f (0) = f (0 + 0) = f (0) + f (0) f (0) = 0.

Como

f (0)

o elemento neutro da adio, ou seja, (b) Para todo

x R, f (x) = f (x). f (x)

0 = f (0) = f (x + f (x),
ou seja,

(x)) = f (x) + f (x), f (x) = f (x).

temos que

o simtrico aditivo de

(c) Para todos

x, y R, f (x y ) = f (x) f (y ).
(b)

De fato,

f (x y ) =

f (x + (y )) = f (x) + f (y ) = f (x) f (y ).

1. Anis e Ideais

Exemplo 1.9.

A funo

p : Z Z Z,

denida por

p(x, y ) = x

e chamada de

projeo, um homomorsmo de anis:

p((x, y ) + (w, z )) = p(x + w, y + z ) = x + w = p(x, y ) + p(w, z ), p((x, y ) (w, z )) = p(xw, yz ) = xw = p(x, y ) p(w, z )
e

p(1, 1) = 1.
fcil ver que, se anis, a composio

f : R S, g : S T

so homomorsmos de

gf :RT
onde

tambm homomorsmo de anis.

Outro exemplo clssico de homomorsmo de anis a identidade

: S R, (x) = x,

subanel de

R.

1.2 Anis de Polinmios

Um dos mais importantes exemplos de anis o chamado anel de

polinmios, apresentado mais detalhadamente nesta seo.

Seja sequncia

(R, +, ) um anel.
onde

Um polinmio numa varivel sobre para todo ndice e

R uma

(a0 , a1 , ..., an , ),
Seja

ai R

ai = 0

somente para

um nmero nito de ndices.

o conjunto dos polinmios numa varivel sobre

R.

Em

R,

denimos as seguintes operaes:

:RRR
tal que

(a0 , a1 , ...), (b0 , b1 , ...) (a0 + b0 , a1 + b1 , ...) :RRR

tal que

(a0 , a1 , ...), (b0 , b1 , ...) (c0 , c1 , ...)

onde

c 0 = a0 b 0 c = a0 b 1 + a1 b 0 1
. . .

cn = a0 bn + a1 bn1 + ... + an1 b1 + an b0 . .

.

1. Anis e Ideais
fcil ver que

(R, , )

um anel, e que

o elemento neutro de o elemento neutro de

(0, 0, 0, ...); (1, 0, 0, ...);

com respeito a operao

o simtrico aditivo de elemento

(a0 , a1 , ..., an , ...)

(a0 , a1 , ..., an , ...). R comutativa, pois a multiplicao R,

ento o smbolo

Alm disso, a multiplicao de de

comutativa.

Se

(a0 , a1 , ..., an , ...)

um elemento de

(a0 , a1 , ..., an , )n

representa o elemento

(a0 , a1 , ..., an , ...)

(a0 , a1 , ..., an , ...)

n
vezes

(a0 , a1 , ..., an , ...) .

Usando as denies de

, vemos que

(0, ..., 0, an , 0, 0, ...) = (an , 0, ...)

e que

(0, ..., 1 , 0, ...),

n+1

(0, ..., 0, 1 , 0, ...) = (0, 1, 0, ...)n .

n+1
Assim, temos

(a0 , a1 , ..., an , 0, 0, ...) = (a0 , 0, 0, ...) [(a1 , 0, 0, ...) [(a2 , 0, 0, ...) [(an , 0, 0, ...) (0, 1, 0, 0, ...)n ]. X
para dee tam-

(0, 1, 0, 0, ...)] (0, 1, 0, 0, ...)2 ]

Para facilitar a notao, costuma-se usar o smbolo signar o elemento bm substituir

(0, 1, 0, ...),
e por

escrever apenas e

ai

ao invs de

(ai , 0, 0, ...)

respectivamente.

Dessa forma, o elemento e ento

(a0 , a1 , ..., an , 0, ...) R = {

n i=0

representado pela soma

a0 + a1 X + ... + an X n , (R, +, )
por

ai X i : ai R, n N}. R.

As operaes neste anel so a soma e a Denotamos

multiplicao usuais em polinmios.

R [X ],

o anel de

polinmios numa varivel sobre

Denimos o grau do polinmio inteiro

F (X ) R[X ], F (X ) = 0
n
, com

como o

tal que

F (X ) = a0 + a1 X + ... + an X

an = 0 .

O elemento

an

chamado coeciente dominante do polinmio, e o polinmio dito mnico se

an = 1.
De forma semelhante ao anel em

Z,

existe um Algoritmo da Diviso

R[X ],

conforme o teorema a seguir.

1. Anis e Ideais

Teorema 1.10

(Algoritmo da Diviso)

Dados

F = a0 + a1 X + . . . + an X n
onde

g = b0 + b1 X + . . . + bm X m
unidade. Ento existem

em

R [X ],

com

G=0

e seu coeciente dominante

A, B R[X ]

tais que

F = G A + B,

B =0

ou

deg B < deg G.

Demonstrao : Se
e

F = 0,

ento

A = B = 0, G=0
e

pois

0 = G 0 + 0.
pois

Caso

F =0
e, por

deg F < deg G,

basta tomarmos

B = F,

G0+F = F

hiptese,

deg F < deg G.

Por m, se

F =0

deg F deg G,
e da

procedemos por induo sobre e

deg F . A=

Se

deg F = 0, B = 0,

ento

deg G = 0, a0 =

F = a0 + 0.

G = b0 .

Basta tomar

1 b 0 a0 e

uma vez que

1 b0 (b 0 a0 )

Suponhamos agora que

deg F = n n.
e Seja

e que o teorema se verique

para todo polinmio de grau menor que

1 nm F 1 = F an b G. m X

Se

F1 = 0
temos

ou

deg F1 < deg G,

e tais que

ento

B = F1

A =

1 nm . Caso contrrio, an b m X

deg F1 n 1

deg F1 deg G.

Pela hiptese de induo, existem

A1 , B1 R[X ]

F1 = G A1 + B1 ,
Logo

com

B1 = 0

ou

deg B1 < deg(G).

1 nm F an b G = G A1 + B1 m X
e assim

1 nm F = G (A1 + an b ) + B1 , m X

com

B1 = 0

ou

deg B1 < deg G.

Por induo, podemos denir o anel de polinmios em

variveis

sobre o anel

do seguinte modo:

R[X1 , ..., Xk ] = (R[X1 , ..., Xk1 ])[Xk ].

Examinemos mais detalhadamente o caso

k = 2.

Por denio,

R[X1 , X2 ] = (R[X1 ])[X2 ],

e ento um elemento deste anel da forma

((a00 , a01 , ..., 0, ...), ..., (an0 , an1 , ..., 0, ...), ..., (0, 0, ...), ...)
com

aij R i, j .
Representando

((0, 1, 0, ...), (0, 0, ...), ...)

por

por

X1

((0, 0, ...), (1, 0, ...), (0, 0, ...), ...)

X2 ;

o elemento acima se escreve como

n a0 (X1 ) + a1 (X1 )X2 + ... + an (X1 )X2

1. Anis e Ideais
onde

2 a0 (X1 ) = a00 + a01 X1 + a02 X1 + ... a1 (X1 ) = a10 + a11 X1 + a12 X 2 + ... 1 . . . a (X ) = a + a X + a X 2 + ... n 1 n0 n1 1 n2 1

1.3 Ideais e Anis Quocientes

Denio 1.11
que
(Ideal)

Um ideal em um anel

um subconjunto

de

R,

tal

um subgrupo aditivo e que Seja

RI I ;

isto , se e

xR

y I, R,

ento

xy I .

Exemplo 1.12.
ideais triviais.

um anel. Ento

{0}

so ideais em

chamados de

Exemplo 1.13.
f,
em

Seja

f : R S

um homomorsmo de anis. denotado por

O ncleo de um ideal

denido como o conjunto

{x R : f (x) = 0},

ker f ,

R.

De fato,

ker f

um subgrupo aditivo (fato j conhecido para o caso de

homomorsmo de grupos) e

y R, x ker f f (xy ) = f (x) f (y ) = 0 f (y ) = 0 xy ker f.

Entretanto, a imagem de

f,

denido

como

conjunto

{y S : f (x) = y,

para todo

x R }, 2Z

e denotado por Im(f ), um subanel de

S.

Exemplo 1.14. Exemplo 1.15

ideal em algum

O conjunto

dos inteiros pares um ideal em

Z. Z.

Mais

geralmente, o conjunto

nZ

dos mltiplos inteiros de

n,

so os ideais em

(Ideal Principal)

Seja

x R,

ento

Rx = {ax : a R} x.
Se

um para

R,

denotado por

(x)

e chamado de ideal gerado por

I = ( x)

x R,

ento dizemos que

um ideal principal.

Como e portanto, de

anel comutativo, ento o ideal

um subgrupo normal,

R/I

um grupo quociente. Seus elementos so classes de equivalncia

x R,

denotados por

x = x + I. x +
e

tambm chamado de como

I -resduo

de

em

R.

Denindo as operaes

em

x + y = (x + I ) + (y + I ) = (x + y ) + I = x + y

1. Anis e Ideais
e

x y = (x + I )(y + I ) = xy + I = xy,
temos que

R/I

um anel, com

1 = 1+I

0 = I,

chamado de anel quociente.

Algumas vezes utilizamos a notao

x y (mod I ) x + I,

para dizer que

x y I.
que leva

Com estas operaes, temos que a funo cada

: R R/I ,
De fato, se

xR

a sua classe de equivalncia

um homomorsmo sobrejetor de

anis, chamado de homomorsmo natural de temos que:

em

R/I .

x, y R,

(x + y ) = (x + y ) + I = (x + I ) + (y + I ) = (x) + (y ); (xy ) = xy + I = (x + I ) (y + I ) = (x) (y )

e

(1) = 1 + I.
Assim como para o estudo de grupos, um resultado fundamental o Teorema do Isomorsmo para Anis.

Teorema 1.16 (Teorema Fundamental de Homomorsmo para Anis Comutativos). Seja f : R S um homomorsmo sobrejetor de anis; e seja : R
R/ ker f
tal que o homomorsmo natural. Ento existe um isomorsmo

: R/ ker f S

= f.

Demonstrao : A situao descrita pode ser representada pelo seguinte diagrama:

R HH

HH HH HH H#

/ v; S v vv v vv v v

R/ ker f
Denindo a funo temos que

: R/ ker f S
A funo

como

(x + ker f ) = f (x),
Basta agora

(x) = (x + ker f ) = f (x).

temos

est bem denida pois, se

x + ker f = y + ker f ,
mostrar que

x y ker f

e, portanto,

f (x) = f (y ).

um isomorsmo. homomorsmo, pois

((x + ker f ) + (y + ker f )) = ((x + y ) + ker f ) = f (x + y ) = f (x) + f (y ) = (x + ker f ) + (y + ker f ), ((x + ker f )(y + ker f )) = (xy + ker f ) = f (xy ) = f (x) f (y ) = (x + ker f ) (y + ker f ),

1. Anis e Ideais
e

(1 + ker f ) = f (1) = 1.
Como

sobrejetor, para qualquer Assim,

y S,

existe

x R

tal que

f ( x) = y .
e

Ento

(x + ker f ) = f (x) = y .
Assim,

sobrejetor.

Agora, suponha que

(x + ker f ) = (y + ker f ), ento f (x) = f (y )

Portanto, em

x y ker f .

x + ker f = y + ker f .

injetor. tal que

Logo

um isomorsmo de

R/ ker f

S,

= f.

Corolrio 1.17.
quociente

Qualquer imagem homomrca de um anel

isomorfo a um

R/I

de

por um ideal

I.

Teorema 1.18.
ncleo. Ento

Seja

f :RS

um homomorsmo sobrejetor de anis; e

seu

um subanel (ideal) de

que contm

K R

se, e somente se, contendo

f (H )

subanel (ideal) de

S.

Alm disso, se

um ideal de

ento

x + I f (x) + I, I = f (I )
um isomorsmo de

R/I

em

S/I .

Demonstrao : Como a imagem por um homomorsmo um subanel, claro

que se

um subanel de

R,

ento

f (H )
temos

subanel de

S.

Se

for um ideal em existe

R,

temos que

f (H )

um subgrupo do grupo

(S, +).

Se

x S,

xR

tal e

que

f ( x) = x .

Assim, para um ideal.

h H,

f (h)x = f (h)f (x) = f (hx) f (H ), S, R.

ento

portanto,

f (H )

Se do grupo

f (H )

um subanel (ideal) em

f 1 (H )

um subgrupo

(R, +),

e tambm subanel (ideal) de

Segue que a correspondncia e dos subgrupos

biunvoca entre o conjunto dos subgrupos de de

(R, +) contendo K

induz uma correspondncia biunvoca entre os conjuntos dos subanis e

tambm entre os ideais contidos nos subgrupos. Alm disso,

x + I f ( x) + I R
contendo

um isomorsmo de grupos entre e

R/I

S/I ,

se

um ideal em

I = f (I ).

Como

(x + I )(y + I ) = (xy + I ) f (xy ) + I = f (x)f (y ) + I = (f (x) + I )(f (y ) + I )

temos um isomorsmo de anis. Em particular, tomando o homomorsmo natural temos

: R R/I ,

ker = I .

Como

(J ) (K )

se

J K

(fato vlido para funes em

geral), temos o seguinte corolrio.

1. Anis e Ideais

10

Corolrio 1.19.
entre os ideais

Existe uma correspondncia biunvoca que preserva a ordem

de

que contm

I,

e os ideais

de

R/I , R.

dada por

J = 1 (J ).

Corolrio 1.20.

(i) Seja

I J
em

ideais em um anel

Ento existe um homo-

morsmo natural de

R/I I

R/J . R,
em e

(ii) Seja

um ideal em um anel

subanel de um anel onde

S.

Ento existe um homomorsmo natural de

R/I

S/IS ,

IS

o ideal em

gerado por

I. : R/I R/J
tal que

Demonstrao : (i) Basta tomar

bem denido pois, se homomorsmo.

(a + I ) = a + J .

Est

a + I = b + I , ento a b J , e a + J = b + J .

Claramente,

(ii) A funo

: R/I S/IS ,

tal que

(a + I ) = a + IS

homomorsmo, e est bem denida, uma vez que

a+I = b+I

implica em

a b I IS

a b S.

1.4 Divisores de Zero, Elementos Nilpotentes e Unidades.

Um divisor de zero em um anel existe com

um elemento

x,

para o qual

y=0

em

tal que

xy = 0.

Um anel sem divisores de zero no nulos, e

1 = 0,

chamado domnio de integridade (ou simplesmemte, domnio ).

Exemplo 1.21. Exemplo 1.22.

Os conjuntos nmericos

Z, Q, R

C,

com as operaes usuais,

so domnios. Tambm um domnio o conjunto O conjunto

Z[i]

dos inteiros de Gauss.

das funes contnuas

f : [0, 1] R

um anel,

conforme o Exemplo 1.5. Entretanto, podemos considerar duas funes assim denidas:

em

f ( x) =

0,

se

1 0x 2 ;
se

x 1 , 2
1 2

1 2

x 1.
1 0x 2 ;

g (x) =
claro que domnio.

x + 1 , 2 0,
e
se

se

x 1.
mas

f 0

g 0,

f g 0.

Portanto,

no um

1. Anis e Ideais

11

Em particular, existem domnios de integridade cujos ideais so todos principais, como o anel

(Exemplo 1.14).

Neste caso, dizemos que o

domnio um domnio principal. O resultado a seguir decorre diretamente do Algoritmo de Diviso para

K [X ],

onde

corpo, e nos fornece um exemplo de domnio principal.

Proposio 1.23.
Demonstrao :
Suponhamos

Seja

um corpo. Ento

K [X ]
Se

um domnio principal.
no h o que fazer.

Seja

um ideal em

K [X ].

I = 0,

I = 0.

Seja

F I
com

um polinmio no nulo de menor grau possvel.

Armamos que tais que

I = (F ).

De fato, se

G I,
ou

existem polinmio

em

K [X ]
pois

G = F A + B,
devemos ter

B = 0

deg B < deg F . I = (F ).

Como

B I,

H, F I ,
e

deg B = 0,

pela minimalidade de

deg F .

Logo

H = F.A,

H (F ).

A outra incluso bvia e, portanto,

Dizemos que um elemento inteiro

x R nilpotente

se

xn = 0 para algum
Portanto,

n > 0.

Obviamente, se

nilpotente, ento

0 = xn = x xn1 .
tal que

um elemento nilpotente divisor de zero, mas a recproca no vlida em geral. Uma unidade em

um elemento

xy = 1

para algum

y R. x
1

O elemento

y R

determinado de forma nica por formam um grupo abeliano

x,

e denotado por

. As unidades em

UR

em relao a operao de

multiplicao. De fato,

1 UR ,
se se

obviamente; ento

x, y UR , x UR ,

(xx1 )(yy 1 ) = 1 (xy )((x1 )(y 1 )) = 1 xy UR .

ento

xx1 = 1 x1 UR . Z,
cujas unidades so

Como exemplo, consideremos o anel Alm disso, observemos que qualquer anel

1.

(1) = Z = (1).
tal que

Na verdade, este fato vlido para

R:

se

x R
ento

uma unidade, ento

(x) = R = (1).
e logo

De fato, se Como

unidade, ento existe

x1 R

xx1 = 1,
tal que

1 (x).

(x) x

ideal que contm

1,

R (x)

e, portanto,

(x) = R. xy = 1,

Por outro lado, se concluindo que

(x) = R,

ento

1 (x). R. R

Assim, existe

yR

uma unidade em

Quando

um anel no qual

1 = 0

e todo elemento no nulo

uma unidade, dizemos que Com efeito, seja

um corpo. Todo corpo domnio de integridade.

um corpo e Assim,

x = 0 R.

Supondo que

xy = 0,

ento

0 = x1 0 = x1 xy = y .

no divisor de zero.

1. Anis e Ideais

12

Entretanto, nem todo domnio de integridade corpo: basta considerar que

um domnio de integridade, mas no corpo, pois suas nicas e

unidades so

1.

O resultado a seguir nos fornece uma caracterizao de um corpo em termos de ideais.

Proposio 1.24.
equivalentes: (i)

Seja

R = 0

uma anel.

Ento as seguintes armaes so

um corpo.

(ii) Os nicos ideais em

so

(1). R
em um anel

(iii) Todo homomorsmo no nulo de Demonstrao : (i)

injetor.
Ento

(ii). Seja

um corpo e

I =0

um ideal em

R.

contm um elemento

x = 0.

Como

corpo, temos que

uma unidade e

I (x) = (1) = R.
(ii) um ideal

Logo,

I = (1) = R. f :RS f
homomossmo de anis. Ento

(iii). Seja

(ker f

= (1)
(iii)

pois, se

ker f = (1),

teremos

a funo identicamente nula.

Assim, Ker(f )

=0

e, portanto,

homomorsmo injetor.

(i). Tomemos

xR

no unidade. Ento

(x) = (1), R R
em

e da com

S = R/(x)
Ker() sendo

no nulo. Seja

:RS

o homomorsmo natural de

S,

= (x).

Por hiptese,

injetor, e assim,

(x) = 0 x = 0.
conclumos que

Portanto, corpo.

o nico elemento que no unidade em

R,

1.5 Ideais Primos e Ideais Maximais

J vimos que todo ideal em consideremos um ideal mente

Z da forma (x), x Z.
temos

Em particular, e, necessaria-

(p), p

primo. Se

mn (p),
e logo

mn = kp
ou

m (p)
Sendo

ou

n (p).

Alm disso, se ou

(p) (q ), q

inteiro; ento

p (q ),

com Esta

p = hq .

primo,

h=1

q = 1;

(p) = (q )

(q ) = (1) = Z.

discusso motiva as duas prximas denies.

Denio 1.25
implicar que

(Ideal Primo)

Um ideal

primo se

P = (1)

e se

xy P

xP

ou

y P. 2Z
um ideal primo em

Exemplo 1.26.
claro que se

O ideal

Z;

enquanto que

4Z

no . ou

xy 2Z,

ento

xy = 2n

para algum

n Z.

Assim, mas

x 2Z

y 2Z.

Em relao a

4Z,

basta considerar que primo em

2 2 = 4 4Z,
De fato, se

2 / 4Z.
ento

Exemplo 1.27.

O ideal

(X )

Z[X ].

pq (X ),

pq

um polinmio sem termo constante. Mas o termo constante de um produto de

1. Anis e Ideais
polinmio o produto dos seus termos constantes; e assim, ou termo constante, isto , pertence a

13

ou

no possui

(X ).
Um ideal

Denio 1.28 (Ideal Maximal).

existir um ideal

maximal se

M = (1)

e se no

tal que O ideal

M 2Z n

(1). Z.
De fato, suponha que exista um

Exemplo 1.29.
ideal

maximal em

em

Z,

tal que

2Z

J.

Ento existe

x J

tal que

x / 2Z;

e assim Logo

x = 2n + 1, J = Z.

para algum

inteiro. Mas

x = 2n + 1 1 = x 2n J .

A proposio a seguir apresenta algumas armaes envolvendo ideais primos e maximais e domnios de integridade.

Proposio 1.30.
(ii)

(i)

primo

R/P

domnio de integridade. corpo.

maximal

R/M

(iii) Todo ideal maximal primo. (iv) O ideal nulo primo

domnio de integridade.

Demonstrao : (i) Tomemos

primo, temos que portanto, com

x, y R/P . y P.
com

Ento,

xy = 0 xy P x=0

e, sendo ou

xP

ou

Mas isso o mesmo que

y = 0;

R/P

um domnio de integridade. Por outro lado, supondo

xy P

x, y / P,

teremos

xy = 0

x=0

y = 0,

e ento

R/P

no domnio de

integridade. (ii) Considerando Tomemos

M = (1)

maximal, existe

x = 0, x R/M.
Assim,

(x) em R.

Como

(x) ideal e M (x), temos que (x) = (1). R/M 0

e

uma unidade, e

R /M

corpo. Agora, supondo

corpo, pela Proposio

1.24, seus nicos ideais so que

(1).

Pela Proposio 1.19, se

ideal em

tal

M I,

para certo ideal (iii) Se

I,

ento

I = (1)

e, portanto,

maximal.

maximal, por (ii),

R/M

corpo. Como todo corpo

domnio de integridade, primo.

R/M

domnio de integridade. Finalmente, por (i),

(iv) claro que se o ideal

primo, ento Logo

xy 0 xy = 0, xy 0,
com

com

x0

ou

y 0,

signica que

x=0 0

ou

y = 0.

domnio de integridade.

Por outro lado, supondo que

no seja primo, temos que com

x / 0 0

y / 0.

Isto quer dizer que

xy = 0,

x = 0

y = 0,

ou seja, que

possui

divisores no nulos de zero, contrariando o fato de ser domnio de integridade.

Quando consideramos

R,

em particular, um domnio de ideal prin-

cipal, obtemos a recproca do item (iii). Com efeito, se

(x) = 0

um ideal primo

1. Anis e Ideais
em

14

( x)
e

(y ),

temos que logo

x (y ),
com

isto ,

x = yz
Ento

para algum

z R.
e

Assim, Logo

yz (x) y

y / (x);

z (x),

z = tx.

x = yz = ytx

yt = 1.

unidade e

(y ) = R.
Analisemos agora o comportamento de ideais primos e maximais

sob ao de homomorsmos de anis. Se e

f :RS

um homomorsmo de anis

um ideal primo em

S,

ento

f 1 (P )

um ideal primo em Como

R.

De fato, se ou

xy f

(P ),

ento

f (x) f (y ) = f (xy ) P .
ou

primo,

f (x) P

f (y ) P ,

e assim

x f 1 (P )

y f 1 (P ).

Portanto,

f 1 (P )

primo.

Considerando o homomorsmo

: R/f 1 (P ) S/P x + f 1 (P )
temos que

f (x) + P , S/P ,
e portanto,

T = Im( ) = f (R) + P

subanel de

R/f 1 (P ) = T.
domnio

Alm disso,

R/f 1 (P ) no possui divisores no nulos de zero, pois S/P

No entanto, se

de integridade (item (i) da Proposio 1.30).

M um ideal maximal em S , f 1 (M) pode no ser R = Z, S = Q

e

maximal em pois

R.

Por exemplo, tome

M = 0: 0

maximal em

Q, Z.

corpo; mas

f 1 (0) = 0

no maximal em

Z,

uma vez que

0 2Z

A demonstrao a seguir uma simples aplicao do Lema de Zorn. Antes de enunci-lo, faamos algumas consideraes. Seja uma relao temos

um conjunto no vazio parcialmente ordenado; isto , existe

xy

em

que reexiva e transitiva, e tal que se

xy

y x,

x = y.

Um subconjunto

de

uma cadeia se

xy

ou

y x para cada

par de elementos

x, y T .
Se toda cadeia

Lema 1.31 (Lema de Zorn).

em

de

possui um elemento maximal

S,

ento

possui ao menos um elemento maximal. Todo anel

Teorema 1.32.

R=0

tem ao menos um ideal maximal.

Demonstrao : Seja

o conjunto de todos os ideais diferentes de

(1)

em

R.

Em

considere a relao de ordem dada pela incluso.

no vazio, pois

0 .

Para aplicar o Lema de Zorn, devemos mostrar que toda cadeia em limitante superior em Seja pois

tem um

.
de ideais em

(I ) uma cadeia .

Seja

I=

I . Ento

1 / I,
uma

1 / I

para todo

Armamos que

um ideal. De fato, como

reunio de ideais, temos que:

0 I;

1. Anis e Ideais

se

15

x, y I ,

ento ou

x I

y I .

Mas, como

I I

ou

I I ,

segue

que

x, y I

x, y I ,

e portanto,

x + y I.

se

x I,

ento

x I ; a R;
e

ax I

para todo Assim,

I ,

um limitante superior da cadeia. Ento, pelo

Lema de Zorn,

tem um elemento maximal.

Corolrio 1.33.
R
contendo

Se

I = (1)

um ideal de

R,

ento existe um ideal maximal de

I. R/I .
tal que Pelo Teorema 1.32,

Demonstrao : Consideremos
maximal

R/I

contm um ideal

M;

e, pelo Corolrio 1.19, existe ideal

de

tal que

I M R. J = (1),
e

Tomemos um ideal

em

M R

J R. M
e contm

Novamente utilizando o

Corolrio 1.19, temos assim,

M M

J R/I .

Como

maximal, ento

J = R.

Portanto

maximal em

I.

Corolrio 1.34.
maximal. Demonstrao : Se
anterior,

Todo elemento no unidade de

est contido em um ideal

I = (1), M

ento

no contm elemento unidade. Pelo corolrio

I M,

com

maximal.

J vimos que os nicos ideais em um corpo o nico ideal maximal em

so os triviais. Assim,

o ideal

0.

Anis com um nico ideal maximal so chamado corpo residual. Um

chamado de anis locais, e o corpo

K = R/M

anel com apenas um nmero nito de ideais maximais dito semi-local. A proposio a seguir fornece um mtodo para determinar se um dado anel

ou no anel local.

Proposio 1.35.
x RM
maximal.

(i) Seja

um anel e

M = (1) R

um ideal de

tal que todo seu ideal

uma unidade em

R.

Ento

um anel local e

M R,

(ii) Seja elemento de local.

uma anel e

um ideal maximal de

tal que todo

1 + M = {1 + x : x M}

uma unidade em

R.

Ento

um anel

Demonstrao : (i) Todo ideal

contidos em

I = (1)

consiste de no unidades e, ento, esto

M.

Assim,

o nico ideal maximal de Como

R. x
e

(ii) Seja

x R M. x

maximal, o ideal gerado por

M (1).
e assim,

Da existem

y R e t M tal que xy + t = 1, ento xy = 1 t 1+ M

unidade e, por (i),

xy

unidade. Portanto,

anel local.

1. Anis e Ideais

16

Exemplo 1.36. Z4
Com efeito,

anel local, pois seu nico ideal maximal

0, 2

= Z2 .

so unidades em

Z4 ;

e pela Proposio 1.35,

local, com

ideal maximal

Z2 .
O mesmo vericado para

Z9 ,

com ideal maximal

Em geral,

Zp2 , p primo, anel local, com ideal maximal

0, 3, 6 = Z3 . 0, p, 2p, , (p 1)p =

Zp .

1.6 Nilradical e Radical de Jacobson

Recordemos que um elemento

nilpotente se

xn = 0 0,

para algum

n>0

inteiro. Por exemplo, em

Z,

o nico elemento nilpotente

que constitui

o ideal trivial um anel

0.

Na verdade, o conjunto de todos os elementos nilpotentes de

formam um ideal

R , o nilradical de

R;

conforme mostra o seguinte

resultado.

Proposio 1.37.
R
um ideal, e

O conjunto

R de todos os elementos nilpotentes em um anel

R/

R no possui elemento nilpotente no nulo. R um ideal em

Demonstrao : Primeiramente, vejamos que

R:

0
se

R , obviamente. R , com

x, y

xm = 0

y n = 0,

ento

(x + y )m+n1 = xm+n1 +

m+n1 1

xm+n2 y + +

m+n1 m+n2

xy m+n2 + y m+n1 xr y s ,
R.
onde

soma de inteiros mltiplos de produtos Como no podemos ter e assim

r + s = m + n 1.

r<m

s < n,

cada um destes produtos se anula,

(x + y )

m+n1

= 0.

Portanto

x+y
se

se

R , ento

(x)n = xn = 0, x
ento

par; e

(x)n = (xn ) = 0,

se

mpar. Portanto,

R.

se

R e

y R,

(yx)n = y n xn = 0.

Logo

yx

R.
Ento

Agora, seja representado por

x R/
n

R representado por n R

x R.
n k

xn

, e assim

x = 0 x

(x ) = 0

para algum

k > 0.

Portanto

x = 0.

1. Anis e Ideais
Denotamos

17

R simplesmente por

quando no causar ambiguidade. .

A seguinte proposio nos d uma denio alternativa para

Proposio 1.38.
de

O nilradical de

a interseco de todos os ideais primos

R.
a interseco de todos os ideais primos de

Demonstrao : Seja
nilpotente e se e da

R.

Se

f R

um ideal primo, ento

fn = 0 P
.

para algum inteiro

n > 0,
o

f P,

pois

primo. Assim,

Por outro lado, suponha que conjunto dos ideais vazio, pois conjunto Seja

no seja nilpotente.

Seja

com a propriedade de que

n > 0 fn / I.

Ento

no

0 .

Como na Proposio 1.32, o Lema de Zorn pode ser aplicado ao

, ordenado pela incluso, garantindo que tem um elemento maximal. .

Mostraremos que contm

um elemento maximal de Ento os ideais

um ideal primo. Sejam estritamente e assim no

x, y / P.
pertence a

P + (x), P + (y )
n

Logo

P + (x), f P + (y ) f m+n P + (xy ),

para certos

m, n.
no pertence e portanto

Segue que a

e ento o ideal

P + (xy )

e da .

xy / P.

Assim temos um ideal primo

tal que

f / P,

f /

O Radical de Jacobson J todos os ideais maximais de

de

denido como a interseco de

R.

Tambm pode ser caracterizado como segue:

Proposio 1.39. x J 1 xy
Demonstrao : Suponha que
pertence a um ideal maximal

uma unidade em

para todo

y R. 1 xy

1 xy M,

no seja unidade. Pelo Corolrio 1.34,

mas

xJ

M,

pela denio de

. Assim

xy M,
e

e ento

1 M, (1),

o que um absurdo.

Agora suponha

x / M

para algum ideal maximal para algum

M.

Ento

geram o ideal

e temos

u + xy = 1

uM J Z,

e algum

y R. R.

Assim

1 xy M R

e portanto, no unidade. em todo anel

Como todo ideal maximal primo, ento Entretanto, se

um domnio principal, como o caso de

todo ideal primo

maximal, e portanto,

=J

1.7 Operaes em Ideais

Se de todos

so ideais em um anel e

R,

sua soma

I+J

o conjunto

x+y

onde

xI

y J.

Este o menor ideal contendo

J.

Mais

1. Anis e Ideais
geralmente, denimos a soma

18

i I

Ii

para qualquer famlia de ideais onde

Ii

de

R:

seus elementos so todas as somas

xi ,

xi Ii

para todo

i I.

A interseco de qualquer famlia

(Ii )iI

de ideais um ideal. O

produto

IJ

de dois ideais

I, J

um ideal em

R, formado por todas as somas nitas I n (n > 0)

de um

xi y i
ideal

onde cada

xi I

e cada

yi J .

Da mesma forma, denimos o produto

de qualquer famlia nita de ideais. Em particular as potncias

esto denidas. Convenientemente,

I = (1);

e ento

I (n > 0)
pertence a

o ideal

gerado por todos os produtos

x1 x2 ...xn
e

no qual cada fator

xi

I.

Exemplo 1.40.
comum; e

Se

R = Z, I = (m) m
e Neste caso,

J = (n),

ento

I +J

o ideal gerado pelo

mximo divisor comum de

n; I J

o ideal gerado pelo mnimo mltiplo so primos entre si.

IJ = (mn).

IJ = I J m, n

As trs operaes em ideais acima denidas (soma, interseco e produto) so associativas e comutativas. Tambm est satisfeita a Lei Distribu-

tiva

I (J + K ) = IJ + IK.
De fato, como

IJ I (J + K ) x= R, ai b i +

IK I (J + K )
ento e

ento

IJ + IK
com

I (J + K ).

Por outro lado, se e

x I (J + K ),
i i
temos que

x =
e

ai (bi + ci ),

ai I, bi J

ci K .

Logo

ai c i ,

x IJ + IK . I K K;
bem como est em

Em qualquer anel

I J J
Assim,

ambas as interseces so subconjuntos de

I.

(I J ) + (I K )

K +J

I,

e portanto,

(I J ) + (I K ) I (J + K ).

A incluso contrria no vlida em geral, sendo substitudo pela

Lei Modular :

I (J + K ) = I J + I K
se

I J

ou

I K.

Obviamente, se e

J I, I J = J,
Logo

e da

I J +I K =
A

J +I K J +K

J + I K I. I K. Z
e

I J + I K I (J + K ). IK
ou

vericao anloga para

Em particular, em Isso porque se

no necessrio exigir que

I J.
com

x I (J + K ), d=
mdc(j, k ) e

(i) = I, (j ) = (J ), (k ) = K ;
para certos

ento

x = ar,

r=

mmc(i, d) e e

= j + k , i | cj

, Z.

Como tambm

x = bi = cd,

d|j Z,

d | k;

temos

i | ck .

Assim,

x = (cj ) + (ck ) = x (I J + I K ).

(mi) + (ni),

para certos

m, n

inteiros; o que implica que

Portanto, no anel relao a outra.

a interseco e a adio de ideais so distributivas uma em

Em geral,

(I + J )(I J ) IJ ,
Novamente, em

uma vez que

(I + J )(I J ) =

I (I J ) + J (I J ) IJ .

Z vale a igualdade (I + J )(I J ) = IJ ,

1. Anis e Ideais
uma vez que mmc(i, j )

19

mdc(i, j ) = i j . IJ I J ; I, J
e ento

Claramente,

I J = IJ

desde que Assim,

I + J = (1).

Dizemos que os ideais

so comaximais se

I + J = (1). x + y = 1.
ento

para ideais comaximais, temos que

I J = IJ . xI
e

Tambm fcil ver que tais que

I, J

so

comaximais se, e somente se, existem

yJ

Proposio 1.41.

Se

Ii , Ij

so comaximais sempre que

i = j,

Ii =

Ii .

Demonstrao : Por induo sobre

visto anteriormente. Suponha

n.

Para

n=2

a armao vlida, conforme

J=
com

n1 i+1 Ii

=
e

n > 2 e que o resultado seja vlido para I1 , ..., In1 . Seja n1 i=1 Ii . Como os ideias so comaximais, por hiptese, temos que 1 i n 1;
Fazendo e ento existem equaes do tipo

Ii + In = (1) xi Ii

para

xi + y i = 1 ,

yi In .

n1

n1

xi =
i=1
onde

(1 yi ) = 1 ,
i=1

In ,

pois uma soma cujos termos so produtos de

yi .

Assim,

n1

xi 1(mod In ).
i=1
Como isto ,

xi = x J

x = 1 ,

obtemos

In

so comaximais;

In + J = (1).

Logo, a hiptese de induo nos garante que

Ii = J In = J In =
i=1 i=1

Ii .

Sejam

R1 , ...Rn

anis. O produto direto

R=
i=1
o conjunto de todas as sequncias

Ri
com

x = (x1 , ..., xn )

xi Ri ,

com adio

e multiplicao denidas componente a componente. com elemento unidade

um anel comutativo denidas por

(1, ..., 1).

Temos as projees

pi : R Ri ,

p i ( x) = xi , :R

que so homomorsmo de anis. Seja

R um anel e I1 , ..., In

ideais em

R.

Denimos o homomorsmo Para este homomor-

n i=1 (R/Ii ) pela regra

(x) = (x + I1 , ..., x + In ).

smo, tem-se:

1. Anis e Ideais

20

Proposio 1.42.
sempre que

(i)

sobrejetor se, e somente se,

Ii , Ij

so comaximais

i = j.
(ii)

injetor se, e somente se,

Ii = 0.

Demonstrao : (i) Sem perda de generalidade, mostremos que I1 e I2 so comaximais. Existe

x R tal que (x) = (1, 0, ..., 0); da x 1(mod I1 ) e x 0(mod I2 ) 1 = (1 x) + x (I1 + I2 ).

Por outro lado, suciente mostrar que, por exemplo, existe um

de tal forma que

elemento equaes

xR

tal que

(x) = (1, 0, ..., 0). ui I2

e e

Como

I1 + Ii = (1)(i > 1), x =

n i=2

temos ento como

ui + vi = 1,

com

vi I1 .

Tomemos Da

vi ,

x=

(1 ui ) 1(mod I1 )
(ii) Como

x 0(mod Ii ), i > 1.

(x) = (1, 0, ..., 0)

desejado.

x ker x 0(mod Ii )(i = 1, ..., n) x

injetora se, e somente se,

Ii ,

ento

ker =

Ii .

Portanto,

Ii = 0.

Notemos que a unio Por exemplo, em ideal.

I J

de dois ideais, em geral, no um ideal. no subgrupo aditivo, e portanto, no

Z,

o conjunto

(2) (7)

Entretanto, quando se trata de ideais primos, so feitas armaes mais precisas, conforme a seguinte proposio.

Proposio 1.43.
em
n i=1

(i) Sejam

P1 , ..., Pn

ideais primos e seja

um ideal contido

Pi .

Ento

I Pi

, para algum i.

(ii) Sejam I1 , ..., In ideais e sejam Ento

um ideal primo contendo para algum i.

n i=1 Ii .

P Ii

para algum i. Se

P=

Ii ,

ento

P = Ii n
n

Demonstrao : (i) Provaremos por induo sobre

que

Pi (1 i n) I
i=1

Pi . n = 1.
Suponhamos

Claramente, este fato vlido para a armao verdadeira para existe

n > 1 e que i

n 1,

ento, pela hiptese de induo, para cada Se para algum

xi I

tal que

xi / Pj , sempre que i = j . xi Pi
para todo

i tivermos xi / Pi ,

o resultado est provado. Se

i,

consideremos o elemento

y=
i=1
Pela escolha dos

x1 x2 xi1 xi+1 xi+2 xn . yI

e

xi ,

segue que

y / Pi (1 i n).

Da,

n i=1

Pi .

1. Anis e Ideais
(ii) Suponhamos

21

I P =

Pi Ii

para todo

i.

Ento existe

xi Ii , xi / P
primo. para

P (1 i n),
Logo

e assim

xi

Ii , Ii ,

mas

xi / P,

j que

P i.

Ii .

Finalmente, se

ento

P Ii ,

e portanto

P = Ii

algum

Se

I, J

so ideais em um anel

R,

o ideal quociente

(I : J ) = {x R : xy I, y J } ,
que tambm um ideal. chamado de anulador de Em particular,

(0 : J ) = {x R : xy = 0, y J } R

e tambm denotado por Ann(J ). Nesta notao, o

conjunto de todos os divisores de zero em

D=
x=0
Se

Ann(x).

um ideal principal

(x),

escrevemos

(I : x)

ao invs de

(I :

(x)).

Exemplo 1.44.
(3 : 2) =
Ann(2)

Consideremos o anel

Z,

e os ideais

(3) =

(2). (3),

Temos que enquanto o

{x Z : x 2m = 3n;

para algum

m, n}

= {0}.
Observemos que multiplicando dois elementos

x, y R,

o produto

xy

pertence a algum ideal

I.

Podemos considerar, em particular, produtos

x x ... x = xn .
conjunto

No sentido inverso, se

xn I ,

denimos o radical de

como o

Rad(I ) Seja

= { x R : xn I

para algum

n > 0} .

: R R/I

o homomorsmo natural. Como

R/I

= x R/I : xn = 0

para algun

n =
PR/I P primo

P,

temos que

R/I ideal em

R/I .

Assim,

1 (

R/I )

= {x R : xn I R.

para algum

n} = Rad(I ),

e portanto, Rad(I ) ideal em

Proposio 1.45. (I : J ) e Rad(I ) satisfazem as seguintes propriedades:

(a) (b) (c)

I (I : J ). (I : J )J I . ((I : J ) : K ) = (I : JK ) = ((I : K ) : J ).

1. Anis e Ideais
(d) (e)

22

(i Ii : J ) = i (ai : J ) (I
i

Ji ) = i (I : Ji ). I. = Rad(I ). = Rad(I J ) = Rad(I ) Rad(J ).

(f ) Rad(I )

(g) Rad(Rad(I )) (h) Rad(IJ ) (i) Rad(I ) (j) Rad(I (k) se

= (1) I = (1).
n

+ J ) = Rad(Rad(I ) + Rad(J )). )=P

para todo

primo, Rad(P

n > 0.

Demonstrao : Os itens (a) - (f ) decorrem diretamente da denio.

(g) Pelo item (f ), basta mostrar que Rad(Rad(I )) fato,

Rad(I ). De

x Rad(Rad(I )) xn = xkm Rad(I ) xk Rad(I ) x Rad(I ).

(h) A segunda igualdade decorre diretamente da denio de radical e interseco de conjuntos. Mostremos que Rad(IJ ) Como tomando

= Rad(I ) Rad(J ). J ).
Por outro lado, para algum

IJ I J , J ),
e ento

ento Rad(IJ )

Rad(I

Rad(I

temos que

xn I
se

xn J ,

n.

Da,

xn xn = x2n IJ ,
Reciprocamente, se para qualquer

x Rad(IJ ). I, I = (1),
obviamente Rad(I ) Assim,

(i) Como Rad(I )

= (1).

I = (1),

ento existiria

x (1), x / I.
temos que

xn / I,

n,

I = (1). I Rad(I )
e

(j) Como Rad(J )

J Rad(J ),

I + J Rad(I ) + r(Rad(I )+

Rad(I + J ) Rad(Rad(I )+ Rad(J )). Rad(Rad(Rad(I )) + Rad(Rad(J )))

(k) Se

Rad(J ))

Agora, pelo item (f ), (g ) = Rad(I + J ). Rad(P

x P,
m

ento

xn P n

x m.

).

Por outro lado, se

x Rad(P ),
qualquer

temos que e ento

x P

para algum

Como

primo,

x Pn

para

n > 0;

x P.

A proposio a seguir nos fornece uma denio de Rad(I ) em termos de ideais primos.

Proposio 1.46.
contm

O radical de um ideal

a interseco dos ideias primos que

I.
R/I a interseco de todos os

Demonstrao : Pela Proposio 1.38, o nilradical

ideais primos

de

R/I .

Como

J = (J )

tambm so primos em

R, J.

e contm

(pelo Corolrio 1.19); ento Rad(a)

= 1 (

R/I )

1 (J ) =

1. Anis e Ideais

23

Analogamente, denimos o radical Rad(E ) de qualquer subconjunto

de

que, em geral, no um ideal. Temos Rad( E )

= Rad(E )

para qualquer famlia de subconjuntos

de

R. R
pode ser caracteri-

O conjunto dos divisores de zero de um anel zado em funo de Rad(Ann(x)), como segue.

Proposio 1.47.

Seja

o conjunto dos divisores de zero do anel

R.

Ento

D = x=0 Rad(Ann(x)).
Demonstrao : Como
Mas Rad(D ) assim

D = D

x=0 Ann(x), temos Rad(D )

Rad(D ). Tomando

= D, =

pois

x=0 Ann(x) . n Rad(D ), temos x D ; e

Portanto

= r

xn y = x(xn1 y ) = 0.
x=0

Logo

x D e Rad(D) D.

D = Rad(D) =

x=0 Ann(x)

r (Ann(x)).

Exemplo 1.48.

Tomemos

R=Z

I = (m).

Sejam

pi (1 i r)
r i=1 (pi ).

os primos

distintos divisores de

m.

Ento Rad(I )

= ( p 1 pr ) = Z,
se

Como visto no Exemplo 1.40, em ento

m, n

so primos entre si,

(m) (n) = (mn).

Assim, a segunda igualdade uma generalizao deste

fato. Vejamos a primeira igualdade. Se

x Rad(I ) xn I xn = am,
temos e

ento

x = b (p1 pr ).
n n

Por outro lado, se

x (p1 pr ),
n

x = k p 1 pr

x = (k p1 pr ) = h p1 pr .

Logo

x (p1 pr ),

x I.

Proposio 1.49.
comaximais. Ento

Sejam

I, J

ideais de um anel

tais que Rad(I ), Rad(J ) so

I, J

so comaximais.

Demonstrao : Como Rad(I )

maximais; temos

+ Rad(J ) = (1),

pois Rad(I ) e Rad(J ) so coMas pelas propriedades (i) e Rad(1)

r (Rad(I ) + Rad(J )) =

Rad(1).

(j), obtemos Rad(I

+ J ) = r (Rad(I ) + Rad(J )) =

= (1),

e portanto

I + J =(1).

1.8 Extenso e Contrao de Ideais

Seja o conjunto

f :RS
em

um homomorsmo de anis. Se

um ideal em

R,

f (I )

no , necessariamente, um ideal em

S.

Por exemplo, considere

o mergulho de

Q,

e tome

como sendo um ideal no nulo qualquer em pois este corpo.

Z: f (I ) = {0)

que no ideal em

Q,

1. Anis e Ideais
Denimos a extenso

24

Ie

de

como sendo o ideal

Sf (I )

gerado por onde

f (I )

em e

S.

Explicitamente,

Ie

o conjunto de todas as somas

yi f (xi ), R,

xi I

yi S .
Se

J J.

um ideal em Se

S,

ento

f 1 (J )

um ideal em

chamado de

contrao

Jc

de

primo, ento

Jc

primo. Se

primo, em geral

Ie

no primo. Por exemplo, considere um ideal primo. Considerando temos a seguinte

f : Z Q, I = 0 ;
e

ento

Ie = Q

que no

f :RS

I, J

ideais em

S,

respectivamente,

Proposio 1.50.
(ii)

(i)

I I ec , J J ce .
o conjunto dos ideais contrados em

J c = J cec , I e = I ece . T R
e se

(iii) Se

conjunto dos ideais extendidos em e

S , ento T = {I : I ec = I }, E = {J : J ce = J }, E,
cuja inversa

I Ie

uma bijeo de

em

J J c.
e

Demonstrao :(i) Se
portanto,

x I,

ento

f (x) f (I ) f (x) I e x (I e )c ; yi f (f 1 (J )) J . I ece I e

I I ec .
Agora, se (ii) Como

y J ce , y J c J cec
e

segue diretamente de (i); basta

mostrar as incluses inversas. Obviamente, estas tambm so simples aplicaes de (i):

J ce J (J ce )e J c
e

I ce I (I e )ce I e .
(iii) Claramente, se

I T,

I = I ec .

Analogamente, se Sejam

J E, J = I = I
e

ento I e (ii) ece

= Jc

e, por (ii),

J = J cec .

Logo

, temos que

J = I e.
Como

f : C E , I I e;

g : E T , J J c.

(g f )(I ) = g (f (I )) = g (I e ) = I ec = I
e

(f g )(J ) = f (g (J )) = f (J c ) = J ce = J,
vemos que as funes so bijetoras e inversas uma da outra.

2. Mdulos

25

Captulo 2 Mdulos
Este captulo dedicado ao estudo de mdulos e algumas de suas propriedades, uma vez que anis, ideais e anis quociente, so exemplos de mdulos. Assim, os resultados apresentados a seguir tambm so vlidos para estas estruturas.

2.1 Mdulos e Homomorsmo de Mdulos

Seja

R uma anel. (M, ),

Um

R-mdulo um grupo abeliano M R M

um grupo abeliano e

(em relao

operao de adio) sobre o qual

age linearmente: mais precisamente, um

R-mdulo

um par

onde

: RM M a R, x M ,

uma aplicao tal que, se escrevermos satisfaz os seguintes axiomas:

ax

para

(a, x),

com

a(x + y ) = ax + ay, (a + b)x = ax + bx, (ab)x = a(bx), 1x = x

para

a, b R

x, y M .
Um ideal

Exemplo 2.1.
R-mdulo:

em

um

R-mdulo.

Em particular,

um

basta considerar que a multiplicao de elementos de

satisfaz as

propriedades mencionadas acima.

Exemplo 2.2.
sobre

Se

um corpo

K,

ento um

R-mdulo K,

um espao vetorial

K.

Claramente, tomando os escalares em

as propriedades de mdulo

so aquelas que denem um espao vetorial sobre o corpo

K.

2. Mdulos
Sejam

26

M, N

dois se

R-mdulos.

Uma funo

f : M N

um

homomorsmo de

R-mdulos

f (x + y ) = f (x) + f (y ) f (ax) = a f (x)

para todo

a R

e todo

x, y M .

Ento

um homomorsmo de grupos

abelianos que comuta com a ao de cada

a R. R-mdulos
o mesmo

Exemplo 2.3.

Se

um corpo, um homomorsmo de

que uma transformao linear de espaos vetoriais.

Como para o caso geral de anis, a composio de um homomorsmo de

R-mdulos

ainda um homomorsmo de

R-mdulos. R-mdulos
dena de

O conjunto de todos os homomorsmos de pode ser transformado em um como

em e

R-mdulo da seguinte maneira:

f +g

af

(f + g )(x) = f (x) + g (x), (a f )(x) = a f (x)

para todo

x M.
Claramente, os axiomas para Este

R-mdulos

esto satisfeitos. No caso de no haver

R-mdulo denotado por HomR (M, N ). R, u:M M

e

ambiguidade em relao ao anel

denotamos apenas por Hom(M, N ).

Os homomorsmos

v:N N

induzem aplicaes

u : Hom(M, N ) Hom(M , N )
e

v : Hom(M, N ) Hom(M, N ),
denidos por

u(f ) = f u, v (f ) = v f,
que so homomorsmo de denio de

R-mdulos.

Os seguintes diagramas explicitam a

v. Mo
f u

N
Para Hom(R, M )

| | f u  | ~

MA
f

N
mdulo

A vf A A /
v

N
natural tal que

qualquer De

existe

um

homomorsmo

= M.
onde

fato,

tomemos

g :

Hom(R, M )

g (f ) = f (1),

f :RM

homomorsmo de

R-mdulos.

Naturalmente,

homomorsmo e

ker g = {f 0}.

2. Mdulos

27

2.2 Submdulos e Mdulos Quocientes

Um submdulo

de

um subgrupo de

fechado em relao herda a estrutura o

multiplicao por elementos de de

R.

O grupo abeliano

M/M
. O

R-mdulo

de

M,
por

denida por

a(x + M ) = ax + M M M
em

R-mdulo M/M

quociente de

A funo natural de mdulos.

M/M

um homomorsmo de

R-

Assim, existe uma correspondncia biunvoca que preserva a ordem

entre submdulos de Se

que contm

, e submdulos de

M/M

. o ncleo de

f :M N

um homomorsmo de um submdulo de

R-mdulos, f

f, =

ker f = {x M : f (x) = 0}, f (M ),

M.

A imagem de

f,

Im(f )

tambm um submdulo de

N.

O concleo de

Coker(f ) que um mdulo quociente de Se

= N/Im(f )

N. M
tal que

um submdulo de

M ker f , ento a aplicao

f :

M N M x f (x) = f (x) x, y M/M

Como com

est bem denida.

De fato, se

x = y, f

temos

xy M

f (x y ) = 0 , f (y ),
e logo,

pois

M ker f .
ker f . M

homomorsmo, Claramente,

0 = f (x y ) = f (x)

f (x) = f (x) = f (y ) = f (y ). ker f =

O homomorsmo

um homomorsmo de

R-mdulos, M = ker f ,

dito induzido por

f.

Em particular, tomando

temos um isomorsmo de

R-mdulos

M = Im(f ). ker f

2.3 Operaes em Submdulos

Seja de

M Mi

um

R-mdulo

e seja

(Mi )iI

uma famlia de submdulos

M.

A soma e

o conjunto de todas as somas

xi ,

onde

xi Mi Mi

para

todo

i I,

xi = 0 M

a menos para um nmero nito de ndices.

o menor

submdulo de de

que contm todos os

Mi ,

e a interseco

Mi

um submdulo

M.
(i) Se

Proposio 2.4.

LM N

so

R-mdulos,

ento

(L/N ) L . = (M/N ) M

2. Mdulos
(ii) Se

28

M1 , M2

so submdulos de

M,

ento

M2 M1 + M2 . = M1 M1 M2
Demonstrao : (i) Denindo
que

: L/N L/M R-mdulos

de

por em

(x + N ) = x + M , L/M ,
e seu ncleo

temos

um homomorsmo de

L/N

M/N .

Logo, temos (i). (ii) Consideremos a composio

M2 M1 + M2
Como temos que

M1 + M2 . M1 gf
um homomorsmo

ker g f = {x M2 : (g f )(x) = 0} = {x M2 : x + M1 = 0},

Alm disso,

x ker g f x M1 M2 .

sobrejetor, e portanto

M2 M1 + M2 . = M1 M2 M1

Em geral, no denimos os produto de dois submdulos, mas denimos o produto

IM ,

onde

um ideal e

um

R-mdulo.
e

Este produto o

conjunto de todas as somas nitas de

ai xi com ai I M,

xi M , e um submdulo (N : P )
como o conjunto

M.
Se

N, P

so submdulos de

denimos

de todos os

aR M

tais que

aP N ;

e um ideal de

R.

Em particular,

(0 : M )

o conjunto de todos os

a R

tais que

aM = 0; I x R/I

e este ideal chamado de

anulador de

e denotado por Ann(M ). Se como segue: se

Ann(M ), podemos considerar representado por

como um

R/I -mdulo,
por

x R,

denimos

xm

xm (m M ). x,
Ann(M ) e

Este processo independente da escolha dos

representantes Assim,

de

uma vez que

IM = 0.

Com efeito, seja

x = x + I = y + I. m M;
logo

xy I

(x y ) m = 0 , = 0,

para qualquer

xm = ym.
No caso de Ann(M ) Ann(M ) dizemos que

um

R-mdulo

el. Se

= I,

ento

el como um

R/I -mdulo.

A proposio a seguir apresenta algumas propriedades satisfeitas por Ann(M ).

Proposio 2.5.
(ii)

(i) Ann(M

+ N ) = Ann(M ) Ann(N ).

(N : P ) = Ann((N + P )/N ). x Ann(M + N ),

ento

Demonstrao : (i) Se

x(m + n) = 0
Logo

para quaisquer

m
Da

M, n N .

Em particular, fazendo

m = 0, temos que xn = 0 x Ann(N ).

mesma forma, se

n = 0, xm = 0 x Ann(M ).

x Ann(M ) Ann(N ).

2. Mdulos
Por outro lado, se para quaisquer e portanto,

29

x Ann(M ) Ann(N ), temos que xm = 0 = xn xm xn = x(m n) = 0, com m n M + N ; xP N .

N +P N
Como

m M, n N .

Da

x Ann(M + N ).
(ii) Se

x (N : P ),
e

ento

xP x(P + N ) N , = 0.
Da

temos que

P +N N

=0

x Ann

N +P . N

Reciprocamente,

x Ann

P +N N

x( N + P )

N,

isto ,

xN + xP N ;

e portanto

xP N x (N : P ).

2.4 Soma Direta e Produto Direto

Se os pares

M, N

so

R-mdulos, a soma direta M N

Este conjunto um

o conjunto de todos se denirmos a

(x, y )

com

x M, y N .

R-mdulo

adio e a multiplicao por escalar como segue:

(x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 ), a(x, y ) = (ax, ay ).

Mais geralmente, se denir a soma direta para cada

(Mi )iI

uma famlia de

R-mdulos,

podemos

iI Mi :

seus elementos so famlias

(xi )iI

tais que

xi Mi xi
no

iI

e quase todos os

xi

so zero.

Se no considerarmos a condio sobre a quantidade de nulos, temos o produto direto

i I

Mi .

Dessa forma, soma e produto direto

so equivalentes apenas se o conjunto de ndices Suponha que o anel conjunto de todos os elementos de

for nito.

R R

um produto direto

n i=1

Ri .

Ento o

da forma

(0, ..., 0, ai , 0, ...0)

com

ai Ri ,

um ideal

Ii

de

(no um subanel de

- exceto no caso trivial considerado como um

pois no contm o elemento identidade em

R).

O anel

R,

R-mdulo,

a soma direta dos ideais

I1 , ..., In .

Por outro lado, dada uma decomposio de mdulo

R = I1 ... In
de

como uma soma direta de ideais, temos

R =
i=1
onde

R Ji

Ji = j =i Ij .

Explicitamente, temos:

2. Mdulos
I1 In R = = I1 ; J1 I2 I3 In R I1 In = = I2 ; J2 I1 I3 In
. . .

30

I1 In R = = In . Jn I1 I2 In1
Assim, cada ideal identidade

Ii

um anel (isomorfo a

R/Ji ).

O elemento

ei

de

Ii

um elemento idempotente em

R,

Ii = (ei ).

2.5 Mdulos Finitamente Gerados

Se

x um elemento de M , M, M: R.

o conjunto de todos os mltiplos

ax(a
os

R)

um submdulo de

denotado por

Rx

ou

(x).

Se

M =

i I

Rxi , M

xi

so chamados de geradores de

isto signica que todo elemento de

pode

ser expresso (no necessariamente de forma nica) como uma combinao linear nita de

xi

com coecientes em

Dizemos que um

R-mdulo M

nitamente

gerado se possui um conjunto nito de geradores.

Exemplo 2.6. nZ um Z-mdulo nitamente gerado por n Z.

Um onde cada a

R-mdulo

livre isomorfo a um

R-mdulo

da forma

iI Mi ,

Mi = R. 0.

Assim, um

R-mdulo

livre nitamente gerado isomomorfo

R R (n parcelas), denotado por R

. Por conveno,

R0

o mdulo nulo,

denotado por

Proposio 2.7. M

um

R-mdulo Rn

nitamente gerado se, e somente se,

isomorfo a um quociente de Demonstrao : Sejam

para algum inteiro

os geradores de temos que

n > 0.
Dena

x1 , , xn

M.

: Rn M

como

(a1 , , an ) = a1 x1 + + an xn ,
de

um homomorsmo sobrejetor

R-mdulos.

De fato,

((a1 , ..., an ) + (b1 , ..., bn )) = (a1 + b1 , ..., an + bn ) = (a1 + b1 )x1 + + (an + bn )xn = ( a1 x 1 + + an x n ) + ( b 1 x 1 + + b n x n ) = (a1 , ..., an ) + (b1 , ..., bn )

2. Mdulos
e

31

(b (a1 , ..., an )) = (ba1 , ..., ban ) = ba1 x1 + + ban xn = b (a1 x1 + an xn ) = b ((a1 , ..., an ))
Alm disso, dado certos

m M,

temos que Logo

c1 , ..., cn R;

isto ,

(c1 , ..., cn ) = m.
Se

m = c1 x 1 + + cn x n n M = R .
Ker()

para

Por outro lado, consideramos um homomorsmo de sobrejetor

R-mdulos
na

: Rn M .

ei = (0, 0, , 0, 1, 0, , 0)
so geradores de

(com

i-sima
geram

posio), ento os

ei (1 i n)

Rn .

Ento,

(ei ) = xi

M.

Proposio 2.8.

Sejam

um

R-mdulo
em

nitamente gerado, tal que

um ideal de Ento

R,

um endomorsmo de

R-mdulos

(M ) IM .

satisfaz

uma equao da forma

n + a1 n1 + + an = 0
com

ai I . x1 , xn
e geradores de

Demonstrao : Sejam

M.

Ento cada

(xi ) IM ,

pois

(M ) IM .
n j =1

Assim, podemos escrever

(xi ) = a11 x1 + a12 x2 + + a1n xn =

aij xj ,

com

1in
n

aij I .

Isto ,

(xi )
j =1
onde

aij xj = 0 =
j =1

(ij aij ) xj = 0

ij

o Delta de Kronecker. Multiplicando o lado esquerdo pela adjunta da matriz

(ij aij ),
anula

obtemos cada

(det (ij aij ))(xj ).

Segue que o determinante de

(ij aij )

xi ,

e ento o endomorsmo nulo de

M.

Expandindo o determinante

a11 a21
. . .

a12

a1n a2n
. . .

a22 an2

an1

ann

obtemos uma equao da forma desejada.

Corolrio 2.9.
tal que

Seja

um

R-mdulo

nitamente gerado e seja tal que

um ideal de

IM = M .

Ento existe

x 1(mod I )

xM = 0.

2. Mdulos
Demonstrao : Tomando

32

como a identidade na Proposio 2.8, temos

n (x) + a1 n1 (x) + + an = 0 1 + a1 + + an = 0.
Portanto,

x = a1 + + an ,

onde

ai = ai I .

A seguir, apresentamos o famoso Lema de Nakayama e duas demonstraes distintas.

Proposio 2.10 (Lema de Nakayama).

ado e

Seja

um

R-mdulo
de

nitamente gerEnto

um ideal de

contido no radical de Jacobson J

R.

IM = M

implica

M = 0. xM = 0 R,
para ale assim

Primeira demonstrao : Pelo resultado anterior, temos que

gum

x 1(mod

).

Pela Proposio 1.39

uma unidade em

M = x1 xM = 0.
Segunda demonstrao : Suponha
de geradores de

M = 0 e sejam u1 , , un
Assim

um conjunto mnimo

M.

Ento com

un IM = M ,

e temos uma equao da forma

un = a1 u1 + an un ,

ai I .

(1 an )un = a1 u1 + + an1 un1 ;

e como

an J

, segue de Proposio 1.39 que

1 an

uma unidade em contradio.

R.

Da

un

pertence ao submdulo de

gerado por

u1 , un1 ;

Corolrio 2.11.
de

Sejam

um

R-mdulo

nitamente gerado,

um submdulo

IJ

um ideal. Ento

M = IM + N M = N . M1 = N
e

Demonstrao : Na Proposio 2.4-(ii), sejam

M2 = IM .

Assim

IM + N M M2 M1 + M2 = = . =I M1 N N M1 M2
Dessa forma,

M N

IM +N N

M , e pelo Lema de Nakayama, N

M N

= 0.

Portanto,

M = N. R
um anel local,

Seja residual. Seja

seu ideal maximal,

K = R/M M/MM

seu corpo anulado

um

R-mdulo

nitamente gerado. Como

R por M, temos que M/MM naturalmente um -mdulo, isto , um espao M R e x + MM = K -vetorial de dimenso nita. De fato, tomemos a + M = a M M x M . Assim, a x = (a + M) + (x + MM ) = ax uma multiplicao bem M
denida.

2. Mdulos

33

Proposio 2.12.
M/MM
Demonstrao :
composio

Sejam

xi (1 i n)

elementos de

cujas imagems em

formam uma base para este espao vetorial. Ento os

Seja

xi

geram

M.

o sumbdulo de

gerado pelos

xi .

Consideremos a

N
onde

 / M

MM

0
Assim,

a incluso e

o homomorsmo natural.

f = ,
Logo

ker f = {x N : x + MM = 0} = {x N : x MM } = N MM . M N , = MM N MM
e pela Proposio 2.4-(ii)

N + MM N . = MM N MM
Por transitividade,

N + MM M ; = MM MM
e assim obtendo

N + MM = M . M = N.

Como

, podemos aplicar o Corolrio 2.11,

2.6 Sequncias Exatas

Uma sequncia de

R-mdulos
fi

R-homomorsmos

Mi1 Mi Mi+1
exata em

fi+1

Mi

se Im(fi )

=
f

Ker(fi+1 ). A sequncia exata se for exata em cada

Mi .

Em particular: (i)

0M M

exata

injetora.

Obviamente, g (ii) M M De fato, se

ker f = {0} 0

se, e somente se,

injetora.

exata

sobrejetora.

sobrejetora, ento Im(g )

= M = ker 0;

onde

funo identicamente nula. Por outro lado, se a sequncia exata, Im(g ); e logo

ker 0 = M = g

g g

sobrejetora.

(iii) sobrejetora e

0 M M M

exata

injetora,

induz um homomorsmo sobrejetor de Coker(f )

= M/f (M )

em

2. Mdulos
Basta vericar a equivalncia para a condio Coker(f )

34

= M/f (M ) =

. Se a sequncia exata,

g homomorsmo sobrejetor e f (M ) = Im(f ) = ker g . g

um homomorsmo sobrejetor, cujo

M Da ker g
ncleo

M f (M )

=M

. Reciprocamente,

ker g = f (M ) = Im(f ).
Uma sequncia como em (iii) chamada de sequncia exata curta.

Qualquer sequncia exata pode ser decomposta em sequncias exatas curtas da seguinte forma: se

Ni =

Im(fi )

Ker(fi+1 ), temos sequncias exatas curtas

0 Ni Mi Ni+1 0,
situao:

para cada

i.

O diagrama a seguir esboa esta

0 BB

BB BB BB !

Ni A
fi

AA AA AA A /M

fi+1

Ni+1 H HH y< y HH yy HH y y HH y H$ yy

DD DD DD DD "

/ Mi+1 w; ww w w ww ww

; i+2 ww w ww ww ww fi+2 /

y< 0 yy y y yy yy

Proposio 2.13.

(i) Seja

M M M 0
uma sequncia de para todo

R-mdulos

e homomorsmos. Ento esta sequncia exata

R-mdulo N ,

a sequncia
v u

0 Hom (M , N ) Hom (M, N ) Hom (M , N )

exata. (ii) Seja

0N N N
uma sequncia de para todo

R-mdulos

e homomorsmos. Ento esta sequncia exata

R-mdulo M ,

a sequncia
u v

0 Hom (M, N ) Hom (M, N ) Hom (M, N )

exata.

2. Mdulos

35

Demonstrao : (i) [] Construmos o diagrama a seguir para orientar a prova.

 f 

M  N
 }{

{ {g

/ M { /

Suponhamos que Primeiramente, mostremos que para qualquer

v homomorsmo sobrejetor, e que ker u = Im(v ). v injetor, onde v (f ) = f v . x M

, ento tal que Como

v sobrejetor, v (f )(y ) =
e

y M

, existe

v (x) = y .

Assim, se

v (h)(y ),
injetor.

para qualquer

yM

f (y ) = f v (x) = h v (x) = h(y ),

e ento,

Agora, tomemos

f ker u

u(f )(x) = f u(x) xM

tal que

para todo

xM

. Sendo

sobrejetor, para cada

yM

, existe

v (x) = y .

Denindo

g:M y
obtemos que

N f (x) f
Im(v ). A funo

v (g ) = g v = f ,

e portanto, temos

est bem

denida pois, se

v (x1 ) = v (x2 ) = y ,

v (x1 x2 ) = v (x1 ) v (x2 ) = 0 x1 x2 ker v = Im(u),

e da

x1 x2 = u(z )

para algum

z M

Logo

f (x1 x2 ) = f u(z ) = 0, g
Hom(M

f (x1 ) = f (x2 ).
Por m, se

Im(v ), ento existe

, N)

tal que

g = g v = f.

Como

u(f ) = f u = (g v ) u = g (v u)
e

vu0

pois

ker v = Im(u),

obtemos

u(f ) = g 0 0.
Portanto,

f ker u. v
sobrejetor e que De fato, se

[] Devemos mostrar que decorre da injetividade de tal que

ker v = Im(u).
e

A sobrejetividade

v.

no sobrejetor, ento existe

yM

y = v (x)

para todo

x M.

Sejam

: M N,

:M

m (m) (m = y ) (y ) = (y )

2. Mdulos
Para

36

x M,

temos:

v ()(x) = v (x) v ( )(x) = v (x) = v (x) , pois v (x) = y

Logo

v () = v ( ) N =

com e

= ;

contrariando a injetividade de

v.

Tomando

M
Im(u)

:M N
Como

o homomorsmo natural, ento existe

ker u,
tal que e

uma vez que Im(u)

= ker .

ker u = Im(v ), = ker ,

: M N, ,

v ( ) = v = .

Consequentemente, Im(u)

pela denio de

ker ker v .
(ii)[] Novamente, construmos um diagrama para auxiliar na demons-

trao.

M  A
f

 

Ag A
u

0
Mostremos que isto ,

A /N

N ker v =
Im(u). Seja Como

injetor e que

f ker u, u(f )(x) =

f Hom(M, N )
e

tal que

u(f )(x) = 0
e portanto

para todo

x M.

u f (x) = 0

injetor,

f 0;

injetor.

Como

v u 0, temos que (v u)(f ) = (v u) f 0, para qualquer ker v .

temos que

f hom(M, N ). x M. zN

Assim, Im(u)

Tomando Como Im(u)

f ker v ,

v (f )(x) = v f (x) = 0

para todo

= ker v , obviamente f (x) Im(u) e f (x) = u(z ) para algum

. Denindo a funo

g : M N x z (com u(z ) = f (x))

para

x M,

obtemos

u(g )(x) = u g (x) = u(g (x)) = u(z ) = f (x);

e portanto,

f Im(u). u

Notemos que

g est bem denida, uma vez que u injetor.

Vemos facilmente que e

[] Como

injetor, ento

ker u = {0}.
temos que

ker u ker u, ker u = {0}.

Se

pois tomando

f ker u,
Para

temos

0 u f = u(f )

f ker u.

Logo,

g ker v ,

v (g )(x) = v (g (x)) = 0.

g ( x) = y ,
para

temos que

y ker v .

Mas, sendo a sequncia exata, temos que

u(f ) = g

2. Mdulos
algum logo,

37

Hom(M, N

).

Assim,

u(f )(x) = (u

f )(x) = u(f (x)) = g (x) = y ,

y Im(u).

Portanto,

ker v Im(u).
e

Como

v u 0, temos que v u f 0 para todo f Hom(M, N ). M =N f

a identidade, conclumos que

Em particular, tomando assim Im(u)

v u 0,

ker v .

Proposio 2.14.

Seja

0 0

M
/ 
f

M
f

M
/ 
f

/0 /0

/
u

um diagrama comutativo de

R-mdulos

e homomorsmos, com as linhas exatas.

Ento existe uma sequncia exata

0 Ker(f ) ker (f ) Ker(f ) Coker(f ) Coker(f ) Coker(f ) 0

onde

u, v

so restries de

u, v ;

u ,v

so induzidos por

u ,v .

O homomorsmo de fronteira Ker(f

denido como segue: e

se

x
Da

),

temos

x = v (x)

para algum

x M,

v (f (x)) = f (v (x)) = 0. y N
. Ento

f (x) Ker(v ) = Im(u ),

tal que

f (x) = u (y ) y

para algum

d(x )

denido como sendo a imagem de

em Coker(f

).

Demonstrao : Antes de mostrarmos que a sequncia , de fato, exata; devemos

vericar que cada um de seus homomorsmos esto bem denidos.

u : ker f ker f
Se

est bem denido. , ento

x ker f u;

f (x) = 0.

Como

f (u(x)) = f (u(x)),
injetor, pois

pois

restrio de

e pelo diagrama comutativo,

f (u(x)) = u (f (x)) = u (0) = u u

o .

0,

conclumos que

u(x) ker f .

Alm disso,

v : ker f ker f
Se

est bem denido. ento

x ker f , v;

f ( x) = 0 .
.

Como

f (v (x)) = f (v (x)),

pois

restrio de

e pelo diagrama,

f (v (x)) = v (f (x)) = v (0) = 0,

conclumos que

v (x) ker f
)

d : ker f

N
Im(f

est bem denido.

2. Mdulos
Como

38

sobrejetor, ento

x = v (z )
e da

para algum

z M.

Assim, Seja

v (f (z )) = f (v (z )) = f (x) = 0; f (z ) = u (y )
para algum

f (z ) ker v =

Im(u ).

yN

Assim, temos a denio de

d : ker f

N Im(f )
tal que

x y + Im(f )

u (y ) = f (z ). v
est bem

Para mostrar que est bem denida, basta mostrar que denida. Isso porque pois

z f (z )

est bem denido e

y f (z )

tambm est,

f (z ) ker v = Im(u ).
Assim, tomemos

z1 , z2 M
Ento

tal que

v (z1 ) = v (z2 ) = x, onde f (z1 ) =

e

u (y1 )

f (z2 ) = u (y2 ).
Seja

v (z1 ) v (z2 ) = v (z1 z2 ) = 0

para algum

z1 z2

ker v Im(u).
que

z1 z2 = u(w)
Como Portanto,

wM

; e da

f (z1 z2 ) =

f (u(w)) = u (f (w)). y1 y2 = f (w).

N
Im(f

f (z1 z2 ) = u (y1 y2 ) e u

injetor, conclumos

y1 + Im(f ) = y2 + Im(f ).

u :

N
Im(f )

est bem denido.

Por denio, Im(f

x + Im(f ) u (x) + Im(f ).

para

Suponhamos que Im(f

x1 +

) = x2 + Im(f ) yM
tal que

x1 , x2 N

; ou seja,

x1 x2

).

Assim,

existe e

f (y ) = x1 x2 .
Logo,

Mas

u (x1 x2 ) = u (f (y )) = f (u(y )),

u (x1 x2 ) Im(f ).
N
Im(f )

u (x1 ) + Im(f ) = u (x2 ) + Im(f ).

v :

N
Im(f

est bem denido.

Por denio,

x + Im(f ) v (x) + Im(f ).

isto ,

Caso

y1 + Im(f ) =
o elemento

y2 + Im(f )
tal que

para

y1 , y2 N ; );

y1 y2 Im(f ).

Seja

zM

f (z ) = y1 y2 .
Im(f

Dessa forma,

v (y1 )v (y2 ) = v (y1 y2 ) = v (f (z )) =

Alm

f (v (z ))
disso,

e portanto,

v (y1 ) + Im(f ) = v (y2 ) + Im(f ). v

.

sobrejetora, pois induzida por

Agora, analisemos as condies a respeito dos ncleos e imagens dos homomorsmos.

Im(u)

= ker v .
Como

v u = (v u)|ker f

, pois so restries; e Por outro lado, se

vu 0

pela

hiptese; temos que Im(u)

ker v .

x ker v ,

ento

2. Mdulos
x ker f ,
Im(u) pela denio de Mas

39

v.

Assim

v (x) = v (x) = 0,
com Portanto

x = u(y ),

pois

= ker v .

0 = f (x) = f (u(y )) = v (f (y )),

e

injetor, ento

f (y ) = 0.
Im(v )

Logo

y ker f

u(y ) = u(y ).

x Im(u).

= ker d.
Se

y ker d, ento d(y ) = z + Im(f ), com u (z ) = f (x) e v (x) = y ;

Assim,

z = f (w), w M .

u (z ) = u (f (w)) = f (u(w)).

Calculando

v (x u(w)) = v (x) v (u(w)) = v (x)

e

f (x u(w)) = f (x) f (u(w)) = u (z ) u (z ) = 0,

vemos que

x u(w) ker f
e

e satisfaz as condies de

d.

Assim, tomamos

y = v (x u(w)),
Se

y Im(v ).
ento

y Im(v ),

y = v (x) ker f

, com

x ker f .

Calculando

d(y ), temos que d(y ) = Im(f ), pois 0 = f (x) = u (z ), onde 0 = z Im(f ).

Logo,

y ker d. = ker u .
Para

Im(d)

x ker f

, temos

u d(x) = u

y + Im(f ) = u (y ) + Im(f ). d, u (y ) = f (x).

Logo Im(d)

Mas pela denio de outro lado, se

ker u .

Por

y ker u ,

ento

u (y ) = u

y + Im(f ) = u (y ) + Im(f ) = Im(f ) u (y ) = f (x). z = v (x),

temos que

Tomando

d(z ) = y

y Im(d).

Im(u

) = ker v

Fazendo

v u (x),

para

x = x + Im(f ),

temos:

v
Como

u (x) + Im(f ) = v
obtemos que Im(u

u (x) + Im(f ).
Reciprocamente, tomando

v u 0,
, ento

) ker u .

y ker v

v (y ) = v (y + Im(f )) = v (y ) + Im(f ) = Im(f ) v (y ) Im(f ).

2. Mdulos
Assim,

40

v (y ) = f (z ) x M.

para algum Fazendo

z M

; e como

sobrejetor,

z = v (x)

para algum

v (y f (x)) = v (y ) v (f (x)) = v (y ) f (v (x)) = v (y ) f (z ) = 0,

vemos que

y f (x) ker v = Im(u ).

Logo, existe

wN
e

tal que

u (w) =

y f (x).

Finalmente,

u (w) = u (w + Im(f )) = y ,

ker v Im(u ).

Seja em

a classe de

R-mdulos e seja um funo em C

com valores

Z.

A funo

aditiva se, para cada sequncia exata curta com termos em

C,

temos

(M ) (M ) + (M ) = 0.
Funes aditivas so bem comportadas quando aplicadas a qual-

quer sequncia exata (no necessariamente curtas), como vemos a seguir.

Proposio 2.15.

Seja

0 M0 M1 Mn 0
uma sequncia exata de

R-mdulos na qual todos os mdulos Mi T.

n

e todos os ncleos

dos homomorsmos esto em temos

Ento para qualquer funo aditiva

em

(1)i (Mi ) = 0.
i=0

Demonstrao : Decompondo a sequncia dada em sequncias exatas curtas

0 Ni Mi Ni+1 0
com

N0 = Nn+1 = 0.

Ento temos

(Mi ) = (Ni ) + (Ni+1 ).

Agora basta tomar

a soma alternada de

(Mi ),

cancelando todos os termos.

3. Anis e Mdulos de Fraes

41

Captulo 3 Anis e Mdulos de Fraes

O procedimento atravs do qual obtemos o corpo anel

a partir do

Z pode ser extendido a um domnio de integridade R, produzindo o corpo R.

A construo consiste em tomar todos os pares

de

fraes de
e

(a, s),

com

aR

s = 0,

e denir uma relao de equivalncia entre tais pares:

(a, s) (b, t) at bs = 0.
Notemos que este processo s vlido em domnios de integridade, pois a vericao de que esta relao transitiva envolve cancelamento de termos, isto , o fato de que

no possui divisores de zeros no nulos. Entretanto, pode

ser generalizado como segue. Seja subconjunto

R R

um anel. tal que

Um sistema multiplicativo fechado de e

um

de

1 S R S,

fechado em relao multiplicao.

Denimos uma relao

em

como

(a, s) (b, t) (at bs)u = 0

para algum

u S.

Claramente, esta relao reexiva e simtrica. Para vericarmos que transitiva, supomos que

(a, s) (b, t) e (b, t) (c, u).

Assim,

Ento existe e

v, w S
e

tal

(at bs)v = 0

(bu ct)w = 0.

atv = bsv

buw = ctw,

b=
Como e portanto,

atv ctw atv ctw = = (au cs)tvw. sv uw sv uw S

um sistema multiplicativo fechado, temos que Dessa forma,

tvw S , S 1 R S
1
o

(a, s) (c, u).

relao de equivalncia. e por

Denotamos por

a/s a classe de equivalncia de (a, s),

conjunto destas classes de equivalncia. Ao denir as duas operaes em

a b at + bs + = s t st

3. Anis e Mdulos de Fraes

e

42

ab a b = , s t st

este conjunto passa a ter uma estrutura de anel. Vejamos que estas operaes esto bem denidas. Tomemos

a/s a /s

b/t b /t .

Assim,

a b a b + + s t s t

at +bs at + bs st st s t (at + bs) (a t + b s )st u = 0 ( at + bs at +bs = . st st

para algum

u S)

E tambm,

a b a b s t s t

ab ar st st (s t )(ab) (a b )(st) v = 0 ( ab ab = . st st

para algum

v S)

O anel

S 1 R

chamado de anel de fraes de

R R,

em relao a denido por

S.

Tambm existe um homomorsmo de anis

f : R S R

f (x) = x/1;

em geral, no injetivo. Em particular, se

um domnio, temos a

seguinte denio.

Denio 3.1.
R,
onde

Se

um domnio, dizemos que

S 1 R

o corpo de fraes de

S = R {0}.

O seguinte resultado apresenta uma propriedade universal, satisfeita por todos os anis de fraes.

Proposio 3.2.
unidade em

Seja

g:RS s S.

um homomorsmo de anis tal que

g (s)

uma

para todo tal que

Ento existe um nico homomorsmo de anis

h : S 1 R S

g = h f. h satisfaz as condies, ento h(x/1) = hf (x) = s S,

Demonstrao : (i) Unicidade. Se

g (x),

para todo

x R.

Assim, se

h(1/s) = h((s/1)1 ) = g (s)1 ;

logo

h(x/s) = h(x/1) h(1/s) = g (x)g (s)1

unicamente determinada por

g.

3. Anis e Mdulos de Fraes

(ii)Existncia. Seja

43

h(x/s) = g (x)g (s)1 .

e logo

Ento

h ser, claramente, x/s = x /s ;

um homomorsmo desde que esteja bem denida. ento existe

Suponha que

tS

tal que

(xs x s)t = 0,

g (x)g (s ) g (x )g (s) g (t) = 0.

Como

g (t)

uma unidade em

S,

conclumos que

g (x)g (s)1 =

g (x )g (s )1 .
O anel

S 1 R

e o homomorsmo

f : R S 1 R S 1 R .
e Como

satisfazem as

seguintes propriedades: (a)

s S f (s)

uma unidade em

f (s) = s/1

S 1 R = {a/s : a R, s S },
(b)f (a) ento

em particular,

1/s S 1 R s S.

(1/s)(s/1) = 1.
De fato, se

= 0 as = 0

para algum logo

f (a) = 0,

a/1 0/1
e algum

(a 1 1 0)s = 0;
Obviamente, se

as = 0

para algum

s S.
para algum

(c) Todo elemento de

S 1 R

da forma ento

f (a)f (s)1

aR

s S.

x S 1 R ,

x = a/s = (a/1) (1/s) =

f (a) f (s)
de

. Por outro lado, estas trs condies determinam um isomorsmo

S 1 R

em

S.

Mais precisamente, temos o seguinte resultado.

Corolrio 3.3.
(i)

Se

g:RS

um homomorsmo de anis tal que uma unidade em para algum

s S g (s)

S; g (x)g (s)1 ;
tal que

(ii)

g (x) = 0 xs = 0

s S; h : S 1 R S g = hf.

(iii) Todo elemento de

da forma

ento existe um nico isomorsmo Demonstrao :

denido por

Pela Proposio 3.2, temos que mostrar que

h : S 1 R S ,

h(x/s) = g (x)g (s)

um isomorsmo. Notemos que esta denio para (iii),

utiliza a condio (i). Por

sobrejetora. Para mostrar que ento

injetora, analisemos o seu ncleo: se

h(x/s) = 0,

g (x) = 0; x/s = 0

e por (ii), temos em

xt = 0

para algum

t S.

Assim

(x, s) (1, 0),

isto ,

S 1 R .

Em particular, o resultado a seguir mostra que a partir de um homomormo de um domnio corpo de fraes de

em um corpo, obtemos um homomorsmo do

no mesmo corpo.

Proposio 3.4.
corpo

Todo homomorsmo injetor de anis de um domnio

em um

se estende unicamente de

K=S

R, (S = R {0})

L.

3. Anis e Mdulos de Fraes

Demonstrao : Seja

44

:RL

um homomorsmo injetor do anel

no corpo

L.

Consideremos a funo

: K F a (a) s (s)
Vemos que

est bem denida, pois

a b = at bs = 0 s t
e como

homomorsmo, claro que

(at bs) = 0 (a)(t) (b)(s) = 0.

Da

(a) (b) a = = (s) (t) s

b t

Alm disso,

tambm homomorsmo:

a b + s t

a b s t

at + bs (a)(t) + (b)(s) (at + bs) = = st (st) (s)(t) (a) (b) b a = + = + , (s) (t) s t ab (ab) (a)(b) = = = st (st) (s)(t) a b (a) (b) = = (s) (t) s t =
1 1 (1) (1)

(1) =

= 1.
homomorsmo tal que

Agora, suponha qualquer

:RL

|R = .

Para

x K, x= x=
a 1 1 a

temos as seguintes possibilidades:

Se Se

R, K,

ento

(a) = (a) =
1 ( a )=

(a) 1

= (a) (x) = (x).

1 (a) 1 = ( a ) (x) = (x). 1 (a) 1 = ( a ),
uma vez que

temos que

1 (a)

Note que esta expresso vlida,

pois

a 1 1 1 = (1) = ( a ) = (a. a ) = (a). ( a ).

Se

x=

a s

K,

ento

(x) = ( a ) = ( a) ( 1 ) = (a) ( 1 ) = ( a ). s s s s

3. Anis e Mdulos de Fraes

Portanto, de

45

= .

Obviamente,

|R = ,

e portanto,

extenso

.
Os dois prximos exemplos apresentam os casos mais interessantes

de anis de fraes.

Exemplo 3.5.
com e

Seja

um ideal primo em

R.

Ento

S = RP S
1

um sistema

multiplicativo fechado. Neste caso, escrevemos

RP

para

R.

Os elementos Assim

x/s I

xP

formam um ideal

em

RP .

Se

y/t / M,

ento

y / P.
e

yS

y/t

uma unidade em

RP .

Segue que se

um ideal em

RP

M,

ento

contm uma unidade e portanto, todo o anel. Logo em

o nico ideal maximal

RP ;

isto ,

RP

um anel local. Este processo para obter

RP

chamado de

localizao.

Exemplo 3.6.
S 1 R .

Seja

f R

S = {f n }n0 .

Neste caso, escrevemos

Rf

para

A construo de denindo a relao

S 1 R

pode ser extendida para um

R-mdulo M ;

em

M S

como tal que

(m, s) (m , s ) t S

t(sm s m) = 0. m/s
a classe de

Como antes, esta uma relao de equivalncia; equivalncia do par um

(m, s)

denota o conjunto de tais fraes.

S 1 M

R-mdulo
Seja

denido adio e multiplicao por escalar. Analogamente aos

Exemplos 3.5 e 3.6, escrevemos

MP

Mf
1

para o caso de mdulos.

u:M N S
1

um homomorsmo de

R-mdulos.
1

Ento

u origina m/s
em

um homomorsmo de

R-mdulo S

u : S

M S

N,

que leva

u(m/s). S
1
.

Com esta denio, claro que

S 1 (v u) = (S 1 v ) (S 1 u).

A seguir, apresentamos uma importante propriedade da operao

Proposio 3.7.
M,
ento

S 1 M

f 1 A operao S exata; isto , se M M S 1 f S 1 g S 1 M S 1 M exata em S 1 M .

exata em

Demonstrao : Temos que

Im(S

g f = 0,

ento

S 1 g S 1 f = S 1 (0) = 0, m/s ker S

em logo

e da

f ) ker S
em

g.

Para provar a incluso inversa, seja . Assim, existe

f , ento
. Mas

g (m)/s = 0
Im(g ), logo

S 1 M
pois

tS

tal que

tg (m) = 0 S

tg (m) = g (tm),

um homomorsmo de

R-mdulos;

tm ker g = M
temos que

tm = f (m ) para algum m M

. Dessa forma, em Portanto

m/s = f (m )/st = (S 1 f )(m /st) Im(S 1 f ).

ker S 1 f Im(S 1 f ).

3. Anis e Mdulos de Fraes

Em particular, segue deste resultado que se de

46

um submdulo

M,

a funo

S 1 M S 1 M S 1 M .

injetora, e assim

S 1 M

pode ser considerado

como um submdulo de

Com isso, temos o seguinte corolrio.

Corolrio 3.8.
(i)

Se

N, P

so submdulos de um
1

R-mdulo M ,

ento

(N + P ) = S

(N ) + S

(P );
e

(ii)

S 1 (N P ) = S 1 (N ) S 1 (P ); S 1 R-mdulos S 1 (M/N ) (S 1 M )/(S 1 N )

so isomor-

(iii) os

fos. Demonstrao : (i) Decorre diretamente da denio, uma vez que

S 1 (N + P ) = {x/s : x N + P, s S } = {(n + p)/s : n N, p P, s S } = S 1 (N ) + S 1 (P ).

(ii) Se para algum

y/s = z/t (y N ; z P ; s, t S ), w = uty = usz N P

ento e

ento

u(ty sz ) = 0

u S;

e da,

y/s = w/stu S 1 (N P ).
A incluso inversa bvia, e

Consequentemente, pois se

(S 1 N S 1 P ) S 1 (N P ). x = a/s,
com

x S 1 (N P ),

aN

a P.

(iii) Aplicando temos que

S 1
S 1

sequncia exata

0 N M M/N 0;

0 S 1 N S 1 M S 1 (M/N ) 0
exata (Proposio 3.7). Como

S 1

S 1 M N

um homomorsmo sobrejetor, e

ker =

S 1 N ;

temos que

S 1

S 1 M = 1 . S N

3.1 Propriedades Locais

Uma propriedade

de um anel

(ou de um

R-mdulo M ) P,

local

se a seguinte equivalncia verdadeira:

R
primo

(ou

M)

satisfaz

P RP

(ou

MP )

satisfaz

para cada ideal

de

R.
As proposies abaixo so exemplos de propriedades locais.

Proposio 3.9.
lentes:

Seja

um

R-mdulo.

As seguintes armaes so equiva-

3. Anis e Mdulos de Fraes

(i) (ii) (iii)

47

M = 0; MP = 0
para todos os ideais primos

de

R;
de

MM = 0

para todos os ideais maximais

R.

Demonstrao : Claramente, (i)

e que ideal

(ii)

(iii). Suponha que (iii) esteja satisfeita

M = 0. = (1),

Seja

x M

um elemento no nulo, e

I =

Ann(x).

um

logo est contido em um ideal maximal

(pelo Corolrio 1.33).

Consideremos

x/1 MM .

Como

MM = 0, R M;

necessariamente

x/1 = 0,

e assim

anulado por algum elemento de

o que impossvel, uma vez que

Ann(x)

M.
Seja

Proposio 3.10.
so equivalentes:
(i) (ii) (iii)

:M N

um homomormos de

R-mdulos.

Ento

injetor; injetor para cada ideal primo

P : MP NP

P; M.

M : MM NM

injetor para cada ideal maximal

Analogamente, substituindo-se injetor por sobrejetor. Demonstrao : (i)

(ii).

0M N P
injetor.

exata, ento

0 MP NP

exata

(Proposio 3.7). Portanto, (ii) (iii)

(iii). Obviamente, pois todo ideal maximal primo. (i). Seja

M = ker .

Ento a sequncia

0M M

exata, e

MM

0 MM MM NM exata pela Proposio 3.7. Assim = ker M = 0, pois M injetor. Portanto, M = 0 por 3.9, e injetor.
Analogamente, se prova a validade da proposio para homomor-

smo sobrejetor.

3.2 Extenso e Contrao de Ideais em Anis de Fraes

Sejam

o conjunto dos ideais contrados em Se

R, e E

o conjunto dos

ideais estendidos em

S 1 R.

um ideal em

R,

sua extenso

Ie

em

S 1 R

I.
(i) Todo ideal em

Proposio 3.11.

S 1 R

um ideal estendido.

(ii) Se

um ideal em

R,

ento

I ec =

sS (I

: s).

Assim,

I e = (1)

se, e somente se,

coincide com

S.

3. Anis e Mdulos de Fraes

(iii)

48

IC

nenhum elemento de

um divisor de zero em

R/I .

(iv) Os ideais primos em

S 1 (R) R

esto em correspondncia bique no coincidem com

unvoca (P

P)

com os ideais primos de

S.
e

Demonstrao : (i) Seja

um ideal em

S 1 (R )

e seja

x/s J .

Ento

x/1 J ,

x J c.

Logo

x/s J ce .
(ii)

Como

J J ce ,

segue que

J = J ce .
para algum

x J ec = (S 1 I )c x/1 = a/s t S xst I x

ec

a I, s S

(xs a)t = 0
nenhum

para algum (iii)

sS (I

: s) . s S x I) Jc
um ideal primo

I C I J

I (sx I R/I .

para algum

sS

um divisor de zero em

(iv) Se em

um ideal primo em

S 1 (R), R,

ento ento

R.

Por outro lado, se

um ideal primo em

de integridade. Se

S S

a imagem de

em

R/P ,

temos

S 1 R S 1 P

R/P um domnio 1 = S (R/P ), que

ou est contido em um corpo de fraes de

R/P ;

e ento um domnio de

integridade. Logo

primo ou o ideal das unidades. Por (i), esta ltima

possibilidade ocorre se, e somente se,

coincide com

S. S 1 R
de

Corolrio 3.12.

Se

o nilradical de

R,

o nilradical de

S 1

Demonstrao : O resultado imediato, j que o nilradical

de todos os ideais primos em os ideias primos em

R a interseco

R,

e estes esto em correspondncia biunvoca com

S 1 R . P
um ideal primo de

Corolrio 3.13.

Se

R,

os ideais primos do anel local

RP

esto em correspondncia biunvoca com os ideais primos de Demonstrao : Basta tomar

contido em

P.

S =RP

em no item (iv) da Proposio 3.11.

3.3 Domnio de Fatorao nica

Esta seo, embora trate de um caso particular de domnio de integridade, traz alguns resultados importantes envolvendo seu corpo de fraes. Por isso, optamos por inclu-la no m deste captulo. Quando consideramos o anel

Z,

o Teorema Fundamental da Arit-

mtica garante que todo nmero inteiro tem uma representao nica como produto de nmeros primos, a menos das unidades nmeros primos e fatorao nica em de integridade

1.

Estas idias de

podem ser estendidas para um domnio

qualquer, como segue.

3. Anis e Mdulos de Fraes

A partir deste momento, utilizamos a notao

49

x | y,

para dizer que

divide de

x,

isto ,

y = x z, p p|x
ou

para algum

z R. R

Dizemos que um elemento

p=0
que

primo se temos que

no unidade em

e se, para quaisquer

x, y A

tais

p | x y,

p | y.

Um elemento temos que

xR z

irredutvel se para

qualquer fatorao

x = y z , y, z R, x R,

ou

unidade.

Um elemento

no nulo, no inversvel e no irredutvel

chamado de composto. Se dois elementos dizemos que

x, y R

so tais que

x|y

y | x, ento
divisor
ento

so associados, e denotamos por

x y.
tal que

Em um domnio de integridade

R, um elemento d mximo d R d |a R,
e a unidade em

comum de

a, b R

se

d|a

d | b,

e se para

d | b,

d | d.
e

Se o mximo divisor comum de

a, b R

dizemos que

so primos entre si.

Proposio 3.14.
irredutvel. Demonstrao : Seja
em

Todo elemento primo de um domnio de integridade

pR p = ab.

um elemento primo. Ento Como

p=0

no unidade ou

R.

Suponhamos Se

p | p,

ento

p | ab.

Assim,

p|a

p | b. p = ab, p

p | a, ento existe t R tal que a = pt.

Logo

Substituindo em

obtemos

p = p(tb).

tb = 1

unidade. obteremos que

Analogamente, se irredutvel.

p | b,

unidade. Portanto,

A recproca desta proposio no vlida, em geral. Basta considerar o nmero se

(a + b 5) (c + d 5) = 3,

no anel

R = Z[ 5]:
com

irredutvel mas no primo. De fato, temos

a, b, c, d Z,

ac 5bd = 3 bc + ad = 0
Supondo

c = 0, b=

temos

ad 5ad2 ac =3a|3 c c
Se

e ento,

a {1, 1, 3, 3}.

a = 1,

ento

c = 3 + 5 b2 c c | 3
e da

c {3, 1, 1, 3}.
e

Mas de

c(1 5b2 ) = 3, obtemos que c = 3 e b = 0.

Logo,

a = 1, c = 3, ou o contrrio. Assim, um dos dois elementos unidade em [ 5], e 3 irredutvel. Alm disso, 3 divide (2+ 5) (2 5) = b=d=0 9, Z[ 5].
mas no divide nenhum dos dois fatores. Portanto,

no primo em

R =

3. Anis e Mdulos de Fraes

Entretanto, se

50

R for um domnio principal, a recproca verdadeira,

conforme mostra o seguinte resultado:

Proposio 3.15.
primo. Demonstrao : Seja
Suponhamos que elementos. Seja maneira que

Em um domnio principal

R,

todo elemento irredutvel

um elemento irredutvel. Logo com

p=0 p

no unidade.

p | ab,

a, b R.
Como

Mostremos que

divide cada um destes

(p, a) = (d).
Sendo

pertence a esse ideal, existe

q R

de

p = dq .
Se

irredutvel, ento ou ento

unidade, ou

unidade. tais

d unidade em R,
Multiplicando por

(p, a) = R.

Logo, existem

x, y R

que

1 = px + ay . p p | b.

esta igualdade, obtemos

b = p(bx) + (ab)y .

Como que

divide ambas as parcelas do segundo membro desta relao, conclumos

Agora, se por outro lado, nos garante que

unidade, ento de

p = dq

segue que

d = pq 1 .

Como, o que

a (d), p | a.

ento

a = dq1

com

q1 .

Portanto,

a = p(q 1 q1 ),

Em um domnio principal prprio e primo

R, temos uma caracterizao de um ideal

P,

explicitada abaixo.

Proposio 3.16.
nulo e primo de

Seja

um domnio principal. Seja

um ideal prprio no

R.

Ento

gerado por um elemento irredutvel.

Mostremos que e

Demonstrao : Seja
uma decomposio

P = ( a) , a R .
Como

irredutvel. Tomemos

a = mn.

aP

primo, ento temos

mP

ou

n P. a

Supondo, sem perda de generalidade, que

m P,
isto ,

m = ka;

e ento,

a = kan.

Como

domnio, obtemos

1 = kn,

unidade e, portanto,

irredutvel.

A partir destas discusses, temos a seguinte denio.

Denio 3.17

(Domnio de Fatorao nica)

Um domnio

domnio de

fatorao nica se todo elemento no nulo em

pode ser fatorado unicamente,

exceto por unidades e a ordem dos fatores, em elementos irredutveis.

Em particular, todo elemento irredutvel de um domnio de fatorao nica

primo.

Com efeito, seja Assim,

um elemento irredutvel de e

suponhamos que

x | ab, a, b R.

a = p1 pr

b = q 1 qs ,

com

pi , qj

3. Anis e Mdulos de Fraes

irredutveis, e ento dutveis. Como

51

p1 p r q1 q s
para algum

a nica fatorao de

ab

em fatores irre-

ab = xy

y R,
e

considerando a fatorao irredutvel

y = w1 wt ,
ou

temos que

p1 pr q1 qs u.
Logo

xw1 wt
ou

so duas fatoraes de

ab

em fatores irredutveis. Como

R domnio de fatorao nica, temos que x = upi x|a x | b.

x = uqj

para alguma unidade

Vejamos agora alguns exemplos de domnio de fatorao nica.

Exemplo 3.18.
n Z {0},

O anel

um domnio de fatorao nica, pois para qualquer

temos uma decomposio nica em fatores primos, que so os

elementos irredutveis deste conjunto. Claramente, pelo elemento unidade

n e n diferenciam-se apenas

1.

Exemplo 3.19. Exemplo 3.20.

nica, ento

Todo corpo , trivialmente, um domnio de fatorao nica, j

que todos os seus elementos so unidades. O anel de polinmios

Z[X ]

um domnio de fatorao nica.

De maneira geral, mostraremos que se

R um domnio de fatorao

R [X ]

tambm (Teorema 3.27).

Para esta demonstrao, sero

necessrios alguns lemas e a seguinte denio.

Denio 3.21.
polinmio

Seja

um domnio de fatorao nica.

n

Dizemos que um

F = a0 + a1 X + . . . + an X

primitivo se

no constante e se o

seus coecientes so primos entre si, isto , admitem a unidade divisor comum.

1R

como mximo

Lema 3.22.
F = dF. d d1
e

Seja

F R [X ]

um polinmio no constante. e existe um elemento com

Ento existe uma de maneira que

polinmio primitivo

F R[X ]

d R

Alm disso, se

F = d1 F 1

d1 R

F1

primitivo em

R[X ],

ento

F F1 . F = a0 + a1 X + . . . + an X n .
fazendo Se

Demonstrao : Suponhamos
divisor comum de

um mximo

a0 , a1 , . . . , an , F =

a0 a1 an + X + . . . + Xn d d d F
primitivo, pois

temos que

F = dF

e, ainda, que

ai so primos entre si, para d

i = 0, ..., n.
Agora, suponhamos decorre que

F = d F = d1 F 1 .
Logo

Da igualdade

F = d1 F1 d = d1 c. c divide

d 1 | ai

para

i = 0, ..., n.

d1 | d,

e existe

cA

tal que

Retomando a igualdade obtida, chegamos a

d F = d1 F 1
Da

e levando em conta a ltima igualdade

d1 c F = d1 F1 .

c F = F1 .

Isto nos garante que

3. Anis e Mdulos de Fraes

todos os coecientes de unidade. Ento

52

F1 .
e

Sendo este polinmio irredutvel, a concluso que

d d1

F F1 .

Lema 3.23.

O produto de dois polinmios primitivos sobre um anel fatorial

um polinmio primitivo. Demonstrao : Sejam

F = a0 + a1 X + . . . + am X m m
e

G = b0 + b1 X + . . . + bn X n

os polinmios primitivos, de graus

respectivamente. Ento

F G = c0 + c1 X + . . . + cm+n X m+n
onde

ck =

i+j =k
Se

ai bj , k = 0, 1, ..., m + n.
Como

F G no fosse primitivo, existiria um elemento irredutvel p A p

divide

de modo que

p | ck , k = 0, 1, ..., m + n.

a0 b 0

e irredutvel, ento

p | a0

ou

p | b0 .
Considerando a primeira alternativa, podemos dizer que existe

r,

0 < r m,

tal que

p | a0 , p | a1 , . . ., p | ar1 , p ar .

Como

c r = a0 b r + a1 b r 1 + . . . + ar b 0
, com

p | cr

p ar ,

ento

p | b0 . s, 0 < s n,
tal que

Logo, podemos dizer que existe

p | b0 , p | b 1 ,

. . ., p | bs1 , p bs .

Considerando que

cr+s = a0 br+s + . . . ar1 bs+1 + ar bs + ar+1 bs1 + . . . ar+s b0

ento

p | ar bs .

Assim,

p | ar

ou

p | bs ;

o que um absurdo, pois

so

primitivos.

Lema 3.24.
Se

Seja

o corpo das fraes de um domnio de fatorao nica

R.

f K [X ]

no constante, ento existem de maneira que

a, b R

no nulos, e um polinmio

primitivo

F R [X ]

f =

a b

F.

Alm disso, se

f =

a1 b1

F1 ,

com

a1 , b1 R

no nulos e

F1 R[X ]

tambm primitivo, ento

ab1 a1 b

F F1 .

Demonstrao : Sendo

f=
e fazendo

c1 cm m c0 + X + ... + X d0 d1 dm f =
1 b

d 0 d 1 . . . d m = b,
com

ento

F,

com

F R[X ].

Pelo Lema 3.22,

f=

a b

F,

primitivo e

a R,

no nulo.

Por outro lado, se

f=
conforme o enunciado, ento 3.22, conclumos que

a a1 F = F1 , b b1
Usando a segunda parte do Lema

ab1 F = a1 b F1 .
e

ab1 a1 b

F F1 .

3. Anis e Mdulos de Fraes

53

Lema 3.25.
R.
Se

Seja

um polinmio irredutvel sobre o domnio de fatorao nica

o corpo de fraes de

R,

ento

tambm irredutvel sobre

K.

Demonstrao : Suponhamos

redutvel sobre

K.

Ento existem dois polinmios

g, h K [X ],

ambos de grau maior ou igual a

1,

tais que

F = g h.

O Lema 3.24

nos permite o seguinte com relao a

e a

h:
no nulos, e

g=
so primitivos.

a b

h=

c d

H,

onde

a, b, c, d A,

G, H R[X ]

Assim temos

F =
onde

ac (G H ) bd

ou

bd F = ac (GH )

GH

primitivo, devido ao Lema 3.23. Ento existe unidade

tal que

ac = u(bd),

pois

ac

bd

so ase

sociados.

Portanto,

F = (u G) H .

Como

deg (u G) = deg (G) 1

nos diz que

deg (H ) = deg (h) 1,

redutvel em

ento a igualdade

F = (u G) H

R [X ],

contrariando a hiptese.

Decorre deste resultado que se fatores comuns em

so polinmios em

R [X ]

sem

R[X ],

ento tambm no possuem fatores comuns em

K [X ].

Corolrio 3.26.
irredutvel

Seja

um domnio de fatorao nica. Ento todo polinmio

F R [X ]

tambm primo.

Demonstrao : Primeiramente, suponhamos que

polinmio constante. em em

F R,

isto , que

um

Sendo irredutvel como elemento de

R,

ento

primo

R.

Armamos que teramos

primo em com

R [X ]. G
e

De fato, se

F R G, H F

no fosse primo

R [X ],

F | G H, G

H. bj

Mas

so polinmios de no divide algum

graus maiores ou iguais a dos coecientes implica que da forma

0, e com coecientes em R.

Assim,

ai

de

e algum dos coecientes

de

H.

Entretanto,

F |GH

divide todos os coecientes deste produto, onde cada coeciente

ck = F ai
e

k l=0

al b k l

e est em

R.

Logo

dividiria todo produto da forma

ai b j

com

F bj ,

contrariando o fato de

ser primo em

R. R[X ].
Como Se

Supondo agora que o corpo de fraes de

deg F 1 K [X ]

e que

F | GH
em

em

R,

podemos dizer que

F | GH

K [X ].

K [X ]

um domnio principal, e

primo em

(Proposio 3.15), ento

F |G

ou

F |H
Como

em

K [X ].
Consideremos que

F | G.

Ento existe

q K [X ] tal que G = F m.

primitivo em

R[X ] e usando as decomposies dadas pelos Lemas 3.22

3. Anis e Mdulos de Fraes

e 3.24, obtemos

54

cG=
onde

a F q b R[X ].
Ento

a, b, c R

no nulos e

F m u

so polinmios primitivos de

bc a,

o que acarreta que existe

unidade em

tal que,

G = u F m.
Logo

G = F (ucm), R

o que garante que

F |G

em

R[X ]. R[X ]
domnio

Teorema 3.27.

Seja

um domnio de fatorao nica. Ento

de fatorao nica. Demonstrao : Seja

F R[X ]

um elemento no nulo e tal que

no unidade.

A demonstrao da decomposio ser feita por induo sobre Se dutveis de

deg (F ).
em fatores irre-

deg (F ) = 0, R

ento

F R.

Decompondo

R,

j que

domnio fatorial, obtemos a decomposio desejada,

pois um elemento irredutvel em vlida pois

tambm o em com

R[X ].

Essa ltima armao teremos

R R [X ], R [X ].

e se

F = G H,

G, H R[X ],
e

GR
Logo

H R,

uma vez que

0 = deg F = deg G + deg H ,

deg G, deg H 0.

irredutvel em

Agora suponhamos que

deg (F ) = n > 0 r,

e admitamos que a onde

decomposio seja possvel para todo polinmio de grau Lema 3.22, podemos escrever

0 r < n. R,

Pelo Caso

F = d F , com d R e F R[X ] primitivo. d d

em fatores irredutveis em fosse unidade, ento

seja irredutvel, basta decompormos

obtendo

a decomposio desejada para

F.

Se

tambm seria

irredutvel, e nada haveria a fazer. Caso de modo que

F G

seja composto, existem

G, H R[X ]

F = G H,

com

1 deg (G), deg (H ) < deg (F ) = deg (F ).

e

Pela hiptese de induo, dutveis. Assim,

se decompem em fatores irre-

F = d F = d(G H ) dR
e

se decompe em fatores irredutves em

R [X ],

uma vez que

domnio fatorial.

Mostremos agora a unicidade da decomposio. Seja

F = P1 . . . R [X ]. Qj . P1 | F ,

Ps = Q1 . . . Qt (t s)
Pelo Corolrio 3.26, os temos que

decomposies de

em fatores irredutveis em Assim, como

Pi , Qj R[X ]
Sendo

so todos primos. elemento primo,

P1 | Q1 . . . Qt . P1 | Q1 .
Suponhamos

P1

P1

divide algum dos

Admitamos que

Como

Q1

primo, temos com

P1 Q1 .
unidade em

Q1 = u1 P1 ,

u1

R.

Ento de De forma

P1 P2 . . .Ps = Q1 Q2 . . .Qt , obtemos P2 P3 . . .Ps = (u1 Q2 )Q3 . . .Qt .

anloga a

P1 ,

obtemos

Q2 = u2 P2 .

Assim,

P3 . . . Ps = u1 (u2 Q3 ) . . . Qt .

3. Anis e Mdulos de Fraes

Prosseguindo com este raciocnio, obteremos nica, a menos de unidades.

55

Pi Q i ,

e a representao ser

A aplicao sucessiva do teorema acima nos d o corolrio seguinte:

Corolrio 3.28.

Seja

um domnio de fatorao nica. Ento

R [X1 , . . . , X n ]

um domnio de fatorao nica.

Como um corpo

sempre domnio de fatorao nica, j que

todos os seus elementos no nulos so unidades; temos que o , para qualquer corpo O corpo de fraes de

K [X1 , . . . , Xn ] tambm
e chamado

K.

Em especial,

Q[X ] um domnio de fatorao nica. K (X1 , . . . , Xn ) K. R,

obtemos

K [X1 , . . . , X n ] n

denotado por

de corpo das fraes racionais em

variveis sobre

Se considerarmos o corpo de fraes de um domnio

uma representao nica (a menos de unidades) de seus elementos, conforme mostrado a seguir.

Proposio 3.29.
R

Seja

um domnio de fatorao nica e

seu corpo de
a , onde b

fraes. Ento todo elemento

de

pode ser escrito como

z =

a, b

no possuem fatores em comum; e esta representao nica, a menos de

unidades de

R.
Note que, se provarmos que todo par de elementos

Demonstrao :

x, y R

a b admite mximo divisor comum e que, se d o tal divisor, ento e so primos d d x entre si, este resultado estar provado; uma vez que se z = , com x = ad e y y = bd, teremos z = a , a, b primos entre si. b
Primeiramente, provemos que comum em

x, y R

admitem mximo divisor

R.

Se

x = 0,
ento

ento

um mximo divisor comum de

y.

Se

unidade em

R,

mximo divisor comum de

y.

Caso contrrio,

podemos decompor

y:
e

r1 r2 n x = up1 p2 . . . pr n
Seja que

sn 1 s2 y = vps 1 p2 . . . pn .
Mostremos

kn 1 k2 d = pk 1 p . . . pn , onde ki = min{ri , si } (i = 1, . . . , n).

o mximo divisor comum de Que

y. d R
com, Logo unidade em

d|x

d|y

imediato. Agora, suponhamos que

d | x

d | y .

Ento

tn 1 t2 d = wpt 1 p2 . . . pn , w
Logo

ti ri , si .

ti min{ri , si } (i = 1, . . . , n).

d | d. b 1 k1 s2 k2 n kn = vps p2 . . . ps . 1 n d

Dessa forma, temos

a 1 k1 r2 k2 n kn = upr p2 . . . pr 1 n d

3. Anis e Mdulos de Fraes

Como

56

ki = min{ri , si }, ento quando no se tem ri ki = 0, tem-se

o mximo divisor comum de temos que

si ki =. a, b
em

Da

0 0 p0 1 p2 . . . pn = 1

y.
e

a Supondo b

= cd,

ad = bc
e

e, assim, e

a | bc

b | ad. u, v

Como

so primos entre si, ento

a|c

b | d;

c = ua

d = vb,

para

unidade

R,

pois domnio de fatorao nica.

Recordemos que o anel seus ideais so da forma

um domnio principal, j que todos os

I = (n);

e, de acordo com o Exemplo 3.18,

tambm

domnio de fatorao nica. Entretanto, armamos que este fato vlido para todo domnio principal, conforme o resultado a seguir.

Teorema 3.30.

Todo domnio principal

domnio de fatorao nica.

Demonstrao : Mostremos que dado

a R, com R domnio principal e a no nulo p1 , p2 , . . . , pn (n 1)

de maneira

e no unidade, existem elementos irredutveis que

a = p1 p2 . . . pn ,

e tal decomposio nica, a menos da ordem dos fatores e

de unidades. trivial o caso em que composto de

a irredutvel. R

Suponhamos tal que

a um elemento a = p1 q 1 , a
com seria

R. q1

Ento existe elemento irredutvel

p1 R

q1 A. n = 2.
,

Podemos dizer que

q1

no unidade em

pois, caso contrrio,

irredutvel. Se Se

for irredutvel, a existncia da decomposio est provada com

q1

no for irredutvel, existe elemento irredutvel Ento

p2

que divide

q1 ,

isto

q1 = p2 q2 , q2 R .
seria redutvel.

a = p1 p2 q2 ,

com

q2

no unidade. Procedendo desta irredutvel pois, caso contrrio,

maneira, existir um

n > 1 de maneira que qn1 a = p1 p2 pn1 qn1

Da

e, fazendo

qn1 = pn ,

obtemos a

decomposio

a = p1 . . . pn .
A demonstrao da unicidade anloga a do Teorema 3.27, lem-

brando que em um domnio principal, todo elemento irredutvel primo.

A proposio a seguir caracteriza os ideais principais primos em um domnio de fatorao nica.

Proposio 3.31. Um ideal principal I = (a) em um domnio de fatorao nica

R
primo se, e somente,

irredutvel.

Demonstrao : Como num domnio principal,

irredutvel; basta mostarmos que ideal primo no trivial.

primo se, e somente se,

aR

primo se, e somente se,

I = (a)

um

3. Anis e Mdulos de Fraes

Se algum

57

primo, ento para todo

bc I = (a)
isto ,

temos ou

bc = ma

para

m R.

Logo

a | bc,

e da,

a|b

ou

a | c;

bI

c I.

Portanto,

I = (a) bI

primo. Por outro lado, se

I = ( a) a|b

primo, ento para todo

bc I ,

temos

ou

c I.

O que equivale a

ou

a | c,

com

a=0

no unidade, pois

ideal primo no trivial.

4. Condies de Cadeia

58

Captulo 4 Condies de Cadeia

No Captulo 1, consideramos cadeias de ideais para a aplicao do Lema de Zorn. Agora, estudaremos uma cadeia de submdulos e suas pro-

priedades. Para tanto, denimos uma relao de ordem parcial em um conjunto. Seja seja,

um conjunto parcialmente ordenado por uma relao

ou

reexixa e transitiva e tal que se

xy

y x,

ento

x = y.

Proposio 4.1.
(isto , existe

As seguintes armaes so equivalentes em

:
estacionria

(i) Toda sequncia crescente

x1 x2

em

tal que

xn = xn+1 = ).
possui um elemento maximal.
Assim,

(ii) Todo subconjunto no vazio de

Demonstrao : Para provar que (i)(ii), suponha que (ii) seja falsa.
existe um subconjunto no vazio

de

sem nenhum elemento maximal. Ento

podemos construir indutivamente uma sequncia innita e estritamente crescente em

T,

contrariando (i). Por outro lado, os elementos de qualquer conjunto no vazio de

se ordenados, formam uma sequncia estacionria como em (i). um maio elemento

Assim, possui

xn .

Se relao

o conjunto dos submdulos de um mdulo M , ordenado pela

de cadeia crescente, e (ii) de condio

, ento (i) chamada de condio

Um mdulo

maximal.

satisfazendo uma das duas condies equivalentes

chamado de Noetheriano. Se

for ordenado por

ento (i) a condio de cadeia decres-

cente e (ii), a condio mininal. Um mdulo

chamado de Artiniano.

satisfazendo estas condies

Exemplo 4.2.

O anel

Noetheriano, pois satisfaz a condio de cadeia cres-

cente. Todo ideal gerado por um nmero inteiro, e assim, qualquer cadeia

4. Condies de Cadeia
limitada pelo ideal gerado pelo mximo divisor comum dos demais geradores. Entretanto,

59

no Artiniano pois, dado

n Z,

temos

(n)

(n2 ) (nk ) ...

Apesar da importncia de anis Artinianos, neste trabalho nos dedicamos apenas ao estudo de anis Noetherianos. Assim, os prximos resultados se restrigem a anis com esta propriedade. A proposio a seguir apresenta uma caracterizao de Noetherianos.

R-mdulos

Proposio 4.3. M
nitamente gerado. Demonstrao : Seja

um

R-mdulo

Noetheriano

todo submdulo de

um submdulo de

M,

Se

o conjunto de todos os sobm-

dulos nitamente gerados de

N.

Ento

= , N0 .

pois

0 ,

e pelo item (ii) da

Proposio 4.1, tem um elemento maximal

N0 = N ,

existe

xN

tal que

x / N0 . N0

Considerando o submdulo

N0 + Rx,

nitamente gerado e que contm

estritamente; obtemos um submdulo nitamente gerado de

que contm e

estritamente o elemento maximal nitamente gerado. Agora suponha que

N0 : M

uma contradio. Portanto,

N0 = N

nitamente gerado e tome

M1 M2
Digamos que e, portanto, a

uma cadeia crescente de submdulos de de

M.

Ento

N=
da

n=1

Mn um submdulo

e, portanto, nitamente gerado por, digamos, e seja

x1 , , xr . Mn = N

xi Mni

n = maxr i=1 Ni .

Ento cada

xi Mn ,

cadeia estacionria.

Vejamos como os anis Noetherianos se comportam em sequncias exatas.

Proposio 4.4.
R-mdulos.
Ento

Seja

0 M M M M
e

uma sequncia exata de

Noetheriano

so Noetherianos.

Demonstrao : [] Sejam

M0 M1

uma cadeia de submdulos de

; e e

M0 M1

uma cadeia de submdulos de

. Ento

M0 M1 M
.

1 M0 1 M1

so cadeias estacionrias em

M,
e

pois

Noetheriano.

Portanto, as cadeias tambm so estacionrias em

[] Se

M0 M1 M

uma cadeia de submdulos de

M,

ento

1 M0
uma

1 M1

uma cadeia estacionria em . Logo,

M0 M1

cadeia estacionria em

Noetheriano.

4. Condies de Cadeia

60

Corolrio 4.5.

Se

M i (1 i n)

so

R-mdulos

Noetherianos, ento

1 n i=1 Mi .

Demonstrao : Por induo sobre

na sequncia exata

n1 0 Mn n i=1 Mi i=1 Mi 0.
Se

n = 2,

temos a sequncia

0 M2 M1 M2 M1 0
com

M1 , M2

Noetherianos. Pela Proposio 4.4, Suponhamos que

M1 M2

Noetheriano.

n1 i =1 Mi

Mn

sejam mdulos Noetherianos. En-

to, aplicando a Proposio 4.4 na sequncia

n1 n1 0 Mn i =1 Mi Mn i=1 Mi 0,
conclumos que

1 n i=1 Mi

Noetheriano.

Dizemos que um anel

Noetheriano (Artiniano) se satisfaz a

condio de cadeia crescente (decrescente) para seus ideais. Por exemplo, qualquer corpo

um anel Noetheriano e Artiniano, pois seu nicos ideais so os

triviais. Vejamos mais alguns exemplos.

Exemplo 4.6. Como consequncia da Proposio 4.3, qualquer domnio principal

Noetheriano, uma vez que todos os ideais so nitamente gerados.

Exemplo 4.7.

O anel

K [X1 , X2 , ...], K

corpo, no Noetheriano. Basta consiEntretanto,

derar a sequncia

(X1 ) (X1 , X2 ) . K [X1 , X2 , ...],

K [X1 , X2 , ...]

um

domnio de integridade, e assim possui um corpo de fraes. Como o corpo de fraes Noetheriano e contm vemos que um subanel de anel

Noetheriano no , necessariamente, Noetheriano.

Vimos que nem todo subanel de anel Noetheriano Noetheriano. Em contrapartida, este fato vlido para forme o resultado abaixo.

R-mdulos

nitamente gerados, con-

Proposio 4.8.
gerado. Ento

Sejam

um anel Noetheriano e

um

R-mdulo

nitamente

Noetheriano.

Demonstrao : Pela Proposio 2.7, temos que

isomorfo a um quociente de

Rn

para algum

n.

Ento, temos uma sequncia exata

0 I Rn M 0
onde

o ncleo do homomorsmo de

Rn

em

M.

Como

Noetheriano, pelo

resultado anterior, Noetheriano.

tambm o .

Assim, a Proposio 4.4 garante que

4. Condies de Cadeia

61

Proposio 4.9.

Sejam

um anel Noetheriano e

um ideal de

R.

Ento

R/I

um anel Noetheriano. Demonstrao : Considerando a sequncia exata

0 I R
e aplicando a Proposio 4.4, temos que

R 0 I

R Noetheriano. I

Uma cadeia de submdulos de um mdulo (0

uma sequncia

(Mi )

i n)

de submdulos de

tal que

M = M0 M1 Mn = 0.
O comprimento da cadeia o nmero de incluses

n.

Uma srie

de composio de

uma cadeia maximal, ou seja, na qual no se pode

inserir nenhum submdulo extra. Isto equivalente a dizer que cada quociente

Mi1 /Mi (1 i n)

simples ; isto , no possui nenhum submdulo no trivial.

Proposio 4.10.
mento em

Suponha que

tenha uma srie de composio de compri-

n.

Ento toda srie de composio de

tem comprimento

n, e toda cadeia

pode ser estendida a uma srie de composio.

Demonstrao : Denotamos por

posio de mdulos de

(M )

o maior comprimento de sries de com-

M.

Esta prova ser feita em trs etapas.

1. Mostremos que de composio em

N M (N ) < (M ).

Seja

(Mi )

uma srie

de comprimento mnimo; e consideremos os submdulo

Ni = N Mi

de

N.

Como

Ni1 Ni

Mi1 Mi1 , e simples; temos que Mi Mi

Mi1 Ni1 = Ni Mi (Ni )

ou

Ni1 = Ni .

Se a segunda condio acontece para algum i, podemos eliminar os termos repetidos da sequncia Mas, pelas condies acima, e obtermos um srie de composio em Entretanto, se

N.
e

(N ) (M ).

(N ) = (M ),

ento

Ni1 Ni

Mi1 para cada Mi

i = 1, 2, ..., n. M = N.

Assim,

Mn1 = Nn1 , Mn2 = Nn2 ,

assim por diante. Logo

2. Vejamos que qualquer cadeia em igual a

tem comprimento menor ou

(M ).

Seja

M = M0 M1

uma cadeia de comprimento e portanto,

m.

Por 1,

temos que

(M0 ) > (M1 ) > > (Mk ) = 0;

m (M ).

4. Condies de Cadeia
3. comprimemto for Consideremos qualquer srie de composio de

62

M.

Se seu

m,

por 2,

m (M ),

e ento

m = (M ).

Assim, todas as

sries de composies tm o mesmo comprimento. Finalmente, tomemos qualquer cadeia em

M.

Se seu comprimento for

(M ), (M ),

ento uma srie de composio.

Se seu comprimento for menor do que

no srie de composies, e assim,

novos termos podem ser inseridos at que seu comprimento seja

(M ).

Proposio 4.11. M
Demonstrao :

tem uma srie de composio se, e somente se,

satisfaz

as duas condies de cadeia.

[] Como

tem uma srie de composio, pela Proposio

4.10, toda cadeia em comprimento.

pode ser estendida a uma srie de composio de mesmo

Assim, todas as cadeias so limitadas, e

satisfaz ambas as

condies de cadeia.

[] Se

satisfaz ambas as condies de cadeia, podemos construir um srie

de composio em

M,

como segue. satisfaz a condio maximal, possui um submdulo

Como maximal

M = M0

M1 M0 .

Da mesma forma,

M1 tem um submdulo maximal M2 M1 ;

satisfaz a condio de cadeia decrescente,

e assim por diante.

Dessa forma, obtemos um cadeia estritamente decrescente Como

M = M0 M1 M2 .

a sequncia contruda nita. Portanto, obtemos um srie de composio de

M.

Um mdulo satisfazendo as condies de cadeia crescente e decrescente chamado de mdulo de comprimento nito. Pela Proposio 4.10, todas as sries de composio de

possuem o mesmo comprimento

(M ), chamado de

comprimento de

M. G
so equiva-

O Teorema de Jordan-Hlder um resultado clssico na teoria de grupos, que arma: toda as sries de composio de um grupo lentes. nito:

Este resultado tambm pode ser aplicado a mdulos de comprimento se

(Mi )0in

(Mi )0in
Mi1 Mi

so duas sries de composio de

M,

existe e o

uma correspondncia biunvoca entre o conjunto dos quocientes conjunto dos quocientes isomorfos.

Mi1 Mi )

1in

, tais que os quocientes correspondentes so

1in

4. Condies de Cadeia
A proposio a seguir mostra que o comprimento plo de funo aditiva.

63

(M ) um exem-

Proposio 4.12. O comprimento (M ) uma funo aditiva na classe de todos

os

R-mdulos

de comprimento nito.

Demonstrao : Devemos provar que se a sequncia

0 M M M 0
exata, ento

(M ) = (M ) + (M ).
; e

Tomemos

(M0 ) (M1 )
a imagem inversa em

(Mr ) = 0, a imagem por de uma srie de composio M = M0 M1 Mr = 0

por em

1 (M0 ) 1 (M1 ) 1 (Ms ) = 0, = ker , M

temos que

de uma srie de composies Como Im()

M = M0 M1 Ms = 0 (M0 ) = 1 (Ms ).

Assim, obte-

mos a srie de composio em

1 (M0 ) 1 (M1 ) 1 (Ms ) = (M0 ) (M1 ) (Mr ) = 0

de comprimento

n = r + s. K,
isto

Considerando o caso particular de mdulos sobre um corpo , so espaos vetoriais sobre

K,

temos o seguinte resultado.

Proposio 4.13.
equivalentes:

Para espaos vetoriais

sobre

K,

as seguintes condies so

(i) dimenso nita; (ii) comprimento nito; (iii) condio de cadeia crescente; (iv) condio de cadeia decrescente. Alm disso, se estas condies esto satisfeitas, temos que o comprimento igual dimenso. Demonstrao : (i)

(ii).

Se

tem dimenso nita, ento todos os seus sub-

espaos tambm tm. Logo, qualquer srie de composio nita. (ii) (iii)

(iii) (i).

e (ii)

(iv).

Seguem da Proposio 4.11.

Suponha que

no tenha dimenso nita. Assim, exsite

uma sequncia innita

(xn )

de elementos linearmente independentes de

V.

Seja

Un

o espao vetorial gerado por

x1 , ..., xn . V

Ento a cadeia

(Un )n1

innita e

estritamente crescente; e portanto,

no satisfaz a condio de cadeia crescente.

4. Condies de Cadeia
(iv) seja gerado por

64

(i).

Novamente, suponha que

no tenha dimenso nita e

(xn ).

Seja

Vn

o espao vetorial gerado por

xn+1 , xn+2 , ...,.

Ento

(Vn )n1

uma cadeia innita e estritamente decrescente; contrariando (iv). Nestas condies, seja

a dimenso de

x1 , x2 , ..., xn

seus gera-

dores. Assim, temos a srie de composio

V = (x1 , x2 , ..., xn ) (x1 , x2 , ..., xn1 ) (x1 , x2 ) (x1 ) (0)

de comprimento

n.

5. Anis Noetherianos

65

Captulo 5 Anis Noetherianos

Recordemos que um anel seguintes condies equivalentes: 1) Todo conjunto no vazio de ideais em ximal. 2) Toda cadeia crescente de ideais em 3) Todo ideal em

Noetheriano se satisfaz uma das

tem um elemento ma-

estacionria.

nitamente gerado.

A equivalncia destas condies foi provada nas Proposies 4.1 e 4.3. Os resultados deste captulo mostram que um anel Noetheriano

reproduz anis Noetherianos em vrias situaes. Em particular, apresentamos o famoso Teorema da Base de Hilbert.

Proposio 5.1.
um anel

Se

Noetheriano e

um homomorsmo sobrejetor de

em

S,

ento

Noetheriano.

Demonstrao :

Como

S = R/I ,

com

I = ker f ;

R/I

Noetheriano pela

Proposio 4.9, ento

Noetheriano.

Proposio 5.2.
S
um

Seja

um subanel de

S,

e suponha que

Noetheriano e que

R-mdulo

nitamente gerado. Ento

um anel Noetheriano.

Demonstrao : Pela Proposio 4.8, temos que

portanto, tambm um

R-mdulo

Noetheriano, e

S -mdulo

Noetheriano.

Exemplo 5.3. Sejam R = Z e S = Z[i].

Z[i],
que e

Como

Z anel Noetheriano e subanel de

inteiros; a Proposio 5.2 garante

Z[i]

nitamente gerado por

(a, b), a, b

Z[i]

Noetheriano. Se

Proposio 5.4.
fechado de

R
1

um anel Noetheriano e

um sistema multiplicativo

R,

ento

Noetheriano.

5. Anis Noetherianos
Demonstrao : Como todo ideal em
- (i)), e os ideias estendidos em ideais contrados em

66

S 1 R um ideal estendido (Proposio 3.11

S 1 R esto em correspondncia biunvoca com os

R (Proposio 1.50-(iii)); ento os ideais em S 1 R satisfazem S = R P,

onde

a condio maximal. Em particular, se seguinte corolrio.

ideal primo em

R,

temos o

Corolrio 5.5.
Noetheriano.

Se

Noetheriano e

um ideal primo em

R,

ento

RP

Finalmente, apresentamos o

Teorema 5.6
de polinmios

(Teorema da Base de Hilbert)

Se

Noetheriano, ento o anel

R [X ]

Noetheriano.

Demonstrao : Para que

em

R[X ] seja Noetheriano, basta mostrar que qualquer ideal J

um ideal arbitrrio em

R [X ]

nitamente gerado. Seja

R[X ];

mostremos

que nitamente gerado. Considere o conjunto formado por todos os coecientes dominantes de polinmios em aditivo de

J.

Este conjunto um ideal

em

R.

De fato,

um subgrupo

R:
pois o coeciente dominante do polinmio nulo, e este pertence a

0 I, J
se

j que

ideal. Como

an I , existe um polinnio p(X ) = an X n + ... + a0 J . p(X ) = an X n ... a0

est em

ideal,

o polinmio

J,

e portanto, e

an I .

se

an , bm I , existem polinmios p(X ) = an X n + ... + a0

em

q (X ) = bm X m + m > n,
devemos

... + b0

J.

Se

m = n,

claro que

an + b m

coeciente dominante

do polinmio

p(X ) + q (X ) J . J,

Caso contrrio, supondo Fazendo

considerar o polinmio

(X ) = X mn R[X ].
pois

p(X ) (X )+ q (X ),

obtemos um polinmio em

ideal, com coeciente dominante

an + b m .
e tambm satisfaz a condio relativa multiplicao:

se

an J ,

existe polinmio

p(X ) = an X n + ... + a0 J .
pois

Tomando

c R, can

temos que

c p(X ) = can X n + ... + ca0 J , J

ideal. Assim,

coeciente dominante de um polinmio em

e, portanto,

can I .

5. Anis Noetherianos
Como Em particular, cada

67

R Noetheriano, todos os seus ideais so nitamente gerados. a1 , , an

da forma seus geradores. Para

nitamente gerado; e sejam existe um polinmio

i = 1, , n J J
em

fi R[X ] ri .
Seja

fi = ai X ri + i , fi

onde

um polinmio de grau menor que

r=

maxn i=1 ri . Os

geram um

ideal

R [X ]. f = aX m + , J,
ento com e

Seja um elemento de

um polinmio de grau menor que

m. f

aI

a=
n

n i=1

ui ai ; ui R.
De fato:

Se

m r,

temos que

ui fi X mri
n

est em

e tem grau

< m.

f
i=1

ui fi X

mri

= aX +
i=1 n

ui (ai X ri + i )X mri ui (ai X m + (i )X mri

i=1 n

= aX m +
n

= X

a
i=1 n

ui ai

+
i=1

(i )X mri

=
i=1
onde o grau de

(i )X mri m.
Se o grau deste

n mri ) estritamente menor que i=1 (i )X

polinmio for menor que subtramos elementos de conclumos que

m e maior ou igual a r, atravs do mesmo procedimento, J

de

at obtermos um polinmio

g de grau < r. 1, X, ..., X r1 .

. Sendo

Ento,

f = g + h, M
o

onde

hJ

. Como

Seja

R-mdulo

nitamente gerado por

J J
que

o ideal formado por todos os polinmios de temos que

com grau estritamente menor

r,

J J = ( J M ), M,

e assim,

J = (J M ) + J

um

R-mdulo nitamente gerado,

que

pela Proposio 4.8, Noetheriano. Considerando a Proposio 4.3 nos garante que

J M

um submdulo de nitamente gerado. Sejam

J M

um

R-mdulo (J M )
e

g1 , ..., gm

os geradores

J M.
e

Como

J = (J M ) + J
Assim

, com

disjuntos, ca claro que

fi

gj

geram

J.

nitamente

gerado e, portanto,

R [X ] R

Noetheriano.

Corolrio 5.7.
Se

Se

Noetheriano ento

R[X1 , ..., Xn ]

Noetheriano.

Demonstrao : Por induo sobre

n.

Para

n = 1, o Teorema da Base de Hilbert.

Como

n = 2,

temos

R[X1 , X2 ] = (R[X1 ])[X2 ]. (R[X1 ])[X2 ]

que tambm .

(R[X1 ])

Noetheriano se

Noetheriano, ento

Suponha

R[X1 , ..., Xn1 ]

n

seja

Noetheriano.

Como Noethe-

R[X1 , ..., Xn ] = (R[X1 , ..., Xn1 ])[X ],

riano.

conclumos que

R[X1 , ..., Xn ]

6. Conjuntos Algbricos Ans

68

Captulo 6 Conjuntos Algbricos Ans

A partir deste momento, abordaremos novos conceitos envolvendo anis de polinmios, que constituem a base para o estudo de Geometria Algbrica. Para isto, alm dos conceitos j vistos, sero necessrios algumas novas denies e resultados, reunidos na seo a seguir.

6.1 Preliminares
Seja com coeentes em

R R.

um anel e

R[X ]

o anel de polinmios sobre a varivel

O grau de um polinmio no nulo

ai X i an = 1. n

o maior inteiro

tal que

an = 0;

e um polinmio de grau

mnico se

Conforme j visto, o anel de polinmios em denotado por

variveis sobre

R[X1 , ..., Xn ]

e isomorfo a

R[X1 , ..., Xn1 ][Xn ].

Os monmios em

i 1 i2 R[X1 , ..., Xn ] so os polinmios X1 X2

e o grau do monmio dado por Cada elemento

in . . . Xn , onde ij so inteiros no negativos;

i1 + . . . + in .
tem uma nica expresso

F R[X1 , ..., Xn ] a(i) A.

F =

a(i) X (i) ,

onde

X (i)

so monmios e

Mais explicitamente, temos

F =
(i)
Dizemos que os seus coecientes

i1 in ai1 ...in X1 . . . Xn ; (i) = (i1 , . . . , in ).

homogneo, ou uma forma, de grau

n,

se todos

a(i)

so nulos, exceto os coecientes dos monmios de grau

n.

Desse modo, qualquer polinmio onde

pode ser escrito de forma nica como

F = F0 + F1 + . . . + Fn ,
o grau de

Fi

uma forma de grau

i;

e se

Fn = 0 ,

temos que

F , deg (F ),

n.

Os termos

F0 , F1 , F2 , ...

so chamados de constante,

linear, quadrtico, e assim por diante.

6. Conjuntos Algbricos Ans

69

Proposio 6.1.
(i)

Seja Se

um domnio. so formas de graus

F, G F G

r, s,

respectivamente,

em

R [X1 , . . . , X n ],

ento

uma forma de grau

r + s. R [X1 , . . . , X n ]
uma forma.
com

(ii) Qualquer fator de uma forma em

Demonstrao : (i) Temos que

F = (i)

(i)

i1 in , (i) = (i1 , . . . , in ), . . . Xn a(i) X1

i1 +. . .+in = r; e G = s;
e

(j )

j1 jn . . . Xn , (j ) = (j1 , . . . , jn ), com j1 + . . . + jn = = b( j ) X 1
e algum

a(i) = 0, b(j ) = 0

para algum

(j ).

Assim

F G=
(i)
com

i1 + j1 in +jn . . . Xn a(i) b(j ) X1 (j )

e algum

a(i) b(j ) = 0, F G

para algum

(i)

(j ),

(i1 + j1 ) + . . . + (in + jn ) = r + s.
onde

Portanto,

uma forma de grau

r + s. G
forma e e

(ii) Suponhamos que

F = G H,

no. Assim,

G = Gr

para algum

r = 0,

H = Hs + Ht ,

com

s, t = 0

s = t.

Ento

F = G H = Gr (Hs + Ht ) = (Gr Hs ) + (Gr Ht ) = Fr+s + Fr+t

onde

r + s = 0, r + t = 0

r + s = r + t.

Logo

no uma forma.

Proposio 6.2.
ento

Se

um domnio, e

F, G

so polinmios em

R[X1 , . . . , Xn ],

deg (F G) = deg (F ) + deg (G).

Demonstrao : Para o caso de polinmios sobre uma varivel, temos

F = ar X r + ar1 X r1 + . . . + a1 X + a0
e

G = bs X s + bs1 X s1 + . . . + b1 X + b0
com graus

s,

respectivamente. Sem perda de generalidade, suponhamos que

r s.

Assim

F G = a0 b0 + (a1 b0 + b1 a0 ) X + . . . + (ar b0 + ar1 b1 + . . . + a0 br ) X r + . . . + (a0 bs + a1 bs1 + . . . + ar bsr ) X s + . . . + ar bs X r+s

Como

domnio,

ar b s = 0 ,

pois

ar = 0

bs = 0 .

Logo,

deg (F G) = r + s = deg (F ) + deg (G).

Mais geralmente, sejam pectivamente. Temos

F, G R[X1 , . . . , Xn ],
e

com graus

r, s,

res-

F = F0 + F1 + . . . + Fr

G = G0 + G1 + . . . + Gs .

Supondo

r s,

obtemos

6. Conjuntos Algbricos Ans

70

F G = F0 G0 + F1 G0 + F0 G1 + . . . + F0 Gs + . . . + Fr Gsr + . . . + Fr Gs = H0 + H1 + . . . + Hr + . . . + Hs + . . . + Hr+s ,
onde

Hk =
e

k j =0

Fk Gkj ,

so formas de grau ento

k,

pelo o item (i) acima.

Como

deg (F ) = r deg (G).

deg (G) = s,

Hr+s = 0;

e portanto,

deg (F G) = deg (F ) +

claro que todo anel de polinmios

R[X1 , . . . ., Xn ] contm R como

subanel, pois este representa o conjunto dos polinmios constantes. Alm disso,

R [X1 , . . . , X n ]

satisfaz a seguinte propriedade:

Proposio 6.3.
s1 , . . . , s n S , i = 1, . . . , n.

Se

um

homomorsmo

de

anis,

ento existe uma nica extenso de

denotada por

onde

: R[X1 , . . . , Xn ] S
A imagem de

um homomorsmo de anis tal que

(Xi ) = si ,

por

denotada por

F (s1 , . . . , sn ).

Demonstrao : Basta considerar

: R[X1 , . . . , Xn ] S F =
( i)
onde

a(i) X (i) (F ) =
( i) in 1 s(i) = si 1 . . . sn .
e

(a(i) )s(i) ,

i1 in , X (i) = X1 . . . Xn

Obviamente,

est bem denido. Alm disso, homorsmo. logo

um homomor-

smo de anis, uma vez que Claramente

|R = , |R =

extenso de

Por m, suponha

R [X1 , . . . , X n ] S ,
temos:

com

( Xi ) = si .

Ento, para

F R [X1 , . . . , X n ]

Se Se

F = a R, F =
(i)

ento

(F ) = (a) = (a).
ento

i1 in ai1 ...in X1 . . . Xn ,

(F ) =
( i)

i1 in (ai1 ...in ) (X1 . . . Xn ) in 1 (ai1 ...in )si 1 . . . sn = (F ). ( i)

=
Portanto,

= .
Denimos a caractersitica de parcelas)

Seja

um domnio.

R,

char(R),

como o menor inteiro positivo caso contrrio, char(R)=

c tal que 1 + . . . + 1(c

= 0, se tal c existe;

0.

6. Conjuntos Algbricos Ans

71

Proposio 6.4.

Se char(R)

= p > 0,

ento

primo.

Demonstrao : Se

:ZR

o homomorsmo de anis de

em

R, p

anel De

com caracterstica positiva, ento char(R)= fato, seja

ker = (p),
Para

com

primo.

p = char(R).

Mostremos que

ker = (p).

m ker ,

temos

(m) = 0 (1 + . . . + 1) = (1) + . . . + (1) = 1 + . . . + 1 = 0

m
e assim, e
parcelas

m = pq + r.
temos

Com isso, e

1 + . . . + 1 (r
isto ,

parcelas) igual a

0.

Como

r<p

p=char(R),

r=0

p | m,

m (p).

Por outro lado, temos que

0R = 1R + . . . + 1R = (1 + . . . + 1) = (p),
p
e logo,
parcelas

p ker .

Para qualquer

z (p),

temos

(z ) = (a)(p) = 0. p = ab.
ou Da,

Portanto

z ker .
Agora, supondo

no primo, temos

(p) = (a) (b) = 0 (a) = 0

pois

(b) = 0
e

domnio.

Se

(a) = 0,

ento char(R)

= a

a < p;
Logo

e se

(b) = 0,

char(R)=b e

b < p,
Seja

o que contraria a minimalidade de

p.

primo.

um anel qualquer. denida ento como

A derivada de um polinmio

F =
Se

ai X i R [ X ]
em

iai X i1 ,

denotada

por

FX .

F K [X1 , . . . , X n ], Xi

FXi

denida considerando

como um polinmio

com coecientes em

R[X1 , . . . , Xi1 , Xi+1 , . . . , Xn ].

A proposio a seguir

apresenta algumas propriedades da derivada de um polinmio.

Proposio 6.5. A derivada de um polinmio satisfaz as seguintes propriedades:

(i) (ii) (iii) (iv)

(a F + b G)X = (a FX ) + (b GX ); a, b A. FX = 0
Se se

constante. e

(F G)X = (FX G) + (F GX ), G1 , . . . , Gn R[X ]

e
n i=1

(F n )X = n F n1 FX . R[X1 , . . . , Xn ],
ento

F (G1 , . . . , Gn )X =
(v)

FXi (G1 , . . . , Gn ) (Gi )X .

onde

FXi Xj = FXj Xi , Xj FXj .

FXi Xj = (FXi )Xj . F

uma forma de grau

(vi) (Teorema de Euler) Se

m em R[X1 , . . . , Xn ],

ento

mF =

n j =1

6. Conjuntos Algbricos Ans

Demonstrao : (i) Sejam
com

72

F = a0 + a1 X + . . . + an X n e G = b0 + b1 X + . . . + bm X m ,
temos

n m.

Para

a, b A,

(a F + b G)X = (aa0 + aa1 X + . . . aan X n + bb0 + bb1 X + . . . + bbm X m )X = aa1 + . . . + naan X n1 + bb1 + . . . mbbm X m1 = a a1 + . . . + nan X n1 + b b1 + . . . mbm X m1 = (a FX ) + (b GX )
(ii) bvio. (iii) A primeira parte ser dividida em trs casos:

F =c
Como

constante e

como denida em (i). ento

c G = cb0 + b1 X + . . . + cbm X m ,

(c G)X = cb1 + 2cb2 X + . . . + mcbm X m1 .

Por outro lado,

cX G + c GX = 0 G + c(b1 + . . . + mbm X m1 );
e logo

(c G)X = cX G + c GX .
Em particular, consideremos

F = Xn

G = X m.

Temos

FX = nX n1

GX = mX m1 ;

e assim,

(FX G) + (F GX ) = nX m+n1 + mX n+m1 = (m + n)X m+n1 .

Agora, como

F G = X m+n , F =

ento

(F G)X = (m + n)X m+n1 .

e

Finalmente, sejam

n i=0

ai X i

G =

m j j =0 bj X .

Ento

F G =

ai b j X X

. O primeiro caso garante que

(F G)X =
i
e o segundo, que

ai b j X i X j
j

(F G)X =
i
Da

j i ai b j X X X j + X i XX . j

(F G)X =
i
isto ,

ai (X i )X
j

bj X j +
i

ai X i
j

bj (X j )X ,

(F G)X = FX G + F GX .

6. Conjuntos Algbricos Ans

A demonstrao de sobre

73

(F n )X = n F n1 FX n=0

ser feira por induo

n.

Este fato claramente verdadeiro para

ou

n = 1.

Para

n = 2,

basta considerar

F =G

na expresso

(F G)X = (FX G) + (F GX ).

De fato,

(F )X = (FX F ) + (F FX ) = 2 F FX .
Suponhamos que tal relao seja vlida para todos os naturais at

n.

Vejamos para

n + 1.

claro que

n (F n+1 )X = (F n F )X = (FX F ) + (F n FX ),
e usando a hiptese de induo, temos:

(F n+1 )X =

n F n1 FX F + (F n FX ) = (n + 1) F n FX . (F n )X = n F n1 FX .
k1 kn F = X1 . . . Xn .
Assim,

Portanto,

(iv) Considerando a propriedade (i), suciente mostrarmos para

F,

quando

um monmio, isto ,

F (G1 , . . . , Gn )X

=
(iii)

kn 1 (Gk 1 . . . Gn )X k1 kn kn 1 (Gk 1 )X . . . Gn + . . . + G1 . . . (Gn )X k1 k n 1 1 1 n k1 Gk (G1 )X . . . Gk (Gn )X 1 n + . . . + G1 . . . kn Gn

(iii)

= =

FX1 (G1 , . . . , Gn ) (G1 )X + . . . + FXn (G1 , . . . , Gn ) (Gn )X

n

FXi (G1 , . . . , Gn ) (Gi )X .

i=1

(v) Novamente por (i), basta vericar para o caso em que

F =

k1 X1

Kn . . . Xn .

Podemos supor, sem perda de generalidade, que

i j.

Ento

FXi Xj = = =

ki 1 k1 i1 i+1 kn X1 . . . Xi Xi+1 . . . Xn 1 Xi ki1 ki 1 ki+1 k1 kj ki X1 . . . Xi Xi+1 1 Xi

j 1 j k1 kj X1 . . . Xj 1 Xj

Xj kj 1 kj 1 kj +1 . . . Xj 1 Xj Xj +1 Xi

kn . . . Xn

k 1

j +1 kn Xj +1 . . . Xn

= FXj Xi
(vi) onde

uma forma de grau e

m,

isto ,

F =

(i)

i1 in a(i) X1 . . . Xn ,

(i) = (i1 , . . . , in )

i1 + . . . in = m.

Assim,

6. Conjuntos Algbricos Ans

74

FX1 = i1
( i)

i1 1 i2 in X2 . . . Xn a(i) X1 i1 i2 1 in X2 . . . Xn a(i) X1 ( i)

FX2 = i2
. . .

FXn = in
( i)
Obviamente,

i1 i2 in 1 . X2 . . . Xn a(i) X1

Xj FXj = ij
(j )

F,

e ento

Xj FXj = (i1 + . . . in ) F = mF.

j =1

Se

um anel,

a R , F R [X ],

dizemos que

uma raiz de para algum

se

F (a) = 0.

Como consequncia, temos que

F = (X a)G, R[X ]

G R [X ].
Assim,

Com efeito, o Algoritmo da Diviso em

garante a existncia de

Q, R R[X ] tais que F = (X a) Q + R, com R = 0 ou deg R < deg (X a) = 1. R

necessariamente uma constante, e

F (a) = 0

implica que

R = 0.

Logo

F = (X a) G. Mais geralmente, para F K [X1 , . . . , Xn ], se F (a1 , . . . , an ) = 0,

ento

F =

n i=1 (Xi

ai )Gi , K

para algum

Gi K [X1 , . . . , Xn ]. F = (X i )mi , , i K , i .
onde

Um corpo constante

algebricamente fechado se qualquer polinmio no

F K [X ] n

tem raiz. Segue que

so as razes distintas de

F,

mi

a multiplicidade de

Um polinmio de

grau

tem

razes em

K,

contando as multiplicidades.

As proposies seguintes apresentam algumas caractersticas de anis de polinmios sobre um corpo

K. F K [X1 , . . . , X n ]. F 0.
prodecemos e tem no

Proposio 6.6.
F (a1 , . . . , an ) = 0

Seja

um corpo innito,

Suponha

para todo

a1 , . . . , a n K .
i F i Xn ,
com

Ento

Demonstrao : Escreva
por induo sobre mximo

F = n = 1,

Fi K [X1 , . . . , Xn1 ];
um polinmio em

n.

Se

temos que

K [X ]

deg F

razes. Assim, se pois

F (a) = 0 para qualquer a K , necessariamente,

que se

temos que

F 0,

innito. agora

Suponhamos

G K [X1 , . . . , Xn1 ]
ento

tal

que

G(a1 , . . . , an1 ) = 0

para quaisquer

a1 , . . . , an1 K ,

G 0.

6. Conjuntos Algbricos Ans

Para

75

K [X1 , . . . , Xn ],

temos

F (a1 , . . . , an1 , Xn )
para quaisquer

= a1 ,

i Fi (a1 , . . . , an1 )Xn .

Se para todo

i, Fi (a1 , . . . , an1 ) = 0 i,
tivermos

. . . , an1 ,

ento

Fi 0,

pela hiptese de induo, e portanto,

F 0.
ento

Entretanto, se para algum

Fi (a1 , . . . , an1 ) = 0,

F (a1 , . . . , an1 , Xn )

um polinmio de um varivel e, assim, tem um nmero

nito de razes. Logo, existiria

an K

tal que

F (a1 , . . . , an1 , an ) = 0;

absurdo.

Proposio 6.7.
Demonstrao :
irredutveis de

Seja

um corpo. Ento existe um nmero innito de polin-

mios mnicos irredutveis em

K [X ]. F1 , . . . , F n
sejam os nicos polinmios mnicos Seja

Suponha que

K [X ], G

e considere

G = F1 . . . Fn + 1 .
temos

i1 in G = u F1 . . . Fn

a decomposio de

em fatores irredutveis.

Para algum

ik = 0,

Fk | F1 . . . Fn

Fk | G.

Logo

Fk |

(G F1 . . . Fn ) Fk | 1,

o que um absurdo.

Como aplicao do resultado anterior, temos o seguinte corolrio.

Corolrio 6.8.
escreve como

Todo corpo algebricamente fechado innito.

Demonstrao : Como

algebricamente fechado, todo polinmio

F K [X ] ai .
para

se

F =c

(X ai )

mi

, com

ai K K [X ]

mi

multiplicidade de

Assim,

os polinmios mnicos irredutveis de

so da forma

X a,

a K. K

Pela proposio anterior, existe um nmero innito de tais polinmios; e logo, innito.

6.2 Formas
Recordemos que um forma polinmio

F R [X1 , . . . , X n ] i1 + . . . + in = d,

de grau

um

F =
Seja

i1 a(i) X1

...

in Xn , com

para toda

n-upla

(i) = (i1 , . . . , in ). R
um domnio. Se por

F R[X1 , . . . , Xn+1 ] d,
escrevemos

uma forma, deni-

mos

F R[X1 , . . . , Xn ]

F = F (X1 , . . . , Xn , 1).
de grau

Reciprocamente, para todo

polinmio

f R[X1 , . . . , Xn ] i,

f = f0 + f1 + . . . + fd ,
tomando

onde

fi

uma forma de grau

e denios

f R[X1 , . . . , Xn+1 ]

d d1 d f = Xn +1 f0 + Xn+1 f1 + . . . + fd = Xn+1 f (X1 /Xn+1 , . . . , Xn /Xn+1 ).

claro que

uma forma de grau

d.

Estes processos podem

ser chamados, respectivamente, de desomogeneizao e homogeneizao de

6. Conjuntos Algbricos Ans

polinmios com respeito a feitas por

76

Xn+1 .

A seguir, apresentamos as propriedades satis-

f .
(i)(F

Proposio 6.9.
r Xn +1 (F )

G) = F G ; (f g ) = f g .
e

(ii) Se

F =0

a maior potncia de

Xn+1

que divide

F,

ento

= F ; (f ) = f .
(iii)

t r s (F + G) = F + G ; Xn +1 (f + g ) = Xn+1 (f ) + Xn+1 (g ) ,

onde

r = deg(g ), s = deg(f ),

t = r + s deg(f + g ). F, G R[X1 , . . . , Xn+1 ],

temos:

Demonstrao : (i) Para as formas

(F G) = (F G)(X1 , . . . , Xn , 1) = F (X1 , . . . , Xn , 1) G(X1 , . . . , Xn , 1) = F G .

Agora, para que

f, g R[X1 , . . . , Xn ], com deg f = r e deg g = s, temos X1 Xn ,..., Xn+1 Xn+1 X1 Xn ,..., Xn+1 Xn+1 X1 Xn ,..., Xn+1 Xn+1 ;

r f = Xn +1 f
e

s g = Xn +1 g
ento

r +s f g = Xn +1 (f g )

= (f g ) .

(ii) A primeira parte bvia:

d (f ) = X n 1 f

Xn X1 ,..., Xn+1 Xn+1

r F = Xn +1 G,

= f (X1 , . . . , Xn ) = f.
temos que

Agora, escrevendo

F = G ,

com

deg F =

deg G + r.

Assim,

deg G (F ) = (G = Xn+1 G
Como

X1 Xn ,..., Xn+1 Xn+1

ento

deg G = deg F r
deg F r (F ) = Xn F +1

G = F ,

X1 Xn ,..., Xn+1 Xn+1

r Xn +1 ,

Multiplicando ambos os lados por

obtemos

deg F r Xn +1 (F ) = Xn+1 F

X1 Xn ,..., Xn+1 Xn+1

= F.

6. Conjuntos Algbricos Ans

(iii) Usando as propriedades de polinmios, claro que

77

(F +G) = (F +G)(X1 , . . . , Xn , 1) = F (X1 , . . . , Xn , 1)+G(X1 , . . . , Xn , 1) = F +G .

Por m, seja

deg f = r

deg g = s.

Ento

r f = Xn +1 f
e

Xn X1 ,..., Xn+1 Xn+1 .

s g = Xn +1 g
Alm disso, sendo

X1 Xn ,..., Xn+1 Xn+1 q = deg f + g , temos

q (f + g ) = Xn +1 (f + g ) q = Xn +1 f
Logo, sendo

X1 Xn ,..., Xn+1 Xn+1 X1 Xn q ,..., + Xn +1 g Xn+1 Xn+1

obtemos

X1 Xn ,..., Xn+1 Xn+1

t = r + s q,

r+sq r+s Xn = Xn +1 (f + g ) +1 f

Xn X1 ,..., Xn+1 Xn+1 r s = Xn+1 f + Xn+1 g .

r+s + Xn +1 g

X1 Xn ,..., Xn+1 Xn+1

6.3 Espaos Ans e Conjuntos Algbricos

Seja

um corpo. Denotamos por

An (K )

o produto cartesiano de

por

K n vezes.

Assim,

An (K ) o conjunto das n-uplas de elementos de K , e n

sobre

chamado de espao am de dimenso de pontos. Se

e seus elementos so chamados

F K [X1 , . . . , Xn ],

um ponto Se

P = (a1 , . . . , an ) An (K ) F,
e denotada por

um

zero de
de

se

F (P ) = F (a1 , . . . , an ) = 0. A2 (K )

no constante, o conjunto de zeros

chamado de hipersuperfcie denida por

V (F ).

Uma

hipersuperfcie em grau um,

chamada curva plana am. Se

um polinmio de

V (F )

um hiperplano em

An (K ),

e se

n = 2,

uma linha.

Mais geralmente, se

um conjunto qualquer de polinmios em para todo

K [X1 , . . . , Xn ],
Temos que ao invs de

denimos

V (S ) = {P An (K ) : F (P ) = 0 V (F ).
Se

F S }.

V (S ) =

F S

S = {F1 , . . . , Fr },

escrevemos

V (F1 , . . . , Fr )

V ({F1 , . . . , Fr }).
(Conjunto Algbrico)

Denio 6.10
algum

Um subconjunto

X An (K )

um conpara

junto algbrico am, ou simplesmente, um conjunto algbrico, se

X = V (S )

S.

6. Conjuntos Algbricos Ans

78

O resultado a seguir apresenta as propriedades satisfeitas por um conjunto algbrico em

An . I J,
ento

Proposio 6.11.
V (I );

(i) Se

V (I ) V (J ).
gerado por

(ii) Se

o ideal em

R [X1 , . . . , X n ]

S,

ento

V (S ) =
I )

e ento todo conjunto algbrico igual a

(iii) Se

V (I )

para algum ideal

I. =

{I }

uma coleo qualquer de ideais, ento

V(

V (I );

e ento a interseco de qualquer coleo de conjuntos algbricos um

conjunto algbrico.
(iv)

V (F G) = V (f )

V (G)

para quaisquer polinmios

F, G;

V (I )

V (J ) = V ({F G : F I, G J }).
(v)

Ento qualquer unio nita de con-

juntos algbricos um conjuto algbrico.

V (0) = An (K ), V (1) = , ai K .

V (X1 a1 , . . . , Xn an ) = An (K )
um

{(a1 , . . . , an )}

para

Ento qualquer subconjunto nito de

conjunto algbrico. Demonstrao :

(i) Temos que

V (J ) = {P An : F (P ) = 0, F J }.
e portanto,

Como

I J , F (P ) = 0
Logo, se

tambm vlido, em particular, para os pontos ento

P I J.

P V (J ),

P V (I );

V (J ) V (I ). S I.
Pela propriedade para todo e

(ii) Como anterior,

I = (S ) G I,

temos, obviamente,

V (I ) V (S ). I = (S ),

Agora, tomando se ento

P V (S ),

temos

F (P ) = 0

F S.
Assim,

Como

G=

ai s i , ai R [ X 1 , . . . , X n ] ai 0 = 0 .

si S .

G(P ) =
Portanto,

ai s i ( P ) =
e

P V (I ),

V (S ) V (I ).
para todo

(iii) Como todo

I I ,

temos

V ( I ) V (I )

para

Logo

V ( I ) V (I ).
Por outro lado, se

P V (I ), ento P V (I ) para todo . ;

o que implica que

Da

F (P ) = 0 F I .

para todo Portanto,

F I ,

para todo

F (P ) = 0

para todo

P V ( I ). (F G)(P ) = F (P )G(P ), claro que se P V (F )V (G), P V (F G),

temos que ou

(iv) Como ento Mas

P V (F G).

Por outro lado, se

F (P ) G(P ) = 0.
isto ,

F (P ), G(P ) K , K

corpo, e assim,

F (P ) = 0

G(P ) = 0;

V (F ) V (G).

6. Conjuntos Algbricos Ans

Analogamente, se para todo

79

P V ({F G : F I, G J }),
para todo

ento

F (P ) = 0 G(P ) = 0

F I, G J.

ou

G(P ) = 0

G J.

Assim

P V (I ) V (J ).
ou

Tambm se para todo

P V (I ) V (J ),
Logo

ento

F (P ) = 0

para todo

F I,

P V ({F G : F I, G J }).

(v) Obviamente, o polinmio nulo o nico que se anula em todo

P A

. Tambm claro que um polinmio constante no nulo, no se anula em

nenhum ponto de

An . P V (X1 a1 , . . . , Xn an ) se, e somente se, P = (b1 , . . . , bn ),

isto , se

Agora, onde

(Xi ai )(bi ) = 0,

ai = b i , i = 1 , . . . , n . P = (a1 , . . . , an ).

Portanto,

P V (X1

a1 , . . . , X n an )

se, e somente se,

Exemplo 6.12. O conjunto {(t, t2 , t3 ) A3 (K ) : t K } um conjunto algbrico.

De fato, consideremos os polinmios se
2 X2 F = X1

3 G = X1 X3 .

claro que

P = (t, t , t ),

temos

F (P ) = 0 e G(P ) = 0,

para todo

t K.

Logo, o conjunto

{(t, t2 , t3 ) A3 (K ) : t K } = V (F, G),

e portanto, algbrico.

Em particular, se temos:

I, J

so ideais comaximais de

R, isto , I + J = R,

Proposio 6.13.

Seja

um corpo algebricamente fechado. Ento dois ideais

I, J K [X1 , . . . , Xn ]

so comaximais se, e somente se,

V (I ) V (J ) = .
para

Demonstrao : Suponhamos
quaisquer ideais

I, J
e

comaximais. Como

(I + J )(I J ) IJ
Como

I, J ,

temos

V (IJ ) V (I + J ) V (I J ). V (iJ ) = V (I ) V (J ), I, J
ento

I + J = (1),
mas

pois so maximais,

V (1) =

V (I ) V (J ) = . IJ I J , P V (I ) V (J ) V (I ) V (J ) = .

Agora, suponha

no maximais, isto , temos Assim, existe

I J IJ .
tal que

Da,

V (I ) V (J ) = V (IJ ) V (I J ).

P / V (I J ), e V (I J ) = , pois K

algbrico. Logo,

Por outro lado, supondo que todo polinmio em

V (I ) V (J ) = ,

no possvel que com

H K [X1 , . . . , Xn ]

se escreva como

H = F + G,

I, G J ,
Logo,

pois qualquer polinmio constante no nulo no possui tal expresso. no so comaximais.

I, J

A seguir, caracterizamos os conjuntos algbricos no espao am

A (K ).

6. Conjuntos Algbricos Ans

80

Exemplo 6.14. Os subconjuntos algbricos de A1 (K ) so os subconjuntos nitos,

e o prprio conjunto

A1 (K ).

Demonstrao : Pelo item (v) da Proposio 6.11, sabemos que todo subconjunto
nito algbrico, e que

A1 (K )

um conjunto algbrico. Basta vericar que, em

A (K ),
Assim,

todo subonjunto algbrico nito. Seja

V A1 (K ) algbrico, isto , V = V (S ) para algum S K [X ].

Se

V = {P A1 (K ) : F (P ) = 0, P S }. V
nito.

for innito,

admitir

innitas razes, o que absurdo. Logo

6.4 O Ideal de um Conjunto de Pontos

Para qualquer subconjunto que se anulam em

X de An (K ), consideramos os polinmios K [X1 , . . . , X n ], I (X ) = I (X ).

Mais explicitamente,

X. X,

Tais polinmios formam um ideal em e denotado por

chamado de ideal de

{F K [X1 , . . . , Xn ] : F (a1 , . . . , an ) = 0

para todo

(a1 , . . . , an ) X }.

O resultado a seguir lista as propriedades satisfeitas por tais ideais.

Proposio 6.15.
(ii)

(i) Se

X Y,

ento

I (X ) I (Y ).
e

I () = K [X1 , . . . , Xn ] I (V (S )) S

I (An (K )) = (0)
para

se

um corpo

innito.

I ({a1 , . . . , an }) = (X1 a1 , . . . , Xn an )
(iii)

ai K . S. S,

para qualquer conjunto de polinmios

V (I (X )) X
e

para qualquer conjunto de pontos

(iv)

X. X.
Ento se

V (I (V (S ))) = V (S ) V = V (I (V ));

para qualquer conjunto de polinmios

I (V (I (X ))) = I (X )

para qualquer conjunto de pontos e se

um

conjunto algbrico,

o ideal de um conjunto algbrico,

I = I (V (I )).
(v)

I (X )

um ideal radical para todo conjunto

X An (K ). P Y.
Em

Demonstrao : (i) Tomando

particular, como e

F I (Y ),

temos

F (P ) = 0

para todo

X Y , F (P ) = 0

vale para todo

P X.

Portanto,

F I (X ),

I (y ) I (X ).
(ii) Claramente, no existe

P An

que anule todos os polinmios

em

K [X1 , . . . , Xn ],
Se

e o nico polinmio que se anula em todo ponto

polinmio nulo.

F (X1 a1 , . . . , Xn an ),

ento

F I ({a1 , . . . , an }),
ento

pois

F (P ) = 0.

Por outro lado, se

F I ({a1 , . . . , an }),

F (a1 , . . . , an ) = 0.

6. Conjuntos Algbricos Ans

Logo,

81

F =

n i=1 (Xi

ai )Gi F S,

F (X1 a1 , . . . , Xn an ). F (P ) = 0
para todo

(iii) Se de

ento

P V (S ),

pela denio

V (S ).

Logo,

F I (V (S )).
Assim,

Analogamente, se

P X,

temos que

G(P ) = 0

para todo

G I (X ).

G V (I (X )).

(iv) As duas igualdades seguem diretamente dos itens (i) e (iii).

(v) Lembremos que Rad(I (X ))

= {F K [X1 , . . . , Xn ] : F n F n I (X ) I (X )
para Assim,

I (X ) F (P ),

para algum

n}.

Tomando

Rad(I (X )), temos que

algum

n;
e

isto ,

F n (P ) = 0

para todo

P X.

0 = F n (P ) = F (P ) . . .
decorre

F (P ) = 0.

Portanto

F I (X ).

A incluso Rad(I (X ))

do item (f ) da Proposio 1.45.

Em relao ao ideais explicitados nos itens (ii) e (v) acima, temos, respectivamente, as duas seguintes proposies.

Proposio 6.16.
maximal, e

O ideal

I = (X1 a1 , . . . , Xn an ) K [X1 , . . . , Xn ] K [X1 , . . . , Xn ]/I .

isomorfo a

Demonstrao : Seja

J K [X1 , . . . , Xn ] um ideal tal que I J K [X1 , . . . , Xn ]. {(a1 , . . . , an )} = V (I )

A primeira possibilidade

Ento, pelos itens (i) e (v) da Proposio 6.11, temos

V (J ).
nos d

Dessa forma,

V (J ) = ou V (J ) = {(a1 , . . . , an )}.
e a segunda,J

J = K [X1 , . . . , Xn ];

= I.

Portanto,

maximal.

Conside o homomorsmo natural

:K

K [X1 , . . . , Xn ] I

a a = a + I
Tal homomorsmo sobrejetor por construo. Veriquemos que injetor. Temos que e somente se,

ker = {a K : a I },
Logo

mas

a (X1 a1 , . . . , Xn an )

se,

a = 0.
Sejam

ker = {0}.
conjuntos algbricos em

Lema 6.17.
somente se,

V, W

An (K ).

Ento

V =W

se, e

I (V ) = I (W ). V = W, W
temos que

Demonstrao : Como
outro lado, como que

I (V ) I (W )

I (W ) I (V ).

Por

so algbricos, o item (iv) da Proposio 6.15 garante

V (I (V )) = V

6. Conjuntos Algbricos Ans

e

82

V (I (W )) = W.
Por hiptese,

I (V ) = I (W ),
Se

e ento

V (I (V )) = V (I (W )). K [X1 , . . . , X n ],

Logo

V = W.

Proposio 6.18.
e Rad(I )

um ideal em

ento

V (I ) = V (Rad(I ))

I (V (I )). I Rad(I ), ento V (Rad(I )) V (I ). F I.

Em particular, se Logo e assim, Tomando

Demonstrao : Como
temos que

P V (I ),
temos que

F (P ) = 0

para todo

G Rad(I ),
e

Gm I

para algum

m,

Gm (P ) = 0.

G(P ) = 0

P V (Rad(I )).

Por m, como Rad(I )

I (V (Rad(I ))),

temos que Rad(I )

I (V (I )).

Ao denirmos conjuntos algbricos, no zemos restries em relao ao nmero de polinmios que os determinam. Entretanto, o teorema a

seguir arma que um conjunto algbrico pode ser denido a partir de um nmero nito de polinmios.

Teorema 6.19.
hipersuperfcies.

Todo conjunto algbrico a interseco de um nmero nito de

Demonstrao : Consideremos o conjunto algbrico

V (I )

para algum ideal

I I

K [X1 , . . . , Xn ].

Como todo corpo Noetheriano, pelo Teorema da Base de

Hilbert (Corolrio 5.7), temos que nitamente gerado. Assim, se De fato, se qualquer Logo para

K [X1 , . . . , Xn ]
ento

Noetheriano; e portanto,

I = (F1 , . . . , Fr ), ento V (I ) = V (F1 ) . . . V (Fr ). Fi (P ) = 0

para

P V (F1 ) . . . V (Fr ),
da forma

i = 1, . . . r .
r i=1

Como

G I

r i=1

ai Fi ,

temos que

G(P ) =

ai Fi (P ) = 0.
para

P V (I ). i = 1, . . . , r,

Reciprocamente, como e assim

Fi I ,

temos que

V (I ) V (Fi )

V (I ) V (Fi ).

Para nalizar esta seo, o resultado abaixo garante a existncia de polinmios com certas caractersticas.

Proposio 6.20.
tal que

(i) Seja

um conjunto algbrico em

An (K ),

P An (K ) F (Q) = 0 An (K ).
se

P / V.

Ento existe um polinmio mas

F K [X1 , . . . , X n ]

tal que

para todo

QV,

F (P ) = 1. {P1 , . . . , Pr }
um conjunto nito de pontos em tais que

(ii) Seja

Ento existem polinmios

F1 , . . . , Fr K [X1 , . . . , Xn ]
um conjunto algbrico em tal que

Fi (Pj ) = 0

i = j,

Fi (Pi ) = 1.
(iii) Seja

An (K ), P1 , P2 / V.

Ento

existe um polinmio

F K [X1 , . . . , X n ]

F (Pi ) = 0, i = 1, 2,

mas

I (V ).

6. Conjuntos Algbricos Ans

Demonstrao : (i) Temos que
de conjuntos algbricos. Tomemos

83

V {P }

um conjunto algbrico, pois a unio

Assim, pelo Lema 6.17, temos

I (V ) = I (V {P }). G(Q) = 0 F (P ) = 1 .
Para para todo Agora basta

G I (V ), G(P ) = 0

tal que

G / I (V {P }).

Assim

QV,
tomar

pois, caso contrrio, teramos claro que

G I (V {P }).
e

F = (G(P ))1 G:

F K [X1 , . . . , X n ] r.
Se

(ii) Provemos por induo sobre

r = 1, o item anterior.
e

{P1 , P2 },

temos que

I ({P2 }) = I ({P1 } {P2 }). G I ({P1 })

tal que

Assim, por argumento anlogos

aos do item (i), existe

G(P1 ) = 0

G1 (P2 ) = 0.

Basta fazer

F2 = G(P2 ) G.
Tambm temos

I ({P2 }) = I ({P1 } {P2 }), r1

e assim existe

I ({P2 })

com

H (P2 ) = 0

H (P2 ) = 0.

Novamente, fazemos

F1 = H (P1 )1 H .

Considerando a existncia de os pontos

polinmios que satisfazem a condio para

P1 , . . . , Pr1 ,

os mesmos argumentos para

I ({P1 , . . . , Pr1 } {Pr })

concluem a induo.

(iii) Pelo item (ii), existem polinmios que

F1 , F2 K [X1 , . . . , Xn ]

tais

F1 (P1 ) = 0

F2 (P2 ) = 0.

Lembrando que

F1 , F2 I (V ),

analisemos as trs

possibilidades:

Se

F1 (P2 ) = 0,

ento tomemos tomemos e

F = F1 .

Caso

F2 (P1 ) = 0,

F = F2 .
tomemos

Por m, se

F1 (P2 ) = 0

F2 (p1 ) = 0,

F = F1 + F2 .
e

Em qualquer um dos casos,

F I (V )

F (Pi ) = 0, i = 1, 2.

6.5 Componentes Irredutveis de um Conjunto Algbrico

Um conjunto algbrico pode ser a unio de vrios conjuntos algbricos menores, como por exemplo,

V (Y 2 2XY X 2 Y + X 3 ) = V ((Y X 2 ) (Y
De maneira geral, temos:

X )) = V (Y X 2 ) V (Y X ).

Denio 6.21.
onde

Um conjunto algbrico

V An An ,
e

redutvel se

V = V1 V2 ,

V1 , V2

so conjuntos algbricos em

Vi = V , i = 1, 2.

Caso contrrio,

irredutvel.

6. Conjuntos Algbricos Ans

84

Exemplo 6.22.
redutvel, e

O conjunto

V (Y 4 X 2 , Y 4 X 2 Y 2 + XY 2 X 3 ) A2 (C)

V (Y 4 X 2 , Y 4 X 2 Y 2 + XY 2 X 3 ) = V (Y 2 X, Y 2 + X ) + V (Y 2 +

X, Y 2 X 2 ).

O resultado a seguir relaciona conjuntos algbricos irredutveis e ideais primos, o que facilita a caracaterizao de tais conjuntos.

Proposio 6.23.
primo. Demonstrao : Se

Um conjunto algbrico

irredutvel se, e somente se,

I (V )

I (V )

no primo, suponha e

F1 F2 I (V ), Fi / I (V ).

Ento

V (F1 F2 ) V (I (V )) = V ,

V = V V (F1 F2 ) = V (V (F1 ) V (F2 )) = (V V (F1 )) (V V (F2 )).

Notemos que

V V (Fi )
Logo

pois, caso contrrio, teramos

V V (Fi ) I (Vi )
e

I (V )
Seja

I (V (Fi )) Fi .

redutvel.

Reciprocamente, se

V = V1 V2 , Vi

V,

ento

I (V ).

Fi I (Vi ), Fi / I (V ). P V1
ou

Como

I (V ) = I (V1 V2 ),

temos que para todo

P V,

P V2 .

Assim

F1 F2 (P ) = F1 (P ) F2 (P ) = 0,

F 1 F 2 I (V ).

Portanto,

I (V )

no primo.

Como aplicao do teorema acima, temos a seguinte corolrio.

Corolrio 6.24.
que

Se

innito, ento

An (K )

irredutvel.

Demonstrao : Basta mostrar que

I (An (K ))

primo. Como Sendo

innito, temos um

I (An (K )) = (0) A (K )
n

(Proposio 6.15, item (ii)).

K [X1 , . . . , X n ]

domnio, o item (iv) da Proposio 1.30 nos garante que Portanto, irredutvel.

(0)

um ideal primo.

Mostraremos que um conjunto algbrico a unio de um nmero nito de conjuntos algbricos irredutveis. Se Se

V
se

irredutvel, no h o que fazer.

redutvel, escrevemos e assim por diante.

V = V1 V2 ;

V2

redutvel, escrevemos

V2 =

V3 V4 ,
algum

Nos resta mostrar que este processo termina em

Vn .

Lema 6.25. Seja S uma coleo qualquer no vazia de ideias em um anel Noetheriano

R.

Ento

tem um elemento maximal, isto , existe um ideal

I S

que

no est contido em nenhum outro ideal de

S.

6. Conjuntos Algbricos Ans

85

Demonstrao : Escolhemos (Axioma da Escolha) um ideal de cada subconjunto

de

S.

Seja

I0

o ideal escolhido para

S.

Seja

S1 = {I S : I

I0 },

e seja

I1

ideal escolhido de algum

S1 .

Seja

S2 = {I S : I I =

Sn
e

vazio. Caso contrrio, seja

I1 }, etc. suciente mostrar que n=0 In um ideal de R e F1 , . . . , Fr

para todo i. Assim

seus geradores. Para

n sucientemente grande, temos Fi In

In = I ,

In+1 = In ,

uma contradio.

Segue imediatamente deste lema que qualquer coleo de conjuntos algbricos em

An (K )

tem um elemento minimal. Com efeito, se

{V }

uma tal

coleo, tome um elemento maximal temos

I (Va0 )

de

{I (Va )}.

Como

I (Va0 ) I (Va ),

Va0 = V (I (Va0 )) V (I (Va )) = Va , e Va0

um elemento minimal da coleo.

A decomposio de cada conjunto algbrico em subconjuntos algbricos irredutveis nica e nita, conforme o resultado a seguir.

Teorema 6.26.
para todo

Seja

um conjunto algbrico em

An (K ).

Ento existem nicos e

conjuntos algbricos irredutveis

V1 , . . . , Vm

tais que

V = V1 . . . Vm

Vi

Vj

i = j. S= V
{conjuntos algbricos

Demonstrao : Seja

V An (K ) S S.

no a unio de

conjuntos algbricos irredutveis}. Queremos mostrar que o contrrio e tomemos um elemento minimal de

vazio. Suponhamos

Uma vez que

V S, V
elemento

no irredutvel, e assim minimal de com

V = V1 V2 , Vi
Ento

V.

Como

Vi

S,

temos

Vi / S.

Vi

redutvel, isto ,

Vi = Vi1 . . . Vim , V =
i,j

Vij

irredutvel para todo

j.

Dessa forma, conclumos que

Vij ,

uma contradio. Portanto, qualquer conjunto algbrico

pode ser escrito como

V = V1 . . . Vm , Vi Vi
tal que

irredutvel.

Para obter a segunda condio, simplesmente descartamos qualquer

Vi Vj

para

i = j.

Para mostrar a unicidade, seja

V = W1 . . . Wm

outra decomposio. Ento

Vi = V Vi =
j =1
Logo algum

Wj

Vi =
j

(Wj Vi ) . Wj (i) Vk
para

Vi Wj (i)
implica

para algum

j (i).

Analogamente,

k.

Mas

Vi Vk

i = k,

e assim

Vi = Wj (i) .

Da mesma forma, cada

Wi

igual a algum

Vi(j ) . Vi
so chamados componentes irredutveis de

Os conjuntos

V; V =

V1 . . . Vm

a decomposio de

em componentes irredutveis.

6. Conjuntos Algbricos Ans

86

Proposio 6.27.
se

Seja

um polinmio no-constante em

K [X1 , . . . , X n ], K ,
e

algebricamente fechado. Ento

An V (F )

innito se

n 1,

V (F )

innito

n 2.

Demonstrao : Sabemos que todo corpo algebricamente fechado innito. Agora,

suponhamos

An V (F ) = {a1 , . . . , at }.

Ento,

An = V (F ) {a1 , . . . , at },
Portanto,

uma

reunio de conjuntos algbricos, e logo,

An

algbrico e redutvel. Entretanto,

An (K ) irredutvel quando K innito, pela Proposio 6.24. V (F )

Para innito.

An (K )

A prova da segunda armao feita por induo sobre

n, n 2.
para

n = 2,

temos que

F K [X, Y ] Fi

pode ser escrita como Como

F =
Da,

m i=0

Fi Y i ,

F i K [X ],

com algum

no nulo.

An V (Fi ) Fi (P ) = 0.

innito para

n 1,

ento existem innitos pontos

P A

tais que

F (P, Y ) =
i=0
e como

Fi (P )Y i = F0 (P ) + F1 (P )Y + . . . + Fm (P )Y m Q K,
tal que

K,

algebricamente fechado, existe

F (P, Q) = 0.

Com e

existe innitas possibilidades para

P,

ento existem innitos pares

P, Q K ,

V (F )

innito para

n = 2. V (F )
seja innito para todo inteiro

Suponha que Vejamos para

2 t n.
como Pela

n + 1.

Analogamente, escrevemos

F K [X1 , . . . , Xn+1 ]
e algum

F =

m i=0

i Fi Xn +1 ,

com

Fi K [X1 , . . . , Xn+1 ],
m i=0

Fi

no nulo.

hiptese de induo, existem innitos pontos

P = (P1 , . . . , Pn ) A

tais que

Fi (P ) = 0.
que

Fazendo

F (P, Xn+1 ) =

i Fi (P )Xn +1 , obtemos um ponto

Pn+1

tal em

F (P, Pn+1 ) = 0.

Logo, existem innitos pontos

P = (P1 , . . . , Pn , Pn+1 )

V (F ).

6.6 Subconjuntos Algbricos do Plano

Nesta seo nos dedicamos ao estudo do plano am

A2 (K ),

com o

objetivo de determinar seus subconjuntos algbricos. Para tal, segundo o Teorema 6.26, suciente deteminarmos os conjuntos algbricos irredutveis.

Proposio 6.28.
Ento Demonstrao : Se

Sejam

polinmios em

K [X, Y ]

sem fatores em comum.

V (F, G) = V (F ) V (G) F
e

um conjunto nito de pontos.

no tem nenhum fator comum em

K [X ][Y ],

tambm

no tm nenhum fator comun em

K (X )[Y ]

(Lema 3.25). Uma vez que

K (X )[Y ]

6. Conjuntos Algbricos Ans

um domnio principal, algum

87

(F, G) = (1)
Da, existe

em

K (X )[Y ],

e assim

RF + SG = 1

para

R, S K (X )[Y ].
Tomando

D K [X ]
temos

no nulo, tal que

DR = A, DS =

B K [X, Y ] 0.
Mas

e, portanto,

AF + BG = D. D(a) = A(a)F (a) + B (a)G(a) = D K [X ].

Isto mostra aparecem entre os pontos de Portanto, existe apenas

(a, b) V (F, G),

tem apenas um nmero nito de zeros, j que

que somente um nmero nito de

X -coordenadas

V (F, G).

O mesmo raiocnio se aplica s

Y -coordenadas.

um nmero nito de pontos

(a, b) V (F, G). K [X, Y ]

tal que

Corolrio 6.29.
innito, ento

Se

um polinmio irredutvel em e

V (F )

I (V (F )) = (F )

V (F )

irredutvel.
Agora, se ento

Demonstrao : claro que

(F ) I (V (F )).

G I (V (F )),

ento

V (F, G) V (F ). (F ).

innito. De fato, como

(G) I (V (F )), G,
isto ,

V (G) V (I (V (F ))) =
Com isso, a Portanto

Assim,

V (F, G) = V (F ) V (G) = V (F ), F
divide

que innito.

Proposiao 6.28 garante que Por m, como

G (F ).

I (V (F ))

irredutvel, ento

(F ) = I (V (F ))

primo (Proposio

3.16-(ii)) e, pela Proposio 6.23,

V (F )

irredutvel.

Corolrio 6.30.
dutveis de onde

Suponha so:
2

innito.

Ento os subconjuntos algbricos irre-

A (K )

A (K ), ,

pontos, e as curvas planas irredutveis

V (F ),

um polinmio irredutvel e

V (F )

innito.

Demonstrao : Seja
nito, ento ,

um conjunto algbrico irredutvel em pois, se

A2 (K ).

Se

V =

ou

V = {P }

V = {P1 , P2 }, V = V (P1 ) V (P2 ), V = A (K ), F =

2
pela Proposio 6.28.

isto

seria redutvel. Se

I (V ) = (0), I (V )

ento

Caso contrrio, vez que de

contm um polinmio no contante

F.

Uma

I (V ) primo, pois V F

irredutvel. Se

r1 F1 . . . Fsrs a decomposio
pois

em fatores irredutveis, ento algum

Fi I (V ),

I (V )

primo. Assim,

podemos supor se

irredutvel. Dessa forma, ento

I (V ) = (F ).

De fato,

(F ) I (V )

e,

G I (V ), G / (F ),

G I (V ) (G) I (V ) V (G) V (I (V )) = V
e

F I (V ) (F ) I (V ) V (F ) V (I (V )) = V.
Logo

V V (F ) V (G) = V (F, G),

V (F, G)

nito, pois

no tem fatores em comum (Proposio 6.28).

Corolrio 6.31.
constante em

Assuma que Seja

algebricamente fechado,
n1 F1

um polinmio no

K [X, Y ].

F =

. . . Frnr a decomposio de

em fatores

6. Conjuntos Algbricos Ans

irredutveis. Ento

88

V (F ) = V (F1 ) . . . V (Fr )

a decomposio de

V (F )

em

componentes irredutveis, e

I (V (F )) = (F1 . . . Fr ). V (Fi )
irredutvel. Como onde

Demonstrao : Primeiramente, mostremos que cada

V (Fi )

innito, pela Proposio6.27, temos que

I (V (Fi )) = (Fi ),

Fi

irredutvel. Logo, pelo Corolrio 6.29,

V (Fi )

irredutvel.

Alm disso, no h relaes de incluso entre os conjuntos De fato, supondo que

V (Fi ).

V (Fi ) V (Fj ), Fj , Fi

teramos

(Fi ) = I (V (Fi )) I (V (Fj )) =

Como todo

(Fj );

mas nenhum

Fi

divide

para todo

j. F1 . . . Fr ,
ento

Por m, temos que polinmio divisvel por cada

I (i V (Fi )) = i I (V (Fi )) = i (Fi ).

tambm divisvel por

i (Fi ) =

(F1 . . . Fr ).

Portanto,

I (V (F )) = (F1 . . . Fr ).

6.7 Elementos Inteiros

Recordemos que um mdulo nitamente gerado quando todo elemento se espressa como combinao linear de um nmero nito de geradores. Considerando

um subanel de um anel

S,

podemos ter

um

R-mdulo,

um

anel, ou um corpo. Nesta situao, temos:

mdulo nito sobre

se nitamente gerado como um

R-mdulo.

Sejam

v1 , . . . , vn S , : R[X1 , . . . , Xn ] S Xi
em

o homomorsmo de anis

que leva

vi .

A imagem de

denotada por

R[v1 , . . . , vn ],

(o menor) subanel de

contendo .

v1 , . . . , vn .

Assim

R[v1 , . . . , vn ] =

i1 a(i) v1

in . . . vn

: a( i ) R

anel nito sobre

se

S = R[v1 , . . . , vn ]

para certos

vi S .
corpos. Se

Suponha

R = K, S = L L

v1 , . . . , vn L, K (v1 , . . . , vn ) L.
Dizemos que

o corpo

de fraes de subcorpo de

K [v1 , . . . , vn ],
contendo

e um subcorpo de e

Na verdade, o menor

K
se

v1 , . . . , vn .

uma extenso

nitamente gerada de

L = K (v1 , . . . , vn )

para certos

v1 , . . . , vn L.

Proposio 6.32. L = K (X ) extenso nitamente gerada de K , mas L no

anel nito sobre

K. K [X ]
anel nito sobre

Demonstrao : Como
mente gerada de todo

K,

ento

K (X )

extenso nita-

K.

Agora, suponhamos

L = K (X )

anel nito sobre

K.

Ento e

zL

se escreve como

i1 a(i) v1

in . . . vn , para certos

v1 , . . . , vn L = K (X )
tal que para todo

a(i) K .

Dessa forma, existiria um elemento

b K [X ]

z L,

6. Conjuntos Algbricos Ans

bn z K [ X ]
com para certo

89

n.

Entretanto, pela Proposio 6.7, existe um nmero

innito de polinmios irredutveis em

K [X ].

Assim, podemos tomar

z = 1/c,

c b.
Seja

Proposio 6.33.
(i) Se (ii)

subanel de

S, S

subanel de ento

T. Avi wj . S [w 1 , . . . , w m ],
ento

S= S

Avi =

T =

Bwj ,

T = =

Se

R[v1 , . . . , vn ]

T = R[v1 , . . . , vn , w1 , . . . , wm ].
(iii) Se

R, S, T

so corpos, e

S = A(v1 , . . . , vn ), T = B (w1 , . . . , wm ),

ento

T = A(v1 , . . . , vn , w1 , . . . , wm ).

Demonstrao :(i) bvia.

(ii) Pela hiptese, existem homomorsmos tal que

: R [X1 , . . . , X n ] S

Alm disso,

Xi vi ,
i1 a(i) v1

: S [X1 , . . . , X m ] T , : a(i) R},

e

tal que

X j wj .

S={

in vn

T ={

j1 b( j ) w 1

jm wm

: b(j ) S }.
tal claro que

Basta considerar o homomorsmo que Xi vi para i = 1, . . . , n, e Xj wj , para j i1 in j1 jm c(k) v1 vn T = w1 wm : c( k ) R .

: R[X1 , . . . , Xm+n ] T , = n + 1, . . . , m.

(iii) Anlogo ao anterior, apenas considerando os elementos nos respectivos corpos de fraes.

O resultado acima mostra que as relaes mdulo nito, anel nito e extenso nitamente gerada, so transitivas.

Denio 6.34

(Elemento Inteiro)

Seja

um subanel de um anel

S.

Dizemos

que um elemento

v S R

inteiro sobre tal que

se existe um polinmio mnico Se

F =

X n + a1 X n1 + . . . + an R[X ]
que

F (v ) = 0. R.

so corpos, dizemos

algbrico sobre

se

inteiro sobre

Proposio 6.35.
(i) (ii)

Seja

um subanel de um domnio

S, v S.

Ento as

seguintes armaes so equivalentes:

inteiro sobre

R. R. R
contendo

R [v ]

mdulo-nito sobre

(iii) Existe um subanel

de

R[v ]

que mdulo-nito

sobre

R.
(ii): Se

Demonstrao : (i)
claro que

v n + a1 v n1 + . . . + an = 0,

ento

vn

n1 i=0

Rv i R[v ].

Note que, se provarmos que

vm

n1 i i=0 Rv . n1 i i=0 Rv para

6. Conjuntos Algbricos Ans

todo

90

m,

teremos que

R[v ] =

n1 i=0

Rv i ,

pois todo elemento

z R [v ]
Para

da forma

bj v j , bj R .
Mostremos que temos que

vm

n1 i=0

Rv i

para todo

m.

0 m n,

n i=0

Bv

. Se

m = n + 1,

temos

v n+1 = v n v = (a1 v n1 + . . . + an )v = a1 v n + . . . + an v = a1 (a1 v n1 + . . . + a0 ) + . . . + an v

que uma combinao linear de raciocnio, obtemos que

v i , i = 0, . . . , n 1. Rv
i
para todo

Usando este mesmo

n1 i=0

m.

(ii)

(iii): Basta tomar

R = R[v ]. Rwi ,
ento

(iii)

(i): Se

R =

n i=1

vwi = i,

n j =1

aij wj

para algum se

aij R.
e

Ento

n j =1 (ij v

aij )wj = 0

para todo

onde

ij = 0

i = j,
Uma

ii = 1. v

Se considerarmos estas equaes no corpo de fraes de uma soluo no trivial, e assim

S,

veremos

que

(w1 , . . . , wn )
n1

det(ij v aij ) = 0. R.

vez que

aparece somente na diagonal da matriz, o determinante tem a forma

v + a1 v

+ . . . + an , ai B .

Assim

inteiro sobre

Corolrio 6.36.
inteiro sobre

Se

subanel de

mdulo nito sobre

R,

ento

R. v S,
seja

Demonstrao : Para todo

pelo item (i).

S=R

em (iii). Ento

inteiro sobre

Corolrio 6.37.
subanel de

O conjunto de elementos de

que so inteiros sobre

um

que contm

R. a, b
inteiros sobre

Demonstrao : Tomemos
particular, inteiro sobre 6.33 - (i), temos

S. S.

Como

B S [a],

ento

, em

S [a].

Alm disso, sendo

S [a] S [a, b],

Como

pela Proposio pela

S [a, b]

mdulo-nito sobre

a b, ab R[a, b],

proposio anterior, so inteiros sobre

R. R S
se todo elemento de

Dizemos que sobre

inteiro sobre

inteiro

R.

Se

so corpos, dizemos que

uma extenso algbrica de

se

inteiro sobre

R.

6. Conjuntos Algbricos Ans

91

Proposio 6.38.

Seja

um corpo,

subcorpo algebricamente fechado de que algbrico sobre

L.

(i) Qualquer elemento de

est em

K.

(ii) Um corpo algebricamente fechado no possui extenso mdulo

nita, exceto si prprio. Demonstrao : (i) Se

mnico de grau

z L algbrico sobre K , ento z raiz de algum polinmio K.

Entretanto, como

n,

com coecientes em

algebricamente

fechado, todas as

razes de um polinmio de grau

em

esto em

K.

Logo,

z K.
(ii) Seja

uma extenso mdulo nita sobre

K.

Obviamente,

K L.

Agora, como todo elemento de

algbrico sobre

K,

pela Proposio

6.35, temos

L K.

Portanto,

L = K. L = K (X )
o corpo das funes racionais

Proposio 6.39.

Seja

um corpo,

de uma varivel sobre

K. L que inteiro sobre K [X ] est em K [X ]. F K [X ] tal que para todo z L,

(i) Qualquer elemento de

(ii) No existe elemento no nulo

F nz

inteiro sobre

K [X ]

para algum

n > 0.
inteiro sobre

Demonstrao : (i) Tomemos

z K (X )
para

K [X ],

isto ,

satisfaz existem

z + an1 z

n1

+ . . . , +a0 = 0, Gn

ai K [ X ] . z = F/G.

Como

z K (X ),

F, G K [X ]

primos entre si, tais que temos

Substituindo na expresso

anterior e multiplicando por

F n + an1 F n1 G + . . . + a0 Gn = 0 G | F n .
Como

so produtos de fatores irredutveis, e em

K [X ],

todo

elemento irredutvel primo, conclumos que

G | F.

Assim,

z K [X ].

(ii) Suponha que existe tal

F K [X ].

Ento

(F n z )m + am1 (F n z )m1 + . . . + a0 = 0
para certos

ai K [X ].

Em particular, tomemos

z = 1/G, onde G um polinmio

irredutvel que no divide por

F.

Substituindo na expresso anterior e multiplicando

Gm ,

temos

F n + am1 F n G + . . . + Gm a0 = 0 G | F n .
Como existncia de tal

primo, ento

G | F.

Esta contradio garante a no

F.

6. Conjuntos Algbricos Ans

92

Teorema 6.40.
ento

Se

um subanel de

S, R

v1 , . . . , vn S

so inteiros sobre

R,

R[v1 , . . . , vn ]

mdulo nito sobre

e inteiro sobre

R.

Demonstrao : Temos que

R R[v1 ] R[v1 , v2 ] R[v1 , . . . , vn ].

Para cada i, Como sobre

vi inteiro sobre R, e ento, inteiro sobre R[v1 , . . . , vi1 ].

temos que

R[v1 , . . . , vi ] = R[v1 , . . . , vi1 ][vi ], R[v1 , . . . , vi1 ],

R[v1 , . . . , vi ]

mdulo nito

pela Proposio 6.35. Aplicaes sucessivas do item (i) da

Proposio 6.33, garante que Corolrio 6.36,

R[v1 , . . . , vn ]

mdulo nito sobre

R.

Assim, pelo

R[v1 , . . . , vn ]

inteiro sobre

R.

7. Teorema dos Zeros de Hilbert

93

Captulo 7 Teorema dos Zeros de Hilbert

Neste captulo apresentamos as duas verses equivalentes do Teo-

rema da Base de Hilbert, tambm conhecido como Nullstellensatz. Apesar da existncia de demonstraes distintas, estudamos a demonstrao devida a Zariski. Alm disso, para complementar a discusso sobre elementos inteiros, dedicamos uma seo ao Lema da Normalizao de Noether.

7.1 Extenses de Corpos

Suponha para algum

um subcorpo de um corpo

L,

e suponha

L = K (v ) X
em

v L.

Seja

: K [X ] L
j que

o homomorsmo levando

ker () = (F ), F K [X ],
do Isomorsmo,

K [X ]

um domnio principal. Pelo Teorema

K [X ]/(F )

isomorfo a

K [v ], F:

e ento

(F )

primo (Proposio

1.30-(i)). Temos duas possibilidades para

Se

F = 0,

ento

K [v ]

isomorfo a

K [X ],

K (v ) = L

isomorfo a

K (X ).

Neste caso,

no anel nito (ou mdulo nito) sobre

K,

de acordo com

Proprosio 6.32.

Caso

F = 0,

podemos assumir

mnico.

Como

(F )

primo, ento

irredutvel e

(F )

maximal (Proposio 3.16); logo

K [v ]

um corpo e para

K [v ] = K (v ).
certos

Como

0 = (F ) = v + bn1 V v
pela Proposio 6.35.

n1

+ . . . + b0 = F (v ), K.
Portanto,

bi K ,

conclumos que

algbrico sobre

L = K [v ]

mulo nito sobre

K,

Para a demonstrao de uma das verses do Teorema dos Zeros de Hilbert, necessrio mostrar que se algebricamente fechado, ento 6.38, suciente mostrar que

anel nito sobre

K,

um corpo

L = K.

Entretanto, considerando a Proposio

mdulo-nito sobre

K.

Pela discusso acima,

7. Teorema dos Zeros de Hilbert

94

temos que um anel nito tambm mdulo nito. O lema a seguir mostra que esta armao sempre verdadeira:

Lema 7.1 (Zariski).

Se um corpo

anel nito sobre um subcorpo

K,

ento

mdulo nito (e, portanto, algbrico) sobre Demonstrao : Como

K.

L anel nito sobre K , temos L = K [v1 , . . . , vn ] para certos n.

O caso

vi L.

A demonstrao ser feita por induo sobre

n=1

tratado

na discusso acima, ento assumimos o resultado vlido para todas as extenses geradas por

n1 K.

elementos. Seja

K1 = K (v1 ).

Por induo,

L = K1 [v2 , . . . , vn ] K [v1 ]
mdulo

mdulo nito sobre nito sobre Logo

K1 .

Se

v1

for algbrico sobre

K,

ento

K [v1 ] = K (v1 )

e, pelo item (ii) da Proposio 6.33, temos

L = K [v1 , . . . , vn ].
Suponhamos ento que sobre

L = K [v1 , . . . , vn ]

com

v1

no algbrico

K.

Para com

i = 2, . . . , n

ni , cada vi satisfaz uma equao vi

ni 1 + ai1 vi + ... +
pela hiptese de

aini = 0,

aij K1 , ani

pois

v2 , . . . , vn

so algbricos sobre

K1

induo. Se tomarmos multiplicarmos por

a K [v1 ]

mltiplo de todos os denominadores de

aij ,

cada uma das equaes, obteremos Assim,

(avi )ni + aai1 (avi )ni 1 + K [v1 ]

para

. . . = 0, 2, . . . , n. N K [v1 ]
como

para cada

i = 2 , . . . , n.

avi

algbrico sobre

i =

Segue do Corolrio 6.37 que para qualquer

z L = K [v1 , . . . , vn ], existe K,
ento Mas

tal que

aN z

inteiro sobre

K [v1 ].

Como

v1

no algbrico sobre

K (v1 ) K (v1 )

e, em particular, a armao vale para

z K (v1 ) \ K [v1 ].
algbrico sobre

isomorfo a um corpo de funes racionais de uma varivel sobre Portanto,

K,

isto absurdo, pela Proposio 6.39.

v1

K,

L = K [v1 , . . . , vn ].

7.2 Lema da Normalizao de Noether

Seja

uma extenso de

K,

um subconjunto de

L.

algebricamente independente sobre

polinmio no nulo

se para algum inteiro positivo tal que

existe um

F K [X1 , . . . , X n ] B

F (b1 , . . . , bn ) = 0

para distintos

b1 , . . . , b n B .

Caso contrrio,

algebricamente dependente sobre

K.
base de

Se tal subconjunto

B maximal (com respeito a incluso) na coleo L,

dizemos que

de subconjuntos algebricamente independentes de

transcendncia de

sobre

K,

com grau de transcendncia

|B |.

Lema 7.2

(Normalizao de Noether)

Seja

um domnio de integridade anel

nito sobre um corpo

K,

e seja

o grau de transcendncia de

sobre

L,

7. Teorema dos Zeros de Hilbert

corpo de fraes de

95

R.

Ento existe um conjunto algebricamente independente

{t1 , . . . , tr }

de

tal que

inteiro sobre

K [t1 , . . . , tr ].
Se

Demonstrao : Seja

R = K [u1 , . . . , un ]; ento L = K (u1 , . . . , un ). K,

ento

{u1 , . . . , un }

algebricamente independente sobre cendncia de

{u1 , . . . , un }

uma base de trans-

sobre

K.

Assim, teremos

r=n

e o teorema verdadeiro.

Se

{u1 , . . . , un }

algebricamente dependente sobre

K,

ento

n1

in 1 = ai1 ...in ui 1 un = 0, (i1 ,...,in )

onde

um conjunto nito de n-uplas distintas de inteiros no negativos, e ai1 ...in K

para cada

um elemento no nulo de

(i1 , . . . , in ) . is

Tomemos

um inteiro

positivo maior que qualquer compontente Se

de todo elemento

(i1 , . . . , in ) .

(i1 , . . . , in ), (j1 , . . . , jn )

so tais que

i1 + ci2 + c2 i3 + . . . + cn1 in = j1 + cj2 + c2 j3 + . . . + cn1 jn ,

ento

c | i1 j1 ,

o que impossvel, a menos que

i1 = j1 ,

pois

c > i1 0

c > j1 0. j2 .
conjunto

Da, i2 + ci3 + . . . + c

n2

in = j2 + cj3 + . . . + cn2 jn , e c | i2 j2 i2 = (i1 , . . . , in ) = (j1 , . . . , jn ).

Dessa forma, o

Repetindo este processo, obtemos

{i1 + ci2 + c2 i3 + . . . + cn1 in : (i1 , . . . , in ) }

consiste de

|| inteiros no negativos distintos e, j1 + cj2 + . . . + cn1 jn

Agora, denimos

em particular, admite um nico

elemento maximal

para algum

(j1 , . . . , jn ) .

c c v2 = u2 uc 1 , v3 = u3 u1 , . . . , vn = un u1
Substituindo cada

n1

ui

por

vi + uc 1

i1

2 i n,

no somatrio acima

e expandirmos as expresso, obtemos

j1 +cj2 +c aj1 ...jn u1

onde o grau de

2 j +...+cn1 j n 3

+ F (u1 , v2 , . . . , vn ) = 0,
estritamente menor que

F K [X1 , . . . , X n ] u1

em

X1

j1 + cj2 +

. . . + cn1 jn .

Logo
2j

raiz do polinmio mnico

n1 j

X j1 +cj2 +c

3 +...+c

1 + a j1 ...jn F (X, u2 , . . . , un ) K [v2 , . . . , vn ][X ].

Consequentemente, 6.40, cada

u1

inteiro sobre

K [v2 , . . . , vn ].

Pelo Teorema Como

K [u1 , v2 , . . . , vn ] = K [v2 , . . . , vn ][u1 ] ui ,

para

inteiro sobre

K [v2 , . . . , vn ].
temos que

i = 2, . . . , n

inteiro sobre

K [u1 , v2 , . . . , vn ],

R =

7. Teorema dos Zeros de Hilbert

K [u1 , . . . , un ]
inteiro sobre

96

K [v2 , . . . , vn ].

Se{v2 , . . . , vn } algebricamente in-

dependente, ento argumento para

r = n1

e o teorema est provado. Caso contrrio, o mesmo mostra que para certos

K [v2 , . . . , vn ] no lugar de K
Se

w3 , . . . , w n R inteiro

A, K [v2 , . . . , vn ] inteiro sobre K [w3 , . . . , wn ].

sobre

Da, por transitividade,

K [w 3 , . . . , w n ].

{w3 , . . . , wn } algebricamente independente, terminamos {znr+1 , . . . , zn }

de

a prova. Se no for, o processo pode ser repetido at obtermos um subconjunto algebricamente independente inteiro sobre

elementos de

tais que

K [zrn+1 , . . . , zn ].

7.3 Teorema dos Zeros de Hilbert

At o momento, vimos vrios resultados e denies a respeito de conjuntos algbricos. Em particular, a Proposio 6.23 nos fornece um critrio para que um dado conjunto algbrico

seja irredutvel, que exige o conhecimento

do conjunto de polinmios que o geram. O Teorema dos Zeros de Hilbert explicita a relao existente entre ideais e conjuntos algbricos. Nesta seo, assumimos que

algebricamente fechado.

Teorema 7.3
K [X1 , . . . , Xn ],

(Nullstellensatz, Forma Fraca)

Se

um ideal prprio em

ento

V (I ) = . I
um ideal maximal, pois para qualquer Assim,

Demonstrao : Podemos assumir que

ideal maximal

que contm

I , teremos V (J ) V (I ). K

L = K [X1 , . . . , Xn ]/I L.
em

um corpo e, obviamente,

pode ser considerado como um subcorpo de

Ento existe homomorsmo natural de

K [X1 , . . . , Xn ] em L, que leva cada Xi

Pelo Lema de Zariski,

Xi + I , garantindo que L anel nito sobre K .

nito sobre

L mdulo
tal que

K.

Considerando que

corpo algebricamente fechado, obtemos Logo, para cada Mas

K = L, pelo item (ii) da Proposio 6.38.

o maximal em

i existe ai K

I -resduo de Xi ai , ou melhor Xi ai I .
e ambos so maximais, ento

(X1 a1 , . . . , Xn an ) um ideal
Como

K [X1 , . . . , Xn ], pela Proposio 6.16.

(X1 a1 , . . . , Xn an )
Portanto,

I,

I = (X1 a1 , . . . , Xn an ).

V (I ) =

{(a1 , . . . , an )} = .

Teorema 7.4 (Nullstellensatz, Forma Forte). Seja I um ideal em K [X1 , . . . , Xn ].

Ento

I (V (I )) = Rad(I ).
De maneira geral, o resultado acima garante que se

F1 , . . . , F r , G

K [X1 , . . . , Xn ]
equao

se anula sempre que

F1 , . . . , F r

se anulam, ento existe uma

G = A1 F1 + . . . + Ar Fr , para algum N > 0 e certos Ai K [X1 , . . . , Xn ].

7. Teorema dos Zeros de Hilbert

Demonstrao : A Proposio 6.18 garante que Rad(I )
a incluso inversa, tomemos denimos

97

I (V (I )).

Para mostrar e

G I (V (F1 , . . . , Fr )), G

com

Fi K [X1 , . . . , Xn ],
Ento

J = (F1 , . . . , Fr , Xn+1 G 1) K [X1 , . . . , Xn , Xn+1 ].

vazio, uma vez que se anula sempre que todos os ento

V (J )

n+1

(K )

Fi

so zero. De

fato, se Porm,

(a1 , . . . , an+1 ) V (J ),

Fi (a1 , . . . , an ) = 0

(a1 , . . . , an ) V (I ).

0 = (Xn+1 G 1)(a1 , . . . , an+1 ) = an+1 G(a1 , . . . , an ) 1 = 1

pois

G(a1 , . . . , an ) = 0. J,

Assim

V (J ) =

e, aplicando a Forma Fraca do NullDecorre desta condio que

stellensatz em

temos que

J = K [X1 , . . . , Xn+1 ].

1 J,

e ento existe uma equao

1=

(Ai (X1 , . . . , Xn+1 )Fi ) + B (X1 , . . . , Xn+1 ) (Xn+1 G 1).

Tomando

Y = 1/Xn+1 ,
em

multiplicamos a equao acima por uma

potncia grande o suciente de

Y , de tal forma que Y N = K [X1 , . . . , Xn , Y ].

isto , Logo

Ci (X1 , . . . , Xn , Y )Fi + G
por

D(X1 , . . . , Xn , Y )(G Y ) GN =
coecientes em

Substituindo

Y,

obtemos

Ei (X1 , . . . , Xn , G)Fi , K [X1 , . . . , Xn ].

GN
N

uma combinao linear de e

Fi

com

G I

G Rad(I ).
Notemos que a

A demonstrao acima devida a Rabinovich. Forma Fraca implica a Forma Forte.

Na verdade, as duas formas do Teorema

dos Zeros de Hilbert so equivalentes. Com efeito, suponhamos vlido o Teorema 7.4, isto , para Rad(I )

I K [X1 , . . . , Xn ], temos I (V (I )) = Rad(I ).

Logo

Se

V (I ) = , ento

= I (V (I )) = I () = (1).

(1) Rad(I ), 1 I

I = K [X1 , . . . , X n ].

Como consequncias do Teorema 7.4, temos os seguintes corolrios.

Corolrio 7.5.
algbricos.

Se

um ideal radical em

K [X1 , . . . , Xn ],

ento

I (V (I )) = I .

Ento existe uma correspondncia um a um entre os ideais radicais e os conjuntos

Demonstrao : Decorre diretamente do teorema, j que

ideal radical, isto ,

I = Rad(I ).

Corolrio 7.6. Se I um ideal primo, ento V (I ) irredutvel.

Os ideais maximais correspondem a pontos. Demonstrao : Como

Ento existe uma

correspondncia um a um entre ideais primos e conjuntos algbricos irredutveis.

primo, temos Rad(I )

=I

(Proposio 1.45-(k)). Da,

I (V (I )) = Rad(I ) = I

primo e, pela Proposio 6.23,

V (I )

irredutvel.

7. Teorema dos Zeros de Hilbert

98

Corolrio 7.7.
F V (F )

Seja

F K [X1 , . . . , Xn ],

n1 . . . Frnr F = F1

a decomposio de

em fatores irredutveis. Ento

V (F ) = V (F1 ) . . . V (Fr ) I (V (F )) = (F1 . . . Fr ). K)

a decomposio de Existe uma corres(a menos

em componentes irredutveis, e

pondncia um a um entre polinmios irredutveis de multiplicao por elementos no nulos de

F K [X1 , . . . , X n ]

e hipersuperfcies irredutveis em

An (K ).

Corolrio 7.8.
sobre

Seja

um ideal em

K [X1 , . . . , Xn ].

Ento

V (I )

um conjunto

nito se, e somente se,

K [X1 , . . . , Xn ]/I

um espao vetorial de dimenso nita

K.

Se tal fato ocorrer, o nmero de pontos em

V (I )

menor que ou igual

a dimenso de

K [X1 , . . . Xn ]/I

como espao vetorial sobre

K. F1 , . . . , F r iFi I ,
e

Demonstrao : Sejam

P1 , . . . Pr V (I ). Fi (Pj ) = 0 Fi .
Se Ento os se

Escolhemos polinmios e

K [X1 , . . . , Xn ]
Seja

tais que de

i = j

Fi (Pi ) = 1

(Proposio 6.20).

Fi

I -resduo r

i F i = 0, i K , Fi

ento

j = (

i Fi )(Pj ) = 0. K.

so linearmente independentes sobre

K,

e portanto,

menor que ou igual a dimenso de

K [X1 , . . . , Xn ]/I

como espao

vetorial sobre

Por outro lado, se e

V (I ) = {P1 , . . . , Pr } nito, seja Pi = (ai1 , . . . , ain )

N Ento Fj I (V (I )) e Fj I para algum N rN N > 0. Tomando os I -resduos, F j = 0, e ento X j uma combinao K -linear rN 1 de 1, X j , . . . , X j . Segue, por induo anloga a feita no item (ii) da Proposio s rN 1 6.35, que X j uma combinao K -linear de 1, . . . , X j para todo s, e da que m1 mn {X 1 . . . X n : mi < rN } gera K [X1 , . . . , Xn ]/I como um espao vetorial sobre

Fj =

r i=1 (Xj

aij ), j = 1, . . . , n.

K.

8. Variedades Ans

99

Captulo 8 Variedades Ans

Neste captulo, assumimos que o corpo e que os conjuntos algbricos ans estaro em disso, todos os anis e corpos contm

K
n

algebricamente fechado para algum

A = A (K )

n.

Alm

como subanel e, por homomorsmo

: A B () =

de tais anis, consideraremos um homomorsmo de anis tal que

para todo

K.

Um conjunto algbrico am irredutvel chamado de variedade

algbrica. Ao longo deste texto, utilizaremos apenas o termo variedades para

nos referirmos a tais conjuntos algbricos.

8.1 Anis de Coordenadas

Seja primo em

V An

uma variedade no vazia.

Ento

I (V )

um ideal

K [X1 , . . . , Xn ],

assim

K [X1 , . . . , Xn ]/I (V )
O domnio

um domnio.

Denio 8.1 (Anel de Coordenadas).

o anel de coordenadas de

(V ) = K [X1 , . . . , Xn ]/I (V )

V. V
no vazio, denotamos por claro que

Para todo conjunto algbrico o conjunto de todas as funes de operaes

F (V, K )

em

K.

F (V, K ),

munido das

(f + g )(x) = f (x) + g (x)

e

(f g )(x) = f (x)g (x),

para todo subanel de

x V , f, g F (V, K ), F (V, K ),

um anel.

O corpo

considerado um

associado ao conjunto de todas as funes constantes.

Dizemos que uma funo um polinmio

f F (V, K ) funo polinomial

se existe

F K [X1 , . . . , Xn ] tal que f (a1 , . . . , an ) = F (a1 , . . . , an ) para todo

8. Variedades Ans
(a1 , . . . , an ) V .
subanel de

100

Claramente, o conjunto de todas as funes polinomiais um que contm

F (V, K )

K.
determinam a mesma funo polinomial se, para todo

Dois polinmios e somente se,

F, G

(F G)(a1 , . . . , an ) = 0
Com efeito, se

( a1 , . . . , a n ) V ,

isto ,

F G I (V ).
ento temos

f (a1 , . . . , an ) = F (a1 , . . . , an ) = G(a1 , . . . , an ),

Por outro lado, se

(F G)(a1 , . . . , an ) = 0.

(F G)(a1 , . . . , an ) = 0,

F (a1 , . . . , an ) G(a1 , . . . , an ) = 0, e assim, F (a1 , . . . , an ) = G(a1 , . . . , an ) =

A aplicao

f (a1 , . . . , an ).

: K [X1 , . . . , Xn ] F (V, K ) F
que associa a cada polinmio

f = F |V
uma funo polinmial

F K [X1 , . . . , X n ]

f F
Logo

F (V, K ) ker ,

claramente um homormorsmo, cujo ncleo

I (V ).

De fato, se

ento

f 0
e

e para qualquer

a V , 0 = f (a) = F (a), F ( a) = 0 (V ) V
em

ou seja,

F I (V ).

Reciprocamente, para

F I (V ),

temos que

para todo

a V.

(F ) = f = 0

F ker .
com o subanel de

Dessa forma, podemos identicar formado por todas as funes polinomiais de

F (V, K ),

K.

Portanto, temos duas como uma funo em

importantes maneiras de considerar um elemento de

(V ):

V,

ou como uma classe de equivalncia de polinmios.

8.2 Aplicaes Polinomiais

Sejam

V An , W Am

variedades.

Uma funo

: V W

uma aplicao polinomial se existirem polinmios tais que

T1 , . . . , Tm K [X1 , . . . , Xn ]

(a1 , . . . , an ) = (T1 (a1 , . . . an ), . . . , Tm (a1 , . . . , an )) para todo (a1 , . . . , an )

Qualquer funo

V. :V W
induz um homomorsmo

: F (W, K ) F (V, K ) f
explicitado no diagrama

(f ) = f

W
f

8K

Em particular, se

uma aplicao polinomial, ento

((W ))

(V ).

Vejamos:

8. Variedades Ans
Se

101

polinomial,

ento

existem

polinmios

T1 , . . . , Tm

K [X1 , . . . , Xn ] f (W ),

tais que, para qualquer

P V , (P ) = (T1 (P ), . . . , Tm (P )).
tal que

Para

existe

F K [X1 , . . . , X m ] P V,

F (Q) = f (Q)

para todo

Q W.

Ento, para qualquer

temos que

f (P ) = f (T1 (P ), . . . , Tm (P )) =
Assim,

F (T1 (P ), . . . , Tm (P )) = F (T1 , . . . , Tm )(P ).

denido em

f = (f ) um polinmio
de

V,

e portanto,

(f ) (V ).
a

A restrio de tal que, se o

(W ),

o homomorsmo de um polinmio

(W )

em

(V )

f (W )

I (W )-resduo

F,

ento

(f ) = f

I (V )-resduo

do polinmio

F (T1 , . . . , Tm ).

Mais explicitamente, temos:

f (W ) f = F + I (W )
e ento

(f ) = (f ) + I (V ) = f + I (V ),
onde

f = F (T1 , . . . , Tm ).
Se

V = An , W = Am T : A
n

T1 , . . . , Tm K [X1 , . . . , Xn ]
m
, ento os

determinam

uma aplicao polinomial minados por

Ti

so unicamente deterDe fato, se

e, assim, escrevemos

T = (T1 , . . . , Tm ).

T (P ) =
isto

(T1 (P ), . . . , Tm (P )) = (F1 (P ), . . . , Fm (P )), ento Ti (P ) Fi (P ) = (Ti Fi )(P ) = 0

, para todo

i.

Como

innito, a Proposio 6.6 garante que

Ti Fi 0,

Fi = Ti .
Vejamos que cada aplicao polinomial de

em

est associada

a um homomorsmo do anel de coordenadas

(W )

em

(V ).
Existe uma e os

Proposio 8.2.
homomorsmos polinomial de

Sejam

V An , W Am
Qualquer tal

variedades ans.

correspondncia um a um entre as aplicaes polinomiais

: V W

: (W ) (V ).
em

a restrio de uma aplicao

An

Am . : (W ) (V )
um homomorsmo, e escolhemos Ento

Demonstrao : Seja

Ti T =
n

K [X1 , . . . , Xn ] (T1 , . . . , Tm )

tais que

(Xi + I (W )) = Ti + I (V ), i = 1, . . . , m. A
n
em

uma aplicao polinomial de

, e induz

T : (A ) =
para

K [X1 , . . . , Xm ] (Am ) = K [X1 , . . . , Xn ].

Armamos que todo

T (V ) W .

De fato, tomando

F I (W ),

aV

temos

T (F )(a) = F T (a) = F (T1 , . . . , Tm )(a).

Como ento

F (T1 , . . . , Tm ) I (W )(a) = F (T1 , . . . , Tm )(a)

se

a V,

F T (a) = F (T 1 , . . . , T m )(a) = (F (X1 , . . . , Xm )(a) = (0(W ) )(a),

8. Variedades Ans
pois

102

F I (W ).

Uma vez que

homomorsmo, Mas

(0(W ) )(a) = 0(V ) (a) = = T |V : V W

0.

Com isto, obtemos

T (a) V (I (W )). T (V ) W .

algbrico, garantindo que

V (I (W )) = W ;
polinomial.

e assim,

Logo, a restrio

A discusso feita no incio desta seo garante que, a partir da aplicao polinomial

obtemos um homomorsmo

: (W ) (V ), = .

tal que

(F + I (W )) = F (T1 , . . . , Tm ) + I (V ).
polinomial entre as variedades.

Portanto,

Portanto, dado

um homomorsmo entre os anis de coordenadas, construmos uma aplicao E, pela discusso mencionada, dada uma apli-

cao polinomial entre variedades, construmos um homomorsmo entre anis de coordenadas.

Um aplicao polinomial uma aplicao polinomial

:V W
tal que

um isomorsmo se existe a identidade em

:W V W.

= V ,

V;

= W ,
isomorfos.

a identidade em

Segundo o resultado anterior, duas variedades

ans so isomorfas se, e somente se, seus respectivos anis de coordenadas so

8.3 Mudana de Coordenadas

Se

T = (T1 , . . . , Tm )
denotamos

uma aplicao polinomial de

An

em

Am , I

e e

F K [X1 , . . . , Xm ],
conjuntos algbricos

F T = T (F ) = F (T1 , . . . , Tm ).
denota o ideal em

Para ideais

em

Am , I T

K [X1 , . . . , Xn ]
T

gerado por

{F : F I }; e V
mial

denota o conjunto algbrico

(V ) = V (I ), onde I = I (V ). An
uma aplicao polino um polinmio de grau ento

Uma mudana am de coordenadas em

T = (T1 , . . . , Tn ) : An An T
bijetora. Escrevendo

tal que cada

Ti

1,

tal que

Ti =

aij Xj + ai0 ,

T = T T T1 = T

, onde

T
e

uma aplicao linear e

uma translao. Explicitamente,

aij Xj

Ti = Xi + ai0 .

Como qualquer translao tem inversa, segue que

ser bijetora

se, e somente se,

invertvel. fcil ver que, se

so mudanas ans

de coordenadas em

, ento

T U

tambm o so. Alm disso,

um

automorsmo da variedade algbrica

An .

8.4 Funes Racionais e Anis Locais

Seja

uma variedade em

An , (V ) seu anel de coordenadas.

Como

(V )

um domnio, podemos considerar seu corpo de fraes.

Este corpo

8. Variedades Ans
chamado de corpo das funes racionais em elemento de

103

V, V,

e denotado por

K (V ). f

Um

K (V )
Se

uma funo racional em uma funo racional em

V.
e

P V, f

dizemos que temos

est

denida em

se algum par

a, b (V ), P

tal que

f = a/b,

b(P ) = 0.

Como pode existir vrias maneiras diferentes de escrever de funes polinomiais, para

como um quociente

est denida em

se possvel obter um denominador

que no se anule em

P.

Entretanto, se

(V )

um domnio de fatorao

nica, pela Proposio 3.29 existe essencialmente uma nica representao

f =

a/b,
se,

com

sem fatores em comum. Ento

est denida em

se, e somente

b(P ) = 0.
Para cada

P V, P.

denimos

OP (V )

como o conjunto das funes

racionais em claro que

denidas em

Com as operaes denidas no corpo de fraes,

OP (V )

um subanel de

K (V ). P V

Alm disso, temos que

K (V ) f
no est

OP (V ) K (V ).

O anel

OP (V )

chamado de anel local de

em

P.
se

O conjunto de pontos

onde uma funo racional

denida chamado de conjunto de polos de

f. f

Para

f OP (V ),
como

f = a/b,

a, b (V ), b(P ) = 0,
denotado por

denimos o valor de

em

f (P ) = a(P )/b(P ),

f (P ).
(i) O conjunto de polos de uma funo racional em

Proposio 8.3.
(ii)

um

subconjunto algbrico de

V.

(V ) = P V OP (V ). V An .
Para

Demonstrao : Suponha
de

G K [X1 , . . . , Xn ], denotemos o resduo

. Vejamos que

em

(V )

por

G.

Tomemos

f K (V ).
contendo

Denimos

Jf = G K [X1 , . . . , Xn ] : G f (V ) I (V ):

Jf

um ideal em

K [X1 , . . . , Xn ] 0 = I (V )
ento

0 Jf ,
Se

pois

e ento

0 f (V ).
Logo,

F, G JF ,

(F + G) f = (F + G) f = F f + G f (V ).

F + G Jf .
Para

G Jf ,

ento

(G) f = G f ,

que pertence a

(V ).

Assim,

G Jf .
Tomando pois

F K [X1 , . . . , Xn ] e G Jf , temos (F G) f = F G f (V ),
anel. Logo

(V )

F G Jf . G I (V ),
temos

Por m, para todo elemento

G = 0 Jf .

Para so

nalizar a demonstrao do item (i), provaremos que os pontos de

V (Jf )

8. Variedades Ans
exatamentes os pontos onde polos de

104

no est denida, isto ,

V (Jf )

o conjunto dos

f.
Tomemos

Q V \ V (Jf ).

Ento existe com

G Jf

tal que

G(Q) = 0, f
est

G f = H (V ). Q.

Da

f (Q) = H (Q)/G(Q), P V

G(Q) = 0;

e assim

denida em

Por outro lado, seja

tal que

est denida em

P.

Dessa Assim,

forma, existem

F , G (V ) tais que f (P ) = F (P )/G(P ) com G(P ) = 0.

implica em

G(P ) f (P ) = F (P ) (V ) P V \ V (Jf ).

G Jf ,

com

G(P ) = 0.

Portando

Para o item (ii), basta mostrar que ementos em isto ,

OP (V ), uma vez que os elSe

(V ) so polinmios denidos em todo P V . 1 Jf ,

e assim,

P V

OP (V ),

no tem polos; o item anterior garante que

V (Jf ) = .

Ento, utilizando

o Teorema 7.3, conclumos

1 f = f (V ). P,
com valor zero em

claro que existem funes denidas em Estas funes constituem o ideal de ideal maximal de de valorizao

P.

MP (V ) = {f OP (V ) : f (P ) = 0},
Logo,

chamado

em

P.

Obviamente, tal ideal o ncleo do homomorsmo

f f (P ) de OP (V ) em K . f O P (V ) f (P ) = 0. f g = 1. f OP (V )
e e

OP (V )/MP (V ) isomorfo a K . OP (V )
se, e somente se, tal que

Um elemento

unidade em

f (P ) = 0.
e ento

De fato, para

unidade, existe Agora, se

g OP (V )

f g = 1,
ento

f (P ) g (P ) = 1

f (P ) = a(P )/b(P ) = 0,

g = b(P )/a(P ) OP (V ) {no

unidades de

Dessa forma, podemos considerar

MP (V ) =

OP (V )}. O)P (V ).
Assim,

Pelo Corolrios 1.33 e 1.34, temos que o ideal formado por todas as unidades o nico ideal maximal de

OP (V )

um anel local e

MP (V )

seu nico ideal maximal.

Proposio 8.4. OP (V ) um domnio Noetheriano local.

Demonstrao : Devemos mostrar que qualquer ideal
gerado. Como

em

OP (V ) I

nitamente

(V )

Noetheriano, pela Proposio 4.9, sejam Armamos que

f1 , . . . , f r

os

geradores do ideal

I (V ).

f1 , . . . , f r

geram

como ideal em com

OP (V ).
e

Com efeito, se Da

f I OP (V ), I

ento existe

b (V )

b(P ) = 0
Fazendo

bf (V ). (ai /b)fi ,

bf (V ) I ,

e assim

bf =

ai fi , ai (V ).
como desejado.

f=

obtemos que

gerado por

f1 , . . . , f r ,

8.5 Anis de Valorizao Discreta

Um anel

chamado de anel de valorizao discreta quando

satisfaz as condies explicitadas no resultado abaixo.

8. Variedades Ans

105

Proposio 8.5.
equivalentes:
(i)

Seja

um domnio, mas no corpo. Ento as armaes so

Noetheriano e local, e seu ideal maximal principal.

(ii) Existe um elemento irredutvel

tA

tal que todo elemento no unidade em

nulo

zA

escrito de maneira nica na forma

z = utn , u

R,

inteiro no negativo. Demonstrao : (i)

(ii): u = v.

Seja

o ideal maximal, Ento

t um gerador de M . z = utn z

Suponha

ut = vt
com

u, v

unidades,

n m.

ut

nm

=v

unidade, o que s possvel nica. Para

n = m,

e da

Assim, dado

z R,

a expresso

mostrar que todo caso contrrio,

se escreve de tal forma, assumimos que Como

no unidade pois,

z = zt0 .

z no unidade, z M

e ento

z = z1 t para algum z1 M
e

z1 R.

Se

z1

unidade, terminamos a demonstrao. Seno,

z1 = z2 t.
com tem um para

Continuando com este raciocnio, obtemos uma sequncia innita

z1 , z2 , . . .

zi = zi+1 t.
algum de

Como

Noetheriano, a cadeia de ideais

(z1 ) (z2 ) . . .
Assim, se

elemento maximal, e da,

(zn ) = (zn+1 )
e

para algum mas

n.

zn+1 = vzn

v A,

temos

zn = vtzn
(i):

vt = 1,

no unidade. Logo, a sequncia

zi

nita, e todo elemento (ii)

se escreve como

z = utn .
e ento

M = (t)

claramente o conjunto das no unidades.

Todos os ideais em principal.

so principais, da forma

(tn ), n 0,

domnio

Um elemento

como no item (ii) chamado de parmetro uni-

formizante de
De fato, se e

R,

e se

um outro parmetro, ento uniformizantes de

= vt, t

com

unidade

so parmetros t, t
unidades. Da

temos, em particular, Logo

R. n t = ut
com

= vtm , u, v T

t = uv t
e

n mn

m, n

inteiros, implica que O expoente

m = n = 1; n

1 = uv n tmn1 . = vt. assim t

, e

mn = 1, n=

chamado de ordem de

z,

e denotado

ord(z ).

Por denio, ord(0)

= .
e

Este conceito de ordem nos permite escrever o ideal maximal em

R =

{z K : ord(z ) 0}
para

M = {z K : ord(z ) > 0}, R:

R.

A representao de qualquer elemento de

com em (ii) se estende

K,

o corpo de fraes de

todo elemento no nulo

zK

tem uma nica

expresso

z = utn , u

unidade em

n Z.

8.6 Ideais com um Nmero Finito de Zeros

Finalmente, nesta seo apresentamos um resultado que relaciona anis de coordenadas de

K [X1 , . . . , Xn ] com os conjuntos de funes racionais em

8. Variedades Ans
An .

106

Proposio
natural de

8.6.

Seja

I
em

um

ideal

em

K [X1 , . . . , Xn ],

suponha

V (I ) = {P1 , . . . , Pm }

nito. Seja

Oi = OPi (An ).
m i=1

Ento existe um isomorsmo

K [X1 , . . . , Xn ]/I
Seja

Oi /I Oi .
os ideais maximais dis-

Demonstrao :

Ii = I ({Pi }) K [X1 , . . . , Xn ]
(Proposio 6.16). Denotemos

tintos que contm

R = K [X1 , . . . , Xn ]/I R
em

Ri = Oi /I Oi .
homomorsmo

Os homomorsmos naturais de

de

Ri ,

induzem um

de

em

m i=1

Ri . =
ento

Pelo Teorema dos Zeros de Hilbert (Forma Forte), Rad(I )

I ({P1 , . . . , Pm }) = V ( Ij ) V (Ii ) =
da Proposio 1.41 que

m i=1 Ii ,
para

Ii )

I
j =i Ij e

para

algum

d.

Como

i = j,

obtemos que

Ii

so comaximais. Segue

d ) = (I1 . . . Im )d = ( Ij )d I . (Ij

Agora escolhemos

F i K [X1 , . . . , X n ] Ei =

tal que

F i ( Pj ) = 0

se

i = j,
Ento

Fi (Pi ) = 1.
d Ei Ij
se

Seja

Ei =
pois

1 (1 Fid )d . Note que

Fid Di para algum

Di .

i = j,

d Fi Ij Fid Ij
e

d Ij

ideal; e tambm

Ei = (1 Ej ) Ej
i=j

i= j

d I, Ei Ij

j que

(1 Ej )
e

(Pi ) = 0

(1 Ej )
i=j
Se tomarmos

Ej Ei

(Pj ) = 0.
em

ei

o resduo de

R,

obtemos:

e2 i = ei .

Temos que

2 e2 i = Ei + I ,

onde

Ei2 = (1 (1 Fid )d ) (1 (1 Fid )d ) = 1 (1 Fid )d (1 Fid )d + (1 Fid )2d

Ei G

Como

G(Pi ) = 0

G(Pj ) = 0, G I

e, assim,

e2 i = ei .

ei ej = 0.

Basta notar que

Ei Ej = 1 (1 Fjd )d (1 Fid )d + 1 Fid )d 1 Fjd )d

se anula em qualquer

Pj ,

mesmo com

i = j.

Logo

Ei Ej I

I = 0.

8. Variedades Ans
ei = 1.
i ei
Com efeito, considerando que

107

Ei I ,

I = 0,

ento

= 1.
Armamos que se

G K [X1 , . . . , Xn ] I -resduo de G.
Logo

em

G(Pi ) = 0,
d1

ento existe

t R tal que tg = ei , onde g 1,

tomemos

De fato, assumindo que

G(Pi ) =
como

H = 1 G,
temos

e ento

(1 H )(Ei + HEi + . . . + H

Ei ) = Ei H d Ei .

Como

H Ii ,

H d Ei I .

g (ei + hei + . . . + hd1 ei ) = ei ,

desejado. Utilizando esta armao, mostremos que Seja Ento, para todo e um isomorsmo.

I -resduo

de

F,

com

(f ) = 0,

isto ,

i (f ) = 0i = I Oi . Hi I , Gi (Pi ) = 0

existem

Hi , Gi K [X1 , . . . , Xn ],
e

tais que

F = Hi /Gi .

Assim,

F Gi = Hi I , ei f =
se

f gi = 0.
Logo,

Pela armao, tomemos

ti gi = ei .

Ento

f=

ti gi f = 0. i = j,
ento

injetor.

Como

Ei (Pi ) = 1, i (ei )

uma unidade em temos

Ri .

Assim, como

i (ei )i (ej ) = i (ei ej ) = 0 i (ei ) = i ( (ti ai ) = ai /si

Pela armao, temos e

i (ej ) = 0
em

para

i = j. i (

Ento

ej ) = i (1) = 1. ti si = ei , (

Suponhamos

z = (a1 /s1 , . . . , am /sm ) Ri .

Logo

m i=1

Ri .

ai /si = ai ti

tj aj ej ) =

tj aj ej ) = z .

O colorrio a seguir segue diretamente desta demonstrao.

Corolrio 8.7.

Se

V (I )

{P },

ento

K [X1 , . . . , Xn ]/I

isomorfo

OP (An )/I OP (An ).

8. Variedades Ans

108

Consideraes Finais
A principal motivao para este trabalho consiste no interesse da aluna em direcionar sua formao acadmica e estudos posteriores para lgebra. Durante o Trabalho de Concluso de Curso A foram abordados conceitos bsicos de lgebra Comutativa, como anis, mdulos, sequncias exatas, corpos de fraes, anis Noetherianos e o importante Teorema da Base de Hilbert ; objetivando o domnio de resultados fundamentais desta teoria. Esta etapa, alm de complementar as disciplinas de lgebra cursadas durante toda a graduao, foi essencial para o estudo desenvolvido no Trabalho de Concluso de Curso B. Nesta segunda etapa, estudamos os objetos centrais da Geometria Algbrica, como espaos ans, conjuntos algbricos e variedades; e alguns resultados clssicos, como o Lema da Normalizao de Noether e o Teorema dos Zeros

de Hilbert. O grau de complexidade de tais conceitos evidencia o avano atingido

pela aluna, com respeito ao domnio dos contedos e do raciocnio formal. De maneira geral, este Trabalho de Concluso de Curso permitiu um estudo detalhado a respeito do tema escolhido, alm de proporcionar uma experincia bastante signicativa no campo da pesquisa cientca; enriquecendo a formao da estudante e preparando-a para as prximas etapas de sua vida acadmica.

Referncias Bibliogrcas

109

Referncias Bibliogrcas
[1] ATIYAH, M.F.; MACDONALD, I.G. Introduction to Commutative Algebra. Massachussetts: Addison-Wesley Publishing Company, 1969. [2] CHATTERS,A.W.; HAJARNAVIS,C.R. An Introductory Course in Com-

mutative Algebra. Nova York: Oxford University Press, 1998.

[3] DOMINGUES,H.; IEZZI, G. lgebra Moderna. So Paulo: Atual, 1982. [4] FULTON,W. Algebraic Curves:

An Introduction to Algebraic Geometry.

Massachussetts: The Benjamim/Cummings Publishing Company, 1969. [5] GARCIA, A; LEQUAIN, Y. lgebra: Janeiro: IMPA, 1988. [6] HUNGERFORD, T.W. Algebra. Nova York: Springer-Verlag, 1974. [7] JACOBSON, N.Basic Algebra I. W. H. Nova York: Freeman and Company, 1985.

um curso de introduo. Rio de