Modules that detect finite homological dimensions (Q2017069): Difference between revisions

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.