On the category of confinite modules for principal ideals (Q431580): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Ken-ichiroh Kawasaki / rank | |||
Normal rank | |||
Property / review text | |||
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)]. | |||
Property / review text: 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)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Q232526 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14B15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D03 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18G15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6050970 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
local cohomology | |||
Property / zbMATH Keywords: local cohomology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cofinite module | |||
Property / zbMATH Keywords: cofinite module / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
abelian category | |||
Property / zbMATH Keywords: abelian category / rank | |||
Normal rank |
Revision as of 00:00, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the category of confinite modules for principal ideals |
scientific article |
Statements
On the category of confinite modules for principal ideals (English)
0 references
28 June 2012
0 references
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)].
0 references
local cohomology
0 references
cofinite module
0 references
abelian category
0 references