U NIVERSIDADE F EDERAL DE G OIS

I NSTITUTO DE M ATEMTICA E E STATSTICA

XXIV S EMANA DO IME

Uma Introduo lgebra Homolgica

S HIRLEI S ERCONEK

Goinia
2009

Introduo

A lgebra Homolgica teve suas origens no sculo 19, com os trabalhos de Riemann (1857) e Betti (1871) sobre "nmeros homolgicos", cujo tratamento rigoroso foi
desenvolvido por Poincar em 1895. Em 1938, Hassler Whitney descobriu a construo
do produto tensorial AB para grupos abelianos (e mdulos). O conceito de sequncia exata apareceu em 1941, no abstract de "On Duality Theorems"de W. Hurewicz, publicado
no Bulletin of The American Mathematical Society. Sobre este perodo, deve-se ainda
mencionar que resolues livres foram usadas por David Hilbert em 1890, em "ber die
Theorie der Algebraichen Formen"em que ele estudou syzygies iterados de um mdulo
graduado M sobre o anel R = K[x1 , ..., xn ], K um corpo (Veja []).
Em 1956, Cartan e Eilenberg (Homological Algebra, Princeton University Press)
redirecionaram completamente esta rea. Com o uso sistemtico de funtores derivados,
definidos atravs de resolues de mdulos injetivos e projetivos, uniram todas as teorias de homologia anteriores. Vrias novas reas nasceram da "Revoluo de CartanEilenberg". S para mencionar algumas: a teoria de Grothendieck sobre "sheaf cohomology", a descoberta de anis de Gorenstein e dualidade local em teoria de anis e geometria
algbrica. Aps o lanamento deste livro e do livro Foundations of algebraic Topology de
S. Eilenberg e N. Steenrod em 1952, a nova linguagem de Teoria de Categorias passou a
ser amplamente utilizada.
Estas notas devem ser lidas juntamente com a monografia "O Teorema Syzygy
de Hilbert"de Flvio Pinto Vieira, do curso de Especializao em Matemtica,IME/2009,
escrita sob minha orientao. Muitos dos detalhes omitidos aqui, (para evitar duplicaes
desnecessrias) encontram-se na monografia mencionada.

Sumrio

Mdulos Sequncias exatas e Categorias

1.1
1.2
1.3
1.4

Homologia e Funtores Ext e Tor

2.1

2.2

Homologia e Complexos de cadeias

2.1.1

Sequncia Exata Longa de Homologia

2.1.2

Homotopia

Funtor Derivado
2.2.1

O Funtor Ext

2.2.2

O Funtor Tor

lgebras Graduadas e Sries de Hilbert

3.1
3.2

3.3

Mdulos
Sequncias exatas
Categorias
Produto Tensorial

lgebras
lgebras Graduadas
3.2.1

Mdulos Graduados

3.2.2

lgebras Tensoriais

Sries de Hilbert

O Teorema Syzygy de Hilbert

4.1

4.0.1

Presentaes e Resolues de Mdulos

4.0.2

Syzygies

Teorema Syzygy de Hilbert

Referncias Bibliogrficas

3
3
5
7
11
15
15
16
17
18
19
21
23
23
24
25
25
27
29
29
29
32
34

CAPTULO 1

Mdulos Sequncias exatas e Categorias

Neste captulo introduziremos alguns conceitos bsicos necessrios para a familiarizao com a linguagem de Teoria de Categorias, principalmente com a categoria de
R-mdulos. Mdulos sobre um anel so uma generalizao de grupos abelianos (que so
mdulos sobre Z). Nestas notas, R denotar um anel, com elemento identidade.

1.1

Mdulos

Definio 1.1 Um R-mdulo unitrio ( esquerda) um grupo abeliano M munido de

uma uma funo R M em M, (r, a) 7 ra, tal que para todo r, s R; a, b M:
(i) r(a + b) = ra + rb
(ii) (r + s)a = ra + sa
(iii) (rs)a = r(sa)
(iv) 1a = a
Se R um anel de diviso, ento um R-mdulo unitrio um R-espao vetorial
( esquerda). Usaremos o termo "R-mdulo", significando "R-mdulo esquerda". Todos
os resultados obtidos para R-mdulos esquerda, tambm so vlidos para R-mdulos
direita. Se R comutativo, fcil verificar que a todo R-mdulo M pode ser dada uma
estrutura de R-mdulo direita, definindo ar = ra, para todo r R, a M.
Exemplo 1.2 Todo grupo aditivo abeliano G um Z-mdulo unitrio, com a funo de
Z G em G dada por (n, a) 7 na.
Exemplo 1.3 Seja K um anel comutativo com elemento identidade. O anel A = Matn (K)
das matrizes n n sobre K um K-mdulo unitrio com as operaes usuais de matrizes.
Exemplo 1.4 Seja K um anel comutativo com elemento identidade. O anel de polinmios
K[x] na indeterminada x um K-mdulo unitrio.
Exemplo 1.5 Se I um ideal esquerda de um anel R, ento I um R-mdulo esquerda
onde ra (r R, a I) o produto de R. Em particular, {0} e R so R-mdulos. Alm disso,

1.1 Mdulos

como I um subgrupo aditivo de R, R/I um grupo abeliano e tambm um R-mdulo

com r(r1 + I) = rr1 + I, r, r1 R.
Exemplo 1.6 Sejam R e S anis e : R S um homomorfismo de anis. Ento, todo
S-mdulo M tambm um R-mdulo, definindo-se rx, x M, por (r)x. Dizemos que a
estrutura de R-mdulo para M dada por "pullback along ".
Definio 1.7 Sejam M e N R-mdulos. A funo : M N um R-homomorfismo (ou
homomorfismo de R-mdulos) se para todo f , g M e r R: ( f + g) = ( f ) + (g) e
(r f ) = r( f ).
Se R um anel de diviso, ento um R-homomorphimo chamado transformao
linear.
Definio 1.8 Seja : M N um R-homomorfismo. O kernel de , denotado Ker
definido como
Ker = { f M | ( f ) = 0}
e a imagem de , denotada Im
Im = {g N | (g) = f , para algum f M}
.
Exemplo 1.9 Se R um anel, a funo R[x] R[x] dada por f 7 x f um Rhomomorfismo (mas no um homomorfismo de anis).
Definio 1.10 Sejam M um R-mdulo e M 0 um subconjunto no-vazio de M. M 0 um
submdulo de M se M 0 um subgrupo aditivo de M e r f 0 M 0 , para todo r R e f 0 M 0 .
Um submdulo de um espao vetorial sobre um anel de diviso chamado um subespao.
Exemplo 1.11 Sejam M e N R-mdulos e : M N um R-homomorfismo. Ento Ker
um submdulo de M e Im um submdulo de N. Se L um submdulo de N, ento
1 (L) = { f M | ( f )b L} um submdulo de M.
Definio 1.12 Se X um subconjunto de um R-mdulo M, ento a interseco de todos
os submdulos de M que contm X chamado o submdulo gerado por X. Dizemos
tambm que span X = M.
Se X finito e X gera o mdulo N, N dito finitamente gerado. Se {Ni |i }
S
uma famlia de submdulos de M, ento o submdulo gerado por X = i Ni , chamado
a soma dos mdulos Ni .

1.2 Sequncias exatas

Definio 1.13 Um subconjunto X de um R-mdulo linearmente independente se para

distintos x1 , ..., xn X e ri R, r1 x1 + r2 x2 + ... + rn xn = 0 implica que ri = 0 para todo i.
Em caso contrrio X linearmente dependente.
Definio 1.14 Seja M um R-mdulo. Um subconjunto X de M linearmente independente
que gera M uma base de M.
Definio 1.15 Um R-mdulo M que tem uma base dito um mdulo livre.
Exemplo 1.16 Se M = Rn ento M um R-mdulo livre com base {e1 = (1, 0, . . . , 0);
e2 = (0, 1, . . . , 0); . . . ; en = (0, . . . , 1)}, chamada base cannica.
Exemplo 1.17 M = Z Z um Z Z-mdulo livre, com a multiplicao por escalar,
(n, m)(a, b) = (na, mb)
com base {(1, 1)}.
Exemplo 1.18 Seja R = k[x, y], k um corpo e seja M o conjunto de todas a solues
(x1 , x2 , x3 ) R3 da equao linear
xX1 + (y3 5)X2 + X3 = 0.

