Let be a GP-admissible pair and be a GI-admissible pair of classes of objects in an abelian category , and consider the class of -periodic -Gorenstein projective objects, where and . We claimed in \cite[Lem. 8.1]{HMP2023m} that the -Gorenstein injective dimension of is bounded by the -Gorenstein injective dimension of , provided that: (1) is closed under direct summands, (2) , and (3) every object in admits a -acyclic -coresolution. These conditions are their duals are part of what we called Setup 1''. Moreover, if we replace $π\mathcal{GP}_{(ω,\mathcal{B},1)}$ by the class $\mathcal{GP}_{(\mathcal{A,B})}$ of $(\mathcal{A,B})$-Gorenstein projective objects, the resulting inequality is claimed to be true under a set of conditions named Setup 2’'. The proof we gave for the claims and is incorrect, and the purpose of this note is to exhibit a corrected proof of the first inequality, under the additional assumption that every object in has finite injective dimension relative to . Setup 2 is no longer required, and as a result the second inequality was removed. We also fix those results in §\ 8 of \cite{HMP2023m} affected by Lemma 8.1, and comment some applications and examples.

生成讲解博客的中文版本

生成AI智能校验的中文版本