On the theory and applications of \(G\)-dimension with respect to a semidualizing module (Q6601861)

Let \(R\) denote a commutative Noetherian ring. A finitely generated \(R\)-module \(C\) is called semi-dualizing whenever the homothety map \(R \to \operatorname{Hom}_R(C,C)\) is an isomorphism and \(\operatorname{Ext}^i_R(C,C) = 0\) for all \(i> 0\). Let \(C\) denote a semi-dualizing module. Then a finitely generated \(R\)-module \(M\) is called totally \(C\)-reflexive if the following holds: (i) \(M \to \operatorname{Hom}_R(\operatorname{Hom}_R(M,C),C)\) is an isomorphism. (ii) \(\operatorname{Ext}^i_R(M, C) = 0\) for all \(i > 0\). (iii) \(\operatorname{Ext}^i_R( \operatorname{Hom}(M.C),C) = 0\) for all \(i > 0\). - An \(R\)-module \(M\) has finite \(G_C\)-dimension if there is a finite resolution by totally \(C\)-reflexive modules. The well-defined number of members in a shortest such resolution is called \(G_C\)-dimension. In their paper the authors focus on the investigation of the corresponding relative properties of a module being totally \(C\)-reflexive, \(C_k\)-torsionless, and \(C_k\)-syzygy (especially when connected to the finiteness of the \(G_C\)-dimension). Moreover, they introduce the relative concept of \(C_q\)-Gorensteiness, extending the property of \(q\)-Gorensteiness investigated by \textit{V. Maşek} [Commun. Algebra 28, No. 12, 5783--5811 (2000; Zbl 1002.13005)]. They also consider \(C\)-duals and their Cohen-Macaulayness and initiate the study of \(C\)-valued derivation modules over a local ring of low depth.