Corollary 2

Tag 0DNM, permanent. Cite it as [Bourbaki, Tag 0DNM].

If $E$ is a free module, the canonical mapping $\rho$ of $E$ into $C(Q)$ and the mapping $a \to a.1$ of $A$ into $C(Q)$ are injective.

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

Cited by

Nothing.

Nothing.