MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $A$ be a hereditary algebra and let $\mathcal{D}$ be the derived category of bounded complex of finitely generated $A$-modules. Then, for any complex $C_{\bullet}$ in $\mathcal{D}$, we have $C_{\bullet} \cong H_{\bullet}(C_{\bullet})$, where the right hand side is the complex whose $i$-th term is $H_i(C_{\bullet})$ and all of whose maps are zero.

I would like to know a standard reference for this. Ideally, I would like to know the original source.

Right now, the only sources I know are lecture notes, such as Section 2.5 of Keller's notes or Theorem 2.1 in Lenzing's.


share|cite|improve this question
up vote 6 down vote accepted

Dieter Happel's book Triangulated Categories in the representation theory of finite dimensional algebras is a pretty canonical source, and it includes the result you mention.

(That particular result might be folkloric, though)

share|cite|improve this answer

In Krause's Derived categories, resolutions, and Brown representability, the general version of this result for hereditary abelian categories is proved (Section 1.6).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.