()

Ento M um R-mdulo livre com base B = {b1 = (0, 1, 5 y3 ); b2 = (1, 0, x)}.

Demonstremos esta afirmao. Seja ( f1 , f2 , f3 ) uma soluo da equao (). Ento,
f3 = x f1 + (5 y3 ) f2 = f1 b1 + f2 b2 . Logo, {b1 , b2 } um conjunto gerador de M.
Suponhamos agora que f , g R e que f b1 = gb2 , ie., (0, f , f (5 y3 ) = g(1, 0, x). Ento
g = 0 e f = 0 e B linearmente independente e uma base para o R-mdulo M.

1.2

Sequncias exatas

Definio 1.19 Considere

fi1

Mi1

fi

Mi

fi+1

uma

sequncia

/ Mi+1

fi+1

de

R-mdulos

R-homomorfismos

/ .

Dizemos que a sequncia exata em Mi se

Im fi = Ker fi+1 . Se a sequncia e exata em Mi para todo i Z, dizemos que a sequncia
exata.
Algumas observaes podem ser fcilmente provadas.
g
/N
/ 0 exata se, e somente se g um epimorfismo.
1. A sequncia M
2. A sequncia 0
fismo de mdulos.
3. A sequncia 0
fismo bijetor.
/

/N

exata se, e somente se f um monomor/0

exata se, e somente se f homomor-

1.2 Sequncias exatas

/M
/N
/L
/0
Definio 1.20 Uma sequncia exata da forma 0
chamada sequncia exata curta. Note que f um monomorfismo e g um epimorfismo.

Exemplo 1.21 Dados R-mdulos M e N temos que a sequncia

0

MN

/0

onde (a) = (a, c) e (a, c) = c uma sequncia exata. Dizemos neste caso, que a
sequncia exata curta "se decompe".
Exemplo 1.22 Dados os Zmdulos Z e Z/nZ e a sequncia:
0

Z/nZ

onde n denota a funo x 7 nx, e denota a projeo natural.

f
/ N um R-homomorfismo, ento M/Ker f chamado a coimagem
Se M
de f e N/Im f chamado o cokernel de f . So denotados respectivamente, Coim f
f
/N g /L
/ 0 exata, ento Coker f = B/Im f =
e Coker f . Tambm, se M
B/Ker g = Coim g
= C.
Dado um R-homomorfismo f : M N podemos construir uma sequncia exata
como segue:

Teorema 1.23 1. Para todo R-homomorfismo f : M N, temos uma sequncia exata

0

Ker f

/ Coker

0,

onde Ker f M a funo incluso e N Coker f = N/Im f o epimorfismo natural.

2. Se N M um submdulo de um R-mdulo M, ento temos uma sequncia
exata
/
/M
/ 0,
/N
M/N
0
onde N M a funo incluso e o epimorfismo natural.


Demontrao. Exerccio.
Uma generalizao de mdulos livres so os mdulos projetivos.
Definio 1.24 Um R-mdulo P chamado projetivo se dado o diagrama
P
M

1.3 Categorias

existe um R-homomorfismo g : P M tal que

g ~~~
~

~~
~~~

P


comutativo.
Em outras palavras, dado um epimorfismo p : M N, ento o homomorfismo
f : P N pode ser fatorado como f = pg para algum g : P M.
Teorema 1.25 Um R-mdulo P projetivo se e somente se existe um R-mdulo livre F e
L
um R-mdulo K tais que F = K P.


Demontrao. Veja [H].

Exemplo 1.26 Se R = Z6 , ento Z2 e Z3 so Z6 -mdulos e existe um Z6 -isomorfismo

L
Z6
= Z2 Z3 . Ento, Z2 e Z3 so Z6 -mdulos projetivos que no so Z6 -mdulos livres.
Uma outra caracterizao de mdulos projetivos dada pelo
Teorema 1.27 As seguintes condies para um R-mdulo P so equivalentes:
(i) P projetivo;
(ii) Se : B C um epimorfismo de R-mdulos ento : homR (P, B)
homR (P,C) um epimorfismo de grupos abelianos;
(iii) Se 0

/A

/ homR (P, A)
mdulos, ento 0
quncia exata de grupos abelianos.

Demontrao. Veja [19].

1.3

/C

/0

uma sequncia exata curta de R-

homR (P, B)

/ homR (P,C)

0 uma se-

Categorias

Definio 1.28 Uma categoria uma classe C de objetos (denotados A,B,C,. . . ) juntamente com:
(i) uma classe de conjuntos disjuntos, denotados por hom(A, B), um para cada par de
objetos em C ; (um elemento f de hom(A, B) chamado um morfismo de A em B e

1.3 Categorias

denotado por f : A B);

(ii) para cada terna (A, B,C) de objetos de C uma funo
hom(B,C) hom(A, B) hom(A,C);
(para morfismos f : A B, g : B C, esta funo escrita (g, f ) 7 g f e o morfismo
g f : A C chamado a composio de f e g); todos sujeitos aos dois axiomas:
(I) Associatividade. Se f : A B, g : B C, h : C D so morfismos de C ,
ento h (g f ) = (h g) f .
(II)Identidade. Para cada objeto de C existe um morfismo 1B : B B tal que para todo
f : A B, g : B C,
1B f = f e g 1B = g.
Exemplo 1.29 Seja R-mod a categoria cujos objetos so todos os R-mdulos esquerda;
hom(A, B) o conjunto de todos os R-homomorfismos f : A B. A categoria mod-R de
todos R-mdulos direita definida similarmente.
Exemplo 1.30 . Seja C uma categoria. Definimos a categoria D cujos objetos so todos
os morfismos de C . Se f : A B e g : C D so morfismos de C , ento hom( f , g)
consiste de todos os pares (, ), onde : A B, : B D so morfismos de C , tais
que o seguinte diagrama comutativo:
A

B


/C

Em uma categoria C um morfismo f : A B uma equivalncia se existe em C

um morfismo g : B A tal que g f = 1A e f g = 1B . A composio de duas equivalncia,
uma equivalncia. Se f : A B uma equivalncia, A e B so ditos equivalentes.
Definio 1.31 Uma categoria concreta uma categoria C juntamente com uma funo
que associa a cada objeto A de C um conjunto (A) (chamado o conjunto subjacente
de A), de modo que:
(i) cada morfismo A B de C uma funo do conjunto subjacente
(A) (B);
(ii) o morfismo identidade de cada objeto A de C a funo identidade no
conjunto subjacente (A);
(iii) a composio de morfismos em C coincide com a composio de funes
nos conjuntos subjacentes;

1.3 Categorias

Exemplo 1.32 A categoria de grupos G, com a funo que associa a cada grupo seu
conjunto subjacente, uma categoria concreta.
Exemplo 1.33 Um grupo multiplicativo G pode ser considerado como uma categoria
com um objeto G. Considere hom(G, G) o conjunto de elementos de G; uma operao
binria em G dada pela composio de morfismos. Se a funo associa ao grupo G o
usual conjunto subjacente G, ento esta categoria no uma categoria concreta.
Definio 1.34 Sejam C e D categorias. Um funtor covariante T : C D, um par de
funes (tambm denotadas por T ) que:
(i) Se A ob j(C ), ento T (A) ob j(D);
0
0
(ii) Se f : A A um morfismo em C , ento T ( f ) : T (A) T (A ) um
morfismo em D;
(iii) T (1A ) = 1T (A) para todo morfismo 1T (A) de C );
(iv) T (g f ) = T (g) T ( f ), para todo f , g C , cuja composio est definida.
Exemplo 1.35 Seja M um R-mdulo fixado. Para cada R-mdulo N, seja T (N) =
homR (M, N). Ento, T um funtor covariante da categoria R-mod na categoria de grupos
abelianos Ab. (Veja [19]).
Ao lidar com funtores entre categorias de mdulos (para possivelmente anis diferentes),
estamos interessados principalmente nos funtores T que so aditivos, no sentido que para
um par de mdulos (M, n), a funo f 7 T ( f ) de hom(M, N) em hom(T (M), T (N)
um homomorfismo de grupos. Para simplificar a notao, usaremos T M ao invs de
T (M). Sempre assumiremos, a menos que estabeleamos o contrrio, que funtores entre
categorias de mdulos so aditivos.
Definio 1.36 Sejam R e S anis. Um funtor T de R-mod em S-mod
dito exato se leva sequncias exatas curtas em sequncias exatas cur

/B
/C
/0
/A
exata em R-mod, ento
tas,i.e., se
0
0

/ TA

T ()

/ TB

T ()

/A
Teorema 1.37 Seja 0
to, para cada R-mdulo M

/0

TC

homR (M, A)

exata em S-mod.

/C

uma sequncia exata de R-mdulos. En-

/ homR (M, B)

homR (M,C)

uma sequncia exata de grupos abelianos.Isto , o funtor hom(M, ) de R-mod em

Z-mod exato esquerda.

1.3 Categorias

10

Demontrao. Veja [19].


f

/B
/0
/ A1
/ A2
Definio 1.38 A sequncia exata curta de R-mdulos 0
uma sequncia exata que se decompe se isomorfa (com funes identidade em A1
1
/ 0 ; em particular
/ A1
/ A1 A2 2 / A2
e A2 ) sequncia exata curta 0
temos, B
= A1 A2 .
/

Teorema 1.39 A sequncia 0

R-mdulos se e somente se
0

/ homR (M, A)

/C

homR (M, B)

0 uma sequncia exata de

homR (M,C)

(1-1)

uma sequncia exata de grupos abelianos, que se decompe, para cada R-mdulo M.
Demontrao. Pela definio de sequncia exata que se decompe, existe um homomorfismo f de A em B tal que f = 1A , e temos o homomorfismo
f : homR (D, A) homR (D, B)
tal que f = 1homR (A,D) , consequentemente um epimorfismo, e a sequncia (1-1)
uma sequncia exata de grupos abelianos pelo teorema 1.37, logo um sequncia exata
que se decompe.
Reciprocamente, se M = A e f de B em A tal que 1A = ( f ) = f , ento
um R-monomorfismo, e 0
decompe pelo teorema 1.37.

/C
/

0 uma sequncia exata que se



Definio 1.40 Um objeto I em uma categoria C dito universal (ou inicial) se para
cada objeto C de C existe um e somente um morfismo de I em C. Um objeto T de C
couniversal (ou terminal) se para cada objeto C de C existe um e somente um morfismo
de C em T .
Definio 1.41 Sejam F um objeto em uma categoria concreta C , X um conjunto no
vazio, e : X F uma funo (de conjuntos). F livre sobre o conjunto X se para todo
objeto A de C e toda funo (de conjuntos) f : X A, existe um nico morfismo de C , f
: F A, tal que f = f (como uma funo de conjuntos X A). A definio implica que
o diagrama comuta:
X?
?

??
??
?



f


/F


1.4 Produto Tensorial

11

Objetos livres (grupos abelianos livres) sobre um conjunto X, existem na categoria (concreta) Ab.Veja[F].

1.4

Produto Tensorial

O produto tensorial A R B de mdulos A mod-R e B R-mod sobre um

anel R um grupo abeliano que tem papel importante no estudo de lgebra multilinear.
freqentemente til olhar o produto tensorial A R B como um objeto universal em
uma certa categoria. Por outro lado, tambm conveniente considerar A R B como uma
espcie de noo dual para homR (A, B).
Se A mod-R e B R-mod e C um grupo abeliano aditivo, ento uma funo
bi-aditiva linear de A B em C uma funo f : A B C tal que se a, ai A; b, bi B
erR:
f (a1 + a2 , b) = f (a1 , b) + f (a2 , b)

(1-2)

f (a, b1 + b2 ) = f (a, b1 ) + f (a2 , b)

(1-3)

f (ra, b) = r f (a, b) = f (a, rb)

(1-4)

Fixados A e B, consideremos a categoria M (A, B) onde os objetos so funes

bi-aditivas lineres em A B. Pela definio, um morfismo em M (A, B) da funo biaditiva linear f : A B C na funo bi-aditiva linear g : A B D um homomorfismo
de grupos h : C D tal que o diagrama abaixo comuta:
y< C

f yyy
y

yy
yy

A BE

EE
EE
E
g EEE
" 

Ento, M (A, B) uma categoria, onde 1C o morfismo identidade de f em f , e

h uma equivalncia em M (A, B) se e somente se h um isomorfismo de grupos.
Definio 1.42 Sejam A mod-R e B R-mod. Seja F o grupo abeliano livre no
conjunto A B. Seja H o subgrupo de F gerado por todos os elementos da seguinte
forma (para todo a, a0 A; b, b0 B; r R)
(i) (a + a0 , b) (a, b) (a0 , b);
(ii) (a, b + b0 ) (a, b) (a, b0 );
(iii) (ar, b) (a, rb)

1.4 Produto Tensorial

12

O grupo quociente F/H chamado o produto tensorial de A e B; denotado

por A R B (ou simplesmente A B se R=Z). A classe lateral (a, b) + H de elementos
(a, b) F ser denotada por a b; a classe lateral de (0, 0) denotada por 0.
Como F gerado pelo conjunto A B, o quociente F/H = A R B gerado por
todos os elementos da forma a b, com a A, b B.
r

Um elemento de F uma soma

ni(ai, bi) (ni Z, ai A, bi B). Ento, a

i=1
r

classe lateral em A R B = F/H da forma

ni(ai bi).

i=1

A definio 1.42 implica que os geradores ab de AR B satisfazem as seguintes

relaes (para todo a, ai A, b, bi B, e r R):
(a1 + a2 ) b = a1 b + a2 b;

(1-5)

a (b1 + b2 ) = a b1 + a b2 ;

(1-6)

ar b = a rb

(1-7)

Dados A mod-R e B R-mod, a funo i : A B A R B dada

por (a, b) 7 a b uma funo bi-aditiva linear. A funo i chamada a
a funo bi-aditiva linear cannica.
Teorema 1.43 Sejam A mod-R, B R-mod e C um grupo abeliano. Se g : A B C
uma funo bi-aditiva linear, ento existe um nico homomorfismo g : A R B C tal
que gi
= g, onde i : A B A R B a funo bi-aditiva linear cannica. A R B
univocamente determinado a menos de isomorfismos, por esta propriedade. Em outras
palavras i : A B A R B universal na categoria M (A, B) de todas as funes biaditivas lineares em A B. O teorema diz que o seguinte diagrama comuta:
A BJ

JJ
JJ
JJ
f JJ%

x
x g

/
x< C

A R B

Demontrao. Veja [19].

Corolrio 1.44 Se A, A0 mod-R, B, B0 mod-R e f : A A0 , g : B B0 so Rhomomorfismos, ento existe um nico homomorfismo de grupos A R B A0 R B0 tal
que a b 7 f (a) f (b) para todo a A, b B.
Demontrao. A aplicao (a, b) 7 f (a) g(b) uma funo bi-aditiva linear
h : A B C = A0 R B0 . Pelo teorema 1.43 existe um nico homomorfismo

1.4 Produto Tensorial

13

b) = hi(a,

h : A R B A0 R B0 tal que h(a

b) = h(a, b) = f (a) g(b) para todo
a A, b B.


Teorema 1.45 Sejam R e S anis e A mod-R, BinR-mod. Suponhamos tambm que

A S-mod. Ento, A R B um S-mdulo tal que s(a b) = sa b para todo s S,
a A, b B.
Demontrao.
Para cada s S, a funo A B A R B dada por (a, b) 7 sa b R-bi-aditiva
linear, e portanto existe um nico homomorfismo de grupos s : A R B A R B tal
n

que s (a b) = sa b. Para cada elemento u = ai bi A R B definimos su como o

n

i=1

elemento s (u) = s (ai bi ) = sai bi . Como s um homomorfismo de grupos,

i=1

i=1

a ao de S bem definida e A R B um S-mdulo a esquerda.

Um caso especial do teorema 1.45 ocorre quando R um anel comutativo e cada

R-mdulo A um R bi-mdulo com ra = ar (r R, a A). Neste caso, A R B tambm
um R bi-mdulo com
r(a b) = ra b = ar b = a rb = a br = (a b)r
para todo r R, a A, b B.
Teorema 1.46 Se A, B,C so mdulos sobre um anel comutativo K e g : A B C uma
funo bilinear, ento existe um nico K-homomorfismo g : A R B C tal que gi
= g,
onde i : A B A K B a funo bilinear cannica. O mdulo A K B unvocamente
determinado, a menos de isomorfismos, por esta propriedade.
O teorema diz que o diagrama comutativo:
A BJ

JJ
JJ
JJ
i JJ%

x
x g

/
x< C

A R B

Definio 1.47 Sejam C e D categorias. Um funtor contravariante T : C D, um

par de funes (tambm denotadas por T ) que:
(i) Se A ob j(C ), ento T (A) ob j(D);
0
0
(ii) Se f : A A um morfismo em C , ento T ( f ) : T (A ) T (A) um
morfismo em D;

1.4 Produto Tensorial

14

(iii) T (1A ) = 1T (A) para todo morfismo 1T (A) de C );

