Modules of finite homological dimension with respect to a semidualizing module (Q842359)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modules of finite homological dimension with respect to a semidualizing module |
scientific article |
Statements
Modules of finite homological dimension with respect to a semidualizing module (English)
0 references
25 September 2009
0 references
Let \(R\) be a commutative noetherian ring. \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. Also \textit{H. Holm} [Proc. Am. Math. Soc. 132, No. 5, 1279--1283 (2004; Zbl 1062.16008)] proved that, if \(M\) is an \(R\)-module of finite projective dimension and finite Gorenstein injective dimension, then \(M\) has finite injective dimension. For very semidualzing \(R\)-module \(C\), one associates homological dimensions with respect to \(C\). (For example, \(\mathcal{P}_C\text{-}\text{pd}_R(M)\) is denoted for the semidualizing analogue of \(\text{pd}_R(M)\)). Recall that an \(R\)-module is said to be \textit{semidualzing} if it satisfies the conditions of a dualizing module except the condition of finiteness of injective dimension. The paper under review studies analogues of the results of Foxby and Holm, for homological dimensions defined in terms of semidualizing \(R\)-modules. For instance, for a semidualizing \(R\)-module \(C\), they showed that \(C\) is a dualizing \(R\)-module if and only if there exists a finitely generated \(R\)-module \(M\neq0\) such that \(\mathcal{P}_C\text{-}\text{pd}_R(M)<\infty\) and \(\text{id}_R(M)<\infty\) if and only if there exists an \(R\)-module \(M\neq0\) of finite depth such that \(\mathcal{P}_C\text{-}\text{pd}_R(M)<\infty\) and \(\text{Gid}_R(M)<\infty\) if and only if there exists a finitely generated \(R\)-module \(M\neq0\) such that \(\text{pd}_R(M)<\infty\) and \(\mathcal{I}_C\text{-}\text{id}_R(M)<\infty\). They also answered a question of \textit{R. Takahashi} and \textit{D. White} [Homological aspects of semidualizing modules, to appear in Math. Scand., cf. \url{arXiv:math/0703643}] in three special cases, which is another generalization of Foxby's theorem.
0 references
Dualizing modules
0 references
Gorenstein homological dimensions
0 references
Gorenstein injective dimension
0 references
Gorenstein projective dimension
0 references
Gorenstein rings
0 references
Semidualizing modules
0 references
0 references