Published online by Cambridge University Press: 18 May 2009
Let A be a commutative Noetherian ring (with non-zero identity). The Cousin complex C(A) for A is described in [6, §2]: it is a complex of A-modules and A-homomorphisms
with the property that, for each n≥0,
Cohen-Macaulay rings may be characterized in terms of the Cousin complex: A is a Cohen-Macaulay ring if and only if C(A) is exact [6, (4.7)]. Also the Cousin complex provides a natural minimal injective resolution for a Gorenstein ring: see [6, (5.4)].