Stability of Cartan-Eilenberg Gorenstein categories (Q481031)

Throughout the paper under review, \(R\) denotes an associative ring with identity, by an \(R\)-module the authors mean a left \(R\)-module. Using the ideas of \textit{S. Sather-Wagstaff} et al. [J. Lond. Math. Soc., II. Ser. 77, No. 2, 481--502 (2008; Zbl 1140.18010)], the authors introduce CE-projective CE-generators and CE-injective CE-cogenerators, which are useful for studying Cartan-Eilenberg Gorenstein categories. Let \(\mathcal{V}\) and \(\mathcal{Y}\) be classes of complexes of \(R\)-modules such that \(\mathcal{V}\subseteqq\mathcal{Y}\). \(\mathcal{V}\) is said to be CE-cogenerator for \(\mathcal{Y}\) if, for any \(Y\in\mathcal{Y}\), there is a CE-exact sequence \(0\rightarrow Y\rightarrow V \rightarrow Y{'}\rightarrow0\) such that \(V\in \mathcal{V}\) and \(Y{'}\in\mathcal{Y}\). CE-generators can be defined dually. The authors prove that if \(\mathcal{X}\) is closed under extensions, then following statements hold. (1) \(\mathcal{W}\) is an injective cogenerator for \(\mathcal{X}\) if and only if \(\mathrm{CE}(\mathcal{W})\) is a CE-injective CE-cogenerator for \(\text{CE}(\mathcal{X})\). (2) \(\mathcal{W}\) is a projective generator for \(\mathcal{X}\) if and only if \(\text{CE}(\mathcal{W})\) is a CE-projective CE-generator for \(\text{CE}(\mathcal{X})\). Sather-Wagstaff, Sharif and White [loc. cit.] gave a stability result of Gorenstein categories. The next result of authors shows that the corresponding stability result of Cartan-Eilenberg Gorenstein categories is also true. Assume that \(\mathcal{V}\) is a class of complexes of \(R\)-modules closed under finite direct sums. Let \(\cdots \rightarrow G^{-1}\rightarrow G^{0}\rightarrow G^1\rightarrow\cdots\) be a CE-exact complex of complexes in \(\mathcal{G}_{\mathrm{CE}}(\mathcal{V})\) such that it is \(\Hom(\mathcal{V},-)\) and \(\Hom(-,\mathcal{V})\) exact. Then each \(K^i=\ker(G^i\rightarrow G^{i+1})\) is in \(\mathcal{G}_{\mathrm{CE}}(\mathcal{V})\) for \(i\in \mathbb{Z}\). In particular \(\mathcal{G}_{\mathrm{CE}}(\mathcal{G}_{\mathrm{CE}}(\mathcal{V}))=\mathcal{G}_{\mathrm{CE}}(\mathcal{V})\).