(iv) T (g f ) = T ( f ) T (g), para todo f , g C , cuja composio est definida.
Exemplo 1.48 Fixado M mod-R, ento MR : R-mod Ab dada por (MR )(N) =
M R N), para todo N R-mod, um funtor contravariante de R-mod em Ab.
f

/B
Proposio 1.49 Se A
esquerda e M mod-R, ento

M R A

1M f

/C

M R B

/0

uma sequncia exata de R-mdulos

1M g

/ M R C

uma sequncia exata de grupos abelianos.

Demontrao. Veja [19].

CAPTULO 2

Homologia e Funtores Ext e Tor

Neste captulo, construiremos o funtor derivado esquerda do funtor (MR , )

chamado Torn (M, ) e o funtor derivado direita do funtor hom(, N) que ser denotado
por Ext n (, N).

2.1

Homologia e Complexos de cadeias

Os conceitos bsicos de lgebra homolgica so os de "complexos de cadeias"e

de "homomorfismos de complexos de cadeias".
Definio 2.1 Um complexo de cadeias (C,d) para o anel R um conjunto Z-indexado
C = {Ci } de R-mdulos, juntamente com um conjunto indexado d = {di | i Z} de Rhomomorfismos di : Ci Ci1 tais que di1 di = 0, para todo i.
Escrevemos
C :

