A theorem on equivalences between categories of modules with some applications (Q1059700)

The author proves the following generalization of a theorem of K. Fuller: Let \(A\) and \(R\) be rings; let \({\mathcal D}_ A\) and \({\mathcal G}_ R\) be full subcategories of Mod-\(A\) and Mod-\(R\), respectively, with the following properties: (1) \({\mathcal D}_ A\) is closed under taking submodules of objects in it and under taking direct sums of copies of \(A_ A\); (2) \({\mathcal G}_ R\) is closed under taking direct sums and epimorphic images. Suppose we are given an equivalence \((T,H)\) between the categories \({\mathcal D}_ A\) and \({\mathcal G}_ R\). Then there exists a bimodule \({}_ AP_ R\), with \(P=T(A)\), such that: a) \(T\cong-\otimes_{A}P\) and \(H\cong \Hom_ R(P,-)\) (with \(-\otimes_{A}P\) and \(\Hom_ R(P,-)\) obviously restricted and corestricted); b) \(A\cong \text{End}(P_ R)\) canonically and \({\mathcal G}_ R=\text{Gen}(P_ R)\); c) \({\mathcal D}_ A=\text{Mod-}A\); d) For all sets \(X\), \(\Hom_ R(P,P^{(X)})\cong A^{(X)}\) canonically; e) \(P_ R\) is a \(\Sigma\)-quasiprojective quasiprogenerator and \({}_ AP\) is faithfully flat moreover \(\text{Gen}(P_ R)\) is closed under submodules, so that \(\text{Gen}(P_ R)=\overline{\text{Gen}}(P_ R)\); f) The canonical image of \(R\) is dense in \(\text{End}(_ AP)\). Applications of the theorem to the theory of dualities between categories of discrete and compact modules are given.