\begin{definition}[Definition:Projective Module]
Let $A$ be a ring with unity.
Let $M$ be an $A$-module.
$M$ is '''projective''' {{iff}} there exists an $A$-module $N$ such that the direct sum $M \oplus N$ is a free module.
\end{definition}