Intro Comm Alg
Intro Comm Alg
April 8, 2008
About This Document
0 Background 1
0.1 Operations on Ideals . . . . . . . . . . . . . . . . . . . . . . . . . 1
0.2 Chain Conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
0.3 Flat Modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
0.4 Localization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1 Primary Decomposition 9
1.1 Primary and Coprimary Modules . . . . . . . . . . . . . . . . . . 9
1.2 The Primary Decomposition Theorem . . . . . . . . . . . . . . . 11
1.2.1 Primary Decomposition and Localization . . . . . . . . . 14
1.2.2 Primary Decomposition and Polynomial Extensions . . . 17
1.2.3 Associated Primes . . . . . . . . . . . . . . . . . . . . . . 18
1.3 Arbitrary Modules . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3 Dimension Theory 49
3.1 The Graded Case . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.1.1 The Hilbert Polynomial . . . . . . . . . . . . . . . . . . . 51
3.1.2 The Hilbert-Samuel Polynomial . . . . . . . . . . . . . . . 55
3.2 The Topological Approach . . . . . . . . . . . . . . . . . . . . . . 61
3.2.1 Basic Definitions . . . . . . . . . . . . . . . . . . . . . . . 61
3.2.2 The Zariski Topology and the Prime Spectrum . . . . . . 64
3.3 Systems of Parameters and the Dimension Theorem . . . . . . . 68
4 Integral Extensions 75
4.1 Basic Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
4.2 Normal Domains and DVRs . . . . . . . . . . . . . . . . . . . . . 85
4.3 Dedekind Domains . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.4 The Krull-Akizuki Theorem . . . . . . . . . . . . . . . . . . . . . 91
4.5 Noether’s Normalization Lemma . . . . . . . . . . . . . . . . . . 95
Bibliography 151
Index 153
Notation and Terminology
All rings are commutative and contain multiplicative identity, moreover we will
always insist that ring homomorphisms respect the multiplicative identity ele-
ment. Local rings are assumed to be Noetherian. Additionally, all modules are
unitary modules. We have made an attempt to be consistent with our notation:
(4) Ideals are denoted by I, J, a, and b, with m usually reserved for maximal
ideals. We will try to reserve p, q, P , and Q for prime ideals.
(7) The letter η will be often used to denote the canonical or natural map.
(9) We use the notation ⊆ for set inclusion and use ( for strict inclusion.
(10) The notion ֒→ is used to denote an injective map and ։ denotes a sur-
jective map. If a commutative diagram is drawn, the induced map will be
dashed.
Background
I + J = {x + y : x ∈ I and y ∈ J}.
Exercise 0.1 Show that if I and J are ideas in a ring A, then I + J is an ideal.
Xn
I ·J ={ xi · yi : xi ∈ I and yi ∈ J}.
i=1
Exercise 0.2 Show that if I and J are ideas in a ring A, then I · J is an ideal.
Exercise 0.3 Show that if I and J are ideas in a ring A, then I ∩ J is an ideal.
a(b + c) = ab + ac.
(a + b)M
a(M/bM ) = .
bM
Exercise 0.6 Assuming that a, b, c are ideals of A and that a ⊇ b or a ⊇ c,
prove the modular law:
a ∩ (b + c) = a ∩ b + a ∩ c.
1
0.1. OPERATIONS ON IDEALS
S = {a : xi ∈
/ a for i > 0}
2
CHAPTER 0. BACKGROUND
Note that (0) ∈ S and that S may be ordered by inclusion. Now let C be any
chain of ideals in S. This chain has an upper bound in S, namely the ideal:
[
a
a∈C
Moreover,
xm+n ∈ (ab) + p
and so we see that ab ∈ / p. Hence p is prime and x ∈
/ p. Thus x is not in the
intersection of the prime ideals of A. ¥
Despite this fact there are some things we can say about unions of ideals.
I 6⊆ pi for all i,
then
n
[
I 6⊆ pi .
i=1
Remark The above lemma is called prime avoidance as if I 6⊆ pi for all i, then
there is some element of a ∈ I which avoids being contained in any pi .
(N :M a) = {x ∈ M : xa ⊆ N }
Remark Sometimes the colon ideal is called the ideal quotient. However, we
will refrain from using that terminology as the word quotient is overused in
mathematics.
3
0.2. CHAIN CONDITIONS
4
CHAPTER 0. BACKGROUND
M = M0 ) M1 ) · · · ) Mn = (0)
M = M0 ) M1 ) · · · ) Mn = (0)
0 → M ′ → M → M ′′ → 0
we have that:
(1) M is Noetherian if and only if both M ′ and M ′′ are Noetherian.
(2) M is Artinian if and only if both M ′ and M ′′ are Artinian.
Proposition 0.24 Given a short exact sequence of A-modules
0 → M ′ → M → M ′′ → 0
ℓA (M ) = ℓA (M ′ ) + ℓA (M ′′ ).
5
0.3. FLAT MODULES
Corollary 0.26
Lemma 0.28 If A is a ring with an ideal I which is not prime, then there
exist I1 and I2 each containing I such that I ⊇ I1 I2 .
M ֒→ M ′
implies that
M ⊗A F ֒→ M ′ ⊗A F.
Proposition 0.33 An A-module F is flat if and only if for all finitely generated
A-modules M and M ′ , M ֒→ M ′ implies that
M ⊗A F ֒→ M ′ ⊗A F.
6
CHAPTER 0. BACKGROUND
0.4 Localization
Let U be a subset of A which is closed under multiplication and contains 1.
Given an A-module M , we may now write “fractions”
m
u
where m ∈ M and u ∈ U . For m ∈ M and u′ ∈ U , we will say
′
m m′
= ′ when (mu′ − m′ u)z = 0
u u
for some z ∈ U . This defines an equivalence relation and we denote the set
of equivalence classes by U −1 M . We can put the canonical module structure
on U −1 M . If M is an A-algebra, we may put the canonical ring structure on
U −1 M .
WARNING 0.37 The homomorphism A → U −1 A defined via x 7→ x/1 is not
generally injective, consider A = Z/6Z and U = {1, 3}.
Proposition 0.38 (Universal Property of Localization) If ϕ : A → B is a
homomorphism of rings such that ϕ(u) is a unit in B for all u ∈ U , then there
exists a unique homomorphism ϕ e : U −1 A → B making the diagram below
commute.
η
A U −1 A
ϕ
ϕ
e
B
Proposition 0.39 If M is an A-module and U is a multiplicatively closed
subset of A, then there is a canonical isomorphism M ⊗A U −1 A ≃ U −1 M .
Moreover, this isomorphism is functorial. That is, if f : M → N , the following
diagram commutes
ηM
M ⊗A U −1 A U −1 M
f ⊗1U −1 A U −1 f
N ⊗A U −1 A ηN U −1 N
7
0.4. LOCALIZATION
Frac(A) := (A − {0})−1 A
(A, m) or (A, m, k)
to denote the ring and its maximal ideal or the ring, its maximal ideal, and
k = A/m respectively.
Remark Some authors do not insist that local rings are Noetherian. We will
call local rings which are not Noetherian quasilocal.
Proposition 0.42 Ap is a local ring with maximal ideal p.
Definition For a ring A with a prime ideal p we define the residue field of
p, denoted κ(p), by
8
Chapter 1
Primary Decomposition
is injective or nilpotent.
Definition The coprimary module M which gives the above prime ideal p is
called p-coprimary.
Proof Exercise. ¥
A/p ֒→ M.
9
1.1. PRIMARY AND COPRIMARY MODULES
10
CHAPTER 1. PRIMARY DECOMPOSITION
√
Corollary 1.7 If I is p-primary, then I = p.
Proof This follows from Proposition 1.1 and the proof of the forward direction
of Proposition 1.6. ¥
(x + ay)n = xn + ay ′
= 1,
pn ⊆ I ⊆ p.
Consider the ring A = k[x, y, z]/(z 2 −xy) where k is a field. Set p = (x, z), where
x = x + (z 2 − xy) and z = z + (z 2 − xy). Then A/p ≃ k[x, y, z]/(x, z) ≃ k[y],
which is a domain. Thus p is a prime ideal.
We claim p2 is not p primary. To see this, note that x ∈ / p2 and y ∈ / p, but
y
xy = z 2 ∈ p2 . Thus the map A/p2 −→ A/p2 is nilpotent. It follows that p2 is
not p-primary.
11
1.2. THE PRIMARY DECOMPOSITION THEOREM
Ker(ϕ) ⊆ Ker(ϕ2 ) ⊆ · · ·
Since (0) is irreducible, either Im(g) = (0) or Ker(g) = (0). If Im(g) = (0), then
an M = (0) and ϕ is nilpotent. If Ker(g) = (0), then Ker(ϕ) = (0) and ϕ is
injective. Thus M is coprimary and N is a primary submodule of M . ¥
Proof By definition, M/N1 and M/N2 are p-coprimary. It follows easily from
the definition that M/N1 ⊕ M/N2 is also p-coprimary. Consider the map:
ϕ : M → M/N1 ⊕ M/N2
m 7→ (m + N1 , m + N2 )
12
CHAPTER 1. PRIMARY DECOMPOSITION
Proof By Lemmas Tn1.12, 1.13, and 1.14, we can express N as a finite intersec-
tion of submodules i=1 Ni where for each i, Ni is pi -primary, with the prime
ideals {p1 , . . . , pn } distinct.
To finish the proof, we will show:
N2 /N ∩ · · · ∩ Nn /N ≃ (N2 ∩ · · · ∩ Nn )/N
≃ (N1 + (N2 ∩ · · · ∩ Nn ))/N1
⊆ M/N1 ,
with the middle line following from the Second Isomorphism Theorem. Since
we have an injection
N2 /N ∩ · · · ∩ Nn /N ֒→ M/N1 ,
A/p ֒→ N2 /N ∩ · · · ∩ Nn /N ֒→ M/N.
ϕ : M → M/N1 ⊕ · · · ⊕ M/Nn
m 7→ (m + N1 , . . . , m + Nn )
13
1.2. THE PRIMARY DECOMPOSITION THEOREM
Ln
is an injection. For i = 1, . . . , n let πi : i=1 M/Ni → M/Ni be the projection
map onto the ith coordinate. Then we have the following commutative diagram:
n
M
ϕ
M/N M/Ni
i=1
ι πi
ιi
A/p M/Ni
14
CHAPTER 1. PRIMARY DECOMPOSITION
0 0 0
0 N1 ∩ N2 N1 N1 /(N1 ∩ N2 ) 0
0 N2 M M/N2 0
0 0 0
By tensoring this diagram with U −1 A and by diagram chasing, the claim follows.
Therefore, U −1 N = U −1 N1 ∩ · · · ∩ U −1 Nn . By Proposition 1.16, if {i1 , . . . , im }
are the indices such that pim ∩U = ∅, then U −1 N = U −1 Ni1 ∩· · ·∩U −1 Nim . ¥
Remark By Theorem 1.18 and the above exercise, we know how to find a
primary decomposition of any submodule of U −1 M .
η : M → U −1 M
m
m 7→
1
The following hold:
(1) If p ∩ U = ∅, then η −1 (U −1 N ) = N .
(2) If p ∩ U 6= ∅, then η −1 (U −1 N ) = M .
(xu − y)v = 0
xuv = yv.
15
1.2. THE PRIMARY DECOMPOSITION THEOREM
16
CHAPTER 1. PRIMARY DECOMPOSITION
Definition Using the above notation, η −1 (pn Ap ) is called the nth symbolic
power of p and is denoted by p(n) . Note that p(n) ⊇ pn and that p(n) is
p-primary.
Exercise 1.23 Can you find a prime ideal p such that pn 6= p(n) ? If so what
is it? If not why not?
Inductively, we get that g(x)m n(x) = (−1)m h(x)m n(x). Since g(x) ∈ p[x], there
is some m > 0 such that g(x)m n(x) = 0. Since all coefficients of h(x) lie outside
17
1.2. THE PRIMARY DECOMPOSITION THEOREM
A/p ֒→ M
1 + p 7→ x,
18
CHAPTER 1. PRIMARY DECOMPOSITION
Exercise 1.29 What is wrong with the following argument: Consider the poly-
nomial ring k[x, y] where k is a field. Since the prime ideal (x) is clearly (x)-
primary, by Corollary 1.27:
Ass(k[x, y]/(x)) = {(x)}
However,
k[x, y] k[x, y]
≃ k ֒→
(x, y) (x)
and so by Corollary 1.28, (x, y) ∈ Ass(k[x, y]/(x)). What!?
Definition A nonzero element a ∈ A is called a zerodivisor on M if there
exists a nonzero element m ∈ M such that am = 0. A nonzero element a ∈ A
is called a nonzerodivisor on M if a is not a zerodivisor.
Exercise 1.30 If (A, m, k) is a local ring and x is a nonzerodivisor on m, then
show there exists a short exact sequence:
0 → k → m → mA → 0
where m = m/xm and mA is the maximal ideal of A = A/xA.
Corollary 1.31 Let A be a Noetherian ring, M be a finitely generated nonzero
A-module, and let
D = {a ∈ A : a is a zerodivisor on M }.
Then [
D ∪ {0} = p.
p∈AssA (M )
S
Proof (⊆) Clearly 0 ∈ p∈AssA (M ) p, since AssA (M ) 6= ∅. Let d ∈ D, then
there exists m ∈ M with m 6= 0 and dm = 0. By the Primary Decomposition
Theorem, we have that
(0) = N1 ∩ · · · ∩ Nn
where each submodule Ni of M is pi -primary. Since m 6= 0, there exists i =
1, . . . , n such that m ∈
/ Ni . Hence the image of m is nonzero in M/Ni . Since
d
M/Ni is pi -primary and since M/Ni −→ M/Ni is not injective,
n
[ [
d ∈ pi ⊆ pi = p.
i=1 p∈AssA (M )
19
1.2. THE PRIMARY DECOMPOSITION THEOREM
M = M0 ) M1 ) · · · ) Mn = (0),
such that for all i = 1, . . . , n, Mi−1 /Mi ≃ A/pi where each pi is a prime ideal.
Moreover, given any such filtration, AssA (M ) ⊆ {p1 , . . . , pn }.
0 −→ M0 −→ Q −→ T −→ 0.
Since M0 has a prime filtration, and since Q/M0 ≃ T ≃ A/p′ , Q has a prime
filtration. However, Q ) M0 contradicts that M0 is maximal in S. Thus, we
must have that M = M0 .
The second part of the theorem follows from Corollary 1.32. ¥
20
CHAPTER 1. PRIMARY DECOMPOSITION
a 7→ (aα1 , . . . , aαn ).
Ln
It’s easy to see that I = Ker(ϕ), and thus A/ Ker(ϕ) ֒→ i=1 M . By Corol-
lary 1.32, it follows that
à n !
M
AssA (A/I) ⊆ AssA M ⊆ AssA (M ).
i=1
Proof Exercise. ¥
Proposition 1.37 Let P be the collection of prime ideals of A that are minimal
in AssA (A). Then
√ \
0= p.
p∈P
Proof Exercise. ¥
(2) Mp 6= 0.
(3) p ⊇ AnnA (M ).
Proof Exercise. ¥
Definition The set of prime ideals p satisfying the four equivalent conditions
above are called the support of M , denoted SuppA (M ).
21
1.2. THE PRIMARY DECOMPOSITION THEOREM
0 → M ′ → M → M ′′ → 0
M = M0 ( · · · ( Mn = (0).
Then for i = 1, . . . , n, Mi /Mi+1 ≃ A/mi for some maximal ideal mi . Since every
maximal ideal is a prime ideal, this is a prime filtration. Thus by the Prime
Filtration Theorem, Theorem 1.34, AssA (M ) ⊆ {m1 , . . . , mn }.
(⇐) Now assume AssA (M ) consists of maximal ideals only. By the Prime
Filtration Theorem there is a prime filtration of M , say
M = M0 ( · · · ( Mn = (0).
Since (Mi )p /(Mi+1 )p ≃ (Mi /Mi+1 )p 6= (0), we have that (Mi )p 6= (0). More-
over, Mi ֒→ M implies that (Mi )p ֒→ Mp by the exactness of localization.
Therefore Mp 6= (0). By Proposition 1.38, p ⊇ q for some prime ideal q ∈
AssA (M ). ¥
Corollary 1.42 (Finite Length Criteria) Let (A, m) be a local ring and M a
finitely generated A-module. Then the following are equivalent:
22
CHAPTER 1. PRIMARY DECOMPOSITION
Note that these definitions agree those in the finitely generated case, and
that the definition of a locally nilpotent map reduces to the definition of a
nilpotent map for finitely generated modules.
S = {N : N is a submodule of M and p ∈
/ AssA (N )}.
Suppose that this is not the case, that is suppose there exists q ∈ AssA (M/N (p))
and q 6= p. Then
A/q ≃ M ′ /N (p) ⊆ M/N (p).
By Corollary 1.32
23
1.3. ARBITRARY MODULES
24
Chapter 2
2.1 Limits
ϕαβ
Xα Xβ
ϕαγ ϕβγ
Xγ
25
2.1. LIMITS
exists a unique morphism ϕ making the diagram below commute for all α 6 β:
ϕ
Y lim(Xα )
−→
ϕβ
ψβ
Xβ
ψα ϕα
ϕαβ
Xα
Example 2.1 If we consider the category of sets, where the morphisms are set
inclusion, then given X0 ⊆ X1 ⊆ · · · ⊆ Xn ⊆ · · · ,
∞
[
lim(Xi ) = Xi .
−→
i=0
Exercise 2.3 Suppose we have direct systems (Aα )α∈I , (Bα )α∈I , and (Cα )α∈I ,
over the directed set I and maps (ϕα ) : (Aα ) → (Bα ) and (ψα ) : (Bα ) → (Cα )
such that for every α ∈ I
ϕα ψα
0 −→ Aα −→ Bα −→ Cα −→ 0
is exact. Then
lim ϕα lim ψα
−→ lim Bα −
0 −→ lim Aα −
→ →
−→ lim Cα −→ 0
−→ −→ −→
is exact. In other words, direct limit is an exact functor from the category of
direct systems of modules over a fixed directed set to the category of modules.
26
CHAPTER 2. FILTRATIONS AND COMPLETIONS
ϕβγ ϕαγ
Xγ
Xβ
ψα ϕα
ϕαβ
Xα
Example 2.6 If we consider the category of sets, where the morphisms are set
inclusion, then given X0 ⊇ X1 ⊇ · · · ⊇ Xn ⊇ · · · ,
∞
\
lim(Xi ) = Xi .
←−
i=0
Example 2.7 The inverse limit can be constructed as follows: For a given
inverse system, (Xα )α∈I , write
Y
lim(Xα ) = {(xα )α∈I : if α 6 β, then xα = ϕαβ (xβ )} ⊆ Xα .
←−
α∈I
The reader should check that this construction agrees with the definition of an
inverse limit.
We now will define the ring of formal power series as it will be very useful
in this chapter:
27
2.2. FILTRATIONS AND COMPLETIONS
Definition Given a ring A, we can form the ring of formal power series in
X1 , . . . , Xn over A by considering all infinite sums of the form
∞
X
ai1 ,...,in X1i1 · · · Xnin , where ai1 ,...,in ∈ A.
i=0
Sums such as these form a ring under the canonical rules for summation and
product. We denote the ring of formal power series over A in n variables by
A[[X1 , . . . , Xn ]].
is exact. Then
lim ϕ lim ψ
0 −→ lim Aα ← − α lim B ←
−→ − α
α −→ lim Cα
←− ←− ←−
is exact. In other words, inverse limit is a left exact functor from the category of
inverse systems of modules over a fixed directed set to the category of modules.
G×G→G G→G
(x, y) 7→ xy x 7→ x−1
28
CHAPTER 2. FILTRATIONS AND COMPLETIONS
A×A→A A×M →M
(x, y) 7→ x + y (a, x) 7→ ax
A = A0 ⊇ A1 ⊇ · · · ⊇ An ⊇ · · ·
a filtration of A if
Ai Aj ⊆ Ai+j .
We say that a ring with a filtration is a filtered ring.
Remark Note that from the definition above, the fact that Ai Aj ⊆ Ai+j
necessitates that each Ai is an ideal of A.
M = M0 ⊇ M1 ⊇ · · · ⊇ Mn ⊇ · · ·
Ai Mj ⊆ Mi+j .
Remark Note that from the definition above, the fact that Ai Mj ⊆ Mi+j
necessitates that each Mj is a submodule of M .
ϕ : M ։ N.
29
2.2. FILTRATIONS AND COMPLETIONS
Exercise 2.11 Show that the topology defined above makes M a topological
module.
d(x, y) := cn
d(xn , xm ) < ε,
30
CHAPTER 2. FILTRATIONS AND COMPLETIONS
or in other words, for every N0 there exists N such that n, m > N implies that
xn − xm ∈ MN0 . Call a sequences which converges to zero a null sequence.
Thus in our metric, a null sequence is a sequence (xn ) such that for every L
c as
there exists N such that n > N implies that xn ∈ ML . We first construct M
follows:
c := {Cauchy sequences in M }/{null sequences in M }
M
which is a union of open sets. Then the quotient topology on M/Mn is the
discrete topology since 0, and hence every point, is both open and closed. Thus
M/Mn inherits the discrete topology from the quotient topology and is hence
complete with respect to the metric associated
Q∞ to the given topology. Since the
product of a complete space is complete, n=0 M/Mn is complete under the
product topology. Define
c := lim(M/Mn ) = {xn ∈ M/Mn : if n 6 m, then xm 7→ xn }
M
←−
Y∞
⊆ M/Mn .
n=0
Exercise 2.12 Check that the two constructions above for the completion of
M are isomorphic as A-modules.
Exercise 2.14 Let M be an A-module. Show that the following are equivalent:
(1) M is Hausdorff.
T∞
(2) n=0 Mn = 0.
31
2.2. FILTRATIONS AND COMPLETIONS
d
M c
n = ι(Mn ) = {(xn ) : xi = 0 for i 6 n and xn+i ∈ Mn for i > 1} ⊆ M .
x1 , x1 + z1 , x1 + z1 + z2 , x1 + z1 + z2 + z3 , ...
32
CHAPTER 2. FILTRATIONS AND COMPLETIONS
A = A0 ⊕ A1 ⊕ · · · An ⊕ · · ·
| {z }
A+
(1) 1A ∈ A0 .
(2) A0 is a ring.
where Ai Mj ⊆ Mi+j .
Definition Given a filtered ring A with the filtration (An ), the graded ring
associated to the filtration is defined to be
∞
M
Gr(A) := Ai /Ai+1
i=0
Definition Given a filtered module M with the filtration (Mn ), the graded
module associated to the filtration is defined to be
∞
M
Gr(M ) := Mi /Mi+1
i=0
33
2.2. FILTRATIONS AND COMPLETIONS
Remark c/M
Since M cn ≃ M/Mn ,
b ≃ Gr(A),
Gr(A)
c) ≃ Gr(M ).
Gr(M
Exercise 2.21 Let A be a filtered ring that is Hausdorff under the given fil-
tration. Show that if Gr(A) is an integral domain, then so is A.
Proposition 2.22 Let A be a filtered ring and M, M ′ , M ′′ be filtered A-
modules. If
f g
0 −→ M ′ −→ M −→ M ′′ −→ 0
is exact and f and g are strict, that is,
then
Gr f Gr g
0 −→ Gr(M ′ ) −→ Gr(M ) −→ Gr(M ′′ ) −→ 0
is exact.
Gr f : Gr(M ) ։ Gr(N )
34
CHAPTER 2. FILTRATIONS AND COMPLETIONS
f : Ad ։ M
ei 7→ xi
This filtration guarantees that f is a filtered map. Since Gr(f ) is onto by con-
struction, the previous theorem tells us that f is onto and that M is complete.
Moreover, M is generated by x1 , . . . , xd over A. ¥
Gr(N ) → Gr(M )
35
2.3. ADIC COMPLETIONS AND LOCAL RINGS
M ⊇ IM ⊇ I 2 M ⊇ · · · ⊇ I n M ⊇ · · ·
[
C[X] ⊆ C[X](X) ⊆ C{X} ⊆ C[[X]] = C[X]
where C{X} is the set of all convergent power series with respect to the (X)-adic
metric.
As an additional corollary to Theorem 2.23 we have:
Corollary 2.30 If A is a ring with a finitely generated ideal I such that:
36
CHAPTER 2. FILTRATIONS AND COMPLETIONS
While many of the following theorems will be stated for nonlocal rings, and
I-adic completions, the reader should be aware that the case of a local ring with
the m-adic completion is often most important.
Lemma 2.31 (Artin-Rees) If A is Noetherian with an ideal I, and M is a
finitely generated A-module with submodule N , then there exists m > 0 such
that
N ∩ I m+n M = I n (N ∩ I m M )
for all n > 0.
N ∩ I m+n M ⊇ I n (N ∩ I m M ).
m = max{d1 , . . . , dk }.
x = a1 η1 + a2 η2 + · · · + ak ηk
x = b(a′1 η1 + · · · + a′k ηk )
37
2.3. ADIC COMPLETIONS AND LOCAL RINGS
Exercise 2.32 Show that x ∈ J(A) if and only if 1 − ax is a unit for all a ∈ A.
Exercise 2.33 Show that if A is I-adically complete, then I ⊆ J(A).
Theorem 2.34 (Krull’s Intersection Theorem) Let A be a ring with an ideal
I and M a finitely generated A-module such that IM = M . Then there exists
a ∈ I such that
(1 − a)M = 0.
xi = ai,1 x1 + · · · + ai,d xd
Let B be the above n × n matrix. Then we see that det(B) · xi = 0 for all
i = 1, . . . , d. Observe that det(B) ∈ 1 − I. Thus setting a = 1 − det(B)
completes the proof. ¥
38
CHAPTER 2. FILTRATIONS AND COMPLETIONS
39
2.3. ADIC COMPLETIONS AND LOCAL RINGS
T∞
Proof Let N = i=1 I n M . By the Artin-Rees Lemma, Lemma 2.31, there
exists k > 0 such that for all n we have
N = N ∩ I n+k M = I n (N ∩ I k M ) = I n N.
0→N →M →T →0
Since by Exercise 2.9, taking the inverse limit of an inverse system of exact
sequences is left exact, we get the following exact sequence by Proposition 2.22:
f g
0 −→ lim N/N ∩ I n M −→ lim M/I n M −→ lim T /I n T.
←− ←− ←−
This can also be checked directly and in fact, the last map is onto. To see this
take (xn ) ∈ lim T /I n T . We build a preimage of (xn ) by induction. Suppose we
←−
have (yi )16i6n where yi ∈ M/I n M and such that gn (yi ) = xi . By the above
remarks we have the commutative diagram with exact rows
fn+1 gn+1
0 N/N ∩ I n+1 M M/I n+1 M T /I n+1 T 0
ϕ
fn gn
0 N/N ∩ I n M M/I n M T /I n T 0.
40
CHAPTER 2. FILTRATIONS AND COMPLETIONS
Note that the vertical maps are all surjective. Using this fact, a simple diagram
chasing argument produces yn+1 ∈ M/I n+1 M such that ϕ(yn+1 ) = yn and
gn+1 (yn+1 ) = xn+1 . So by induction we get (yn ) ∈ lim M/I n M that maps to
←−
(xn ) via g. ¥
c ≃ M ⊗A A.
M b
ϕ : M ⊗A A b→M c,
x ⊗ (an ) 7→ (an x).
Note that using the properties of tensor product and inverse limits we get that
Ln b L\ n
i=1 A ≃ ( i=1 A). Suppose M is generated by d elements. Then there is an
exact sequence of the form
As → Ad → M → 0.
b
As ⊗A A b
Ar ⊗A A b
M ⊗A A 0
ϕ ψ θ
cs
A cr
A c
M 0.
b is a right exact
The exactness of the first row follows from the fact that − ⊗A A
functor. The exactness of the second row follows from Lemma 2.44. Since ϕ
and ψ are isomorphisms, θ is also an isomorphism by the Five Lemma. ¥
b is the I-adic
Theorem 2.48 Let A be Noetherian and I an ideal of A. If A
completion of A, then
A→A b
b is A-flat.
is flat. That is, A
41
2.4. FAITHFULLY FLAT MODULES
(2) N\ c c
1 + N2 = N 1 + N2
(2) Ib ⊆ J(A).
b
(3) The maximal ideals of A are in bijective correspondence with the maximal
ideals of A that contain I. Further, if m is a maximal ideal with I 6⊆ m.
Then m b
b = A.
N ′ → N → N ′′
M ⊗A N ′ → M ⊗A N → M ⊗A N ′′
is exact.
(2) The sequence of A-modules
0 → N ′ → N → N ′′ → 0
0 → M ⊗A N ′ → M ⊗A N → M ⊗A N ′′ → 0
is exact.
(3) M is A-flat and for all A-modules N ,
M ⊗A N = 0 ⇒ N = 0.
42
CHAPTER 2. FILTRATIONS AND COMPLETIONS
M ⊗A A/I = 0 ⇒ A = I.
mM ( M.
N = 0 ⇔ 0 → N → 0 is exact,
⇔ 0 → N ⊗A M → 0 is exact,
⇔ M ⊗A N = 0.
ϕ : A → N,
a 7→ a · x.
f g
N ′ −→ N −→ N ′′
and that
M ⊗A f M ⊗A g
M ⊗A N ′ −→ M ⊗A N −→ M ⊗A N ′′
is exact. We have the following commutative diagram:
g◦f
N′ N ′′
π
g◦f
N/ Ker(g ◦ f )
43
2.4. FAITHFULLY FLAT MODULES
M ⊗A π M ⊗A (g◦f )
M ⊗A (N/ Ker(g ◦ f ))
α β
M ⊗A N
In M ⊗A N we have then
X ⊆ Im(α) ⊆ Im(β) ⊆ X.
Thus
0 → M ⊗A Im(f ) → M ⊗A Ker(g) → 0
is an exact sequence. Therefore so is
0 → Im(f ) → Ker(g) → 0.
Therefore Im(f ) = Ker(g), our original sequence is exact. ¥
Example 2.52 If F is a free A-module, then F is faithfully flat. To see this
note M
F = Aα
α∈I
and so if M
0 = F ⊗A N = N
α∈I
we see that N = 0.
WARNING 2.53 Recall that a module M is called faithful if
AnnA (M ) = 0.
It should be easy to see that if an A-module is faithfully flat, then it is both
faithful and flat over A. However, the converse is not true! Consider Q as a
Z-module. We know that Q is Z-flat, and AnnZ (Q) = 0 so Q is faithful, however
Q ⊗Z Z/3Z = 0 but Z/3Z 6= 0.
Hence Q is not faithfully flat over Z.
44
CHAPTER 2. FILTRATIONS AND COMPLETIONS
Lemma 2.54 If
0→M →N →P →0
is an exact sequence of A-modules and if P is flat, then for any module T
0 → T ⊗A M → T ⊗A N → T ⊗A P → 0
is exact.
Proof Let T be any A-module. Let F be a free module that maps surjectively
onto T so that we have the exact sequence
0 → K → F → T → 0.
K ⊗A M K ⊗A N K ⊗A P 0
0 F ⊗A M F ⊗A N F ⊗A P 0
0 T ⊗A M T ⊗A N T ⊗A P 0
0 0 0
The first two columns are clearly exact and last column is exact because P is
flat. Free modules are flat, so the middle row is exact. Clearly the first row
is exact also. It remains to check that the bottom row is exact (and not just
right exact). Since K ⊗A P → F ⊗A P is injective, one can check by a diagram
chasing argument that T ⊗A M → T ⊗A N is injective. ¥
M → M ⊗A B,
x 7→ x ⊗ 1,
is injective.
45
2.4. FAITHFULLY FLAT MODULES
0 → I → J → J/I → 0.
0 → I ⊗A B → J ⊗A B → J/I ⊗A B → 0
J/I ⊗A B = JB/IB
= 0.
fe : M → M ⊗A B,
x 7→ x ⊗A 1.
ϕ : A → mA,
1 7→ m.
Now let I = Ker(ϕ) so that A/I ≃ mA. Then since B is A-flat we have the
following commutative diagram:
ϕ
A/I ≃ mA M
0
1A/I ⊗A B fe
ϕ⊗A 1B
A/I ⊗A B M ⊗A B
Since f −1 (IB) = I, we get that the map 1A/I ⊗A B on the left must be injective.
This contradicts that fe ◦ ϕ = 0. Therefore fe must be injective.
(3) ⇒ (4) By (3) the map A → A ⊗A B sending a 7→ a ⊗ 1 is injective. So
let
0 → M ′ → M → M ′′ → 0
46
CHAPTER 2. FILTRATIONS AND COMPLETIONS
diagram
0 0 0
0 M′ M M ′′ 0
0 M ′ ⊗A B M ⊗A B M ′′ ⊗A B 0
0 0 0
where all columns are exact (check it!) and the first two rows are exact by
assumption and by the flatness of B. The last row is also right exact by the
right exactness of − ⊗A B/A. A simple diagram chasing argument shows that
the last row is indeed exact and hence that B/A is A-flat. We leave this to the
reader to check, this diagram chase is sometimes called the Nine Lemma.
(4) ⇒ (1) Let
0 → M ′ → M → M ′′ → 0
be an exact sequence. We then have the same commutative diagram as in the
proof of (3) ⇒ (4). Now we have that the columns are exact by assumption, the
first row is exact by assumption, and the last row is exact since B/A is A-flat.
A diagram chasing argument shows that the middle row is exact and hence B
is A-flat.
We now show that for any A-module M , if M ⊗A B = 0 then M = 0 from
which it follows from Theorem 2.51 that B is faithfully flat over A. Consider
the exact sequence
0 → A → B → B/A → 0.
Let M be an A-module. Since B/A is A-flat, the sequence
0 → M → M ⊗A B → M ⊗A B/A → 0
b denotes the
Theorem 2.56 If A is a Noetherian ring with an ideal I, and A
I-adic completion of A, then the following are equivalent:
b is faithfully flat.
(1) A → A
47
2.4. FAITHFULLY FLAT MODULES
Proof (1) ⇒ (2) Suppose A → A b is faithfully flat. Take any maximal ideal m
b b
of A. Then mA 6= A by the previous theorem. Suppose m 6⊇ I. Then m + I = A,
so we
Pcan write 1 = x + y with x ∈ m and y ∈ I. Since y ∈ I, the element
∞
u = i=0 y i is a convergent, well-defined element of A. b But then
∞
X
xu = (1 − y) y i = 1.
i=0
Thus x is a unit b b = mA b ( A,
b a contradiction. We conclude
T in A. But x ∈ m
m ⊇ I. So I ⊆ m maximal m = J(A).
(2) ⇒ (1) Suppose Tnow that I ⊆ J(A). Then for every finitely generated
A-module M we have I n M = 0. So the I-adic topology on M is Hausdorff.
Therefore M → M c is injective. Since M is finitely generated, M c ≃ M ⊗A A.
b
So M → M ⊗A A b is injective for all finitely generated A-modules M . Thus
M ⊗A A b 6= 0. It remains then to show this for an arbitrary A-module M .
Let M now be any A-module. We can write M as a direct limit of its
finitely generated submodules, M = lim Mi . Since each x ∈ M is contained in
−→
Mi for some i, and since Mi → Mi ⊗A A b is injective for all i, M → M ⊗A A
b is
injective. ¥
b is the m-adic completion then A → A
Corollary 2.57 If A is a local ring and A b
is a faithfully flat extension.
Definition If (A, m) and (B, n) are local rings, a homomorphism ϕ : A → B
is called local if ϕ(m) ⊆ n.
C[X] ֒→ C[[X]]
C[X](X) ֒→ C[[X]]
48
Chapter 3
Dimension Theory
In this chapter, we will develop the notion of the dimension of a module three
different ways. The Dimension Theorem will then show that over a local ring,
the three notions are actually equivalent.
Remark Note that it is an easy exercise to see that such a P as in the above
definition is unique. Moreover, we define the degree of f to be the degree of
the polynomial P . If P = 0, then we say f has degree −1.
∆f (n) := f (n + 1) − f (n).
B0 (x) = 1
µ ¶
x x! (x)(x − 1) · · · (x − k + 1)
Bk (x) = := = .
k k!(x − k)! k!
49
3.1. THE GRADED CASE
Note that Bk (x) is essentially polynomial for all k > 0. Also note that
∆Bk (n) = Bk (n + 1) − Bk (n)
(n + 1)! n!
= −
k!(n − k + 1)! k!(n − k)!
(n + 1)n! (n − k + 1)n!
= −
k!(n − k + 1)! k!(n − k + 1)!
(k)n!
=
k!(n − k + 1)!
n!
=
(k − 1)!(n − (k − 1))!
= Bk−1 (n),
for k > 1.
Exercise 3.1 Let f ∈ Q[X]. Then the following are equivalent:
(1) f (n) is a Z-linear combination of the Bk (x).
(2) f (n) ∈ Z for all n > 0.
(3) f (n) ∈ Z for n sufficiently large.
(4) ∆f (n) is a Z-linear combination of the Bk (x).
Lemma 3.2 Let P be the set of essentially polynomial functions and let f :
Z → Z. The following are equivalent:
(1) f ∈ P.
(2) ∆f ∈ P.
(3) ∆r f = 0 for some r > 0.
Proof (1) ⇒ (2) ⇒ (3) Clear from the definitions.
(2) ⇒ (1) First note that if ∆f (n) = 0 for sufficiently large n, we have that
f (n + 1) − f (n) = 0, which implies that f (n + 1) = f (n) for sufficiently large n.
Because f : Z → Z, we see that f must be constant for large n, showing f ∈ P.
Now suppose that ∆f (n) = P (n) for n sufficiently large, where P (x) ∈ Q[x].
By the exercise,
t t
à t !
X X X
P (n) = ai Bk (n) = ai ∆Bk+1 (n) = ∆ ai Bk+1 (n) ,
i=0 i=0 i=0
Pt
where a0 , . . . , at ∈ Z. Let Q(x) = i=0 ai Bk+1 (n). Then if we set g(n) =
f (n) − Q(n) then for n sufficiently large, we have that
∆g(n) = ∆f (n) − ∆Q(n) = P (n) − P (n) = 0.
Hence f (n) = Q(n)+c for n sufficiently large and for some constant c. Therefore
f ∈ P.
(3) ⇒ (1) This follows from (2) ⇒ (1) applied r times. ¥
50
CHAPTER 3. DIMENSION THEORY
M = M0 ⊕ M1 ⊕ · · · ⊕ Mn ⊕ · · · ,
ψ : M0 ⊗A0 A0 [X1 , . . . , Xr ] → M
m0 ⊗ aX1i1 · · · Xrir 7→ a · xi11 · · · xirr · m0
(1) To show ℓA0 (Mn ) < ∞, it is enough to show that each Mn is finitely
generated over A0 , as A0 is both Artinian and Noetherian. Take any Mn and
suppose that α1 , . . . , αs generate M over A with each αi homogeneous of degree
di . Each element in Mn is then a sum of elements of the form
axi11 · · · xirr αj
Pr
where a ∈ A0 and t=1 it + dj = n. Given n and dj only finitely many it ’s can
be found, so Mn is finitely generated over A0 .
51
3.1. THE GRADED CASE
which shows us
∆χ(M, n) = χ(L, n + 1) − χ(N, n).
By the inductive hypothesis, the right-hand side is essentially polynomial of
degree at most r − 2. Thus ∆χ(M, n) is essentially polynomial of degree at most
r − 2. By Lemma 3.2, we have the degree of χ(M, n) is essentially polynomial
of degree at most r − 1. So by induction, we have proved (2).
ψ : M0 ⊗A0 A0 [X1 , . . . , Xr ] → M
m ⊗ aX1i1 · · · Xrir 7→ m · a · xi11 · · · xirr .
52
CHAPTER 3. DIMENSION THEORY
So we see that µ ¶
n+r−1
N= .
r−1
Alternatively one can realize that the above formula is the one for choosing with
replacement n items from r types of item. Now by (1) we know that χ(M, n) is
essentially polynomial of degree at most r − 1. So by χ(M, n) we shall instead
now mean the polynomial equal to χ(M, n) for large n. Thus for n sufficiently
large,
(n + r − 1)!
χ(M, n) = ℓA0 (Mn ) 6 ℓA0 (M0 ) · N = ℓA0 (M0 ) ·
(r − 1)!n!
So we see that
(n + r − 1)!
χ(M, n) 6 ℓA0 (M0 ) ·
(r − 1)!n!
and so
(n + r − 1)!
(r − 1)!χ(M, n) 6 ℓA0 (M0 ) · .
n!
Taking the limit as n goes to infinity of both sides, we get
(⇐) Conversely, suppose that ∆r−1 χ(M, n) = ℓA0 (M0 ). We will show that
ψ as described above is an isomorphism. Proceed by induction on ℓA0 (M0 ).
Suppose that ℓA0 (M0 ) = 1 and so M0 = A0 /m0 = k, where m0 is some maximal
ideal of A0 . Consider the exact sequence
ψ
0 −→ L −→ k[X1 , . . . , Xr ] −→ M −→ 0,
0 → Ln → k[X1 , . . . , Xr ]n → Mn → 0.
Now we have
ℓA0 (k[X]n ) = ℓA0 (Ln ) + ℓA0 (Mn )
and so
χ(k[X], n) = χ(L, n) + χ(M, n).
53
3.1. THE GRADED CASE
54
CHAPTER 3. DIMENSION THEORY
but by an argument similar to the one above we see that ∆r−1 χ(Li , n) > 0 and
hence that ∆r−1 χ(L, n) > 0. So we see that L = 0 and hence our map ψ is an
isomorphism. ¥
(1) Each Mi is a finite dimensional vector space since ℓk (Mn ) = dimk (Mn ) <
∞.
en (M ) := ∆d χ(M, n) = d! ad ,
0 = (M ⊗A N ) ⊗A A/m = M ⊗A (N ⊗A A/m)
= M ⊗A N/mN
= M ⊗A A/m ⊗A/m N/mN
= M/mM ⊗A/m N/mN.
At this point note that M/mM is a finite dimensional vector space over A/m. We
claim that M 6= 0 implies that M/mM 6= 0, for if M/mM = 0, then M = mM ,
and hence by Nakayama’s Lemma, Corollary 2.35, M = 0. Since M/mM 6= 0
as a finite dimensional vector space over A/m and since N/mN 6= 0 as a finite
dimensional vector space over A/m, we see that M/mM ⊗A/m N/mN 6= 0, a
contradiction. ¥
55
3.1. THE GRADED CASE
56
CHAPTER 3. DIMENSION THEORY
Proof Write
∆P ((Mi ), n) = P ((Mi ), n + 1) − P ((Mi ), n) = ℓ(M/Mn+1 ) − ℓ(M/Mn ).
Since length is additive, we see that the right-hand side is ℓ(Mn /Mn+1 ) by
looking a the exact sequence
0 → Mn /Mn+1 → M/Mn+1 → M/Mn → 0.
Now
Gr(M ) = M/M1 ⊕ M1 /M2 ⊕ · · · ⊕ Mn /Mn+1 ⊕ · · · ,
Gra (A) = A/a ⊕ a/a2 ⊕ · · · ⊕ an /an+1 ⊕ · · · .
Note that while Gra (A) is Noetherian, and is generated by elements of a/a2 , A/a
is not necessarily Artinian, and hence we cannot use the Hilbert-Serre Theorem,
Theorem 3.3. By assumption we have ℓ(M/aM ) < ∞. Hence
Supp(M/aM ) = Supp(M ) ∩ Supp(A/a)
= Supp(A/ Ann(M )) ∩ Supp(A/a)
= Supp(A/ Ann(M ) ⊗A A/a)
= Supp(A/(Ann(M ) + a)),
and so we see ℓ(A/(Ann(M )+a)) < ∞. But this shows us that A/(Ann(M )+a)
is Artinian. Now take B = A/ Ann(M ) and b = (a + Ann(M ))/ Ann(M ). Each
Mn /Mn+1 is a B/b-module. Now
Grb (B) = B/b ⊕ b/b2 ⊕ · · · ⊕ bn /bn+1 ⊕ · · ·
is a graded ring over B/b which is finitely generated by elements of b/b2 and
B/b is Artinian. Moreover, Gr(M ) is a finitely generated Grb (B)-module
and ℓA (Mn ) = ℓB (Mn ). Hence by the Hilbert-Serre Theorem, Theorem 3.3,
χ(E0 (M ), n) = ℓ(Mn /Mn+1 ) is essentially polynomial and hence ∆P ((Mi ), n)
is essentially polynomial, which shows us that P ((Mi ), n) is essentially polyno-
mial. ¥
Theorem 3.8 (Samuel) If A is Noetherian, M is a finitely generated A-
module, a is an ideal of A such that ℓ(M/aM ) < ∞, and (Mi ) is a filtration of
M such that an M ⊆ Mn , then define
Pa (M, n) := ℓ(M/an M ).
The following are true:
(1) Pa (M, n) > P ((Mi ), n).
(2) Suppose that (Mi ) is a-good. Then
Pa (M, n) = P ((Mi ), n) + R(n)
where the degree of R(n) is strictly less than the degree of Pa ((Mi ), n).
In particular, Pa (M, n) and P ((Mi ), n) have the same degree and same
leading coefficient. Moreover the leading coefficient of R(n) is nonnegative.
57
3.1. THE GRADED CASE
Proof First we will prove (1). Since an M ⊆ Mn we have the exact sequence:
0 → Mn /an M → M/an M → M/Mn → 0
Thus
ℓ(M/an M ) > ℓ(M/Mn ) (⋆)
and so by definition Pa (M, n) > Pa ((Mi ), n).
Now for (2) we will start by defining
R(n) = ℓ(M/an M ) − ℓ(M/Mn ) = ℓ(Mn /an M ).
Since (Mi ) is a-good, we see that there exists m > 0 such that
an+m M ⊆ Mn+m = an Mm ⊆ an M
for some large n. Thus we have the exact sequence
0 → Mn+m /an+m M → M/an+m M → M/Mn+m → 0.
and so ℓ(M/an+m M ) > ℓ(M/Mn+m ). By (⋆) we see that
Pa (M, n + m) > Pa ((Mi ), n + m) > Pa (M, n) > Pa ((Mi ), n)
for large n. Hence Pa (M, n) has the same degree as Pa ((Mi ), n) with the same
leading coefficient. So deg(R(n)) is strictly less than that of Pa (M, n). Since
R(n) > 0 for every n, we see that the leading coefficient of R(n) must be
nonnegative. ¥
Definition If A is Noetherian, M is a finitely generated A-module, a is an
ideal of A such that ℓ(M/aM ) < ∞, then Pa (M, n) as defined above by
Pa (M, n) := ℓ(M/an M ).
is called the Hilbert-Samuel polynomial of M with respect to a.
Definition (First Notion of Dimension) If (A, m) is a local ring and M is a
finitely generated A-module denote
d(M ) := deg(Pm (M, n)).
Corollary 3.9 Properties of the Hilbert-Samuel polynomial Pa (M, n):
(1) deg(Pa (M, n)) 6 m where m is the minimal number of generators of
(a + Ann(M ))/ Ann(M ).
(2) Suppose r is the minimal number of generators of a. Then
∆r Pa (M, n) 6 ℓ(M/aM ).
Moreover, equality holds if and only if the canonical homomorphism
M∞
an M
M/aM [X1 , . . . , Xr ] → n+1
n=0
a M
is an isomorphism.
58
CHAPTER 3. DIMENSION THEORY
0→L→M →N →0
Proof Since ℓ(M/aM ) < ∞, we know that L/aL and N/aN both have finite
length, hence the equation we wish to show is well-defined. We have an exact
sequence:
L M N
0→ → n → n →0
L ∩ an M a M a N
Write Ln = L ∩ an M . By the Artin-Rees Lemma, Lemma 2.31, (Li ) is a-good.
Thus ℓ(M an M ) = ℓ(N/an N ) + ℓ(L/L ∩ an M ) and so
0→L→M →N →0
and that
Supp(M/a′ M ) = Supp(A/(Ann(M ) + a′ )).
Moreover note that we have that
p \ \ p
Ann(M ) + a = p= p= Ann(M ) + a′ .
p⊇(Ann(M )+a) p⊇(Ann(M )+a′ )
59
3.1. THE GRADED CASE
(Ann(M ) + a′ )m ⊆ Ann(M ) + a
′
(Ann(M ) + a)m ⊆ Ann(M ) + a′ .
0→L→M →N →0
Proof To start, note that since Pa (M, n) = PAnn(M )+a (M, n), we may assume
that M is an A/ Ann(M )-module. Thus we will assume that AnnA (M ) = 0,
and that ℓ(A/a) < ∞. Hence
is a set containing only maximal ideals. Now use the Primary Decomposition
Theorem, Theorem 1.15, to write
a = q1 ∩ · · · ∩ qr
60
CHAPTER 3. DIMENSION THEORY
and define
ai := aAmi = qi Ami .
Since A/qi is a local ring with maximal ideal mi , we see that
The previous theorem shows us that the degree of Pa (M, n) is a local prop-
erty and thus when ℓ(M/aM ) < ∞, so is the Hilbert-Samuel multiplicity of M
with respect to a.
61
3.2. THE TOPOLOGICAL APPROACH
(2) Y is irreducible if and only if any two nonempty proper open subsets of
Y must have a nonempty intersection.
Proof Exercise. ¥
62
CHAPTER 3. DIMENSION THEORY
Remark Our definition of compact above does not include the assumption that
X is Hausdorff—recall that a Hausdorff space is one where given any two points
you can find open sets containing those points such that the intersection of the
open sets is empty. It used to be the case that all compact topological spaces
were taken to be Hausdorff and topological spaces that would be otherwise be
compact had they been Hausdorff were called quasicompact. However, the
restriction that compact spaces be Hausdorff is becoming less common and so
we will not require compact spaces to be Hausdorff.
(2) X is compact.
Proof Exercise. ¥
Now throw out V1,i if it is contained in V2,j and vice versa. Hence S has no
minimal elements and thus must be empty.
63
3.2. THE TOPOLOGICAL APPROACH
To see the second part of the proposition, let Y be an irreducible closed set
in X. Then
Y =Y ∩X
= Y ∩ (X1 ∪ · · · ∪ Xn )
[n
= Y ∩ Xi .
i=1
where Xi is a component of X.
Example 3.19
(1) If k is a field, Spec(k) = {(0)}.
(2) Spec(Z) = {(0), (2), (3), (5), (7), (11), (13), (17), . . . }.
(3) Spec(C[X]) = {(0)} ∪ {(X − a) : a ∈ C}.
(4) If k is an algebraically closed field, Spec(k[X]) = {(0)} ∪ {(X − a) : a ∈ k}.
We should note that in general, the prime spectrum of a ring is not easy to
compute.
Definition Let a be any ideal of A. Define
64
CHAPTER 3. DIMENSION THEORY
Now define the open sets to be the complement of the closed sets, that is, the
open sets of Spec(A) are sets of the form
n o
p does not contain the generators
Spec(A) − V (a) = p ∈ Spec(A) :
of the ideal a
for some a ⊆ A.
On one hand the Zariski topology is very nice. It applies to all rings. How-
ever, there is a price to be paid. The Zariski topology is not Mr. Roger’s
Neighborhood. In general, Spec(A) under the Zariski topology is not Hausdorff.
In particular if A contains a unique minimal prime ideal, then then only closed
set containing it is all of Spec(A). This sort of point is everywhere dense and is
called a generic point.
65
3.2. THE TOPOLOGICAL APPROACH
Proof Exercise. ¥
I(Z2 ) ⊆ I(Z1 ).
Proof Exercise. ¥
V (I(Z)) = Z.
Proof Exercise. ¥
Remark From the previous propositions, one sees that there is a bijective in-
clusion reversing correspondence between closed sets of Spec(A) and the radical
ideals of A.
Proof (⇒) If I(Z) is not prime, then there exists a, b ∈ I(Z) such that
a, b ∈
/ I(Z) such that ab ∈ I(Z). Set
I1 = I(Z) + a,
I2 = I(Z) + b.
(0) = q1 ∩ · · · ∩ qr
where each qi is pi -primary and so V (qi ) = V (pi ). Eliminate those V (pi ) for
which pi is not minimal in Ass(A). Then reindexing we have
Since the V (pi ) are the irreducible components of Spec(A) this proves the propo-
sition. ¥
66
CHAPTER 3. DIMENSION THEORY
WARNING 3.27 The converse of the above proposition is not true. We leave
it as an exercise to show that if k is a field, then
k[X1 , . . . , Xn , . . . ]
A=
(X12 , . . . , Xn2 , . . . )
Exercise 3.28 Given a ring A and an A-module M , show that the dimension
of M is the dimension of the topological space SuppA (M ) ⊆ Spec(A).
Nagata gives an example of a ring A such that A is Noetherian but with infinite
dimension in [14].
Example 3.30 In the ring C[X1 , . . . , Xn ] we have the chain of prime ideals
dim(Ami ) = dim(A).
Hence we see that some questions about the dimension of a ring can be reduced
to questions about local rings.
67
3.3. SYSTEMS OF PARAMETERS AND THE DIMENSION THEOREM
ℓ(M/(x1 , . . . , xn )M ) < ∞
ℓ(M/mn M ) = ℓ(M/mn+1 M )
mn M = mn+1 M = m(mn M )
68
CHAPTER 3. DIMENSION THEORY
p0 ( p1 ( · · · ( pm
A/p0 ֒→ M.
Pm (N/xN, n) = R(n).
Thus d(N/xN ) = deg(Pm (M, n)) = deg(R(n)) < n. By the inductive hypothe-
sis, dim(N/xN ) 6 d(N/xN ). Since
p1 ( · · · ( pm
m − 1 6 dim(N/xN ) 6 d(N/xN ) 6 n − 1.
ℓA (M/(x1 , . . . , xn )M ) < ∞.
69
3.3. SYSTEMS OF PARAMETERS AND THE DIMENSION THEOREM
b (M , n).
and so Pm (M, n) = Pm c ¥
Corollary 3.34 If (A, m) is a local ring, then
dim(A) = min{i : (a1 , . . . , ai ) = a where a is m-primary}.
Proof Let dim(A) = n, then there exists x1 , . . . , xn a system of parameters
of A such that ℓ(A/x) < ∞. Thus (x1 , . . . , xn ) is m-primary. Since s(A) = n,
we see that we cannot obtain y1 , . . . , yt with t < n such that ℓ(A/y) < ∞. So
for any y1 , . . . , yt with t < n, (y1 , . . . , yt ) is not m-primary. ¥
Corollary 3.35 If A is a Noetherian ring, not necessarily local, consider any
decreasing chain of prime ideals in A
p0 ) p1 ) · · · ) pi ) · · ·
Then there exists n such that pn = pn+1 = · · · .
70
CHAPTER 3. DIMENSION THEORY
and so pn = pn+1 = · · · . ¥
ht(I) = inf{ht(p) : I ⊆ p}
= inf{ht(p) : p is minimal in AssA (A/I)}.
coht(I) = dim(A/I).
Exercise 3.36 Check that for any ideal I, ht(I) + dim(A/I) 6 dim(A).
WARNING 3.37 Even if I is a prime ideal, the above inequality may be strict.
in Ap such that
µ ¶
x1 xn
,...,
u1 un
is pAp -primary. This is the case if and only if there exist x1 , . . . , xn ∈ p and p
contains (x1 , . . . , xn ) minimally. ¥
71
3.3. SYSTEMS OF PARAMETERS AND THE DIMENSION THEOREM
Proof By Corollary 3.38 the minimal prime containing (x) has height at most
one. The prime p containing (x) cannot have height zero, as then p ∈ Ass(A)
by Corollary 1.39 and hence then every element of p is a zero divisor, which is
not the case. ¥
Remark The above corollary to the Dimension Theorem is sometimes called
Krull’s Hauptidealsatz.
Corollary 3.40 Let (A, m) be a local ring and x be an element of m which is
not a zerodivisor. Then dim(A/xA) = dim(A) − 1.
Proof This follows from the previous corollary and the definition of dimen-
sion. ¥
Exercise 3.41 If (A, m) is a local ring and M is a finitely generated A-module
with x1 , . . . , xi ∈ m, then
dim(M/(x1 , . . . , xi )M ) > dim(M ) − i.
Equality holds if and only if x1 , . . . , xi form part of a system of parameters for
M.
Exercise 3.42 Let A be a Noetherian ring of dimension at least 2. Then A
has infinitely many prime ideals of height 1.
Example 3.43 A ring A is Artinian if and only if dim(A) = 0.
Example 3.44 A PID has dimension one.
Example 3.45 dim(Z) = 1.
Example 3.46 If k is a field, then dim(k[X]) = 1.
Example 3.47 If k is a field, then dim(k[[x]]) = 1.
Lemma 3.48 If A is a ring and P1 ( P2 are two prime ideals of A[X] such
that
P1 ∩ A = P2 ∩ A = p,
then P1 = p[X].
Proof Suppose not. Then
p[X] ( P1 ( P2
and so
(0) ( (P1 /p)[X] ( (P2 /p)[X]
in (A/p)[X]. Set U = A − p. Since P1 ∩ U = P2 ∩ U = ∅, and since localizations
are exact, we have
(0) ( U −1 (P1 /p)[X] ( U −1 (P2 /p)[X]
is a strict chain of prime ideals in (Ap /pAp )[X] = U −1 (A/p)[X]. But this
contradicts that dim(k[X]) = 1 when k is a field as k[X] is a PID, hence all
primes are principal and so are of height one or zero. Thus P1 = p[X]. ¥
72
CHAPTER 3. DIMENSION THEORY
p0 ( p1 ( · · · ( pn = p
is a chain of prime ideals in A[X]. Thus ht(p[X]) > ht(p) and so we see that
ht(p[X]) = ht(p). ¥
P0 ( P1 ( · · · ( Pn
73
3.3. SYSTEMS OF PARAMETERS AND THE DIMENSION THEOREM
and thus
n − 1 6 dim(Apn−1 )[X] 6 dim(A).
Thus n 6 dim(A) + 1 and so dim(A[X]) = dim(A) + 1.
Case 2: Suppose that pn−1 = pn . By Lemma 3.48, we have Pn−1 = pn−1 [X].
By Lemma 3.49, we have ht(pn−1 [X]) = ht(pn−1 ). Thus
dim(A[[X]]) = dim(A) + 1
74
Chapter 4
Integral Extensions
bn + an−1 bn−1 + · · · + a1 b + a0 = 0
75
4.1. BASIC PROPERTIES
Let X be the n × n matrix shown. Let Yi be the identity n × n matrix with the
ith column replaced by the column in the above equation with entries c1 , . . . , cn .
Then by the above equation, the ith column in the product X · Yi will be the 0
column for all i. Thus det(X · Yi ) = 0. Therefore
76
CHAPTER 4. INTEGRAL EXTENSIONS
Proposition 4.7 Let A be a domain. Suppose that for every maximal ideal m
of A, Am is integrally closed. Then A is integrally closed.
Now take \
x∈ Am
m
Now let x ∈ K be integral over A. Then x is integral over Am for all maximal
ideals m. Since Am is integrally closed for every maximal ideal m, we have that
\
x∈ Am = A.
m
So A is integrally closed. ¥
Remark By the previous proposition, we see that the property of being inte-
grally closed is a local property.
bn + λn−1 bn−1 + · · · + λ1 b + λ0 = 0,
77
4.1. BASIC PROPERTIES
1
= −λn−1 − λn−2 a − · · · − λ0 an−1 ∈ A.
a
Therefore A is a field. ¥
Definition Let f : A → B be a map of rings and let and let a and b be ideals
in A and B respectively. We say that b lies over a if a = f −1 (b).
Remark This will usually be used in the case where a and b are prime ideals
and A ֒→ B is an integral extension. Then f −1 (b) = a becomes b ∩ A = a.
Proof A/p ֒→ B/P is an integral extension. The rest then follows from
Proposition 4.8. ¥
xn + an−1 xn−1 + · · · + a0 = 0, ai ∈ A.
Then
x(xn−1 + · · · + a1 ) = −a0 .
We must have a0 6= 0, for otherwise, using that x is a nonzerodivisor we have
that xn−1 + · · · + a1 = 0, which is an integral dependence of smaller degree.
Therefore 0 6= a0 ∈ xB ∩ A. ¥
78
CHAPTER 4. INTEGRAL EXTENSIONS
pB ∩ A = P ∩ A
=Q∩A
= p.
P1 ( P2 ( · · · ( Pn
P1 ∩ A ( P2 ∩ A ( · · · ( Pn ∩ A
79
4.1. BASIC PROPERTIES
A ֒→ B
Proof Take any minimal prime p ⊇ a so that ht(a) = ht(p). By Theorem 4.14
there is a prime ideal P of B lying over p such that P ⊇ I. By Proposition 4.13
it follows that ht(P ) 6 ht(p). Thus
80
CHAPTER 4. INTEGRAL EXTENSIONS
f ∗ : Spec(B) → Spec(A),
P 7→ f −1 (P ),
f ∗ is a continuous map.
(2) Spec(A) is compact.
(3) Suppose f has the Going-Up Property. Then f ∗ is a closed map.
Proposition 4.19 Suppose A is an integral domain, K = Frac(A), L is an
algebraic extension of K, and B is the integral closure of A in L. Then:
(1) L = U −1 B where U = A − {0}; that is, if x ∈ L, then x = b/a where
b ∈ B and 0 6= a ∈ A.
(2) If σ ∈ GalK (L) and if a prime P ⊆ B lies over the prime p ⊆ A, then
σ(P ) also lies over p.
B L
A K
xn + λn−1 xn−1 + · · · + λn = 0,
xn + an−1 xn−1 + · · · + a0 = 0.
Applying σ we get
81
4.1. BASIC PROPERTIES
For the next couple theorems we recall some ideas from basic algebra.
G = {σ1 , . . . , σn }.
y = σ1 (x) · · · σn (x).
82
CHAPTER 4. INTEGRAL EXTENSIONS
B B
∪ ∪
Q Q
A B
∪ ∪
q Q′
∪ ∪
p P′
83
4.1. BASIC PROPERTIES
Since Q and Q′ both lie over q and since L/K is normal by Theorem 4.21,
there exists σ ∈ GalK (L) such that σ(Q′ ) = Q. Thus σ(P ′ ) lies over p and
σ(P ′ ) ⊆ σ(Q′ ) = Q. Now take P = σ(P ′ ) ∩ B. Then P ⊆ Q ∩ L = Q and
P ∩ A = p by construction.
Case 2. Now suppose B is torsion free over A. Suppose p ⊆ q are prime.
We want to apply Case 1, so given
A B
∪ ∪
q Q
∪
p
A B
∪ ∪
q Q
∪
p
Exercise 4.23 To show that the both the hypotheses are necessary in the
Going-Down Theorem, we give two examples, but leave the details as an exercise.
84
CHAPTER 4. INTEGRAL EXTENSIONS
Example 4.30 Z(p) , k[[X]], and k[X](X) , where k is a field, are DVRs.
(1) A is a DVR.
85
4.2. NORMAL DOMAINS AND DVRS
86
CHAPTER 4. INTEGRAL EXTENSIONS
T
Thus to show A is normal it is enough to show that A = P : ht(P )=1 AP .
T
Take z ∈ ht(P )=1 AP . We can write z = x/y where x, y ∈ A and y 6= 0.
Thus x ∈ yAP for all P with ht(P ) = 1. Let
yA = q1 ∩ · · · ∩ qr
k[t3 , t4 , t5 ] ֒→ k[t].
Since k[t] is the integral closure of k[t3 , t4 , t5 ], we see that A is not normal.
Example 4.35 k[x1 , x2 , . . . , xn ] is a UFD, and so it is normal.
Example 4.36 The ring k[x, y, u, v]/(xy − uv) is not normal. This is hard to
show. We will discuss this later.
87
4.3. DEDEKIND DOMAINS
(1) M1 + M2
(2) M1 ∩ M2
(3) M1 M2
(A :K M ) = (A :K M )A
= (A :K M )M M −1
⊆ AM −1
= M −1 .
Thus M −1 = (A :K M ). ¥
Proof Exercise. ¥
88
CHAPTER 4. INTEGRAL EXTENSIONS
Proof First we show that every invertible prime ideal of A is maximal. Let
P be an invertible prime ideal. Choose a ∈
/ P . By assumption we can write
(P + aA)2 = P1 · · · Pn ,
P + a2 A = Q1 · · · Qm .
Let (−) denote the image in A/P . Since (P + aA)2 = P + a2 A, we have that
(a2 ) = P 1 · · · P n = Q1 · · · Qm .
Since the principal ideal (a2 ) is invertible, so are P i and Qj for each i, j by
Proposition 4.40. By Proposition 4.41 we must have that n = m and for each
i there exists j with P i = Qj . Therefore by the Correspondence Theorem,
Pi = Qj in A. Hence P + a2 A = (P + aA)2 . We now have
P ⊆ P + a2 A = (P + aA)2 ⊆ P 2 + aA,
P ⊆ P 2 + P a ⊆ P.
Thus
P = P2 + Pa
= P (P + Aa).
A = P −1 P
= P −1 P (P + (a))
= P + (a).
89
4.3. DEDEKIND DOMAINS
Proof First we show that every ideal can be written as a product of prime
ideals. Let a be an ideal. We may assume since (0) is prime that (0) 6= a. Let
a = q1 ∩ · · · ∩ qr be a primary decomposition with qi being pi -primary. Since
dim(A) = 1, each pi is maximal. Thus Api is a DVR and so qi Api = pni i Api .
Since pi is maximal, pni i is pi -primary. So pni i Api ∩ A = pni = qi . Therefore
Proof Exercise. ¥
90
CHAPTER 4. INTEGRAL EXTENSIONS
xn + an−1 xn−1 + · · · + a0 = 0
91
4.4. THE KRULL-AKIZUKI THEOREM
92
CHAPTER 4. INTEGRAL EXTENSIONS
Therefore
ℓ(M/aM ) 6 r · ℓ(A/aA).
Case 2 We now prove the general case. Suppose that the assertion is not true
for the module M , in other words there exists a ∈ A such that ℓ(M/aM ) >
r · ℓ(A/aA). Then we may choose a finitely generated submodule M ′ ⊆ M such
that ℓ(M ′ /aM ′ ) > rℓ(A/aA). But then
D ⊆ B ⊆ L.
93
4.4. THE KRULL-AKIZUKI THEOREM
Theorem 4.53 Let L/K be a finite field extension. Then L/K is separable if
and only if there exists 0 6= x ∈ L such that trL/K (x) 6= 0.
94
CHAPTER 4. INTEGRAL EXTENSIONS
95
4.5. NOETHER’S NORMALIZATION LEMMA
xi = Yi − Y1αi for i = 2, . . . , n
We want to choose the αi so that they the highest degree term in f (Y1 , x2 +
Y1α2 , . . . , xn + Y 1 αn ) is of the form ai1 ...in Y1i1 +α2 i2 +···+αn in . Pick s larger than
all exponents ik appearing in the expansion of f . We leave it to the reader to
check that setting α2 = s, α3 = s2 ,. . .,αn = sn−1 satisfies the above criterion.
With this choice of αi we have that A is integral over C. Thus we have dim(C) =
dim(A) = n.
We must also show that these elements x1 , . . . , xn are algebraically indepen-
dent; in other words, we must show that C = k[x1 , . . . , xn ] is isomorphic to a
polynomial ring. So take an onto map
η
k[X1 , . . . , Xn ] −→ k[x1 , . . . , xn ].
Step 3 We now prove the theorem for r = 1 and a any ideal of the polynomial
ring A = k[Y1 , . . . , Yn ].
Pick nonzero x1 ∈ a and consider the ideal x1 A. Then by Step 2 there are
x2 , . . . , xn ∈ A such that A is integral over C = k[x1 , . . . , xn ] and x1 A∩C = (x1 ).
Now consider a ∩ C. We proceed by induction on the number of variables n.
If n = 1 then the theorem is obvious. So we consider the ideal a∩k[x2 , . . . , xn ]
in the polynomial ring B = k[x2 , . . . , xn ]. By induction there are t2 , . . . , tn ∈ B
such that B is integral over k[t2 , . . . , tn ] and a ∩ k[t2 , . . . , tn ] = (t2 , . . . , td ) for
some d 6 n. Setting D = k[x1 , t2 , . . . , tn ] we have that A is integral over D and
96
CHAPTER 4. INTEGRAL EXTENSIONS
Step 4 We now prove the general case of the theorem for the polynomial ring
A = k[Y1 , . . . , Yn ].
We proceed by induction on r. Step 3 finished the base case of r = 1. So by
induction we may assume that there exists algebraically independent elements
x1 , . . . , xn such that A is integral over C = k[x1 , . . . , xn ] and such that
B = k[x1 , . . . , xd , td+1 , . . . , tn ]
and that
ai ∩ B = (x1 , . . . , xh(i) ) for i < r
and
ar ∩ B = (x1 , . . . , xd , td+1 , . . . , th(r) ).
This completes the proof. ¥
p0 ( · · · ( pn
97
4.5. NOETHER’S NORMALIZATION LEMMA
98
CHAPTER 4. INTEGRAL EXTENSIONS
Let fi (X1 , . . . , Xi ) be Pα
ki−1 (Xi ) where α1 , . . . , αi−1 are replaced by X1 , . . . , Xi−1
i
99
4.5. NOETHER’S NORMALIZATION LEMMA
Proof Let
p = p0 ( p1 ( · · · ( pr = q
and
p = q0 ( q1 ( · · · ( qs = q
dim(A) − r = dim(A/pr )
= dim(A/q)
= dim(A/qs )
= dim(A) − s.
Therefore r = s. ¥
100
CHAPTER 4. INTEGRAL EXTENSIONS
D L
G
C F =L
B L
A K
k[x] E = k(x)
C′ F′
C F
k ′ [x] E′
k[x] E
101
4.5. NOETHER’S NORMALIZATION LEMMA
102
Chapter 5
Homological Methods
At first, homological methods may seem very abstract. How can something so
abstract be useful? Consider the following:
Definition If (A, m) is local, A is a regular local ring if
103
5.1. COMPLEXES AND HOMOLOGY
dn−1 dn
· · · −→ X n−1 −→ X n −→ X n+1 −→ · · ·
Since complexes and cocomplexes are dual notions, we will only discuss the
situation for complexes, and leave the rest as an exercise for the reader.
dX
n+1 dX
n
··· Xn+1 Xn Xn−1 ···
fn+1 fn fn−1
fi : Ker(dX Y
i ) → Ker(di ).
fi : Im(dX Y
i+1 ) → Im(di+1 ).
Hn (f• ) : Hn (X• ) → Hn (Y• ).
f• : X• → Y• ,
g• : X• → Y• ,
104
CHAPTER 5. HOMOLOGICAL METHODS
are called homotopic if there exist A-module maps hn : Xn → Yn+1 such that
in the diagram below
dX
n+1 dX
n
··· Xn+1 Xn Xn−1 ···
hn hn−1
fn+1 gn+1 fn gn fn−1 gn−1
we have
dYn+1 ◦ hn + hn−1 ◦ dX
n = fn − gn
f• g•
0 −→ X•′ −→ X• −→ X•′′ −→ 0
fn gn
0 −→ Xn′ −→ Xn −→ Xn′′ −→ 0
f• g•
0 −→ X•′ −→ X• −→ X•′′ −→ 0
Hn (f• ) Hn (g• )
Hn (X•′ ) Hn (X• ) Hn (X•′′ )
∂n
105
5.1. COMPLEXES AND HOMOLOGY
.. .. ..
. . .
′ fn+1 gn+1 ′′
0 Xn+1 Xn+1 Xn+1 0
d′n+1 dn+1 d′′
n+1
fn gn
0 Xn′ Xn Xn′′ 0
d′n dn d′′
n
′ fn−1 gn−1 ′′
0 Xn−1 Xn−1 Xn−1 0
.. .. ..
. . .
This xn+1 in turn maps down via dn+1 to some element of Xn , call it yn . By
the commutativity of the diagram
gn (xn − yn ) = 0
and so by the exactness of the rows, there exists x′n ∈ Xn′ such that
fn (x′n ) = xn − yn .
xn = xn − y n ∈ Hn (X• ).
106
CHAPTER 5. HOMOLOGICAL METHODS
Thus, xn ∈ Im Hn (f• ). The method used in the above part of the proof is called
diagram chasing. Often when it is done in practice, the elements found above
are written next to the object they live in on the commutative diagram itself.
Now we need to define the ∂n ’s. Consider x′′n ∈ Hn (X•′′ ) we will define
∂n (x′′n ). Take xn ∈ Xn such that
gn (xn ) = x′′n .
gn−1 (xn−1 ) = 0.
d′n−1 (x′n−1 ) = 0.
Now we define
∂n (x′′n ) := x′n−1 ∈ Hn−1 (X•′ ).
It is left as an exercise for the reader to check that this definition of ∂n is well
defined. Moreover, the reader should check that the sequences
Hn (g• ) ∂
Hn (X• ) −→ Hn (X•′′ ) −→
n
Hn−1 (X•′ ),
∂ Hn−1 (f• )
Hn (X•′′ ) −→
n
Hn−1 (X•′ ) −→ Hn−1 (X• ),
0 Y•′ Y• Y•′′ 0
we get a commutative diagram with long exact rows:
107
5.1. COMPLEXES AND HOMOLOGY
where the degree i part is Xi−1 ⊕ Yi and the differentials are defined as follows:
Exercise 5.6 Show that the mapping cone of a map of complexes is a complex.
Definition Given a complex X• , X• (j) is used to denote a shift, where
Xi (j) := Xi+j .
Exercise 5.7 Given a map of complexes f• : X• → Y• , let C• be the mapping
cone of f• . Then there is a short exact sequence of complexes:
0 Y• C• X• (−1) 0
y (0, y)
(x, y) x
The above short exact sequence of complexes induces a long exact sequence:
Hi (f• )
· · · −→ Hi (X• ) −→ Hi (Y• ) −→ Hi (C• ) −→ · · ·
Remark For more information on the mapping cone see [2, §2.6].
M π N 0
108
CHAPTER 5. HOMOLOGICAL METHODS
is exact.
S1 := Ker(F0 → M ).
Now we may map another free module onto S1 . Hence we may inductively
define
Si+1 := Ker(Fi → Si ).
0 → S1 → F0 → M → 0,
0 → Si+1 → Fi → Si → 0.
Now we put the above short exact sequences together letting each Si connect
the short exact sequences:
0 0
S2
d2 d1 π
··· F1 F0 M 0
S1
0 0
The di ’s above are formed by taking the composition of the relevant maps, while
π is the canonical surjection. Hence we obtain a free resolution of M . Since
every free module is projective, we obtain a projective resolution of M . Note
that if M were a finitely generated module over a Noetherian ring, then we
could insist that each Fi be a finitely generated free module.
109
5.1. COMPLEXES AND HOMOLOGY
dM
1 πM
··· P1 P0 M 0
f
dN
1 πN
··· Q1 Q0 N 0
P0
f0
f ◦πM
Q0 πN N 0
P1
f1
f0 ◦dM
1
Q1 S1 0
dN
1
Note that f0 ◦ dM
1 maps into S1 since it is in Ker(πN ). Working inductively, we
repeat a similar procedure to find f• . ¥
dM
1 πM
··· P1 P0 M 0
f1 g1 f0 g0 f
··· Q1 Q0 πN N 0
dN
1
f ◦ πM = πN ◦ f0 = πN ◦ g0 ,
and so we see
0 = πN ◦ f0 − πN ◦ g0 = πN ◦ (f0 − g0 ).
110
CHAPTER 5. HOMOLOGICAL METHODS
Q1 Im(dN
1 ) 0
dN
1
dN M
1 ◦ h0 + h−1 ◦ d0 = f0 − g0 .
dN M
n+1 ◦ hn + hn−1 ◦ dn = fn − gn .
dN M
n ◦ fn = fn−1 ◦ dn ,
dN M
n ◦ gn = gn−1 ◦ dn ,
dN M
n ◦ (fn − gn ) = (fn−1 − gn−1 ) ◦ dn
= (dN M M
n ◦ hn−1 + hn−2 ◦ dn−1 ) ◦ dn
= dN M M M
n ◦ hn−1 ◦ dn + hn−2 ◦ dn−1 ◦ dn
= dN M
n ◦ hn−1 ◦ dn .
Thus
dN M N N M
n ◦ (fn − gn − hn−1 ◦ dn ) = dn ◦ (fn − gn ) − dn ◦ hn−1 ◦ dn
= dN M N M
n ◦ hn−1 ◦ dn − dn ◦ hn−1 ◦ dn
= 0.
Therefore
Im(fn − gn − hn−1 ◦ dM N N
n ) ⊆ Ker(dn ) = Im(dn+1 ).
Pn
hn
fn −gn −hn−1 ◦dM
n
Qn+1 Im(dN
n+1 ) 0
dN
n+1
111
5.1. COMPLEXES AND HOMOLOGY
0 → M ′ → M → M ′′ → 0
0 P•′ P• P•′′ 0
0 M′ M M ′′ 0
0 0 0
d′1 π′
··· P1′ P0′ M′ 0
f
d1 π
··· P1′ ⊕ P1′′ P0′ ⊕ P0′′ M 0
η0
g
d′′
1 π ′′
··· P1′′ P0′′ M ′′ 0
0 0 0
First we must define π : P0 ։ M such that the diagram commutes. Since P0′′ is
projective, there exist η0 : P0′′ → M such that g ◦ η0 = π ′′ . Define
P1′′
η1
η0 ◦d′′
1
f ◦π ′
P0′ Im(f ) 0
112
CHAPTER 5. HOMOLOGICAL METHODS
And so
f ◦ π ′ ◦ η1 = η0 ◦ d′′1 .
By changing the sign of η1 we see that
f ◦ π ′ ◦ η1 + η0 ◦ d′′1 = 0,
and so we define
0 0 0
d′n d′n−1
′ ′
··· Pn′ Pn−1 Pn−2 ···
dn ′ ′′ dn−1 ′ ′′
··· Pn′ ⊕ Pn′′ Pn−1 ⊕ Pn−1 Pn−2 ⊕ Pn−2 ···
d′′
n
d′′
n−1
′′ ′′
··· Pn′′ Pn−1 Pn−2 ···
0 0 0
′′ ′′
Here we have inductively defined ηn−1 : Pn−1 → Pn−2 similarly to how we
defined η1 and we can write
dn−1 (x′ , x′′ ) := (d′n−1 (x′ ) + ηn−1 (x′′ ), d′′n−1 (x′′ )).
and so we see
d′n−2 ◦ ηn−1 ◦ d′′n = −ηn−1 ◦ d′′n−1 ◦ d′′n = 0.
Thus Im(ηn−1 ◦ d′′n ) ∈ Ker(d′n−2 ) = Im(d′n−1 ). Again we are in the following
situation:
Pn′′
ηn
ηn−1 ◦d′′
n
′
Pn−1 Im(d′n−1 ) 0
113
5.1. COMPLEXES AND HOMOLOGY
dn ◦ dn−1 (x′ , x′′ ) = (d′n (d′n−1 (x′ ) + ηn−1 (x′′ )) + ηn (d′′n−1 (x′′ )), d′′n (d′′n−1 (x′′ )))
= (d′n (ηn−1 (x′′ )) + ηn (d′′n−1 (x′′ )), 0)
= 0.
Since the direct sum of two projective modules is projective, and since we can
see that Im(dn ) = Ker(dn−1 ), we see that we have constructed the needed exact
sequence. ¥
0 M′ M M ′′ 0
0 N′ N N ′′ 0
Then there exist associated projective resolutions that form a commutative di-
agram of A-complexes with exact rows:
0 P•′ P• P•′′ 0
0 Q′• Q• Q′′• 0
114
CHAPTER 5. HOMOLOGICAL METHODS
0 L M
ϕ
E
Let L′ be a submodule of M containing L and ϕ′ : L′ → E be a lift of ϕ. In
this case, the ordering: (L′ , ϕ′ ) 6 (L′′ , ϕ′′ ) if L′ ⊆ L′′ and ϕ′′ |L′ = ϕ′ , partially
orders the set S,
S = {(L′ , ϕ′ ) : ϕ′ lifts ϕ to L′ }.
6 ∅ as (L, ϕ) ∈ S. Now considering any chain C in S, it is clear
Note that S =
that [
(L′ , ϕ′ )
(L′ ,ϕ′ )∈C
is an upper bound. Hence by Zorn’s Lemma this set contains a maximal element,
(M ′ , ϕ).
e We will show that M ′ = M . Suppose that m ∈ M − M ′ . Consider the
ideal (M ′ :A m). Note that
(M ′ :A m) → E,
e
a 7→ ϕ(am),
is an A-module homomorphism from (M ′ :A m) to E, thus there exits an A-
module homomorphism Φ : A → E which restricts to the one above. Consider
the submodule
M ′ + Am ⊆ M
and define
f : M ′ + Am → E,
m′ + am 7→ ϕ(m)
e + Φ(a).
115
5.1. COMPLEXES AND HOMOLOGY
(a1 − a2 )m = m2 − m1
e 1 − a2 )m) = ϕ(m
Φ(a1 − a2 ) = ϕ((a e 2 − m1 ).
So we see that
e 1 ) + Φ(a1 ) = ϕ(m
ϕ(m e 2 ) + Φ(a2 ).
Thus f is well defined and it is a lift extending ϕ to M ′ + Am, which contradicts
the maximality of (M ′ , ϕ),
e and so we must conclude that M ′ = M . ¥
Proof Step 1. We will show that every A-module M can be embedded into
a divisible Z-module. First note that while M is an A-module, it is also a Z-
module. Hence there exists a free Z-module Z surjecting onto M . Letting K
be the kernel of this surjection, we have that
Z/K ≃ M.
On the other hand, Z canonically embeds into some free Q-module, call it Q.
If we denote this canonical embedding by η : Z → Q, and set D = Q/ Im(η|K )
we may write
M ≃ Z/K ≃ Im(η)/ Im(η|K ) ⊆ D.
Since D is divisible, we have completed Step 1.
Step 2. We will now embed M into HomZ (A, D) where D is defined as in
Step 1. We will denote the embedding of M into D by
ι : M ֒→ D.
116
CHAPTER 5. HOMOLOGICAL METHODS
ϕ:a→D
a 7→ ψ(a)(1A )
e
where f (x) = ϕ(ax). One should check that this defines an A-module homo-
morphism. For a ∈ a and x ∈ A, we have
e
Ψ(a)(x) = f (x) = ϕ(ax) = ϕ(ax) = ψ(ax)(1A ).
117
5.1. COMPLEXES AND HOMOLOGY
where the right-most equality is due to the A-module structure on HomZ (A, D).
Hence we have Ψ : A → HomZ (A, D) and Ψ|a = ψ. Thus we see HomZ (A, D) is
an injective A-module. ¥
is exact.
If A is a ring and M is an A-module, we can use Theorem 5.18 to construct
an injective resolution as follows. Set
0 → M → E 0 → C 1 → 0,
0 → C i → E i → C i+1 → 0.
0 0
C2
ι d1 d2
0 M E0 E1 ...
C1
0 0
The di ’s above are formed by taking the composition of the relevant maps, while
ι is the canonical injection. Hence we obtain an injective resolution of M .
118
CHAPTER 5. HOMOLOGICAL METHODS
0 → M1 → M2 → M3 → 0
0 M1 M2 M3 0
0 M1 M2 M3 0
0 N1 N2 N3 0
Then there exist associated injective resolutions that form a commutative dia-
gram of A-complexes with exact rows:
0 → Z → Q → Q/Z → 0.
119
5.2. TOR AND EXT
Construction of Tor
Definition Given a ring A and an A-module N , TorA i (−, N ) is the left de-
rived functor of the right exact covariant functor − ⊗A N .
To be more explicit, consider any projective resolution of an A-module M :
d
2 1 d π
· · · −→ P2 −→ P1 −→ P0 −→ M −→ 0
Apply the functor − ⊗A N and chop off the M ⊗A N term to get the complex
P• ⊗A N :
· · · → P2 ⊗A N → P1 ⊗A N → P0 ⊗A N → 0
We now define
Ker(di ⊗ 1)
TorA
i (M, N ) := Hi (P• ⊗A N ) =
Im(di+1 ⊗ 1)
Note that since
P1 → P0 → M → 0
is exact,
P1 ⊗A N → P0 ⊗A N → M ⊗A N → 0
is also exact. Hence
TorA
0 (M, N ) ≃ M ⊗A N.
Proposition 5.23 TorA i (M, N ) does not depend on the choice of projective
resolution used. Hence it is well-defined.
··· Pi ··· P0 M 0
ϕi ϕ0 1M
··· Qi ··· Q0 M 0
ψi ψ0 1M
··· Pi ··· P0 M 0
Note that the lifts ϕ• and ψ• of 1M are guaranteed to exist by Lemma 5.10.
Thus ψ• ◦ ϕ• : P• → P• is a lift of 1M . But clearly 1P• is another such lift.
120
CHAPTER 5. HOMOLOGICAL METHODS
Properties of Tor
Exercise 5.24 If N is A-flat or if M is A-flat, show that
TorA
i (M, N ) = 0
for all A-modules M and i > 0. Hint: For the second part, first show that if
0 → M1 → M2 → M3 → 0
is exact and M2 and M3 are flat, so is M1 .
Proposition 5.25 Given an exact sequence of A-modules,
0 → M ′ → M → M ′′ → 0
we obtain a long exact sequence of Tor’s:
··· TorA ′
n+1 (M , N ) TorA
n+1 (M, N ) TorA ′′
n+1 (M , N )
∂n+1
TorA ′
n (M , N ) TorA
n (M, N ) TorA ′′
n (M , N )
∂n
TorA ′
n−1 (M , N ) ············ TorA ′′
1 (M , N )
∂1
M ′ ⊗A N M ⊗A N M ′′ ⊗A N 0
Proof Let P•′ and P•′′ be projective resolutions of M ′ and M ′′ respectively.
By the Horseshoe Lemma there exists a projective resolution P•′ of M such that
0 → P•′ → P• → P•′′ → 0
is an exact sequence of complexes. Since P•′′ is projective, this complex is in
fact split exact, and so we have following short exact sequence of complexes:
0 → P•′ ⊗A N → P• ⊗A N → P•′′ ⊗A N → 0
By Lemma 5.4, we obtain a long exact sequence of homologies, and hence the
result. ¥
121
5.2. TOR AND EXT
Proposition 5.26 Given a ring A and two A-modules M and N , we then have
TorA A
i (M, N ) ≃ Tori (N, M ).
TorA
0 (M, N ) ≃ M ⊗A N and TorA
0 (N, M ) ≃ N ⊗A M.
Since
M ⊗A N ≃ N ⊗A M
m ⊗ n 7→ n ⊗ m
0→S→P →M →0
where P is a free module and S is the kernel of the surjection. Note that since
P is a free module, it is flat, and so
TorA
i (P, N ) = 0 for i > 0 and
TorA
i (N, P ) =0 for i > 0.
Hence by Proposition 5.25 we now have two long exact sequences of Tor’s:
··· TorA
i+1 (S, N ) 0 TorA
i+1 (M, N )
∂i+1
TorA
i (S, N ) 0 TorA
i (M, N )
∂i
TorA
i−1 (S, N ) 0 TorA
i−1 (M, N ) ···
And:
··· TorA
i+1 (N, S) 0 TorA
i+1 (N, M )
∂i+1
TorA
i (N, S) 0 TorA
i (N, M )
∂i
TorA
i−1 (N, S) 0 TorA
i−1 (N, M ) ···
Thus we see that
TorA A
i (M, N ) ≃ Tori−1 (S, N ) if i > 1,
TorA
i (N, M ) ≃ TorA
i−1 (N, S) if i > 1.
122
CHAPTER 5. HOMOLOGICAL METHODS
0 TorA
1 (M, N ) S ⊗A N P ⊗A N M ⊗A N 0
0 TorA
1 (N, M ) N ⊗A S N ⊗A P N ⊗A M 0
Note that the left-most terms are 0 because M and N are projective. And so
we see that TorA A
1 (M, N ) ≃ Tor1 (N, M ). ¥
0 → N ′ → N → N ′′ → 0
··· TorA ′
n+1 (M, N ) TorA
n+1 (M, N ) TorA ′′
n+1 (M, N )
∂n+1
TorA ′
n (M, N ) TorA
n (M, N ) TorA ′′
n (M, N )
∂n
TorA ′
n−1 (M, N ) TorA
n−1 (M, N ) TorA ′′
n−1 (M, N ) ···
Proof Note that this follows by Lemma 5.26 and Lemma 5.25. However, we
can also give a direct proof. Let Q• be a projective resolution of N . Since
projective modules are flat, we have the short exact sequence of complexes:
0 → M•′ ⊗A Q• → M• ⊗A Q• → M•′′ ⊗A N → 0
By Lemma 5.4, we obtain a long exact sequence of homologies, and hence the
result. ¥
L L
Exercise 5.28 Tori (M, α Nα ) ≃ α Tori (M, Nα ).
B ⊗A TorA B
i (M, N ) ≃ Tori (M ⊗A B, N ⊗A B).
123
5.2. TOR AND EXT
5.2.2 Ext
First Construction
Definition Given a ring A and an A-module N , ExtiA (−, N ) is the left de-
rived functor of the left exact contravariant functor HomA (−, N ).
To be more explicit, consider any projective resolution of an A-module M :
2 d 1 d π
· · · −→ P2 −→ P1 −→ P0 −→ M −→ 0
Apply the functor HomA (−, N ) and chop off the HomA (M, N ) term to get the
complex HomA (P• , N ):
d∗
0 1 d∗ 2 d∗
0 −→ HomA (P0 , N ) −→ HomA (P1 , N ) −→ HomA (P2 , N ) −→ · · ·
Ker(d∗i+1 )
ExtiA (M, N ) := H i (HomA (P• , N )) =
Im(d∗i )
The shift in degrees of the differentials in the quotient above, compared to the
definition of cohomology, is due to the fact that d∗i is the (i − 1)th differential
in the cocomplex HomA (P• , N ). Since
P1 → P0 → M → 0
is exact,
1 d∗
0 −→ HomA (M, N ) −→ HomA (P0 , N ) −→ HomA (P1 , N )
··· Pi ··· P0 M 0
ϕi ϕ0 1M
··· Qi ··· Q0 M 0
ψi ψ0 1M
··· Pi ··· P0 M 0
124
CHAPTER 5. HOMOLOGICAL METHODS
Second Construction
Definition Given a ring A and an A-module N , ExtiA (M, −) is the left
derived functor of the left exact covariant functor HomA (M, −).
To be more explicit, consider any injective resolution of an A-module N :
ι d0 d1
0 −→ N −→ E 0 −→ E 1 −→ E 2 −→ · · ·
Apply the functor HomA (M, −) and chop off the HomA (M, N ) term to get the
complex HomA (M, E • ):
d−1 d0 d1
∗
0 −→ HomA (M, E 0 ) −→
∗
HomA (M, E 1 ) −→
∗
HomA (M, E 2 ) −→ · · ·
where d−1
∗ := 0. We now define:
Ker(di∗ )
ExtiA (M, N ) := H i (HomA (M, E • )) =
Im(di−1
∗ )
0 N J0 ··· Ji ···
1N ψ0 ψi
0 N I0 ··· Ii ···
125
5.2. TOR AND EXT
Properties of Ext
Proposition 5.32 The two constructions of ExtiA (M, N ) given above produce
isomorphic modules and hence are equivalent.
Proof We omit the proof of this result, though it is similar to the proof that
the two definitions of Tor are the same. Readers who are familiar with spectral
sequences can see the result easily by taking a projective resolution P• → M
of M and an injective resolution N → I • and considering the double complex
HomA (P• , I • ). We refer the reader to [16]. ¥
Proposition 5.33 Given an exact sequence of A-modules,
0 → M ′ → M → M ′′ → 0
we obtain a long exact sequence of Ext’s:
Extn+1 ′′
A (M , N ) Extn+1
A (M, N ) Extn+1 ′
A (M , N )
···
126
CHAPTER 5. HOMOLOGICAL METHODS
0 → N ′ → N → N ′′ → 0
··· Extn−1 ′
A (M, N ) Extn−1
A (M, N ) Extn−1 ′′
A (M, N )
∂n−1
Extn+1 ′
A (M, N ) Extn+1
A (M, N ) Extn+1 ′′
A (M, N )
···
Proof Note, one could dualize the above proof or one could take a projective
resolution P• of M and look at the short exact sequence of complexes:
By Lemma 5.4, we obtain a long exact sequence of homologies, and hence the
result. ¥
Proof All that needs to be shown is (3) ⇒ (1). We must show that given
any short exact sequence
0 → N ′ → N → N ′′ → 0
of A modules, we have
But by the long exact sequence of Ext and the fact that Ext1A (M, N ) = 0 for
all A-modules N , we have
127
5.2. TOR AND EXT
(2) ExtiA (M, N ) = 0 for all A-modules M and for all i > 0.
Proof All that needs to be shown is (5) ⇒ (1). By Baer’s Criterion, Theo-
rem 5.15, we must show that given any ideal I of A, a module homomorphism
ϕ : I → N can be extended to a module homomorphism Φ : A → N . This
amounts to saying that
Write
0 → I → A → A/I → 0
and apply the functor HomA (−, N ), and note that Ext1A (A/I, N ) = 0 for all
ideals I ⊆ A, to obtain the exact sequence
Exercise 5.37
L Q
(1) ExtiA ( α Mα , N ) ≃ α ExtiA (Mα , N ).
Q Q
(2) ExtiA (M, α Nα ) ≃ α ExtiA (M, Nα ).
128
CHAPTER 5. HOMOLOGICAL METHODS
Recall that
0 → Pn → Pn−1 → · · · → P1 → P0 → M → 0
is a resolution of length n if it is an exact complex and each Pi is projective.
Remark Sometimes projective dimension is called homological dimension.
Proposition 5.39 If A is a ring and M is an A-module, then the following are
equivalent:
(1) pdA (M ) 6 n.
(2) ExtiA (M, N ) = 0 for all A-modules N and for all i > n.
(3) Extn+1
A (M, N ) = 0 for all A-modules N .
P• : 0 → Sn → Pn−1 → · · · → P1 → P0 → M → 0
0 Sn Pn−1 Sn−1 0
0 Sn−1 Pn−2 Sn−2 0
.. .. ..
. . .
0 S1 P0 M 0
Apply HomA (−, N ) and from the corresponding long exact sequences for Ext
we see
129
5.3. HOMOLOGICAL NOTIONS OF DIMENSION
0 → M ′ → P → M ′′ → 0
Proof (1) If M ′′ is projective, then the above exact sequence is split, and so
we have P ≃ M ′ ⊕ M ′′ . Since P is projective, it is a summand of a free module,
and so we have
M ′ ⊕ M ′′ ⊕ Q ≃ F
showing that M ′ is also a summand of a free module and hence is also projective.
(2) For some A-module N , apply HomA (−, N ) and look at the long exact
sequence for Ext to see that
ExtiA (M ′ , N ) ≃ Exti+1 ′′
A (M , N ) for i > 1.
P• : 0 → Pn → Pn−1 → · · · → P1 → P0 → M → 0
Since
x
0 −→ A −→ A −→ A/xA −→ 0 (⋆)
130
CHAPTER 5. HOMOLOGICAL METHODS
TorA
i (M, A/xA) = 0 for i > 2.
But we see that TorA 1 (M, A/xA) = 0 as the above complex is exact and mul-
tiplication by x is injective. Thus P• ⊗A A/xA is a projective resolution of
M/xM . ¥
Recall that
0 → M → E 0 → E 1 → · · · → E n−1 → E n → 0
is a resolution of length n if it is an exact cocomplex and each E i is injective.
Proposition 5.46 If A is a ring and N is an A-module, then the following are
equivalent:
(1) idA (N ) 6 n.
(2) ExtiA (M, N ) = 0 for all A-modules M and for all i > n.
(3) Extn+1
A (M, N ) = 0 for all A-modules M .
(4) Extn+1
A (M, N ) = 0 for all finitely generated A-modules M .
(5) Extn+1
A (A/I, N ) = 0 for all ideals I ⊆ A.
Proof This proof is left as an exercise for the reader. Hint: See the proof of
Proposition 5.39. ¥
131
5.4. THE LOCAL CASE
= sup idA (M )
M ∈ModA
(5) TorA
1 (M, k) = 0.
132
CHAPTER 5. HOMOLOGICAL METHODS
Proof All that needs to be shown is (5) ⇒ (1). Let F be a free module
mapping onto the minimal generators of M and obtain the short exact sequence
0 → S → F → M → 0.
(1) pdA (M ) 6 n.
(2) TorA
i (M, N ) = 0 for all A-modules N and for all i > n.
(3) TorA
n+1 (M, k) = 0.
Proof This proof is left as an exercise for the reader. Hint: See the proof of
Proposition 5.39. ¥
Later on we will be able to remove the condition that A is a local ring for
the above proposition.
(1) gd(A) 6 n.
(2) TorA
i (M, N ) = 0 for i > n and all A-modules M and N .
(3) TorA
n+1 (k, k) = 0.
Proof All that needs to be shown is (3) ⇒ (1). If TorA n+1 (k, k) = 0, then
pdA (k) 6 n. So by Proposition 5.51, TorA n+1 (M, k) = 0 for all A-modules M . In
particular, TorA
n+1 (M, k) = 0 for all finitely generated A-modules M . Again by
Proposition 5.51 we have that pdA (M ) 6 n for all finitely generated A-modules
M . Thus gd(A) 6 n by Corollary 5.49. ¥
133
5.4. THE LOCAL CASE
β0 := rankk (M/mM ),
S1 := Ker(Aβ0 → M ),
where the map Aβ0 → M is defined by mapping a basis of Aβ0 onto a minimal
set of generators of M . Inductively define
where at each step, the map Aβi → Si is defined by mapping a basis of Aβi
onto a minimal set of generators of Si . Now we may inductively write the exact
sequences:
0 → S1 → Aβ0 → M → 0,
0 → Si+1 → Aβi → Si → 0.
The integer βi is sometimes called the ith Betti number of M and Si is referred
to as the ith syzygy of M . The rather mysterious word syzygy means yoke.
After putting the above exact sequences together, we can see why syzygy is a
good term to use for the Si ’s, as each Si is connecting two free modules via
A-module homomorphisms:
0 0
S2
d2 d1 π
··· Aβ1 Aβ0 M 0
S1
0 0
134
CHAPTER 5. HOMOLOGICAL METHODS
The di ’s above are formed by taking the composition Aβi → Si → Aβi−1 , while
π is the canonical surjection. Hence we obtain a free resolution of M , that is
a long exact sequence of free modules ending at M :
d d d π
· · · −→ Aβ3 −→
3
Aβ2 −→
2
Aβ1 −→
1
Aβ0 −→ M −→ 0
A resolution of this form is called a minimal free resolution. Note that the
condition that A is local, and hence Noetherian, is critical for this construction.
By Corollary 5.52, we see that the projective dimension of M is given by
Since the entries of the matrices defining the di ’s in a minimal free resolution
live in m, they become zero maps when tensored by k. Hence
Ker(di ⊗ 1)
TorA
i (M, k) = = Aβi ⊗A k ≃ k βi .
Im(di+1 ⊗ 1)
Thus we see that if the projective dimension of M is finite, then the degree of
the final nonzero term in the minimal free resolution is equal to pdA (M ). Hence
a minimal free resolution is truly a resolution of minimal length.
0 → S 1 → F0 → M → 0
0 → Si+1 → Fi → Si → 0
F0 ⊗A k ≃ M ⊗A k,
Fi ⊗A k ≃ Si ⊗A k.
Thus by Corollary 2.39, we see that the rank of F0 is the minimum number of
generators of M . Similarly, we see that Fi is a free module of rank equal to the
minimum number of generators of Si . ¥
135
5.5. REGULAR RINGS AND GLOBAL DIMENSION
(2) Any DVR is a regular local ring of dimension 1 since its maximal ideal is
principal. In particular, Z(p) and k[X](X) are regular local rings.
k[[X, Y, U, V ]] k[X, Y, U, V ]m
A= or A=
(XY − U V ) (XY − U V )
Letting p = (X, U ), write down a free resolution of A/p over A. Can you get a
finite free resolution of A/p over A?
Theorem 5.60 Let (A, m, k) be local of dimension n, then the following are
equivalent:
(1) A is regular.
(3)
M∞
mi
k[X1 , . . . , Xn ] ≃ = Grm (A).
i=0
mi+1
Proof (1) ⇔ (2) This follows from the definition of a regular local ring and
Corollary 2.39.
(3) ⇒ (2) If
M∞
mi
k[X1 , . . . , Xn ] ≃ ,
i=0
mi+1
then m/m2 must correspond to degree 1 polynomials hence, m/m2 is the k vector
space generated by basis vectors X1 , . . . , Xn , showing that rankk (m/m2 ) = n.
136
CHAPTER 5. HOMOLOGICAL METHODS
Since
A ⊇ m ⊇ m2 ⊇ · · · ⊇ mi
we have that
Thus
Moreover, we have that k generates Grm (A) over Grm (A), and so by Theo-
rem 3.3, the Hilbert-Serre Theorem, we see that the map above is injective. ¥
Proof To start, note that A is Hausdorff under the m-adic filtration and we
have that Grm (A) is a domain. It is left as an exercise to show that this implies
that A is a domain. ¥
x1 , . . . , xj ∈ m.
137
5.5. REGULAR RINGS AND GLOBAL DIMENSION
mAi = m/(x1 , . . . , xi ).
(1) (x1 , . . . , xn )M 6= M .
M xi M
−→
(x1 , . . . , xi−1 )M (x1 , . . . , xi−1 )M
Proof This follows by repeatedly applying the exercise after Corollary 3.40.
¥
It should be pointed out here that unless the ring is nice, the inequality
above is strict.
138
CHAPTER 5. HOMOLOGICAL METHODS
Lemma 5.69 If (A, m) is local ring and a ∈ m − m2 , then the exact sequence
ι
0 −→ aA/am −→ m/am −→ m/aA −→ 0
splits.
Lemma 5.70 Suppose that (A, m) is local and gd(A) is finite. Let a ∈ m − m2
such that a is a nonzerodivisor on A. Then gd(A/aA) is finite.
Proof First note that by Corollary 5.54 we have that gd(A) = pdA (A/m).
Thus if gd(A) = 0, we have that A is a field implying that m is zero, and hence
we are done.
Assuming that gd(A) > 0, write
0 → m → A → A/m → 0
and so we see that if pdA (A/m) is finite, then pdA (m) is finite. If a is a nonze-
rodivisor on A, then it is also a nonzerodivisor on m. Hence pdA/aA (m/(am))
is finite by Proposition 5.44. By Lemma 5.69, we have that
M
m/am ≃ A/m m/aA.
139
5.5. REGULAR RINGS AND GLOBAL DIMENSION
Proof Write
a
0 −→ M −→ M −→ M/aM −→ 0
apply the functor − ⊗A k and consider the long exact sequence for Tor. Since
a
a ∈ m, the map TorA A
i (M, k) −→ Tori (M, k) is in fact the zero map for all i and
so we have the exact sequence
0 → TorA A A
i (M, k) → Tori (M/aM, k) → Tori−1 (M, k) → 0
TorA
i (M/aM, k) = 0 whenever TorA
i−1 (M, k) = 0.
a ⊆ I0 ∪ I1 ∪ · · · ∪ In
where I0 is a prime ideal. Show that there exists a proper subset S of {0, . . . , n}
such that [
a⊆ Ii .
i∈S
and so
[
m⊆ p ∪ m2
p∈Ass(A)
Repeatedly applying the previous exercise we see that either m ∈ Ass(A) or that
m ⊆ m2 . If the latter is the case, then
m = m2
140
CHAPTER 5. HOMOLOGICAL METHODS
Suppose that there exists some finitely generated A-module M of positive pro-
jective dimension. Applying the functor − ⊗A M to the above exact sequence
and considering the long exact sequence for Tor we see that for all i > 1
TorA A
i (k, M ) ≃ Tori+1 (A/xA, M ).
141
5.5. REGULAR RINGS AND GLOBAL DIMENSION
A = C[[X1 , . . . , Xn ]]
Proof Since A is a regular local ring, gd(A) is finite and hence pdA (A/p) is
finite. Consider a free resolution of A/p:
F• : 0 → Fi → · · · → F1 → F0 → A/p → 0
Since Ap is a flat A-module, (F• )p is an exact complex. Thus pdAp (Ap /pAp ) is
finite, and so gd(Ap ) is finite, and hence Ap is a regular local ring. ¥
Proof We omit the proof of this result and instead refer the reader to [6] or
[12]. ¥
(2) Suppose that pdAm (Mm ) is finite for all m ∈ MaxSpec(A). Then pdA (M )
is finite.
Proposition 5.78 If A is a Noetherian ring and M is a finitely generated
A-module, then the following are equivalent:
(1) pdA (M ) 6 n.
(2) TorA
i (M, N ) = 0 for all A-modules N and all i > n.
(3) TorA
n+1 (M, A/m) = 0 for all m ∈ MaxSpec(A).
142
CHAPTER 5. HOMOLOGICAL METHODS
(1) gd(A) 6 n.
(3) For all finitely generated A-modules M and all maximal ideals m ⊆ A,
TorA
n+1 (M, A/m) = 0.
(4) TorA
n+1 (A/m, A/m) = 0 for all maximal ideals m ⊆ A.
Corollary 5.80 If A is a ring then A is regular if and only if pdA (A/m) < ∞
for all maximal ideals m ⊆ A.
Show that A is a regular ring but not a UFD. Conclude that the previous
theorem is false if the local condition is dropped.
gd(A[x]) = gd(A) + 1.
143
Appendix A
Diagram of Implications
DVR
DD ND
RD LR
RR
NR
144
APPENDIX A. DIAGRAM OF IMPLICATIONS
DD Dedekind Domain
RD Regular Domain
RR Regular Ring
LR Local Ring
NR Noetherian ring
145
Appendix B
6
Regular
2
4
10 Dedekind Domain
12
UFD PID
11 13
Local
DVR
14
3 8
Field
15
16 5
Regular Local
146
APPENDIX B. DIAGRAM AND EXAMPLES OF DOMAINS
Examples:
• k[X 2 , X 3 , Y1 , Y2 , Y3 , . . .]
• Z[2X, 2X 2 , 2X 3 , . . .]
• k[U, V, Y, Z, X1 , X2 , X3 , . . .]/(U V − Y Z)
• k[X1 , X2 , X3 , . . .]
• k[X 2 , X 3 ]
√
• Z[ 5]
• k[X 2 , X 3 ](X 2 ,X 3 )
• k[[X 2 , X 3 ]]
(6) Noetherian, integrally closed, not regular, not a UFD, not local:
• k[W, X, Y, Z]/(W X − Y Z)
• R[W, X, Y, Z]/(X 2 + Y 2 + Z 2 − W 2 )
• k[V, W, X, Y, Z]/(V 2 + W 2 + X 2 + Y 2 + Z 2 )
• R[W, X, Y, Z]/(W 2 + X 2 + Y 2 + Z 2 )
• k[X, Y, Z]/(X 2 + Y 2 − 1)
• k[X, Y ], Z[X]
147
(12) A Dedekind domain, not a UFD and hence not local:
√
• Z[ −5]
• Z
• k[X]
• Z[i]
• Z(p)
• k[X](X)
• k[[X, Y ]]
• k[X, Y ](X,Y )
(16) A field:
• k
• Q
• R
• C
• Z/pZ
Above k represents any field and m represents any maximal ideal in the given
ring. For further information on examples 2,6,8,9, see [8]. These four examples
are all nontrivial.
148
Appendix C
Table of Invariances
The table below summarizes those basic properties of commutative rings that
are and are not preserved under the basic operations on rings. For example, the
symbol ✓ that appears in the upper left box means that if A is Noetherian, then
A[X] is Noetherian as well. An ✖ in the table merely means “not in general.”
In the above table, Ab denotes the completion of A with respect to some ideal I
which is taken to be the unique maximal ideal if A is local. Local, as throughout
these notes, is taken to mean Noetherian and local. For the third and fourth
columns a denotes an arbitrary ideal of A while p denotes a prime ideal. Lastly,
Ae denotes the integral closure of A, which is assumed to be a domain in this
column.
149
Bibliography
[5] Henri Cartan and Samuel Eilenberg, Homological algebra, Princeton Land-
marks in Mathematics, Princeton University Press, Princeton, NJ, 1999,
With an appendix by David A. Buchsbaum, Reprint of the 1956 original.
[7] Thomas W. Hungerford, Algebra, Holt, Rinehart and Winston, Inc., New
York, 1974.
[10] Serge Lang, Algebra, third ed., Graduate Texts in Mathematics, vol. 211,
Springer-Verlag, New York, 2002.
151
[11] Hideyuki Matsumura, Commutative algebra, second ed., Mathematics Lec-
ture Note Series, vol. 56, Benjamin/Cummings Publishing Co., Inc., Read-
ing, Mass., 1980.
[17] Oscar Zariski and Pierre Samuel, Commutative algebra, Volume I, The
University Series in Higher Mathematics, D. Van Nostrand Company, Inc.,
Princeton, New Jersey, 1958, With the cooperation of I. S. Cohen.
153
en (M ), 55 global dimension, 132, 133, 141
essential primes, 18 Going-Down Property, 83
essentially polynomial, 49 Going-Down Theorem
exact sequence for flat maps, 85
and HomA (−, E), 114 for integral extensions, 83
and HomA (P, −), 108 Going-Up Property, 79, 80
of complexes, 105 Going-Up Theorem
ExtnA (M, N ), 124, 125 for faithfully flat maps, 80
extension for integral extensions, 80
inseparable, 82 I-good, 38
integral, 75 Gr(A), 33
normal, 82 Gr(M ), 33
purely inseparable, 82 GrI (A), 36
separable, 82 GrI (M ), 36
graded
faithfully flat, 42, 44 module, 33
Going-Up Property, 80 associated to a filtration, 33
field of fractions, 8 ring, 33
filtered associated to a filtration, 33
map, 30
strict, 30 Hausdorff, 30, 34, 63
module, 29 height, 71
associated graded ring, 33 Hilbert function, 51, 55
ring, 29 Hilbert multiplicity, 55
associated graded ring, 33 Hilbert polynomial, 55
filtration, 20, 29 Hilbert’s Basis Theorem, 5
adic, 36 Hilbert-Samuel multiplicity, 60
image, 29 Hilbert-Samuel polynomial, 55, 58
induced, 29 Hilbert-Serre Theorem, 51, 137
finite length, 22, 68 homogeneous element, 33
flat, 6, 41, 121 degree, 33
faithfully, 42, 44 homological dimension, 129
Going-Up Property, 85 homology, 104, 120
is locally free, 132 Hn (X• ), 104
formal power series ring, 28 homotopic, 104, 110
Frac(A), 8 f• ∼ g• , 104, 110
fractional ideal, 87 Horseshoe Lemma, 112, 119
invertible, 88 ht(I), 71
free, 44 ht(p), 71
free module
flatness of, 6 id(M ), 131
free resolution, 109, 135 ideal quotient, 3
minimal, 134, 135 image filtration, 29
induced filtration, 29
gd(A), 132 injective, 127
generic point, 65 injective dimension, 131, 132, 134
injective module, 114, 115 locally nilpotent, 23
injective resolution, 118, 125, 131 long exact sequence
inseparable extension, 82 of Ext, 126, 127
integral closure, 76 of homologies, 105
integral extension, 75 of Tor, 121, 123
and dimension, 80 Lying-Over Property, 79, 80
Going-Down Theorem, 83 Lying-Over Theorem
Going-Up Theorem, 80 for integral extensions, 80
Lying-Over Theorem, 80
integrally closed, 76 M -sequence, 138
intersection of ideals, 1 relationship to a system of param-
inverse limit, 27 eters, 138
inverse system, 27 c, 36
M
invertible fractional ideal, 88 Ma , 8
irreducible mapping cone, 108
submodule, 11 maximal set, 62
irreducible set, 62 MaxSpec(A), 64
irrelevant ideal, 33 metric, 30
A+ , 33 minimal free resolution, 134, 135
I(Z), 65 modular law, 1
rank, 91
J(A), 38, 39, 42, 47 module finite, 76
Jacobson radical, 38, 39, 42, 47 Mp , 8
Jordan-Hölder chain, 5, 54 µ, 39, 103, 136
Samuel’s Theorem, 57
separable extension, 82
sequence, 138
shift of complexes, 108
s(M ), 68
Spec(A), 64