Editing Injective module (section)

=== Pure injectives ===

{{Main|pure injective module}}
In relative homological algebra, the extension property of homomorphisms may be required only for certain submodules, rather than for all. For instance, a [[pure injective module]] is a module in which a homomorphism from a [[pure submodule]] can be extended to the whole module.