injective resolutionLet M be a module. An injective resolution of Mis an exact sequence of the form0→M→Q0→Q1→⋯→Qn-1→Qn→⋯where each Qn is an injective module.