Let be a commutative Noetherian Henselian local ring. Denote by the category of finitely generated -modules, and by the full subcategory of consisting of all G-projective -modules. In this paper, we consider when a given -module has a right -approximation. For this, we study the full subcategory of consisting of all -modules that admit right -approximations. We investigate the structure of by observing , ${\mathcal G}^{\bot}{\mathcal G}{\mathcal G} RR$-modules that admit left -approximations. On the other hand, we also characterize in terms of Tate cohomologies. We give several sufficient conditions for to be contravariantly finite in .

生成讲解博客的中文版本

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