Ideals in Morita rings and Morita semigroups,. (Q2581220)

Let \(A,B\) be rings (not necessarily with identity). Let \(_AP_B\), \( _BQ_A\) be \(A\)-\(B\), \(B\)-\(A\) bimodules, respectively. \((A,B,{_AP_B},{_BQ_A})\) is called a Morita context if there exist products \(P\times Q\to A\), \((p,q)\mapsto pq\) and \(Q\times P\to B\), \((q,p)\mapsto qp\) satisfying all relevant associative laws. A Morita context \((A,B,{_AP_B},{_BQ_A})\) is said to be unitary surjective if \(AP=PB=P\), \(BQ=QA=Q\), \(PQ=A\) and \(QP=B\). Let \((A,B,{_AP_B},{_BQ_A})\) be a Morita context. Then \(M_2=M(A,B,P,Q)=\left(\begin{smallmatrix} A&P\\ Q&B\end{smallmatrix}\right)\) of all \(2\times 2\) matrices \(\left(\begin{smallmatrix} a&p\\ q&b\end{smallmatrix}\right)\), where \(a\in A\), \(b\in B\), \(p\in P\), \(q\in Q\), forms a ring under the usual matrix addition and multiplication, and is called a Morita ring. A ring \(A\) is left (right) \(s\)-unital if \(a\in Aa\) (\(a\in aA\)) for any \(a\in A\). \(A\) is \(s\)-unital if \(A\) is both left and right \(s\)-unital. In this paper, the following results are obtained. Let \(A,B\) be \(s\)-unital rings, \((A,B,{_AP_B},{_BQ_A})\) a unitary surjective Morita context. Then the lattice of ideals of the Morita ring \(M_2=M(A,B,P,Q)\) is \(\left\{\left(\begin{smallmatrix} I&IP\\ QI&QIP\end{smallmatrix}\right)\mid I\text{ is an ideal of }A\right\}\). For semigroups and \(S\)-acts, Morita context, unitary surjective Morita context, Morita semigroup, etc. are similarly defined. A semigroup \(S\) with \(s\in Ss\cap sS\) for all \(s\in S\) is said to be like-unity. If \(R,S\) are Morita equivalent like-unity semigroups with a unitary surjective Morita context \((R,S,{_RP_S},{_SQ_R})\) then the lattice of ideals of the Morita ring \(M_2=M(R,S,P,Q)\) is \(\left\{\bigcup_{I\in\Lambda,\;J\in\Delta}\tau(I,J)\mid\Lambda\subseteq L(R),\;\Delta\subseteq L(S)\right\}\), where \(\tau(I,J)=\left(\begin{smallmatrix} PJQ&0\\ 0&QIP\end{smallmatrix}\right)\cup\left(\begin{smallmatrix} I&0\\ 0&J\end{smallmatrix}\right)\cup\left(\begin{smallmatrix} 0&IP\\ JQ&0\end{smallmatrix}\right)\cup\left(\begin{smallmatrix} 0&PJ\\ QI&0\end{smallmatrix}\right)\).