A generalization of a theorem of Foxby

DOI10.1007/S00013-009-0003-XMaRDI QIDQ842367zbMATH OpenOpenAlexFDO

Authors Tokuji Araya, Ryo Takahashi

Publication date 25 September 2009

Published in Archiv der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

Gorenstein ringinjective dimensionprojective dimensionsemidualizing module

Mathematics Subject Classification ID

Other special types of modules and ideals in commutative rings (13C13) Homological dimension and commutative rings (13D05) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: In this paper, it is proved that a commutative noetherian local ring admitting a finitely generated module of finite projective and injective dimensions with respect to a semidualizing module is Gorenstein. This result recovers a celebrated theorem of Foxby.

Review text

Let \(R\) be a commutative noetherian ring. It is well-known that, if \(R\) is Gorenstein and local, then every module with finite projective dimension has finite injective dimension. Conversely, \textit{H.-B. Foxby} [Math. Scand. 40, 5--19 (1977; Zbl 0356.13004)] showed that, if \(R\) is local and admits a finitely generated module of finite projective dimension and finite injective dimension, then \(R\) is Gorenstein. In this paper, the authors prove an analogue of Foxby's result for homological dimensions defined in terms of semidualizing \(R\)-modules. More precisely, they prove the following result: ``Let \(C\) be a semidualizing \(R\)-module. Let \(M\) be a finitely generated \(R\)-module with \(\text{C-pd}_R(M)<\infty\) and \(\text{C-id}_R(M)<\infty\). Then \(R_{\mathfrak p}\) is Gorenstein for each \(\mathfrak p\in \mathrm{Supp}_R(M)\). This result recovers the recent result of \textit{S. Sather-Wagstaff} and \textit{S. Yassemi} [Arch. Math. 93, No. 2, 111--121 (2009; Zbl 1173.13009)] where they proved this result for the case \(\text{C-pd}_R(M)=0\).

Recommendations

• Modules of finite homological dimension with respect to a semidualizing module
• Finitistic dimension and orthogonal classes of Gorenstein projective modules with respect to a semidualizing module
• Semi-dualizing modules and related Gorenstein homological dimensions
• Gorenstein homological dimensions of complexes with respect to a semidualizing module
• Foxby duality and Gorenstein injective and projective modules

Cites work

• A test complex for Gorensteinness
• Gorenstein dimensions
• Gorenstein Modules and Related Modules.
• Homological aspects of semidualizing modules
• scientific article; zbMATH DE number 3922813 (Why is no real title available?)
• scientific article; zbMATH DE number 3463767 (Why is no real title available?)
• scientific article; zbMATH DE number 2046147 (Why is no real title available?)
• Isomorphims between complexes with applications to the homological theory of modules.
• Modules of finite homological dimension with respect to a semidualizing module
• Rings with finite Gorenstein injective dimension
• Semi-dualizing complexes and their Auslander categories. -- Appendix: Chain defects
• The set of semidualizing complexes is a nontrivial metric space

Cited in

(10)

• When does the canonical module of a module have finite injective dimension?
• Using semidualizing complexes to detect Gorenstein rings
• A Generalization of a Theorem of Bass
• On the restricted projective dimension of complexes
• Top local cohomology modules and Gorenstein injectivity with respect to a semidualizing module
• Tensor and Torsion Products of Relative Injective Modules with Respect to a Semidualizing Module
• A Bass Formula for Gorenstein Injective Dimension
• Modules of finite homological dimension with respect to a semidualizing module
• Transfer of Gorenstein dimensions along ring homomorphisms
• Semidualizing modules and rings of invariants

This page was built for publication: A generalization of a theorem of Foxby

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