 Injective module

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

In the context of module theory, an injective module is a specific type of module that has certain properties related to homomorphisms.