# In general Morita context, does P and Q being progenerators imply that it is an isomorphism?

Let $(A,B,P,Q,f,g)$ be a general Morita context (that is $A$,$B$ rings, ${}_AP_B$ and ${}_BQ_A$ and $f:Q\otimes_AP\rightarrow B$, $g:P\otimes_BQ \rightarrow A$ bimodule morphisms that satisfy the additional compatibility). In the particular case that $Q=P^*$ and $B=\mathrm{End}_A(P)$ it is (apparently well) known that if $P$ is an progenerator as an $A$ then the context gives rise to an equivalence ($f$ and $g$ are isomorphisms).

In the general case, if $P$ is a progenerator as an $A$-module and $Q$ a progenerator as a $B$-module, is this true as well? That is, are $f$ and $g$ isomorphisms? I can't seem to find a reference for this.

• Could you edit the question to state clearly the conditions you want to assume? In the title you refer to $P$ and $Q$ being progenerators, but this doesn't seem to be what you're asking in the question. Also, progenerator for which ring or rings? – Jeremy Rickard Sep 28 '14 at 7:33
For arbitrary bimodules $P$ and $Q$ you get a Morita context with both $f=0$ and $g=0$, and you can certainly choose the bimodules to be progenerators for $A$ and $B$ respectively.
For the "well known fact" that you mention, I think you also need that $$f:P\otimes_BQ=P\otimes_B\operatorname{Hom}_A(P,A)\to A$$ is the natural map (i.e., the evaluation map $p\otimes\phi\mapsto\phi(p)$), and this condition doesn't make sense for general $Q$.