No label defined (Q4489837)

Let \(\langle R,S,P,Q,(\;,\;),[\;,\;]\rangle\) be a Morita context between rings \(R\) and \(S\). We denote it simply by \(\langle P,Q\rangle\). The images of \((\;,\;)\) and \([\;,\;]\), denoted by \(T_R\) and \(T_S\), are called the trace ideals of the context. Let \({\mathcal D}_R=\{I\leq R\mid\text{ann}_XT_R=0\) implies \(\text{ann}_XI=0\) for any \(X\in\text{Mod-}R\}\) and \({\mathcal D}_S=\{L\leq S\mid\text{ann}_YT_S=0\) implies \(\text{ann}_YL=0\) for any \(Y\in\text{Mod-}S\}\). These are the smallest Gabriel topology of \(R\) and \(S\) containing \(T_R\) and \(T_S\), respectively. Let \(\widehat{\;}\) denote the quotient functor on Mod-\(R\) and Mod-\(S\) relative to \({\mathcal D}_R\) and \({\mathcal D}_S\). Then, after discussing some properties of quotient contexts of a Morita context, the author shows that if \({\mathcal D}_R\) is a perfect Gabriel topology, then the quotient context of \(\langle\widehat P,\widehat Q\rangle\), which is a quotient context of \(\langle P,Q\rangle\) as a Morita context between \(\widehat R\) and \(\widehat S\), is isomorphic to a quotient context of \(\langle P,Q\rangle\).