Semisimple quotient rings and morita context (Q5287566)

Let \((R,{_ RU}_ S,{_ SV}_ R,S)\) be a Morita context with the trace ideals \(I\) and \(J\). There exists a bijection \(\tau \leftrightarrow \tau'\) between the Gabriel topologies of \(R\)-Mod containing \(I\) and the Gabriel topologies of \(S\)-Mod containing \(J\). For such a pair \((\tau,\tau') \in (G(R),G(S))\) the quotient functors of \(R\)-Mod and \(S\)- Mod with respect to \(\tau\) and \(\tau'\) are denoted by \(^ \wedge\). The relative Goldie dimension \(\tau\)-\(d({_ RM})\) with respect to the Gabriel topology \(\tau\) (in the sense of Wu and Golan) is used. If \((\tau,\tau')\in (G(R),G(S))\), \(\tau\)-\(d({_ RU}) = n < \infty\) and \(\widehat{U}\) is semisimple, then \(\widehat{S}\) is semisimple. If \(\tau\)- \(d({_ RU}) = n < \infty\) and \(\widehat{R}\) is semisimple, then \(\widehat{S}\) is semisimple and the rings \(\widehat{R}\) and \(\widehat{S}\) are Morita equivalent; moreover, \(\widehat{R}\) is simple iff \(\widehat{S}\) is simple. Under these conditions \({_{\widehat{R}}\widehat{U}}\) and \({_{\widehat{S}}\widehat{V}}\) are finitely generated projective generators of \(\widehat{R}\)-Mod and \(\widehat{S}\)-Mod, respectively.