Let be an abelian category and the subcategory of consisting of projective objects. Let be a full, additive and self-orthogonal subcategory of with a generator, and let be the Gorenstein subcategory of . Then the right 1-orthogonal category of is both projectively resolving and injectively coresolving in . We also get that the subcategory of consisting of objects admitting special -precovers is closed under extensions and -stable direct summands (*). Furthermore, if is a generator for , then we have that is the minimal subcategory of containing $(\mathscr{C})^{\perp_1}\cup (\mathscr{C})\spc((\mathscr{C}))\mathscr{C}\mathscr{A}\mathscr{C}\mathscr{C}$.

生成讲解博客的中文版本

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