Injective hull ($E(M)$)

The concept of an "injective hull" arises in the context of module theory, a branch of mathematics that studies algebraic structures known as modules, which generalize vector spaces. An **injective module** is a type of module that has the property that any homomorphism from a submodule into the injective module can be extended to the whole module.