Académique Documents
Professionnel Documents
Culture Documents
Notas de Aula
ar
lgebra Comutativa
Ve
rs
o
Pr
el
im
Universidade de So Paulo
So Paulo, 23 de novembro de 2014
SUMRIO
1 anis e ideais
2
1.1 Teorema Chins dos Restos
1.2 Exerccios
14
26
Pr
el
im
3 mdulos
36
3.1 Mdulos Finitamente Gerados
3.2 Sequncias Exatas
41
3.3 Produto Tensorial de Mdulos
3.4 Exerccios
51
in
2 variedades
18
2.1 Espectro
18
2.2 Introduo Geometria Algbrica
2.3 Exerccios
33
ar
12
4 localizao
54
4.1 Propriedades Locais
60
4.2 Localizao e Ideais Primos
4.3 Exerccios
65
38
43
61
Ve
rs
o
5 condies de cadeia
67
5.1 Anis Noetherianos
73
5.2 Anis Artinianos
76
5.3 Exerccios
78
6 decomposio primria
80
6.1 Decomposio Primria em Anis Noetherianos
86
6.2 Aplicaes da Decomposio Primria em Anis Artinianos
88
6.3 Exerccios
93
7 extenses integrais
7.1 Exerccios 111
96
121
a identidades binomiais
125
b referncias bibliogrficas
129
Ve
rs
o
Pr
el
im
in
ar
ndice Remissivo
127
ii
INTRODUO
Ve
rs
o
Pr
el
im
in
ar
ANIS E IDEAIS
Aula 1
ar
aula 1: 11/08/2014
in
Vamos comear revendo rapidamente as definies e propriedades elementares de anis, ideais primos e maximais e vrias operaes elementares que
podem ser realizadas em ideais.
Pr
el
im
Ve
rs
o
b. f ( a b) = f ( a) f (b),
c. f (1 A ) = 1B .
ar
Pr
el
im
in
Ve
rs
o
Teorema 4. (Teorema de Correspondncia entre Ideais) Existe uma correspondncia (que preserva ordem) um-a-um entre os ideais J de A que contm I, e os
ideais J de A/I, dada por J = 1 ( J ).
Se f : A B um homomorfismo de anis e J um ideal de B, ento a
pr-imagem f 1 ( J ) sempre um ideal de A. Mas se I um ideal de A, o
conjunto f ( I ) no necessariamente um ideal de B, para que isso acontea
f deve ser sobrejetor. (prova: Exerccio 2.)
Exemplo 5. Seja f a incluso de Z em Q e seja I = (3) o ideal principal no
nulo de Z gerado por 3, ento f ( I ) Q o prprio I. Se I for um ideal de
Q ento QI I mas 12 3 = 23 6 (3) = {0, 3, 6, 9, 12, . . . }. Logo f ( I )
no um ideal de Q.
in
ar
Pr
el
im
Ve
rs
o
b. os nicos ideais de A so 0 e A;
c. todo homomorfismo de A num anel no nulo B injetivo.
Demonstrao. Exerccio 4.
Proposio 10.
Demonstrao.
a. Exerccio 5.
ar
Pr
el
im
in
Ve
rs
o
m
in
ar
Teorema 14. Todo anel no nulo A 6= 0 possui pelo menos um ideal maximal.
Pr
eli
Demonstrao. Seja o conjunto de todos os ideais prprios de A parcialmente ordenados por incluso (). Como A 6= 0, no vazio pois
(0) . Devemos mostrar que possui um elemento maximal e faremos
isso aplicando o Lema de Zorn. Para isso, devemos mostrar que toda cadeia
S tem uma cota superior em . Seja S = ( I ) uma cadeia de ideais em
, ento para cada par de ndices , temos uma das possibilidades: ou
S
I I ou I I . Denotemos por m = I , este ser o nosso candidato a
cota superior de S em .
Vejamos primeiramente que m , i.e., que m um ideal prprio de A.
Sejam x, y m ento existem ndices , tal que x I e y I , sem perda
de generalidade podemos supor que I I logo x + y I m. Por outro
lado, seja a A ento a x I m. Isto mostra que m um ideal de A.
Para ver que ele prprio s basta observar que 1 6 m pois 1 6 I para todo
.
Por ltimo, s resta observar que I m para todo , logo m uma cota
superior de S.
Ve
rs
Aula 2
aula 2: 13/08/2014
ar
in
Pr
el
im
Ve
rs
o
Observao.
ar
in
Pr
el
im
Proposio 19.
Ve
rs
o
ar
Pr
el
im
in
Ve
rs
o
3 Observe que em geral unio de ideais no ideal mas aqui os ideais pertencem a uma
cadeia e este fato que faz a unio ser um ideal.
ar
in
Pr
el
im
Ve
rs
o
aula 3: 22/08/2014
Lembrando a ltima aula. O conjunto N de todos os elementos nilpotentes
de um anel A chamado de nilradical de A.
Se : A A/I o homomorfismo
projeo,
ento
I = 1 (N A/I )
10
Aula 3
temos
Demonstrao. Aplicando a Proposio 24 a A/I
\
N A/I =
p,
p ideal primo de
A/I
logo
1 (p )
p ideal primo de
A/I
ar
I = 1 (N A/I )
p ideal primo de
p,
A
que contm
in
Proposio 29.
Pr
el
im
Sn
i =1 Ii .
i = 1 pi .
Ento
Ento p Ii
Ve
rs
o
I * pi ( 1 i n ) I *
pi .
i =1
a1 a2 ac
i0 an = b a1 a2 ai0 abi an pi0 ,
i =1
i 6 = i0
como pi0 primo ento pelo menos um dos ai com i 6= i0 deve pertencer
a pi0 o que uma contradio. Logo b 6 pi para todo 1 i n, portanto
S
I * in=1 pi .
11
Para provar o segundo item suponha que p + Ii para todo i. Ento para
cada i existe ai Ii tal que ai 6 p, mas p primo logo a1 a2 . . . an 6 p. Por
T
outro lado a1 a2 an in=1 Ii in=1 Ii p o que uma contradio.
T
Por ltimo se p = in=1 Ii ento p Ii para todo i. Se supomos que
essa incluso estrita para todo i, seguindo o raciocnio do caso anterior
chegaremos a uma contradio, logo p = Ii para algum i.
ar
1.1
m
in
Ai
i =1
Pr
eli
A=
Ve
rs
x a1 (mod m1 )
x a2 (mod m2 )
..
.
x ar (mod mr )
Z
Z
Z
Z
=
( m1 ) ( m2 )
( mr )
( m1 m2 . . . mr )
( x mod m1 , x mod m2 , . . . , x mod mr ) 7 x mod(m1 m2 . . . mr ).
12
ar
b.
Demonstrao.
Pr
el
im
in
n =2
Ve
rs
o
b. Para mostrar (b. ) observaremos primeiramente que todo homomorfismo de anis f : A B induz um isomorfismo de anis
f : A/ Ker( f ) Im( f ) dado por f ( a) = f ( a). (Exerccio 10.)
Seja : A IA1 IA2 IAn definida por a 7 ( a + I1 , a + I2 , . . . , a +
In ). Logo a Ker( ) ( a) = 0 a Ii para todo i = 1, . . . , n
(a. )
13
= ((b1 e1 + + bn en ) + I1 , . . . , (b1 e1 + + bn en ) + In )
= (b1 e1 + I1 , . . . , bi ei + Ii , . . . , bn en + In )
ar
= (b1 , . . . , bn )
Pr
el
im
ou seja
in
A
A
A
A
'
I1 . . . In
I1
I2
In
Ve
rs
o
Exemplo 32. Considere o anel dos polinmios com coeficientes no corpo dos
C[ x ]
C[ x ]
x]
C[
nmeros complexos C[ x ] e mostre que h x2 3i '
. Observe
h x + 3i h x 3i
que se a, b A ento h a bi = h ai hbi (Exerccio 11.).
Como x2 3 =
D
E D
E
2
( x + 3)( x 3) C[ x ] logo temos x 3 = x + 3 x 3 .
Agora observe que
E
E D
( x + 3) ( x 3) D
1=
x+ 3 + x 3
2 3
D
E D
E
o que implica que os ideais x + 3 e x 3 so coprimos. Logo pelo
TCR
C[ x ]
C[ x ]
C[ x ]
C[ x ]
E D
E ' D
ED
=D
E.
2
h x 3i
x+ 3 x 3
x+ 3
x 3
1.2
exerccios
14
ar
in
Ex. 5 Prove que todo ideal prprio I de A est contido num ideal maximal.
a. A um corpo;
Pr
el
im
Ve
rs
o
' A.
k[ x ]
k[ x ]
k[ x ]
'
.
h f ( x )i
h p 1 ( x ) e1 i
h p r ( x ) er i
2. Conclua que
Fq [ x ]
hxq xi
' Fq Fq
|
{z
}
q vezes
15
ar
in
Pr
el
im
f contnua}.
Ve
rs
o
Ix = { f A | f ( x ) = 0 }
para algum x [0, 1]. Conclua que existe uma bijeo entre pontos x [0, 1]
e ideais maximais de A.
Ex. 15 Mostre que o nilradical
N( A) := { a A, n N > 0 : an = 0}
um ideal de A.
I um ideal de A contendo I.
3. Mostre que
I= I
16
I = 1 (N( A/I ))
I J.
IJ=
IJ=
I = I. Mostre que
ar
in
Pr
el
im
c. A/N um corpo.
I+JK =
I+JK =
I+J
I+K
2. (( I : J ) : K ) = ( I : J K ) = (( I : K ) : J )
: J) =
4. ( I : i Ji ) =
i Ii
i ( Ii
: J)
Ve
rs
o
3. (
i(I
: Ji )
17
VA R I E D A D E S
espectro
ar
2.1
Pr
el
im
q 7 1 (q )
in
o morfismo entre espectros induzido por . Note que Spec() est bem
definido pois da Proposio 11, 1 (q) um ideal primo de A.
Lema 34. Seja A um anel.
a. Spec( A) = se e somente se A = 0.
Ve
rs
o
b. V ( I ) V ( J ) = V ( I J );
c.
i V ( Ii )
= V (i Ii ).
18
Ii p Ii p para todo i
p V ( Ii ) para todo i p
Pr
el
im
V ( Ii ).
in
p V ( Ii )
ar
aula 4: 27/08/2014
Ve
rs
o
b. V ( I ) V ( J ) = V ( I J );
c.
i V ( Ii )
= V (i Ii ).
Ii p Ii p para todo i
p V ( Ii ) para todo i p
\
i
19
V ( Ii ).
Aula 4
ar
in
b. D ( a b) = D ( a) D (b).
Pr
el
im
Ve
rs
o
b. Exerccio 2.
20
V(I) =
\
I p
(c. )
V ( I ) = V ( I ),
I p
ar
{p} =
in
Pr
el
im
Ve
rs
o
e. Pelo item (a. ), suficiente provar que toda cobertura de Spec( A) por
uma famlia de abertos bsicos { D ( a ), }, admite subcobertura
finita. Assim, se p Spec( A) ento existe tal que p D ( a ), ou
seja a 6 p. Considere ento o ideal I = h a , i, logo I * p para
todo p Spec( A). Em particular I no vai estar contido em nenhum
ideal maximal, logo segue do Corolrio 15 (Exerccio 5 da Lista 1) que
I no prprio, assim A = h a , i e portanto podemos escrever
1 = in=1 bi ai como combinao A-linear finita de elementos ai , o
que implica que A = h ai , 1 i ni. Mas ento cada a = in=1 ci ai ,
logo se a 6 p ento existe 1 i n tal que ci ai 6 p o que
implica que p D (ci ai ) = D (ci ) D ( ai ). Em concluso, para cada
p Spec( A) existe 1 i n tal que p D ( ai ), logo Spec( A) =
Sn
i =1 D ( a i ).
Exemplo 37.
21
Pr
el
im
in
ar
k [ x1 , x2 , . . . , x n ]
k [ x1 , . . . , x i ]
'
[ x , . . . , x n ] ' k [ x i +1 , . . . , x n ] .
( x1 , . . . , x i )
( x 1 , . . . , x i ) i +1
Ve
rs
o
Spec( B)
22
Pr
el
im
in
ar
aula 5: 29/08/2014
Ve
rs
o
Spec( B)
J
A
I
B
J
23
Aula 5
BJ um domnio ( AI = 0 e BJ um domnio) ou ( BJ = 0 e
domnio) (A = I e J primo) ou (B = J e I primo).
A
I
A
I
um
ar
Pr
el
im
in
Ve
rs
o
= a ( x )2 b ( x )2 ( x 3 x ) C[ x ],
24
' CC
2
(y b) (y + b)
b )
( y2
in
ar
que possui somente dois ideais primos: (0) C e C (0) que identifiC[ y ]
C[ y ]
camos (Exemplo f. ) com os ideais primos (0) de (y+b) e (0) de (yb) .
Mas esses ideais correspondem aos ideais primos (y + b) e (y b) de
A
que a sua vez correspondem aos ideais primos hy b, x ai e
( x a)
hy + b, x ai de A. Logo neste caso q da forma hy b, x ai com
b2 = a3 a 6= 0.
Segundo se b = 0 (i.e., a3 a = 0 a = 0 ou a = 1) ento
Pr
el
im
C[ y ]
A
= 2
( x a)
(y )
logo os ideais primos de
A
( x a)
Resumindo: Spec(C[ x, y]/ y2 x3 + x ) consiste no ideal (0) e nos ideais
hy b, x ai que esto em bijeo com os pontos ( a, b) da curva y2 = x3 x.
( y2 )
Ve
rs
o
(1)
A[ x ,...,x ]
25
para cada f ( x1 , . . . , xn ) I, f ( x1 , . . . , xn ) =
0 em A para cada f ( x1 , . . . , xn ) I, f ( a1 , . . . , an ) = 0( a1 , . . . , an )
Z ( I ).
Em particular se A = k for um corpo, h x1 a1 , . . . , xn an i Specm(k[ x1 , . . . , xn ])
para quaisquer n elementos ai de k. E logo pelo TCI temos que para todo
ponto ( a1 , . . . , an ) Z ( I ), h x1 a1 , . . . , xn an i Specm(k[ x1 , . . . , xn ]/I ).
Mais tarde, veremos que se k for algebricamente fechado, a recproca
em ambos casos tambm verdadeira (Nullstellensatz Hilberts). Ou seja,
todo ideal maximal de k[ x1 , . . . , xn ] da forma h x1 a1 , . . . , xn an i para
a1 , . . . , an k. E, todo ideal maximal de k[ x1 , . . . , xn ]/I da forma h x1 a1 , . . . , xn an i
para ( a1 , . . . , an ) Z ( I ), por tanto temos uma bijeo entre Specm(k[ x1 , . . . , xn ]/I )
e o conjunto dos zeros Z ( I ) de I. Mas para isso precisaremos de alguns
conceitos da Geometria Algbrica...
A[ x1 ,...,xn ]
h x1 a1 ,...,xn an i
2.2
m
in
ar
f ( x1 , . . . , xn ) = 0 em
Definio 39.
Pr
eli
b. Seja S k[ x1 , . . . , xn ] um conjunto de polinmios. O conjunto algbrico afim definido por S o subconjunto Z (S) Ank dos zeros
comuns de todos os polinmios em S:
Ve
rs
26
Z ( Ii ) = Z (i Ii ).
ar
Demonstrao. Exerccio 5.
Aula 6
in
aula 6: 10/09/2014
Pr
el
im
Ve
rs
o
O espao afim Ank para n 1 uma variedade. Para ver isso precisamos
de seguinte fato: (Exerccio 6.) Se k um corpo infinito e f k[ x1 , . . . , xn ]
tal que f ( a1 , . . . , an ) = 0 para todo ( a1 , . . . , an ) Ank ento f = 0. Observe
que como k algebricamente fechado ele infinito, pois suponha que ele
finito k = { a1 , . . . , an } ento o polinmio f ( x ) = ( x a1 )( x a2 ) . . . ( x
an ) + 1 no tem raiz em k, contradio. Segue que nenhum polinmio no
nulo se anula identicamente em todo Ank . Assim Z ( I ) ( Ank um fechado
prprio se, e somente se, I 6= (0). Logo se Ank = Z ( I ) Z ( J ) = Z ( I J )
ento I J = 0 e como k[ x1 , . . . , xn ] um domnio ento ou I = 0 ou J = 0,
o que mostra que Ank no unio de dois fechados prprios.
n
Definio 42. Sejam X Am
k e Y Ak dois conjuntos algbricos afins. Um
morfismo de conjuntos algbricos f : X Y uma funo para a qual
existem polinmios p1 , . . . , pn k[ x1 , . . . , xm ] tais que
f ( a1 , . . . , am ) = ( p1 ( a1 , . . . , am ), . . . , pn ( a1 , . . . , am )) Y
27
para todo ( a1 , . . . , am ) X.
ar
m
in
Pr
eli
Existe um morfismo sobrejetor k[ x1 , . . . , xn ] k[ X ] que leva um polinmio no morfismo correspondente. O kernel I ( X ) deste morfismo, i.e.,
I ( X ) := { f k[ x1 , . . . , xn ] | f ( a1 , . . . , an ) = 0 para todo ( a1 , . . . , an ) X }
chamado de ideal do conjunto algbrico X. Pelo Teorema do Isomorfismo
k[ x ,...,x ]
(Exerccio 8 Lista 1) temos k[ X ] ' I1(X ) n .
Proposio 44. Sejam X, Y Ank conjuntos algbricos temos:
a. X Y ento I ( X ) I (Y );
Ve
rs
28
b. k[ X ] um domnio;
c. I ( X ) um ideal primo.
X = ( X Z ( I )) ( X Z ( J )) = X ( Z ( I ) Z ( J ))
X Z( I ) Z( J ) = Z( I J )
ar
Pr
el
im
in
Ve
rs
o
29
X Specm(k[ X ]) = Specm(
que
k [ x1 , . . . , x n ]
)
I (X)
I ( P)
= h x 1 a1 , . . . , x n a n i
I (X)
ar
P = ( a1 , . . . , an ) 7 mP =
k[ x1 ,...,xn ]
I (X)
= {h x1 a1 , . . . , x n an i | ( a1 , . . . , an ) X },
in
Pr
el
im
Specm(k[ x1 , . . . , xn ]) = {h x1 a1 , . . . , xn an i | ai k}
Ve
rs
o
30
ar
Pr
el
im
in
Para ver I ( Z ( J ))
J tome f I ( Z ( J )). Introduza uma outra
varivel y e considere o novo ideal J1 = h J, f y 1i k[ x1 , . . . , xn , y]
gerado por J e f y 1. Um ponto Q Z ( J1 ) Akn+1 uma (n + 1)tupla Q = ( a1 , . . . , an , b) tal que g( a1 , . . . , an ) = 0 para toda g J, i.e.,
( a1 , . . . , an ) Z ( J ) e f ( a1 , . . . , an ) b = 1, ou seja f ( a1 , . . . , an ) 6= 0 e
b = f ( a 1 , . . . , a n ) 1 .
Ve
rs
o
g i f i + g0 ( f y 1 ) k [ x 1 , . . . , x n , y ]
31
(1 ,...,n ,j)
(1 ,...,n ,j)
ar
= fN
= h i ( x1 , . . . , x n ) f i k [ x1 , . . . , x n , y ] / h f y 1i ;
Pr
el
im
in
h i ( x1 , . . . , x n ) f i k [ x1 , . . . , x n ]
J.
aula 7: 12/09/2014
Ve
rs
o
Z,I
32
Aula 7
ar
Pr
el
im
in
Proposio 48. Seja k um corpo algebricamente fechado, seja X Ank um conjunto algbrico e seja k[ X ] = k[ x1 , . . . , xn ]/I ( X ) seu anel de funes regulares. Se
J k[ X ] um ideal qualquer de k[ X ] com ideal correspondente J k[ x1 , . . . , xn ]
no anel de polinmios, temos
Z ( J ) X = V ( J ) Specm(k[ X ])
Ve
rs
o
h x1 a1 , . . . , xn an i J em k[ x1 , . . . , xn ]
P = ( a1 , . . . , a n ) Z ( J )
2.3
exerccios
Ex. 21 Mostre que todo anel A possui um ideal primo minimal, ou seja,
um ideal primo p tal que se q Spec( A) e q p = q = p. Quais so os
C[ x, y]
primos minimais de 2
?
( x y2 )
Ex. 22 Seja A um anel. Para um subconjunto S A, defina
V (S) := { p Spec( A) | p S}
33
como o conjunto de
todos os ideais primos de A que contm S. Prove que
V (S) = V ( I ) = V ( I ), onde I representa o ideal gerado por S em A.
Ex. 23 Seja A um anel. Para a A, defina o conjunto D ( a) := {p Spec( A) | a 6 p}.
Mostre que os conjuntos D ( a) com a A so abertos e formam uma base
para a topologia de Zariski de Spec( A). Alm disso, dados a, b A mostre
que:
ar
1. D ( a) D (b) = D ( a b).
3. D ( a) = Spec( A) a unidade.
p
p
4. D ( a) = D (b) h ai = hbi.
in
2. D ( a) = a nilpotente.
Pr
el
im
Ve
rs
o
Spec( B).
Ex. 28 Mostre que os conjuntos algbricos so os fechados de uma topologia de Ank (Topologia de Zariski), i.e., tm as seguintes propriedades:
1. Z ((0)) = Ank e Z (k[ x1 , . . . , xn ]) =
34
2. Z ( I ) Z ( J ) = Z ( I J )
3.
Z ( Ii ) = Z (i Ii ).
in
ar
1. Z
2. Z/3Z
3. Z/6Z
4. C[ x ]
Pr
el
im
Ex. 31 Para cada um dois anis A a seguir determine o grupo das unidades de A, Spec( A), ideais maximais e os abertos e fechados do Spec( A).
Ve
rs
o
5. C[ x ]/ x13
6. R[ x ]/ x2 + 1
7. C[[ x ]]/ x2 + 1
8. Z[ x ]/ x2 + 1
9. C[ x, y]/ x2 + y2 + 1
10. R[ x, y]/ x2 + y2 + 1
35
MDULOS
ar
in
a(m + n) = am + an
Pr
el
im
( a + b)m = am + bm
( ab)m = a(bm)
1m = m
para todo a, b A e m, n M.
Ou, equivalentemente, M um grupo abeliano juntamente com um homomorfismo de anis A End( M ) onde End( M) o anel dos endomorfismos
do grupo abeliano M.
Exemplo 50.
Ve
rs
o
36
ar
m
in
Pr
eli
O grupo abeliano M/M0 herda uma estrutura de A-mdulo de M, definida por a(m + M0 ) = am + M0 . Logo M/M0 o A-mdulo quociente de
M por M0 .
O TCI um caso particular do seguinte fato: a projeo cannica M
M/M0 um homomorfismo de A-mdulos que induz uma correspondncia
um-a-um (que preserva ordem) entre submdulos de M que contm M0 e
submdulos de M/M0 .
Se f : M N um homomorfismo de A-mdulos, ento o Ker( f ) um
submdulo de M e a Im( f ) um submdulo de N. Denotamos o cokernel
de f como sendo Coker( f ) = N/ Im( f ).
Se M0 M um submdulo de M tal que M0 Ker( f ) ento f induz
um homomorfismo f : M/M0 N definido como segue: se m M/M0
imagem de m M ento f (m) = f (m). O Ker( f ) = Ker( f )/M0 , em
particular tomando M0 = Ker( f ) temos um isomorfismo de A-mdulos
Ve
rs
M
' Im( f ).
Ker( f )
b. A interseo
Mi um submdulo de M.
37
Proposio 53.
a. Se L M N so A-mdulos, ento ( L/N )/( M/N ) ' L/M.
b. Se M1 e M2 so submdulos de M, ento
ar
( M1 + M2 )
M2
'
.
M1
( M1 M2 )
Demonstrao. Exerccio 1.
Pr
el
im
in
Ve
rs
o
3.1
38
in
ar
Pr
el
im
j =1
(2)
Ve
rs
o
B=
a1n id
a2n id
..
.
f ann id
Multiplicando
39
ar
Aula 8
aula 8: 17/09/2014
in
Pr
el
im
Ve
rs
o
40
Seja A um anel local (i.e., um anel com um nico ideal maximal), m seu
ideal maximal e k = A/m seu corpo de resduos. Seja M um A-mdulo
f.g., ento M/mM aniquilado por m, logo um A/m-mdulo, ou seja um
k-espao vetorial e como tal tem dimenso finita.
Proposio 62. Sejam mi (1 i n) os elementos de M cujas imagens em
M/mM formam uma base deste espao vetorial. Ento mi geram M.
M
mM
mM+ N
mM
'
Pr
el
im
in
ar
Ve
rs
o
M
M
+N
' mM
mas mM
mM logo mM+ N = 0 e mM + N = M. Aplicando o Corolrio
anterior a M e N com I = m (o nico ideal maximal de A) ento I R
(interseo de todos os ideais maximais de A) logo M = N.
3.2
sequncias exatas
f i +1
Mi1 Mi Mi+1
(3)
a. 0 M0 M exata f injetiva;
g
41
incl
ar
in
Pr
el
im
Ve
rs
o
42
ar
in
Pr
el
im
3.3
Ve
rs
o
para todo m, m0 M, n, n0 N e a A.
Proposio 65. Sejam M e N dois A-mdulos. Ento existe um A-mdulo T junto
com uma aplicao A-bilinear g : M N T com a seguinte propriedade: dados
um A-mdulo P e uma aplicao A-bilinear f : M N P, existe uma nica
aplicao A-linear f 0 : T P tal que f = f 0 g.
Alem disso, se ( T, g) e ( T 0 , g0 ) so dois pares que satisfazem essa propriedade,
ento existe um nico isomorfismo j : T T 0 tal que j g = g0 .
43
MN
f
{
! f 0
g0
{
T0
in
MN
ar
!j
MN
g
{
Pr
el
im
T0
!j0
Ve
rs
o
(m + m0 , n) (m, n) (m0 , n)
(m, n + n0 ) (m, n) (m, n0 )
( am, n) a(m, n)
(m, an) a(m, n).
Seja T = C/D. Para cada elemento base (m, n) de C, denote por m n sua
imagem em T. Ento T gerado pelos elementos da forma m n. Estes
elementos satisfazem
(m + m0 ) n = m n + m0 n
m (n + n0 ) = m n + m n0
( am) n = m ( an) = a(m n).
44
ar
Pr
el
im
in
Ve
rs
o
45
Aula 9
Pr
el
im
in
ar
a i ( m i 1)
i
= ( m i a i 1) = ( m i a i ) = 0
i
Ve
rs
o
46
ento definimos an como sendo f ( a)n. Neste caso dizemos que o A-mdulo
N obtido de N por restrio de escalares. Em particular, f define desta
maneira uma estrutura de A-mdulo em B.
Proposio 69. Seja f : A B um homomorfismo de anis e seja N um B-mdulo
f.g. Suponha que B f.g. como um A-mdulo. Ento N f.g. como um A-mdulo.
ar
Pr
el
im
in
Ve
rs
o
47
ar
M0 M M00 0
(4)
f id N
in
exata.
Pr
el
im
M0 A N M A N M00 A N 0
(5)
gid
Ve
rs
o
( f id)( x y) = 2x y = x 2y = x 0 = 0,
48
N A
f id
N 0 A
i I
A ,
(6)
i I
'
N 0 A (i I A)
i I f
'
i I N 0
Pr
el
im
i I N
f id
in
N A (i I A)
ar
Ve
rs
o
49
Aula 10
Pr
el
im
in
ar
Ve
rs
o
( N A BO ) B C
( jid)id
/
( N 0 A B) B C
'
N A C
jid
'
N0 A C
50
ar
Pr
el
im
in
jid
N 0 B ( B A M)
O
'
'
N A M
jid
N0 A M
Ve
rs
o
3.4
Ex. 33 Seja 0 N 0 N N 00 uma sequncia de A-mdulos e Ahomomorfismos. Mostre que essa sequncia exata se, e somente se, para
todo A-mdulo M a sequncia
u
51
ar
1. M A N ' N A M;
2. ( M A N ) A P ' M A ( N A P);
Pr
el
im
3. ( M N ) A P ' ( M A P) ( N A P);
in
2. Se M A N = 0 ento M = 0 ou N = 0.
Ve
rs
o
( M A B) B N ' M A N.
M1
M10
M2
n
s
M20
M3
p
M30
M4
M40
52
so exatas e que m e p so A-homomorfismos sobrejetivos e q um Ahomomorfismo injetivo, mostre que n um A-homomorfismo sobrejetivo.
Ex. 42 Seja B uma A-lgebra e seja f ( x ) A[ x ]. Mostre que existem
isomorfismos de B-lgebras:
Ve
rs
o
Pr
el
im
in
ar
1. A[ x ] A B ' B[ x ]
A[ x ]
B[ x ]
2.
A B '
.
( f ( x )) A[ x ]
( f ( x )) B[ x ]
53
LOCALIZAO
ar
m
in
Pr
eli
a s + a2 s1 a1 a2
a a
a1 a2
+
= 1 2
e
= 1 2.
s1
s2
s1 s2
s1 s2
s1 s2
Ve
rs
1 Estas operaes esto bem definidas, i.e., no dependem dos representantes de classe
utilizados. Verifique!
54
ar
1
s
s
h( ) = h(( )1 ) = h( )1 = g(s)1
s
1
1
Pr
el
im
in
Ve
rs
o
55
Pr
el
im
in
ar
Ve
rs
o
am
a m
=
,
t s
ts
para todo a A, s, t S e m1 , m2 M2 .
Dado um morfismo de A-mdulos f : M N temos um morfismo de
f (m)
S 1 f
56
g(m)
ar
in
Pr
el
im
Ve
rs
o
b. S1 ( N P) = S1 ( N ) S1 ( P).
Demonstrao. Exerccio 2.
57
ai ti
mi =
s
1
ai ti mi ,
s
i
m
in
sii mi =
ar
1
todo a A, m M e s S. Por outro lado, S A A M o S A-mdulo
obtido de M por extenso de escalares. Logo f 0 um homomorfismo de
S1 A-mdulos. Claramente, f 0 sobrejetiva.
Seja, agora, i ( as i mi ) um elemento de S1 A A M. Se denotamos
i
s = i si S e ti = j6=i s j ento temos
s ai ti mi =
i
Pr
eli
1
t
1
1
m = m = tm = 0 = 0.
s
st
st
st
S 1 j
S 1 N 0
Ve
rs
'
N A S 1 A
jid
'
N 0 A S 1 A
58
ar
b. ( N : P) = Ann(( N + P)/N ).
in
Pr
el
im
Cor 88 1
= S (Ann( M1 )) S1 (Ann( M2 ))
hip
= Ann(S1 ( M1 )) Ann(S1 ( M2 ))
fato
= Ann(S1 M1 + S1 M2 )
Cor 88
= Ann(S1 ( M1 + M2 )).
Ve
rs
o
= Ann(S1 (( N + P)/N ))
= Ann(S1 ( N + P)/S1 N )
= Ann((S1 N + S1 P)/S1 N )
= ( S 1 N : S 1 P ).
59
4.1
propriedades locais
ar
a. M = 0;
m
in
Pr
eli
gm
Ve
rs
Ker( g)
Im( f )
m
Ker( gm )
Im( f m )
gm
60
ar
Demonstrao. Exerccio 4.
A propriedade de um A-mdulo ser plano local:
a. M um A-mdulo plano;
Pr
el
im
in
Ve
rs
o
Demonstrao.
61
in
ar
b
s
J, ou seja,
Pr
el
im
Aula 12
Ve
rs
o
Demonstrao.
(7)
62
ar
m
in
Pr
eli
a p ou a0 p
a
a0
S1 p ou 0 S1 p
s
s
7 Spec()(S1 p)
S 1 p
o
p 7
Ve
rs
a identidade em DS , j que
n
o
Spec()(S1 p) = 1 (S1 p) = a A | ( a) S1 p
o (7)
n
a
= a A | S 1 p = p
1
Spec(S1 A)
q 7 1 q 7 S1 (1 (q))
DS
63
{q Spec( A) | q p} Spec( Ap )
q 7 qAp .
Demonstrao. Tome S = A p no teorema anterior.
Pr
el
im
in
ar
Spec( )
Spec( A)
Ve
rs
o
(onde Spec() injetor pelo teorema anterior e Spec( ) injetor pelo Lema
34) e como Frac( A/p) um corpo, seu nico ideal primo (0), assim
Spec(Frac( A/p)) = (0) e a imagem do primeiro mapa Spec()(0) = 1 (0)
o ideal (0) de A/p, que levado em p pelo segundo mapa. Em outras
palavras, como o quociente e a localizao filtram os primos que contm e
que esto contidos em p o que sobra apenas o primo p.
Para finalizar esta seo veja que podemos dar uma prova alternativa
Proposio 24 (que caracteriza o nilradical de um anel A, Aula 2.) utilizando
localizao. Lembremos os conceitos:
Definio. O ideal N de todos os elementos nilpotentes de um anel A
chamado de nilradical de A.
Proposio. O nilradical de A a interseo de todos os ideais primos de A.
64
ar
4.3
in
Pr
el
im
Ve
rs
o
2. S1 ( N P) = S1 ( N ) S1 ( P).
65
ar
Ex. 49 Seja A um anel. Suponha que, para cada p Spec( A), o anel
local Ap no tenha elementos nilpotentes no nulos. Mostre que A no tem
elementos nilpotentes no nulos. Se cada Ap for um domnio de integridade,
ento necessariamente A um domnio de integridade?
in
Ve
rs
o
Pr
el
im
66
CONDIES DE CADEIA
Seja um conjunto parcialmente ordenado por uma relao . As seguintes
condies em so equivalentes:
ar
m
in
Pr
eli
Ve
rs
67
ar
Ve
rs
Pr
eli
m
in
Demonstrao. Faremos a prova para mdulos Noetherianos, o caso Artiniano similar (Exerccio 1).
(): Sejam M10 M20 e M100 M200 cadeias ascendentes
de submdulos de M0 e M00 respetivamente. Logo f ( M10 ) f ( M20 )
e g1 ( M100 ) g1 ( M200 ) so cadeias ascendentes de submdulos de
M. Como M Noetheriano estas cadeias so estacionrias logo f ( Mk0 ) =
f ( Mk0 +1 ) = para algum k e g1 ( Mn00 ) = g1 ( Mn00+1 ) = para algum
n. Agora segue do fato de f ser injetiva que f 1 f ( Mi0 ) = Mi0 para todo i e
logo Mk0 = Mk0 +1 = o que implica que M0 Noetheriano. Analogamente,
como g sobrejetiva temos g( g1 ( Mi00 )) = Mi00 para todo i, assim Mn00 =
Mn00+1 = o que implica que M00 Noetheriano.
(): Suponha que M0 e M00 so Noetherianos. Seja M1 M2
uma cadeia ascendente de submdulos de M; ento ( f 1 ( Mi )) uma
cadeia em M0 e ( g( Mi )) uma cadeia em M00 . Para um n suficientemente
grande ambas cadeias so estacionrias, logo f 1 ( Mn ) = f 1 ( Mn+1 ) =
e g( Mn ) = g( Mn+1 ) = . Queremos provar que sob estas condies
Mn = Mn+1 , mas como Mn Mn+1 basta mostrar a incluso oposta. Seja
x Mn+1 ento existe y Mn tal que g(y) = g( x ) logo g( x y) = 0
por tanto x y Ker( g) = Im( f ). Isto implica que existe z M0 tal que
f (z) = x y Mn+1 , logo z f 1 ( Mn+1 ) = f 1 ( Mn ) e logo f (z) Mn ,
i.e. x y Mn mas como y Mn segue que x Mn . Logo Mn+1 Mn e a
cadeia ascendente estacionria. Segue que M Noetheriano.
Aula 13
68
k +1
f M
0 Mk + 1
k
g M
Mi
i =1
Mi 0,
i =1
ar
m
in
Exemplo 105.
Pr
eli
Definio 104. Um anel A dito Noetheriano (resp. Artiniano) se Noetheriano (resp. Artiniano) como A-mdulo, i.e., se satisfaz a cca (resp. ccd)
em ideais.
Ve
rs
69
in
ar
Pr
el
im
Ve
rs
o
Demonstrao. Se m um ideal maximal de A, ento M = A/m simples pelo Teorema da Correspondncia verso para Submdulos, pois Asubmdulos de A/m correspondem a A-submdulos de A (ideais) que
contm m, como m maximal estes ideais so A e m e correspondem aos
A-submdulos A/m e 0 de A/m, o que implica que A/m simples. Reciprocamente, se M simples e m M qualquer elemento no nulo ento
70
M = Am = (m). Logo a aplicao f : A M dada por a 7 am sobrejetiva induz um isomorfismo de A-mdulos M ' A/ Ker( f ) e novamente
pelo TCS, os A-submdulos de M (0 e M) correspondem aos A-submdulos
de A (ideais) que contm Ker( f ), logo os nicos ideais de A que contm
Ker( f ) so Ker( f ) e A, logo Ker( f ) deve ser maximal.
ar
Pr
eli
m
in
Ve
rs
71
Pr
el
im
in
ar
Ve
rs
o
Proposio 114. Seja 0 M0 M M00 0 uma sequncia exata de Amdulos. Ento ` A ( M) < se, e somente se, ` A ( M0 ) < e ` A ( M00 ) < .
Neste caso ` A ( M) = ` A ( M0 ) + ` A ( M00 ).
Demonstrao. Pela Proposio (102) temos que M Noetheriano (resp. Artiniano) se, e somente se, M0 e M00 so Noetherianos (resp. Artinianos).
Assim pela Proposio (111), M possui comprimento finito se, e somente se,
M0 e M00 possuem comprimento finito. Sejam agora, M0 = Mn0 ) Mn0 1 )
) M00 = 0 e M00 = Mk00 ) Mk001 ) ) M000 = 0 sries de composio
72
ar
Pr
el
im
in
g1 ( Mi00+1 )
'
g1 ( Mi00 )
1
00
g ( Mi + 1 )
so
g1 ( Mi00 )
Ve
rs
o
Mi00+1
Mi00
simples.
5.1
este
anis noetherianos
73
m
in
ar
Pr
eli
Demonstrao. Como B ' A/ Ker() segue da Proposio 107 (item b.) que
B um anel Noetheriano.
Proposio 116. Seja A um subanel de B; suponha que A Noetheriano e que B
f.g. como um A-mdulo. Ento B Noetheriano como anel.
Ve
rs
74
ar
in
Pr
el
im
b. Se a J0 e r A ento a I, a A e r A A[ x ] logo ra I A =
J0 .
Como A Noetheriano J0 f.g., sejam a1 , . . . , an os geradores. Seja I0 =
J0 A[ x ] o ideal de A[ x ] gerado por J0 . Agora, se y I0 ento y = il=1 f i ( x ) ji ,
com ji J0 e f i ( x ) A[ x ]. Logo ji = nk=1 ak bki , com bki A, assim
y = il=1 f i ( x )(nk=1 ak bki ) = nk=1 (il=1 f i ( x )bki ) ak onde il=1 f i ( x )bki A[ x ],
logo I0 f.g em A[ x ] pelos a1 , . . . , an .
Temos duas possibilidades:
a. ou I0 = I e logo I f.g.;
Ve
rs
o
75
ar
Note que tambm verdade que se A Noetheriano ento o anel das sries
de potncias formais em x com coeficientes em A, A[[ x ]], Noetheriano. A
prova anloga, excepto que deve ser considerado o coeficiente do termo
de menor grau. (Exerccio 3.)
m
in
Pr
eli
anis artinianos
Ve
rs
76
Aula 16
i =1 Ii .
ar
Pr
el
im
in
Ve
rs
o
77
ar
5.3
in
Ex. 52 Seja 0 M0 M M00 0 uma sequncia exata de Amdulos. Mostre que M Artiniano se, e somente se, M0 e M00 so Artinianos.
Pr
el
im
Ve
rs
o
Ex. 56 Prove que Z[i ], o anel dos inteiros Gaussianos, um anel Noetheriano.
Ex. 57 Mostre que A um anel Artiniano e um domnio se, e somente
se, A um corpo.
Ex. 58 Seja M um A-mdulo Noetheriano. Se todo conjunto no vazio
de submdulos f.g. de M tem um elemento maximal, mostre que M
Noetheriano.
Ex. 59 Um espao topolgico X dito Noetheriano se os subconjuntos
abertos de X satisfazem a cca ou, equivalentemente, se os subconjuntos
fechados de X satisfazem a ccd. Mostre que:
1. Se A um anel Noetheriano ento Spec( A) um espao topolgico
Noetheriano.
2. Se A um anel qualquer, ento Spec( A) um espao Noetheriano se,
e somente se, o conjunto de ideias primos de A satisfaz a cca.
78
ar
Ex. 61 Seja M um A-mdulo Noetheriano e f : M M um homomorfismo de A-mdulos sobrejetor. Mostre que f um isomorfismo.
Ex. 62 Seja M um A-mdulo Artiniano e f : M M um homomorfismo
de A-mdulos injetor. Mostre que f um isomorfismo.
in
Pr
el
im
Ve
rs
o
79
DECOMPOSIO PRIMRIA
in
ar
Pr
el
im
contm q (Proposio 28, Aula 3), suficiente provar que q primo. Sejam
Ve
rs
o
Exemplo 130.
80
ar
in
Pr
el
im
p n
Ex16.4 L1 n
i = 1 qi
Demonstrao. q =
=
i=1 qi = p. Seja xy q e suponha que y 6 q, ento para algum i temos que xy qi e y
/ qi , logo
b. Se a
/ q ento (q : a) p-primrio.
c. Se a
/ p ento (q : a) = q.
Ve
rs
o
a
/ q, temos que b p. Logo q (q : a) p, tomando radicais ( preserva
p
p
incluses e
I = I Ex. 16 Lista 1) temos (q : a) = p. Seja agora
bc (q : a) e suponha que b
/ p, ento abc q logo ac q o que implica
que c (q : a). Logo (q : a) p-primrio. No terceiro item, como a
/ p
ento se b (q : a) ento ab q logo b q.
Definio 134. Uma decomposio primria de um ideal I de A uma
expresso de I como uma interseo finita de ideais primrios, I = in=1 qi .
a. todos os qi so distintos, e
b. temos que j6=i q j * qi para 1 i n
81
ar
Lema.
Aula 17
in
Pr
el
im
b) Se a
/ q ento (q : a) p-primrio.
c) Se a
/ p ento (q : a) = q.
Definimos uma decomposio primria de um ideal I como sendo uma expresso I = in=1 qi , onde os qi so primrios. Diremos que I decomponvel
se I admite uma decomposio primria. Neste se caso, se
a. todos os qi so distintos, e
b. temos que j6=i q j * qi para 1 i n
Ve
rs
o
82
Pr
el
im
in
ar
Note que no verdade que todas as componentes primrias so independentes da decomposio. Por exemplo, ( x2 , xy) = ( x ) ( x2 , y) =
( x ) ( x, y)2 so duas decomposies primrias minimais distintas.
Da prova anterior, temos que para cada i existe ai A tal que ai
/ qi e
n
ai j6=i q j assim ( I, ai ) = j=1 (q j : ai ) = (qi : ai ) pois pelo lema anterior
(q j : ai ) = A para todo j 6= i e logo (tambm pelo lema anterior) ( I, ai )
pi -primrio.
Dizemos que os ideais primos pi do 1 Teorema de Unicidade (Teorema
135) so associados a I, e os denotaremos por Assoc( I ) = {p1 , . . . , pn }.
Segue que um ideal I primrio se, e somente se, ele tem um nico ideal
primo associado.
Os elementos minimais do conjunto Assoc( I ) so chamados de ideais
primos isolados de I, i.e., um ideal primo p Assoc( I ) isolado se sempre
que exista p0 Assoc( I ) tal que p0 p ento p0 = p. Ideais primos de
Assoc( I ) que no so isolados so chamados de embutidos. Ou seja, um
ideal primo p Assoc( I ) embutido se existe um ideal primo p0 Assoc( I )
tal que p0 ( p. Segue do fato de Assoc( I ) ser finito que todo ideal embutido
contm um ideal isolado.
Ve
rs
o
83
b.
( x, y)2 = ( x, y) pois ( x, y) um ideal maximal de C[ x, y] (Nullstellensatz Hilbert, Teorema 46) e toda potncia de um maximal m
m-primrio (Proposio 131).
p
ar
in
Pr
el
im
b. Se S p = , ento S1 q S1 p-primrio.
Ve
rs
o
1
uma unidade em S A). Para o segundo item observe que S1 q =
1
S1 q. Logo S1 q S1 p-primrio.
s S q ou t S p =
Proposio 140. Seja S um subconjunto multiplicativo de A e seja I um ideal
84
Ex2.2 L4 n 1
Demonstrao. Temos que S1 I = S1 (in=1 qi )
=
i=1 S qi , agora
1
pela proposio anterior S qi = S A para i = m + 1, . . . , n. Logo S1 I =
im=1 S1 qi e S1 qi S1 pi -primrio para i = 1, . . . , m. Vejamos que essa
decomposio minimal:
in
ar
Pr
el
im
Ve
rs
o
85
Aula 18
ar
in
Pr
el
im
Ve
rs
o
Lema 144. Em um anel Noetheriano A todo ideal uma interseo finita de ideais
irredutveis.
86
Pr
el
im
in
ar
Ve
rs
o
Demonstrao. Observamos que o 1TU (Teorema 135) nos diz que os ideais
primospassociados a I so os ideais primos que ocorrem no conjunto de
ideais
( I : a) com a A. Logo se ( I : a) um ideal primo p de A ento
p
( I : a) = ( I : a) = p e portanto ( I : a) um ideal primo associado a I.
Reciprocamente, seja I = in=1 qi uma decomposio primria minimal de
87
6.2
ar
Vejamos que existem anis nos quais, assim como os espaos vetoriais, as
condies de ser Noetheriano ou Artiniano so equivalentes. Para provar
f
in
Pr
el
im
0 M1 , A A/M1 0
Ve
rs
o
0 M2 , M1 M1 /M2 0
..
.
i
Suponha que A seja A-mdulo Noetheriano ento M1 e A/M1 so Amdulos Noetherianos, isto implica que M2 e M1 /M2 so A-mdulos Noetherianos, continuando com esse raciocnio temos que Mi e Mi1 /Mi
so A-mdulos Noetherianos para todo i = 1, . . . , n. Logo os quocientes
Mi1 /Mi so A-mdulos Artinianos para todo i = 1, . . . , n. Em particular
para i = n temos que Mn1 /Mn A-mdulo Artiniano, mas Mn = 0 logo
88
ar
m
in
Pr
eli
Ve
rs
89
ar
Pr
el
im
in
Proposio 155. Seja A um anel Noetheriano local e m seu ideal maximal. Ento
exatamente uma das seguintes condies verdadeira:
a. mn 6= mn+1 para todo n;
Ve
rs
o
Demonstrao. Suponha que mn = mn+1 para algum n. Como A Noetheriano, mn um ideal f.g. e como A local R = m, pelo lema de Nakayama
(Lema 60) com M = mn e I = m, temos que mn = 0. Seja p um ideal
primo
de A, como 0 p ento mn p logo, tomando radicais, temos
Teorema 156. (Teorema de Estrutura de Anis Artinianos) Todo anel Artiniano A um produto direto finito de anis Artinianos locais determinados de maneira
nica (a menos de isomorfismo).
Demonstrao. Sejam mi com i = 1, . . . , n os ideais maximais distintos de A.
Da prova do Teorema 151 temos que in=1 mik = 0 para algum k > 0. Vejamos
que os ideais mik so dois-a-dois coprimos. Primeiramente observe que:
a.
I = A I = A e
q
b.
I+J=
I + J (Verifique!)
90
p
b.
k
k
mi + m j =
mik + mkj = mi + m j = A = A,
ar
isto implica por a. que mik + mkj = A e logo so coprimos. Segue do Teorema
Chins dos Restos (Teorema 31) que:
b. A =
A
m1k
|
m2k
Pr
el
im
in
tos por hiptese e ainda se j6=i mkj mik tomando radicais teramos
j6=i m j mi (Interseo finita de ideais contida em um primo) logo
m j mi para algum j, como m j maximal e mi 6= A ento m j = mi ,
contradio. Logo j6=i mkj * mik para todo i = 1, . . . , n.
. . . mkn
{z
=0
'
A
A
A
k k.
k
mn
m1 m2
Ve
rs
o
91
Pr
el
im
in
ar
Ve
rs
o
92
exerccios
in
6.3
ar
ideal principal pela Proposio 62, logo m = ( a). Seja I 6= (0) um ideal
local Arti
prprio de A, ento I m. Temos ainda que m = R = N e logo m
nilpotente (Proposio 125), portanto existe um inteiro r > 0 tal que I mr e
I * mr+1 (suponha que no, que para todo r > 0, I mr ento I = (0) pela
nilpotncia de m, contradio). Logo existe b I e b
/ ( ar+1 ) = mr+1 com
b = xar , consequentemente x
/ ( a) = m, i.e., x no nilpotente logo (pela
observao previa ao Teorema de Estrutura de Anis Artinianos) x uma
unidade de A. Logo ar I, portanto mr = ( ar ) I e logo I = mr = ( ar ).
Segue que I principal.
Pr
el
im
Ve
rs
o
q = m;
2.
93
I) ento I decom-
in
ar
Ex. 72 Se A um anel no qual todo ideal tem uma decomposio primria, mostre que toda localizao de A por um conjunto multiplicativo S,
S1 A, tem a mesma propriedade.
Ex. 73 Sejam p1 = ( x, y), p2 = ( x, z) e p3 = ( x, y, z) ideais do anel de
polinmios k[ x, y, z], onde k um corpo. Seja I = p1 p2 :
Pr
el
im
Ve
rs
o
Ex. 78 Seja A um anel Noetheriano e q um ideal p-primrio de A. Considere cadeias de ideais primos de q at p. Mostre que todas tais cadeias
94
Ve
rs
o
Pr
el
im
in
ar
95
EXTENSES INTEGRAIS
ar
b n + a 1 b n 1 + + a n = 0
m
in
Pr
eli
Ve
rs
Exemplo 160. Uma extenso integral de corpos o mesmo que uma extenso
algbrica e uma extenso de corpos L k finita se, e somente se, [ L : k] =
dimk L < . Desta forma, as definies anteriores generalizam para anis
os conceitos familiares de elemento algbrico e extenses finitas e algbricas
de corpos.
Diretamente das definies obtemos:
Lema 161.
96
Demonstrao. Exerccio 1.
Proposio 162. Seja A B uma extenso de anis e seja b B. As seguintes
afirmaes so equivalentes:
a. b integral sobre A;
b. A[b] A uma extenso finita.
ar
Pr
el
im
in
b cn = an1 c1 + + ann cn
Ve
rs
o
97
ar
Pr
eli
m
in
Ve
rs
98
ar
n 1
mdulo I temos b + a1 b
integral sobre A/A I.
in
Pr
el
im
ai
si
S1 A. Logo
b
s
integral sobre S1 A.
Ve
rs
o
99
ar
in
Pr
el
im
Ve
rs
o
q-primo | q A = p
integral
p-primo
100
S 1 A
iS /
B
ar
A
S 1 B
Pr
el
im
in
1
A p e logo S B 6= 0 e logo tem um ideal maximal) ento segue do
Corolrio anterior que m = n S1 A = iS1 (n) um ideal maximal de S1 A.
1
Como S1 A local segue que m = S1 p. Seja q =
B (n), ento q ideal
1
1
primo de B e temos que q A = i1 (q) = i1 (
B (n)) = ( B i ) (n) =
1 1
1
1 1
( i S A ) 1 (n ) =
A (iS (n)) = A (m) = A ( S p) = p onde a ltima
igualdade segue da prova do Teorema 98 (Teorema de Localizao e Ideais
primos) pois p um ideal primo de A tal que S p = .
Ve
rs
o
)
qm )
)
q1 primos
int
q j A = p j 1 j n
qi A = pi 1 i m
A pn )
)
pm )
)
p1 primos
Demonstrao. Usaremos a Lei Modular: Se J I ou K I ento I ( J +
K ) = I J + I K (Aula 2 e Ex. 11.6 Lista 1). E os isomorfismo da Proposio
(M +M )
53: ( L/N )/( M/N ) ' L/M e 1M1 2 ' ( M M2M ) (Aula 7, Ex 1. Lista 3).
1
iso
q2 ( A+q1 )
q1
( qq12 ) ( q1A A ) = ( qq21 ) ( A+
q1 ) =
q1
Segue do Teorema de Isomorfismos que p2 + q1 = q2 ( A + q1 )(*). Vejamos que
101
p2
p1 (p2
p2 + p1
p1 = Aq1
p2 + ( A q1 )
p2 A
LM
= ( A p2 ) + ( A q1 ) = A
()
(p2 + q1 ) = A q2 ( A + q1 ) = A q2 pois A q2 A A + q1 .
Por ltimo, resta ver que a incluso q1 q2 estrita. Suponha que q1 = q2
ento p1 = q1 A = q2 A = p2 , contradio.
ar
Pr
el
im
in
Ve
rs
o
sa1 n1
s1 b
102
ar
e definimos:
in
Pr
el
im
Ve
rs
o
A e s0 S0 . Logo
a
s00
a
s
a0
s0
s
1
a0
s0 s
a0
s
s0
1
103
a0
s
com
a0
AesSe
s00
s0
s0
com s0 S0 e
s0
S, assim
a0 s0
s0
s
1
a
s00
a0
s
s0
s0
a0 s0
ss0
m
in
ar
S1 Frac( A).
Segue que se A um domnio e S = A p onde p um ideal primo de A
ento 0
/ S e logo S1 A = Ap um domnio, primeira condio para ser
integralmente fechado.
Seja i : A , C( A, Frac( A)) a incluso de A em C( A, Frac( A)). Segue da Proposio 176 e a observao anterior que S1 C( A, Frac( A)) =
C(S1 A, S1 Frac( A)) = C(S1 A, Frac(S1 A)) logo S1 i : S1 A , C(S1 A, Frac(S1 A)).
Ento A integralmente fechado se, e somente se, i ( A) = A = C( A, Frac( A))
se, e somente se, i sobrejetiva. Segue da propriedade local dos homomorfismo sobrejetivos (Proposio 96) que i sobrejetiva se, e somente se,
S1 i sobrejetiva para todo ideal primo p de A, mas isto acontece se, e
somente se, S1 A = Ap integralmente fechado para todo ideal primo p de
A. Analogamente se considerarmos todos os ideais maximais m de A.
Pr
eli
Ve
rs
fk
f k 1
+ c1
+ + ck id = 0 para certos ci I aplicando isto em bn temos
k
b
+ c1 bn + + ck bn = 0 logo b integral sobre I, b C( I, B).
n k +1
104
sobre k p( x ) = x n + a1 x n1 + + an ento a1 , . . . , an I.
Pr
el
im
in
ar
p
com B = A temos: ai C( I, A) = I C( A, A) = I A = I.
A nossa inteno agora provar o Teorema Going-down, mas para isso
precisaremos provar antes alguns lemas tcnicos.
Vimos na Aula 1 que se f : A B um homomorfismo de anis e J um
ideal de B, ento a pr-imagem f 1 ( J ) sempre um ideal de A. Mas se I
um ideal de A, o conjunto f ( I ) no necessariamente um ideal de B. Por
isso consideraremos nos lemas seguintes o ideal B f ( I ) que o ideal de B
gerado por f ( I ).
Ve
rs
o
b. B f ( f 1 ( J )) J;
c. f 1 ( J ) = f 1 ( B f ( f 1 ( J )));
d. B f ( I ) = B f ( f 1 ( B f ( I )));
1 i.e., polinmio mnico como coeficientes em k de menor grau que admite b como raiz. Ele
irredutvel e divide qualquer outro polinmio em k[ x ] que tenha b como raiz.
105
Pr
eli
m
in
ar
Ve
rs
a1 , . . . , an I.
106
Aula 23
ar
Teorema 185. (Going-down) Sejam A B domnios de integridade, A integralmente fechado, B integral sobre A. Seja p1 ) ) pn uma cadeia de ideais primos
de A e seja q1 ) ) qm com m < n uma cadeia de ideais primos de B tais que
qi A = pi para i = 1, . . . , m. Ento a cadeia q1 ) ) qm pode ser estendida a
uma cadeia q1 ) ) qn tal que qi A = pi para todo i = 1, . . . , n.
domB q1 )
)
qm )
)
qn primos
int
qi A = pi 1 i m
qi A = pi 1 i n
i.f. A p1 )
)
pm )
)
pn primos
Pr
el
im
in
Demonstrao. Como na prova do Teorema Going-Up reduzimos imediatamente ao caso m = 1 e n = 2. Ento temos que mostrar que se p1 p2
so ideais primos de A e q1 um ideal primo de B tal que q1 A = p1 ,
ento existe um ideal primo q2 de B tal que q1 q2 e q2 A = p2 .
Agora, como observamos na prova da Proposio 179, B um domnio
logo o mapa de localizao : B Bq1 injetivo e podemos identificar
B ' ( B) Bq1 . Defina, ento f : A , Bq1 como sendo a composio
i
Ve
rs
o
b0 p
k
0
1 i i
x = i=1 1s1 isn n i i = si1=
sn onde s = s1 sn S e y = i =1 bi pi Bp2 .
Como A B umaextenso integral e logo C( A, B) = B, segue do Lema
181 que C(p2 , B) = Bp2 Bp2 3 y logo y integral sobre p2 . Segue da
Proposio 182 que y um elemento algbrico sobre o corpo de fraes
k = Frac( A) de A e sua equao minimal sobre k da forma yr + u1 yr1 +
107
i
a Proposio 182 com I = A temos que ui x
A = A para todo
i = 1, . . . , r.
Suponha agora que x
/ p2 . Ento xi
/ p2 , pois p2 primo de A, logo
i
i
p2 3 ui = (ui x )|{z}
x isto implica que ui x i p2 (aqui usamos o que
| {z }
A
in
ar
Pr
el
im
for nulo ento deveriam existir termos em g tais que ax11 x22 xnn11 =
Ve
rs
o
n 1
bx1 1 x2 2 xn
1 , mas isto implica a = b e i = i para todo i = 1, . . . , n 1
e logo a potncia de xn em f seria a mesma em ambos termos d in=11 i
e logos os termos seriam cancelados na expresso de f implicando que
f = 0, o que uma contradio. Segue do Execcio 9 Lista 2: Seja k
um corpo infinito e f k[ x1 , . . . , xn ] tal que f ( a1 , . . . , an ) = 0 para todo
( a1 , . . . , an ) kn ento f = 0 que existe (1 , . . . , n1 ) kn1 tal que
0 6 = g ( 1 , . . . , n 1 ) = f ( 1 , . . . , n 1 , 1 ).
108
Pr
eli
m
in
ar
Demonstrao. Sejam b1 , . . . , bn os geradores de A como uma k-lgebra. Ento podemos renumerar os bi s tal que b1 , . . . , br so algebricamente independentes sobre k mas b1 , . . . , br , bi (para todo r + 1 i n) no o so, ou seja
existe um polinmio pi k[ x1 , . . . , xr , xr+1 ] tal que pi (b1 , b2 , . . . , br , bi ) = 0
(para todo r + 1 i n), logo br+1 , . . . , bn so algbricos sobre k[b1 , . . . , br ].
Agora procedendo por induo sobre n, temos: Se n = r no tem nada a
fazer. Suponha ento que n > r e o resultado verdadeiro para n 1 geradores. O gerador bn algbrico sobre k[b1 , . . . , bn1 ] logo existe um polinmio
f 6= 0 com coeficientes em k em n variveis tal que f (b1 , . . . , bn1 , bn ) = 0.
Seja F a parte homognea de maior grau d de f , como k infinito, segue do
lema anterior que existem 1 , . . . , n1 k tal que F (1 , . . . , n1 , 1) 6= 0.
Sejam agora bi0 = bi i bn para i = 1, . . . , n 1. Defina G ( x1 , . . . , xn1 , xn ) =
f ( x1 + 1 xn , . . . , xn1 + n1 xn , xn ). Ento G tem a forma
G ( x1 , . . . , xn1 , xn ) = F (1 , . . . , n1 , 1) xnd + p1 ( x1 , . . . , xn1 ) xnd1 + +
pd ( x1 , . . . , xn1 ) para certos p1 , . . . , pd k[ x1 , . . . , xn1 ]. Como F (1 , . . . , n1 , 1) 6=
0 ento podemos supor G mnico pois podemos multiplicar por seu inverso.
Logo G (b10 , . . . , bn0 1 , bn ) = f (b10 + 1 bn , . . . , bn0 1 + n1 bn , bn ) = 0 uma
| {z }
|
{z
}
b1
bn 1
Ve
rs
109
ar
in
Lembramos a ltima aula: provamos o Teorema de Normalizao de Noether e enunciamos uma verso mais geral:
Pr
el
im
Ve
rs
o
110
Aula 24
ar
7.1
in
Pr
el
im
Ve
rs
o
111
ar
Ve
rs
o
Pr
el
im
in
112
TEORIA DA DIMENSO
Pr
el
im
in
ar
Definio 191. Seja p um ideal primo de A, ento a altura de p o comprimento da maior cadeia de ideais primos de A contidos em p: p0 ( p1 (
( pn = p, ou seja ht(p) = n.
Segue diretamente da definio anterior que ht(p) = dim Ap e que ht(p) =
0 se, e somente se, p um ideal primo minimal de A.
Ve
rs
o
113
8.1
ar
in
Pr
el
im
Ve
rs
o
114
8.2
Pr
eli
m
in
ar
Ve
rs
115
f1
f2
fn
f i +1
in
ar
Pr
el
im
f2
fn
Ve
rs
o
116
Aula 25
ar
in
incl
Pr
el
im
+k s
0 Kn = ker n , Mn Mn+ks Ln+ks = Coker( n ) = (nM
0.
n
n)
L
L
Sejam K =
Ln , ambos so A-mdulos f.g. pois
n =0 K n e L =
n =0 L
L
Mn
Mn
K um submdulo de M e L =
=
=
n =0 a s M
n =0
(M
)
Mn
n = 0 ( Mn a s M )
Mn + a s M
n =0
as M
M
as M
nk s
nk s
nk s
Ve
rs
o
=
um mdulo quociente de M.
=
Aplicando sequncia exata temos (Kn ) ( Mn ) + ( Mn+ks ) ( Ln+ks ) =
0 (pela Proposio 200) e multiplicando por tn+ks temos: (Kn )tn+ks
( Mn )tn+ks + ( Mn+ks )tn+ks ( Ln+ks )tn+ks = 0 para todo n 0. Logo,
somando sobre n:
n =0
( Kn ) tn+k s
( Mn ) t n + k s +
n =0
n =0
( Mn + k s ) t n + k s
( Ln+ks )tn+ks = 0,
n =0
n
n
isto P(K, t)tks P( M, t)tks +
n=k s ( Mn ) t n=k s ( Ln ) t = 0, ou seja
k
ns=0 ( Mn )tn P(K, t)tks .
Para poder aplicar a hiptese indutiva temos que mostrar que K e L so
A0 [ a1 , . . . , as1 ]-mdulos f.g. suficiente mostrar que ambos mdulos so
117
nk s
nk s
ar
s 1
finita j J a0 a1 1 as
1 x j . Logo ambos mdulos devem ser A0 [ a1 , . . . , as1 ]mdulos f.g. Vejamos que, de fato as K = as L = 0: seja x K ento x = xn
com xn ker n , logo n ( xn ) = as xn = 0 portanto as x = as xn = 0.
n
Seja x L, ento x = x n com x n Ln = M
tal que x n = xn +
(M
)
Mn + k s
n ( Mn )
= Ln+k s
Pr
el
im
in
z }| {
g(t)tks
ks
n =0
{z
=h(t)
F (t)
1
ki ,
is=
1 (1 t )
logo P( M, t) =
i =1 (1 t )
1
ki
f (t) g0 (t)+h(t)(is=
1 (1 t ))
1
ki
is=
1 (1 t )
F (t)
.
is=1 (1tki )
Ve
rs
o
f (t)
.
(1 t ) s
k i =1
f (t)
=
is=1 (1tki )
1
tk e suponha que
d = d( M ) e f (1) 6= 0. Agora (1t)d = k=0
d1
1 aqui adotamos
a
conveno que o grau dopolinmio
nulo 1 e tambm que o coeficiente
n
1
binomial
= 0 para todo n 0 e
= 1.
1
1
118
j
( N
j=0 b j t )( k=0
kN=0 bk tk
d+k1
d1
N
)t j tk . Pela definio de srie de Poincar ( Mn )
k =0 ( j =0 b j
d1
o coeficiente
de tn emP( M, t), logo (para k = n j) temos que ( Mn ) =
d+nj1
para todo n N e a soma do lado direito um
N
j =0 b j
d1
polinmio em n com coeficientes racionais tal que ( x ) =
(termos de menor grau).
f (1) d 1
x
( d 1) !
ar
f (t) =
in
Observao 207. Para um polinmio f ( x ) tal que f (n) um inteiro para todo
inteiro n, no necessrio que todos os coeficientes de f sejam inteiros, por
exemplo: 12 x ( x + 1).
Pr
el
im
Mn + k
n ( Mn )
0. Seguindo
Ve
rs
o
Aula 26
119
tk ) =
xn I n , seja x n a imagem de xn em
I n+m
In
I n +1
Pr
el
im
in
ar
Ve
rs
o
inc
120
Segue da proposio anterior que podemos escrever a funo de HilbertSamuel como h A (n) = in=01 [h A (i + 1) h A (i )] + h A (0) = in=01 dimk (mi /mi+1 ),
j que h A (0) = ` A ( A/m0 ) = ` A ( A/A) = ` A (0) = 0.
ar
Pr
el
im
8.3
in
Note que qualquer conjunto de geradores de m um sistema de parmetros de A. Assim segue da Proposio 62 (Sejam mi (1 i k) os elementos
de M cujas imagens em M/mM formam uma base deste espao vetorial.
n
Ento mi geram M), com M = mn que A dimk ( mmn+1 ).
Ve
rs
o
aA
A
aAaA
mn 0 ento para todo n 1, temos ` A ( aAmn ) ` A ( mn1 ) =
h A (n 1). Assim obtemos h B (n) h A (n) h A (n 1) segue da prova da
Proposio 210 que, para n 0, p B (n) q A (n) onde p B ( x ) o polinmio de
Hilbert-Samuel de B e q A ( x ) o polinmio de Hilbert do mdulo graduado
G ( A) em relao a = dimk . Logo grau( p B ( x )) grau q A ( x ), ou seja
d( G ( B)) d( G ( A)) 1. A igualdade um caso particular da Proposio
208.
A
mn 1
121
Pr
el
im
in
ar
()
Ve
rs
o
h A0 (n) = ` A0 ( mAn ) = ` A0 ( p0 +Amn ) = ` A ( p0 +Amn ) (pois p0 +Amn um Amdulo que aniquilado por p0 logo um A0 -mdulo), agora mn
p0 + mn logo se I um ideal de p0 +Amn ento corresponde a um ideal
de A que contm p0 + mn e logo contm mn e logo corresponde a
um ideal de mAn , assim h A0 (n) = ` A ( p0 +Amn ) ` A ( mAn ) = h A (n). Logo
d( G ( A0 )) d( G ( A)). Seja 0 6= a p1 m (p1 6= 0 pois se no p1 = p0 )
e B = A0 /aA0 , como A0 um domnio a no divisor de zero e logo,
segue do Lema Principal (Lema 212) que d( G ( B)) = d( G ( A0 )) 1
d( G ( A)) 1 < d( G ( A)). Aplicando a hiptese de induo temos
que dim B d( G ( B)). Por outro lado, as imagens de p1 , . . . , pr em
B formam uma cadeia de tamanho r 1, assim r 1 dim B
d( G ( A)) 1 logo r d( G ( A)), em particular dim A d( G ( A)).
122
Pr
el
im
in
ar
Ve
rs
o
123
8.4
exerccios
ar
in
1. k um corpo
2. Z( p)
3. C[ x, y]( x,y)
Pr
el
im
Ve
rs
o
124
IDENTIDADES BINOMIAIS
in
ar
Pr
el
im
x
Proposio 215. (nx ) Q[ x ] um polinmio numrico e (nx ) = (n
1).
n
n!
n!
x ( x 1) ( x n + 2) ( x + 1) ( x n + 1)
x
=
=
.
( n 1) !
n
n1
m
Sabemos que (m
n ) Z para todo m n pois ( n ) =n de subconjuntos
S {1, . . . , m} com |S| = n.
Ve
rs
o
1
)
(
x
(
i
1
))
n = 0 claro. Como ( xi) =
tem grau i para i N,
i!
x
os polinmios binomiais ( i ) formam uma base de Q[ x ] sobre Q e assim
podemos escrever
x
x
x
x
p( x ) = an
+ a n 1
+ + a1
+ a0
, com ai Q.
n
n1
1
0
125
x
x
an , . . . , a1 Z. Mas ento a0 = p( x ) an (nx ) an1 (n
1) a1 ( 1 )
um polinmio constante que assume valores inteiros nos inteiros, logo
a0 Z.
Ve
rs
o
Pr
el
im
in
ar
126
REFERNCIAS BIBLIOGRFICAS
in
ar
Pr
el
im
Ve
rs
o
[11] T.-Y. Lam, Lectures on modules and rings, no. 189, Springer, 1999.
[12] H. Matsumura, Commutative algebra, Benjamin/Cummings Publishing
Company Reading, Massachusetts, 1980.
[13]
[14] M. Reid, Undergraduate commutative algebra, vol. 29, Cambridge University Press, 1995.
127
ar
in
Ve
rs
o
Pr
el
im
128
NDICE REMISSIVO
in
ar
D
decomposio primria, 81
minimal, 82
dimenso
de um anel, 77, 113
divisor de zero, 4
domnio
de ideais principais, 8
de integridade, 4
integralmente fechado, 102
normal, 102
Pr
el
im
A
lgebra, 49
plana, 50
altura, 113
anis
extenso, 96
anel, 2
Artiniano, 69, 76
de funes regulares, 28
dimenso, 77, 113
de Krull, 113
graduado, 114
associado, 119
homomorfismo, 2
local, 8
Noetheriano, 69, 73
quociente, 3
aniquilador, 38
Ve
rs
o
C
cadeia, 70
comprimento, 70
de ideais primos, 77, 113
comprimento, 77, 113
cokernel, 37
componente homognea, 114
condio
de cadeia
ascendente, 67
descendente, 67
maximal, 67
minimal, 67
conjunto algbrico afim, 26
conjunto de zeros, 25
conjunto multiplicativo, 54
coprimos, 8
corpo, 4
corpo de resduos, 8
E
elemento
homogneo, 114
grau, 114
nilpotente, 9
trascendente, 109
elementos
algebricamente independentes, 109
espao afim, 26
espectro, 18
espectro maximal, 25
extenso de escalares, 47
F
fecho integral, 98, 104
fiel, 38
finita
lgebra, 96
extenso, 96
funo
aditiva, 115
de Hilbert, 119
de Hilbert-Samuel, 119
G
graduado
129
anel, 114
mdulo, 114
ar
in
K
Krull
dimenso, 113
Hauptidealsatz, 123
Teorema, 121
L
Lema
de Nakayama, 40
Principal, 121
local
propriedade, 60
localizao, 54
Exatido, 56
Propriedade Universal, 54
Pr
el
im
H
Hilbert
funo, 119
polinmio, 119
Hilbert-Samuel
funo, 119
polinmio, 120
homogneo
elemento, 114
polinmio, 108
homomorfismo, 2
de lgebras, 49
de mdulos, 36
integralmente fechado, 98
interseco
de ideais, 7
de mdulos, 37
irredutvel, 27
isomorfismo, 3
Ve
rs
o
I
ideais
interseco, 7
primos
associados, 83
embutidos, 83
isolados, 83
produto, 7
soma, 7
ideal, 3
decomponvel, 81
do conjunto algbrico, 28
gerado, 3
irredutvel, 86
p-primrio, 80
maximal, 4
primrio, 80
primo, 4
altura, 113
principal, 3
quociente, 12
integral
lgebra, 96
elemento, 96
sobre um ideal, 104
extenso, 96
fechho, 98
M
mapa
de localizao, 54
mdulo, 36
Artiniano, 67
comprimento, 70
de comprimento finito, 72
fiel, 38
finitamente gerado, 38
graduado, 114
livre, 38
Noetheriano, 67
plano, 48
quociente, 37
simples, 70
mdulos
interseco, 37
produto, 37
soma, 37
morfismo
de conjuntos algbricos, 27
130
Q
quociente, 3
de mdulo, 37
ar
Pr
el
im
P
polinmio
de Hilbert, 119
de Hilbert-Samuel, 120
homogneo, 108
polo, 118
primo, 4
produto
de mdulos, 37
tensorial, 45
produto direto de anis, 12
projeo cannica, 3
in
N
nilradical, 9
normalizao, 98, 104
R
radical
de Jacobson, 10
restrio de escalares, 47
U
unidade, 4
V
variedade algbrica, 27
Ve
rs
o
S
sequncia exata, 41
srie de composio, 70
srie de Poincar, 116
sistema de parmetros, 121
soma
de ideais, 7
de mdulos, 37
subanel, 3
subconjunto isolado, 85
submdulo, 37
T
tensor
elementar, 45
Teorema
chins dos restos, 13
da Base de Hilbert, 75
da Mudana de Bases, 51
131