Adjoint pairs of functors and Frobenius extensions

Throughout this paper A and B are assumed to be associative rings which possess identity elements 1A and IB respectively. The category of all left (resp. right) A-modules will be denoted by A9Je (resp. 9J1 .1 ), and by a functor we shall always mean a covariant additive functor. In case we speak of a subring B of A we shall assume that In=lA. All modules over a ring are assumed to be unitary. Let S be a functor from A9Je to B9J1 and T a functor from B9Je to A9J1. In case there is a natural isomorphism