A Term of Commutative Algebra
A Term of Commutative Algebra
Commutative Algebra
By Allen ALTMAN
and Steven KLEIMAN
c
2013,
Worldwide Center of Mathematics, LLC
iv
Contents
Preface
. . . . . . . . . . . . . . . . . . . . . . . .
1.
2.
3.
4.
5.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
7
11
17
24
30
35
42
48
54
60
66
72
77
84
88
93
96
101
106
112
116
122
124
130
138
143
148
152
157
Solutions . . . . . . . . .
1. Rings and Ideals . . . .
2. Prime Ideals
. . . . .
3. Radicals . . . . . . .
4. Modules . . . . . . .
5. Exact Sequences . . . .
6. Direct Limits . . . . .
7. Filtered direct limits . . .
8. Tensor Products . . . .
9. Flatness . . . . . . .
10. CayleyHamilton Theorem
11. Localization of Rings . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
162
162
164
166
173
175
179
182
185
188
191
194
iii
Contents
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
Localization of Modules . . .
Support . . . . . . . . .
KrullCohenSeidenberg Theory
Noether Normalization
. . .
Chain Conditions . . . . .
Associated Primes . . . . .
Primary Decomposition . . .
Length . . . . . . . . .
Hilbert Functions . . . . .
Dimension . . . . . . . .
Completion
. . . . . . .
Discrete Valuation Rings . . .
Dedekind Domains . . . . .
Fractional Ideals . . . . . .
Arbitrary Valuation Rings . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
198
201
211
214
218
220
221
224
226
229
232
236
241
243
245
. . . . . . . . . . . . . . . . . . . . . .
249
250
Index . . . . . . . . . . . . . . . . . . . . . . . . .
253
Bibliography
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vi
Preface
There is no shortage of books on Commutative Algebra, but the present book is
different. Most books are monographs, with extensive coverage. But there is one
notable exception: Atiyah and Macdonalds 1969 classic [3]. It is a clear, concise,
and efficient textbook, aimed at beginners, with a good selection of topics. So it
has remained popular. However, its age and flaws do show. So there is need for an
updated and improved version, which the present book aims to be.
Atiyah and Macdonald explain their philosophy in their introduction. They say
their book has the modest aim of providing a rapid introduction to the subject.
It is designed to be read by students who have had a first elementary course in
general algebra. On the other hand, it is not intended as a substitute for the more
voluminous tracts on Commutative Algebra. . . . The lecture-note origin of this book
accounts for the rather terse style, with little general padding, and for the condensed
account of many proofs. They resisted the temptation to expand it in the hope
that the brevity of [the] presentation will make clearer the mathematical structure
of what is by now an elegant and attractive theory. They endeavor to build up to
the main theorems in a succession of simple steps and to omit routine verifications.
Their successful philosophy is wholeheartedly embraced below (it is a feature,
not a flaw!), and also refined a bit. The present book also grew out of a course of
lectures. That course was based primarily on their book, but has been offered a
number of times, and has evolved over the years, influenced by other publications
and the reactions of the students. Their book comprises eleven chapters, split into
forty-two sections. The present book comprises twenty-six sections; each represents
a single lecture, and is self-contained.
Atiyah and Macdonald provided . . . exercises at the end of each chapter. They
provided hints, and sometimes complete solutions, to the hard exercises. Moreover, they developed a significant amount of the main content in the exercises. By
contrast, in the present book, the exercises are integrated into the development,
and complete solutions are given at the end of the book. Doing so lengthened the
book considerably. In particular, it led to the addition of appendices on Fitting
Ideals and on CohenMacaulayness. (All four appendices elaborate on important
issues arising in the main text.)
There are 324 exercises below. They include about half the exercises in Atiyah
and Macdonalds book; eventually, all will be handled. The disposition of those
exercises is indicated in a special index preceding the main index. The 324 also
include many exercises that come from other publications and many that originate
here. Here the exercises are tailored to provide a means for students to check, to
solidify, and to expand their understanding of the material. The exercises are intentionally not difficult, tricky, or involved. Rarely do they introduce new techniques,
although some introduce new concepts and many statements are used later.
Students are encouraged to try to solve each and every exercise, and to do so
before looking up its solution. If they become stuck, then they should review the
relevant material; if they remain stuck, then they should change tack by studying
the given solution, possibly discussing it with others, but always making sure they
can eventually solve the whole exercise entirely on their own. In any event, students
v
Preface
should read the given solution, even if they think they already know it, just to make
sure; also, some exercises provide enlightening alternative solutions.
Instructors are encouraged to examine their students, possibly orally at a blackboard, possibly via written tests, on a small, randomly chosen subset of all the
exercises that have been assigned over the course of the term for the students to
write up in their own words. For use during each exam, instructors should provide
students with a special copy of the book that does include the solutions.
Atiyah and Macdonald explain that a proper treatment of Homological Algebra
is impossible within the confines of a small book; on the other hand, it is hardly
sensible to ignore it completely. So they use elementary homological methods
exact sequence, diagrams, etc. but . . . stop short of any results requiring a deep
study of homology. Again, their philosophy is embraced and refined in the present
book. Notably, below, elementary methods are used, not Tors as they do, to prove
the Ideal Criterion for flatness, and to relate flat modules and free modules over
local rings. Also, projective modules are treated below, but not in their book.
In the present book, Category Theory is a basic tool; in Atiyah and Macdonalds,
it seems like a foreign language. Thus they discuss the universal (mapping) property
(UMP) of localization of a ring, but provide an ad hoc characterization. They also
prove the UMP of tensor product of modules, but do not name it this time. Below,
the UMP is fundamental: there are many standard constructions; each has a UMP,
which serves to characterize the resulting object up to unique isomorphism owing
to one general observation of Category Theory. For example, the Left Exactness of
Hom is viewed simply as expressing in other words that the kernel and the cokernel
of a map are characterized by their UMPs; by contrast, Atiyah and Macdonald
prove the Left Exactness via a tedious elementary argument.
Atiyah and Macdonald prove the Adjoint-Associativity Formula. They note it
says that Tensor Product is the left adjoint of Hom. From it and the Left Exactness
of Hom, they deduce the Right Exactness of Tensor Product. They note that this
derivation shows that any left adjoint is right exact. More generally, as explained
below, this derivation shows that any left adjoint preserves arbitrary direct limits,
ones indexed by any small category. Atiyah and Macdonald consider only direct
limits indexed by a directed set, and sketch an ad hoc argument showing that tensor
product preserves direct limit. Also, arbitrary direct sums are direct limits indexed
by a discrete category (it is not a directed set); hence, the general result yields that
Tensor Product and other left adjoints preserve arbitrary Direct Sum.
Below, left adjoints are proved unique up to unique isomorphism. Therefore,
the functor of localization of a module is canonically isomorphic to the functor of
tensor product with the localized base ring, as both are left adjoints of the same
functor, Restriction of Scalars from the localized ring to the base ring. There is an
alternative argument. Since Localization is a left adjoint, it preserves Direct Sum
and Cokernel; whence, it is isomorphic to that tensor-product functor by Watts
Theorem, which characterizes all tensor-product functors as those linear functors
that preserve Direct Sum and Cokernel. Atiyah and Macdonalds treatment is ad
hoc. However, they do use the proof of Watts Theorem directly to show that,
under the appropriate conditions, Completion of a module is Tensor Product with
the completed base ring.
Below, Direct Limit is also considered as a functor, defined on the appropriate
category of functors. As such, Direct Limit is a left adjoint. Hence, direct limits
Preface
vii
preserve other direct limits. Here the theory briefly climbs to a higher level of
abstraction. The discussion is completely elementary, but by far the most abstract
in the book. The extra abstraction can be difficult, especially for beginners.
Below, filtered direct limits are treated too. They are closer to the kind of limits
treated by Atiyah and Macdonald. In particular, filtered direct limits preserve
exactness and flatness. Further, they appear in the following lovely form of Lazards
Theorem: in a canonical way, every module is the direct limit of free modules of
finite rank; moreover, the module is flat if and only if that direct limit is filtered.
Atiyah and Macdonald treat primary decomposition in a somewhat dated fashion.
First, they study primary decompositions of ideals in rings. Then, in the exercises,
they indicate how to translate the theory to modules. The decompositions need not
exist, as the rings and modules need not be Noetherian. Associated primes play a
secondary role: they are defined as the radicals of the primary components, and then
characterized as the primes that are the radicals of annihilators of elements. Finally,
they prove that, when the rings and modules are Noetherian, decompositions exist
and the associated primes are annihilators. To prove existence, they use irreducible
modules. Nowadays, associated primes are normally defined as prime annihilators
of elements, and studied on their own at first; sometimes, as below, irreducible
modules are not considered at all in the main development.
There are several other significant differences between Atiyah and Macdonalds
treatment and the one below. First, the Noether Normalization Lemma is proved
below in a stronger form for nested sequences of ideals; consequently, for algebras
that are finitely generated over a field, dimension theory can be developed directly
without treating Noetherian local rings first. Second, in a number of results below,
the modules are assumed to be finitely presented over an arbitrary ring, rather than
finitely generated over a Noetherian ring. Third, there is an elementary treatment
of regular sequences below and a proof of Serres Criterion for Normality. Fourth,
below, the Adjoint-Associativity Formula is proved over a pair of base rings; hence,
it yields both a left and a right adjoint to the functor of restriction of scalars.
The present book is a second beta edition. Please do the community a service
by sending the authors comments and corrections. Thanks!
Allen B. Altman and Steven L. Kleiman
31 August 2013
ST := (S T ) (S T ) = (S T ) (T S);
here S T denotes, as usual, the set of elements of S not in T . Thus the subsets
of X form a ring: sum is symmetric difference, and product is intersection. This
ring is canonically isomorphic to FX
2 .
A ring B is said to be Boolean if f 2 = f for all f B. Clearly, FX
2 is Boolean.
Suppose X is a topological space, and give F2 the discrete topology; that is,
every subset is both open and closed. Consider the continuous functions f : X F2 .
Clearly, they are just the S where S is both open and closed. Clearly, they form
a Boolean subring of FX
2 . Conversely, Stones Theorem (13.25) asserts that every
Boolean ring is canonically isomorphic to the ring of continuous functions from a
compact Hausdorff topological space X to F2 , or equivalently, isomorphic to the ring
of open and closed subsets of X.
(1.3) (Polynomial rings). Let R be a ring, P := R[X1 , . . . , Xn ] the polynomial
ring in n variables (see [2, pp. 3523] or [8, p. 268]). Recall that P has this Universal Mapping Property (UMP): given a ring map : R R and given an
element xi of R for each i, there is a unique ring map : P R with |R =
and (Xi ) = xi . In fact, since is a ring map, necessarily is given by the formula:
X
X
(a(i1 ,...,in ) )xi11 xinn .
a b := {a | a a and a b},
P
ab := { ai bi | ai a and bi b}.
They are clearly ideals. They are known as the sum, intersection, and product
of a and b. Further, for any ideal c, the distributive law holds: a(b + c) = ab + ac.
Let a be an ideal. Then a = R if and only if 1 a. Indeed, if 1 a, then
x = x 1 a for every x R. It follows that a = R if and only if a contains a
unit. Further, if hxi = R, then x is a unit, since then there is an element y such
that xy = 1. If a 6= R, then a is said to be proper.
Let : R R be a ring map. Let aR denote the ideal of R generated by (a);
we call aR the extension of a. Let a be an ideal of R . Clearly, the preimage
1 (a ) is an ideal of R; we call 1 (a ) the contraction of a .
Exercise (1.5). Let : R R be a map of rings, a an ideal of R, and b an
ideal of R . Set ae := (a)R and bc := 1 (b). Prove these statements:
(1) Then aec a and bce b.
(2) Then aece = ae and bcec = bc .
(3) If b is an extension, then bc is the largest ideal of R with extension b.
(4) If two extensions have the same contraction, then they are equal.
(1.6) (Residue rings). Let : R R be a ring map. Recall its kernel Ker()
is defined to be the ideal 1 (0) of R. Recall Ker() = 0 if and only if is injective.
Conversely, let a be an ideal of R. Form the set of cosets of a:
R/a := {x + a | x R}.
Recall that R/a inherits a ring structure, and is called the residue ring (or
quotient ring or factor ring) of R modulo a. Form the quotient map
: R R/a
by
x := x + a.
// R/a
R
R
Conversely, if exists, then Ker() a, or a = 0, or aR = 0, since a = 0.
Further, if exists, then is unique as is surjective.
Finally, as is surjective, if exists, then is surjective if and only if is so.
In addition, then is injective if and only if a = Ker(). Hence then is an
isomorphism if and only if is surjective and a = Ker(). Therefore, always
$$
Im().
R/ Ker()
(1.6.1)
// R
''
R/a
(1.9) (Nested ideals). Let R be a ring, a an ideal, and : R R/a the quotient
map. Given an ideal b a, form the corresponding set of cosets of a:
b/a := {b + a | b b} = (b).
y
y
R/a
(R/a) (b/a)
(c) R/(a1 an )
(R/ai ).
Exercise (1.15). First, given a prime number p and a k 1, find the idempotents in Z/hpk i. Second, find the idempotents in Z/h12i. Third, find the number
QN
of idempotents in Z/hni where n = i=1 pni i with pi distinct prime numbers.
2. Prime Ideals
Prime ideals are the key to the structure of commutative rings. So we review the
basic theory. Specifically, we define prime ideals, and show their residue rings are
domains. We show maximal ideals are prime, and discuss examples. Finally, we
use Zorns Lemma to prove the existence of maximal ideals in every nonzero ring.
Definition (2.1). Let R be a ring. An element x is called a zerodivisor if
there is a nonzero y with xy = 0; otherwise, x is called a nonzerodivisor. Denote
the set of zerodivisors by z.div(R).
A subset S is called multiplicative if 1 S and if x, y S implies xy S.
An ideal p is called prime if its complement R p is multiplicative, or equivalently, if 1
/ p and if xy p implies x p or y p.
Exercise (2.2). Let a and b be ideals, and p a prime ideal. Prove that these
conditions are equivalent: (1) a p or b p; and (2) a b p; and (3) ab p.
(2.3) (Fields, Domains). A ring is called a field if 1 6= 0 and if every nonzero
element is a unit. Standard examples include the rational numbers Q, the real
numbers R, and the complex numbers C.
A ring is called an integral domain, or simply a domain, if h0i is prime, or
equivalently, if R is nonzero and has no nonzero zerodivisors.
Every domain R is a subring of its fraction field Frac(R), which consists of the
fractions x/y with x, y R and y 6= 0. Conversely, any subring R of a field K,
including K itself, is a domain; indeed, any nonzero x R cannot be a zerodivisor,
because, if xy = 0, then (1/x)(xy) = 0, so y = 0. Further, Frac(R) has this UMP:
the inclusion of R into any field L extends uniquely to an inclusion of Frac(R) into
L. For example, the ring of integers Z is a domain, and Frac(Z) = Q R C.
Let R be a domain, and R[X] the polynomial ring in one variable. Then R[X]
is a domain too. In fact, given two nonzero polynomials f and g, not only is their
product f g nonzero, but its leading term is the product of those of f and g; so
deg(f g) = deg(f ) deg(g).
(2.3.1)
Proof: A field is a domain by (2.3). So (2.9) and (2.17) yield the result.
(2.25) (PIDs). A domain R is called a Principal Ideal Domain (PID) if
every ideal is principal. Examples include a field k, the polynomial ring k[X] in
one variable, and the ring Z of integers. Every PID is a UFD by [2, (2.12), p. 396],
[8, Thm. 18.11, p. 291].
Let R be a PID, and p R irreducible. Then hpi is maximal; indeed, if hpi $ hxi,
then p = xy for some nonunit y, and so x must be a unit since p is irreducible. So
(2.17) implies that R/hpi is a field.
Exercise (2.26). Prove that, in a PID, elements x and y are relatively prime
(share no prime factor) if and only if the ideals hxi and hyi are comaximal.
10
12
Radicals (3.12)
3. Radicals
Two radicals of a ring are commonly used in Commutative Algebra: the Jacobson
radical, which is the intersection of all maximal ideals, and the nilradical, which is
the set of all nilpotent elements. Closely related to the nilradical is the radical of
a subset. We define these three radicals, and discuss examples. In particular, we
study local rings; a local ring has only one maximal ideal, which is then its Jacobson
radical. We prove two important general results: Prime Avoidance, which states
that, if an ideal lies in a finite union of primes, then it lies in one of them, and
the Scheinnullstellensatz, which states that the nilradical of an ideal is equal to the
intersection of all the prime ideals containing it.
Radicals (3.20)
13
Exercise (3.14). Use Zorns lemma to prove that any prime ideal p contains
a prime ideal q that is minimal containing any given subset s p.
(3.15) (Saturated multiplicative subsets). Let R be a ring, and S a multiplicative
subset. We say S is saturated if, given x, y R with xy S, necessarily x, y S.
For example, the following statements are easy to check. The group of units R
and the subset of nonzerodivisors S0 := R z.div(R) are saturated multiplicative
subsets. Further, let : R R be a ring map, T R a subset. If T is saturated
multiplicative, then so is 1 T . The converse holds if is surjective.
Exercise (3.16). Let R be a ring, S a subset. Show that S is saturated
multiplicative if and only if R S is a union of primes.
Exercise (3.17). Let R be a ring, and S a multiplicative subset. Define its
saturation to be the subset
S := { x R | there is y R with xy S }.
(1) Show (a) that S S, and (b) that S is saturated multiplicative, and (c) that
any saturated multiplicative subset T containing S also contains S.
(2) Show that R S is the union U of all the primes
S p with p S = .
(3) Let a be an ideal; assume S = 1 + a; set W := pV(a) p. Show R S = W .
(4) Given f R, let S f denote the saturation of the multiplicative
p
p subset of all
powers of f . Given f, g R, show S f S g if and only if hf i hgi.
14
Radicals (3.31)
S
Show i Wi 6= V .
S
(3) In (2), let W i Wi be a subspace. Show W S
Wi for some i.
(4) Let R a k-algebra, a, a1 , . . . , ar ideals with a i ai . Show a ai for some i.
Exercise (3.21). Let k be a field, R := k[X, Y ] the polynomial ring in two
variables, m := hX, Y i. Show m is a union of strictly smaller primes.
(3.22)
be a ring, a a subset. Then the radical of a is the
(Nilradical ). Let R
set a defined
by
the
formula
a := {x R | xn a for some n = n(x) 1}.
p
(3.22.1)
1 b = 1 b.
p
p
Exercise (3.26). Let e, e Idem(R). Assume hei = he i. Show e = e .
T
a = pa p
where p runs through all the prime ideals containing a. (By convention, the empty
intersection is equal to R.)
and
Proof: Take x
/ a. Set S := {1, x, x2 , . . .}. Then S is multiplicative,
T
a S = . By (3.12), there is a p a, but x
/ p. So x
/ pa p. Thus
T
a pa p.
T
Radicals (3.40)
15
This sum belongs to a as, in each summand, either xior y j does, since,
if i n 1
and j m 1, then i + j m + n 2. Thus x + y a. So clearly a is an ideal.
T
Alternatively,
given any collection of ideals a , note that a is also an ideal.
So a is an ideal owing to (3.29).
Exercise (3.32). Let R be a ring, and a an ideal. Assume
n
generated. Show
a a for all large n.
a is finitely
Proposition (3.34). A ring R is reduced and has only one minimal prime q
if and only if R is a domain.
p
Proof: Suppose R is reduced, or h0i = h0i. Then h0i is equal to the intersection of all the prime ideals p by (3.29). By (3.14), every p contains q. So h0i = q.
Thus R is a domain. The converse is obvious.
Exercise (3.35). Let R be a ring. Assume R
Qis reduced and has finitely many
minimal prime ideals p1 , . . . , pn . Prove : R (R/pi ) is injective, and for each
i, there is some (x1 , . . . , xn ) Im() with xi 6= 0 but xj = 0 for j 6= i.
Exercise (3.36). Let R be a ring, X a variable, f := a0 + a1 X + + an X n
and g := b0 + b1 X + + bm X m polynomials with an 6= 0 and bm 6= 0. Call f
primitive if ha0 , . . . , an i = R. Prove the following statements:
R[[X]].
Set
n
P
m := M R and A :=
bn X n | bn a . Prove the following statements:
(1)
(2)
(3)
(4)
(5)
16
Radicals (3.40)
Example (3.40). Let R be a ring, R[[X]] the formal power series ring. Then
every prime p of R is the contraction of a prime of R[[X]]. Indeed, pR[[X]] R = p.
So by (3.13), there is aP
prime q of R[[X]] with q R = p. In fact, a specific choice
for q is the set of series
an X n with an p. Indeed, the canonical map R R/p
induces a surjection R[[X]] R/p with kernel q; hence, R[[X]]/q = (R/p)[[X]].
Plainly (R/p)[[X]] is a domain. But (3.39)(5) shows q may not be equal to pR[[X]].
18
Modules (4.5)
4. Modules
In Commutative Algebra, it has proven advantageous to expand the study of rings
to include modules. Thus we obtain a richer theory, which is more flexible and more
useful. We begin the expansion here by discussing residue modules, kernels, and
images. In particular, we identify the UMP of the residue module, and use it to
construct the Noether isomorphisms. We also construct free modules, direct sums,
and direct products, and we describe their UMPs.
(4.1) (Modules). Let R be a ring. Recall that an R-module M is an abelian
group, written additively, with a scalar multiplication, R M M , written
(x, m) 7 xm, which is
(1) distributive, x(m + n) = xm + xn and (x + y)m = xm + xm,
(2) associative, x(ym) = (xy)m, and
(3) unitary, 1 m = m.
For example, if R is a field, then an R-module is a vector space. Moreover, a
Z-module is just an abelian group; multiplication is repeated addition.
As in (1.1), for any x R and m M , we have x 0 = 0 and 0 m = 0.
A submodule N of M is a subgroup that is closed under multiplication; that
is, xn N for all x R and n N . For example, the ring R is itself an R-module,
and the submodules are just the ideals. Given an ideal a, let aN denote the smallest
submodule containing all products an with P
a a and n N . Similar to (1.4),
clearly aN is equal to the set of finite sums
ai ni with ai a and ni N .
Given m M , we call the set of x R with xm = 0 the annihilator of m,
and denote it Ann(m). We call the set of x R with xm = 0 for all m M
the annihilator of M , and denote it Ann(M ). Clearly, Ann(m) and Ann(M ) are
ideals.
Ker() := 1 (0) M
and
Im() := (M ) N.
R
R
R
EndZ (M ).
() := (1).
defined by
Modules (4.8)
19
Recall that M/M inherits a module structure, and is called the residue module,
or quotient, of M modulo M . Form the quotient map
: M M/M
by
Modules (4.10)
y
y
N/L
(N/L) (M/L)
// M/M
L L/(L M )
y
y
(4.6.1)
In practice, it is usually more productive to view M/M not as a set of cosets, but
simply another module M that comes equipped with a surjective homomorphism
: M M whose kernel is the given submodule M .
Finally, as we have seen, M/M has the following UMP: (M ) = 0, and given
: M N such that (M ) = 0, there is a unique homomorphism : M/M N
such that . Formally, the UMP determines M/M up to unique isomorphism.
(4.7) (Cyclic modules). Let R be a ring. A module M is said to be cyclic if
there exists m M such that M = Rm. If so, form : R M by x 7 xm; then
M as Ker() = Ann(m); see (4.6.1).
induces an isomorphism R/ Ann(m)
Note that Ann(m) = Ann(M ). Conversely, given any ideal a, the R-module R/a is
cyclic, generated by the coset of 1, and Ann(R/a) = a.
(4.8) (Noether Isomorphisms). Let R be a ring, N a module, and L and M
submodules.
First, assume L M N . Form the following composition of quotient maps:
: N N/L (N/L) (M/L).
(4.8.2)
L+M
(L + M )/M
The isomorphisms of (4.6.1) and (4.8.1) and (4.8.2) are called Noethers
First, Second, and Third Isomorphisms.
(4.9) (Cokernels, coimages). Let R be a ring, : M N a linear map. Associated to are its cokernel and its coimage,
Coker() := N/ Im()
$$
N
(4.8.1)
(m) := m + M .
20
and
Coim() := M/ Ker();
they are quotient modules, and their quotient maps are both denoted by .
Note (4.6) yields the UMP of the cokernel: = 0, and given a map : N P
with = 0, there is a unique map : Coker() P with = as shown below
M
// N
$$ zz
P
// Coker()
Im().
Further, (4.6.1) becomes Coim()
Modules (4.15)
of the Kronecker delta function; that is,
e := ( ) where
:=
21
1, if = ;
0, if 6= .
Clearly the standard basis is free. If has a finite number of elements, then R
is often written R and called the direct sum of copies of R.
The free module R has the following UMP: given a module M and elements
m M for , there is a unique homomorphism
: R M with (e ) = m for each ;
P
P
x e = x m . Note the following obvious statements:
namely, (x )
(1) is surjective if and only if the m generate M .
(2) is injective if and only if the m are linearly independent.
(3) is an isomorphism if and only if the m form a free basis.
Thus M is free of rank if and only if M R .
22
Modules (4.19)
Q
Clearly, M is a module under componentwise addition and scalar multiplication.
The direct sum of the M is the subset of restricted vectors:
L
Q
M := {(m ) | m = 0 for almost all } M .
L
Q
L
Q
Clearly,
M is a submodule
M . Clearly,
M =
M if is finite.
L of
If = {1 , . . . , n }, thenL M is also denoted by M1 Mn . Further, if
M = M for all , then
M is also denoted by M , or by M n if has just n
elements.
The direct product comes equipped with projections
Q
:
M M given by (m ) := m .
Q
It is easy to see that
M has this UMP:
Q given homomorphisms : L M ,
there is a unique homomorphism
: L M satisfying = for all ;
namely, (n) = (n) . Often, is denoted ( ). In other words, the induce
a bijection of sets,
Q
Q
Hom L, M
Hom(L, M ).
(4.15.1)
Clearly, this bijection is an isomorphism of modules.
Similarly, the direct sum comes equipped with injections
: M
given by
(m) := (m ) where m :=
m, if = ;
0, if 6= .
:
M N satisfying
= for all ; namely,
P
P
(m ) =
(m ). Often, is denoted
; often, ( ). In other words, the
induce this bijection of sets:
L
Q
Hom
M , N
Hom(M , N ).
(4.15.2)
L
M
N
and = L , = N , = N , = L
Modules (4.20)
23
Exercise
set, M a module for .
L(4.20).
L Let a be an ideal,
Q a nonempty
Q
Prove a
M =
aM . Prove a( M ) = aM if a is finitely generated.
5. Exact Sequences
In the study of modules, the exact sequence plays a central role. We relate it to
the kernel and image, the direct sum and direct product. We introduce diagram
chasing, and prove the Snake Lemma, which is a fundamental result in homological
algebra. We define projective modules, and characterize them in four ways. Finally,
we prove Schanuels Lemma, which relates two arbitrary presentations of a module.
In an appendix, we use deteminants to study free modules.
Definition (5.1). A (finite or infinite) sequence of module homomorphisms
i1
i
Mi1 Mi
Mi+1
(2) A sequence 0 L
M
N is exact if and only if L = Ker(), where =
L
0 L
L N N
N 0 where
M
M 0 be a short exact sequence,
Proposition (5.7). Let 0 M
and N M a submodule. Set N := 1 (N ) and N := (N ). Then the induced
sequence 0 N N N 0 is short exact.
24
25
26
(5.8) (Retraction, section, splits). We call a linear map : M M a retraction of another : M M if = 1M . Then is injective and is surjective.
Dually, we call a linear map : M M a section of another : M M if
= 1M . Then is surjective and is injective..
M
M splits if there is an isoWe say that a 3-term exact sequence M
M M with = and = .
morphism : M
M
M
M
M be a 3-term exact sequence. Then
Proposition (5.9). Let M
the following conditions are equivalent:
(1) The sequence splits.
(2) There exists a retraction : M M of , and is surjective.
(3) There exists a section : M M of , and is injective.
M M such that =
Proof: Assume (1). Then there exists : M
M
1
and = M . Set := M and := M . Then plainly (2) and (3) hold.
Assume (2). Set := 1M . Then = . But = 1M as is a
retraction. So = 0. Hence there exists : M M with = by (5.2)(2)
and the UMP of (4.9). Thus 1M = + .
Hence = + . But = 0 as the sequence is exact. So = . But
is surjective. Thus 1M = ; that is, (3) holds.
Similarly, = + . But = 1M as (3) holds. So 0 = . But is
injective, as is a retraction of it. Thus = 0. Thus (4.18) yields (1).
Assume (3). Then similarly (1) and (2) hold.
y
y
y
0
M/L
N/L
(N/L) (M/L)
0
Exercise (5.15) (Five Lemma). Consider this commutative diagram:
4
3
2
1
M
4 M
3 M
2 M
1 M
0
4 y
3 y
2 y
1 y
0 y
N4 N3 N2 N1 N0
exact sequence M
M
M , there is an isomorphism M M M if and
only if there is a section : M M of and is injective.
Assume it has exact rows. Via a chase, prove these two statements:
(1) If 3 and 1 are surjective and if 0 is injective, then 2 is surjective.
(2) If 3 and 1 are injective and if 4 is surjective, then 2 is injective.
Lemma (5.13) (Snake). Consider this commutative diagram with exact rows:
y
y
y
M
0
M
M
y
y
y
0
N N N
It yields the following exact sequence:
Ker( )
Ker()
Ker( )
Coker( ) Coker() Coker( ).
(5.13.1)
0 L
0
N
0
M
M
y
y
L 0
M
0
N
0
y
0
(5.16.1)
27
28
Assume all the columns are exact and the middle row is exact. Applying the Snake
Lemma, prove that the first row is exact if and only if the third is.
M
M
M
y
y
y
(5.23.1)
N N N
(5.18.1)
with G and F free. If G and F are free of finite rank, then the presentation is called
finite. If M has a finite presentation, then M is said to be finitely presented.
Proposition (5.20). Let R be a ring, M a module, m for generators.
M with (e ) = m . Set
K := Ker(). Then 0 K R M 0 is exact by (5.3). Take a set of
generators {k } of K, and repeat the process to obtain a surjection R
K.
Then R R M 0 is a presentation.
Definition (5.21). A module P is called projective if, given any surjective
linear map : M
N , every linear map : P N lifts to one : P M ;
namely, = .
Exercise (5.22). Show that a free module R is projective.
Theorem (5.23). The following conditions on an R-module P are equivalent:
(1) The module P is projective.
(2) Every short exact sequence 0 K M P 0 splits.
(3) There is a module K such that K P is free.
Hom(P, M ) Hom(P, N ) 0.
In other words, (5) holds.
Assume (5). Then every Hom(P, N ) is the image under Hom(P, ) of some
Hom(P, M ). But, by definition, Hom(P, )() = . Thus (1) holds.
Exercise (5.24). Let R be a ring, P and N finitely generated modules with P
projective. Prove Hom(P, N ) is finitely generated, and is finitely presented if N is.
Lemma (5.25) (Schanuel). Given two short exact sequences
i
0L
P
M 0
and
P M 0
0 L
( 0)
1 i
(0 )
i1
0
0
L
P P
P M
=y1M
y
y
0
P L P P P M
0
( 0)
0
L
0
x
x P M
x P P
=1M
( )
0 K P P M
0
1
0
29
L P .
So induces the desired isomorphism : K
0
K
R
N
0
1
y
y
Ny
0 L M N
0
Ker . But Ker is
The Snake Lemma (5.13) yields an isomorphism Ker
finitely generated by (5.26). So Ker is finitely generated. Also, the Snake Lemma
n
0
R
R
Rn
0
R
y
y
y
0 L M N 0
Since and are surjective, the Snake Lemma (5.13) yields an exact sequence
0 Ker Ker Ker 0,
and implies Coker = 0. Also, Ker and Ker are finitely generated by (5.26).
So Ker is finitely generated by (5.6). Thus M is finitely presented by (5.26).
(5.31.2)
Proof: For (1), assume n > m, and lets show is not injective.
Let A be the matrix of . Note (5.31.1) yields In (A) = h0i as n > m and
I0 (A) = R. Let r be the largest integer with Ann(Ir (A)) = h0i. Then 0 r < n.
Take any nonzero x Ir+1 (A). If r = 0, set z := (x, 0, . . . , 0). Then z 6= 0 and
(z) = 0; so is not injective. So assume r > 0.
As x 6= 0, also x
/ Ann(Ir (A)). So theres an r r submatrix B of A with
x det(B) 6= 0. By renumbering, we may assume that B is the upper left r r
submatrix of A. Let C be the upper left (r + 1) (r + 1) submatrix.
P
Let ci be the cofactor of a(r+1)i in det(C); so det(C) = r+1
i=1 a(r+1)i ci . Then
cr+1 = det(B). So xcr+1 6= 0. Set z := x(c1 , . . . , cr+1 , 0, . . . , 0). Then z 6= 0.
Lets show (z) = 0. Denote by Ak the kth row of A, by D the matrix obtained
by replacing the (r + 1)st row of C with the first (r + 1) entries of Ak , and by z Ak
the dot product. Then z Ak = x det(D). If k r, then D has two equal rows; so
z Ak = 0. If k r + 1, then D is an (r + 1) (r + 1) submatrix of A; so z Ak = 0
as xIr+1 (A) = 0. Thus (z) = 0. Thus is not injective. Thus (1) holds.
For (2), apply (1) to 1 too; thus also m n. Thus (2) holds.
Lemma (5.33). Let R be a ring, A an m n matrix, B an n p matrix, U be
an invertible m m matrix, and V an invertible n n matrix. Then for all r
(1) Ir (AB) Ir (A)Ir (B)
and
xi1 j1 . . . xi1 jr
xi1 1 . . . xi1 n
.. and X := ..
.. .
XIJ := ...
.
I
.
.
xir j1
. . . xir jr
xir 1
. . . xir n
For (1), say A = (aij ) and B = (bij ). Set C := AB. Given I := (i1 , . . . , ir ) with
30
31
n
X
j1 ,...,jr =1
jr =1
det AjI1 , . . . , AjIr bj1 k1 bjr kr .
Rn
Rm
M 0
and
includes part of the (n + i)th column, then D must include part of the (m + i)th
0hk
row. So D = 0C
where h := s + t k for some k t and for some h h
k h Ik
submatrix C of A. But det(D) = det(C). So det(D) Ih (A). But Ih (A) Is (A)
by (5.31.2). So det(D) Is (A). Thus Is+t (B) Is (A). Thus Is+t (B) = Is (A),
or Imr (A) = Ipr (B), as desired.
Finally, in general, Schanuels Lemma (5.25) yields the commutative diagram
32
Rq
Rp
M 0
+0
Rn Rp R Rm
Rp M
0
=y1M
y
1
0+
Rm Rq R Rm Rp M
0
Thus, by the last two paragraphs, Imr (A) = Ipr (B), as desired.
(5.35.1)
N = Ra1 x1 Ran xn ,
ha1 i han i =
6 0.
33
maximality, haP
1 i = (N ). But hbi hci. Thus (y1 ) = b ha1 i.
Write y1 = c e for some c R. Then (y1 ) = cP
. But c = a1 d for some
d R by the above paragraph with := . Set x1 := d e . Then y1 = a1 x1 .
So 1 (y1 ) = a1 1 (x1 ). But 1 (y1 ) = a1 . So a1 1 (x1 ) = a1 . But R is a domain
and a1 6= 0. Thus 1 (x1 ) = 1.
Set M1 := Ker(1 ). As 1 (x1 ) = 1, clearly Rx1 M1 = 0. Also, given x M ,
write x = 1 (x)x1 + (x 1 (x)x1 ); thus x Rx1 + M1 . Hence (4.17) implies
M = Rx1 M1 . Further, M1 is free by (4.14). Set N1 := M1 N .
Recall a1 x1 = y1 N . So N Ra1 x1 N1 . Conversely, given y N , write
y = bx1 + m1 with b R and m1 M1 . Then 1 (y) = b, so b ha1 i. Hence
y Ra1 x1 + N1 . Thus N = Ra1 x1 N1 .
Define : R Ra1 x1 by (a) = aa1 x1 . If (a) = 0, then aa1 = 0 as 1 (x1 ) = 1,
and so a = 0 as a1 6= 0. Thus is injective, so a isomorphism.
Note N1 Rm with m n owing to (4.14) with N for E. Hence N Rm+1 .
But N Rn . So (5.32)(2) yields m + 1 = n.
By induction on n, there exists a decomposition M1 = M1 M and elements
x2 , . . . , xn M1 and a2 , . . . , an R such that
M1 = Rx2 Rxn , N1 = Ra2 x2 Ran xn , ha2 i han i =
6 0.
and
(2) am F0 (M ) a.
34
presentation An
Am
M 0. Say has matrix A.
In (1), if r > m, then trivially aFr (M ) Fr1 (M ) owing to (5.35.1). So assume
r m and set s := m r + 1. Given x a, form the sequence
Rn+m
Rm
M 0 with := + x1Rm .
Note that this sequence is a presentation. Also, the matrix of is (A|xIm ), obtained
by juxtaposition, where Im is the m m identity matrix.
Given an (s 1) (s 1) submatrix B of A, enlarge it to an s s submatrix B
of (A|xIm ) as follows: say the ith row of A is not involved in B; form the m s
submatrix B of (A|xIm ) with the same columns as B plus the ith column of xIm
at the end; finally, form B as the s s submatrix of B with the same rows as B
plus the ith row in the appropriate position.
Expanding along the last column yields det(B ) = x det(B). By constuction,
det(B ) Is (A|xIm ). But Is (A|xIm ) = Is (A) by (5.34). Furthermore, x a is
arbitrary, and Im (A) is generated by all possible det(B). Thus (1) holds.
For (2), apply (1) repeatedly to get ak Fr (M ) Frk (M ) for all r and k. But
Fm (M ) = R by (5.35.1). So am F0 (M ).
For the second inclusion, given any m m submatrix B of A, say BP= (bij ). Let
ei be the ith standard basis vector of Rm . Set mi := (ei ). Then
bij mj = 0
for all i. Let C be the matrix of cofactors of B: the (i, j)th entry of C is (1)i+j
times the determinant of the matrix obtained by deleting the jth row and the ith
column of B. Then CB = det(B)Im . Hence det(B)mi = 0 for all i. So det(B) a.
But Im (A) is generated by all such det(B). Thus F0 (M ) a. Thus (2) holds.
36
6. Direct Limits
Category theory provides the right abstract setting for certain common concepts,
constructions, and proofs. Here we treat adjoints and direct limits. We elaborate
on two key special cases of direct limits: coproducts (direct sums) and coequalizers
(cokernels). Then we construct arbitrary direct limits of sets and of modules.
Further, we prove direct limits are preserved by left adjoints; whence, direct limits
commute with each other, and in particular, with coproducts and coequalizers.
Although this section is the most abstract of the entire book, all the material
here is elementary, and none of it is very deep. In fact, many statements are just
concise restatements in more expressive language; they can be understood through
a simple translation of terms. Experience shows that it pays to learn this more
abstract language, but that doing so requires determined, yet modest effort.
(6.1) (Categories). A category C is a collection of elements, called objects.
Each pair of objects A, B is equipped with a set HomC (A, B) of elements, called
written (, ) 7 ,
and there is a distinguished map 1B HomC (B, B), called the identity such that
(1) composition is associative, or () = () for : C D, and
(2) 1B is unitary, or 1B = and 1B = .
We say is an isomorphism with inverse : B A if = 1B and = 1A .
For example, four common categories are those of sets ((Sets)), of rings ((Rings)),
of R-modules ((R-mod)), and of R-algebras ((R-alg)); the corresponding maps are
the set maps, and the ring, R-module, and R-algebra homomorphisms.
Given categories C and C , their product C C is the category whose objects
are the pairs (A, A ) with A an object of C and A an object of C and whose maps
are the pairs (, ) of maps in C and in C .
(6.2) (Functors). A map of categories is known as a functor. Namely, given
categories C and C , a (covariant) functor F : C C is a rule that assigns to
each object A of C an object F (A) of C and to each map : A B of C a map
F () : F (A) F (B) of C preserving composition and identity; that is,
(1) F () = F ()F () for maps : A B and : B C of C, and
(2) F (1A ) = 1F (A) for any object A of C.
We also denote a functor F by F (), by A 7 F (A), or by A 7 FA .
Note that a functor F preserves isomorphisms. Indeed, if = 1B and = 1A ,
then F ()F () = 1F (B) and F ()F () = F (1A ).
For example, let R be a ring, M a module. Then clearly HomR (M, ) is a functor
from ((R-mod)) to ((R-mod)). A second example is the forgetful functor from
((R-mod)) to ((Sets)); it sends a module to its underlying set and a homomorphism
to its underlying set map.
A map of functors is known as a natural transformation. Namely, given two functors F, F : C C , a natural transformation : F F is a collection of maps
(A) : F (A) F (A), one for each object A of C, such that (B)F () = F ()(A)
35
F ()
F (A) F (B)
(A)y
(B)y
F ()
F (A) F (B)
For example, the identity maps 1F (A) trivially form a natural transformation 1F
from any functor F to itself. We call F and F isomorphic if there are natural
transformations : F F and : F F with = 1F and = 1F .
A contravariant functor G from C to C is a rule similar to F , but G reverses the
direction of maps; that is, G() carries G(B) to G(A), and G satisfies the analogues
of (1) and (2). For example, fix a module N ; then Hom(, N ) is a contravariant
functor from ((R-mod)) to ((R-mod)).
Exercise (6.3). (1) Show that the condition (6.2)(1) is equivalent to the
commutativity of the corresponding diagram:
HomC (B, C)
HomC F (B), F (C)
y
y
(6.3.1)
HomC (A, C)
HomC F (A), F (C)
(2) Given : C D, show (6.2)(1) yields the commutativity of this diagram:
HomC (B, C)
HomC F (B), F (C)
y
y
HomC (A, D)
HomC F (A), F (D)
(6.4.1)
y
y
HomC (F (B), B ) HomC (B, F (B ))
37
y
y
y
y
y
y
HomC (F (A), G(A)) HomC (A, F G(A)) HomC (G(A), G(A))
Chase after 1F (A) . Clockwise, its image is (A)(A) in the lower right corner.
Counterclockwise, its image is 1G(A) , owing to the definition of . Thus = 1G .
Similarly, = 1F , as required.
For example, the free module functor is the left adjoint of the forgetful functor
from ((R-mod)) to ((Sets)), since by (4.10),
Hom((R-mod)) (R , M ) = Hom((Sets)) (, M ).
Similarly, the polynomial ring functor is the left adjoint of the forgetful functor
from ((R-alg)) to ((Sets)), since by (1.3),
Hom((R-alg)) R[X1 , . . . , Xn ], R = Hom((Sets)) {X1 , . . . , Xn }, R .
A
FA
F
gy
yF F g
B
B F F B
38
(6.6) (Direct limits). Let , C be categories. Assume is small; that is, its
objects form a set. Given a functor 7 M from to C, its direct limit or
colimit, denoted lim M or lim M , is defined to be the object of C universal
y
1
M lim M
y
y
1
P
P
P P P
there is usually a canonical choice for lim M , given by a construction. In any case,
We say that C has direct limits indexed by if, for every functor 7 M
from to C, the direct limit lim M exists. We say that C has direct limits if it
: lim F (M ) F (lim M ).
(6.6.1)
y
y
N lim N
To put it in another way, form the functor category C : its objects are the
functors 7 M from to C; its maps are the natural transformations (they form
a set as is one). Then taking direct limits yields a functor lim from C to C.
In fact, it is just a restatement of the definitions that the direct limit functor
lim is the left adjoint of the diagonal functor
: C C .
By definition, sends each object M to the constant functor M , which has the
same value M at every and has the same value 1M at every map of ; further,
carries a map : M N to the natural transformation : M N , which
has the same value at every .
39
The maps : M M
` are called the inclusions. Thus, given such a P , there
exists a unique map :
M P with = for all .
If = , then the coproduct is an object B with a unique map to every other
object P . There are no in , so no inclusions : M B, so no equations
= to restrict . Such a B is called an initial object.
For instance, suppose C =`((R-mod)). Then the zero module
L is an initial object.
For any , the coproduct
M is just the direct sum
M (a convention if
= ). Next, suppose`C = ((Sets)). Then the empty
set
is
an
initial object. For
F
any , the coproduct M is the disjoint union M (a convention if = ).
Note that the coproduct is a special case of the direct limit. Indeed, regard as
a discrete category: its objects `
are the , and it has just the required maps,
namely, the 1 . Then lim M = M with the insertions equal to the inclusions.
: M`
M . For each := , set M := M . Set M :=
M and
N := M . For each , there are two maps M := M N : the inclusion
and the composition . Correspondingly, there are two maps , : M N .
Let C be their coequalizer, and : N C the insertion.
Given maps : M P with = , there is a unique map : N P with
= by the UMP of the coproduct. Clearly = ; so factors uniquely
40
F (
)
F ( )
F (M ) F (M ) F (lim M )
y
y
y
1
P P P
(6.12.1)
where
is any transition map and is the corresponding insertion. Given the
, we must show there is a unique .
Say F is the left adjoint of F : C C. Then giving (6.12.1) is equivalent to
giving this corresponding commutative diagram:
y
1
M lim M
y
y
1
F (P )
F (P )
F (P )
y
y
(6.13.1)
M
M
41
Theorem (6.14) (Direct limits commute). Let C be a category with direct limits
indexed by small categories and . Let 7 ( 7 M ) be a functor from to
C . Then
lim lim M, = lim lim M, .
Proof: By (6.7) and (6.8), both coproducts and coequalizers are special cases
of direct limits, and C has them. So (6.14) yields the assertion.
Exercise (6.16). Let C be a category, and small categories.
(1) Prove C = (C ) with (, ) 7 M, corresponding to 7 ( 7 M, ).
(2) Assume C has direct limits indexed by and by . Prove that C has direct
limits indexed by and that lim lim = lim(,) .
Show that the analogous statement for kernels can be false by constructing a
counterexample using the following commutative diagram with exact rows:
2
2
y
2
Z
Z/h2i
0
2
2
y
y
Z Z
Z/h2i
0
For example, let be a partially ordered set. Suppose is directed; that is,
given , , there is a with and . Regard as a category whose
objects are its elements and whose sets Hom(, ) consist of a single element if
, and are empty if not; morphisms can be composed, because the ordering is
transitive. Clearly, the category is filtered.
Exercise (7.2). S
Let R be a ring, M a module, a set, M a submodule for
each . Assume M = M . Assume, given , , there is such that
M , M M . Order by inclusion: if M M . Prove M = lim M .
Exercise (7.3). Show that every module M is the filtered direct limit of its
finitely generated submodules.
Exercise (7.4). Show that every direct sum of modules is the filtered direct
limit of its finite direct subsums.
Example (7.5). Let be the set
S of all positive integers, and for each n ,
set Mn := {r/n | r Z} Q. Then Mn = Q and Mm , Mn Mmn . Then (7.2)
yields Q = lim Mn where is ordered by inclusion of the Mn .
Rm Rn
m y
n y
m
n
(7.5.1)
Mm Mn
43
,,22
22,,
2
3
( )1 m1
Hence,
= ( ) 3 m3 . Thus m1 m3 .
If C = ((R-mod)), define addition in M as follows. Given mi Mi for i = 1, 2,
there are i by (7.1)(1). Set
1 m1 + 2 m2 := (1 m1 + 2 m2 ).
We must check that this addition is well defined.
First, consider . Suppose there are i too. Then (7.1)(1) yields and .
Possibly, i 6= i , but (7.1)(2) yields with ( 1 ) ( 1 ) and
then with ( 2 ) = ( 2 ). In sum, we have this diagram:
//55
))//
,,22
//
definition of the equivalence relation involved. Finally, (3) is the special case of (2)
where m1 := m and m2 = 0.
Exercise (7.9). Let R := lim R be a filtered direct limit of rings.
//
,,22
44
//
( )(1 m1 + 2 m2 )
Therefore,
= ( )( 1 m1 + 2 m2 ). Thus both
and yield the same value for 1 m1 + 2 m2 .
Second, suppose m1 m1 M1 . Then a similar, but easier, argument yields
1 m1 + 2 m2 1 m1 + 2 m2 . Thus addition is well defined on M .
Define scalar multiplication on M similarly. Then clearly M is an R-module.
If C = ((R-alg)), then we can see similarly that M is canonically an R-algebra.
induce
Finally,
F let : M N be maps with = for all . The
a map M N . Suppose m1 m2 for mi Mi ; that is, 1 m1 = 2 m2
for some i . Then 1 m1 = 2 m2 as i = i . So there is a unique map
: M N with = for all . Further, if C = ((R-mod)) or C = ((R-alg)),
then clearly is a homomorphism. The proof is now complete.
Corollary (7.8). Preserve the conditions of (7.7).
(1) Given m lim M , there are and m M such that m = m .
i i
i i1
i1 = ii ii i . Set i := ii ii i
i i i1 = i i i and ii i1
i
i i
45
46
objects are the 3-term exact sequences, and its maps are the commutative diagrams
L
N
M
y
y
y
L
M
N
Hence repeated use of (7.8)(2) and (7.1)(1), (2) yields and with, for all j,
(fj (m1 , . . . , mr )) = 0.
Therefore, there is : N M with (ni ) := (mi ) by (4.10) and (4.6).
Set := ( ). Then () = . Hence ()(ni ) = mi := (ni ) for all i. So
() = . Thus is surjective. So (1) implies is bijective. Thus (b) holds.
Trivially (b) implies (c).
Finally, assume (c). Take to be the directed set of finitely generated submodules
N of N . Then N = lim N by (7.2). However, is surjective. So there is
and the are the quotient maps. Since is surjective, there is Hom(N, N )
with () = 1N . So (7.8)(1) yields and Hom(N, N ) with ( ) = .
Hence = (). So = 1N . Set := for all ; note is well
defined as is directed. Then = = 1N for all . Lets show there is
with = 1N .
For all and i, let ni be the image in N of ei . Then ni = ( ni )
as = 1N . Hence repeated use of (7.8)(2) and (7.1)(1) yields such that
ni = ( ni ) for all i. Hence ni = ( )ni . But the ni generate N
for all i. So 1N = , as desired.
So : N N is an isomorphism. So N = N . Thus N is finitely generated.
Thus (a) holds for ((R-mod)).
In the case C = ((R-alg)), replace F by a polynomial ring R[X1 , . . . , Xr ], the
submodule N by the appropriate ideal a, and the fj by polynomials that generate
a. With these replacements, the above proof shows (a) implies (b). As to (c) implies
(a), first take the N to be the finitely generated subalgebras; then the above proof
of finite generation works equally well as is. The rest of the proof works after we
replace F by a polynomial ring, the ei by the variables, N by the appropriate ideal,
and the N by the finitely generated subideals.
(7.13) (Finite presentations). Let R be a ring, R a finitely presented algebra.
The proof of (7.12)(2) shows that, for any presentation R[X1 , . . . , Xr ]/a of R ,
where R[X1 , . . . , Xr ] is a polynomial ring and a is an ideal, necessarily a is finitely
generated. Similarly, for a finitely presented module M , that proof gives another
solution to (5.26), one not requiring Schanuels Lemma.
Theorem (7.14) (Exactness of Filtered Direct Limits). Let R be a ring, a
filtered category. Let C be the category of 3-term exact sequences of R-modules: its
lim L
lim M
lim N is exact.
Proof: Abusing notation, in all three cases denote by the transition maps
and by the insertions. Then given lim L , there is L with =
//
//
// 0
//
//
// 0
lim
// m
//
// m
//
// 0
//
// 0
//
lim
an ideal for each . Assume a a for each transition map . Set a := lim a .
Exercise (7.17). Let R := lim R be a filtered direct limit of rings. Prove that
47
each ring R is local, say with maximal ideal m , and assume each transition map
(Rn )y
(N )y
(R )y
8. Tensor Products
Given two modules, their tensor product is the target of the universal bilinear
map. We construct the product, and establish various properties: bifunctoriality,
commutativity, associativity, cancellation, and most importantly, adjoint associativity; the latter relates the product to the module of homomorphisms. With one
factor fixed, the product becomes a linear functor. We prove Watts Theorem; it
characterizes tensor-product functors as those linear functors that commute with
direct sums and cokernels. Lastly, we discuss the tensor product of algebras.
(8.1) (Bilinear maps). Let R a ring, and M , N , P modules. We call a map
: M N P
0
Hom(N, lim M )
Hom(Rn , lim M )
Hom(R , lim M )
The rows are exact owing to (5.18), the left exactness of Hom, and to (7.14), the
exactness of filtered direct limits. Now, Hom preserves finite direct sums by (4.15),
and direct limit does so by (6.15) and (6.7); hence, (Rn ) is bijective, and (R )
is bijective if is finite. A diagram chase yields the assertion.
bilinear if it is linear in each variable; that is, given m M and n N , the maps
lim MC = lim M ;
more precisely, show that the right side has the UMP characterizing the left.
Exercise (7.21). Show that every R-module M is the filtered direct limit over
a directed set of finitely presented modules.
m 7 (m , n) and n 7 (m, n )
are R-linear. Denote the set of all these maps by BilR (M, N ; P ). It is clearly an
R-module, with sum and scalar multiplication performed valuewise.
(8.2.1)
(8.3.1)
Proof: Note that, if we follow any bilinear map with any linear map, then the
result is bilinear; hence, is well defined. Clearly, is a module homomorphism.
Further, is injective since M R N is generated by the image of . Finally, given
any bilinear map : M N P , by (4.10) it extends to a map : R(MN ) P ,
and carries all the elements in (8.2.1) to 0; hence, factors through . Thus
is also surjective, so an isomorphism, as asserted.
Exercise (8.4). Let R be a ring, R an R- algebra, and M an R -module.
Set M := R R M . Define : M M by m := 1 m, and : M M by
(x m) := xm. Prove M is a direct summand of M with = M and = M .
48
49
M N M N
(commutative law)
(unitary law)
R(N M) , and
Proof: The switch map induces an isomorphism R(MN )
it preserves the elements of (8.2.1). Thus (1) holds.
Define : R M M by (x, m) := xm. Clearly is bilinear. Lets check
has the requisite UMP. Given a bilinear map : R M P , define : M P by
(m) := (1, m). Then is linear as is bilinear. Also, = as
M R N = N R M.
M R (N R P ) = (M R N ) R P,
M
N M
N
y
y
50
(8.8) (Bimodules). Let R and R be rings. An abelian group N is an (R, R )bimodule if it is both an R-module and an R -module and if x(x n) = x (xn)
for all x R, all x R , and all n N . At times, we think of N as a left Rmodule, with multiplication xn, and as a right R -module, with multiplication nx .
Then the compatibility condition becomes the associative law: x(nx ) = (xn)x . A
(R, R )-homomorphism of bimodules is a map that is both R-linear and R -linear.
Let M be an R-module, and let N be an (R, R )-bimodule. Then M R N
is an (R, R )-bimodule with R-structure as usual and with R -structure defined
by x (m n) := m (x n) for all x R , all m M , and all n N . The
latter multiplication is well defined and the two multiplications commute because
of bifunctoriality (8.5) with := x and := x .
For instance, suppose R is an R-algebra. Then R is an (R, R )-bimodule. So
M R R is an R -module. It is said to be obtained by extension of scalars.
In full generality, it is easy to check that HomR (M, N ) is an (R, R )-bimodule
under valuewise multiplication by elements of R . Further, given an R -module
P , it is easy to check that HomR (N, P ) is an (R, R )-bimodule under sourcewise
multiplication by elements of R.
Exercise (8.9). Let R be a ring, R an R-algebra, M, N two R -modules.
Show there is a canonical R-linear map : M R N M R N .
Let K M R N denote the R-submodule generated by all the differences
(x m) n m (x n) for x R and m M and n N . Show K is equal to
Ker( ), and is surjective. Show is an isomorphism if R is a quotient of R.
M, HomR (N, P ) .
(associative law)
(adjoint associativity)
(cancellation law)
(left adjoint)
(right adjoint)
51
Exercise (8.12). In the setup of (8.11), find the unit M of each adjunction.
F (R ) F (R ) F (M ) 0
Suppose F preserves cokernels. Since N does too, the rows of (8.18.1) are
exact by (5.2). Therefore, (M ) is an isomorphism.
Exercise (8.19). Let F : ((R-mod)) ((R-mod)) be a linear functor. Show
that F always preserves finite direct sums. Show that (M ) : M F (R) F (M )
is surjective if F preserves surjections and M is finitely generated, and that (M )
is an isomorphism if F preserves cokernels and M is finitely presented.
(8.20) (Additive functors). Let R be a ring, M a module, and form the diagram
M
M
M M M M
N ( )M = + ,
R N
R N
M
N
0
(M)
y(R )
y(R )
y
(8.20.1)
52
(8.18.1)
(M )
(L M )
y
y
U( ) L
U (M )
U (M )
L
L
Hence ( M )T ( )L
=
(M )T ( ). But the UMP of direct sum says that,
given any N , a map
TL
(M ) N
L is determined by its compositions with the
inclusions T ( ). Thus ( M ) =
(M ), as desired.
M R M R M N 0.
P
Further, (1 )
m e = 0. So the exactness implies there is an element
P
s M R such thatP(1 )(s) =
m e . Let {e } be the
Pstandard basis
of R , and write s =P m e with m M . Write (e ) = x e . Then
clearly 0 = (e ) = x n , and
P
P
P
P
P
0 = m e m
x e =
m
x m e .
P
Since the e are independent, m = x m , as asserted.
53
(s t, s t )(ss tt ).
with
$$
$$
S R T
::
**//
44 V
the real cube root of 2. Set k := Q() and K := k[ 3 2]. Show K = k[X]/hX 3 2i
and then K k K = K K K.
9. Flatness
A module is called flat if tensor product with it is an exact functor. First, we
study exact functors in general. Then we prove various properties of flat modules.
Notably, we prove Lazards Theorem, which characterizes the flat modules as the
filtered direct limits of free modules of finite rank. Lazards Theorem yields the
Ideal Criterion for Flatness, which characterizes the flat modules as those whose
tensor product with any finitely generated ideal is equal to the ordinary product.
Lemma (9.1). Let R be a ring, : M N a homomorphism of modules. Then
there is a commutative diagram with two short exact sequences involving N
0
// M
// M
0
$$
// N
//
:: N
// N
// 0
(9.1.1)
// 0
(9.2.1)
Proof: Trivially, (1) implies (2). In view of (5.2), clearly (1) yields (3) and (4).
Assume (3). Let 0 M M M 0 be a short exact sequence. Since F
preserves kernels, 0 F M F M F M is exact; since F preserves surjections,
F M F M 0 is also exact. Thus (2) holds. Similarly, (4) implies (2).
54
Flatness (9.13)
55
M
M be exact; that is, Ker() = Im().
Finally, assume (5). Let M
Now, (5) yields Ker(F ()) = F (Ker()) and Im(F ()) = F (Im()). Therefore,
Ker(F ()) = Im(F ()). Thus (1) holds.
Exercise (9.4). Let R be a ring, R an algebra, F an R-linear functor from
((R-mod)) to ((R -mod)). Assume F is exact. Prove the following equivalent:
(1) F is faithful.
(2) An R-module M vanishes if F M does.
(3) F (R/m) 6= 0 for every maximal ideal m of R.
(4) A sequence M
M
M is exact if F M F M F M is.
56
Flatness (9.19)
M
K M
K M K
0
y
y
y
0
M R
M R
M R
y
y
M N M
N
y
y
0
Here and are injective by Definition (9.5), as M and R are flat by hypothesis
and by (9.7). So the rows and columns are exact, as tensor product is right exact.
Finally, the Snake Lemma, (5.13), implies is injective. Thus (1) holds.
To prove (2), take an injection N N , and form this commutative diagram:
0
M
N
M
M
N
0
N
y
y
y
0 M N M N M N 0
Flatness (9.23)
57
58
Flatness (9.25)
Exercise (9.18). Prove that an R-algebra R is faithfully flat if and only if the
structure map : R R is injective and the quotient R /R is flat over R.
yield maps in M . So, by definition of direct limit, they have the same compositions
with the insertion m . Hence y = m (y ) = 0. Thus is injective, so bijective.
Proposition (9.20). Let R and R be rings, M an R-module, N an (R, R )bimodule, and P an R -module. Then there is a canonical homomorphism
(9.20.1)
y
y
y
0
HomR (M, N R P )
HomR (Rn , N R P )
HomR (R , N R P )
Its rows are exact owing to the left exactness of Hom and to the flatness of P . The
right-hand vertical map is bijective if is finite. The assertion follows.
Exercise (9.21). Let R be a ring, R an algebra, M and N modules. Show
that there is a canonical map
: HomR (M, N ) R R HomR (M R R , N R R ).
tive; see the proof of (6.10). So y is in the image of some finite sum (Rmi , i ) Rmi .
P
P
L mi
i . Then y is the image of some
Set m := mi . Then
R = Rm . Set :=
y Rm under the insertion m : Rm lim Rm . But y Ker(). So (y ) = 0.
(1) M is flat.
(2) Given a finitely presented module P , this version of (9.20.1) is surjective:
HomR (P, R) R M HomR (P, M ).
(3) Given a finitely presented module P and a map : P M , there exists a
factorization : P
Rn
M;
m
(4) Given an : R M and a k Ker(), there exists a factorization
: Rm
Rn M such that (k) = 0.
(5) Given an : Rm M and k1 , . . . , kr Ker() there exists a factorization
: Rm
Rn M such that (ki ) = 0 for i = 1, . . . , r.
(6) Given Rr
Rm
M such that = 0, there exists a factorization
: Rm
Rn M such that = 0.
(7) M is filtered.
(8) M is a filtered direct limit of free modules of finite rank.
Proof: Assume (1). Then (9.20) yields (2).
Assume (2).
P Consider (3). There are 1 , . . .n, n Hom(P, R) and x1 , . . . , xnn M
with (p) = i (p)xi by (2).
P Let : P R be (1 , . . . , n ), and let : R M
be given by (r1 , . . . , rn ) = ri xi . Then = , just as (3) requires.
Assume (3), and consider (4). Set P := Rm /Rk, and let : Rm P denote
the quotient map. Then P is finitely presented, and there is : P M such that
i
i1 : Rmi1 Rmi
M
for i = 1, . . . , r
yields a factorization : Rm
Rn M with = 0. Then is a map of M ,
and = . Hence the second condition of (7.1) is satisfied. Thus (7) holds.
If (7) holds, then (8) does too, since M = lim(Rm ,) Rm by (9.23).
M
Assume (8). Say M = lim M with the M free. Each M is flat by (9.5), and
Flatness (9.28)
xi R and yi M , there are xij R and yj M such that
P
P
59
(9.25.1)
Lemma (9.26) (Ideal Criterion for Flatness). A module N is flat if and only if,
given any finitely generated ideal a, the inclusion a R induces an isomorphism:
aN.
a N
N with a x 7 ax. If N is flat,
Proof: In any case, (8.6)(2) implies R N
aN .
then the inclusion a R yields an injection a N R N , and
a N
Pso
n
To prove the converse, lets check the criterion (9.25). Given P
i=1 xi yi = 0 with
aN , then
xi R and yi N , set a := hx1 , . . . , xn i. If a N
i xi yi = 0; so
the Equational Criterion for Vanishing (8.21) yields (9.25.1). Thus N is flat.
Exercise (9.28). Let R be a ring, M a module. Prove (1) if M is flat, then for
x R and m M with xm = 0, necessarily m Ann(x)M , and (2) the converse
holds if R is a Principal Ideal Ring (PIR); that is, every ideal a is principal.
pM (M) = 0.
pM (T ) := T n + a1 T n1 + + an := det(T In M).
Let a be an ideal. If aij a for all i, j, then clearly ak ak for all k.
The CayleyHamilton Theorem asserts that, in the ring of matrices,
It is a special case of (10.2) below; indeed, take M : Rn , take m1 , . . . , mn to be
the standard basis, and take to be the endomorphism defined by M.
Conversely, given the setup of (10.2), form the surjection : Rn
M taking
the ith standard basis element ei to mi , and form the map : Rn Rn associated
to the matrix M. Then = . Hence, given any polynomial p(T ), we have
p() = p(). Hence, if p() = 0, then p() = 0 as is surjective. Thus the
CayleyHamilton Theorem and the Determinant Trick (10.2) are equivalent.
Theorem (10.2) (Determinant Trick). Let M be an R-module
P generated by
m1 , . . . , mn , and : M M an endomorphism. Say (mi ) =: nj=1 aij mj with
aij R, and form the matrix M := (aij ). Then pM () = 0 in End(M ).
Proof: Let ij be the Kronecker delta function, aij the multiplication map.
Let stand for the matrix (ij aij ) with entries in the commutative subring
R[] of End(M ), and X for the column vector (mj ). Clearly X = 0. Multiply
on the left by the matrix of cofactors of : the (i, j)th entry of is (1)i+j
times the determinant of the matrix obtained by deleting the jth row and the ith
column of . Then X = 0. But = det()In . So det()mj = 0 for all j.
Hence det() = 0. But det() = pM (). Thus pM () = 0.
Proposition (10.3). Let M be a finitely generated module, a an ideal. Then
M = aM if and only if there exists a a such that (1 + a)M = 0.
P
Proof: Assume M = aM . Say m1 , . . . , mn generate M , and mi = nj=1 aij mj
with aij a. Set M := (aij ). Say pM (T ) = T n + a1 T n1 + + an . Set
a := a1 + + an a. Then (1 + a)M = 0 by (10.2) with := 1M .
Conversely, if there exists a a such that (1 + a)M = 0, then m = am for all
m M . So M aM M . Thus M = aM .
60
61
62
Example (10.12). Nakayamas Lemma (10.11) may fail if the module is not
finitely generated. For example, let A be a local domain, m the maximal ideal, and
K the fraction field. Assume A is not a field, so that theres a nonzero x m. Then
any z K can be written in the form z = x(z/x). Thus K = mK, but K 6= 0.
Proposition (10.13). Let R be a ring, m rad(R) an ideal, N M modules.
(1) If M/N is finitely generated and if N + mM = M , then N = M .
(2) Assume M is finitely generated. Then elements m1 , . . . , mn generate M if
and only if their images m1 , . . . , mn generate M := M/mM .
Proof: In (1), the second hypothesis holds if and only if m(M/N ) = M/N .
Hence (1) holds by (10.11) applied with M/N for M .
In (2), let N be the submodule generated by m1 , . . . , mn . Since M is finitely
generated, so is M/N . Hence N = M if the mi generate M/mM by (1). The
converse is obvious.
Exercise (10.14). Let R be a ring, a an ideal, and : M N a map of
modules. Assume that a rad(R), that N is finitely generated, and that the
induced map : M/aM N/aN is surjective. Show that is surjective.
Exercise (10.15). Let R be a ring, m rad(R) an ideal. Let , : M N
be two maps of finitely generated modules. Assume that is an isomorphism and
that (M ) mN . Set := + . Show that is an isomorphism.
Exercise (10.16). Let A be a local ring, m the maximal ideal, M a finitely
generated A-module, and m1 , . . . , mn M . Set k := A/m and M := M/mM , and
write mi for the image of mi in M . Prove that m1 , . . . , mn M form a basis
of the k-vector space M if and only if m1 , . . . , mn form a minimal generating
set of M (that is, no proper subset generates M ), and prove that every minimal
generating set of M has the same number of elements.
Exercise (10.17). Let A be a local ring, k its residue field, M and N finitely
generated modules. (1) Show that M = 0 if and only if M A k = 0. (2) Show
that M A N 6= 0 if M 6= 0 and N 6= 0.
(10.18) (Local Homomorphisms). Let : A B be a map of local rings, m
and n their maximal ideals. Then the following three conditions are equivalent:
(1) 1 n = m;
(2) 1
/ mB;
1
(3) mB n.
(10.18.1)
Indeed, if (1) holds, then mB = ( n)B n; so (2) holds. If (2) holds, then mB
lies is some maximal ideal, but n is the only one; thus (3) holds. If (3) holds, then
m 1 (mB) 1 n; whence, (1) holds as m is maximal.
If the above conditions hold, then we say : A B is a local homomorphism.
Exercise (10.19). Let A B be a local homomorphism, M a finitely generated B-module. Prove that M is faithfully flat over A if and only if M is flat over
A and nonzero. Conclude that, if B is flat over A, then B is faithfully flat over A.
63
(10.21.1)
Proof: Assume (1) holds. Say p(X) is a monic polynomial of degree n with
p(x) = 0. For any m, let Mm R[x] be the R-submodule generated by 1, . . . , xm .
For m n, clearly xm xmn p(x) is in Mm1 . But p(x) = 0. So also xm Mm1 .
So by induction, Mm = Mn1 . Hence Mn1 = R[x]. Thus (2) holds.
If (2) holds, then trivially (3) holds with R := R[x].
If (3) holds, then (4) holds with M := R , as xM = 0 implies x = x 1 = 0.
Assume (4) holds. In (10.2), take := x . We obtain a monic polynomial p of
degree n with p(x)M = 0. Since M is faithful, p(x) = 0. Thus (1) holds.
Exercise (10.24). Let k be a field, P := k[X] the polynomial ring in one
variable, f P . Set R := k[X 2 ] P . Using the free basis 1, X of P over R, find
an explicit equation of integral dependence of degree 2 on R for f .
Corollary (10.25). Let R be a ring, P = R[X] the polynomial ring in one
variable, and a an ideal of P . Set R := P/a, and let x be the image of X in R .
Let n be a positive integer. Then the following conditions are equivalent:
64
65
Exercise (10.31).
i Qr, let Ri be a ring, Ri an extension of Ri , and
Q For 1
(1 + 5)(1 5) = 4 = 2 2,
and 1 + 5,
and 1 5 and 2 are irreducible, but not associates. However, set
:= (1 + 5)/2, the golden ratio. The ring Z[ ] is known to be a PID; see
[12, p. 292]. Hence, Z[ ] is a UFD, so normal by (10.33); hence, Z[ ] contains the
normalization R of R. On the other hand, 2 1 = 0; hence, Z[ ] R. Thus
Z[ ] = R.
and let x, y R be the residues of X, Y . Prove that R is a domain, but not a field.
Set t := y/x Frac(R). Prove that k[t] is the integral closure of R in Frac(R).
// S 1 R
$$
R
67
Proof: First, suppose that exists. Let s S. Then (s) = (s/1). Hence
(s)(1/s) = (s/1 1/s) = 1. Thus (S) R .
Next, note that is determined by as follows:
(x/s) = (x/1)(1/s) = (x)(s)1 .
Conversely, suppose (S) R . Set (x/s) := (s)1 (x). Lets check that
is well defined. Say x/s = y/t. Then there is u S such that xtu = ysu. Hence
(x)(t)(u) = (y)(s)(u).
if
xt = ys.
be
a
set,
S
S
a
multiplicative
subset
for
all
.
Assume
S
S = S. Assume given , , there is such that S , S S . Order by
inclusion: if S S . Using (1), show lim S1 R = S 1 R.
68
Proof: Set R := R[X] h1 f Xi, and let : R R be the canonical map.
Lets show that R has the UMP characterizing localization (11.5).
First, let x R be the residue of X. Then 1 x(f ) = 0. So (f ) is a unit. So
(f n ) is a unit for n 0.
Second, let : R R be a homomorphism carrying f to a unit. Define
: R[X] R by |R = and X = (f )1 . Then (1 f X) = 0. So factors
via a homomorphism : R R , and = . Further, is unique, since every
element of R is a polynomial in x and since x = (f )1 as 1 (x)(f ) = 0.
Proposition (11.14). Let R be a ring, S a multiplicative subset, a an ideal.
(1) Then aS 1 R = {a/s S 1 R | a a and s S}.
1
(2) Then a S 6= if and only if aS 1 R = S 1 R if and only if 1
R) = R.
S (aS
Proof: Let a, b a and x/s, y/t S 1 R. Then ax/s + by/t = (axt + bys)/st;
further, axt + bys a and st S. So aS 1 R {a/s | a a and s S}. But the
opposite inclusion is trivial. Thus (1) holds.
As to (2), if a S s, then aS 1 R s/s = 1, so aS 1 R = S 1 R; whence,
1
1
S (aS 1 R) = R. Finally, suppose 1
R) = R. Then aS 1 R 1. So (1)
S (aS
yields a a and s S such that a/s = 1. So there exists a t S such that at = st.
But at a and st S. So a S 6= . Thus (2) holds.
Definition (11.15). Let R be a ring, S a multiplicative subset, a a subset of
R. The saturation of a with respect to S is the set denoted by aS and defined by
aS := {a R | there is s S with as a}.
If a = aS , then we say a is saturated.
Proposition (11.16). Let R be a ring, S a multiplicative subset, a an ideal.
(1) Then Ker(S ) = h0iS . (2) Then a aS . (3) Then aS is an ideal.
Proof: Clearly, (1) holds, for a/1 = 0 if and only if there is s S with as = 0.
Clearly, (2) holds as 1 S. Clearly, (3) holds, for if as, bt a, then (a + b)st a,
and if x R, then xas a.
Exercise (11.17). Let R be a ring, S a multiplicative subset, a and b ideals.
Show (1) if a b, then aS bS ; (2) (aS )S = aS ; and (3) (aS bS )S = (ab)S .
Exercise (11.18). Let R be a ring, S a multiplicative subset. Prove that
nil(R)(S 1 R) = nil(S 1 R).
Proposition (11.19). Let R be a ring, S a multiplicative subset.
(1) Let b be an ideal of S 1 R. Then
1 S
(a) 1
S b = (S b)
and
1
(b) b = (1
R).
S b)(S
1
(2) Let a be an ideal of R. Then 1
R) = aS .
S (aS
(3) Let p be a prime ideal of R, and assume p S = . Then
(a) p = pS
and
(b) pS 1 R is prime.
69
70
(
b)(S
R).
Now,
take
a
1
S
S
S b. Then a/1 b. So
1
1
b (S b)(S R). Thus (1)(b) holds too.
To prove (2), take a aS . Then there is s S with as a. But a/1 = as/1 1/s.
1
1
So a/1 aS 1 R. Thus 1
R) aS . Now, take x 1
R). Then
S (aS
S (aS
x/1 = a/s with a a and s S by (11.14)(1). Hence there is t S such that
1
xst = at a. So x aS . Thus 1
R) aS . Thus (2) holds.
S (aS
To prove (3), note p pS as 1 S. Conversely, if sa p with s S R p,
then a p as p is prime. Thus (a) holds.
1
As for (b), first note pS 1 R 6= S 1 R as 1
R) = pS = p by (2) and (3)(a)
S (pS
1
1
and as 1
/ p. Second, say a/s b/t pS R. Then ab 1
R), and the
S (pS
latter is equal to pS by (2), so to p by (a). Hence ab p, so either a p or b p.
So either a/s pS 1 R or b/t pS 1 R. Thus pS 1 R is prime. Thus (3) holds.
S 1 R S 1 R
// S 1 R
$$
R
R
R
S y
y S
S 1
(11.23.1)
Proof: In (1), the maps are inverses by (11.19)(1), (2); clearly, they preserve
inclusions. Further, (1) implies (2) by (11.19)(3), by (2.8), and by (11.14)(2).
even though R S and R T are rarely equal, because the two UMPs are essentially
the same; indeed, any ring map R R may be viewed as an R-algebra map, and
trivially the elements of S become units in R if and only if the elements of T do.
71
T 1 (S 1 R) = S 1 (T 1 R) = U 1 R.
Proof: In spirit, the proof is like that of (1.7): the two rings are equal, as each
is universal among R-algebras with a distinguished element and where the s S
become units.
73
1
M
S M
1
yS
y
S
N S 1 N
(S 1 )(m/s) = (m)/s.
(12.9.1)
(12.9.2)
74
and Fr (S 1 M ) = Fr (M )S 1 R = S 1 Fr (M ).
(1) Let M1
M2 be a map of modules, which restricts to a map N1 N2 of
submodules. Show (N1S ) N2S ; that is, there is an induced map N1S N2S .
(2) Let 0 M1
M2
M3 be a left exact sequence, which resticts to a left
exact sequence 0 N1 N2 N3 of submodules. Show there is an induced left
exact sequence of saturations: 0 N1S N2S N3S .
75
1
S
M S
S 1
M S
M .
76
78
13. Support
The spectrum of a ring is the following topological space: its points are the
prime ideals, and each closed set consists of those primes containing a given ideal.
The support of a module is the following subset: its points are the primes at
which the localized module is nonzero. We relate the support to the closed set of
the annihilator. We prove that a sequence is exact if and only if it is exact after
localizing at every maximal ideal. We end this section by proving that the following
conditions on a module ar equivalent: it is finitely generated and projective; it is
finitely presented and flat; and it is locally free of finite rank.
(13.1) (Spectrum of a ring). Let R be a ring. Its set of prime ideals is denoted
Spec(R), and is called the (prime) spectrum of R.
Let a be an ideal. Let V(a) denote the subset of Spec(R) consisting of those
primes that contain a. We call V(a) the variety of a.
Let b be a second ideal.
Obviously, if a b, then V(b) V(a). Conversely, if
V(b) V(a), then a b, owingto the Scheinnullstellensatz (3.29). Therefore,
Finally, V(R) = , and V(h0i) = Spec(R). Thus the subsets V(a) of Spec(R) are
the closed sets of a topology; it is called the Zariski topology.
Given an element f R, we call the open set
D(f ) := Spec(R) V(hf i)
a principal open set. These sets form a basis for the topology of Spec(R); indeed,
given any prime p 6 a, there is an f a p, and so p D(f ) Spec(R) V(a).
Further, f, g
/ p if and only if f g
/ p, for any f, g R and prime p; in other words,
Spec()(p ) := 1 (p ).
with V(a) X and V(b) Y . Show (1) V(b) = 1 (V(a)) and (2) = V(b).
Exercise (13.9). Let R be a ring, p a prime ideal. Show that the image of
Spec(Rp ) in Spec(R) is the intersection of all open neighborhoods of p in Spec(R).
(13.1.2)
(13.1.3)
whose image is V(a), owing to (1.9) and (2.8). Furthermore, the localization map
R Rf induces a topological embedding
Spec(Rf ) Spec(R),
(13.1.1)
Support (13.14)
(13.1.4)
Support (13.23)
79
Exercise (13.23). Let R be a ring; set X := Spec(R). Prove that the four
following conditions are equivalent:
(1) R/ nil(R) is absolutely flat.
(2) X is Hausdorff.
80
Support (13.31)
/
Supp(M ). Then (M )p L
= 0 for all . By hypothesis,
the natural map
M M is surjective. So
(M )p Mp is surjective by
(12.11).
Hence
M
=
0.
Alternatively,
given
m/s
(13.30.1)
Support (13.43)
81
Exercise (13.34). Let Z be the integers, Q the rational numbers, and set
M := Q/Z. Find Supp(M ), and show that it is not Zariski closed.
Proposition (13.35). Let R be a ring, M a module. These conditions are
equivalent: (1) M = 0; (2) Supp(M ) = ; (3) Mm = 0 for every maximal ideal m.
82
Support (13.50)
m
and
:
M
N
with
(
)
=
s
.
However,
(2.2) implies
i
i
i
i
m
i
i
i
T
T
P
/ mi . Set := i xi si i .
j6=i mj 6 mi ; so theres xi
j6=i mj with xi
N
For P
each j, set j := xj sj j . Then mj : Mmj
mj as xj and sj are units. Set
j := i6=j i . Then j (Mmj ) mj Nmj as xi mj for i 6= j. Further, = j + j .
N.
So mj is an isomorphism by (10.15). Hence (13.43) implies : M
Support (13.54)
83
Proof: Assertion (1) follows from (14.1) applied to the extension R/p R /p ,
which is integral as R R is, since, if y R satisfies y n + a1 y n1 + + an = 0,
then reduction modulo p yields an equation of integral dependence over R/p.
To prove (2), localize at R p, and form this commutative diagram:
Rxp
R Rp
84
85
x pR and s R q . Say x = m
i=1 yi xi with yi p and xi R , and set
R := R[x1 , . . . , xm ]. Then R is module finite by (10.28) and xR pR . Let
f (X) = X n + a1 X n1 + + an be the characteristic polynomial of x : R R .
86
bi := ai /y i K.
(14.9.1)
Conversely, any such equation yields one of the same degree for x as y R K.
So (14.9.1) is the minimal polynomial of s over K. So all bi are in R by (14.8).
Suppose y
/ p. Then bi p as ai = bi y i p. So sn pR qR q . So s q ,
a contradiction. Hence y p. Thus pRq R p. But the opposite inclusion holds
trivially. Thus pRq R = p.
Hence, there is a prime p of Rq with p R = p by (3.13). Then p lies in
q Rq as it is the only maximal ideal. Set p := p R . Then p R = p, and
p q by (11.20)(2), as desired.
Lemma (14.10). Always, a minimal prime consists entirely of zerodivisors.
Proof: Let R be the ring, p the minimal prime. Then Rp has only one prime pRp
by (11.20)(2). So by the Scheinnullstellensatz, pRp consists entirely of nilpotents.
Hence, given x p, there is s R p with sxn = 0 for some n 1. Take n
minimal. Then sxn1 6= 0, but (sxn1 )x = 0. Thus x is a zerodivisor.
Theorem (14.11) (Going down for Flat Algebras). Let R be a ring, R a flat
algebra, p $ q nested primes of R, and q a prime of R lying over q. Then there
is a prime p lying over p and contained in q .
Proof: The canonical map Rq Rq is faithfully flat by (13.47). Therefore,
Spec(Rq ) Spec(Rq ) is surjective by (13.14). Thus (11.20) yields the desired
p .
Alternatively, R R (R/p) is flat over R/p by (9.11). Also, R /pR = R R R/p
by (8.16)(1). Hence, owing to (1.9), we may replace R by R/p and R by R /pR ,
and thus assume R is a domain and p = 0.
By (3.14), q contains a minimal prime p of R . Lets show that p lies over h0i.
Let x R be nonzero. Then the multiplication map x : R R is injective. Since
R is flat, x : R R is also injective. Hence, (14.10) implies that x does not
belong to the contraction of p , as desired.
Exercise (14.12).
S Let R be a reduced ring, the set of minimal primes. Prove
that z.div(R) = p p and that Rp = Frac(R/p) for any p .
Exercise (14.13). Let R be a ring, the set of minimal primes, and K the
total quotient ring. Assume is finite. Prove these three conditions are equivalent:
(1) R is reduced.
S
(2) z.div(R) = p p, and Rp Frac(R/p) for each p .
Q
(3) K/pK = Frac(R/p) for each p , and K = p K/pK.
87
Exercise (14.14). Let A be a reduced local ring with residue field k and finite
set of minimal primes. For each p , set K(p) := Frac(A/p). Let P be a finitely
generated module. Show that P is free of rank r if and only if dimk (P A k) = r
and dimK(p) (P A K(p)) = r for each p .
Exercise (14.15). Let A be a reduced local ring with residue field k and a
finite set of minimal primes. Let P be a finitely generated module, B an A-algebra
with Spec(B) Spec(A) surjective. Show that P is a free A-module of rank r if
and only if P B is a free B-module of rank r.
(14.16) (Arbitrary normal rings). An arbitrary ring R is said to be normal
if Rp is a normal domain for every prime p. If R is a domain, then this definition
recovers that in (10.30), owing to (11.32).
Exercise (14.17). Let R be a ring, p1 . . . , pr all its minimal primes, and K
the total quotient ring. Prove that these three conditions are equivalent:
(1) R is normal.
(2) R is reduced and integrally closed in K.
(3) R is a finite product of normal domains Ri .
Assume the conditions hold. Prove the Ri are equal to the R/pj in some order.
89
90
Hd (x1 , t2 + a2 x1 , . . . , tn + an x1 ) + + H0 (x1 , t2 + a2 x1 , . . . , tn + an x1 ) + t1 = 0
a1 k[t2 , . . . , tn ] = ht2 , . . . , th i
Corollary (15.5). Let k be a field, R := k[x1 , . . . , xn ] an algebra-finite extension, and m a maximal ideal of R. Assume k is algebraically closed. Then there
are a1 , . . . , an k such that m = hx1 a1 , . . . , xn an i.
T
a = ma m
91
T
Proof: We may assume
a = 0 by replacing R by R/a. Clearly 0 m.
Conversely, take f
/ 0. Then Rf 6= 0 by (11.2). So Rf has a maximal ideal n
by (2.30). Let m be its contraction in R. Now, R is a finitely generated k-algebra
by hypothesis; hence, Rf is one too owing to (11.13). Therefore, by the weak
Nullstellensatz, Rf /n is a finite extension field of k.
Set K := R/m. By construction, K is a k-subalgebra of Rf /n. Therefore, K is
a finite-dimensional k-vector space. So k K is an integral extension by (10.23).
Since k is a field, so is K by (14.1). Thus m
is maximal. But f /1 is a unit in Rf ;
T
T
so f /1
/ n. Hence f
/ m. So f
/ m. Thus 0 = m.
92
and
dim(Rm ) = dim(R).
owing to (11.20) and to (1.9) and (2.7); conversely, every such pair arises from
a unique chain in R through p. But by (15.9), every maximal strictly ascending
chain through p is of length dim(R). The first equation follows.
Clearly dim(R/m) = 0, and so dim(Rp ) = dim(R).
Definition (15.15). We call a ring catenary if, given any two nested primes,
all maximal chains of primes between the two have the same (finite) length.
Theorem (15.16). Over a field, a finitely generated algebra is catenary.
Proof: Let R be the algebra, and q p two nested primes. Replacing R by
R/q, we may assume R is a domain. Then the proof of (15.14) shows that any
maximal chain of primes h0i $ $ p is of length dim(R) dim(R/p).
Exercise (15.17). Let k be a field, R a finitely generated k-algebra, f R
nonzero. Assume R is a domain. Prove that dim(R) = dim(Rf ).
Exercise (15.18). Let k be a field, P := k[f ] the polynomial ring in one
variable f . Set p := hf i and R := Pp . Find dim(R) and dim(Rf ).
Exercise (15.19). Let R be a ring, R[X] the polynomial ring. Prove
1 + dim(R) dim(R[X]) 1 + 2 dim(R).
94
a = ma m.
(15.20.1)
Plainly, the nilradical of a Jacobson ring is equal to its Jacobson radical. Also,
any quotient ring of a Jacobson ring is Jacobson too. In fact, a ring is Jacobson if
and only if the the nilradical of every quotient ring is equal to its Jacobson radical.
In general, the right-hand side
of (15.20.1) contains the left. So (15.20.1) holds
if and only if every f outside a lies outside somemaximal
T ideal m containing a.
Recall the Scheinnullstellensatz, (3.29): it says a = pa p with p prime. Thus
T
R is Jacobson if and only if p = mp m for every prime p.
For example, a field k is Jacobson; in fact, a local ring A is Jacobson if and only
if its maximal ideal is its only prime. Further, a Boolean
T ring B is Jacobson, as
every prime is maximal by (2.16), and so trivially p = mp m for every prime p.
Finally, owing to (15.10) and (2.6) and the next lemma, a PID is Jacobson.
Lemma (15.21). Let R be a 1-dimensional domain, {m } its set of maximal
ideals. Assume every nonzero element lies in only finitely many m . Then R is
Jacobson if and only if is infinite.
Q
Proof: If is finite, take a nonzero
x m for each , and set
p x := T x .
p
T
6
m .
Then x 6= 0 and x m . But h0i = h0i as R is a domain. So h0i =
Thus R is not Jacobson.T
If is infinite, then m = h0i by hypothesis.
But every nonzero prime is
T
maximal as R is 1-dimensional. Thus p = m p m for every prime p.
Proposition (15.22). A ring R is Jacobson if and only if, for any nonmaximal
prime p and any f
/ p, the extension pRf is not maximal.
95
97
98
and
99
Let R0 be the R-algebra generated by the zij and the zijk . Since R is Noetherian,
so is R0 by the Hilbert Basis Theorem, (16.12).
Any x R is a polynomial in the xi with coefficients in R. So (16.21.1) implies
x is a linear combination of the yj with coefficients in R0 . Thus R /R0 is module
finite. But R0 is a Noetherian ring, and R is an R0 -submodule of R . So R /R0 is
module finite by (16.16). Since R0 /R is algebra finite, R /R is too.
Theorem (16.22) (Noether on Invariants). Let R be a Noetherian ring, R an
algebra-finite extension, and G a finite group of R-automorphisms of R . Then the
subring of invariants RG is also algebra finite; in other words, every invariant can
be expressed as a polynomial in a certain finite number of fundamental invariants.
Proof: By (10.22), R is integral over RG . So (16.21) yields the assertion.
100
102
103
with Mi /Mi1 R/pi for some prime pi for i = 1, . . . , n. For any such chain,
(17.20.1)
104
(17.25.1)
105
0
M M
M/xM
0
y
y
y
y
y
y
0
M M
M/xM
0
(17.27.1)
107
Since the latter two sets are each equal to {p}, so is Ass(M/Q), as desired.
(18.14.1)
108
(18.19.1)
109
110
i h. Then
Pi /N M/Qi
S 1 N = S 1 Q1 S 1 Qh S 1 M
and Pi /N M/N.
Theorem (18.21) (LaskerNoether). Over a Noetherian ring, each proper submodule of a finitely generated module has an irredundant primary decomposition.
Proof: Let M be the module, N the submodule. By (17.21), M/N has finitely
many distinct associated primes, say p1 , . . . , pr . Owing to (17.9), for each i, there
is a pT
i -primary submodule Qi of M with Ass(Qi /N ) = Ass(M/N ) {pi }. Set
P := Qi . Fix i. Then P/N Qi /N . So Ass(P/N ) Ass(Qi /N ) by (17.5). But
i is arbitrary. HenceTAss(P/N ) = . Therefore, P/N = 0 by (17.13). Finally, the
decomposition N = Qi is irredundant by (18.19).
and
N S = Q1 Qh M
111
f (n1) (0) n1
(n1)! x
where fn (x) :=
R1
0
+ xn fn (x)
(1t)n1 (n)
(xt) dt.
(n1)! f
Here fn is C too, since we can differentiate under the integral sign by [9, (7.1),
p. 276]. So, if f m, then f (x) = xf1 (x). Thus m hxi. But, obviously, m hxi.
Hence m = hxi. Therefore, mn = hxn i.
If the first n 1 derivatives of f vanish at 0, then Taylors Theorem yields
f hxn i. Conversely, assume f (x) = xn g(x) for some g R. By Leibnizs Rule,
n!
Pk
xnj+1 g (kj) (x).
f (k) (x) = j=0 kj (nj+1)!
19. Length
The length of a module is a generalization of the dimension of a vector space.
The length is the number of links in a composition series, which is a finite chain
of submodules whose successive quotients are simple that is, their only proper
submodules are zero. Our main result is the JordanHolder Theorem: any two
composition series do have the same length and even the same successive quotients;
further, their annihilators are just the primes in the support of the module, and the
module is equal to the product of its localizations at these primes. Consequently,
the length is finite if and only if the module is both Artinian and Noetherian. We
also prove the AkizukiHopkins Theorem: a ring is Artinian if and only if it is
Noetherian and every prime is maximal. Consequently, a ring is Artinian if and
only if its length is finite; if so, then it is the product of Artinian local rings.
(19.1) (Length). Let R be a ring, and M a module. We call M simple if it is
nonzero and its only proper submodule is 0. We call a chain of submodules,
M = M0 M1 Mm = 0
(19.1.1)
(19.1.2)
M
mSupp(M) Mm ;
Mi
:= Mi M . Then
Mi1
/Mi
Mi1
(Mi1
Mi =
(19.3.1)
Mi .
So
Length (19.6)
113
Mi1
+ Mi = Mi1 .
(19.3.2)
(19.3.3)
114
Length (19.12)
Length (19.18)
115
Proof: A finite product of rings is Artinian if and only if each factor is Artinian
Q
by (16.27)(3). If R is Artinian, then (R) < by (19.15); whence, R = Rm
by the JordanHolder Theorem. Thus the assertion holds.
Exercise (19.18). Let R be a Noetherian ring, and M a finitely generated
module. Prove the following four conditions are equivalent:
(1) that M has finite length;
Q
(2) that M is annihilated by some finite product of maximal ideals mi ;
(3) that every prime p containing Ann(M ) is maximal;
(4) that R/Ann(M ) is Artinian.
The Hilbert Function of a graded module lists the lengths of its components.
The corresponding generating function is called the Hilbert Series. This series
is, under suitable hypotheses, a rational function, according to the HilbertSerre
Theorem, which we prove. Passing to an arbitrary module, we study its Hilbert
Samuel Series, namely, the generating function of the colengths of the submodules
in a filtration. We prove Samuels Theorem: if the ring is Noetherian, if the module
is finitely generated, and if the filtration is stable, then the HilbertSamuel Series
is a rational function with poles just at 0 and 1. In the same setup, we prove the
ArtinRees Lemma: given any submodule, its induced filtration is stable.
In a brief appendix, we study further one notion that arose: homogeneity.
(20.1) (Graded rings and modules). We
L call a ring R graded if there are
additive subgroups Rn for n 0 with R =
Rn and Rm Rn Rm+n for all m, n.
For example, a polynomial ring R with coefficient ring R0 is graded if Rn is the
R0 -submodule generated by the monomials of (total) degree n.
In general, R0 is a subring. Obviously, R0 is closed
Punder addition and under
multiplication, but
we
must
check
1
R
.
So
say
1
=
xm with xm P
Rm . Given
0
P
z R, say z =
zP
xm zn with
n with zn Rn . Fix n. Then zn = 1 zn =
xm zn Rm+n . So m>0 xm zn = zn x0 zn Rn . Hence xm zn = 0 for m > 0.
But n is arbitrary. So xm z = 0 for m > 0. But z is arbitrary. Taking z := 1 yields
xm = xm 1 = 0 for m > 0. Thus 1 = x0 R0 .
We call an R-module
L M (compatibly) graded if there are additive subgroups Mn
for n Z with M =
Mn and Rm Mn Mm+n for all m, n. We call Mn the nth
homogeneous component; we say its elements are homogeneous. Obviously,
Mn is an R0 -module.
L
Given m Z, set M (m) :=
Mm+n . Then M (m) is another graded module;
its nth graded component M (m)n is Mm+n . Thus M (m) is obtained from M by
shifting m places to the left.
L
L
Lemma (20.2). Let R =
Rn be a graded ring, and M =
Mn a graded
R-module. If R is a finitely generated R0 -algebra and if M is a finitely generated
R-module, then each Mn is a finitely generated R0 -module.
P
Proof: Say R = R0 [x1 , . . . , xr ]. If xi = j xij with xij Rj , then replace the
xi by the nonzero xij . Similarly, say M is generated
over R by m1 , . . . , msP
with
P
mi Mli . Then any m Mn is a sum m =
fi mi where fi R. Say fi =
fij
with fij Rj , and replace fi by fik with k := n li or by 0 if n < li . Then fi is
an R0 -linear combination of monomials xi11 xirr Rk ; hence, m is an R0 -linear
combination of the products xi11 xirr mi Mn , as desired.
L
L
(20.3) (Hilbert functions). Let R =
Rn be a graded ring, and M =
Mn
a graded R-module. Assume R0 is Artinian, R is a finitely generated R0 -algebra,
and M is a finitely generated R-module. Then each Mn is a finitely generated
R0 -module by (20.2), so is of finite length (Mn ) by (19.14). We call n 7 (Mn )
the Hilbert Function of M and its generating function
P
H(M, t) := nZ (Mn )tn
116
117
Exercise (20.5). Let k be a field, k[X, Y ] the polynomial ring. Show hX, Y 2 i
and hX 2 , Y 2 i have different Hilbert Series, but the same Hilbert Polynomial.
L
L
Exercise (20.6).L
Let R =
Rn be a graded ring, M =
Mn a graded Rmodule. Let N =
Nn be a homogeneous submodule; that is, Nn = N Mn .
Assume R0 is Artinian, R is a finitely generated R0 -algebra, and M is a finitely
generated R-module. Set
N := { m M | there is k0 such that Rk m N for all k k0 }.
Polynomial as N
N.
T, and that N is the largest such submodule containing L
(2) Let N = T
Qi be a decomposition with Qi pi -primary. Set R+ := n>0 Rn .
Prove that N = pi 6R+ Qi .
L
Theorem
Rn be a graded ring, and let
L (20.7) (HilbertSerre). Let R =
M=
Mn be a graded R-module. Assume R0 is Artinian, R is a finitely generated
R0 -algebra, and M is a finitely generated R-module. Then
H(M, t) = e(t) tl (1 tk1 ) (1 tkr )
with e(t) Z[t], with l 0, and with k1 , . . . , kr 1.
1
0 K M (k1 )
M L0
118
with e(t) Z[t] and e(0), e(1) 6= 0 and l Z and r d 0; also, there is a
polynomial h(M, n) Q[n] with degree d 1, leading coefficient e(1)/(d 1) ! and
(Mn ) = h(M, n)
(20.8.2)
Proof: We may take ki = 1 for all i in the proof of (20.7). Hence H(M, t) has
the form e(t)(1 t)s tl (1 t)r with e(0) 6= 0 and e(1) 6= 0 and l Z. Set d := r s.
Then d 0 since H(M, 1) > 0 as M 6= 0. Thus H(M, t) has the asserted form.
This form is unique owing to the uniqueness of factorization
of polynomials.
P d
P
P d1+n n
i
d
n
e
t
.
Now,
(1
t)
=
Say e(t) = N
(t)
=
i
i=0
n
d1 t . Hence
PN
d1+ni
d1
(Mn ) = i=0 ei d1+n+li
for
n
+
l
N
.
But
=
n
/(d 1) ! + .
d1
d1
Therefore, (Mn ) = e(1) nd1 /(d 1) ! + , as asserted.
Exercise (20.9). Let k be a field, P := k[X, Y, Z] the polynomial ring in three
variables, f P a homogeneous polynomial of degree d 1. Set R := P/hf i. Find
the coefficients of the Hilbert Polynomial h(R, n) explicitly in terms of d.
Exercise (20.10). Under the conditions of (20.8), assume there is a homogeneous nonzerodivisor f R with Mf = 0. Prove deg h(R, n) > deg h(M, n); start
with the case M := R/hf k i.
(20.11) (Filtrations). Let R be an arbitrary ring, q an ideal, and M a module.
A filtration F M of M is an infinite descending chain of submodules:
M F n M F n+1 M .
119
(20.13.1)
0 F M/F
n+1
M M/F
n+1
M M/F M 0.
So induction on n yields (M/F n+1 M ) < for every n. Further, multiplying that
equation by tn and summing over n yields the desired expression in another form:
H(G M, t) = (t1 1)P (F M, t) = P (F M, t) (1 t)/t.
with e(t) Z[t] and e(0), e(1) 6= 0 and l Z and r d 0; also, there is a
polynomial p(F M, n) Q[n] with degree d and leading coefficient e(1)/d ! such that
(M/F n M ) = p(F M, n)
(20.14.2)
120
The two extremes are polynomials in n with the same degree d and the same leading
coefficient c where c := e(1)/d !. Dividing by nd and letting n , we conclude
that the polynomial pq (M, n) also has degree d and leading coefficient c.
Thus the degree and leading coefficient are the same for every stable q-filtration.
Also pq (M, n)p(F M, n) has degree at most d1 and positive leading coefficient,
owing to cancellation of the two leading terms and to the first inequality.
Exercise (20.15). Let R be a Noetherian ring, q an ideal, and M a finitely
Suppose
F M = M and qn F M F n+ M for n > 0.
S n that F M is stable: say
121
Lemma (20.18) (ArtinRees). Let R be a Noetherian ring, M a finitely generated module, N a submodule, q an ideal, F M a stable q-filtration. Set
n
F n N := N F n M
for n Z.
Proof: By (20.17), the extended Rees Algebra R(q) is finitely generated over
R, so Noetherian by the Hilbert Basis Theorem (16.12). By (20.17), the module
R(F M ) is finitely generated over R(q), so Noetherian by (16.19). Clearly, F N
is a q-filtration;
hence,SR(F N ) is a submodule of R(F M ), so finitely generated.
S
But F n M = M , so F n N = N . Thus F N is stable by (20.17).
Exercise (20.19). Derive the Krull Intersection Theorem, (18.29), from the
ArtinRees Lemma, (20.18).
Proposition (20.20). Let R be a Noetherian ring, q an ideal, and
0 M M M 0
an exact sequence of finitely generated modules. Then M/qM has finite length if
and only if M /qM and M /qM do. If so, then the polynomial
pq (M , n) pq (M, n) + pq (M , n)
has degree at most deg pq (M , n) 1 and has positive leading coefficient; also then
deg pq (M, n) = max{ deg pq (M , n), deg pq (M , n) }.
Proof: First off, (13.31) and (13.27)(1) and (13.31) again yield
T
T
S
Supp(M/qM ) = Supp(M ) V(q) = Supp(M ) Supp(M )
V(q)
S
T
T
= Supp(M ) V(q)
Supp(M ) V(q)
S
= Supp(M /qM ) Supp(M /qM ).
For n Z, set F M := M
qn M . Then the F n M form a stable q-filtration
F M by the ArtinRees Lemma. Form this canonical commutative diagram:
0
F nM
qnM
qn
M
0
y
y
y
0 M M M 0
Its rows are exact. So the Nine Lemma yields this exact sequence:
0 M /F n M M/qn M M /qn M 0.
Assume M/qM has finite length. Then Additivity of Length and (20.14) yield
p(F M , n) pq (M, n) + pq (M , n) = 0.
(20.20.1)
L
(20.21) (Homogeneity). Let R be a graded ring, and M =
Mn a graded
module. We call the Mn the homogeneous components of M .
P
Given m M , write m =
mn with mn Mn . Call the finitely many nonzero
mn the homogeneous components of m. Say that a component mn is homogeneous of degree n. If n is lowest, call mn the initial component of m.
Call a submodule
LN M homogeneous if, whenever m N , also mn N , or
equivalently, N = (Mn N ).
Call a map : M M of graded modules with components Mn and Mn homogeneous of degree r if (Mn ) Mn+r for all n. If so, then clearly Ker() is
a homogeneous submodule of M . Further, Coker() is canonically graded, and the
quotient map M Coker() is homogeneous of degree 0.
L
L
Exercise (20.22). Let R =
Rn be a graded ring, M = nn0 Mn a graded
L
module, a n>0 Rn a homogeneous ideal. Assume M = aM . Show M = 0.
L
L
Exercise (20.23). Let R =
Rn be L
a Noetherian graded ring, M =
Mn a
finitely generated graded R-module, N =
Nn a homogeneous submodule. Set
N := { m M | Rn m N for all n 0 }.
123
Trivially, Qj Qj = N Qj . Further,
T each Qj is clearly homogeneous,
and is primary by (20.26). Thus N =
Qj is a primary decomposition into
homogeneous
primary
submodules.
And,
owing
to (18.19), it is irredundant if
T
N = Qj is, as both decompositions have minimal length. Finally, M/Qj is graded
by (20.21); so each associated prime is homogeneous by (18.20) and (20.25).
L
(20.28) (Graded Domains). Let R = n0 Rn be a graded domain, and set
K := Frac(R). We call z K homogeneous of degree n Z if z = x/y with
x Rm and y Rmn . Clearly, n is well defined.
Let Kn be the
Km Kn Km+n . Clearly, the
L set of all such z, plus 0. ThenL
canonical map nZ Kn K is injective. Thus n0 Kn is a graded subring of
K. Further, K0 is a field.
The n with Kn 6= 0 form a subgroup of Z. So by renumbering, we may assume
K1 6= 0. Fix any nonzero x K1 . Clearly, x is transcendental over K0 . If z Kn ,
then z/xn L
K0 . Hence R K0 [x]. So (2.3) yields K = K0 (x).
Any
Kn can be written w = a/b with a, b Q
R and b homogeneous:
say
Pw
P
w = (an /bn ) with an , bn R homogeneous; set b := bn and a := (an b/bn ).
Proof: Use the setup of (20.28). Since K0 [x] is a polynomial ring over a field,
it is normal by (10.34). Hence R K0 [x]. So every y R can be written as
Pr+n
yi , with yi homogeneous and nonzero. Lets show yi R for all i.
y = i=r
Since y is integral over R, the R-algebra R[y] is module finite by (10.23). So
(20.28) yields a homogeneous b R with bR[y] R. Hence by j R for all j 0.
But R is graded. Hence byrj R. Set z := 1/b. Then yrj Rz. Since R is
Noetherian, the R-algebra R[yr ] is module finite. Hence yr R. Then y yr R.
Thus yi R for all i by induction on n. Thus R is graded.
Exercise (20.30). Under the conditions of (20.8), assume that R is a domain
and that its integral closure R in Frac(R) is a finitely generated R-module.
(1) Prove that there is a homogeneous f R with Rf = Rf .
(2) Prove that the Hilbert Polynomials of R and R have the same degree and
same leading coefficient.
21. Dimension
The dimension of a module is defined as the sup of the lengths of the chains of
primes in its support. The Dimension Theorem, which we prove, characterizes the
dimension of a nonzero finitely generated semilocal module over a Noetherian ring
in two ways. First, the dimension is the degree of the HilbertSamuel Polynomial
formed with the radical of the ring. Second, the dimension is the smallest number
of elements in the radical that span a submodule of finite colength.
Next, in an arbitrary Noetherian ring, we study the height of a prime: the length
of the longest chain of subprimes. We bound the height by the minimal number of
generators of an ideal over which the prime is minimal. In particular, when this
number is 1, we obtain Krulls Principal Ideal Theorem. Finally, we study regular
local rings: Noetherian local rings whose maximal ideal has the minimum number
of generators, namely, the dimension.
(21.1) (Dimension of a module). Let R be a ring, and M a nonzero module.
The dimension of M , denoted dim(M ), is defined by this formula:
dim(M ) := sup{ r | theres a chain of primes p0 $ $ pr in Supp(M ) }.
(21.1.1)
(21.2) (Parameters). Let R be a ring, M a nonzero module. Denote the intersection of the maximal ideals in Supp(M ) by rad(M ), and call it the radical of
M . If there are only finitely many such maximal ideals, call M semilocal.Call an
ideal q a parameter ideal of M if q rad(M ) and M/qM is Artinian.
Assume M is finitely generated. Then Supp(M ) = V(Ann(M )) by (13.27)(3).
Hence M is semilocal if and only if R/ Ann(M ) is a semilocal ring.
Assume, in addition, R is Noetherian; so M is Noetherian by (16.19). Fix an
ideal q. Then by (19.6), M/qM is Artinian if and only if (M/qM ) < .
However, (M/qM ) < if and only if Supp(M/qM ) consists of finitely many
maximal ideals by (19.4) and (17.21). Also, by (13.31), (13.27)(3), and (13.1),
T
T
Supp(M/qM ) = Supp(M ) V(q) = V(Ann(M )) V(q) = V(Ann(M ) + q).
m q mn for some n,
(21.2.1)
or by (3.33) if and only if m = q , or by (13.1) if and only if V(m) = V(q ). In
particular, mn is a parameter ideal for any n.
124
Dimension (21.4)
125
(21.2.2)
and 0 xM M M/xM 0.
Then (20.20) yields d(K) d(M ) and d(xM ) d(M ). So by (20.20) again, both
pq (K, n) + pq (xM, n) pq (M, n) and pq (xM, n) + pq (M/xM, n) pq (M, n) are
of degree at most d(M ) 1. So their difference is too. Thus (3) holds.
Theorem (21.4) (Dimension). Let R be a Noetherian ring, M a nonzero finitely generated semilocal module. Then
dim(M ) = d(M ) = s(M ) < .
Proof: Lets prove a cycle of inequalities. Set m := rad(M ). First, lets prove
dim(M ) d(M ). We proceed by induction on d(M ). Suppose d(M ) = 0. Then
(M/mn M ) stabilizes. So mn M = mn+1 M for some n. Hence mn M = 0 by
Nakayamas Lemma (10.11) applied over the semilocal ring R/ Ann(M ). Hence
(M ) < . So dim(M ) = 0 by (19.4).
Suppose d(M ) 1. By (21.1.1), dim(R/p0 ) = dim(M ) for some p0 Supp(M ).
Then p0 is minimal. So p0 Ass(M ) by (17.18). Hence M has a submodule N
isomorphic to R/p0 by (17.2). Further, by (20.20), d(N ) d(M ).
Take a chain of primes p0 $ $ pr in Supp(N ). If r = 0, then r d(M ).
Suppose r 1. Then theres an x1 p1 p0 . Further, since p0 is not maximal, for
126
Dimension (21.9)
Q
each maximal ideal n in Supp(M ), there is an xn n pT0 . Set x := x1 xn . Then
x (p1 m) p0 . Then p1 $ $ pr lies in Supp(N ) V(hxi). But the latter is
equal to Supp(N/xN ) by (13.31). So r 1 dim(N/xN ).
However, x is injective on N as N R/p0 and x
/ p0 . So (21.3)(3) yields
d(N/xN ) d(N ) 1. But d(N ) d(M ). So dim(N/xN ) d(N/xN ) by the
induction hypothesis. Therefore, r d(M ). Thus dim(M ) d(M ).
Second, lets prove d(M ) s(M ). Let q be a parameter ideal of M with s(M )
generators. Then d(M ) := deg pq (M, n). But deg pq (M, n) s(M ) owing to
(20.14). Thus d(M ) s(M ).
Finally, lets prove s(M ) dim(M ). Set r := dim(M ), which is finite since
r d(M ) by the first step. The proof proceeds by induction on r. If r = 0, then
M has finite length by (19.4); so by convention s(M ) = 0.
Suppose r 1. Let p1 , . . . , pk be the primes of Supp(M ) with dim(R/pi ) = r. No
pi is maximal as r 1. So m lies in no pi . Hence, by Prime Avoidance (3.19), there
is an x m such that x
/ pi for all i. So (21.3)(1), (2) yield s(M ) s(M/xM ) + 1
and dim(M/xM ) + 1 r. By the induction hypothesis, s(M/xM ) dim(M/xM ).
Hence s(M ) r, as desired.
Corollary (21.5). Let R be a Noetherian ring, M a nonzero Noetherian semilocal module, x rad(M ). Then dim(M/xM ) dim(M ) 1, with equality if x
/p
for p Supp(M ) with dim(R/p) = dim(M ); equality holds if x
/ z.div(M ).
Proof: By (21.3)(1), we have s(M/xM ) s(M )1. So the asserted inequality
holds by (21.4). If x
/ p Supp(M ) when dim(R/p) = dim(M ), then (21.3)(2)
yields the opposite inequality, so equality. Finally, if x
/ z.div(M ), then x
/ p for
any p Supp(M ) with dim(R/p) = dim(M ) owing to (17.18) and (17.15).
Exercise (21.6). Let A be a Noetherian local ring, N a finitely generated
module, y1 , . . . , yr a sop for N . Set Ni := N/hy1 , . . . , yi iN . Show dim(Ni ) = r i.
(21.7) (Height ). Let R be a ring, and p a prime. The height of p, denoted
ht(p), is defined by this formula:
ht(p) := sup{ r | theres a chain of primes p0 $ $ pr = p }.
(21.7.1)
Dimension (21.17)
127
128
Dimension (21.22)
Proof: By (20.8), deg h(G A, n) is equal to 1 less than the order of pole at 1
of the Hilbert series H(G A, t). But that order is equal to d(A) by (21.2). Also,
d(A) = r by the Dimension Theorem, (21.4). Thus the assertion holds.
Proposition (21.22). Let A be a Noetherian local ring of dimension r, and m
its maximal ideal. Then A is regular if and only if its associated graded ring G A
is a polynomial ring; if so, then the number of variables is r.
Proof: Say G A is a polynomial ring in s variables. Then dim(m/m2 ) = s. By
(20.4), deg h(G A, n) = s 1. So s = r by (21.21). So A is regular by (21.20).
Conversely, assume A is regular. Let x1 , . . . , xr be a regular sop, and xi m/m2
the residue of xi . Set k := A/m, and let P := k[X1 , . . . , Xr ] be the polynomial
ring. Form the k-algebra homomorphism : P G A with (Xi ) = xi . L
Then is surjective as the xi generate G A. Set a := Ker . Let P =
Pn be
preserves
the
gradings
of
P
and
G
A.
So a
L
inherits a grading: a =
an . So for n 0, theres this canonical exact sequence:
0 an Pn mn /mn+1 0.
(21.22.1)
r1+n
r1
.
r1+nm
r1
Dimension (21.26)
129
Proof: In its notation, (21.25) yields dim((m + a)/m ) = s. Hence, any set
of generators of a includes s members of a regular sop of A. Let b be the ideal the
s generate. Then A/b is regular of dimension r s by (21.23). By (21.24), both
A/b and B are domains of dimension r s; whence, (15.11) implies a = b.
22. Completion
Completion is used to simplify a ring and its modules beyond localization. First,
we discuss the topology of a filtration, and use Cauchy sequences to construct the
completion. Then we discuss the inverse limit, the dual notion of the direct limit;
thus we obtain an alternative construction. We conclude that, if we use the adic
filtration of an ideal, then the functor of completion is exact on finitely generated
modules over a Noetherian ring. Further, then the completion of a Noetherian ring
is Noetherian; if the ideal is maximal, then the completion is local. We end with a
useful version of the Cohen Structure Theorem for complete Noetherian local rings.
(22.1) (Topology and completion). Let R be a ring, M a module equipped with
a filtration F M . Then M has a topology: the open sets are the arbitrary unions
of sets of the form m + F n M for various m and n. Indeed, the intersection of
two open sets is open, as the intersection of two unions is the union of the pairwise
m + F n M = m + F n M m + F n M = m + F n M.
(22.1.1)
Further, if the filtration is a-stable, then it yields the same topology as the a-adic
filtration, because for some n and any n,
F n M an M an F n M = F n+n M.
Thus any two stable a-filtrations give the same topology: the a-adic topology.
When a is given, it is conventional to use the a-adic filtration and a-adic topology
unless theres explicit mention to the contrary. Further, if R is semi-local, then it
is conventional to take a := rad(R).
T
/N
Let N M be a submodule. Its closure N is equal to n (N + F n M ), as m
means theres n with (m + F n M ) N = , or equivalently m T
/ (N + F n M ). In
particular, each F n M is closed, and {0} is closed if and only if F n M = {0}.
Also, M is separated that is, Hausdorff if and only if {0} is closed. For,
or simply mn mn+1 F n0 M,
for all n, n n1 ;
Completion (22.5)
131
132
Completion (22.8)
b ).
Proposition (22.2). Let R be a ring, and a an ideal. Then b
a rad(R
b is complete in the b
Proof: Recall from (22.1) that R
a-adic topology. Hence for
b Thus b
b ) by (3.2).
xb
a, we have 1/(1 x) = 1 + x + x2 + in R.
a rad(R
Exercise (22.3). In the 2-adic integers, evaluate the sum 1 + 2 + 4 + 8 + .
Q
of Qn of all vectors (qn ) with n+1
qn+1 = qn for all n.
n
n+1
Given Qn Q
and n Qfor all n Z, use only those for n in the present context.
Define :
Qn Qn by (qn ) := (qn n+1
qn+1 ). Then
n
n+1
Plainly, lim Qn has this UMP: given maps n : P Qn with n n+1 = n ,
Z
is
just
truncation.
Thus lim Zn is just the ring of p-adic integers.
n+1
n
n
m+k
stabilizes; that is, m
Qm+k for all k > 0.
n Qm = n
1
(1) Assume for each n, there is m > n with m
Q = 0.
n = 0. Show lim
n
1
n+1
(2) Assume n is surjective for all n. Show lim Qn = 0.
T
(3) Assume the Qn satisfy the Mittag-Leffler Condition. Set Pn := mn m
n Qm ,
which is the stable submodule. Show n+1
Pn+1 = Pn .
n
(4) Assume the Qn satisfy the Mittag-Leffler Condition. Show lim1 Qn = 0.
n+1
n+1
0
0
Qn+1 Qn+1 Qn+1
n+1
n+1
n+1
n
n y
n
y
y
n
0 Qn
Qn Qn 0
0 lim Qn lim Qn
lim Qn
(22.7.1)
is exact; further,
b is surjective if the Qn satisfy the Mittag-Leffler Condition.
Proof: The given commutative diagrams yield the following one:
Q
Q Q n Q
n Q
0
Q
Qn
Qn
y
y
y
Q
Q Q n Q
n Q
0
Qn
Qn
0
Qn
Owing to (22.5.1), the Snake Lemma (5.13) yields the exact sequence (22.7.1)
and an injection Coker
b lim1 Qn . Assume the Qn satisfy the Mittag-Leffler
1
Condition. Then lim Qn = 0 by (22.6). So Coker
b = 0. Thus
b is surjective.
Completion (22.16)
133
y
y
y
0 F n M M M/F n M 0
134
Completion (22.19)
with vertical maps, respectively, the inclusion, the identity, and the quotient map.
By (22.8), the left-exact sequence of inverse limits is
b M
c and M
c/N
b = (M/N ) b .
(1) Prove N
n
c = G M .
c/N
b = M/N and G M
(2) Also assume N F M for n 0. Prove M
b m
b m
b = A/m by (22.11); so m
b is maximal. Next, rad(A)
b
Proof: First, A/
b Then m rad(A
b ). Hence
by (22.2). Finally, let m be any maximal ideal of A.
b Thus m
b is the only maximal ideal.
m = m.
c.
0 lim F n M M
M
But is not surjective when M is not complete; for examples of such M , see the
end of (22.1). Thus lim is not always exact, nor lim1 always 0.
(22.16.1)
S 1 R
$$
// T 1 R
//** R
b
Further, S and T map into (R/an ) ; hence, (11.6), (11.23), and (12.22) yield:
R/an = S 1 R/an S 1 R = T 1 R/an T 1 R.
b is, by (22.8), equal to the completion of each of S 1 R and T 1 R in
Therefore, R
their aS 1 R-adic and aT 1R-adic topologies.
For example, take a to be a maximal ideal m. Then T = R m by (22.16.1).
b is equal to the completion of the localization Rm .
Thus R
Finally, assume R is Noetherian. Lets prove that and are T
injective. Indeed,
say (x/s) = 0. Then (x) = 0 as (s) is a unit. So x an . Hence the
Krull Intersection Theorem, (18.29) or (20.19), yields an s S with s x = 0. So
x/s = 0 in S 1 R. Thus is injective. Similarly, is injective.
Theorem (22.17) (Exactness of Completion). Let R be a Noetherian ring, a
c is exact.
an ideal. Then on the finitely generated modules M , the functor M 7 M
Completion (22.26)
135
c preserves
Exercise (22.21). Let R be a ring, a an ideal. Show that M 7 M
bM M
c is surjective if M is finitely generated.
surjections, and that R
Corollary (22.22). Let R be a Noetherian ring, a and b ideals, M a finitely
generated module. Then, using the a-adic topology, we have
c=b
c and (2) (bn )b = bn R
b = (bR
b )n = (b
(1) (bM )b = bM
bM
b )n for any n 0.
Proof: In general, the inclusion bM M induces a commutative square
b (bM )
bM
R
R
y
y
c
(bM )b M
b M ).
It is not hard to see that top maps image is b(R
In the present case, the two vertical maps are isomorphisms by (22.20), and the
c.
bottom map is injective by (22.17). Thus (bM )b = bM
b
b
c
b
c
c. Thus (1) holds.
Taking R for M yields b = bR. Hence bM = bR M = b
bM
n
n b
nb
b
b = bR;
In (1), taking b for b and R for M yields (b ) = b R. In particular, b
n
n
n
n
b
b
so (bR ) = (b ) . But b R = (bR ) for any R-algebra R . Thus (2) holds.
b is flat.
Corollary (22.23). Let R be a Noetherian ring, a an ideal. Then R
bb = b
b by
Proof: Let b be any ideal. Then R
b by (22.20), and b
b = bR
b is flat by the Ideal Criterion (9.26).
(22.22)(2). Thus R
b is
Exercise (22.24). Let R be a Noetherian ring, a an ideal. Prove that R
faithfully flat if and only if a rad(R).
Exercise (22.25). Let R be a Noetherian ring, and a and b ideals. Assume
b is.
a rad(R), and use the a-adic topology. Prove b is principal if bR
Gn y
n+1
n+1
M
M/F
n+1 y
M
M/F M
0
n y
Completion (22.31)
Its rows are exact. So the Snake Lemma (5.13) yields this exact sequence:
b
b
A
B
(B/A) b
136
n
0 Ker n M/F n M
N/F n N 0
is exact. Thus
b is surjective by (22.7) and (22.8).
by
c
M M
M
Completion (22.33)
137
Example (22.31). Let k be a Noetherian ring, P := k[X1 , . . . , Xr ] the polynomial ring, and A := k[[X1 , . . . , Xr ]] the formal power series ring. Then A is the completion of P in the hX1 , . . . , Xr i-adic topology by (22.1). Further, P is Noetherian
by the Hilbert Basis Theorem, (20.12). Thus A is Noetherian by (22.30).
Assume k is a domain. Then A is a domain. Indeed, A is one if r = 1, because
(am X1m + )(bn X1n + ) = am bn X1m+n + .
P/hX1 , . . . Xn i
= R[X1 , . . . , Xn ]/hX1 , . . . Xn i
R /b .
(23.1.2)
A = {x K | v(x) = 0} = A m.
(23.1.3)
n
139
The preceding example can be extended to cover any DVR A that contains a
A/hti where t is a uniformizing power. Indeed, A is a subring
field k with k
b by (22.4), and A
b = k[[t]] by the proof of the Cohen Structure
of its completion A
b restricts to that on A.
Theorem (22.33). Further, clearly, the valuation on A
A second old example is this. Let p Z be prime. Given x Q, write x = apn /b
with a, b Z relatively prime and prime to p. Set v(x) := n. Clearly, v is a discrete
valuation, the localization Zhpi is its DVR, and pZhpi is its maximal ideal. We call
v the p-adic valuation of Q.
Lemma (23.3). Let A be a local
T domain, m its maximal ideal. Assume that m
is nonzero and principal and that n0 mn = 0. Then A is a DVR.
140
141
and
:= { p prime | depth(Rp ) = 1 }.
T
p Rp .
142
:= { p prime | depth(Rp ) = 1 }.
Assuming (S1 ) holds for R, prove , and prove = if and only if (S2 ) holds.
Further, without assuming (S1 ) holds, prove this canonical sequence is exact:
Q
R K p Kp /Rp .
Exercise (23.24). Let R be a Noetherian ring, and K its total quotient ring.
Set := { p prime | ht(p) = 1 }. Prove these three conditions are equivalent:
(1) R is normal.
(2) (R1 ) and (S2 ) hold.
Q
(3) (R1 ) and (S1 ) hold, and R K p Kp /Rp is exact.
144
Then U is equal to the union of all associated primes of Mi for i < m and of
Nj for j < n by (17.15). And these primes are finite in number by (17.21).
Suppose a U . Then a lies in one of the primes, say p Ass(Mi ), by (3.19). But
xi+1 a z.div(Mi ) and a p z.div(Mi ), a contradiction. Thus a 6 U .
Take z a U . Then z
/ z.div(Mi ) for i < m and z
/ z.div(Nj ) for j < n.
Now, a z.div(Mm ) by finishedness. So a q for some q Ass(Mm ) by (17.26).
But Mm = Mm1 /xm Mm1 . Moreover, xm and z are nonzerodivisors on Mm1 .
Also xm , z a q. So q Ass(Mm1 /zMm1) by (17.27). Hence
a z.div(M/hx1 , . . . , xm1 , ziM ).
and Mi = Mi R R .
Lemma (23.34). Let A be a Noetherian local ring, m its maximal ideal, a another ideal, M a nonzero finitely generated module, and x m z.div(M ). Assume
a z.div(M ). Set M := M/xM . Then there is p Ass(M ) with p a.
x
145
by (23.28), as desired.
Suppose instead pr 6 z.div(Ms ). Then theres x pr z.div(Ms ). So x1 , . . . , xs , x
is an M -sequence in pr . By (23.34), there is p Ass(Ms /xMs ) with p pr1 .
But p = Ann(m) for some m Ms /xMs , so x p. Hence pr1 $ p pr . Hence,
by hypothesis, p = pr . Hence x1 , . . . , xs , x is finished in pr . So (23.28) yields
s + 1 = depth(pr , M ). Thus depth(pr , M ) r, as desired.
Theorem (23.36) (Unmixedness). Let A be a Noetherian local ring, and M
a finitely generated module. Assume M is CohenMacaulay. Then M has no
embedded primes, and all maximal chains of primes in Supp(M ) are of the same
length, namely, dim(M ).
Proof: Given p0 Ass(M ), take any maximal chain of primes p0 $ $ pr .
Then pr is the maximal ideal. So depth(M ) = depth(pr , M ). So depth(M ) r by
(23.35). But depth(M ) = dim(M ) as M is CohenMacaulay. And r dim(M ) by
(21.1). So r = dim(M ). Hence p0 is minimal. Thus M has no embedded primes.
Given any maximal chain of primes p0 $ $ pr in Supp(M ), necessarily p0 is
minimal. So p0 Ass(M ) by (17.18). Thus, as above, r = dim(M ), as desired.
Exercise (23.37). Prove that a CohenMacaulay local ring A is catenary.
Proposition (23.38). Let A be a Noetherian local ring, M a finitely generated
module. Let x1 , . . . , xn be nonunits of A, and set Mi := M/hx1 , . . . , xi iM for all i.
Assume M is CohenMacaulay. Then x1 , . . . , xn is an M -sequence if and only if
it is part of a sop; if so, then Mn is CohenMacaulay.
Proof: First, assume x1 , . . . , xn is part of a sop. Induct on n. For n = 0, the
assertion is trivial. Say n 1. By induction x1 , . . . , xn1 is an M -sequence, and
Mn1 is CohenMacaulay. Now, all maximal chains of primes in Supp(Mn1 ) have
the same length by (23.36), and dim(Mn ) = dim(Mn1 )1 by (21.6). Hence xn is
in no minimal prime of Mn1 . But Mn1 has no embedded primes by (23.36). So
xn
/ p for any p Ass(Mn1 ). So xn
/ z.div(Mn1 ) by (17.26). Thus x1 , . . . , xn
is an M -sequence. Finally, as Mn1 is CohenMacaulay, so is Mn by (23.30).
Conversely, assume x1 , . . . , xn is an M -sequence. By (23.27), extend it to a
finished M -sequence x1 , . . . , xr . Then depth(Mr ) = 0, and Mr is CohenMacaulay
by (23.30) applied recursively. So dim(Mr ) = 0. Thus x1 , . . . , xr is a sop.
Proposition (23.39). Let A be a Noetherian local ring, M a finitely generated
module, p Supp(M ). Set s := depth(p, M ). Assume M is CohenMacaulay.
Then Mp is a CohenMacaulay Ap -module of dimension s.
Proof: Induct on s. Assume s = 0. Then p z.div(M ). So p lies in some
q Ass(M ) by (17.26). But q is minimal in Supp(M ) by (23.36). So q = p.
Hence dim(Mp ) = 0. Thus Mp is a CohenMacaulay Ap -module of dimension 0.
Assume s 1. Then there is x p z.div(M ). Set M := M/xM , and set
146
147
149
150
m 1 minimal. Now, i 6= 0 as P
2. Since 1 6= 2 , theres an
i : G L ; so m P
m
m
x G with 1 (x) 6= 2 (x). Then i=1 ai i (x)i (y) = i=1 ai i (xy) = 0 for every
y G since i is a homomorphism.
Set bi := ai 1 i (x)/1 (x) . Then
a (b + c) = (a b) + (a c),
a + (b c) = (a + b) (a + c).
Proposition (24.9). In a Noetherian domain R of dimension 1, every ideal
a 6= 0 has a unique factorization a = q1 qr with the qi primary and their primes
pi distinct; further, {p1 , . . . , pr } = Ass(R/a) and qi = aRpi R for each i.
Proof: The LaskerNoether
Theorem, (18.21), yields an irredundant primary
T
decomposition a = qi . Say qi is pi -primary. Then by (18.19) the pi are distinct
and {pi } = Ass(R/a).
The qi are pairwise comaximal for the following reason. Suppose qi + qj lies in
R
=
p
by
(18.23).
Thus
q
pi
i = pi .
i
i
Corollary (24.11). A Noetherian domain R of dimension 1 is Dedekind if
and only if every primary ideal is a power of its radical.
Proof: If R is Dedekind, every primary ideal is a power of its radical by (24.10).
Conversely, given a nonzero prime p, set m := pRp . Then m 6= 0. So m 6= m2 by
Nakayamas Lemma. Take t m m2 . Then m is the only prime containing t, as
dim(Rp ) = 1 by (24.5)(2). So tRp is m-primary by (18.10). Set q := tRp R. Then
q is p-primary by (18.8). So q = pn for some n by hypothesis. But qRp = tRp by
(11.19)(3)(b). So tRp = mn . But t
/ m2 . So n = 1. So Rp is a DVR by (23.10).
Thus R is Dedekind by (24.7).
m
X
i=1
bi i =
m
X
i=1
ai i
1 X
ai i (x)i = 0.
1 (x) i=1
(24.15) (Trace). Let L/K be a finite Galois field extension. Its trace is this:
X
tr : L K by tr(x) :=
(x).
Gal(L/K)
by (x, y) 7 tr(xy).
(24.15.1)
151
Hom(N, M ).
and : (M : N )
153
and
S 1 (M : N ) (S 1 M : S 1 N ),
P
Proof: Given x S 1 (M N
i M , with ni N ,
P), write x = ( mi ni )/s with m1
and with s S. Then x = (mi /s)(ni /1), and so x (S M )(S 1 N ). Thus
S 1 (M N ) (S 1 M )(S 1 N ).
P
Conversely, given x (S 1 M )(S 1
Q N ), say x =Q (mi /si )(ni /ti ) with mi M
and ni N and si , ti S. Set s := si and t := ti . Then
P
P
x = (mi ni /si ti ) = mi ni /st S 1 (M N )
Proof: Clearly M
(R : M ) as M M
= R. But, if x (R : M ), then
x 1 (R : M )M M 1 M 1 , so x M 1 . Thus (R : M ) M 1 , as desired.
Exercise (25.9). Let R be a domain, M and N fractional ideals.
(1) Assume N is invertible, and show that (M : N ) = M N 1 .
(2) Show that both M and N are invertible if and only if their product M N is,
and that if so, then (M N )1 = N 1 M 1 .
Lemma (25.10). An invertible ideal is finitely generated and nonzero.
P
Proof: Let R be the domain, M thePideal. Say 1 =
mi ni with mi M and
1
ni M . Let m M . Then m =
mi mni . But mni R as m M and
ni M 1 . So the mi generate M . Trivially, M 6= 0.
Lemma (25.11). Let A be a local domain, M a fractional ideal. Then M is
invertible if and only if M is principal and nonzero.
P
Proof: Assume M is invertible. Say 1 = mi ni with mi M and ni M 1 .
As A is local, A A is an ideal. So theres a j with mj nj A . Let m M .
Then mnj A. Set a := (mnj )(mj nj )1 A. Then m = amj . Thus M = Amj .
Conversely, if M is principal and nonzero, then its invertible by (25.7).
154
Exercise (25.15). Show that a ring is a PID if and only if its a Dedekind
domain and a UFD.
(25.16) (Invertible modules). Let R be an arbitrary ring. We call a module M
invertible if there is another module N with M N R.
Up to (noncanonical) isomorphism, N is unique if it exists: if N M R, then
N = R N (N M ) N = N (M N ) N R = N .
155
156
158
with all ai , bj a.
n1
(1 b0 )an x = an b1 x
and
nm
+ + an b m x
n+1
with a R.
Multiplying by x yields x
an x a0 = 0. So x R, a contradiction.
Thus 1
/ yR[y]. So there is a maximal ideal m of R[y] containing y. Then
the composition R R[y] R[y]/m is surjective as y m. Its kernel is m R,
so m R is a maximal ideal of R. By (26.8), there is a valuation ring V that
dominates R[y]m with algebraic residue field extension; whence, if R is local, then
V also dominates R, and the residue field of R[y]m is equal to that of R. But y m;
so x = 1/y
/ V , as desired.
(26.11) (Valuations). We call an additive abelian group totally ordered if
has a subset + that is closed under addition and satisfies + {0} + = .
Given x, y , write x > y if x y + . Note that either x > y or x = y or
y > x. Note that, if x > y, then x + z > y + z for any z .
Let V be a domain, and set K := Frac(V ) and := K /V . Write the group
additively, and let v : K be the quotient map. It is a homomorphism:
v(xy) = v(x) + v(y).
(26.11.1)
159
160
if x 6= y.
(26.11.2)
Note that (26.11.1) and (26.11.2) are the same as (1) and (2) of (23.1).
Conversely, start with a field K, with a totally ordered additive abelian group ,
and with a surjective homomorphism v : K satisfying (26.11.2). Set
V := {x K | v(x) 0} {0}.
Proof: For (1), say v(x1 ) > v(x2 ); so v(x2 ) = m. Set z := x1 /x2 . Then
v(z) > 0. Also v(z) = v(z) + v(1) > 0. Now,
0 = v(1) = v(z + 1 z) min{v(z + 1), v(z)} 0.
(26.16.1)
0
Rr
M
N
0
x
x y
x y
y
0
Rr
M
N
0
Now, MK MK
; so r dimK (MK
). Therefore,
161
Theorem (26.17) (KrullAkizuki). Let R be a 1-dimensional Noetherian domain, K its fraction field, K a finite extension field, and R a proper subring of
K containing R. Then R is, like R, a 1-dimensional Noetherian domain.
Proof: Given a nonzero ideal a of R , take any nonzero x a . Since K /K
is finite, there is an equation an xn + + a0 = 0 with ai R and a0 6= 0. Then
a0 a R. Further, (26.16) yields (R/a0 R) < .
Clearly, R is a domain, so a torsionfree R-module. Further, R R K K ;
hence, dimK (R R K) < . Therefore, (26.16) yields R (R /a0 R ) < .
But a /a0 R R /a0 R . So R (a /a0 R ) < . So a /a0 R is finitely generated
over R by (19.2)(3). Hence a is finitely generated over R . Thus R is Noetherian.
Set R := R /a0 R . Clearly, R R R R . So R R < . So, in R , every
prime is maximal by (19.4). So if a is prime, then a /a0 R is maximal, whence a
maximal. So in R, every nonzero prime is maximal. Thus R is 1-dimensional.
Corollary (26.18). Let R be a 1-dimensional Noetherian domain, such as a
Dedekind domain. Let K be its fraction field, K a finite extension field, and R
the normalization of R in K . Then R is Dedekind.
Proof: Since R is 1-dimensional, its not a field. But R is the normalization of
R. So R is not a field by (14.1). Hence, R is Noetherian and 1-dimensional by
(26.17). Thus R is Dedekind by (24.1).
Corollary (26.19). Let K /K be a field extension, V a valuation ring of K
not containing K. Set V := V K. Then V is a DVR if V is, and the converse
holds if K /K is finite.
Proof: It follows easily from (26.1) that V is a valuation ring, and from (26.11)
that its value group is a subgroup of that of V . Now, a nonzero subgroup of Z is
a copy of Z. Thus V is a DVR if V is.
Conversely, assume V is a DVR, so Noetherian and 1-dimensional. Now, V 6 K,
so V ( K . Hence, V is Noetherian by (26.17), so a DVR by (26.15)(2).
Exercise (26.20). Let R be a Noetherian domain, K := Frac(R), and L a
finite extension field (possibly L = K). Prove the integral closure R of R in L is
the intersection of all DVRs V of L containing R by modifying the proof of (26.10):
show y is contained in a height-1 prime p of R[y] and apply (26.18) to R[y]p .
Solutions
1. Rings and Ideals
Exercise (1.5). Let : R R be a map of rings, a an ideal of R, and b an
ideal of R . Set ae := (a)R and bc := 1 (b). Prove these statements:
(1) Then aec a and bce b.
(2) Then aece = ae and bcec = bc .
(3) If b is an extension, then bc is the largest ideal of R with extension b.
(4) If two extensions have the same contraction, then they are equal.
Solution: For (1), given x a, note (x) = x 1 aR . So x 1 (aR ),
or x aec . Thus a aec . Next, (1 b) b. But b is an ideal of R . So
(1 b)R b, or bce b. Thus (1) holds.
For (2), note aece ae by (1) applied with b := ae . But a aec by (1); so
e
a aece . Thus ae = aece . Similarly, bcec bc by (1) applied with a := bc . But
bce b by (1); so bcec bc . Thus bcec = bc . Thus (2) holds.
For (3), say b = ae . Then bce = aece . But aece = ae by (2). Hence bc has
extension b. Further, its the largest such ideal, as aec a by (1). Thus (3) holds.
For (4), say bc1 = bc2 for extensions bi . Then bce
i = bi by (3). Thus (4) holds.
Exercise (1.7). Let R be a ring, a an ideal, and P := R[X1 , . . . , Xn ] the
polynomial ring. Prove P/aP = (R/a)[X1 , . . . , Xn ].
Solution: The two R-algebras are equal, as they have the same UMP: each
is universal among R-algebras R with distinguished elements x1 , . . . , xn and with
aR = 0. Namely, the structure map : R R factors through a unique map
: P R such that (Xi ) = xi for all i by (1.3); then factors through a unique
map P/aP R as aR = 0 by (1.6). On the other hand, factors through a
unique map : R/a R as aR = 0 by (1.6); then factors through a unique
map (R/a)[X1 , . . . , Xn ] R such that (Xi ) = xi for all i by (1.3).
Exercise (1.10). Let R be ring, and P := R[X1 , . . . , Xn ] the polynomial ring.
Let m n and a1 , . . . , am R. Set p := hX1 a1 , . . . , Xm am i. Prove that
P/p = R[Xm+1 , . . . , Xn ].
Solution: First, assume m = n. Set P := R[X1 , . . . , Xn1 ] and
p := hX1 a1 , . . . , Xn1 an1 i P .
Solutions: (1.15)
163
Z/hni =
To prove (3), note that (2) implies a and bn are comaximal for any n 1 by
induction on n. Hence, bn and am are comaximal for any m 1.
To prove (4)(a), assume a1 and a2 an1 are comaximal by induction on n. By
hypothesis, a1 and an are comaximal. Thus (2) yields (a).
To prove (4)(b) and (4)(c), again proceed by induction on n. Thus (1) yields
Exercise (1.15). First, given a prime number p and a k 1, find the idempotents in Z/hpk i. Second, find the idempotents in Z/h12i. Third, find the number
QN
of idempotents in Z/hni where n = i=1 pni i with pi distinct prime numbers.
m1
m0
(mod 3)
and
(mod 3)
and
(mod 3)
and
(mod 3)
and
N
Y
i=1
m1
Solutions: (2.5)
(c) R/(a1 an )
(R/ai ).
a1 (a2 an ) = a1 (a2 an ) = a1 a2 an ;
Y
R/a R/(a a )
R/(a1 an )
(R/ai ).
1
2
n
164
m 0 (mod 4);
Z/hpni i i.
a a 0 + 0 a = a a .
Finally, the equation R/a = (R/a ) (R/a ) is now clear from the construction of
the residue class ring.
Exercise (1.17). Let R be a ring, and e, e idempotents. (See (10.7) also.)
(1) Set a := hei. Show a is idempotent; that is, a2 = a.
(2) Let a be a principal idempotent ideal. Show ahf i with f idempotent.
(3) Set e := e + e ee . Show he, e i = he i and e is idempotent.
(4) Let e1 , . . . , er be idempotents. Show he1 , . . . , er i = hf i with f idempotent.
(5) Assume R is Boolean. Show every finitely generated ideal is principal.
Solution: For (1), note a2 = he2 i since a = hei. But e2 = e. Thus (1) holds.
For (2), say a = hgi. Then a2 = hg 2 i. But a2 = a. So g = xg 2 for some x. Set
f := xg. Then f a; so hf i a. And g = f g. So a hf i. Thus (2) holds.
For (3), note he i he, e i. Conversely, ee = e2 + ee e2 e = e + ee ee = e.
By symmetry, e e = e . So he, e i he i and e2 = ee + e e ee e = e . Thus
(4) holds.
For (4), induct on r. Thus (3) yields (4).
For (5), recall that every element of R is idempotent. Thus (4) yields (5).
2. Prime Ideals
Exercise (2.2). Let a and b be ideals, and p a prime ideal. Prove that these
conditions are equivalent: (1) a p or b p; and (2) a b p; and (3) ab p.
m 1 (mod 4);
Solution: Trivially, (1) implies (2). If (2) holds, then (3) follows as ab a b.
Finally, assume a 6 p and b 6 p. Then there are x a and y b with x, y
/ p.
Hence, since p is prime, xy
/ p. However, xy ab. Thus (3) implies (1).
m 1 (mod 4).
Exercise (2.4). Given a prime number p and an integer n 2, prove that the
residue ring Z/hpn i does not contain a domain as a subring.
m 0 (mod 4);
Solutions: (2.22)
165
166
Solutions: (3.3)
(1)
(2)
(3)
(4)
Solution: (1) False. In the ring Z, consider the set S of powers of 2. The
complement T of S contains 3 and 5, but not 8; so T is not an ideal.
(2) False. In the ring Z, consider the prime ideals h2i and h3i; their intersection
h2i h3i is equal to h6i, which is not prime.
(3) False. Since 2 3 5 = 1, we have h3i + h5i = Z.
(4) False. Let : Z Q be the inclusion map. Then 1 h0i = h0i.
(5) True. By(1.9), the operation b 7 1 b sets up an inclusion-preserving
bijective correspondence between the ideals b n and the ideals b 1 n .
Exercise (2.23). Let k be a field, P := k[X1 , . . . , Xn ] the polynomial ring,
f P nonzero. Let d be the highest power of any variable appearing in f .
(1) Let S k have at least d + 1 elements. Proceeding by induction on n, find
a1 , . . . , an S with f (a1 , . . . , an ) 6= 0.
(2) Using the algebraic closure K of k, find a maximal ideal m of P with f
/ m.
Exercise (2.26). Prove that, in a PID, elements x and y are relatively prime
(share no prime factor) if and only if the ideals hxi and hyi are comaximal.
Solution: Say hxi + hyi = hdi. Then d = gcd(x, y), as is easy to check. The
assertion is now obvious.
Solutions: (3.16)
167
168
Solutions: (3.18)
(1) Show (a) that S S, and (b) that S is saturated multiplicative, and (c) that
any saturated multiplicative subset T containing S also contains S.
(2) Show that R S is the union U of all the primes
S p with p S = .
(3) Let a be an ideal; assume S = 1 + a; set W := pa p. Show R S = W .
(4) Given f R, let S f denote the saturation of the multiplicative
p
p subset of all
powers of f . Given f, g R, show S f S g if and only if hf i hgi.
Solutions: (3.25)
S
169
Solution: For (1), first assume n = 1. Then f has degree at most d, so at most
d roots by [2, (1.8), p. 392]. So theres a1 S with f (a1 ) 6= 0.
P
j
Assume n > 1. Say f =
j gj X1 with gj k[X2 , . . . , Xn ]. But f 6= 0. So
gi 6= 0 for some i. By induction, there are a2 , . . . , an S with gi (a2 , . . . , an ) 6= 0.
P
So theres a1 S with f (a1 , . . . , an ) = j gj (a2 , . . . , an )aj1 6= 0. Thus (1) holds.
1 b = 1 b.
170
Solutions: (3.32)
Solution: Below, (1) is clearly equivalent to (2); and (2), to (3); and so forth:
(1) x 1 b;
(2) x b;
(3) (x)n b for some n; (4) (xnp
) b for some n;
(5) xn 1 b for some n; (6) x 1 b.
Solutions: (3.36)
171
Solution: Let xP
of a. For eachPi, there is ni such that
1 , . . . , xm be generators
m
xni i a. Let n > (ni 1). Given a a, write a = i=1 yi xi with yi R.
Pm
j
Then an is a linear combination of terms of the form x11 xjmmP
with P
i=1 ji = n.
Hence ji ni for some i, because if ji ni 1 for all i, then
ji (ni 1).
Thus an a, as desired.
Exercise (3.33). Let R be a ring, q an ideal, p a finitely generated prime.
clearly q p . Further, since p is prime, if p q, then p q.
Exercise (3.35). Let R be a ring. Assume R is reduced
and has finitely many
Q
minimal prime ideals p1 , . . . , pn . Prove that : R (R/pi ) is injective, and for
each i, there is some (x1 , . . . , xn ) Im() with xi 6= 0 but xj = 0 for j 6= i.
T
Solution: Clearly Ker() = pi . Now, R is reduced and the pi are its minimal
primes; hence, (3.29) and (3.14) yield
\
p
pi .
h0i = h0i =
Thus Ker() = h0i, and so is injective.
Finally,
fix i. Since pi is minimal, pi 6 pj for j 6= i; say aj pj pi . Set
Q
a := j6=i aj . Then a pj pi for all j 6= i. So take (x1 , . . . , xn ) := (a).
Exercise (3.36). Let R be a ring, X a variable, f := a0 + a1 X + + an X n
and g := b0 + b1 X + + bm X m polynomials with an 6= 0 and bm 6= 0. Call f
primitive if ha0 , . . . , an i = R. Prove the following statements:
(1) Then f is nilpotent if and only if a0 , . . . , an are nilpotent.
(2) Then f is a unit if and only if a0 is a unit and a1 , . . . , an are nilpotent.
(3) If f is a zerodivisor, then there is a nonzero b R with bf = 0; in fact, if
f g = 0 with m minimal, then f bm = 0 (or m = 0).
(4) Then f g is primitive if and only if f and g are primitive.
172
Solutions: (3.39)
R[[X]]
an
ideal,
and
f
:=
an X R[[X]]. Set m := MR
P
and A :=
bn X n | bn a . Prove the following statements:
(1) If f is nilpotent, then an is nilpotent for all n. The converse is false.
(2) Then f rad(R[[X]]) if and only if a0 rad(R).
(3) Assume X M. Then X and m generate M.
(4) Assume M is maximal. Then X M and m is maximal.
(5) If a is finitely generated, then aR[[X]] = A. The converse may fail.
P
Solution: For (1), assume f and ai for i < n are nilpotent. Set g := in ai X i .
P
Then g = f i<n ai X i . So g is nilpotent by (3.31); say g m = 0 with m 1.
Then am
n = 0. Thus by induction an is nilpotent for all n.
The converse is false. For example, set P := Z[X2 , X3 , . . . ] for variables Xn . Set
Solutions: (4.16)
173
i=1
n0
174
Solutions: (4.20)
Exercise L
(4.16). Let be an infinite set, R a nonzero ring for . Endow
Q
Q
R and
R with componentwise addition and L
multiplication. Show that R
has a multiplicative identity (so is a ring), but that
R does not (so is not a ring).
L
M
N
defined by
() := (1).
x(n+1) = an xn + + a1 x1 + a0
x1 = an + + a1 xn1 + a0 xn R.
M =LN
and = L , = N , = N , = L
Solutions: (5.12)
175
Exercise
set, M a module for .
L(4.20).
L Let a be an ideal,
Q a nonempty
Q
M =
Prove a
aM . Prove a( M ) = aM if a is finitely generated.
L
L
Solution:
M
aM because a (m ) = (am ). Conversely,
LFirst, a
L
P
a
M
aM because (a m ) = a m since the sum is finite.
Q
Q
Second, a
M aM as a(m ) = (am ). Conversely, say a is generated
Q
Q
Q
M aM . Indeed, take (m ) aM . Then for
by f1 , . . . , fn . Then a
P
n
i=1
j=1
5. Exact Sequences
Exercise (5.5). Let M and M be modules, N M a submodule. Set
M := M M . Using (5.2)(1) and (5.3) and (5.4), prove M/N = M /N M .
Solution: By (5.2)(1) and (5.3), the two sequences 0 M M 0 and
0 N M M /N 0 are exact. So by (5.4), the sequence
0 N M M (M /N ) M 0
M
M , there is an isomorphism M M M if and
exact sequence M
only if there is a section : M M of and is injective.
Solution: We have : M M , and M : M M M , but (5.9) requires
that they be compatible with the isomorphism M M M , and similarly for
: M M and M : M M M .
Lets construct a counterexample (due to B. Noohi). For each integer
L n 2, let
Mn be the direct sum of countably many copies of Z/hni. Set M :=
Mn .
First, let us check these two statements:
176
Solutions: (5.16)
y
y
y
0
M/L
N/L
(N/L) (M/L)
0
L
L Ker() 0;
hence, Ker() = 0. Moreover, is surjective because and are.
4
3
2
1
M
4 M
3 M
2 M
1 M
0
4 y
3 y
2 y
1 y
0 y
N4 N3 N2 N1 N0
Assume it has exact rows. Via a chase, prove these two statements:
(1) If 3 and 1 are surjective and if 0 is injective, then 2 is surjective.
(2) If 3 and 1 are injective and if 4 is surjective, then 2 is injective.
Solution: Lets prove (1). Take n2 N2 . Since 1 is surjective, there is
m1 M1 such that 1 (m1 ) = 2 (n2 ). Then 0 1 (m1 ) = 1 1 (m1 ) = 1 2 (n2 ) = 0
by commutativity and exactness. Since 0 is injective, 1 (m1 ) = 0. Hence exactness
yields m2 M2 with 2 (m2 ) = m1 . So 2 (2 (m2 ) n2 ) = 1 2 (m2 ) 2 (n2 ) = 0.
Hence exactness yields n3 N3 with 3 (n3 ) = 2 (m2 )n2 . Since 3 is surjective,
there is m3 M3 with 3 (m3 ) = n3 . Then 2 3 (m3 ) = 3 3 (m3 ) = 2 (m2 ) n2 .
Hence 2 (m2 3 (m3 )) = n2 . Thus 2 is surjective.
The proof of (2) is similar.
Solutions: (5.24)
177
y
y
y
0 L
0
N
0
M
M
y
y
L 0
M
0
M
M
M
y
y
y
N N N
Assume and are surjective. Given n N and m M with (m ) = (n),
show that there is m M such that (m) = n and (m) = m .
Solution: Given : M
N and : R
N , use the UMP of (4.10) to
define : R M by sending the standard basis vector e to any lift of (e ),
that is, any m M with (m ) = (e ). (The Axiom of Choice permits a
simultaneous choice of all m if is infinite.) Clearly = . Thus R is
projective.
Exercise (5.24). Let R be a ring, P and N finitely generated modules with P
projective. Prove Hom(P, N ) is finitely generated, and is finitely presented if N is.
m
P for
some m by (4.10). Set K := Ker(). Since P is projective, the sequence
0 K Rm P 0
But the Hom(Rm , Fi ) are free of finite rank by (4.15.1) and (4.15.2). Thus
Hom(Rm , N ) is finitely presented.
As above, Hom(K, N ) is finitely generated. Consider the (split) exact sequence
Solution: The first row is exact if the third is owing to the Snake Lemma
(5.13) applied to the bottom two rows. The converse is proved similarly.
Solutions: (5.37)
N
0
Assume all the columns are exact and the middle row is exact. Prove that the first
row is exact if and only if the third is.
178
1
y
y
Ny
0 L M N
0
By (5.26), K is finitely generated. Thus L is too, as is surjective.
a1
0
..
A=
.
0
am
Set s := m r. Now, ai hai1 i for all i > 1. Hence ai1 ais ha1 as i for all
1 i1 < < is m. Thus Is (A) = ha1 as i, as desired.
Solutions: (6.5)
179
6. Direct Limits
Exercise (6.3). (1) Show that the condition (6.2)(1) is equivalent to the
commutativity of the corresponding diagram:
HomC (B, C)
HomC F (B), F (C)
y
y
(6.3.1)
HomC (A, C)
HomC F (A), F (C)
(2) Given : C D, show (6.2)(1) yields the commutativity of this diagram:
HomC (B, C)
HomC F (B), F (C)
y
y
HomC (A, D)
HomC F (A), F (D)
180
Solutions: (6.9)
A
FA
F
gy
yF F g
B
B F F B
(F g)
(F F g)
A, F A
A, F B
B, F B
y
y
y
It commutes since is natural. Follow 1F A out of the upper left corner to find
F F g A = A, F B (F g) in HomC (A, F F B). Follow 1F B out of the upper right
corner to find A, F B (F g) = B g in HomC (A, F F B). Thus (F F g) A = B g.
For (2), form this canonical commutative diagram:
f
HomC (F A, F A)
HomC (F A, A )
A,A
A, F A
y
y
(F f )
A,A
For (4), set A,A (f ) := F f A . As A is universal, given f : A F A , there
is a unique f : F A A with F f A = f . Thus A,A is a bijection:
Hom (A, F A ).
A,A : HomC (F A, A )
C
Solutions: (6.16)
181
pushout as a direct limit. Show that, in ((Sets)), the pushout is the disjoint union
M N modulo the smallest equivalence relation with m n if there is L
with () = m and () = n. Show that, in ((R-mod)), the pushout is equal to the
direct sum M N modulo the image of L under the map (, ).
Solution: Let be the category with three objects , , and and two nonidentity maps and . Define a functor 7 M by M := L, M := M ,
M := N , := , and := . Set Q := lim M . Then writing
N
L
M
y
y
as
R
R
Q
Q
Q
L
M
182
Solutions: (7.4)
the left adjoint of the composition of the two diagonal functors. But the latter is
just the diagonal C C owing to (1). So this diagonal has a left adjoint, which
is necessarily lim(,) owing to the uniqueness of adjoints. Thus (2) holds.
Show that the analogous statement for kernels can be false by constructing a
counterexample using the following commutative diagram with exact rows:
N Q
, y
y ,
N N
is commutative. Factoring (, ) (, ) in two ways as above, we get a commutative cube. It shows that the , define a map in (C ) .
This passage from C to (C ) is reversible. Thus (1) holds.
As to (2), assume C has direct limits indexed by and . Then C has
direct limits indexed by by (6.13). So the functors lim : C C and
lim : (C ) C exist, and they are the left adjoints of the diagonal func
tors C C and C (C ) by (6.6). Hence the composition lim lim is
2
y
2
Z
Z/h2i
0
2
2
y
y
Z Z
Z/h2i
0
Solution: By (6.8), the cokernel is a direct limit, and by (6.14), direct limits
commute; thus, the asserted equation holds.
To construct the desired counterexample using the given diagram, view its rows
as expressing the cokernel Z/h2i as a direct limit over the category of (6.8). View
the left two columns as expressing a natural transformation { }, and view the third
column as expressing the induced map between the two limits. The latter map is
0; so its kernel is Z/h2i. However, Ker( ) = 0 for ; so lim Ker( ) = 0.
Solution: Let us prove that M has the UMP characterizing lim M . Given
Exercise (7.3). Show that every module M is the filtered direct limit of its
finitely generated submodules.
Solution: Every element m M belongs to the submodule generated by m;
hence, M is the union of all its finitely generated submodules. Any two finitely
generated submodules are contained in a third, for example, their sum. So the
assertion results from (7.2) with the set of all finite subsets of M .
Exercise (7.4). Show that every direct sum of modules is the filtered direct
limit of its finite direct subsums.
Solutions: (7.10)
183
Solution: Consider an element of the direct sum. It has only finitely many
nonzero components. So it lies in the corresponding finite direct subsum. Thus
the union of the subsums is the whole direct sum. Now, given any two finite direct
subsums, their sum is a third. Thus the finite subsets of indices form a directed
partially ordered set . So the assertion results from (7.2).
Exercise (7.6). Keep the setup of (7.5). For each n , set Nn := Z/hni; if
m
n = ms, define m
N = Q/Z.
n : Nm Nn by n (x) := xs (mod n). Show lim
n
Solution: For each n , set Qn := Mn /Z Q/Z. If n = ms, then clearly
Diagram (7.5.1) induces this one:
m
n
Nm
Nn
n y
m y
m
n
Qm Qn
S
where nm is the inclusion. Now, Qn = Q/Z and Qn , Qn Qnn . So (7.2) yields
Q/Z = lim Mn . Thus lim Nn = Q/Z.
N
=
N . So there
184
Solutions: (7.20)
an ideal for each . Assume a a for each transition map . Set a := lim a .
lim(R a ) = R/a. Thus (7.9) yields the assertions.
Exercise (7.17). Let R := lim R be a filtered direct limit of rings. Prove that
each ring R is local, say with maximal ideal m , and assume each transition map
Solution:
S As each is local, ( ) m = m . So m m . So (7.16)
yields m = m . Now, given x R S
m, there is and x R with x = x
by (7.8)(1). Then x
/ m as x
/ m = m . So x is invertible as R is local
with maximal ideal m . Hence x is invertible. Thus R is local with maximal ideal
m by (3.5). Finally, (7.10) yields 1
m = m ; that is, is local.
more precisely, show that the right side has the UMP characterizing the left.
Solutions: (8.7)
185
: M MC
P.
R2 M 0. For
Solution: By (5.20), there is a presentation R1
i = 1, 2, let i be the set of finite subsets i of i , and order i by inclusion.
Clearly, an inclusion i i yields an injection Ri Ri , which is given by
extending vectors by 0. Hence (7.2) yields lim Ri = Ri .
i i
8. Tensor Products
Exercise (8.4). Let R be a ring, R an R- algebra, and M an R -module.
Set M := R R M . Define : M M by m := 1 m. Prove M is a direct
summand of M with = M , and find the retraction (projection) M : M M .
Clearly, is surjective. So is unique with this property. Thus the UMP implies
that K = a R K. (Also, as is unique, is independent of the choice of z.)
Alternatively, form the linear map : a K K induced by thePbilinear map .
Since is surjective, so is . Now, given any w a K, say w = ai xi /x with
186
Solutions: (8.17)
P
all xi and x in R. Set a :=
ai xi a. Then w = a (1/x). Hence, if (w) = 0,
then a/x = 0; so a = 0 and so w = 0. Thus is injective, so bijective.
Solution: To prove (1), view R/a as the cokernel of the inclusion a R. Then
(8.13) implies that (R/a)M is the cokernel of aM RM . Now, RM = M
and x m = xm by (8.6)(2). Correspondingly, a M M has aM as image.
The assertion follows. (Caution: a M M neednt be injective; if its not, then
a M 6= aM . For example, take R := Z, take a := h2i, and take M := Z/h2i; then
a M M is just multiplication by 2 on Z/h2i, and so aM = 0.)
To prove (2), apply (1) with M := R/b. Note a(R/b) = (a + b)/b by (4.8.1). So
R/a R/b = (R/b) ((a + b)/b).
Solutions: (8.26)
187
Z/hmi Z Z/hni = Z/ hmi + hni = 0.
Solution:
Plainly,PM [X] is an R[X]-module. Define b : M R[X] M [X]
P
by b(m,
ai X i ) :=
ai mX i . Then b is R-bilinear, so induces an R-linear map
: M R R[X] M [X].PPlainly, is R[X]-linear. By (8.21), any t P
M R R[X]
can be written as t =
mi X i for some mi M . Then
t
=
mi X i . If
P
i
t =P0, then mi = 0 for all i, and so t = 0. Given u :=
mi X M [X], set
t := mi X i . Then t = u. Thus is bijective, as desired.
Alternatively, for any R[X]-module P , define an R-linear map
188
Solutions: (9.8)
the real cube root of 2. Set k := Q() and K := k[ 3 2]. Show K = k[X]/hX 3 2i
and then K k KK K K.
3
3
3
X 3 2 = X 2 X 2 X 2 2 .
9. Flatness
Exercise (9.4). Let R be a ring, R an algebra, F an R-linear functor from
((R-mod)) to ((R -mod)). Assume F is exact. Prove the following equivalent:
(1) F is faithful.
(2) An R-module M vanishes if F M does.
(3) F (R/m) 6= 0 for every maximal ideal m of R.
(4) A sequence M
M
M is exact if F M F M F M is.
Solutions: (9.15)
189
190
Solutions: (9.25)
Solution: Assume (1). In (2), set K := Ker . Then the canonical sequence
1
0 K R M R M R R
M y
M y
yM
0 P M P
0
M P M
y
y
0
P/N M
P/N M
Since M is flat, Ker( M ) = 0. So the Snake Lemma (5.13) applied to the top
two rows yields Ker( M ) = 0. Thus M is flat.
Exercise (9.18). Prove that an R-algebra R is faithfully flat if and only if the
structure map : R R is injective and the quotient R /R is flat over R.
Solution: Assume R is faithfully flat. Then for every R-module M , the map
M
M R R is injective by (9.15). Taking M := R shows is injective. And,
since R is flat, R /(R) is flat by (9.17).
Conversely, assume is injective and R /(R) is flat. Then M M R R is
injective for every module M by (9.16)(1), and R is flat by (9.16)(2). Thus R is
faithfully flat by (9.15)
Exercise (9.21). Let R be a ring, R an algebra, M and N modules. Show
that there is a canonical map
Solutions: (10.8)
191
(9.25.1)
j xij yj = yi for all i and
i xij xi = 0 for all j.
Solution: Assume
e1 , . . . , em be the standard basis of Rm .
Pm (9.24)(4) holds. Let m
GivenPa relation 1 xi yi = 0, define : R M by (ei ) := yi for each i. Set
with (k) = 0. Let e1 , . . . , en be the standard basis of R , and set yj := (ej ) for
P
each P
j. Let (xij ) be the n m matrix
of ; that is, (ei ) =
xji ej . Then
P
Exercise (9.28). Let R be a ring, M a module. Prove (1) if M is flat, then for
x R and m M with xm = 0, necessarily m Ann(x)M , and (2) the converse
holds if R is a Principal Ideal Ring (PIR); that is, every ideal a is principal.
Solution: For P
(1), assume M is flat and xm = 0. Then (9.25) yields xj R
and mj M with
xj mj = m and xj x = 0 for all j. Thus m Ann(x)M .
x
Alternatively, 0 Ann(x) R R is always exact. Tensoring with M gives
x
0 Ann(x) M M M , which is exact as M is flat. So Im(Ann(x) M ) is
Ker(x ). But always Im(Ann(x) M ) is Ann(x)M . Thus (1) holds.
For (2), it suffices, by (9.26), to show : a M aM is injective. Since R is a
PIR, a = hxi for
P some x R. So, given
P z a M , there are yi R and mi M
such that z = i yi x mi . Set m := i yi mi . Then
P
P
z = i x yi mi = x i yi mi = x m.
Suppose
z Ker(). Then xm = 0. Hence m Ann(x)M by hypothesis. So
P
m = j zj nj for some zj Ann(x) and nj M . Hence
P
P
z = x j zj nj = j zj x nj = 0.
192
Solutions: (10.14)
Solutions: (10.22)
193
194
Solutions: (11.2)
Q
Solution: Given an x R, form F (X) := gG (X gx). Then the coefficients
of F (X) are the elementary symmetric functions in the conjugates gx for g G;
hence, they are invariant under the action of G. So F (x) = 0 is a relation of integral
dependence for x over RG , in fact, over its subring R .
Exercise (10.24). Let k be a field, P := k[X] the polynomial ring in one
variable, f P . Set R := k[X 2 ] P . Using the free basis 1, X of P over R, find
an explicit equation of integral dependence of degree 2 on R for f .
Solution: Write f = fe + fo , where fe and fo are the polynomials formed by
the terms of f of even and odd degrees. Say fo = gX. Then the matrix of f is
fe gX 2
. Its characteristic polynomial is T 2 2fe T + fe2 fo2 . So the Cayley
g fe
Hamilton Theorem (10.1) yields f 2 2fe f + fe2 fo2 = 0.
Exercise (10.29).Q Let R1 , . . . , Rn be R-algebras that are integral over R. Show
that their product Ri is a integral over R.
Qn
Solution: Let y = (y1 , . . . , yn ) i=1 Ri . SinceQRi /R is integral, R[yi ] is a
n
module-finite R-subalgebra
of Ri by (10.28). Hence i=1 R[yi ] is a module-finite
Qn
Qn
R-subalgebra of i=1 Ri by (4.16) and induction
Qnon n. Now, y i=1 R[yi ].
Therefore, y is integral over R by (10.28). Thus i=1 Ri is integral over R.
Exercise (10.31).
Q For 1 i Qr, let Ri be a ring, Ri an extension of Ri , and
xi Ri . Set R := Ri , set R := Ri , and set x := (x1 , . . . , xr ). Prove
(1) x is integral over R if and only if xi is integral over Ri for each i;
(2) R is integrally closed in R if and only if each Ri is integrally closed in Ri .
and let x, y R be the residues of X, Y . Prove that R is a domain, but not a field.
Set t := y/x Frac(R). Prove that k[t] is the integral closure of R in Frac(R).
Solutions: (11.9)
195
if
xt = ys.
However, if z 6= 0, then
(1, z), (1, 1) 6 (1, 0), (1, 1) .
Solutions: (11.17)
be
a
set,
S
S
a
multiplicative
subset
for
all
.
Assume
S
S = S. Assume given , , there is such that S , S S . Order by
inclusion: if S S . Using (1), show lim S1 R = S 1 R.
196
Solutions: (11.29)
197
R, as required.
198
Solutions: (12.6)
T 1 (S 1 R) = S 1 (T 1 R) = U 1 R.
xn + y1 xn1 + + yn = 0
Solution: Lets check that both T 1 (S 1 M ) and T11 (S 1 M ) have the UMP
characterizing T 1 M . Let : M N be an R-linear map into an T 1 R-module.
Then the multiplication map s : N N is bijective for all s T by (12.1),
so for all s S since S T . Hence factors via a unique S 1 R-linear map
: S 1 M N by (12.3) and by (12.1) again.
Similarly, factors through a unique T 1 R-linear map : T 1 (S 1 M ) N .
Hence = T S , and is clearly unique, as required. Also, factors through
a unique T11 (S 1 R)-linear map 1 : T11 (S 1 M ) N . Hence = 1 T1 S , and
1 is clearly unique, as required.
Solutions: (12.14)
199
200
Solutions: (12.19)
(1) Let M1
M2 be a map of modules, which restricts to a map N1 N2 of
submodules. Show (N1S ) N2S ; that is, there is an induced map N1S N2S .
and Fr (S 1 M ) = Fr (M )S 1 R = S 1 Fr (M ).
Solution: Let Rn
Rm M 0 be a presentation. Then, by (8.13),
1
(R )n (R )m M R R 0
Fr (M R R ) = Imr (A)R = Fr (M )R .
(2) Let 0 M1
M2
M3 be a left exact sequence, which restricts to a left
exact sequence 0 N1 N2 N3 of submodules. Show there is an induced left
exact sequence of saturations: 0 N1S N2S N3S .
Solutions: (13.4)
201
and
Finally, say ei and ai satisfy (2) and either (3) or (4). Then hei i = ai by
(13.1). So eni ai for some n 1. But e2i = ei , so eni = e1 . Thus ei ai .
202
Solutions: (13.8)
(13.5.1)
S (V(b)) = S X V(a).
1
(13.1). So p = 1
(q)
(b)
=:
a.
So
p
V(a).
But
p
X.
S (V(b)) S
S
T S
1
Thus S (V(b)) S X V(a).
T
Conversely, given p S 1 X V(a), say p = S (q). Then p = 1
S (q) and
1
1
1
1
p a := S (b). So S (q) 1
(b).
So
(q)R
(b)R.
So
q b by
S
S
S
(11.19)(1)(b). So q V(b). So p = S (q) S (V(b)). Thus (13.5.1) holds, as
desired. Thus (2) holds.
1
with V(a) X and V(b) Y . Show (1) V(b) =
(V(a)) and (2) = V(b).
Solution: Given q Y , observe that q b if and only if 1 (q) a, as follows.
By (1.5)(1) in its notation, q b := ae yields qc aec a, and qc a yields
q qce ae . Thus (1) holds.
Plainly, (q/b) = (1 q)/a. Thus (13.1.2) yields (2).
Solutions: (13.13)
203
R R k = lim(R R k).
204
Solutions: (13.17)
/
p.
Hence
f
/ P by the Scheinnullstellensatz
(f )
/ b. So theres a prime P b with (f )
(3.29). So 1 P (V(b)). Further, f
/ 1 P, or 1 P D(f ). Therefore,
1 P (V(b)) D(f ). So (V(b)) D(f ) 6= . So p (V(b)). Thus (1)
holds.
For (2), take b := h0i. Then (1) yields (V(b)) = V(Ker()). But by (13.1),
if and only if
V(b) = Spec(R ) and Spec(R) = V(h0i). So (Spec(R )) = Spec(R)
p
V(h0i) = V(Ker()). The latter holds if and only if nil(R) = Ker() by (13.1),
so plainly if and only if nil(R) Ker(). Thus (2) holds.
Exercise (13.14). Let R be a ring, R a flat algebra with structure map .
Show that R is faithfully flat if and only if Spec() is surjective.
Solution: Owing to the definition of Spec() in (13.1), the assertion amounts
to the equivalence of (1) and (3) of (9.15).
Exercise (13.15). Let : R R be a flat map of rings, q a prime of R , and
p = 1 (q). Show that the induced map Spec(Rq ) Spec(Rp ) is surjective.
Solution: Since p = 1 (q), clearly (R p) (R q). Thus induces a
local homomorphism Rp Rq . Moreover, Rp is flat over Rp as Rp = Rp R R
by (12.13), and Rp R R is flat over Rp by (9.11). Also Rq is flat over Rp by
(12.21). Hence Rq is flat over Rp by (9.12). So Rq is faithfully flat over Rp by
(10.19). Hence Spec(Rq ) Spec(Rp ) is surjective by (9.15).
Exercise (13.16). Let R be a ring. Given f R, set Sf := {f n | n 0}, and
let S f denote its saturation; see (3.17). Given f, g R, show that the following
conditions are equivalent:
p
p
(1) D(g) D(f ). (2) V(hgi)
hgi hf i.
p V(hf i). (3)
(5) g hf i.
(6) f S g .
(4) S f S g .
1
1
(7) there is a unique R-algebra map fg : S f R S g R.
(8) there is an R-algebra map Rf Rg .
Show that, if these conditions hold, then the map in (8) is equal to fg .
Solution: First, (1) and (2) are equivalent by (13.1), and (2) and (3) are
too. Plainly, (3) and (5) are equivalent. Further, (3) and (4) are equivalent by
(3.17)(4). Always f S f ; so (4) implies (6). Conversely, (6) implies Sf S g ;
whence, (3.17)(1)(c) yields (4). Finally, (8) implies (4) by (11.10)(2). And (4)
1
1
implies (7) by (11.10)(1). But S f R = Sf1 R and S g R = Sg1 R by (11.9);
whence, (7) implies both (8) and the last statement.
Solutions: (13.19)
205
limD(f )p Rf = limS S S f R.
f
206
Solutions: (13.23)
For (3), note that (1) implies the maximal irreducible subspaces are closed, and
that (2) implies they cover, as every point is irreducible. Finally, if X is Hausdorff,
then any two points have disjoint open neighborhoods; hence, every irreducible
subspace consists of a single point.
For (4), take Y to be an irreducible component. Then Y is closed by (1); so
Y = Spec(R/a) for some ideal
a by (13.1.3).
But Y is irreducible. So nil(R/a) is
prime by (13.18). Hence a is prime. So a contains
a minimal prime p of R by
(3.14). Set Z := Spec(R/p). Then Z = V(p) V( a) = V(a) = Y by (13.1).
Further, Z is irreducible by (13.18). So Z = Y by maximality. Thus Y = V(p).
Conversely, given a minimal prime q, set Z := Spec(R/q). Then Z is irreducible
by (13.18). So Z is contained, by (2), in a maximal irreducible subset, say Y . By
the above, Y = V(p) for some prime p. Then p q by (13.1). Hence p = q by
minimality. Thus (4) holds.
Exercise (13.21). Let R be a ring, X := Spec(R), and U an open subset.
Show U is quasi-compact if and only if X U = V(a) where a is finitely generated.
S
Solution:
U = D(f ) for some f .
Sn Assume U is quasi-compact. By (13.1),
T
So U = 1 D(fi ) for some fi . Thus X U = V(fi ) = V(hfS1 , . . . , fn i).
n
Conversely, assume X U = V(hf1 , . . . , fn i). Then U = i=1 D(fi ). But
D(fi ) = Spec(Rfi ) by (13.1). So by (13.20) with Rfi for R, each D(fi ) is quasicompact. Thus U is quasi-compact.
Exercise (13.22).
Let R be a ring, M a module, m M . Set X := Spec(R).
S
Assume X = D(f ) for some f , and m/1 = 0 in Mf for all . Show m = 0.
Solution:
Since m/1 = 0 in Rf , there is n > 0 such that fn m = 0. But
S
X = D(f ). Hence every prime excludes some f , so also fn . So there are
P
P
n
n
1 , . . . , n and x1 , . . . , xn with 1 = xi fi i . Thus m = xi fi i m = 0.
Exercise (13.23). Let R be a ring; set X := Spec(R). Prove that the four
following conditions are equivalent:
(1) R/ nil(R) is absolutely flat.
(2) X is Hausdorff.
(3) X is T1 ; that is, every point is closed.
(4) Every prime p of R is maximal.
Assume (1) holds. Prove that X is totally disconnected; namely, no two distinct
points lie in the same connected component.
Solutions: (13.31)
207
local ring with mRm as its only prime by (11.20). Hence mRm = nil(Rm ) by the
Scheinnullstellensatz (3.29). But nil(Rm ) = nil(R)m by (11.18). And nil(R) = 0.
Thus Rm /mRm = Rm . So Rm is a field. Hence R is absolutely flat by (13.48)(2).
Thus (1) holds.
Exercise (13.24). Let B be a Boolean ring, and set X := Spec(B). Show a
subset U X is both open and closed if and only if U = D(f ) for some f B.
Further, show X is a compact Hausdorff space. (Following Bourbaki, we shorten
quasi-compact to compact when the space is Hausdorff.)
S
Solution: Let f B. Then D(f ) D(1 f ) = X whether B is Boolean or
not; indeed,
if p X D(f ), then f p, so 1 f
/ p, so p D(1 f ). However,
T
D(f ) D(1 f ) = ; indeed, if p D(f ), then f
/ p, but f (1 f ) = 0 as B is
Boolean, so 1 f p, so p
/ D(1 f ). Thus X D(f ) = D(1 f ). Thus D(f ) is
closed as well as open.
Conversely, let U X be open and closed. Then U is quasi-compact, as U is
closed and X is quasi-compact by (13.20). So X U = V(a) where a is finitely
generated by (13.21). Since B is Boolean, a = hf i for some f B by (1.17)(5).
Thus U = D(f ).
Finally, let p, q be prime ideals with p 6= q. Then there is f p q. So p
/ D(f ),
but q D(f ). By the above, D(f ) is both open and closed. Thus X is Hausdorff.
By (13.20), X is quasi-compact, so compact as it is Hausdorff.
Exercise (13.25) (Stones Theorem). Show every Boolean ring B is isomorphic
to the ring of continuous functions from a compact Hausdorff space X to F2 with
the discrete topology. Equivalently, show B is isomorphic to the ring R of open and
R is given by f 7 D(f ).
closed subsets of X; in fact, X := Spec(B), and B
208
Solutions: (13.36)
(13.32.1)
= (M R Rp ) Rp Rq = Mp Rp Rq .
(13.32.2)
= Mp Rp (Rq Rp k) = (Mp Rp Rq ) Rp k
(13.32.3)
= (M R R )q Rp k.
Solutions: (13.42)
Solution: Given an m, note that R m S. So (12.19)(5) yields
T (Mm) = T (M )m .
209
(13.36.1)
Assume M is torsionfree. Then Mm is torsionfree for all m by (13.36.1). Conversely, if Mm is torsionfree for all m, then T (M )m = 0 for all m by (13.36.1).
Hence T (M ) = 0 by (13.35). Thus M is torsionfree.
Exercise (13.37). Let R be a ring, P a module, M, N submodules. Assume
Mm = Nm for every maximal ideal m. Show M = N . First assume M N .
Solution: If M N , then (12.20) yields (N/M )m = Nm /Mm = 0 for each m;
so N/M = 0 by (13.35). The general case follows by replacing N by M + N owing
to (12.17)(4), (5).
Exercise (13.38). Let R be a ring, M a module, and a an ideal. Suppose
Mm = 0 for all maximal ideals m containing a. Show that M = aM .
Solution: Given any maximal ideal m, note that (aM )m = am Mm by (12.2).
But Mm = 0 if m a by hypothesis. And am = Rm if m 6 a by (11.14)(2). Hence
Mm = (aM )m in any case. Thus (13.37) yields M = aM .
Alternatively, form the ring R/a and its module M/aM . Given any maximal ideal
m of R/a, say m = m/a. By hypothesis, Mm = 0. But Mm /(aM )m = (M/aM )m
by (12.22). Thus (M/aM )m = 0. So M/aM = 0 by (13.35). Thus M = aM .
Exercise (13.39). Let R be a ring, P a module, M a submodule, and p P
an element. Assume p/1 Mm for every maximal ideal m. Show p M .
Solution: Set N := M + Rp. Then Nm = Mm + Rm p/1 for every m. But
p/1 Mm . Hence Nm = Mm . So N = M by (13.37). Thus p M .
T
Exercise (13.40). Let R be a domain, a an ideal. Show a = m aRm where
m runs through the maximal ideals and the intersection takes place in Frac(R).
T
T
Solution: Plainly, a aRm . Conversely, take x aRm . Then x aRm for
every m. But aRm = am by (12.2). So (13.39) yields x a as desired.
Exercise (13.41). Prove these three conditions on a ring R are equivalent:
(1) R is reduced.
(2) S 1 R is reduced for all multiplicatively closed sets S.
(3) Rm is reduced for all maximal ideals m.
If Rm is a domain for all maximal ideals m, is R necessarily a domain?
Solution: Assume (1) holds. Then nil(R) = 0. But nil(R)(S 1 R) = nil(S 1 R)
by (11.18). Thus (2) holds. Trivially (2) implies (3).
Assume (3) holds. Then nil(Rm ) = 0. Hence nil(R)m = 0 by (11.18) and (12.2).
So nil(R) = 0 by (13.35). Thus (1) holds. Thus (1)(3) are equivalent.
Finally, the answer is no. For example, take R := k1 k2 with ki := Z/h2i. The
primes of R are p := h(1, 0)i and q := h(0, 1)i by (2.11). Further, Rq = k1 by
(11.7), as R q = {(1, 1), (1, 0)}. Similarly Rp = k2 . But R is not a domain, as
(1, 0) (0, 1) = (0, 0), although Rm is a domain for all maximal ideals m.
In fact, take R := R1 R2 for any domains Ri . Then again R is not a domain,
but Rp is a domain for all primes p by (13.42)(2) below.
Exercise (13.42). Let R be a ring, the set of minimal primes. Prove this:
210
Solutions: (13.52)
(1) If Rp is a domain for any prime p, then the p are pairwise comaximal.
Qn
(2) Rp is a domain for any prime p and is finite if and only if R = i=1 Ri
where Ri is a domain. If so, then Ri = R/pi with {p1 , . . . , pn } = .
Solution: Consider (1). Suppose p, q are not comaximal. Then p + q lies
in some maximal ideal m. Hence Rm contains two minimal primes, pRm and qRm ,
by (11.20). However, Rm is a domain by hypothesis, and so h0i is its only minimal
prime. Hence pRm = qRm . So p = q. Thus (1) holds.
Consider (2). Assume Rp is a domain for any p. Then RQis reduced by (13.41).
Assume, also, is finite. Form the canonical map : R p R/p; it is injective
by (3.35), and surjective by (1) and the Chinese Remainder Theorem (1.14). Thus
R is a finite product of domains.
Q
Conversely,Qassume R = ni=1 Ri where Ri is a domain. Let p be a prime of R.
Then Rp = (Ri )p by (12.11). Each (Ri )p is a domain by (11.3). But Rp is
local. So Rp (Ri )p for some i by (3.7). Q
Thus Rp is a domain. Further, owing to
(2.11), each pi has the form pi = aj where, after renumbering, ai h0i and
R . Thus (2) holds.
aj = Rj for j 6= i. Thus the ith projection gives R/pi
i
Exercise (13.44). Let R be a ring, M a module. Prove elements m M
generate M if and only if, at every maximal ideal m, their images m generate Mm .
Solution: The m define a map : R{} M . By (13.43), it is surjective
{}
if and only if m : R{} m Mm is surjective for all m. But R{} m = Rm
by (12.11). Hence (4.10)(1) yields the assertion.
Exercise (13.47). Let R be a ring, R a flat algebra, p a prime in R , and p
its contraction in R. Prove that Rp is a faithfully flat Rp -algebra.
Solution: First, Rp is flat over Rp by (13.46). Next, Rp is flat over Rp by
(12.21) and (11.29) as R p R p . Hence Rp is flat over Rp by (9.12). But
a flat local homomorphism is faithfully flat by (10.19).
Exercise (13.48). Let R be a ring, S a multiplicative subset.
(1) Assume R is absolutely flat. Show S 1 R is absolutely flat.
(2) Show R is absolutely flat if and only if Rm is a field for each maximal m.
Solution: In (1), given x R, note that hxi is idempotent by (10.9). Hence
hxi = hxi2 = hx2 i. So there is y R with x = x2 y.
Given a/s S 1 R, there are, therefore, b, t R with a = a2 b and s = s2 t. So
s(st 1) = 0. So (st 1)/1 s/1 = 0. But s/1 is a unit. Hence s/1 t/1 1 = 0.
So a/s = (a/s)2 b/t. So a/s ha/si2 . Thus ha/si is idempotent. Hence S 1 R is
absolutely flat by (10.9). Thus (1) holds.
Alternatively, given an S 1 R-module M , note M is also an R-module, so R-flat
by (1). Hence M S 1 R is S 1 R-flat by (9.11). But M S 1 R = S 1 M by
(12.13), and S 1 M = M by (12.4). Thus M is S 1 R-flat. Thus again (1) holds.
For (2), first assume R is absolutely flat. By (1), each Rm is absolutely flat. So
by (10.10)(4), each Rm is a field.
Conversely, assume each Rm is a field. Then, given an R-module M , each Mm is
Rm -flat. So M is R-flat by (13.46). Thus (2) holds.
Exercise (13.52). Given n, prove an R-module P is locally free of rank n if
n
and only if P is finitely generated and Pm Rm
holds at each maximal ideal m.
Solutions: (14.6)
211
1/y = (a1 + + an y n1 ) Rp .
212
Solutions: (14.14)
Solutions: (14.17)
213
0M
Ar P 0.
Momentarily, fix a p . Since A is reduced, K(p) = Rp by (14.12). So K(p)
is flat by (12.21). So the induced sequence is exact:
0 M K(p) K(p)r P K(p) 0.
Suppose dim(P K(p)) = r too. It then follows that M A K(p) = 0.
Let K be the total quotient ring of A, and form this commutative square:
r
M
A
r
M
y A
y
M K
Kr
(14.15.1)
214
Solutions: (15.3)
Solution: Assume (1). Let m any maximal ideal. Then Rm is a normal domain.
So R is reduced by (13.41).
Let S0 be the set of nonzerodivisors of R, so that K := S01 R. Set S := R m,
so that Rm := S 1 R. But S 1 S01 RS01 S 1 R by (11.29)(2). So S 1 K = S01 Rm .
Let t S0 . Then t/1 6= 0 in Rm ; else, theres s S with st = 0, a contradiction
as s 6= 0 and t S0 . Thus (11.23) and (11.3) yield S01 Rm Frac(Rm ).
Let x K be integral over R. Then x/1 S 1 K is integral over S 1 R by
(11.24). But S 1 R = Rm , and Rm is a normal domain. So x/1 Rm . Hence
x R by (13.39). Thus (2) holds.
Q
Assume (2). Set Ri := R/pi and Ki := Frac(RQ
K = Ki by (14.13).
i ). ThenQ
Let Ri be the normalization of Ri . Then R
Ri
Ri . Further, theQfirst
extension is integral by (10.29), and the second, by (10.31); whence, R Ri
is integral by the tower Q
propertyQ(10.27). However, R is integrally closed in K by
hypothesis. Hence R = Ri = Ri . Thus (3) holds.
Q
Assume (3). Let p be any prime of R. Then Rp = (Ri )p by (12.11), and each
(Ri )p is normal by (11.32). But Rp is local. So Rp = (Ri )p for some i by (3.7).
Hence Rp is a normal domain. Thus (1) holds.
Finally, the last assertion results from (13.42)(2).
15. Noether Normalization
Exercise (15.2). Let k := Fq be the finite field with q elements,
and k[X, Y ]
the polynomial ring. Set f := X q Y XY q and R := k[X, Y ] hf i. Let x, y R
be the residues of X, Y . For every a k, show that R is not module finite over
P := k[y ax]. (Thus, in (15.1), no k-linear combination works.) First, take a = 0.
Solution: Take a = 0. Then P = k[y]. Any algebraic relation over P satisfied
by x is given by a polynomial in k[X, Y ], which is a multiple of f . However, no
multiple of f is monic in X. So x is not integral over P . By (10.23), R is not
module finite over P .
Consider an arbitrary a. Since aq = a, after the change of variable Y := Y aX,
our f still has the same form. Thus, we have reduced to the previous case.
Exercise (15.3). Let k be a field, and X, Y, Z variables. Set
R := k[X, Y, Z] hX 2 Y 3 1, XZ 1i,
Solutions: (15.19)
215
(10.34)(1). Moreover, z = 1/x k(x). Hence, 1/x k[x], which is absurd. Thus
z is not integral over P if b = 0.
Exercise (15.8). Let k be a field, K an algebraically closed extension field. (So
K contains a copy of every finite extension field.) Let P := k[X1 , . . . , Xn ] be the
polynomial ring, and f, f1 , . . . , fr P . Assume f vanishes at every zero in K n of
f1 , . . . , fr ; in other words, if (a) := (a1 , . . . , an ) K n and f1 (a) = 0, . . . , fr (a) = 0,
then f (a) = 0 too. Prove that there are polynomials g1 , . . . , gr P and an integer
N such that f N g1 f1 + + gr fr .
Solution: Set
a := hf1 , . . . , fr i. We have to show f a. But, by the Hilbert
Nullstellensatz, a is equal to the intersection of all the maximal ideals m containing
a. So given an m, we have to show that f m.
Set L := P/m. By the weak Nullstellensatz, L is a finite extension field of k.
So we may embed L/k as a subextension of K/k. Let ai K be the image of the
variable Xi P , and set (a) := (a1 , . . . , an ) K n . Then f1 (a) = 0, . . . , fr (a) = 0.
Hence f (a) = 0 by hypothesis. Therefore, f m, as desired.
Exercise (15.11). Let R be a domain of (finite) dimension r, and p a nonzero
prime. Prove that dim(R/p) < r.
Solution: Every chain of primes of R/p is of the form p0 /p $ $ ps /p where
0 $ p0 $ $ ps is a chain of primes of R. So s < r. Thus dim(R/p) < r.
pi1 for 0 i r, Going up, (14.3)(4), yields a prime pi of R with pi1 pi and
p i R = pi . Then p0 $ $ pr as p0 $ $ pr . Thus dim(R) dim(R ).
Conversely, let p 0 $ $ p r be a chain of primes of R . Set pi := p i R. Then
p0 $ $ pr by Incomparability, (14.3)(2). Thus dim(R) dim(R ).
Exercise (15.17). Let k be a field, R a finitely generated k-algebra, f R
nonzero. Assume R is a domain. Prove that dim(R) = dim(Rf ).
Solution: Note that Rf is a finitely generated R-algebra by (11.13), as Rf is,
by (11.13), obtained by adjoining 1/f . So since R is a finitely generated k-algebra,
Rf is one too. Moreover, R and Rf have the same fraction field K. Hence both
dim(R) and dim(Rf ) are equal to tr. degk (K) by (15.13).
Exercise (15.18). Let k be a field, P := k[f ] the polynomial ring in one
variable f . Set p := hf i and R := Pp . Find dim(R) and dim(Rf ).
Solution: In P , the chain of primes 0 p is of maximal length by (2.6) and
(2.25) or (15.13). So h0i and pR are the only primes in R by (11.20). Thus
dim(R) = 1.
Set K := Frac(P ). Then Rf = K since, if a (bf n ) K with a, b P and f b,
then a/b R and so (a/b) f n Rf . Thus dim(Rf ) = 0.
Exercise (15.19). Let R be a ring, R[X] the polynomial ring. Prove
1 + dim(R) dim(R[X]) 1 + 2 dim(R).
216
Solutions: (15.28)
Solutions: (15.31)
217
(4) False: rad(Zhpi ) = pZhpi ; but rad(Z) = h0i, so lim rad(Z) = h0i.
218
Solutions: (16.20)
0R
RR
R0
and
M2 := {(2t, t) | t R}.
(Geometrically, we can view M1 as the line determined by the origin and the point
(1, 2), and M2 as the line determined by the origin and the point (2, 1). Then
(M1 ) = (M2 ) = R, and 1 (M1 ) = 1 (M2 ) = 0, but M1 6= M2 in R R.)
Exercise (16.18). Let R beL
a ring, a1 , . . . , ar ideals such that each R/ai is a
Noetherian
ring.
Prove
(1)
that
R/ai is a Noetherian R-module, and (2) that,
T
if ai = 0, then R too is a Noetherian ring.
Solution: Any R-submodule of R/ai is an ideal of R/ai . Since R/ai is a Noetherian ring, such an ideal is finitely generated as an (R/aL
i )-module, so as an Rmodule as well. Thus R/ai is a Noetherian R-module. So
R/ai is a Noetherian
R-module by (16.17). Thus (1) holds.
L
T
To prove (2), note that the kernel of the natural map R
R/ai is ai , which
is 0 by hypothesis.
So R can be identified with a submodule of the Noetherian
L
R-module
R/ai . Hence R itself is a Noetherian R-module by (16.16)(2). So R
is a Noetherian ring by (16.13).
Solutions: (16.30)
219
220
Solutions: (17.22)
Solution: Take any nonzero element x R, and consider the chain of ideals
hxi hx2 i . Since R is Artinian, the chain stabilizes; so hxe i = hxe+1 i for
some e. Hence xe axe+1 for some a R. If R is a domain, then we can cancel to
get 1 = ax; thus R is then a field.
In general, R/p is Artinian by (16.27)(2). Now, R/p is also a domain by (2.9).
Hence, by what we just proved, R/p is a field. Thus p is maximal by (2.17).
17. Associated Primes
Exercise (17.6). Given modules M1 , . . . , Mr , set M := M1 Mr . Prove
Ass(M ) = Ass(M1 ) Ass(Mr ).
Solutions: (18.6)
221
Here ha1 i/h12i Z/hp1 i with p1 prime. So a1 p1 = 12. Hence the possibilities are
p1 = 2, a1 = 6 and p1 = 3, a1 = 4. Further, ha2 i/ha1 i Z/hp2 i with p2 prime. So
a2 p2 = a1 . Hence, if a1 = 6, then the possibilities are p2 = 2, a2 = 3 and p2 = 3,
a2 = 2; if a1 = 4, then the only possibility is p2 = 2 and a2 = 2. In each case, a2 is
prime; hence, n = 3, and these three chains are the only possibilities. Conversely,
each of these three possibilities, clearly, does arise.
In each case, {pi } = {h2i, h3i}. Hence (17.20.1) yields Ass(M ) {h2i, h3i}. For
any M , if 0 M1 M is an acceptable chain, then (17.5) and (17.4)(2)
yield Ass(M ) Ass(M1 ) = {p1 }. Here, theres one chain with p1 = h2i and another
with p1 = h3i; hence, Ass(M ) {h2i, h3i}. Thus Ass(M ) = {h2i, h3i}.
Exercise (17.26). Let R be a Noetherian ring, a an ideal, and M a finitely
generated module. Show that the following conditions are equivalent:
(1) V(a) Ass(M ) = ;
(2) Hom(N, M ) = 0 for all finitely generated modules N with Supp(N ) V(a);
(3) Hom(N, M ) = 0 for some finitely generated module N with Supp(N ) = V(a);
(4) a 6 z.div(M ); that is, there is a nonzerodivisor x on M in a;
(5) a 6 p for any p Ass(M ).
Solution: Assume (1). Then Supp(N ) Ass(M ) = for any module N with
Supp(N ) V(a). Hence Ass(Hom(N, M )) = by (17.25). So Hom(N, M ) = 0
by (17.13). Thus (2) holds. Clearly (2) with N := R/a implies (3).
Assume (3). Then Ass(Hom(N, M )) = by (17.13). So V(a) Ass(M ) = by
(17.25). Thus (1) holds.
S Clearly (1) and (5) are equivalent.
Finally, z.div(M ) = pAss(M) p by (17.15). So (4) implies (5). Moreover, the
union is finite by (17.21); so (3.19) and (5) yield (4).
18. Primary Decomposition
222
Solutions: (18.22)
Consider the map R pn /pn+1 given by x 7 xpn . It is surjective, and its kernel
pn /pn+1 . But Ass(R/p) = {p}
is p as p is a nonzerodivisor. Hence R/p
n
by (17.4)(2). Hence (17.5) yields Ass(R/p ) = {p} for every n 1, as desired.
Solutions: (18.28)
223
Tr
Solution: (18.21) yields an irredundant primary decomposition N = 1 Qi .
(18.20). Also,
Say Qi is pi -primary.
Then {pTi }r1 = Ass(M/NT) by
Tr (18.24) yields
T
r T
r 1
(N
(N
Q
=
1
)
=
)
=
Q
.
Thus
pi
pi
j
j
pi
1 Qi = N .
1
pj pi
1 pi
pj pi
(2) Suppose pi is not minimal for some i. Show that replacing qi by pi for large
r gives infinitely many distinct irredundant primary decompositions of h0i.
224
Solutions: (19.4)
(r)
Solutions: (19.13)
225
M = M0 % M1 % % Mm = 0.
226
Solutions: (20.6)
that
that
that
that
Solutions: (20.10)
L
227
Exercise (20.6).L
Let R =
Rn be a graded ring, M =
Mn a graded Rmodule. Let N =
Nn be a homogeneous submodule; that is, Nn = N Mn .
Assume R0 is Artinian, R is a finitely generated R0 -algebra, and M is a finitely
generated R-module. Set
N := { m M | there is k0 such that Rk m N for all k k0 }.
Polynomial as N
N.
T, and that N is the largest such submodule containing L
(2) Let N = T
Qi be a decomposition with Qi pi -primary. Set R+ := n>0 Rn .
Prove that N = pi 6R+ Qi .
P
Solution: Given m =
mi N , say Rk m N . Then Rk mi N since N is
homogeneous. Hence mi N . Thus N is homogeneous.
By (19.11) and (16.12), R is Noetherian. So N is finitely generated by (16.19).
Let n1 , . . . , nr be homogeneous generators of N with ni Nki ; set k := max{ki }.
There
Pis k such that Rk ni N for all i. Given k + k , take n N , and write
n=
yi ni with yi Rki . Then yi ni N for all i. So n N . Thus N = N
for all k + k . Thus N and N have the same Hilbert polynomial.
Say N N , and both have the same Hilbert Polynomial. Then there is k0 with
(Nk ) = (Nk ) for all k k0 . So Nk = Nk for all k k0 . So, if n N , then
Rk n N for all k k0 . Thus
N N . Thus (1) holds.
T
To prove (2), note 0 = (Qi /N ) in M/N . By (18.22),
\
R+ (M/N ) =
(Qi /N ).
pi 6R+
pi 6R+
Qi .
0 P (d) P R 0.
Hence, Additivity of Length, (19.9), yields h(R, n) = h(P, n) h(P (d), n). But
P (d)n = P (n d), so h(P (d), n) = h(P, n d). Therefore, (20.4) yields
h(R, n) = 2+n
2d+n
= dn (d 3)d/2.
2
2
Exercise (20.10). Under the conditions of (20.8), assume there is a homogeneous nonzerodivisor f R with Mf = 0. Prove deg h(R, n) > deg h(M, n); start
with the case M := R/hf k i.
0 R(c)
R M 0 where is multiplication by f k . Then Additivity of
Length (19.9) yields h(M, n) = h(R, n) h(R, n c). But
h(R, n) =
e(1)
d1
(d1)! n
and h(R, n c) =
e(1)
(d1)! (n
c)d1 + .
Then generators
m
M
for
1
r
yield
a
surjection
M.
i
ci
i M (ci )
P
(M
)
for
all
n.
But
deg
h(M
(c
),
n)
=
deg
h(M
, n).
Hence
(M
n
i
nci
i
228
Solutions: (20.23)
Hence deg h(M , n) deg h(M, n). But deg h(R, n) > deg h(M , n) by the first
case. Thus deg h(R, n) > deg h(M, n).
Exercise (20.15). Let R be a Noetherian ring, q an ideal, and M a finitely
The two extremes are polynomials in n with the same degree, say d, (but not the
same leading coefficient). Dividing by nd and letting n , we conclude that the
polynomial pq (M, n) also has degree d.
Exercise (20.19). Derive the Krull Intersection Theorem, (18.29), from the
ArtinRees Lemma, (20.18).
Solution: In the notation of (18.29), we must prove that N = aN . So apply
the ArtinRees Lemma to N and the a-adic filtration of M ; we get an m such that
a(N am M ) = N am+1 M . But N an M = N for all n 0. Thus N = aN .
20. Appendix: Homogeneity
L
L
Exercise (20.22). Let R =
Rn be a graded ring, M = nn0 Mn a graded
L
module, a n>0 Rn a homogeneous ideal. Assume M = aM . Show M = 0.
L
Solution: Suppose M 6= 0; say Mn0 6= 0. Note M = aM n>n0 Mn ; hence
Mn0 = 0, a contradiction. Thus M = 0.
L
L
Exercise (20.23). Let R =
Rn be L
a Noetherian graded ring, M =
Mn a
finitely generated graded R-module, N =
Nn a homogeneous submodule. Set
N := { m M | Rn m N for all n 0 }.
Solutions: (21.9)
229
Nn Nn . But
L N N . Thus Nn = Nn for n n1 , as desired.
Let N =
Nn M be
Lhomogeneous with Nn = Nn for n n2 . Let m N
and p n2 . Then Rp m nn2 Nn N . So m N . Thus N N .
a homogeneous component m with x m
/ Q . Then x m
/ Q by definition
of Q . Thus x
/ nil(M/Q). Since Q is primary, m Q by (18.4). Since m is
homogeneous, m Q . Thus Q is primary by (20.24).
Exercise (20.30). Under the conditions of (20.8), assume that R is a domain
and that its integral closure R in Frac(R) is a finitely generated R-module.
(1) Prove that there is a homogeneous f R with Rf = Rf .
(2) Prove that the Hilbert Polynomials of R and R have the same degree and
same leading coefficient.
Solution: Let x1 , . . . , xr be homogeneous generators ofQR as an R-module.
Write xi = ai /bi with ai , bi R homogeneous. Set f :=
bi . Then f xi R
for each i. So Rf = Rf . Thus (1) holds.
Consider the short exact sequence 0 R R R/R 0. Then (R/R)f = 0
by (12.20). So deg h(R/R, n) < deg h(R, n) by (20.10) and (1). But
h(R, n) = h(R, n) + h(R/R, n)
by (19.9) and (20.8). Thus (2) holds.
21. Dimension
Exercise (21.6). Let A be a Noetherian local ring, N a finitely generated
module, y1 , . . . , yr a sop for N . Set Ni := N/hy1 , . . . , yi iN . Show dim(Ni ) = r i.
Solution: First, dim(N ) = r by (21.4). Then dim(Ni ) dim(Ni1 ) 1 for all
i by (21.5), and dim(Nr ) = 0 by (19.18). So dim(Ni ) = r i for all i.
Exercise (21.9). Let R be a Noetherian ring, and p be a prime minimal
containing x1 , . . . , xr . Given r with 1 r r, set R := R/hx1 , . . . , xr i and
p := p/hx1 , . . . , xr i. Assume ht(p) = r. Prove ht(p ) = r r .
230
Solutions: (21.14)
Solutions: (21.18)
231
232
Solutions: (22.6)
Solution: A constant T
ssequence (m) has 0 as a limit if and only if m an M
for every n. So Ker() = an M . Thus (1) and (2) are equivalent. Moreover, (2)
and (3) wereT
proved equivalent in (22.1).
Set N := an M . Assume R is Noetherian and M finitely generated. By the
Krull Intersection Theorem, (18.29) or (20.19), theres x a with (1 + x)N = h0i.
Assume (a). Then 1 + x is a unit by (3.2). Thus (2) holds and (1) follows.
Finally, assume (b). Then 1 + x 6= 0 as a is proper. Let m M . If (1 + x)m = 0,
then m = 0 as M is torsionfree. Thus again (2) holds and (1) follows.
Solutions: (22.11)
233
m+k
stabilizes; that is, m
Qm+k for all k > 0.
n Qm = n
1
(1) Assume for each n, there is m > n with m
Q = 0.
n = 0. Show lim
n
1
(2) Assume n+1
is
surjective
for
all
n.
Show
lim
Q
=
0.
n
n
T
(3) Assume the Qn satisfy the Mittag-Leffler Condition. Set Pn := mn m
n Qm ,
n+1
which is the stable submodule. Show n Pn+1 = Pn .
(4) Assume the Qn satisfy the Mittag-Leffler Condition. Show lim1 Qn = 0.
Q
Solution: For (1), given (qn )
Qn , for each k n, set qk := kn qk and
Q
by
definition
of
.
Thus
(3)
holds.
m
n
n
n+1 m
n
For (4), form the following commutative diagram with exact rows:
Q
Q
Q
0
Q
(Qn /Pn )
0
n
n
y
y
y
Q
Q
Q
0
Pn
Qn
(Qn /Pn )
0
Apply the Snake Lemma (5.13). It yields the following exact sequence of cokernels:
lim1 Pn lim1 Qn lim1 (Qn /Pn ).
n+1
For each n, the restriction n Pn is surjective by (3). So lim1 Pn = 0 by (1).
b M
c and M
c/N
b = (M/N ) b .
(1) Prove N
c = G M .
c/N
b = M/N and G M
(2) Also assume N F n M for n 0. Prove M
234
Solutions: (22.18)
Solution: For (1), set P := M/N . Form the following commutative diagram:
0
N/F n+1 N
M/F n+1 M
P/F n+1 P
0
n y
y
y
b be nonzero. Since R
b is separated there are
Solution: Consider (1). Let x, y R
b and
positive integers r and s with x b
ar b
a r+1 and y b
as b
a s+1 . Let x Gr R
b = G R
b denote the images of x and y. Then x 6= 0 and y 6= 0. Now, G R
y Gs R
b is the
by (22.11). Assume G R is a domain. Then x y 6= 0. Hence x y Gr+s R
r+s
b
image of xy b
a
. Hence xy 6= 0. Thus R is a domain.
T
b by (22.4); so R is a domain if R
b is. Thus (1) holds.
If n0 an = 0, then R R
T
As to (2), denote the maximal ideal of A by m. Then n0 mn = 0 by the
Krull Intersection Theorem (18.29), and G A is a polynomial ring by (21.22), so
a domain. Hence A is a domain, by (1). Thus (2) holds.
Exercise (22.14). Let A be a Noetherian local ring, m the maximal ideal, M
b is a Noetherian local ring with m
b as
a finitely generated module. Prove (1) that A
c
maximal ideal, (2) that dim(M ) = dim(M ), and (3) that A is regular if and only
b is regular.
if A
b m
b m
b = A/m and A/
b i = A/mi . So m
b i is
Solution: First, (22.11) yields A/
Q
T
Q
b m
b m
b (A/
b i );
maximal. By hypothesis, m = mi ; so A/m (A/mi ). Hence A
T
b ). But m
b by (22.2). Thus m
b ).
b= m
b i . So m
b rad(A
b rad(A)
b = rad(A
so m
b Then m rad(A
b) = T m
b i . Hence
Finally, let m be any maximal ideal of A.
Solutions: (22.24)
235
b b b
b
A
B
(B/A) b
Qk
A = limk1 n=1 Z/hpi.
Qk
Qk+1
Given any sequence of modules M1 , M2 , . . . , let kk+1 : n=1 Mn n=1 Mn be
Q
Qk
the projections. Then (22.5) yields limk1 n=1 Mn = n=1 Mn . Thus (2) holds.
For (3), note that, by (2) and (22.7.1), the following sequence is exact:
b
(B/A) b .
0AB
c preserves
Exercise (22.21). Let R be a ring, a an ideal. Show that M 7 M
bM M
c is surjective if M is finitely generated.
surjections, and that R
c preserves
Solution: The first part of the proof of (22.17) shows that M 7 M
surjections. So (8.19) yields the desired surjectivity.
b is
Exercise (22.24). Let R be a Noetherian ring, a an ideal. Prove that R
faithfully flat if and only if a rad(R).
236
Solutions: (23.6)
b R (R/m) 6= 0 if and
by (22.8). Plainly (R/m)/ar (R/m) = R/(ar + m). Hence R
only if a m. Thus, the assertion follows from (9.4).
Solutions: (23.9)
237
238
Solutions: (23.14)
0
N N
N/xN
y
y y
y y
y
x
0
N N
N/xN
Applying the left-exact functor F yields this commutative diagram with exact rows:
x
0
F (N ) F (N )
F (N/xN )
y y
y y
y y
First, assume 6= 0. Now, the k-vector space m/m2 is generated by the images x
and y of X and Y in A. Clearly, the image of f is 0 in m/m2 . Also, g (X, Y )2 ; so
its image in m/m2 is also 0. Hence, the image of is 0 in m/m2 ; that is, x and y are
linearly dependent. Now, f cannot generate hX, Y i, so m 6= 0; hence, m/m2 6= 0 by
Nakayamas Lemma, (10.11). Therefore, m/m2 is 1-dimensional over k; hence, m
is principal by (10.13)(2). Now, since f is irreducible, A is a domain. Hence, A is
a DVR by (23.10).
Conversely, assume = 0. Then f = g (X, Y )2 . So
2
0
F (N ) F (N )
F (N/xN )
F (N )/xF (N ) F (N )/xF (N )
is also injective. Thus x, y is an F (N )-sequence.
Exercise (23.13). Let k be a field, A a ring intermediate between the polynomial ring and the formal power series ring in one variable: k[X] A k[[X]].
Suppose that A is local with maximal ideal hXi. Prove that A is a DVR. (Such
local rings arise as rings of power series with curious convergence conditions.)
T
Solution: Lets show that the ideal a := n0 hX n i of A is zero. Clearly, a is a
T
n
subset of the corresponding ideal n0 hX i of k[[X]], and the latter ideal is clearly
zero. Hence (23.3) implies A is a DVR.
Exercise (23.14). Let L/K be an algebraic extension of fields, X1 , . . . , Xn
variables, P and Q the polynomial rings over K and L in X1 , . . . , Xn .
(1) Let q be a prime of Q, and p its contraction in P . Prove ht(p) = ht(q).
Solutions: (23.22)
239
240
Solutions: (23.26)
:= { p prime | depth(Rp ) = 1 }.
Assuming (S1 ) holds for R, prove , and prove = if and only if (S2 ) holds.
Further, without assuming (S1 ) holds, prove this canonical sequence is exact:
Q
R K p Kp /Rp .
(23.23.1)
Solutions: (24.5)
241
(23.29.1)
(23.33.1)
242
Solutions: (24.12)
a + (b c) = (a + b) (a + c).
Solution: By (13.37), it suffices to establish the two equations after localizing
at each maximal ideal p. But localization commutes with sum and intersection by
(12.17)(4), (5). So the localized equations look like the original ones, but with a,
b, c replaced by ap , bp , cp . Thus replacing R by Rp , we may assume R is a DVR.
Referring to (23.1), take a uniformizing parameter t. Say a = hti i and b = htj i
and c = htk i. Then the two equations in questions are equivalent to these two:
max i, min{j, k} = min max{i, j}, max{i, k} ,
min i, max{j, k} = max min{i, j}, min{i, k} .
However, these two equations are easy to check for any integers i, j, k.
Solutions: (25.2)
243
244
Solutions: (25.17)
The Main Theorem of Classical Ideal Theory, (24.10), yields hxipn1 1 pn2 2 pnr r
with ni 0. But x 6 pi for i 2; so ni = 0 for i 2. Further, x p1 p21 ; so
n1 = 1. Thus p1 = hxi. Similarly, all the other pi are principal.
Finally,
Q i let a be any nonzero ideal. Then the Main
Q iTheorem, (24.10), yields
a = pm
for some mi . Say pi = hxi i. Then a = h xm
i
i i, as desired.
Solution:
To prove (1), let p1 , . . . , pr be the associated primes of a, and set
T
S := i (R pi ). Then S is multiplicative. Set R := S 1 R. Then R is Dedekind
by (24.6). Lets prove R is semilocal.
Let q be a maximal ideal of R , and set p := q R. Then q = pR by (11.20).
So p is nonzero, whence maximal since R has dimension 1. Suppose p is distinct
from all the pi . Then p and the pi are pairwise comaximal. So, by the Chinese
Remainder Theorem, (1.14), there is a u R that is congruent to 0 modulo p
and to 1 modulo each pi . Hence, u p S, but q = pR , a contradiction. Thus
p1 R , . . . , pr R are all the maximal ideals of R .
So R is a PID by (24.12); so every ideal in R /aR is principal. But by (12.22),
Solution: By (13.43), it suffices to prove that, for each maximal ideal m, the
localization m : (M N )m (M N )m is bijective. But (M N )m = Mm Nm by
(12.14), and (M N )m = Mm Nm by (25.4). By hypothesis, Mm = Rm x for some
x. Clearly Rm x Rm . And Rm Nm = Nm by (8.6)(2). Thus m 1Nm .
R/pn1 R/pnk .
R/a
1
k
Next, lets prove each R/pni i is a Principal Ideal Ring (PIR); that is, every
ideal is principal. Set S := R pi . Then S 1 (R/pni i ) = Rpi /pni i Rpi , and the latter
ring is a PIR because Rpi is a DVR. But R/pni i = S 1 (R/pni i ) by (11.6), as every
u S maps to a unit in R/pni i since p/pni i is the only prime in R/pni i .
Finally, given finitely many PIRs R1 , . . . , Rk , we must prove their product is a
PIR. Consider an ideal b R1 Rk . Then
b = b1 bk where bi Ri is
an ideal by (1.16). Say bi = hai i. Then b = (a1 , . . . , ak ) . Thus again, (1) holds.
Consider (2). Let x b be nonzero. By (1), there is a y b whose residue
generates b/hxi. Then b = hx, yi.
M
.
Fix
a
nonzero
m
M
.
i
P
Then m = mi ni m. But ni m R as m M and ni M 1 . Set
P
d := gcd{ni m} R and x := (ni m/d)mi M.
Then m = dx.
Given m M , write m /m = a/b where a, b R are relatively prime. Then
d := gcd{ni m } = gcd{ni ma/b} = a gcd{ni m}/b = ad/b.
Exercise (25.15). Show that a ring is a PID if and only if its a Dedekind
domain and a UFD.
: M N
MN
Hom(N, M ).
and : (M : N )
Solutions: (26.5)
245
P
R and 1 = (
Solution: Say : M N
mi ni ) with mi M and
ni N . Given m M , set ai := (m ni ). Form this composition:
M M N = M N M
R M = M.
: M = M R
P
Then (m) = ai mi . But is an isomorphism. Thus the mi generate M .
Suppose R is local. Then R R is an ideal. So u := (mi ni ) R for
some i. Set m := u1 mi and n := ni . Then (m n) = 1. Define : M R
by (m ) := (m n). Then (m) = 1; so is surjective. Define : R M
by (x) := xm. Then (m ) = (m )m = (m ), or = . But is an
isomorphism. So is injective. Thus is an isomorphism, as desired.
defined by
246
Solutions: (26.20)
1 + a1 x1 + + an xn = 0.
(26.5.1)
If x
/ V , then x
m by (26.2). So (26.5.1) yields 1 m, a contradiction.
Hence x V . Thus V is normal.
Exercise (26.9). Let K be a field, S the set of local subrings ordered by
domination. Show that the valuation rings of K are the maximal elements of S.
Solution: Let V be a valuation ring of K. Then
dominate V . Let m and m be the maximal ideals of
x V . Then 1/x
/ m as 1
/ m ; so also 1/x
/ m.
V = V . Thus V is maximal.
Conversely, let V S be maximal. By (26.8), V
ring V of K. By maximality, V = V .
V S by (26.2). Let V S
V and V . Take any nonzero
So x V by (26.2). Hence,
is dominated by a valuation
n+1
with a R.
Multiplying by x yields x
an x a0 = 0. So x R, a contradiction.
Thus y is a nonzero nonunit of R[y]. Also, R[y] is Noetherian by the Hilbert Basis
Theorem (16.12). So y lies in a height-1 prime p of R[y] by the Krull Principal
Solutions: (26.20)
247
Bibliography
[1] Artin, E., and Tate, J. T., A note on finite ring extensions, J. Math. Soc. Japan, 3.1 (1951),
7477.
[2] Artin, M., Algebra, Prentice-Hall, 1991.
[3] Atiyah, M., and Macdonald, I., Introduction to Commutative Algebra, Addison-Wesley,
1969.
[4] Eisenbud, D., Commutative Algebra with a View Toward Algebraic Geomertry, SpringerVerlag, 1999.
[5] Grothendieck, A., and Dieudonn
e, J., El
ements de G
eom
etrie Alg
ebrique I, Grundlehren
166, Springer-Verlag, 1971.
[6] Grothendieck, A., and Dieudonn
e, J., El
ements de G
eom
etrie Alg
ebrique IV-1, Publ. Math.
IHES, Vol. 20, 1964.
[7] Grothendieck, A., and Dieudonn
e, J., El
ements de G
eom
etrie Alg
ebrique IV-2, Publ. Math.
IHES, Vol. 24, 1965.
[8] Judson, T., Abstract Algebra: theory and Applications, Open source, Electronic Book,
[9] Lang, S., Undergraduate Analysis, Springer-Verlag, 1997.
[10] Lang, S., Algebra Graduate Texts in Mathematics 211, Springer-Verlag, 2002.
[11] Reid, M., Undergraduate Commutative Algebra, Cambridge University Press, 1995.
[12] Stark H., An Introduction to Number Theory, MIT Press, 1978.
249
(5.23), 27
13. Essentially (8.4), 185
14. Part of (7.7), 43
15. Part of (7.8), 43
16. Essentially (6.6), 38
17. Essentially (7.2), 42, and (7.3), 182
18. Essentially (6.6), 38
19. Essentially (7.14), 45
20. Essentially (8.13), 51
21. Part of (7.7), 43, and (7.9), 183
22. Part of (7.17), 184, and (7.9), 183
23. Essentially (8.25), 187
24. About Tor, which we dont need
25. Essentially (9.16)(2), 56
26. Essentially (9.26), 59
27. Essentially (10.9), 192
28. Essentially (10.10), 192
Chapter 3, pp. 4349
1. Part of (12.7), 199
2. Essentially (12.8), 199
3. Essentially (11.29), 198
4. Part of (11.23), 69
5. Essentially (13.41), 209
6. Essentially (3.18), 168
7. i) Part of (3.16), 167;
rest is (3.17), 168
8. Essentially (11.9), 195
9. Essentially (11.11), 196
10. Essentially (13.48), 210
11. Essentially (13.23), 206
12. Essentially (12.19), 200
13. Essentially (13.36), 208
14. Essentially (13.38), 209
15. Essentially (10.5), 61
16. Essentially (9.15), 189
17. Essentially (9.13), 189
18. Essentially (13.15), 204
19. i) Essentially (13.35), 81;
ii), iii), iv), v) essentially (13.27), 80;
vi) essentially (13.30), 80;
vii) essentially (13.31), 81;
vi) essentially (13.32), 208
20. Essentially (13.4), 201,
21. i) Essentially (13.5), 202;
ii) (13.6), 202;
iii) (13.7), 202;
iv) (13.8), 202
22. Essentially (13.9), 203
23. Essentially (13.17), 205
24. Covered in (13.22), 206 and [5]
(1.3.7), p. 199
25. Essentially (13.10), 203
250
251
252
6. To be done
7. Essentially (24.13), 243
8. Essentially (24.8), 242
9. To be done
Chapter 10, pp. 113115
1. Essentially (22.19), 235
2. Essentially (22.9), 133
3. To be done
4. To be done
5. To be done
6. To be done
7. Essentially (22.24), 135
8. To be done
9. To be done
10. To be done
11. To be done
12. To be done
Chapter 11, pp. 125126
1. To be done
2. To be done
3. Essentially (15.13), 92
4. To be done
5. Trivial K-theory
6. Essentially (15.19), 215
7. Essentially (21.18), 231
254
Index
algebra: (1.1), 1
algebra finite: (4.5), 19
algebra map: (1.1), 1
coproduct: (8.22), 53
extended Rees Algebra: (20.16), 120
faithfully flat: (9.5), 55
finitely generated: (4.5), 19
flat: (9.5), 55
group algebra: (26.12), 159
homomorphism: (1.1), 1
integral over a ring: (10.21), 63
localization: (11.23), 69
module finite: (10.21), 63
structure map: (1.1), 1
subalgebra: (4.5), 18
generated by: (4.5), 18
tensor product: (8.22), 53
canonical: (1.1), 1; (4.2), 17
category theory
coequalizer: (6.8), 39
colimit: (6.6), 38
composition law: (6.1), 35
associative: (6.1), 35
coproduct: (6.7), 39
direct limit: (6.6), 38
has: (6.6), 38
indexed by: (6.6), 38
preserves: (6.6), 38
dually: (5.2), 24
filtered direct limit: (7.1), 42
identity: (6.1), 35
unitary: (6.1), 35
inclusion: (6.7), 39
initial object: (6.7), 39
insertion: (6.6), 38
inverse: (6.1), 35
isomorphism: (6.1), 35
map: (6.1), 35
morphism: (6.1), 35
object: (6.1), 35
pushout: (6.9), 39
transition map: (6.6), 38
category: (6.1), 35
directed set: (7.1), 42
discrete: (6.7), 39
functor: (6.6), 38
has direct limits: (6.6), 38
product: (6.1), 35
small: (6.6), 38
diagram
chase: (5.13), 26
commutative: (1.6), 3
element
annihilator: (4.1), 17
Cauchy sequence: (22.1), 131
complementary idempotents: (1.11), 5
constant term: (3.10), 12
equation of integral dependence: (10.21), 63
formal power series: (3.10), 12
free: (4.10), 20
generators: (1.4), 2; (4.10), 20
homogeneous: (20.1), 116
homogeneous component: (20.21), 122
homogeneous of degree n: (15.1), 89;
(20.21), 122; (20.28), 123
idempotent: (1.11), 5
initial component: (20.21), 122
integral over a ring: (10.21), 63
integrally dependent on a ring: (10.21), 63
irreducible: (2.6), 8
Kronecker delta function: (4.10), 21
lift: (5.22), 177
limit: (22.1), 131
linear combination: (1.4), 2
linearly independent: (4.10), 20
multiplicative inverse: (1.1), 1
nilpotent: (3.22), 14; (13.28), 80
nonzerodivisor: (2.1), 7
nonzerodivisor: (17.14), 103
p-adic integer: (22.1), 131
prime: (2.6), 8
reciprocal: (1.1), 1
relatively prime: (2.26), 9
residue of: (1.6), 3
restricted vectors: (4.10), 20
restricted vectors: (4.15), 22
uniformizing parameter: (23.1), 138
unit: (1.1), 1
zerodivisor: (2.1), 7
zerodivisorexPIRflat: (17.14), 103
field: (2.3), 7
discrete valuation: (23.1), 138
fraction field: (2.3), 7
p-adic valuation: (23.2), 139
rational functions: (2.3), 7
Trace Pairing: (24.15), 150
trace: (24.15), 150
functor: (6.2), 35
additive: (8.20), 52
adjoint: (6.4), 36
adjoint pair: (6.4), 36
counit: (6.5), 37
unit: (6.5), 37
universal: (6.5), 37
253
Index
cofinal: (7.20), 47
constant: (6.6), 38
contravariant: (6.1), 36
covariant: (6.2), 35
diagonal: (6.6), 38
direct system: (6.6), 38
exact: (9.2), 54
faithful: (9.2), 54
forgetful: (6.2), 35
isomorphic: (6.2), 36
left adjoint: (6.4), 36
left exact: (9.2), 54
linear: (8.5), 49; (9.2), 54
natural bijection: (6.4), 36
natural transformation: (6.2), 36
right adjoint: (6.4), 36
right exact: (9.2), 54
ideal: (1.4), 2
associated prime: (17.1), 101
chain stabilizes: (16.3), 96
comaximal: (1.14), 5
contraction: (1.4), 3
extension: (1.4), 3
Fitting: (5.35), 32
fractional: (25.1), 152
invertible: (25.7), 153
locally principal: (25.5), 153
principal: (25.1), 152
product: (25.1), 152
quotient: (25.1), 152
generated: (1.4), 2
idempotent: (1.17), 6
intersection: (1.4), 3
length of chain: (15.10), 91
lie over: (14.2), 84
maximal: (2.13), 8
nested: (1.9), 4
nilradical: (3.22), 14
parameter: (21.2), 124
prime: (2.1), 7
height: (21.7), 126
maximal chain: (15.9), 91
minimal: (3.18), 13
principal: (1.4), 2
product: (1.4), 3
proper: (1.4), 3
radical: (3.22), 14
saturated: (11.15), 68
saturation: (11.15), 68
sum: (1.4), 3
symbolic power: (18.27), 110
variety: (13.1), 77
Lemma
Artin Character: (24.14), 150
Index
255
256
Index
: (4.15), 22
Ker(): (4.2), 17
k{{X}}: (3.11), 12
ha1 , . . . , an i: (1.4), 2
(M ): (19.1), 112
S 1 R: (11.1), 66; (11.23), 69
L + M : (4.8), 20
M (m): (20.1), 116
(M : N ) : (25.1), 152
c: (22.1), 131
M
M 1 : (25.8), 153
Mf : (12.2), 72
Mp : (12.2), 72
M/N : (4.6), 19
M N : (25.1), 152
M N : (4.15), 22
M R N : (8.2), 48
m n: (8.2), 48
R : (4.4), 18
x : (4.4), 18
nil(M ): (13.28), 80
nil(R): (3.22), 14
1A : (6.1), 35
1M : (4.2), 18
P(R) : (25.22), 156
( ): (4.15), 22
(m ): (4.15), 21
(x ): (4.10), 20
p : (11.21), 69; (12.2), 72
f : (11.12), 67; (12.2), 72
S : (11.1), 66; (12.2), 72
: (4.15), 22
Pic(R) : (25.22), 156
Q: (2.3), 7
R/a: (1.6), 3
R : (1.1), 1
R R : (1.12), 5
R[[X1 , . . . , Xn ]]: (3.10), 12
R[X1 , . . . , Xn ]: (1.3), 2
R[{X } ]: (1.3), 2
rad(R): (3.1), 11
rad(M ): (21.2), 124
rank(M ): (4.10), 20
R: (2.3), 7
Rf : (11.12), 67
Rp : (11.21), 69
R : (4.10), 20
R : (4.10), 20
R(M ): (20.16), 120
(Rn ): (23.15), 141
R+ : (20.6), 117
R(q): (20.16), 120
R[x1 , . . . , xn ]: (4.5), 19
N S : (12.16), 74
S: (3.17), 13
s(M ): (21.2), 125
S T : (1.1), 2
(Sn ): (23.15), 141
Spec(R): (13.1), 77
a: (3.22), 14
L
P M : (4.15), 22
: (4.15), 22
Supp(M ): (13.26), 80
: M
N (5.21), 27
: (1.1), 2
T (M ): (13.36), 81
tr: (24.15), 150
tr. deg: (15.9), 91
T S (M ): (12.19), 75
V(a): (13.1), 77
vp : (24.10), 149
x/s: (11.1), 66; (11.23), 69
Z: (1.1), 1
z.div(M ): (17.14), 103
z.div(R): (2.1), 7
ring: (1.1), 1
absolutely flat: (10.9), 61
Index
257
reduced: (3.22), 14
regular local: (21.20), 128
regular system of parameters: (21.20), 128
residue ring: (1.6), 3
ring of fractions: (11.1), 66
semilocal: (3.5), 11
Serres Conditions: (23.15), 141
spectrum: (13.1), 77
principal open set: (13.1), 77
quasi-compact: (13.20), 79
Zariski topology: (13.1), 77
subring: (1.1), 1
total quotient ring: (11.3), 66
Unique Factorization Domain (UFD):
(2.25), 9; (10.33), 65
Unique Factorization Domain (UFD): (2.6),
8; (23.1), 138; (25.12), 154
universally catenary: (23.42), 146
valuation: (26.1), 157
sequence
Cauchy: (22.1), 130
exact: (5.1), 24
M -sequence: (23.4), 139
finished: (23.27), 143
regular sequence: (23.4), 139
short exact: (5.3), 24
isomorphism of: (5.25), 28
split exact: (5.8), 25
submodule: (4.1), 17
pi -primary component: (18.13), 107
homogeneous: (20.6), 117
p-primary: (18.1), 106
primary: (18.1), 106
primary decomposition: (18.13), 107
irredundant: (18.13), 107
minimal (18.13), 107
saturated: (12.16), 74
saturation: (12.16), 74
subset
characteristic function: (1.2), 1
multiplicative: (2.1), 7
saturated: (3.15), 13
saturatation: (3.17), 13
symmetric difference: (1.2), 2
system of parameters (sop): (21.2), 125
regular (21.20), 128
tensor product: (8.2), 48
adjoint associativity: (8.10), 50
associative law: (8.10), 50
cancellation law: (8.11), 50
commutative law: (8.6), 49
unitary law: (8.6), 49
Theorem
Additivity of Length: (19.9), 114
258
Index