projective module

Let be a Ring and an -module. Then is a projective module, if for -modules with a epimorphism and homomorphism there exists a homomorphism such that following diagram commutes

Note, that doesn't have to be unique

• projective object in the category Category Mod