Quasi-injective dimension

DOI10.1016/J.JPAA.2023.107468MaRDI QIDQ6051106zbMATH OpenOpenAlexWikidataFDO

Authors Mohsen Gheibi

Publication date 19 September 2023

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2207.06170

zbMATH Keywords

Cohen-Macaulay ringGorenstein ringquasi-injective dimensionquasi-projective dimensiontheorem of Basstheorem of Foxby

Mathematics Subject Classification ID

Homological dimension and commutative rings (13D05) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: Following our previous work about quasi-projective dimension, in this paper, we introduce quasi-injective dimension as a generalization of injective dimension. We recover several well-known results about injective and Gorenstein-injective dimensions in the context of quasi-injective dimension such as the following. (a) If the quasi-injective dimension of a finitely generated module $M$ over a local ring $R$ is finite, then it is equal to the depth of $R$. (b) If there exists a finitely generated module of finite quasi-injective dimension and maximal Krull dimension, then $R$ is Cohen-Macaulay. (c) If there exists a nonzero finitely generated module with finite projective dimension and finite quasi-injective dimension, then $R$ is Gorenstein. (d) Over a Gorenstein local ring, the quasi-injective dimension of a finitely generated module is finite if and only if its quasi-projective dimension is finite.

Review text

As mentioned in the abstract, the authors introduce the notion of quasi-injective dimension as a generalization of injective dimension, and establish ``well-known results about injective and Gorenstein-injective dimensions in the context of quasi-injective dimension such as the following. (a) If the quasi-injective dimension of a finitely generated module \(M\) over a local ring \(R\) is finite, then it is equal to the depth of \(R\). (b) If there exists a finitely generated module of finite quasi-injective dimension and maximal Krull dimension, then \(R\) is Cohen-Macaulay. (c) If there exists a nonzero finitely generated module with finite projective dimension and finite quasi-injective dimension, then \(R\) is Gorenstein. (d) Over a Gorenstein local ring, the quasi-injective dimension of a finitely generated module is finite if and only if its quasi-projective dimension is finite.

Recommendations

• Quasi-projective dimension
• Quasi-Gorenstein projective and quasi-Gorenstein injective modules
• Finiteness of Gorenstein injective dimension of modules
• The existence of finitely generated modules of finite Gorenstein injective dimension
• On injective and Gorenstein injective dimensions of local cohomology modules

Cites work

• A Generalization of a Theorem of Bass
• CONSTRUCTING NONPROXY SMALL TEST MODULES FOR THE COMPLETE INTERSECTION PROPERTY
• Finiteness in derived categories of local rings
• Gorenstein injective modules and local cohomology
• Homological dimensions of rigid modules
• scientific article; zbMATH DE number 3985382 (Why is no real title available?)
• scientific article; zbMATH DE number 1194481 (Why is no real title available?)
• scientific article; zbMATH DE number 3687601 (Why is no real title available?)
• scientific article; zbMATH DE number 1128605 (Why is no real title available?)
• Isomorphims between complexes with applications to the homological theory of modules.
• Modules of finite virtual projective dimension
• On the ubiquity of Gorenstein rings
• Quasi-projective dimension
• Stable cohomology over local rings
• The derived category of a locally complete intersection ring
• The existence of finitely generated modules of finite Gorenstein injective dimension
• The homological theory of maximal Cohen-Macaulay approximations

Cited in

(5)

• Ischebeck's formula, grade and quasi-homological dimensions
• Chouinard's formula for quasi-injective dimension
• On Ext-finite modules, quasi-injective dimension and width of modules
• Properties of quasi-projective dimension over abelian categories
• The derived depth formula for modules of finite quasi-projective dimension

This page was built for publication: Quasi-injective dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6051106)