Proposition 8

Tag 0639, permanent. Cite it as [Bourbaki, Tag 0639].

Let $A, B$ be two commutative rings, $\rho : A \to B$ a ring homomorphism and $M$ an $A$ -module. The canonical extension

\psi : \bigwedge_B(B \otimes_A M) \to B \otimes_A \bigwedge_A(M)

of the $B$ -linear mapping $1_B \otimes \phi_M'' : B \otimes_A M \to B \otimes_A \bigwedge_A(M)$ is a graded $B$ -algebra isomorphism.

The proof is derived from that of § 5, no. 4, Proposition 5 replacing $T$ by $\bigwedge$ and $\phi_M$ by $\phi_M''$ .

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

Cited by

Nothing.