\(\mathcal W\)-Gorenstein modules (Q630844): Difference between revisions

In this paper the authors study and define \(W\)-Gorenstein modules for a self-orthogonal class \(W\) of left \(R\)-modules. A left \(R\)-module \(M\) is \(W\)-Gorenstein if there exists an exact sequence \(W_{\bullet} = \cdots \rightarrow W_{1} \rightarrow W_{0} \rightarrow W^{0} \rightarrow W^{1} \rightarrow \cdots\) of modules in \(W\) such that \(M = \ker(W^{0} \rightarrow W^{1})\) and \(W_{\bullet}\) is both \(\Hom_{R}(W,-)\) and \(\Hom_{R}(-,W)\) exact. Then the authors investigate \(W_{P}\)-Gorenstein and \(W_{I}\)-Gorenstein modules for a faithfully semidualizing bimodule \(_{S}C_{R}\) over associative rings \(R\) and \(S,\) where \(W_{P}=\{ C \otimes_{R} P : P\) is a projective left \(R\)-module\} and \(W_{I} = \{\Hom_{S}(C,E): E\) is an injective left \(S\)-module\}.