On the category of confinite modules for principal ideals (Q431580): Difference between revisions

Let \(R\) be a noetherian commutative ring and \(I\) be an ideal of \(R\). Let \({\mathcal M}(R,I)_{\mathrm{cof}}\) be the collection of all \(R\)-modules \(X\) satisfying the two conditions: i) \(\mathrm{Supp}_R(X)\subseteq V(I)\) and ii) \(\mathrm{Ext}_R^j(R/I,X)\) is of finite type, for all \(j\). In this paper, it is shown that if \(I\) is generated by an element up to radical, then \({\mathcal M}(R,I)_{\mathrm{cof}}\) is an abelian full subcategory of the category of all \(R\)-modules. A counterexample for ideals generated by two elements was given by \textit{R. Hartshorne} [Invent. Math. 9, 145--164 (1970; Zbl 0196.24301)].