/ Ci+1

di+1

/ Ci

di /
Ci1

Cada R-homomorfismo di chamado diferencial de C

Exemplo 2.2 Um R-mdulo M um complexo de cadeias em que Ci = M, para todo
i Z, e di : Ci Ci1 identicamente nulo.

/ M0 / M
/ M 00
/0
Exemplo 2.3 Uma sequncia exata curta de R-mdulos 0
define um complexo de cadeias para R em que Ci = 0, i 0, C1 = M 00 , C2 = M, C3 = M 0 ,
C j = 0 se j > 3, d2 = , d3 = , d j = 0 se j 6= 2, 3.

Definio 2.4 Se (C,d) e (C,d) so complexos de cadeias para R, um homomorfismo de

C em C um conjunto indexado = {i | i Z} de R-homomorfismos i : Ci Ci0 tal
que o diagrama comuta
Ci
i

di

Ci0

di0

/ Ci1

/ C0

i1

i1

(2-1)

2.1 Homologia e Complexos de cadeias

16

para cada i. Ou seja, d = d0 .

Denotaremos por R-comp a categoria dos complexos de cadeias para R e por abuso de
linguagem, usaremos o termo "complexo", significando "complexo de cadeias".
Definio 2.5 Um complexo (C,d) chamado positivo se Ci = 0, para i < 0 e negativo
(ou complexo de cocadeias), se Ci = 0, para i > 0.
Definiremos agora, para cada i Z, um funtor, o i-simo funtor homomolgico, da
categoria R-comp na categoria R-mod.
Sejam (C,d) um complexo de cadeias e Zi (C) = Ker di . Ento, Zi = Zi (C) um
submdulo de Ci . Seus elementos so chamados i-ciclos. Como di di+1 = 0, a imagem
di+1Ci+1 que denotaremos por Bi = Bi (C), um submdulo de Zi . Seus elementos so
chamados i-bordos.
Definio 2.6 O mdulo Hi = Hi (C) = Zi /Bi chamado o i-simo mdulo de homologia
de (C,d).
di+1

i /
/ Ci
Ci1 exata em Ci se e somente se Hi (C) = 0. Logo,
Evidentemente, Ci+1
a sequncia infinita de homomorfismos

Ci1 o

Ci+1 o

Ci o

exata se e somente se Hi (C) = 0 para todo i. Os mdulos de homologia medem o grau

de desvio de um complexo ser exato. Uma sequncia exata frequentemente chamada
complexo acclico.
Definio 2.7 Seja M um R-mdulo. Um complexo sobre M um complexo positivo
C=(C,d) juntamente com um R-homomorfismo : C0 M, chamado um homomorfismo
de aumento, tal que d1 = 0. Assim, temos a sequncia
/ Cn

dn /
Cn1

/ C1

d1

/ C0

(2-2)

onde o produto de dois homomorfismos sucessivos 0. O complexo C, sobre M

chamado uma resoluo de M se (2-2) exata. Isto equivalente a Hi (C) = 0 para i > 0
e H0 (C) = C0 /d1C1 = C0 /Ker
= M. Um complexo C, sobre M chamado projetivo se
cada Ci projetivo.

2.1.1

Sequncia Exata Longa de Homologia

Iremos mostrar uma importante ferramenta da lgebra homlogica: a sequncia

exata longa de homologia que surge de uma sequncia exata curta de complexos.

2.1 Homologia e Complexos de cadeias

17

Definio 2.8 Uma sequncia exata curta de complexos uma sequncia de de complexos C
i Z.

/ C0

C tal que 0

i /
Ci

/0

/ C00
i

exata para todo

Logo, i injetivo, i sobrejetivo, e ker i = im i. Para simplificar a notao diremos

/ C
/C
/ C
/ 0 exata". Temos a comutatividade do diagrama
"0

i+1

/ C0

/ Ci+1

i+1

0
di+1

di+1

/ C0


/ Ci1

i1

i1

0
di1

/ C0

00
di+1


/ Ci2

i2

di00

i1


/ C00

/0

i1

00
di1

di1

i2


/ C00
i

di

/ C0

/0

/ C00

i+1

/ Ci

di0

i+1

i2


/ C00

/0

i2

onde todas as sequncias horizontais so exatas. Temos:

/ C
/ 0 uma sequncia exata de com/C
/ C
Teorema 2.9 Seja 0
plexos. Ento para cada i Z existe um homomorfismo de mdulos i : Hi (C)
Hi1 (C) tal que a sequncia infinita de mdulos de homologia

Hi (C)

ei

/ Hi (C)

e
i

Hi (C)

i /

Hi1 (C)

e i1

Hi1 (C)

(2-3)

exata.


Demontrao. Veja [F].

2.1.2

Homotopia

Existe uma importante relao entre homomorfismos de complexos que garante

que os correspondentes homomorfismos dos mdulos de homologia so idnticos.
Definio 2.10 Sejam e homomorfismos de um complexo (C,d) em um complexo
(C,d). Dizemos que homotpico a se existe um conjunto indexado S = {si } de
0 , i Z, tal que
homomorfismos de mdulos si : Ci Ci+1
0
i i = di+1
si + si1 di .

2.2 Funtor Derivado

18

Se e so homotpicos, denotaremos .

2.2

Funtor Derivado

Definiremos agora os funtores derivados de um funtor aditivo F da categoria

R-mod na a categoria Ab.
Seja M um R-mdulo e seja
Mo

0o

d1

C0 o

C1 o

d2

uma resoluo projetiva de M. Aplicando o funtor F obtemos uma sequncia de de grupos

abelianos
0o

FM o

F()

FC0 o

F(d1 )

FC1 o

F(d2 )

(2-4)

