No label defined (Q3972034)

[For the entire collection see Zbl 0699.00022.] Let \(\begin{pmatrix} R & _ RN_ L\\ _ LM_ R & L\end{pmatrix}\) be a Morita context with the trace ideals \(I=NM\) in \(R\) such that \(I^ n=I^{n+1}\) and \(J=MN\) in \(L\). Let \(\bar A\) be the class of left ideals which contain \(A\) as the largest left ideal satisfying \(IX=X\) if \(A=IA\) is a left ideal of \(R\), and in the case of \(A=I^{-1}A\), let \(\tilde A\) be the class of left ideals of \(R\) for which \(A\) is their smallest extension satisfying \(I^{-1}X=X\). For a submodule \(H=JH\) \([H=J^{-1}H]\) of \(_ LM\) the class \(\bar H\) \([\tilde H]\) of submodules is defined similarly. The authors show that there are the following lattice isomorphisms among these classes: \[ \begin{matrix} \{\bar A|\;A{\underset\ell\triangleleft} R\}\leftrightarrow & \{A{\underset \ell\triangleleft} R|\;IA=A\}\leftrightarrow & \{H{\underset\ell\triangleleft} M|\;JH=H\}\leftrightarrow & \{\bar H|\;H{\underset\ell\triangleleft} M\}\\ \updownarrow & \updownarrow & \updownarrow & \updownarrow \\ \{\tilde A|\;{\underset\ell\triangleleft} R\}\leftrightarrow & \{A{\underset\ell\triangleleft} R|\;I^{-1}A =A\}\leftrightarrow & \{H{\underset\ell\triangleleft} M|\;J^{-1}H=H\}\leftrightarrow & \{\tilde H|\;H{\underset\ell\triangleleft} M\}.\end{matrix}. \]