Equivalences Induced by Adjoint Functors

Abstract

Let 𝒜 and ? be two Grothendieck categories, R : 𝒜 → ?, L : ? → 𝒜 a pair of adjoint functors, S ∈ ? a generator, and U = L(S). U defines a hereditary torsion class in 𝒜, which is carried by L, under suitable hypotheses, into a hereditary torsion class in ?. We investigate necessary and sufficient conditions which assure that the functors R and L induce equivalences between the quotient categories of 𝒜 and ? modulo these torsion classes. Applications to generalized module categories, rings with local units and group graded rings are also given here.