Como F(0) = 0 para o homomorfismo zero de um mdulo em outro e como F

multiplicativo, o produto de homomorfismos sucessivos em (2-4) 0 e ento FC = {FCi },
F(d) = {F(di )} juntamente com o homomorfismo de aumento F um complexo
positivo sobre FM. Se F exato, ento (2-4) exata e os grupos de homologia Hi (FC) = 0
para i 0. Definamos
Ln FM = Hn (FC),
n 0.
(2-5)
Pela definio, temos
H0 (FC) = FC0 /F(d1 )FC1 .

(2-6)

Seja M 0 um outro R-mdulo e suponhamos que tenhamos escolhido uma uma

resoluo projetiva de M 0
0o

M0 o

C00 o

d10

C10

da qual obtemos os grupos abelianos Hn (FC), n 0.

Seja um R-homomorfismo de M em M 0 . Ento temos um homomorfismo do
complexo (C,d) em (C,d) tal que = 0 0 . Chamamos um homomorfismo sobre o
dado homomorfismo . Como F um funtor aditivo, temos que o homomorfismo F()
do complexo FC no complexo FC tal que F()F() = F(0 )F(0 ). Deste modo, temos

2.2 Funtor Derivado

19

a comutatividade do diagrama,
0o

FM o
F()

0o

F()

FC0 o
F(0 )

FM 0 o

FC1 o
F(1 )

FC00 o

F(0 )

FC10 o

F(d10 )

^
e temos o homomorfismo F(
n ) de Hn (FC) em Hn (FC). Este homomorfismo independe
da escolha de . Se um outro homomorfismo de C em C sobre , homotpico a .
0 , n 0, tais que = d 0 s +s
Ento, existem homomorfismos sn : Cn Cn+1
n
n
n1 dn .
n+1 n
Como F aditivo,
0
F(n ) F(n ) = F(dn+1
)F(sn ) + F(sn1 )F(dn ).

^
^
Logo, F() F() e F(
n ) = F(n ).
^
Definimos Ln F() = F(
n ).
Assim um homomorfismo : M M 0 determina um homomorfismo Ln F() :
Hn (FC) Hn (FC).
No difcil verificar que Ln F : R-mod Ab definida por
(Ln F)M = Hn (FC), M R-mod
0
^
(Ln F)() = F(
n ), homR (M, M )

um funtor aditivo.
Definio 2.11 O funtor Ln F chamado o n-simo funtor derivado esquerda do funtor
F.
Nas prximas sees iremos destacar dois exemplos importantes de funtores derivados.

2.2.1

O Funtor Ext

Consideremos o funtor contravariante (hom(, N)) definido por um mdulo fixo

N de R-mod em Ab. Este funtor ento um funtor covariante de R-modop em Ab.
Como todas as flechas so revertidas ao se passar para a categoria oposta, os papis de
mdulos injetivos e projetivos precisam ser trocados. Assim, para definirmos o funtor
derivado direita de um funtor contravariante G de R-mod em Ab, comeamos com
uma resoluo projetiva 0 o
Obtemos ento, a sequncia 0

Mo
/

GM

C0 o

d1

G()

/ GC0

C1 o

d2

G(d1 )

de um dado mdulo M.
GC1

e o complexo de

2.2 Funtor Derivado

20

cocadeias (GC, G(d)) onde GC = {GCi } e G(d) = {G(di )}. Definimos

(Rn G)M = H n (GC)
. Em particular, temos (R0 G)M = Ker(GC0 GC1 ). Para cada homR (M 0 , M) obtemos
um homomorfismo (Rn G)() : (Rn G)M (Rn G)M 0 e consequentemente o n-simo
funtor derivado direita Rn G de G, que aditivo e contravariante.
Correspondendo a uma sequncia exata curta 0 M 0 M M 00 0 temos a
sequncia exata longa de cohomologia
0 R0 GM 00 R0 GM R0 GM 0 R1 GM 00 R1 GM R1 GM 0

(2-7)

onde Rn GM 0 Rn+1 GM 00 dada por um homomorfismo conector. ( A prova idntica a

do teorema 2.9).
Consideremos agora, G = hom(, N) o funtor contravariante determinado por
um R-mdulo fixo N. Se M R-mod, ento hom(, N)M = homR (M, N) e se
homR (M, M 0 ), hom(, N)() a funo : homR (M 0 , N) homR (M, N) dada por 7
. Temos que hom(, N)M um grupo abeliano e um homomorfismo de grupos.
Dai hom(, N) aditivo. Como (1 2 ) = 2 1 , o funtor hom(, N) contravariante.
Recorde que este funtor exato esquerda, i.e., se M 0
ento 0

hom(M 00 , N)

hom(M, N)

/0

M 00

exata,

hom(M 0 , N) exata.

Definio 2.12 O n-simo funtor derivado direita de hom(, N) denotado por

Ext n (, N).
Resumindo, o funtor Ext n (, N) : R-mod Ab definido por
M
7
n
Ext (M, N).
Se C, uma resoluo projetiva para M, ento a exatido de
/ C0 / M
/ 0 implica a exatido da sequncia
C1

/ hom(M, N)
/ hom(C0 , N)
/ hom(C1 , N) . Como Ext 0 (M, N) o kernel do
0
homomorfismo de hom(C0 , N) em hom(C1 , N) claro que, sob a funo ,

Ext 0 (M, N)
= hom(M, N).
/

De uma sequncia exata curta 0

obtemos a sequncia exata longa
0

Ext 0 (M 00 , N)
/

M0

/M

(2-8)
/

M 00

Ext 0 (M, N)

/ Ext 0 (M 0 , N)

Ext 1 (M 00 , N)

Ext 1 (M, N)

0,

(2-9)

2.2 Funtor Derivado

21

Se usarmos o isomorfismo 2-8 obtemos uma imerso da sequncia exata

0 hom(M 00 , N) hom(M, N) hom(M 0 , N) em uma sequncia exata longa
0

hom(M 00 , N)
/

hom(M, N)

Ext 1 (M 00 , N)

hom(M 0 , N)
/

Ext 1 (M, N)

(2-10)

Teorema 2.13 As seguintes condies sobre um R-mdulo M so equivalentes:

(1) M projetivo.
(2) Ext n (M, N) = 0 para todo n 1 e todo R-mdulo N.
(3) Ext 1 (M, N) = 0 para todo R-mdulo N.
Demontrao. Provaremos apenas que (1) implica (2). Para as demais impli1

caes veja [F]. Se M projetivo, ento 0 o

C0 = M o
Mo
0o
n
uma resoluo projetiva. O correspondente complexo para calcular Ext (M, N)
0 hom(M, N) hom(M, N) 0 . Logo, Ext n (M, N) = 0 para todo n 1.


2.2.2

O Funtor Tor

Se M mod-R ento MR (para simplificar a notao M) o funtor de R-mod

0
em Ab que associa a um R-mdulo N o grupo M R N e a um elemento de homR (N, N )
o homomorfismo de grupos abelianos 1 .
0
00
O funtor MR aditivo e exato direita,i.e., se N N N 0 exata, ento
0
00
M N M N M N 0 exata.
Definio 2.14 O n-simo funtor derivado esquerda do funtor M denotado por
Torn (M, ).
Ento, o funtor Torn (, N) : R-mod Ab dado por M 7 Torn (M, N).
Para obtermos Torn (M, N) tomamos uma projeo resolutiva de N : 0 N C0 . . .
e construimos o complexo de cadeias M C = {M Ci }. Ento, Torn (M, N) o n-simo
grupo de homologia Hn (M C) de M C. Por definio,
Tor0 (M, N) = (M C0 )/im(M C1 ).
Como M exato direita, M C1 M C0 M N 0 exata e
M N ' (M C0 )/im(M C1 ) = Tor0 (M, N).

2.2 Funtor Derivado

22

O isomorfismo Tor0 (M, N) ' M N e a sequncia exata longa de homologia

