In this paper, we investigate a non-commutative version of strongly flat modules, which is based on the concept of universal localization introduced by Cohn. We consider a set consisting of maps of finitely generated projective -modules, where is not necessarily a commutative ring. Let denote the universal localization of with respect to . The class of -strongly flat modules is defined as the left class in the cotorsion pair generated by . We examine the homotopy category of -strongly flat modules and demonstrate that the thick subcategory , consisting of acyclic complexes, wherein all syzygies are -strongly flat, forms a precovering class within this homotopy category. This implies that the quotient map from to always has a fully faithful right adjoint.

生成讲解博客的中文版本

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