Lemma 13.18.3. Let $\mathcal{A}$ be an abelian category. Assume $\mathcal{A}$ has enough injectives.

1. Any object of $\mathcal{A}$ has an injective resolution.

2. If $H^ n(K^\bullet ) = 0$ for all $n \ll 0$ then $K^\bullet$ has an injective resolution.

3. If $K^\bullet$ is a complex with $K^ n = 0$ for $n < a$, then there exists an injective resolution $\alpha : K^\bullet \to I^\bullet$ with $I^ n = 0$ for $n < a$ such that each $\alpha ^ n : K^ n \to I^ n$ is injective.

Proof. Proof of (1). First choose an injection $A \to I^0$ of $A$ into an injective object of $\mathcal{A}$. Next, choose an injection $I_0/A \to I^1$ into an injective object of $\mathcal{A}$. Denote $d^0$ the induced map $I^0 \to I^1$. Next, choose an injection $I^1/\mathop{\mathrm{Im}}(d^0) \to I^2$ into an injective object of $\mathcal{A}$. Denote $d^1$ the induced map $I^1 \to I^2$. And so on. By Lemma 13.18.2 part (2) follows from part (3). Part (3) is a special case of Lemma 13.16.4. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).