implicam que se 0 N 0 N N 00 0 exata, ento
0 M N 00 M N M N 0 Tor1 (M, N 00 ) Tor1 (M, N)
exata. Existem mdulos que surgem de produtos tensoriais, do mesmo modo que
mdulos projetivos e injetivos surgem de hom. O estudo do kernel de M R N 0 M N
est intimamente ligado ao funtor Tor.
Definio 2.15 Seja M mod-R. Se a exatido da sequncia de R-mdulos
0

/A

/C
/

0 implicar a exatido da sequncia

M R A

1M f

M R B

1M g

/ M R C

0,

dizemos que M um mdulo plano.

Em outras palavras, M mod-R um mdulo plano se e somente se o funtor
MR exato.
Em virtude do teorema 1.49 M sempre exato direita. Ento, M um mdulo
plano se e somente se para todo R-monomorfismo N 0
de Z-mdulos, M N 0

1 f

/N

, temos o monomorfismo

M N.

Teorema 2.16 Mdulos projetivos so planos.

Demontrao. Exerccio.

Teorema 2.17 As seguintes condies sobre um mdulo M mod-R so equivalentes:

(1) M plano.
(2) Torn (M, N) = 0 para todo n 1 e todo R-mdulo N.
(3) Tor1 (M, N) = 0 para todo R-mdulo N.
Demontrao. Provaremos apenas que (1) implica (2). Para as demais implicaes veja
[J]. Se M plano e 0 N C0 C1 uma resoluo projetiva de N, ento
0 M N M C0 M C1 exata. Logo, Torn (M, N) = 0 para todo n 1.


CAPTULO 3

lgebras Graduadas e Sries de Hilbert

Nesta seo, K denotar um anel comutativo com elemento identidade.

3.1

lgebras

Definio 3.1 Uma K-lgebra (associativa) A um anel tal que:

(i)(A , +) K-mdulo ( esquerda) unitrio.
(ii)k(ab) = (ka)b = a(kb) para todo k K e a, b A
Uma K-lgebra A que, como anel, um anel de diviso, chamada lgebra de diviso.
Uma K-lgebra que um K-espao vetorial de dimenso finita chamada
K-lgebra de dimenso finita.
Exemplo 3.2 O anel de polinmios K[x1 , x2 , , xn ] nas indeterminadas xi , i = 1, , n,
uma K-lgebra A com as operaes usuais de polinmios.
Exemplo 3.3 O anel Matn (K) das matrizes n n sobre K uma K-lgebra A com as
operaes usuais de matrizes.
Exemplo 3.4 Se F um corpo e V um F-espao vetorial, ento o anel de endomorfismos
homK (V,V ) uma F-lgebra.
Exemplo 3.5 Seja G grupo multiplicativo. Ento o anel de grupo K(G) uma K-lgebra
com a estrutura de K-mdulo dada por:
k( ri gi ) = (kri )gi

(k, ri K; Gi G)

K(G) chamada a lgebra de grupo de G sobre K. Recorde que K(G) o grupo aditivo
abeliano gG K ( uma cpia de K, para cada g G). Um elemento x = {kg }gG de K(G)
tem somente um nmero finito de coordenadas no nulas, digamos kg1 , , kgn , gi G.

3.2 lgebras Graduadas

24

Denotamos x pela soma formal kg1 + kg2 + + kgn = ni=1 kgi gi . A adio em K(G)
dada por
n

kgi gi + lgi gi = (kgi + lgi )gi,

i=1

i=1

i=1

inserindo coeficientes nulos, se necessrio, para que as duas somas formais involvam o
mesmo nmero de somandos. A multiplicao em K(G) definida por
n

( ki gi )( l j g j ) =
i=1

j=1

(kil j )(gig j )

i=1 j=1

Especializando a teoria de produto tensorial ao caso em que R = K um anel

comutativo com elemento identidade, podemos dar uma definio alternativa de uma Klgebra. Como o produto tensorial sobre K, simplificaremos a notao.
Definio 3.6 Uma K-lgebra (associativa) uma terna (A ,,) onde A um K-mdulo
esquerda unitrio, umK-homomorfismo de A K A em A e uma Khomomorfismo de K em A tal que os seguintes diagramas so comutativos
A A A


1A

I1A

A A

A A

1A

A A
K A

/A o


1A

/A o

A
A K


1A I

A A

bastante educativo verificar que ambas as definies so equivalentes.

Definio 3.7 Sejam A , B K-lgebras.
(i) Uma subalgebra de A um subanel de A que um K-submdulo de A .
(ii)Um ideal da lgebra A ( direita, esquerda), um ideal do anel A (
direita, esquerda), que tambm um K-submdulo de A .
(iii) Um homomorfismo de K-lgebras f : A B um homomorfismo de aneis
que tambm um homomorfismo de K-mdulos.

3.2

lgebras Graduadas

Definio 3.8 Uma K-lgebra A uma K-lgebra graduada se existem K-submdulos

A p , para p 0, tais que
(i) A = A p ;
p0

3.2 lgebras Graduadas

25

(ii) Para todo p, q 0, se x A p e y A q , ento xy A p+q ; isto ,

A p A q A p+q .
Um elemento x A p chamado homogneo de grau p.
Observe que 0 homogneo em qualquer grau e o produto de elementos homogneos homogneo.
Exemplo 3.9 O anel de polinmios A = K[x] uma K-lgebra graduada se definimos
A p = {rx p : r K}.
Os elementos homogneos so os monmios (incluindo 0.)
Exemplo 3.10 O anel de polinmios A = K[x1 , , xn ] uma K-lgebra graduada se
definimos
A p = {kx1 e1 x2 e2 xn en : k K e ei = p};
isto , A p consiste de todos os monmios de grau total p.
Definio 3.11 Se A e B so K-lgebras graduadas, ento um K -homomorfismo de
K-lgebras f : A B uma funo graduada se f (A p ) B p para todo p 0.
fcil ver que todas as K-lgebras graduadas e funes graduadas formam uma
categoria, que denotaremos por GrK Alg.

3.2.1

Mdulos Graduados

Definio 3.12 Se R um anel graduado, graduado pelos subgrupos Ri do grupo aditivo

(R = R0 R1 e Ri R j Ri+ j ), ento um R-mdulo M graduado pelos subgrupos
M (i) , i = 1, 2, . . ., de seu grupo aditivo se:
(i) M = M 0 M 1 M 2
(ii) Ri M j M i+ j para todo i, j.
Os elementos de M i so chamados homogneos de grau i.

3.2.2

lgebras Tensoriais

Construiremos um importante exemplo de lgebra graduada, a lgebra tensorial

definida por K-mdulo M. Novamente, simplificaremos a notao do produto tensorial
N
N
(i.e.,
significa K ).

3.2 lgebras Graduadas

26

Definio 3.13 Seja M um K-mdulo. Definimos:

T 0 (M) = K
T 1 (M) = M
T P (M) = M ... M (p vezes), se p 2.
Proposio 3.14 Se M um K-mdulo, ento existe uma K-lgebra graduada
T (M) =

T p(M)

p0

com a ao de k K em T q (M) dada por

k(y1 ... yq ) = (ky1 ) y2 ... yq = (y1 ... yq )k,
e com a multiplicao T p (M) T q (M) T p+q(M) para p, q 1, dada por
(x1 x p , y1 yq ) 7 x1 x p y1 yq .
Demontrao. Primeiramente definimos o produto de dois elementos homogneos pelas
frmulas do enunciado.A multiplicao : T (M) T (M) T (M) ento dada por
: ( x p , yq ) 7 x p yq
p

p,q

onde x p T p (M) yq e T q (M). A multiplicao associativa por que no so necessrios

parnteses na descrio de geradores m1 m p de T p (M), e a lei distributiva se verifica
porque que a multiplicao K- bilinear. Finalmente, 1 K = T 0 (M) a identidade,
cada elemento de K comuta com todo elemento de T (M), e T p (M)T q (M) T p+q (M).
Logo, T (M) uma K-lgebra graduada.


Definio 3.15 Se M um K-mdulo, ento T (M) chamada a lgebra tensorial sobre

M.
Definio 3.16 Se X um subconjunto de uma K-lgebra F , ento F uma
K-lgebra livre com base X se, para cada K-lgebra A e para cada funo : X A ,
e com
e(x) = (x), para todo x X. Em
existe um nico homomorfismo de K-lgebras
outras palavras, o seguinte diagrama comuta, onde i : X F a incluso.
FO @
i

