Complements in projective modules (Q1825258): Difference between revisions

For a ring A with Jacobson radical J the following properties are known to be equivalent: 1. Every finitely generated flat left A-module M with M/JM A/J-projective, is projective. 2. Every projective left A-module P with P/JP finitely generated, is finitely generated. Many more equivalent statements can be added to these. Gerasimov and Sahaev have given an example of a ring for which 1. does not hold. In this paper two more equivalent statements are added to 1. and 2. Namely the following: 3. Every finitely presented module M with M/JM A/J- projective and \(Tor^ A_ 1(A/J,M)=0\), is projective. 4. Every finitely presented module M with M/JM A/J-projective and \(Ext^ 1_ A(M,Y)=0\) for all Y with \(JY=0\), is projective. In order to prove this result the authors use the concept of ideal projectivity, i.e. a module P is I- projective, where I is an ideal, if for every exact sequence \(X\to Y\to 0\) with \(IY=0\) then \(H_ A(P,X)\to Hom_ A(P,Y)\to 0\) is exact.