direct sum of projective module is free

391 Views Asked by At

Would anyone explain how the direct sum of projective modules are free (over a commutative ring)? What I know is an R-module P is said to be projective if to every surjective homomorphism $\alpha : B \rightarrow C $ of R-modules and to every homomorphism $\gamma: P \rightarrow C $ there exists a homomorphism $\beta: P \rightarrow B$ with $ \alpha \beta = \gamma$.

1

There are 1 best solutions below

0
On

A direct sum of projective modules is not necessarily free.

An example would be $F\times F\times F$ for a field $F$, in which $F\times \{0\}\times \{0\}$ and $\{0\}\times F\times \{0\}$ are projective ideals and their sum is not free.

The direct sum of projectives is again projective, though. This follows naturally from the mapping property and the definition of the direct sum.