Abstract
A semigroup S is said to be left equalizer simple if, for all elements a, b, x, y of S, \(xa=xb\) implies \(ya=yb\). It is known that left equalizer simplicity is a necessary condition for a semigroup to be embedded in a left simple semigroup. A semigroup satisfying the identity \(axyb=ayxb\) is called a medial semigroup. In this paper we show how to construct left equalizer simple medial semigroups, especially, medial semigroups which can be embedded in idempotent-free left simple semigroups.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and motivation
In [5, Theorem 1], P.M. Cohn gave necessary and sufficient conditions for a semigroup to be embedded in a left simple semigroup. Conditions differ essentially according to whether or not the semigroup contains an idempotent element (i.e. an element e satisfying \(e^2=e\)). Cohn proved (see also the dual of [4, Theorem 8.19]) that a semigroup S is embedded in an idempotent-free left simple semigroup if and only if S is idempotent-free and satisfies the condition: for all \(a, b, x, y\in S\), \(xa=xb\) implies \(ya=yb\). Using the terminology of [12], a semigroup S satisfying this condition is called a left equalizer simple semigroup.
A semigroup is called a medial semigroup ( [2]) if it satisfies the identity \(axyb=ayxb\). Medial semigroups are well studied by many authors, see, for example, papers [1, 2, 6, 10, 17], and books [9, 14]. In the present paper, medial semigroups are also the subject of investigations. Using results of [12], we show how to construct left equalizer simple medial semigroups, especially medial semigroups which can be embedded in idempotent-free left simple semigroups.
2 Preliminaries
For the notions and notations not defined but used in this paper, we refer the reader to books [3, 4] and [9].
By [12, Definition 2.1], a semigroup S is said to be left equalizer simple if, for every elements \(a, b, x, y\in S\), \(xa=xb\) implies \(ya=yb\). By [5, Theorem 1], if a semigroup S is embedded in a left simple semigroup, then S is left equalizer simple.
In [12], we defined a construction, and showed how to get left equalizer simple semigroups by applying that construction. This construction plays an important role in our present investigation. Thus we cite it here.
Construction 2.1
[ [12, Construction 1]] Let T be a left cancellative semigroup. For each \(t\in T\), associate a nonempty set \(S_t\) to t such that \(S_t\cap S_r=\emptyset \) for every \(t, r\in T\) with \(t\ne r\). For an arbitrary couple \((t, r)\in T\times T\) with \(r\in tT\), let \(\varphi _{t, r}\) be a mapping of \(S_t\) into \(S_r\) acting on the right. For all \(t\in T\), \(r\in tT\), \(q\in rT\subseteq tT\), assume
On the set \(S=\bigcup _{t\in T}S_t\) define an operation \(*\) as follows: for arbitrary \(a\in S_t\) and \(b\in S_x\), let
If \(a\in S_t\), \(b\in S_x\), \(c\in S_y\) are arbitrary elements then
Thus \((S; * )\) is a semigroup.
The semigroup \((S; * )\) defined in Construction 2.1 is said to be a right regular extension of the left cancellative semigroup T. This extension is said to be injective if the mappings \(\varphi _{t, r}\) are injective for every \(t\in T\) and \(r\in tT\).
Using the terminology of a right regular extension, [12, Theorem 2.2] has the following form.
Proposition 2.2
[ [12, Theorem 2.2]] A semigroup is left equalizer simple if and only if it is a right regular extension of a left cancellative semigroup. \(\square \)
For a semigroup S, let \(\theta _S^{right }\) denote the kernel of the right regular representation of S, that is
By [11, Theorem 2], the \(\theta _S^{right }\)-classes of the semigroup \(S=(S; * )\) defined in Construction 2.1 are the sets \(S_t\) (\(t\in T\)), and \(S/\theta _S^{{\text {right}}}\cong T\). Thus an element \(e\in T\) is an idempotent element if and only if \(S_e\) is a subsemigroup of \((S;*)\).
Proposition 2.3
Let \((S;*)\) be a right regular extension of a left cancellative semigroup T, and let e be an idempotent element of T. Then the subsemigroup \(S_e\) of \((S;*)\) is a retract ideal extension of a left zero semigroup by a zero semigroup.
Proof
Since \(S_e\) is a \(\theta _S^{right }\)-class of \(S=(S;*)\), the equality
holds for every \(x, a, b\in S_e\). Let \(a\in S_e\) be an arbitrary element. Then
and so
that is, \(a^2\) is an idempotent element. Let \(E(S_e)\) denote the set of all idempotent elements of \(S_e\). For arbitrary \(a, b\in S_e\), we have
Thus \(E(S_e)\) is an ideal of \(S_e\), and the Rees factor semigroup \(S_e/E(S_e)\) is a zero semigroup. For arbitrary \(f_1, f_2\in E(S_e)\),
Hence \(E(S_e)\) is a left zero semigroup. For arbitrary \(a, x\in S_e\), we have
Thus \(\varphi _{e,e}\) is a mapping of \(S_e\) into \(E(S_e)\). Let \(a, b, x\in S_e\) be arbitrary elements. Then
Hence \(\varphi _{e,e}\) is a homomorphism of \(S_e\) into \(E(S_e)\). For every \(f\in E(S_e)\), we have
that is, \(\varphi _{e,e}\) leaves the elements of \(E(S_e)\) fixed. Thus \(\varphi _{e,e}\) is a retract homomorphism of \(S_e\) onto the ideal \(E(S_e)\). Hence \(S_e\) is a retract ideal extension of the left zero semigroup \(E(S_e)\) by the zero semigroup \(S_e/E(S_e)\). \(\square \)
Applying also Proposition 2.3, we get the following corollary which will be used in the proof of Corollary 3.6.
Corollary 2.4
A right regular extension \((S;*)\) of a left cancellative semigroup T is idempotent-free if and only if T is idempotent-free.
3 Left equalizer simple medial semigroups
In our investigation, two subclasses of semigroups play an important role. These are the class of left commutative semigroups and the class of right commutative semigroups. Using the terminology of [14], a semigroup is said to be left commutative if it satisfies the identity \(xyb=yxb\). The notion of a right commutative semigroup is defined analogously. We note that left (resp., right) commutative semigroups are also called left (resp., right) pseudo commutative semigroups (see, for example, [15, 18]). It is clear that every left commutative semigroup and every right commutative semigroup is medial.
Left commutative and right commutative semigroups appear in several papers, see, for example, [7, 8, 13, 15, 16, 18] and books [9, 14].
The next two lemmas are obvious consequences of the definitions.
Lemma 3.1
On an arbitrary semigroup S, the following conditions are equivalent.
-
(1)
S is medial.
-
(2)
The factor semigroup \(S/\theta _S^{{\text {right}}}\) is left commutative.
Lemma 3.2
On an arbitrary semigroup S, the following conditions are equivalent.
-
(1)
S is left commutative.
-
(2)
The factor semigroup \(S/\theta _S^{{\text {left}}}\) is commutative.
In the next proposition, we show that the right cancellativity is a sufficient condition for a right commutative semigroup to be left equalizer simple. This fact and its dual will be used in the proof of Theorem 3.5.
Proposition 3.3
Every right cancellative right commutative semigroup is left equalizer simple.
Proof
Let a and b be arbitrary elements of a right cancellative right commutative semigroup S. Assume \(xa=xb\) for some \(x\in S\). Then, for an arbitrary \(y\in S\),
Since S is right cancellative, we obtain that
Thus S is left equalizer simple. \(\square \)
In the next proposition, we give a necessary and sufficient condition for a left equalizer simple semigroup to be right cancellative. The dual of this proposition will be used in the proof of Theorem 3.5.
Proposition 3.4
Let \((S;*)\) be a right regular extension of a left cancellative semigroup T. Then \((S;*)\) is right cancellative if and only if T is also right cancellative and the extension is injective.
Proof
Assume that the left cancellative semigroup T is also right cancellative and the mappings \(\varphi _{t, r}\) (\(t\in T, r\in tT\)) are injective. To show that \((S;*)\) is right cancellative, assume
for elements \(a\in S_x\), \(b\in S_y\) and \(s\in S_t\). Then
from which it follows that
As T is right cancellative, we get
Thus
from which we get \(a=b\) by the injectivity of \(\varphi _{x, xt}\). Thus \((S;*)\) is right cancellative.
Conversely, assume that \((S;*)\) is right cancellative. First we show that the mappings \(\varphi _{t, r}\) (\(t\in T, r\in tT\)) are injective. Let \(t\in T\), \(r\in tT\) be arbitrary elements. Assume
for \(a, b\in S_t\). Since T is left cancellative, then there is exactly one \(y\in T\) such that \(r=ty\). Then, for an arbitrary \(s\in S_y\), we have
From the right cancellativity of S it follows that \(a=b\). Therefore, \(\varphi _{t, r}\) is injective.
To show that T is right cancellative, assume
for \(x, y, t\in T\). Then, for arbitrary \(a\in S_x\), \(b\in S_y\), \(s\in S_t\), we have
As \(xt=yt\), we get
As \(S_{xt}\) is a \(\theta _S^{right }\)-class, we have
By the assumption that S is right cancellative, we get
and so
From this it follows that \(tx=ty\). As T is left cancellative, we get \(x=y\). Hence T is right cancellative. \(\square \)
The next theorem is the main result of the paper.
Theorem 3.5
A semigroup is left equalizer simple and medial if and only if it is a right regular extension of a semigroup which is an injective left regular extension of a commutative cancellative semigroup.
Proof
Let S be a left equalizer simple medial semigroup. By [12, Theorem 2.2] and Lemma 3.1, S is a right regular extension of the left cancellative, left commutative semigroup \(T=S/\theta _S^{right }\). By the dual of Proposition 3.3, T is right equalizer simple. By Lemma 3.2 and the dual of Proposition 2.2, T is a left regular extension of the commutative, cancellative semigroup \(U\cong T/\theta _T^{left }\). Since T is left cancellative, then the dual of Proposition 3.4 implies that this left regular extension is injective. Hence S is a right regular extension of the semigroup T which is an injective left regular extension of the commutative cancellative semigroup U.
Assume that a semigroup S is a right regular extension of a semigroup T which is an injective left regular extension of a commutative cancellative semigroup U. First of all, we note that this assumption is correct, because the semigroup T is left cancellative by the dual of Proposition 3.4. Thus the semigroup S is left equalizer simple by Proposition 2.2. Since U is a commutative semigroup and \(U\cong T/\theta _T^{left }\), then the semigroup T is left commutative by Lemma 3.2. As \(T\cong S/\theta _S^{right }\), we get that the semigroup S is medial by Lemma 3.1. \(\square \)
Corollary 3.6
A semigroup is a medial semigroup which is embedded in an idempotent-free left simple semigroup if and only if it is a right regular extension of a semigroup which is an injective left regular extension of an idempotent-free commutative cancellative semigroup.
Proof
It is obvious by [5, Theorem 1], Theorem 3.5, Corollary 2.4 and its dual. \(\square \)
References
C. Bonzini, A. Cherubini, Medial permutable semigroups. Semigroups, Szeged, Hungary. Proc. Coll. Math. Soc. János Bolyai 39, 21–39 (1981)
J.L. Chrislock, On medial semigroups. J. Algebra 12, 1–9 (1969)
A.H. Clifford, G.B. Preston, The Algebraic Theory of Semigroups I. (American Mathematical Society, Providence, Rhode Island, 1961)
A.H. Clifford, G.B. Preston, The Algebraic Theory of Semigroups II. (American Mathematical Society, Providence, Rhode Island, 1967)
P.M. Cohn, Embeddings in semigroups with one-sided division. J. London Math. Soc. 31(2), 169–181 (1956)
Z. Jiang, On medial local semigroups. Semigroup Forum 46, 120–122 (1993)
A. Nagy, Subdirectly irreducible right commutative semigroups. Semigroup Forum 46, 187–198 (1993)
A. Nagy, Right commutative \(\Delta \)-semigroups. Acta Sci. Math. (Szeged) 66, 33–46 (2000)
A. Nagy, Special Classes of Semigroups (Kluwer Academic Publishers, Dordrecht, 2001)
A. Nagy, Medial permutable semigroups of the first kind. Semigroup Forum 76–2, 297–308 (2008)
A. Nagy, Remarks on the paper “M. Kolibiar, On a construction of semigroups”. Period. Math. Hung. 71(2), 261–264 (2015)
A. Nagy, Left equalizer simple semigroups. Acta Math. Hungar. 148(2), 300–311 (2016)
T.E. Nordahl, Finitely generated left commutative semigroups are residue finite. Semigroup Forum 28, 347 (1984)
M. Petrich, Lectures in Semigroups (Akademie-Verlag, Berlin, 1977)
B.M. Schein, On the theory of restrictive semigroups. Izv. Vyssh. Uchebn. Zaved. Mat. No. 2, 152–154 (1963) (Russian)
B.M. Schein, Restrictive semigroups and bisemigroups (Technical Report. University of Arkansas, Fayetteville, Arkansas, USA, 1989), pp. 1–23
R. Strecker, Konstruktionen freier medialer Halbgruppen aus kommutativen Halbgruppen. Wiss. Zeitschr. PH Güstrow, math.-mat. Pak. 20, 265–271 (1982)
V.V. Vagner, Restrictive semigroups. Izv. Vyssh. Uchebn. Zaved. Mat. No 6, 19–27 (1962) (Russian)
Acknowledgements
The author is thankful to the referee for the valuable suggestions which have improved the presentation of this article.
Funding
Open access funding provided by Budapest University of Technology and Economics.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nagy, A. A construction of left equalizer simple medial semigroups. Period Math Hung 86, 37–42 (2023). https://doi.org/10.1007/s10998-022-00454-w
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10998-022-00454-w