e
@
@

@
/A

3.3 Sries de Hilbert

27

Neste prximo teorema consideraremos a K-lgebra graduada T (V ) simplesmente como uma K-lgebra.
Teorema 3.17 Se V um K-mdulo livre com base X, ento T (V ) uma R-lgebra com
base X.


Demontrao. Veja [F].

Definio 3.18 Se V um K-mdulo livre com base X, ento T (V ) chamado o anel de

polinmios sobre K nas variveis no comutativas X, e denotado por K < X >.
Se V um K-mdulo livre com base X, ento cada elemento u em T (V ) tem uma
nica expresso
u = ki1 , ,i p xi1 xi p ,
p0

onde ki1 , ,i p K e xi j X. Obtemos a notao usual para o polinmio u, eliminando os

smbolos do produto tensorial.
Exemplo 3.19 Se X = {x, y}, ento u = k0 + k1 x + k2 y + k3 x2 + k4 y2 + k5 xy + k6 yx um
elemento de K < X >.

3.3

Sries de Hilbert
Nesta seo, k denotar um corpo.

Definio 3.20 Uma k-lgebra graduada A =

A n finitamente gerada se existe um

n0

nmero finito de elementos y1 , , yn tais que A gerada, como k-espao vetorial, pelo
conjunto de monmios
1
{y1 e y2 e2 yn en | 0 ei Z}.
Se V um k-espao vetorial, denotaremos dimk V simplesmente por dim V .
Definio 3.21 Seja A =

A n uma k-lgebra finitamente gerada. A srie de Hilbert

n0

de A definida por

H(A ,t) =

(dim A n)t n.

n0

Exemplo 3.22 Calculemos a srie de Hilbert da lgebra A = k[x]. Como A i =

span{xi }, temos que
A =

M
n0

A n = span{1}

span{x}

span{x2 }

3.3 Sries de Hilbert

28

Ento,
H(A ,t) = 1 + t + t 2 + t 3 + =

1
.
1t

Teorema 3.23 Seja A = k[x1 , x2 , , xn ]. Ento,

H(A ,t) =

1
.
(1 t)n

Demontrao. Provaremos o teorema por induo sobre o nmero de variveis, n. Para

n = 1 o teorema verdadeiro, pelo exemplo 3.22. Suponhamos agora que o teorema seja
vlido para n 1 variveis x1 , x2 , , xn1 , isto ,
H(k[x1 , x2 , , xn1 ],t) =

1
.
(1 t)n1

Sejam di = dim A i e hi = dim k[x1 , x2 , , xn1 ]i , para cada i 0. Um monmio p de

grau i em A da forma xn e m, onde e 0, e m no envolve xn e tem grau i e. Logo, o
nmero de monmios de grau i que geram A i a soma do nmero de monmios de grau
i em k[x1 , x2 , , xn1 ]. Obtemos ento que d0 = h0 ; d1 = h0 + h1 ; d2 = h0 + h1 + h2 ;
; dn = h0 + h1 + + hn . Logo,
H(A ,t) = d0 + d1t + d2t 2 +
= h0 + (h0 + h1 )t + (h0 + h1 + h2 )t 2 +
= (h0 + h0t + ht2 + ) + t(h0 + (h0 + h1 )t + (h0 + h1 + h2 )t 2 + )+
+t 2 (h0 + (h0 + h1 )t + (h0 + h1 + h2 )t 2 + ) +
= H(k[x1 , x2 , , xn1 ],t)(1 + t + t 2 + )
=

1
1
1
=
.
(1 t)n1 1 t (1 t)n


CAPTULO 4

O Teorema Syzygy de Hilbert

Neste captulo, R denotar o anel polinomial k[x1 , x2 , , xn ], k um corpo.

4.0.1

Presentaes e Resolues de Mdulos

Teorema 4.1 Seja M um R-mdulo.

i. Escolher um elemento de M equivalente a escolher um homomorfismo de R M.
ii. Escolher t elementos de M equivalente a escolher um homomorfismo de Rt M.
iii. Escolher um conjunto de t geradores de M equivalente a escolher um homomorfismo
de Rt M 0 que sobrejetora ( i.e., uma sequncia exata Rt M 0).
iv. Se M livre, escolher uma base com t elementos equivalente a escolher um
isomorfismo de Rt M.
Demontrao. i. Seja f M. Ento, podemos definir o R-homomorfismo : R M,
dado por 1 7 f . Logo, para todo g R,
(g) = (g.1) = g.(1) = g f .
ii. Escolhendo t elementos em M, significa escolher t homomorfismos de R em M, o que
implica que est fixado um homomorfismo de Rt em M. Se f1 , f2 , , ft so elementos de
M, temos o homomorfismo : Rt M, definido por (ei ) = fi , para todo i = 1, ,t. A
imagem de o submdulo < f1 , , ft >.
iii. Se f1 , , ft so geradores de M, o homomorfismo do tem ii sobrejetor.
iv. E claro.


4.0.2

Syzygies

Definio 4.2 Seja M Rt o R-mdulo gerado pelo conjunto F = { f1 , f2 , , ft }.

O mdulo syzygy de F, denotado por Syz(F) (ou Syz( f1 , f2 , , ft )) o conjunto
Syz( f1 , f2 , , ft ) = {(g1 , g2 , , gs ) Rt | f1 g1 + f2 g2 + + ft gt = 0}. Um elemento
de Syz(F) chamado "syzygy".

30

Em outras palavras, Syz( f1 , f2 , , ft ) o kernel da funo : Rt M dada por

ei 7 fi . Syzygies so algumas vezes chamados relaes, e Syz(F) tambm chamado o
mdulo das relaes de M.
Definio 4.3 Seja M um R-mdulo. Uma presentao de M um conjunto de geradores
f1 , f2 , , ft , com um conjunto de geradores para o mdulo syzygy Syz( f1 , f2 , , ft ) de
relaes entre f1 , f2 , , ft .
Obtemos uma matriz presentao de um mdulo M, colocando os geradores
/ 0 como colunas. Dada uma matriz presentao de M equivalente a
M
Rt
dar uma presentao de M.
Reinterpretando a definio acima, em termos de sequncias exatas, dados os
geradores f1 , f2 , , ft de M , temos uma sequncia exata
/

Rt

0.

A funo leva (g1 , , gt ) Rt em t1 gi fi M. Consequentemente, temos

Syz( f1 , , ft ) = Ker .
Pelo tem iii do teorema 4.1, escolhendo um conjunto de geradores para
Syz( f1 , f2 , , ft ) temos um correspondente homomorfismo : Rs sobre Ker =
Syz( f1 , f2 , , ft ), que equivalente exatido da sequncia
Rs

Rt

0.

(4-1)

Observe que a matriz de com respeito s bases cannicas de Rs e Rt uma presentao

para M.
Teorema 4.4 Seja M um R-mdulo finitamente gerado.
i. M tem uma presentao da forma dada pela sequncia 4-1.
ii. M imagem homomorfa de um R-mdulo livre. Se f1 , , ft ) um conjunto de
geradores de de M, ento M
= Rt /S onde S o submdulo de Rt dado por S =
Syz( f1 , f2 , , ft ). Tambm, se A a matriz que representa na sequncia 4-1, ento
ARs = Im e M
= Rt /ARs .


Demontrao. Exerccio.

Exemplo 4.5 Seja I =< x2 x, xy, y2 y > em k[x, y]. Ento, I tem uma presentao dada
pela seguinte sequncia exata:
R2

R3

0,

(4-2)

31

onde o homomorfismo definido pela matriz 1 X 3



A = x2 x xy y2 y
e definido pela matriz 3 X 2

y
0

