Corollary 3
Tag 0DQ4, permanent. Cite it as [Bourbaki, Tag 0DQ4].
Algebra, chapter X, § 1. Compléments d’algèbre linéaire
Every -module is isomorphic to a submodule of an injective -module.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.