A note on Gorenstein dimension and the Auslander-Buchsbaum formula
type: Item
instance of: scholarly article
title: A note on Gorenstein dimension and the Auslander-Buchsbaum formula
zbMATH Open document ID: 0834.13015
author: Hõ Dình Duâ'n
published in: Kodai Mathematical Journal
publication date: 1996-04-01T00:00:00Z
review text: By \(R\) is denoted a commutative Noetherian ring. For an \(R\)-module \(M\), \(\text{Ext}^t (M,R)\) will abbreviate \(\text{Ext}^t_R (M,R)\). If \(M\) is a nonzero finitely generated \(R\)-module then its grade number \(\text{(grade} (M))\) is the smallest integer \(k\) such that \(\text{Ext}^k (M,R) \neq 0\). If \(R\) is local with the maximal ideal \({\mathfrak m}\), then the depth of a finitely generated \(R\)-module \(M\) is defined by the formula \(\text{depth} (M) = \inf \{k : \text{Ext}^k (R/{\mathfrak m}, M) \neq 0\}\). The author gives the following definitions for a finitely generated \(R\)-module \(M\): (1) It is defined the weak Gorenstein dimension of \(M\) (denoted by \(\text{w.g.d} (M))\) thus: (a) \(\text{w.g.d} (M) = 0\) if \(\text{Ext}^t (M,R) = 0\) for all \(t > 0\). (b) \(\text{w.g.d} (M) = k\), where \(k > 0\), if \(\text{Ext}^t (M,R) = 0\) for all \(t > k\) while \(\text{Ext}^k (M,R) \neq 0\). (c) \(\text{w.g.d} (M) = \infty\) if \(\text{Ext}^t (M,R) \neq 0\) for all \(k = 0,1,2, \ldots\). (2) If \(M\) is nonzero it is said that \(M\) is weakly perfect if \(\text{grade} (M) = \text{w.g.d} (M)\). The main results are: Theorem A. Let \(R\) be local. Assume that every finitely generated \(k\)- module with \(\text{w.g.d.} (M) = 0\) is reflexive. Then \(\text{w.g.d} (M) + \text{depth} (M) = \text{depth} (R)\) for every finitely generated \(R\)-module of finite weak Gorenstein dimension. Theorem B. Let \(R\) be as in the theorem A. We assume also that \(R\) is Cohen-Macaulay. Then a finitely generated \(R\)-module \(M\) is weakly perfect if and only if \(M\) is a Cohen-Macaulay module of finite weak Gorenstein dimension. Theorem C. Let \(R\) be such that every localization of \(R\) at a prime ideal satisfies the assumption of theorem A. Let \(M\) be a finitely generated \(R\)-module. If \(\text{w.g.d} (M_{\mathfrak p}) < \infty\) for every prime ideal \({\mathfrak p}\) then: \(\text{grade(Ext}^t(M,R)) \geq t\) for each \(t = 0,1,2, \ldots\). Consequ…
Mathematics Subject Classification ID: 13D05
Mathematics Subject Classification ID: 13C14
Mathematics Subject Classification ID: 13H10
zbMATH DE Number: 729229
zbMATH Keywords: Gorensteiness
zbMATH Keywords: weakly perfect module
zbMATH Keywords: grade
zbMATH Keywords: depth
zbMATH Keywords: weak Gorenstein dimension
reviewed by: Iuliu Crivei
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2996/kmj/1138040030
OpenAlex ID: W2094441342
cites work: Stable module theory
cites work: Gorenstein rings with transcendental Poincaré-series.
cites work: Duality Over Gorenstein Rings.
cites work: Q3739243
cites work: The Condition Ext i (M, R) = 0 for Modules Over Local Artin Algebras (R, ) with  2 = 0
cites work: Q3663412
DOI: 10.2996/KMJ/1138040030
description: scientific article; zbMATH DE number 729229