1.Previous
3.Next

that carries over from free to projective modules: a module P is projective if and only if for every surjective module homomorphism ''f'' : ''N'' ? ''M'' and every module homomorphism ''g'' : ''P'' -> ''M'', there exists a module homomorphism ''h'' : ''P'' -> ''N'' such that 1=''fh'' = ''g''. (We don't require the lifting homomorphism h to be unique; this is not a universal property.)

1.Previous
3.Next