B = x + 1 y 1 .
0
x
Resumindo, para estudar um R-mdulo M gerado por um conjunto de elementos
f1 , f2 , , ft , importante conhecer que relaes estes geradores satisfazem,i.e, conhecer
Syz( f1 , f2 , , fm ). Para conhecer o mdulo S1 = Syz( f1 , f2 , . . . , ft ), precisamos conhecer
os geradores de S1 e tambm o mdulo syzygy de S1 , chamado o segundo mdulo syzygy
de M e assim por diante. Deste modo, precisamos considerar uma sequncia de geradores
e syzygies, chamada uma resoluo de M.
Definio 4.6 Seja F = { f1 , f2 , , ft } um conjunto de polinmios em Rs .Denotamos por
Syzi (F) o i-simo mdulo syzygy de F, como descrito acima.
Definio 4.7 Seja M um R-mdulo. Uma resoluo livre para M uma sequn/ F2 f2 / F1 f1 / F0 f0 / M
/ 0 , com Fi
cia exata da forma
= Rr para algum r N, para todo i. A resoluo finita se existe um inteiro l tal que Fl 6= 0 e
Fi = 0 para todo i > l. Neste caso, a resoluo dita de comprimento l e escrita
/ F2
/
/M
/0.
/ Fl
/ Fl1
/ F1
/ F0
0
Definio 4.8 Seja R um anel e M R-mod. Dizemos que M tem
dimenso homologica finita se M tem uma resoluo projetiva C, onde Cn = 0 para
todo n suficientemente grande. Neste caso o menor inteiro n tal que M tem uma resoluo
projetiva
/0
/ Cn
/
/ C0 / M
/0
0
chamada a dimenso homolgica de M e denotada por h.dim M.
Da definio, vemos que M projetivo se, e somente se h.dim M = 0.
Observe que pelo teorema 2.13, um R-mdulo M projetivo se e somente
n
se, Ext (M, N) = 0 para todo n 1 e todo R-mdulo N. O teorema que segue a
generalizao deste critrio.
Teorema 4.9 As seguintes condies sobre um mdulo M so equivalentes:
(1) h.dim M n.
(2) Ext n+1 (M, N) = 0 para todo mdulo N.

4.1 Teorema Syzygy de Hilbert

32

(3) Dada uma sequncia exata 0 Cn Cn1 C0 M 0 em que

cada C j , j < n, projetivo, ento Cn projetivo.


Demontrao. Veja [19].

4.1

Teorema Syzygy de Hilbert

Teorema 4.10 Se M um mdulo graduado tal que Tor1R (M, k) = 0, ento M livre.


Demontrao. Veja [19].

Teorema 4.11 (Syzygy de Hilbert) Seja M um mdulo graduado para R = k[x1 , . . . , xn ],

o anel de polinmios em n indeterminadas e coeficientes em k. Seja

m
0 M L0 1 L1 Lm1
Km

uma sequncia exata de mdulos graduados onde cada Li livre. Ento Km livre.
Demontrao. Veja [19]

Logo, o Teorema Syzygy de Hilbert afirma que se M um mdulo finitamente gerado

para R = k[x1 , , xn ] ento M tem uma resoluo livre de comprimento no mximo n.
O programa Singular [17] pode ser usado para calcular resolues de ideais cujos geradores no so homogneos (e, mais geralmente, mdulos que no so graduados).
Exemplo 4.12 Consideremos a presentao 4-2 para I =< x2 x, xy, y2 y > em k[x, y].
Se

y
0
0

c1 x + 1 + c2 y 1 = 0 ,
0
x
0

y
0

uma syzygy das colunas de B = x + 1 y 1, com ci R, vemos que yc1 = 0 e

0
x
c1 = 0. Similarmente, c2 = 0. Ento o kernel de em 4-2 o submdulo zero e temos a
sequncia exata

/ 3 /I
/ 0.
/ 2
(4-3)
0
R
R
Da, 4-3 uma resoluo livre de comprimento 1 para I.

4.1 Teorema Syzygy de Hilbert

33

Exemplo 4.13 Mostre que se I o ideal do exemplo 4.12, ento M = k[x, y]/I, que um
R-mdulo, R = k[x, y], tem uma resoluo livre de comprimento 2, da forma
/

R2

R3

0.

Exemplo 4.14 Consideremos o anel R = k[x, y, z]. Seja M um R-mdulo com base
!
!
!
!
1 0
0 1
0 0
0 0
{
,
,
,
}.
0 0
0 0
1 0
0 1
Observe que M isomorfo a R4 . Seja N, o submdulo de M, com base
!
!
!
x2 yz
z2 xy
x z yz xy
{
,
,
}.
yz x2
xy z2
yz xy x z
Ento
0

R3

R4

M/N

/0

uma resoluo livre para M/N, de comprimento 3. Temos:

2 ( f ) = ( f (x + z2 ), f (x2 + z), f (x2 + xz + z2 )),
1 ( f 1 , f 2 , f 3 ) =

!
f1 x2 + f2 z2 + f3 (x z)
f1 yz + f2 xy + f3 yz f3 xy
f1 yz + f2 xy + f3 yz f3 xy f1 x2 + f2 z2 + f 3x f3 z

e
0

f1
f3

f2
f4

!
=

!
[ f1 ] [ f2 ]
.
[ f3 ] [ f4 ]

O homomorfismo 0 o epimorfismo cannico.

O kernel de 1 tem um nico gerador (x + z2 , x2 z2 , x2 xz z2 ).

Referncias Bibliogrficas

[1] COX, D; LITTLE, J; OSHEA, D. Using Algebraic Geometry. Springer-Verlag, New

York, 1998.

Hilbert
series of quadratic algebras associated with decompositions of noncommutative
polynomials. J. Algebra, 254(2):279299, 2002.

[2] GELFAND, I; GELFAND, S; RETAKH, V; SERCONEK, S; WILSON, R.

[3] GELFAND, I; RETAKH, V; ; WILSON, R. Quadratic-linear algebras associated with

decompositions of noncommutative polynomials and differential polynomials.

Selecta Math. (N.S.), 7:493523, 2001.
[4] GELFAND, I; RETAKH, V. Quasideterminants. Selecta Math. (N.S.), 3:517546,
1997.
[5] GELFAND, I; RETAKH, V; SERCONEK, S; WILSON, R. On a class of algebras

associated to directed graphs. Selecta Math. (N.S.), 11:281295, 2005.

[6] GELFAND, I; RETAKH, V; WILSON, R. Quasideterminants. Advances in Math.,

193:56141, 2005.
[7] HUNGERFORD, T. W. Algebra. Springer-Verlag, New York, 1974.
[8] JACOBSON, N. Basic Algebra II. W.H. Freeman and Company, San Francisco, first
edition, 1980.
[9] LAM, T. Y. A first course in noncommutative rings. Springer-Verlag, N.Y., second
edition, 2000.
[10] MELO, M. M. Uma Classe de lgebras Associadas a Grafos Orientados. Dissertao de Mestrado em Matemtica,UFG/IME, Goiania, 2006.
[11] NACIN, D. Structural properties of algebras arising from pseudoroots. PhD
thesis, Rutgers University, New Brunswick, N.J., 2005.

Algebras associated to pseudo-roots of noncommutative

polynomials are Koszul. Intern. J. Algebra Comput. 15, 643648, 2005.

[12] PIONTKOVSKI, D.

Referncias Bibliogrficas

35

[13] RETAKH, V; SERCONEK, S; WILSON, R. Construction of some algebras associ-

ated to directed graphs and related to factorizations of noncommutative polynomials. Contemporary Mathematics, American Mathematical Society, 442:142151,
2007.
[14] ROTMAN, J. J. Advanced Modern Algebra. Prentice Hall, Upper Saddle River, NJ,
2002.
[15] ROTMAN, J. Notes on Homological Algebra. University of Illinois, Urbana, Urbana,
1970.
[16] SERCONEK, S; WILSON, R. Quadratic algebras associated with decompositions

of noncommutative polynomials are Koszul algebras. J. Algebra, 278:473493,

2004.
[17] SINGULAR. http://www.singular.uni-kl.de/download.html.
[18] UFNAROVSKIJ, V. A. Combinatorial and asymptotic methods in algebra, in: A.I.

Kostrikin, I.R. Shafarevich (Eds.), in Algebra, Vol. VI. Springer-Verlag, 1196.,

1995.
[19] VIEIRA, F. P. O Teorema Syzygy de Hilbert. Monografia de Especializao em
Matemtica,UFG/IME, Goiania, 2009.