Abstract:
A Morita context $(R,\,_RV_S,\,_SW_R,\,S)$ defines the isomorphism $\mathcal L_0(R)\cong\mathcal L_0(S)$ of lattices of torsions $r\geq r_I$ of $R$-$Mod$ and torsions $s\geq r_J$ of $S$-$Mod$, where $I$ and $J$ are the trace ideals of the given context. For every pair $(r,s)$ of corresponding torsions the modifications of functors $T^W=W\otimes_{R^-}$ and $T^V=V\otimes_{S^-}$ are considered:
\begin{equation*}
R\textrm{-}Mod\supseteq\mathcal P(r)
????????????
\mathcal P(s)\subseteq S\textrm{-}Mod,
\end{equation*}
where $\mathcal P(r)$ and $\mathcal P(s)$ are the classes of torsion free modules. It is proved that these functors define the equivalence
\begin{equation*}
\mathcal P(r)\cap\mathcal J_I\approx\mathcal P(s)\cap\mathcal J_J,
\end{equation*}
where $\mathcal P(r)=\{_RM\mid r(M)=0\}$ and $\mathcal J_I=\{_RM\mid IM=M\}$.
Fulltext:
PDF file (200 kB)