Hereditary abelian category with enough projectives

ID: hereditary-abelian-category-with-enough-projectives

An abelian category with enough projectives is hereditary when every subobject of a projective object is projective. For with projective, dimension shifting gives . Hence hereditaryness is equivalent to vanishing of for every additive right exact functor into any abelian category, by projectivity detected by all first left derived functors. It is also equivalent to left exactness of every : the derived long exact sequence gives injectivity of when vanishes, and applying left exactness to the displayed sequence proves the converse.

New to topics? Read the docs here!