Injective module (source code)

= Injective module
{wiki}

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