Tensor product of projective modules is projective
Suppose
- the tensor product of two free
-modules is free - the tensor product of two projective
-modules is projective
Hints
- Recall that tensor product commutes with direct sums
- Use this characterization of projective modules