## Existence of projective resolutions in abelian categories

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

It is a standard result of elementary homological algebra that to every R-module $A$ there exists a projective resolution. It is often said that the category of R-modules has "enough projectives." In which other categories is this also true? In particular is it true for abelian categories?

-

## 3 Answers

Among the standard examples of abelian categories without enough projectives, there are

1. the categories of sheaves of abelian groups on a topological space (as VA said), or sheaves of modules over a ringed space, or quasi-coherent sheaves on a non-affine scheme;
2. the categories of comodules over a coalgebra or coring.

No abelian category where the functors of infinite product are not exact can have enough projectives. In Grothendieck categories (i.e. abelian categories with exact functors of small filtered colimits and a set of generators) there are always enough injectives, but may be not enough projectives.

Among the standard examples of abelian categories with enough projectives, there are

1. the category of functors from a small category to an abelian category with enough projectives (as VA said), or the category of additive functors from any small additive category to the category of abelian groups (this class of examples includes the categories of modules over any rings);
2. the category of pseudo-compact modules over a pseudo-compact ring (see Gabriel's dissertation);
3. the category of contramodules over a coalgebra or coring (see Eilenberg-Moore, "Foundations of relative homological algebra").
-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Way too optimistic: in many abelian categories there are not enough projectives (and in the dual category there are not enough injectives).

The most standard example is sheaves of abelian groups on a topological space X. For most X, this category does not have enough projectives. See for example this question where this was discussed: http://mathoverflow.net/questions/5378/when-are-there-enough-projective-sheaves-on-a-space-x/5470#5470

On the positive side: if A has enough projectives and I is a small category then the category $A^I$ (i.e. the category of functors $F:I\to A$) has enough projectives (assuming arbitrary sums exist in A). In particular, the category of complexes in A has enough projectives (taking $I=\mathbb Z$ with arrows $d_n:n\to n+1$ satisfying $d_{n+1}\circ d_n=0$). See this question: http://mathoverflow.net/questions/6776/how-to-construct-pair-of-adjoint-functors-from-category-a-to-category-adcategor/6836#6836

All of these are abelian categories.

-

... assuming A is abelian of course. – VA Dec 7 2009 at 22:40

A simple example of an abelian category having not enough projectives is the category of finite abelian groups. In fact, it contains neither non-trivial projective objects nor non-trivial injective objects.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 6, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8744308948516846, "perplexity_flag": "head"}