Injective Hull

In mathematics, especially in the area of abstract algebra known as module theory, the injective hull (or injective envelope) of a module is both the smallest injective module containing it and the largest essential extension of it. Injective hulls were first described in (Eckmann & Schopf 1953), and are described in detail in the textbook (Lam 1999).