Definition:Projective Module

Definition
Let $A$ be a ring with unity.

Let $M$ be an $A$-module.

$M$ is projective there exists an $A$-module $N$ such that the direct sum $M \oplus N$ is a free module.

Also see

 * Definition:Injective Module