Lemma 13.28.4 (0FCR)—The Stacks project

Processing math: 100%

Lemma 13.28.4. Let $H : \mathcal{D} \to \mathcal{A}$ be a homological functor from a triangulated category to an abelian category. Assume that for any $X$ in $\mathcal{D}$ only a finite number of the objects $H(X[i])$ are nonzero in $\mathcal{A}$ . Then $H$ induces a group homomorphism $K_0(\mathcal{D}) \to K_0(\mathcal{A})$ sending $[X]$ to $\sum (-1)^ i[H(X[i])]$ .

Proof. Omitted. $\square$

Comments (0)

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

Comments (0)

Post a comment