Injective module (source code)

= Injective module
{wiki=Injective_module}

An injective module has the extension property for homomorphisms defined on submodules.