Cohen–Macaulay Rings
Second edition
By Winfried Bruns
By H. Jürgen Herzog
Publisher: Cambridge University Press
Print Publication Year: 1998
Online Publication Date:December 2009
Online ISBN:9780511608681
Paperback ISBN:9780521566742
Chapter DOI: http://dx.doi.org/10.1017/CBO9780511608681.005
Subjects: Algebra
Image View Extract Fullview: Text View | Enlarge Image ‹ Previous Chapter ›Next Chapter
The concept of a canonical module is of fundamental importance in the study of Cohen–Macaulay local rings. The purpose of this chapter is to introduce the canonical module and derive its basic properties. By definition it is a maximal Cohen–Macaulay module of type 1 and of finite injective dimension.
In the first two sections we investigate the injective dimension of a module, and prove Matlis duality which plays a central role in Grothendieck's local duality theorem. Actually the canonical module has its origin in this theory. Here the canonical module is introduced independently of local cohomology which is an important notion in itself and will be treated later in this chapter.
A ring which is its own canonical module is called a Gorenstein ring. Next to regular rings and complete intersections, Gorenstein rings are in many ways the ‘nicest’ rings. Distinguished by the fact that they are of finite injective dimension, they have various symmetry properties, as reflected in their free resolution, their Koszul homology, and their Hilbert function. The last aspect will be discussed in the next chapter.
Gorenstein rings of embedding dimension at most two are complete intersections. The first non-trivial Gorenstein rings occur in embedding dimension three, and they are classified by the Buchsbaum–Eisenbud structure theorem.
In the final section the canonical module of a graded ring is introduced.
Finite modules of finite injective dimension
In this section we study injective resolutions of finite modules. We shall see that the injective dimension of a finite module M over a Noetherian local ring R either is infinite or equals the depth of R, and is bounded below by the dimension of M.
pp. i-vi
pp. vii-x
Preface to the revised edition: Read PDF
pp. xi-xi
Preface to the first edition: Read PDF
pp. xii-xiv
pp. 1-2
1 - Regular sequences and depth: Read PDF
pp. 3-56
2 - Cohen–Macaulay rings: Read PDF
pp. 57-87
3 - The canonical module. Gorenstein rings: Read PDF
pp. 88-146
4 - Hilbert functions and multiplicities: Read PDF
pp. 147-204
II - Classes of Cohen–Macaulay rings: Read PDF
pp. 205-206
5 - Stanley–Reisner rings: Read PDF
pp. 207-255
6 - Semigroup rings and invariant theory: Read PDF
pp. 256-299
7 - Determinantal rings: Read PDF
pp. 300-320
III - Characteristic p methods: Read PDF
pp. 321-322
8 - Big Cohen–Macaulay modules: Read PDF
pp. 323-347
9 - Homological theorems: Read PDF
pp. 348-377
pp. 378-411
Appendix - A summary of dimension theory: Read PDF
pp. 412-419
pp. 420-438
pp. 439-443
pp. 444-453