Fp-Injective Complexes

Lixin Mao,Nanqing Ding
DOI: https://doi.org/10.1007/978-3-0346-0007-1_9
2010-01-01
Abstract:A complex Q is said to be FP-injective if, for any monomorphism psi : A -> B of complexes with A finitely generated and B finitely generated free and any morphism phi : A -> Q of complexes, there exists gamma : B -> Q such that gamma psi = phi. It is proven that Q is an FP-injective complex if and only if every Q(i) is FP-injective and Hom (G, Q) is exact for every finitely presented complex G.
What problem does this paper attempt to address?