Representable equivalences for closed categories of modules (Q1891531)

The main aim of this paper is to study the equivalences between certain subcategories of Mod-\(R\) and Mod-\(A\), where \(R\) and \(A\) are associative unital rings, which are naturally defined by bimodules \(_A P_R\). Thus, the following representation theorem is proved: Let \({\mathcal D}_A\) and \({\mathcal G}_R\) be full subcategories of Mod-\(A\) and Mod-\(R\) respectively, such that \(A_A \in {\mathcal D}_A\) and \({\mathcal G}_R\) is closed under homomorphic images and direct sums; if a category equivalence \({\mathcal D}_A \overset {F} {\underset {G} \leftrightarrows} {\mathcal G}_R\) is given, then \((F,G)\) is representable by the bimodule \(_A P_R\), with \(P_R = F(A)\) and \(A = \text{End} (P_R)\) (this means that \(F \simeq T|{\mathcal D}_A\) and \(G \simeq H|{\mathcal G}_R\) where \(H = \text{Hom}_R(P_R,-)\) and \(T = - \otimes_A P)\), \({\mathcal G}_R = \text{Gen} (P_R)\) and \({\mathcal D}_A = \text{Im}(H)\). Consider now a module \(P_R\) and denote \(A = \text{End} (P_R)\); then \(P_R\) is said to be a \(W\)-module if the full subcategory \(\text{Gen}(P_R)\) of Mod-\(R\) consisting of all \(P\)- generated modules is closed under submodules, or equivalently, if \(\text{Gen} (P)\) coincides with the subcategory \(\sigma [P]\) of all \(P\)- subgenerated \(R\)-modules. A series of properties of \(W\)-modules is established; among others it is proved that if \(P_R\) is a \(W\)-module and \(\text{Im}(H)\) is closed under homomorphic images, then \(\text{Im}(H) = \text{Mod-}A\), where \(A = \text{End}(P_R)\). A direct proof of the Gabriel-Popescu Theorem for the Grothendieck category \(\sigma [P] = \text{Gen}(P_R)\) is presented, and the closed spectral subcategories of \(\text{Mod-}R\) are investigated.