Corollary

Tag 062L, permanent. Cite it as [Bourbaki, Tag 062L].

If $M$ is a projective $A$ -module, $S(M)$ is a projective $A$ -module.

The proof is the same as that for § 5, no. 5, Corollary to Theorem 1, replacing $T$ by $S$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.