Hostname: page-component-78c5997874-j824f Total loading time: 0 Render date: 2024-11-14T22:22:44.025Z Has data issue: false hasContentIssue false

Properties of cofinite modules and applications to local cohomology

Published online by Cambridge University Press:  01 January 1999

LEIF MELKERSSON
Affiliation:
Department of Mathematics, University of Lund, Box 118, S–221 00 Lund, Sweden

Abstract

Definition [4]. Let A be a noetherian ring, [afr ] an ideal of A and M an A-module. M is said to be [afr ]-cofinite if M has support in V([afr ]) and ExtiA(A/[afr ], M) is a finite A-module for each i.

Remark. (a) If 0→M′→MM″ →0 is exact and two of the modules in the sequence are [afr ]-cofinite, then so is the third one.

This has the following consequence, which will be used several times.

(b) If f[ratio ]MN is a homomorphism between two [afr ]-cofinite modules and one of the three modules Ker f, Im f and Coker f is [afr ]-cofinite, then all three of them are [afr ]-cofinite.

Example [5, remark 1·3]. If A is local with maximal ideal [mfr ], then an A-module is [mfr ]-cofinite if and only if it is an artinian A-module.

Type
Research Article
Copyright
Cambridge Philosophical Society 1999

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)