Reducing invariants and total reflexivity (Q2188422)

Let \(R\) denote a commutative Noetherian local ring with unique maximal ideal \(\mathfrak{m}\) and residue field \(k\). In the paper under review, the authors introduce reducing versions of homological invariants (in particular those of homological dimensions) of \(R\)-modules. They show that a module can have finite reducing Gorenstein dimension, even if it has infinite Gorenstein dimension and they give such examples. As a main result the authors prove the following. Theorem. Let \(M\) be an \(R\)-module which has finite reducing Gorenstein dimension. Then \(\mathrm{G-dim}_R (M) = sup\{i\in \mathbb{Z}| \mathrm{Ext}^i_R(M,R)\neq 0\}\).