×

Strong Morita equivalence of semigroups with local units. (English) Zbl 1237.20057

This paper is based on Morita contexts to develop Morita equivalence for semigroups. Let \(S\) and \(T\) be semigroups, \(E(S)\) be the set of idempotent elements in \(S\). A semigroup with local units is a semigroup \(S\) such that for any \(s\in S\) there exist \(e,f\in E(S)\) such that \(s=esf\). A left \(S\)-act \(_SA\) (a biact \(_SA_T\)) is said to be unitary if \(SA=A\) (\(SA=AT=A\)). A semigroup \(S\) is factorisable if the \(S\)-act \(_SS\) is unitary. A unitary Morita context is a six-tuple \((S,T,{_SP_T},{_TQ_S},\theta,\varphi)\), where \(\theta\colon{_S(P\otimes_TQ)_S}\to{_SS_S}\) and \(\varphi\colon{_T(Q\otimes_SP)_T}\to{_TT_T}\) are biact morphisms such that for any \(p,p'\in P\) and \(q,q'\in Q\), \(\theta(p\otimes q)p'=p\varphi(q\otimes p')\) and \(q\theta(p\otimes q')=\varphi(q\otimes p)p'\). Semigroups \(S\) and \(T\) are called strongly Morita equivalent if there exists a unitary Morita context such that the mappings \(\varphi\) and \(\theta\) are surjective.
For a factorisable semigroup \(S\), it is proved that a Rees matrix semigroup \(\mathcal M=\mathcal M(S,U,V,M)\) is strongly Morita equivalent to \(S\) if and only if \(S\text{im}(M)S=S\), where \(\text{im}(M)\subseteq S\) is the set of the entries of the sandwich matrix \(M\). It is proved that if \(S\) and \(T\) are strongly Morita equivalent semigroups then there exists a Rees matrix semigroup \(\mathcal M=\mathcal M(S,U,V,M)\) and an epimorphism \(\tau\colon\mathcal M\to T\) such that the restriction of \(\tau\) to every subsemigroup \(a\mathcal Mb\) of \(\mathcal M\) is injective, where \(a\in\mathcal Ma\) and \(b\in b\mathcal M\) (such an epimorphism is called a strict local isomorphism), and the idempotents and regular elements lift along \(\tau\), that means for any idempotent \(f\in T\) (resp. any regular element \(t\in T\)) there exists an idempotent \(e\in\mathcal M\) (resp. a regular element \(s\in\mathcal M\)) such that \(\tau(e)=f\) (resp. \(\tau(t)=s\)).
Some elegant characterizations of Morita equivalence for semigroups with local units are given. Let \(S\) and \(T\) be semigroups with local units. Then the following are equivalent: (1) \(S\) and \(T\) are (strongly) Morita equivalent; (2) there exists a Rees matrix semigroup \(\mathcal M=\mathcal M(S,U,V,M)\) over \(S\) with \(S\text{im}(M)S=S\) and a strict local isomorphism \(\tau\colon\mathcal M\to T\) along which idempotents lift; (3) there is a surjective defined unitary Morita semigroup \(Q\otimes_SP\) and a strict local isomorphism \(\tau\colon Q\otimes{_SP}\to T\) along which idempotents lift.

MSC:

20M50 Connections of semigroups with homological algebra and category theory
20M10 General structure theory for semigroups
20M30 Representation of semigroups; actions of semigroups on sets
20M15 Mappings of semigroups
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abrams, G. D., Morita equivalence for rings with local units, Comm. Algebra, 11, 801-837 (1983) · Zbl 0503.16034
[2] Ánh, P. N.; Márki, L., Morita equivalence for rings without identity, Tsukuba J. Math., 11, 1-16 (1987) · Zbl 0627.16031
[3] Chen, Y. Q.; Shum, K. P., Morita equivalence for factorisable semigroups, Acta Math. Sinica, (Engl. Ser.), 17, 437-454 (2001) · Zbl 0991.20046
[4] García, J. L.; Simón, J. J., Morita equivalence for idempotent rings, J. Pure Appl. Algebra, 76, 39-56 (1991) · Zbl 0747.16007
[5] Hotzel, E., Dual \(D\)-operands and the Rees theorem, (Algebraic Theory of Semigroups. Algebraic Theory of Semigroups, Proc. Conf. Szeged, 1976. Algebraic Theory of Semigroups. Algebraic Theory of Semigroups, Proc. Conf. Szeged, 1976, Colloq. Math. Soc. J. Bolyai, vol. 20 (1979), North-Holland: North-Holland Amsterdam), 247-275 · Zbl 0409.20046
[6] Laan, V., Context equivalence of semigroups, Period. Math. Hung., 60, 81-94 (2010) · Zbl 1214.20061
[7] Lawson, M. V., Morita equivalence of semigroups with local units, J. Pure Appl. Algebra, 215, 455-470 (2011) · Zbl 1229.20060
[8] Lawson, M. V.; Márki, L., Enlargements and coverings by Rees matrix semigroups, Monatsh. Math., 129, 191-195 (2000) · Zbl 0965.20037
[9] Márki, L.; Steinfeld, O., A Rees matrix construction without regularity, (Contributions to General Algebra, vol. 6 (1988), Hölder-Pichler-Tempsky: Hölder-Pichler-Tempsky Wien), 197-202 · Zbl 0699.20050
[10] Neklyudova, V. V., Morita equivalence of semigroups with systems of local units, Fundam. Prikl. Mat., 5, 539-555 (1999), (in Russian) · Zbl 0963.20035
[11] Talwar, S., Morita equivalence for semigroups, J. Austral. Math. Soc. (Series A), 59, 81-111 (1995) · Zbl 0840.20067
[12] Talwar, S., Strong Morita equivalence and a generalisation of the Rees theorem, J. Algebra, 181, 371-394 (1996) · Zbl 0855.20054
[13] Talwar, S., Strong Morita equivalence and the synthesis theorem, Internat. J. Algebra Comput., 6, 123-141 (1996) · Zbl 0855.20055
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.