zbMATH — the first resource for mathematics

Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Morita equivalence for factorisable semigroups. (English) Zbl 0991.20046
Let $S$ be a semigroup with set of idempotents $E=E(S)$. Then $S$ is called factorisable if $S=S^2$; $S$ is called sandwich if $S=SES$; $S$ is called local units if $S=ESE$. $S$-Act denotes the category of left $S$-acts, $US\text{-Act}=\{_SM\in S\text{-Act}\mid SM=M\}$. $US\text{-FAct}=\{M\in US\text{-Act}\mid\zeta_m=\varepsilon\}$, where $\zeta_M=\{(m_1,m_2)\mid sm_1=sm_2,\forall s\in S\}$ is an $S$-congruence on $_SM$, and $\zeta_S$ a two-sided congruence on $S$. The authors prove the following theorems: Let $R,S$ be factorisable semigroups. Let\break $UR\text{-FAct}\mathop{\rightleftharpoons}\limits^F_G US\text{-FAct}$ be a category inverse equivalence, $_RM=G(_SS')$ and $_SN=F(_RR')$. Then $_RM_S$ and $_SN_R$ are unitary biacts such that (i) $_RM$ and $_SN$ are generators in $UR$-FAct and $US$-FAct respectively; (ii) $F\approx S\Hom_R(_RM,-)$ and $G\approx R\Hom_S(_SN,-)$, where the functors are defined in the obvious way and “$\approx$” means the natural isomorphism; (iii) $S'\cong S\Hom_R({_RM},{_RM})$ and $R'\cong R\Hom_S({_SN},{_SN})$ as semigroups; (iv) $_RM_S\cong R\Hom_S(_SN_R,{_SS'})$ and $_SN_R\cong S\Hom_R(_RM_S,{_RR'})$ as biacts; (v) if we identify $_SN_R$ with $S\Hom_R(_RM_S,{_RR'})$, identify $S'$ with a right ideal of $\Hom_R(_RM,{_RM})\cong\Hom_S(_SS',{_SS'})$ and define $$\langle\ \rangle\colon M\otimes_{S'}N\to R',\ m\otimes n\mapsto\langle m,n\rangle=(m)n\text{ and }\lceil\ \rceil\colon N\otimes_{R'}M\to S',\ n\otimes m\mapsto\lceil n,m\rceil,$$ where $\lceil n,m\rceil\colon{_RM}\to{_RM}$, $x\mapsto(x)n\cdot m$, then $(R',S',{_{R'}M_{S'}},{_{S'}M_{R'}},\langle\ \rangle,\lceil\ \rceil)$ is a unitary Morita context with $\langle\ \rangle$ and $\lceil\ \rceil$ surjective. Let $R,S$ be factorisable semigroups. If there exists a unitary Morita context $(R,S,{_RP_S},{_SQ_R},\langle\ \rangle,\lceil\ \rceil)$ with $\langle\ \rangle$ and $\lceil\ \rceil$ surjective, then we have the following category inverse equivalence $UR\text{-FAct}\mathop{\rightleftharpoons}\limits^F_G US\text{-FAct}$, where $F=Q\otimes_R-/\zeta_{Q\otimes_R-}$ and $G=P\otimes_S-/\zeta_{P\otimes_S-}$. Let $R,S$ be factorisable semigroups. Then the category $UR$-FAct is equivalent to the category $US$-FAct if and only if there exists a unitary Morita context $(R',S',{_{R'}P_{S'}},{_{S'}Q_{R'}},\langle\ \rangle,\lceil\ \rceil)$ with $\langle\ \rangle$ and $\lceil\ \rceil$ surjective. Moreover, if this is the case, then we have the following category inverse equivalence: $UR\text{-FAct}\mathop{\rightleftharpoons}\limits^F_G US\text{-FAct}$, where $F=S\Hom_R(_RP,-)$ and $G=R\Hom_S(_SQ,-)$. If there exists a unitary Morita context $(R,S,{_RP_S},{_SQ_R},\langle\ \rangle,\lceil\ \rceil)$ with $\langle\ \rangle$ and $\lceil\ \rceil$ surjective, then $R$ and $S$ are said to be strongly Morita equivalent. Define the category $S\text{-FxAct}=\{M\in US\text{-Act}\mid\Gamma_M'$ is an $S$-isomorphism$\}$ where $\Gamma_M'\colon S\otimes S\Hom_S(S,M)\to M$, $s\otimes t\cdot\phi\mapsto(st)\phi$. Now the authors prove: (i) If either $\prod_{i\in I}S\in S\text{-FxAct}$ for any index set $I$ or $S\in US$-FAct holds, then $S$ is strongly Morita equivalent to a monoid if and only if $S=SeS$ for some $e\in E$. Moreover, if this is the case, then $S$ is strongly Morita equivalent to $eSe$. (ii) If $\prod_{i\in I}S\in S\text{-FxAct}$ for any index set $I$, then the following statements are equivalent: (a) $S=SES$; (b) $S$ is strongly Morita equivalent to a sandwich semigroup; (c) $S$ is strongly Morita equivalent to a local units semigroup. Let $S$ be an arbitrary semigroup. Then $S$ is a completely simple semigroup if and only if $\prod_{i\in I}S\in S\text{-FxAct}$ for any index set $I$ and $S$ is strongly Morita equivalent to a group. Let $S$ be a like unity semigroup. Then the following statements hold: (i) $S$ is strongly Morita equivalent to a group if and only if $S$ is a completely simple semigroup; (ii) $S$ is strongly Morita equivalent to a monoid if and only if $S=SeS$ for some $e\in E$; (iii) $S$ is strongly Morita equivalent to a local semigroup if and only if $S=SES$. Here a semigroup is called like unity if $x\in Sx\cap xS$ for any $x\in S$.

20M50Connections of semigroups with homological algebra and category theory
20M30Representation of semigroups; actions of semigroups on sets
Full Text: DOI
[1] G. D. Abrams, Morita equivalennce for rings with local units, Comm Algebra, 1983, 11:801--837 · Zbl 0503.16034 · doi:10.1080/00927878308822881
[2] P. N. Anh, L. Marki, Morita equivalennce for rings without identity, Tsukuba J. Math., 1987, 11:1--16
[3] H. Bass, The Morita theorem, lecture notes, University of Oregan, 1962 · Zbl 0102.21203
[4] J. L. Garcia, J. J. Simon, Morita equivalence for idempotent rings, J. Pure. Appl. Algebra, 1991, 76:39--56 · Zbl 0747.16007 · doi:10.1016/0022-4049(91)90096-K
[5] K. Morita, Category-isomorphism and endomorphism rings of modules, Trans. Amer. Math. Soc., 1961, 103:451--469 · Zbl 0113.03003 · doi:10.1090/S0002-9947-1962-0140560-2
[6] Y. H. Xu, K. P. Shum, Morita equivalence for infinite matrix rings, Comm. Algebra, 1999, 27:1751--1782 · Zbl 0947.20012 · doi:10.1080/00927879908826755
[7] U. Knauer, Projectivity of acts and Morita equivalence of monoids, Semigroup Forum, 1972, 3:359--370 · Zbl 0231.18013 · doi:10.1007/BF02572973
[8] B. Banaschewski, Functors into the category of M-sets, Abh. Math. Sem. Univ. Hamberg, 1972, 8:49--64 · Zbl 0257.18011 · doi:10.1007/BF02996922
[9] U. Knauer, P. Normak, Morita duality for monoids, Semigroup Forum, 1990, 40:39--57 · Zbl 0689.20049 · doi:10.1007/BF02573250
[10] S. Talwar, Morita equivalence for semigroups, J. Austral Soc. (Series A), 1995, 59:81--111 · Zbl 0840.20067 · doi:10.1017/S1446788700038489
[11] S. Talwar, Strong Morita equivalence and a generalisation of the Rees theorem, J. Algebra, 1996, 181:371--394 · Zbl 0855.20054 · doi:10.1006/jabr.1996.0125
[12] J. M. Howie, An Introduction to Semigroup Theory, London: Academic Press, 1976 · Zbl 0355.20056
[13] F. W. Anderson, K. R. Fuller, Rings and Categories of Modules, Berlin: Springer, 1974 · Zbl 0301.16001
[14] J. J. Rotman, An Introduction to Homological Algebra, London: Academic Press Inc, 1979 · Zbl 0441.18018
[15] N. Jacobson, Basic Algebra II, San Francisco: Freeman, 1980 · Zbl 0441.16001
[16] Y. Q. Chen, K. P. Shum, Projective and indecomposable S-acts, Science in China (Series A), 1999, 42(6):593--599 · Zbl 0957.20049 · doi:10.1007/BF02880077