Modules, comodules, and cotensor products over Frobenius algebras

We characterize noncommutative Frobenius algebras A in terms of the existen ce of a coproduct which is a map of left A(e)-modules. We show that the cat egory of right (left) comodules over A, relative to this coproduct, is isom orphic to the category of right (left) modules. This isomorphism enables a reformulation of the cotensor product of Eilenberg and Moore as a functor o f modules rather than comodules. We prove that the cotensor product M rectangle N of a right A-module M and a left A-module N is isomorphic to the vector space of homomorphisms from a particular left A(e)-module D to N x M, viewed as a left A(e)-module. Some properties of D are described. Finally, we show that when A is a symmetric algebra, the cotensor product M rectangle N and its derived functors are g iven by the Hochschild cohomology over A of N x M. (C) 1999 Academic Press.