Let $R$ be a ring and $B\subseteq A$ left (right) $R$ -modules. Then $B$ is called a direct summand of $A$ if there exists a left (right) $R$ -submodule $C$ such that $A=B\oplus C$ .

For example, a projective module is a direct summand of a free module over any ring.