abstract: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 , and are described in detail in the textbook .