Corollary 2

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

The $A$ -module $I^0(M)$ is injective and the $A$ -homomorphism $e_M:M\to I^0(M)$ is injective.

Indeed, $I^0(M)$ is injective, since $E_A$ is injective (X, p. 16, prop. 9), on the other hand $e_M$ is injective since $E_A$ is a cogenerator.

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

Cited by

Nothing.

Nothing.