Injective module

One can use injective hulls to define a minimal injective resolution (see below). If each term of the injective resolution is the injective hull of the cokernel of the previous map, then the injective resolution has minimal length.