Corollary 2

Tag 063H, permanent. Cite it as [Bourbaki, Tag 063H].

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

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

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

Cited by