104 research outputs found
Approximation of subcategories by abelian subcategories
Let be an abelian category and let be an idempotent functor which is not right
exact, so that the zeroth left derived functor does not
necessarily coincide with . In this paper we show that, under mild
conditions on , is also idempotent, and the category of
-complete objects of is the smallest exact
subcategory of containing the -complete objects. In the
main application, where is the -adic completion functor on a
category of modules, this gives us that the category of "-complete modules,"
studied by Greenlees-May and Hovey-Strickland, is not an ad hoc construction
but is in fact characterized by a universal property. Generalizations are also
given to the case of relative derived functors, in the sense of relative
homological algebra
- β¦