This post is part of a series on the Sullivan conjecture in algebraic topology. The Sullivan conjecture is a topological result, which remarkably reduces — as H. Miller showed — to a purely algebraic computation in the category of unstable modules (and eventually algebras) over the Steenrod algebra, and in particular an injectivity assertion. This is a rather formidable category, but work of Kuhn enables one to identify a quotient category of it with the category of “generic representations” of the general linear group, which can be studied using different (and often easier) means. Kuhn’s work provides an approach to proving much of the algebraic background that goes into the Sullivan conjecture. In this post, I’ll describe one of the important ingredients.

The Gabriel-Popsecu theorem is a structure theorem for Grothendieck abelian categories, a version of which will be useful in understanding the structure of the category of unstable modules over the Steenrod algebra. The purpose of this post is to discuss this result and its many-object version due to Kuhn, from the paper “Generic Representations of the Finite General Linear Groups and the Steenrod Algebra: I.” Although the proof consists mostly of a series of diagram chases, there are some subtleties that I found rather difficult to grasp, and I thought it would be worthwhile to go through it in detail here.

**1. Grothendieck abelian categories**

Let be an abelian category. Then is **Grothendieck abelian** if

- has a generator: that is, there is an object such that every object in can be built up from colimits starting with . (More precisely, the smallest subcategory of , closed under colimits, that contains is itself)
- Filtered colimits in exist and are exact.

Many categories occurring in “nature” (e.g., categories of modules over a ring of sheaves on a site) are Grothendieck, and it is thus useful to have general results about them. The goal of this post is to describe a useful structure theorem for Grothendieck abelian categories, which will show that they are the quotients of categories of modules by Serre subcategories. (more…)