Projectivity detected by all first left derived functors

ID: projectivity-detected-by-all-first-left-derived-functors

In an abelian category with enough projectives, a projective object has a resolution concentrated in degree zero, so every first left derived functor vanishes on it. Conversely choose with projective and use the additive functor with target the opposite of the category of abelian groups. This functor is right exact in that target. If , the derived exact sequence makes monic, meaning that is surjective in abelian groups. Extending gives a retraction of , so the sequence splits and is a direct summand of the projective .

New to topics? Read the docs here!