Sunday 16 July 2006

homological algebra - How do I know the derived category is NOT abelian?

I have heard the claim that the derived category of an abelian category is in general additive but not abelian. If this is true there should be some toy example of a (co)kernel that should be there but isn't, or something to that effect (for that matter, I could ask the same question just about the homotopy category).



Unless I'm mistaken, the derived category of a semisimple category is just a ℤ-graded version of the original category, which should still be abelian. So even though I have no reason to doubt that this is a really special case, it would still be nice to have an illustrative counterexample for, say, abelian groups.

No comments:

Post a Comment