Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-26/6/i/solution
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 26 6 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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, .
New to topics? Read the docs here!