A generalization of Auslander's last theorem
type: Item
instance of: scholarly article
title: A generalization of Auslander's last theorem
zbMATH Open document ID: 0938.13005
DOI: 10.1023/A:1009998109625
author: E. Enochs
author: Overtoun M. G. Jenda
author: Jin Zhong Xu
published in: Algebras and Representation Theory
publication date: 2000-06-21T00:00:00Z
review text: Let \(R\) be a local Cohen-Macaulay ring admitting a dualizing module. An \(R\)-module \(N\) is called Gorenstein-injective if there is an exact sequence \(\cdots\to E^{-2}\to E^{-1}\to E^0\to E^1\to E^2\to\cdots\) of injective modules with \(N=\text{Ker}(E^0\to E^1)\) and such that \(\Hom(E,-)\) leaves the sequence exact when \(E\) is an injective module. Working in the category of finitely generated \(R\)-modules one has, dually, the notion of (finitely generated) Gorenstein-projective modules. These are exactly the Auslander modules of Gorenstein dimension 0 [see \textit{M. Auslander} and \textit{M. Bridger}, ``Stable module theory'', Mem. Am. Math. Soc. 94 (1969; Zbl 0204.36402)]. When \(R\) is Gorenstein, Gorenstein-projective = maximal Cohen-Macaulay. Let \({\mathcal F}\) be a class of \(R\)-modules. An \({\mathcal F}\)-cover of an \(R\)-module \(M\) is a morphism \(\varphi:F\to M\) with \(F\) in \({\mathcal F}\) such that: (1) any morphism \(\psi:G\to M\) with \(G\) in \({\mathcal F}\) factorizes through \(\varphi\), and (2) any endomorphism \(f:F\to F\) such that \(\varphi\circ f= \varphi\) is an automorphism. An \({\mathcal F}\)-envelope is defined dually. The main result of the paper is that every \(R\)-module \(N\) of finite Gorenstein-injective dimension has a Gorenstein-injective envelope \(\psi:N\to G\). Furthermore, \(\psi\) is a monomorphism and \(\text{Coker} \psi\) has finite injective dimension. Using some Matlis duality arguments, the authors deduce that, when \(R\) is complete, every finitely generated \(R\)-module \(M\) of finite Gorenstein-projective dimension has a Gorenstein-projective cover \(\varphi:C\to M\). Furthermore, \(\varphi\) is surjective and \(\text{Ker} \varphi\) has finite projective dimension. In the last paragraph, using some arguments of Auslander, the authors drop the hypothesis of completeness, obtaining a generalization of a result of Auslander for Gorenstein rings.
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 13D05
Mathematics Subject Classification ID: 13C14
zbMATH DE Number: 1385252
zbMATH Keywords: local Cohen-Macaulay ring
zbMATH Keywords: dualizing module
zbMATH Keywords: finite Gorenstein-injective dimension
zbMATH Keywords: Gorenstein-injective envelope
zbMATH Keywords: Matlis duality
zbMATH Keywords: Gorenstein-projective cover
reviewed by: Iustin Coandă
MaRDI profile type: Publication
full work available at URL: a:1009998109625
OpenAlex ID: W134447689
Recommended article: A Generalization of a Theorem of M. Auslander
Recommended article: A GENERALIZATION OF GERSHGORIN'S THEOREM
Recommended article: Q3785468
Recommended article: On a theorem of Auslander
Recommended article: On a theorem of auslander and applications
Recommended article: Q4012848
Recommended article: A generalization of a theorem of Ahlfors
Recommended article: A generalization of the Perron-Frobenius theorem
Recommended article: Q3729009
Recommended article: Another generalization of a theorem of A. Kertész
description: scientific article; zbMATH DE number 1385252