Adjunction and Localization in the Category A-Alg of A-Algebras

Abstract

In our paper [3] we built the functor Ext dn S-1A(-; S-1B) in the category A-Alg. Thepurpuse of this paper is to show that if A is a ring not necessary commutative, S a centralmultiplicatively closed subset of A and B a (A-A)-bialgebra, thenT orS-1An (-; SExt -1A(-; S-1B)o-1B) : Alg-S-1A S-1A-Modo : dn Sis an adjunction