Recent content by Amked

I have recently noticed that my definition of Projective is incorect. A module P is projective provided: If f:M -> P is a homomorphism and onto then M = ker(f) (direct sum) K, K contained in P. Hopefully that makes my question easier.

I am supposed to show that the following are equivalent for a finitely generated module P: 1. P is Projective 2. P is isomorphic to direct summand of a free module (There are 2 others but they refer to a diagram) I am stuck on showing 1 => 2. I know that since P is projective there is...