Injective module

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