The Auslander-Bridger formula and the Gorenstein property for coherent rings (Q847957)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Auslander-Bridger formula and the Gorenstein property for coherent rings |
scientific article |
Statements
The Auslander-Bridger formula and the Gorenstein property for coherent rings (English)
0 references
19 February 2010
0 references
In the paper under review, the authors introduce the concepts of restricted Gorenstein dimension and coherent Gorenstein rings which agree with the notions of Gorenstein dimension and Gorenstein rings for Noetherian rings. In particular, they prove the generalization of Auslander-Bridger formula for coherent rings. \textit{M.\ Auslander} and \textit{M.\ Bridger} [Mem.\ Am.\ Math.\ Soc.\ 94, 146 p.\ (1969; Zbl 0204.36402)] introduced the concept of Gorenstein dimension for finitely generated modules over a Noetherian ring. They showed the formula \(\mathrm{depth}\, M +\mathrm{Gdim}\, M=\mathrm{depth}\, R\) for a finitely generated \(R\)-module \(M\) of finite Gorenstein dimension over a Noetherian local ring \(R\). After this, \textit{E.\ E.\ Enochs} and \textit{O.\ M.\ G.\ Jenda} [Math.\ Z.\ 220, No.\ 4, 611--633 (1995; Zbl 0845.16005)] generalized the theory of Gorenstein dimension for modules over arbitrary rings. However, the generalization of Auslander-Bridger formula was not established. The authors consider the restricted G-class, the Gorenstein dimension and the restricted Gorenstein dimension \(\tilde{\mathrm G} \mathrm{dim}\) for modules. If ring \(R\) is coherent and \(M\) is a finitely presented \(R\)-module, then \(\mathrm{Gdim}\, M =\tilde{\mathrm G} \mathrm{dim}\, M\). They develop the theory of this restricted G-class similar to the existing one for usual G-class. In particular, they prove the generalization of Auslander-Bridger formula \(\mathrm{depth}\, M +\tilde{\mathrm G} \mathrm{dim}\, M=\mathrm{depth}\, R\) for an \(R\)-module \(M\) of finite restricted Gorenstein dimension over a quasi-local ring \(R\). They also show that coherent Gorenstein ring is locally Cohen-Macaulay ring.
0 references
coherent ring
0 references
Gorenstein dimension
0 references
Gorenstein ring
0 references