Lemma 12.16.14. Let $\mathcal{A}$ be an abelian category. Let $A \to B \to C$ be a complex of filtered objects of $\mathcal{A}$. Assume $\alpha : A \to B$ and $\beta : B \to C$ are strict morphisms of filtered objects. Then $\text{gr}(\mathop{\mathrm{Ker}}(\beta )/\mathop{\mathrm{Im}}(\alpha )) = \mathop{\mathrm{Ker}}(\text{gr}(\beta ))/\mathop{\mathrm{Im}}(\text{gr}(\alpha )))$.

Proof. This follows formally from Lemma 12.16.12 and the fact that $\mathop{\mathrm{Coim}}(\alpha ) \cong \mathop{\mathrm{Im}}(\alpha )$ and $\mathop{\mathrm{Coim}}(\beta ) \cong \mathop{\mathrm{Im}}(\beta )$ by Lemma 12.16.4. $\square$

There are also:

• 2 comment(s) on Section 12.16: Filtrations

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).