Localization, Isomorphisms and Adjoint Isomorphism in the Category Comp(A - Mod)

Abstract

A and B are considered to be non necessarily commutative rings and X a complex of (A - B) bimodules. The aim of this
 paper is to show that:
 
 The functors \overline{EXT}^n_{Comp(A-Mod)}(X,-): Comp(A-Mod) \longrightarrow Comp(B-Mod) and Tor_n^{Comp(B-Mod)}(X,-): Comp(B-Mod) \longrightarrow Comp(A-Mod) are adjoint functors.
 The  functor S_C^{-1}() commute with  the functors X\bigotimes - , Hom^{\bullet}(X,-) and their corresponding derived functors  \overline{EXT}^n_{Comp(A-Mod)}(X,-) and  Tor_n^{Comp(B-Mod)}(X,-).