Corner replacement for Morita contexts
type: Item
instance of: scholarly article
title: Corner replacement for Morita contexts
author: Raphael Bennett-Tennenhaus
published in: Linear Algebra and its Applications
publication date: 2024-08-26T00:00:00Z
review text: Recall that a Morita context is a six-tuple \((R,S,L,N,\theta,\zeta)\) where \(R\) and \(S\) are associative rings (here not necessary unital, but with local units), \(_RN_S\) and \(_SL_R\) are (unital) bimodules, and \(\theta:N\otimes_SL\to R\) and \(\zeta:L\otimes_RN\to S\) are bimodule homomorphisms satisfying certain associativity conditions (see [\textit{P. N. Ánh} and \textit{L. Márki}, Tsukuba J. Math. 11, 1--16 (1987; Zbl 0627.16031)]). These data can be assembled into a matrix ring \(\left[\begin{array}{cc} R & N\\\NL & S \end{array}\right]\). In the paper under review it is generalized this point of view, basically by increasing the dimension of the above matrix ring. More precisely, a \textit{generalized Morita context} consists from the following data: \((A_i, M_{ij}, \varphi_{ikj})\) where:\N\begin{itemize}\N\item \(A_i\) are associative rings, for \(i=1,\ldots,n\).\N\item \(M_{ij}\) (\(i,j=1,\ldots,n\)) are \(A_i\)-\(A_j\)-bimodules, with \(M_{ii}=A_i\).\N\item \(\varphi_{ikj}:M_{ik}\otimes_{A_k}M_{kj}\to M_{ij}\) are \(A_i\)-\(A_j\)-bimodules homomorphisms (\(i,k,j=1,\ldots,n\)), where \(\varphi_{kkj}\) and \(\varphi_{ikk}\) are the left, respectively right multiplications of the elements in the modules \(M_{kj}\), respectively \(M_{ik}\) with elements in \(A_k\), and \(\varphi_{kkk}\) is the multiplication in the ring \(A_k\).\N\item Associativity condition: \(\varphi_{ihj}({\mathbf 1}\otimes\varphi_{hkj})=\varphi_{ikj}(\varphi_{ihk}\otimes{\mathbf 1})\), for all \(i,h,k,j=1,\ldots,n\).\N\end{itemize}\NThe main result of the paper under review is the generalization (by increasing the dimension of the considered matrices as above) of the following result: Let \(R\) and \(S\) be unital associative rings and let \(e=e^2\in R\) be an idempotent. If \(_{eRe}M_S\), \(_SN_{eRe}\) are bimodules defining a Morita equivalence \(eRe\sim S\) then\N\[\N\left[\begin{array}{cc} (1-e)R(1-e) & (1-e)Re\otimes M\\\NeR(1-e) & M \end{array}\right]\hbox{ and }\left[\begin…
reviewed by: George Ciprian Modoi
Mathematics Subject Classification ID: 16D90
zbMATH DE Number: 7901472
zbMATH Keywords: Morita context
zbMATH Keywords: Morita equivalence
zbMATH Keywords: generalised matrix ring
MaRDI profile type: Publication
cites work: Morita equivalence for rings without identity
cites work: Q5562621
cites work: Derived equivalences between generalized matrix algebras
cites work: Recollements of abelian categories and special types of comma categories
cites work: Locally finitely presented additive categories
cites work: Additive categories of locally finite representation type
cites work: On Rings whose Left Modules are Direct Sums of Finitely Generated Modules
cites work: Des catégories abéliennes
cites work: Locally finitely presented categories and functor rings
cites work: Morita equivalence for idempotent rings
cites work: Species with potential arising from surfaces with orbifold points of order 2. I: One choice of weights
cites work: On the representation theory of rings in matrix form
cites work: On Artin algebras arising from Morita contexts.
cites work: Perfect categories. I
cites work: Perfect categories. II: Hereditary categories
cites work: Pro-species of algebras. I: Basic properties
cites work: Q3248050
cites work: Morita contexts and unitary ideals of rings
cites work: Q4002547
cites work: On morita duality for additive group valued functors
DOI: 10.1016/J.LAA.2024.06.013
description: scientific article; zbMATH DE number 7901472