Some remarks on equivalences between categories of modules

Let R be a ring with identity, Mod-R the category of all right R-modules, P 08Mod-R, A=End(PR), and T=(-- 97AP):Mod-A\u2192Mod-R and H=HomR(P,--): Mod-R\u2192Mod-A the adjoint functors. PR is self-small if H(P(X)) 48A(X) canonically for any set X. PR is w-\u3a3-quasi-projective if H is exact on the exact sequences [#] of the form 0\u2192L\u2192P(X)\u2192M\u21920 with L 08Gen(PR), the full subcategory of Mod-R of all P-generated right R-modules and X any set. Let Q be a cogenerator of Mod-R and K=H(Q). Then the author shows, among other things, the following: PR is self-small and w-\u3a3-quasi-projective if and only if (T,H) induces an equivalence of the following conditions: (1) (T,H) induces an equivalence between Cogen(KA), the full subcategory of Mod-A of all K-cogenerated right A-modules, and Pres(PR), the full subcategory of Mod-R of those modules M in the above exact sequences [#]. This result was also obtained by A. del Rio Mateos and M. Saor\uedn Casta\uf1o [Tsukuba J. Math. 15 (1991), no. 1, 1--18] independently. The main theorem states the equivalence of the following conditions: (1) (T,H) induces an equivalence between Cogen(KA) and Gen(PR). (2) Gen(PR)=Pres(PR), PR is self-small and w-\u3a3-quasi-projective. (3) PR is self-small and for any set X, any M\u21aaP(X), M 08Gen(PR) if and only if Ext1R(P,M)\u21aaExt1R(P,P(X)) canonically. PR is a 17-module if it satisfies one of the above equivalent conditions. The author relates 17-modules with tilting modules studied by D. Happel and C. M. Ringel [in Representations of algebra (Puebla, 1980), 125--144, Lecture Notes in Math., 903, Springer, Berlin, 1981; MR0654707 (83g:16055)] by the "Ext-projective'' property for P as follows: For a 17-module PR, Ext1R(P,M)=0 for any M 08Gen(PR) if and only if Gen(PR) is a torsion class. In case PR generates any injective module, PR is a 17-module if and only if PR is self-small and Gen(PR)={M 08Mod-R| Ext1R(P,M)=0}