Proposition 3
Tag 062W, permanent. Cite it as [Bourbaki, Tag 062W].
Algebra, chapter III, § 7. Exterior algebras
*If is a surjective -linear mapping, the homomorphism is surjective and its kernel is the two-sided ideal of generated by the kernel of .
The proof is derived from that of § 6, no. 2, Proposition 4, replacing by and by .
If is an injective linear mapping, it is not always true that is an injective mapping (§ 6, Exercise 3) (see however below no. 9, Corollary to Proposition 12). However this is so when is an injection such that is a direct factor of and then the image of (isomorphic to ) is a direct factor of ; the proof is the same as that for the analogous assertions for (§ 5, no. 2) replacing by .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.