@MISC{Mathew_injectiveobjects, author = {Akhil Mathew}, title = {INJECTIVE OBJECTS IN ABELIAN CATEGORIES}, year = {} }

Share

OpenURL

Abstract

It is known that the category of modules over a ring has enough injectives, i.e. any object can be imbedded as a subobject of an injective object. This is one of the first things one learns about injective modules, though it is a nontrivial fact and requires some work. Similarly, when introducing sheaf cohomology, one has to show that the category of sheaves on a given topological space has enough injectives, which is a not-too-difficult corollary of the first fact. I recently learned, however, of a much more general result that guarantees that an abelian category nonsense posts). I learned this from Grothendieck’s Tohoku paper, but he says that it was well-known. We will assume familiarity with basic diagram-chasing in abelian categories (e.g. the notion of the inverse image of a subobject).