Injective resolution
Definition
Symbol-free definition
An injective resolution of a module over a commutative unital ring is an exact sequence of modules (possibly infinite in length) beginning at 0, with the second member being the given module, and such that all successive members of the exact sequence are injective modules.