Let R[P] be the one point extension of a k-algebra R by a projective R-module P.We prove that the extension of a complete ideal cotorsion pair in R-Mod is still a complete ideal cotorsion pair in R[P]-Mod.As an applic...Let R[P] be the one point extension of a k-algebra R by a projective R-module P.We prove that the extension of a complete ideal cotorsion pair in R-Mod is still a complete ideal cotorsion pair in R[P]-Mod.As an application,it is obtainable that the operation(-)_(m)[P]satisfies the so-called distributive law relating the operations of products and extensions of ideals under appropriate conditions.展开更多
基金Supported by Zhejiang Provincial Natural Science Foundation of China(LY18A010032)
文摘Let R[P] be the one point extension of a k-algebra R by a projective R-module P.We prove that the extension of a complete ideal cotorsion pair in R-Mod is still a complete ideal cotorsion pair in R[P]-Mod.As an application,it is obtainable that the operation(-)_(m)[P]satisfies the so-called distributive law relating the operations of products and extensions of ideals under appropriate conditions.