Strongly Ƥ-projective Modules and Ƥ-projective Complexes
Yan Liang
Abstract
Open-access reader
Yan Liang
Abstract
Open-access reader
In this paper we first study the properties of Strongly Ƥ-projective modules, and obtain some equivalent conclusions about Strongly Ƥ-projective modules, it is proved that a finitely generated right R-module N is strongly Ƥ-projective if and only if Exti (N, R) = 0 for all i ≥ 1 over left noetherian and right perfect ring, a Ƥ-projective right R-module N is strongly Ƥ-projective if and only if the first syzygy of N is strongly Ƥ-projective. Then we extend the notion of Ƥ-projective modules to that of Ƥ-projective complexes. We study the relationships between Ƥ-projective complexes and Ƥ-projective modules, it is proved that a complex C is Ƥ-projective if and only if every Ci is Ƥ-projective for every integer i if and only if Ext1 (C, P) = 0 for every projective complex Ƥ if and only if for every exact sequence 0→A→Ƥ→C→0 with Ƥ projective, A→Ƥ is a projective preenvelope of A. Some characterizations of Ƥ-projective complexes also obtained.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
In this paper we first study the properties of Strongly Ƥ-projective modules, and obtain some equivalent conclusions about Strongly Ƥ-projective modules, it is proved that a finitely generated right R-module N is strongly Ƥ-projective if and only if Exti (N, R) = 0 for all i ≥ 1 over left noetherian and right perfect ring, a Ƥ-projective right R-module N is strongly Ƥ-projective if and only if the first syzygy of N is strongly Ƥ-projective. Then we extend the notion of Ƥ-projective modules to that of Ƥ-projective complexes. We study the relationships between Ƥ-projective complexes and Ƥ-projective modules, it is proved that a complex C is Ƥ-projective if and only if every Ci is Ƥ-projective for every integer i if and only if Ext1 (C, P) = 0 for every projective complex Ƥ if and only if for every exact sequence 0→A→Ƥ→C→0 with Ƥ projective, A→Ƥ is a projective preenvelope of A. Some characterizations of Ƥ-projective complexes also obtained.
Key concepts: Projective test, Pencil (optics), Mathematics, Projective cover, Projective space, Quaternionic projective space, Flat module, Projective module