Definition:Projective Module

Definition
Let $A$ be a ring.

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

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