Assume subobjects of projectives are projective. For any object , choose with projective. The kernel in a category is projective by the assumption. The derived long exact sequence gives a dimension-shifting isomorphismbecause . The right side is zero because is projective. Since and the right exact functor were arbitrary, .
Articles by others on the same topic
There are currently no matching articles.