Modules that detect finite homological dimensions

Homological dimension and commutative rings (13D05) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: We study homological properties of test modules that are, in principle, modules that detect finite homological dimensions. The main outcome of our results is a generalization of a classical theorem of Auslander and Bridger: we prove that, if a commutative Noetherian complete local ring R admits a test module of finite Gorenstein dimension, then R is Gorenstein.

Review text

An \(R\)-module \(M\) is called a test module if for all \(R\)-modules \(N\) with \(\mathrm{Tor}^R_i(M,N)=0\) for sufficiently large \(i\) implies finiteness of projective dimension of \(N\). The first result is as follows: If \(R\to S\) is a finite local ring homomorphism of local rings and there is a test \(S\)-module that has finite projective dimension over \(R\), then \(S\) is a test \(R\)-module. The second main result is as follows: Let \(R\) be a homomorphic image of a Gorenstein local ring. If there exists a test module of finite \(G\)-dimension, then \(R\) is Gorenstein.

Recommendations

Cites work

Cited in

(23)

This page was built for publication: Modules that detect finite homological dimensions

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