Universal coefficient theorem in triangulated categories

Abstract

We consider a homology theory Open image in new window on a triangulated category Open image in new window with values in an abelian category Open image in new window . If the functor h reflects isomorphisms, is full and is such that for any object x in Open image in new window there is an object X in Open image in new window with an isomorphism between h(X) and x, we prove that Open image in new window is a hereditary abelian category, all idempotents in Open image in new window split and the kernel of h is a square zero ideal which as a bifunctor on Open image in new window is isomorphic to Open image in new window.