arXiv:1609.09821v3 [math.GR] 6 Sep 2021 fcmltl ipeadcmltl -ipesmgop ntrso the of terms in 0-simple completely and simple completely of eerti upre yNtoa eerh eeomn n In and Development Research, 115288 National by supported is Researct arxcntuto a rtue yD esi [ The in ca Rees semigroups. that D. of tools by structure the used the of first of one was study is construction the in matrix applied Rees the effectively of concept The Introduction 1 1 00MteaisSbetCasfiain 01,20M30. 20M10, Classification: Subject semigroup 2010 matrix Rees congruence, semigroup, Keywords: orsodn uhr tiaNg,eal [email protected] email: Nagy, Attila author: Corresponding lrsqec fsmgop,adso hteeycongruence sequence. every a that such righ show defines a and semigroup of arbitrary concept semigroups, the of em- define sequence of We cance ular one constructed. right by be commutative Motivated right can how semigroups sem show them. matrix we on theorems, Rees bedding theorems of embedding type prove this and of representation regular right eooe semigroup a over zero h olcino all of collection the h ih eua ersnainof representation regular right the igeo,Λi h atrsmgopof semigroup factor the is Λ singleton, a nseilRe arxsmgop vrsemigroups over semigroups matrix Rees special On nti ae efcso Rees on focus we paper this In uaetUiest fTcnlg n Economics and Technology of University Budapest aytmt.m.u [email protected] [email protected], 51Bdps,PO o 1 Hungary 91, Box P.O. Budapest, 1521 tiaNg n sb T´oth Csaba and Nagy Attila θ nttt fMathematics of Institute S eateto Algebra of Department S cassof -classes ihΛ with Abstract × 1 S I I S edsrb h enlo the of kernel the describe We . and , × adihmatrix sandwich arxsmgop without semigroups matrix Λ S P ouotekernel the modulo sacoc ucinon function choice a is 19 ogv description a give to ] oainOc NKFIH, – Office novation P where , igroups, llative nan on reg- t θ S I 1 of is Rees be n ir maximal subgroups. Groups in the construction can be replaced with semi- groups, see, for example, [1], [8], [10], [11], [18]. If S is a semigroup, I and Λ are non empty sets, and P is a Λ × I matrix with entries P (λ, i), then the set M(S; I, Λ; P ) of all triples (i,s,λ) ∈ I × S × Λ is a semigroup under the (i,s,λ)(j, t, µ)=(i,sP (λ, j)t, µ). This semigroup is called a Rees I × Λ matrix semigroup without zero over the semigroup S with Λ × I sandwich matrix P . If I = {i} is a singleton, then the entries of P can be denoted by P (λ), the element (i,s,λ) of M(S; I, Λ; P ) can be considered in the form (s,λ), and the operation on M(S; I, Λ; P ) is modified as follows: (s,λ)(t, µ)=(sP (λ)t, µ). In this case, we shall use the notation M(S;Λ; P ) instead of M(S; I, Λ; P ). The concept of this type of Rees matrix semigroups is not new, it has already occurred in the book [3]. Let S be a semigroup and α be a congruences on S. Let P be a choice function on the collection of all α-classes of S, i.e., P ([s]α) ∈ [s]α for every α- class [s]α of S. Consider the Rees matrix semigroup M(S; S/α; P ). Let β bea congruence on S with α ⊆ β, and let P ′ : S/α → S/β be the mapping defined ′ as follows: P ([s]α) = [s]β for every [s]α ∈ S/α. Consider the Rees matrix ′ semigroup M(S/β; S/α; P ). Let Fα,β be the mapping of M(S; S/α; P ) onto ′ M(S/β; S/α; P ) defined as follows: Fα,β : (a, [s]α) 7→ ([a]β, [s]α) for every (a, [s]α) ∈ M(S; S/α; P ). In Section 2, we prove that Fα,β is a surjective homomorphism.

If a is an arbitrary element of a semigroup S, then ̺a : s 7→ sa (s ∈ S) is a right translation ([2]) of S, and ΦS : a 7→ ̺a is a homomorphism of the semigroup S into the semigroup of all right translations of S. The homomor- phism ΦS is called the right regular representation of S. The right regular representation of semigroups plays an important role in the investigation of the structure of semigroups. Here we refer to only papers [5], [6], [14], [15], and [16] in which the structure of semigroups S are examined by the help of the semigroup ΦS (S). The right regular representation ΦS is injective if and only if S is left reductive, i.e., for arbitrary elements a, b ∈ S, sa = sb for all s ∈ S implies a = b. For an arbitrary semigroup S, let θS denote the kernel of ΦS . It is clear that (a, b) ∈ θS if and only if xa = xb for all x ∈ S. For every semigroup S, the factor semigroup S/θS will be denoted by S/θ. In this paper we focus on Rees matrix semigroups M(S; S/θ; P ), where S is an arbitrary semigroup and P is an arbitrary choice function on the collection of all θS-classes of S. In Section 2, we investigate the kernel of the right regular representation of M(S; S/θ; P ). In Section 3, we discuss

2 the embedding of semigroups M(S; S/θ; P ) in idempotent-free left simple semigroups. Let ̺ be a congruence on a semigroup S. Then ̺∗ = {(a, b) ∈ S × S : (∀s ∈ S)(sa, sb) ∈ ̺} is also a congruence on S which will be called the right colon congruence of ̺. It is clear that ̺ ⊆ ̺∗. Throughout the paper, the ∗ ∗ factor semigroup S/θS is denoted by S/θ . In Section 2, we prove the following theorem.

Theorem 1 Let β be a congruence on a semigroup S with θS ⊆ β and P be a choice function on the collection of all θS-classes of S. Then θM(S;S/θ;P ) ∗ ∼ equals the kernel of FθS,β if and only if β = θS. Thus M(S; S/θ; P )/θ = M(S/θ∗; S/θ; P ′), where P ′ is the mapping of S/θ onto S/θ∗ defined as fol- ′ ∗ lows: P ([s]θS ) = [s]θS for every [s]θS ∈ S/θ.

Let C be a class of semigroups. A congruence ̺ on a semigroup S is called a C-congruence if the factor semigroup S/̺ belongs to C. According to this definition, a congruence ̺ on a semigroup S is called a left cancellative congruence if the factor semigroup S/̺ is left cancellative. In other words, ̺ is a left cancellative congruence on a semigroup S if (xa, xb) ∈ ̺ implies (a, b) ∈ ̺ for every x, a, b ∈ S. In [4, Theorem 1], P.M. Cohn gave necessary and sufficient conditions for a semigroup to be embedded in a left simple semigroup. The conditions differ essentially according to whether or not the semigroup contains an idempotent element. He proved 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 ∈ S, xa = xb implies ya = yb. Using the terminology of [15], a semigroup S satisfying this last condition is called a left equalizer simple semigroup. In other words, a semigroup S is left equalizer simple if, for arbitrary elements a, b ∈ S, the assumption that xa = xb is satisfied for some x ∈ S implies that ya = yb is satisfied for all y ∈ S. By [15, Theorem 2.1], a semigroup S is left equalizer simple if and only if θS is a left cancellative congruence. Thus a semigroup S is embedded in an idempotent-free left simple semigroup if and only if S is idempotent-free and θS is a left cancellative congruence. In Section 3, we prove the following theorem.

Theorem 2 Let S be a semigroup and P be a choice function on the collec- tion of all θS-classes of S. Then the Rees matrix semigroup M(S; S/θ; P )

3 can be embedded in an idempotent-free left simple semigroup if and only if S ∗ is idempotent-free and the right colon congruence θS of θS is left cancellative.

A semigroup satisfying the identity axy = ayx is called a right commu- tative semigroup. As a corollary of Theorem 2, we prove that if S is an idempotent-free right commutative right cancellative semigroup and P is a choice function on the collection of all θS-classes of S, then the Rees ma- trix semigroup M(S; S/θ; P ) is embedded in an idempotent-free left simple semigroup (Corollary 1). In , we show how to construct right com- mutative right cancellative semigroups (Theorem 4). By the result of Theorem 1, a finite sequence S, S/θ, S/θ∗ of semigroups has the property: there are mappings

′ S ←−P S/θ −→P S/θ∗ such that M(S; S/θ; P )/θ ∼= M(S/θ∗; S/θ; P ′). On the base of this result, we define a property of sequences of semigroups.

Definition 1 A triple A,B,C of semigroups will said to be right regular, if there are mappings ′ A ←−P B −→P C such that M(A; B; P )/θ ∼= M(C; B; P ′). An infinite sequence

S0,S1,...,Sn−1,Sn,Sn+1,... of semigroups will said to be right regular if, for every positive integer n, the triple Sn−1,Sn,Sn+1 is right regular, i.e., there are mappings

Pn,n−1 Pn,n+1 Sn−1 ←− Sn −→ Sn+1 ∼ such that M(Sn−1; Sn; Pn,n−1)/θ = M(Sn+1; Sn; Pn,n+1).

In Section 4, we show that every congruence on a semigroup defines a right regular sequence of semigroups. For a congruence ̺ on a semigroup S, we consider the sequence ̺(0) ⊆ ̺(1) ⊆···⊆ ̺(n) ⊆··· of congruences, where ̺(0) = ̺ and, for every positive integer n, ̺(n) is the right colon congruence of (n−1) ∞ (n) ̺ . It is shown in [13, Lemma 5] that Sn=0 ̺ ⊆ lrc(̺) for an arbitrary ∞ (n) congruence ̺ on an arbitrary semigroup S. The equation Sn=0 ̺ = lrc(̺)

4 ∞ (n) is satisfied if and only if the congruence Sn=0 ̺ is left reductive. In Section 3, we show that sequences ̺(0) ⊆ ̺(1) ⊆···⊆ ̺(n) ⊆ ··· of congruences on semigroups also play an important role in our present investigation. We prove the following theorem.

Theorem 3 For an arbitrary congruence ̺ on an arbitrary semigroup S, the sequence S/̺(0), S/̺(1),..., S/̺(n),... of factor semigroups is right regular, where ̺(0) = ̺ and ̺(n) (n ≥ 1) denotes the right colon congruence of ̺(n−1). For notations and notions not defined but used in this paper, we refer to books [2], [9], and [12].

2 The proof of Theorem 1

First we prove a lemma, which will be used in the proof of Theorem 1.

Lemma 1 For arbitrary congruences α and β on a semigroup S with α ⊆ β, and arbitrary choice function P on the collection of all α-classes of S, the mapping Fα,β : (a, [s]α) 7→ ([a]β, [s]α) is a surjective homomorphism of the Rees matrix semigroup M(S; S/α; P ) onto the Rees matrix semigroup M(S/β; S/α; P ′), where P ′ is the mapping of S/α onto S/β defined by ′ P ([s]α) = [s]β for every [s]α ∈ S/α.

Proof. It is clear that Fα,β is surjective. We show that Fα,β is a homomor- phism. Since P ([s]α) ∈ [s]α and α ⊆ β, we have [P ([s]α)]β = [s]β for every s ∈ S. Let(a, [s]α) and (b, [t]α) be arbitrary elements of M(S; S/α; P ). Then

Fα,β((a, [s]α)(b, [t]α)) = Fα,β((aP ([s]α)b, [t]α)) =

= ([aP ([s]α)b]β, [t]α)) = ([a]β[P ([s]α)]β[b]β, [t]α)= ′ = ([a]β[s]β[b]β, [t]α) = ([a]βP ([s]α)[b]β, [t]α)=

= ([a]β, [s]α)([b]β, [t]α)= Fα,β((a, [s]α))Fα,β((b, [t]α)).

Thus Fα,β is a homomorphism. ⊓ The proof of Theorem 1:

We show that if β is a congruence on a semigroup S with θS ⊆ β, then ∗ θM(S;S/θ;P ) equals the kernel of FθS,β if and only if β = θS. Recall that P is an arbitrary choice function on the collection of all θS -classes of S

5 and FθS,β is the surjective homomorphism of the Rees matrix semigroup M(S; S/θ; P ) onto the Rees matrix semigroup M(S/β; S/θ; P ′) defined as follows: FθS,β :(a, [s]θS ) 7→ ([a]β, [s]θS ) for every a, s ∈ S. In the first part of the proof we show that θM(S;S/θ;P ) equals the kernel of ∗ FθS,θS . For elements (a, [s]θS ) and (b, [t]θS ) of M(S; S/θ; P ),

∗ ((a, [s]θS ), (b, [t]θS )) ∈ kerFθS,θS if and only if ∗ ∗ ([a]θS , [s]θS )) = ([b]θS , [t]θS ), i.e.,

[s]θS = [t]θS (1) and (∀x, y ∈ S) xya = xyb. (2) We show that (1) and (2) together are equivalent to the condition that

((a, [s]θS ), (b, [t]θS )) ∈ θM(S;S/θ:P ).

Assume (1) and (2). Then, for every (x, [y]θS ) ∈M(S; S/θ; P ), we have

(x, [y]θS )(a, [s]θS )=(xP ([y]θS )a, [s]θS )=(xya, [s]θS )=

=(xyb, [s]θS )=(xP ([y]θS )b, [s]θS )=(x, [y]θS )(b, [t]θS ), and hence

((a, [s]θS ), (b, [t]θS )) ∈ θM(S;S/θ:P ). Conversely, assume that

((a, [s]θS ), (b, [t]θS )) ∈ θM(S;S/θ:P ).

Then, for every x, y ∈ S,

(x, [y]θS )(a, [s]θS )=(x, [y]θS )(b, [t]θS ), and hence

(xya, [s]θS )=(xP ([y]θS )a, [s]θS )=(x, [y]θS )(a, [s]θS )=

=(x, [y]θS )(b, [t]θS )=(xP ([y]θS )b, [t]θS )=(xyb, [t]θS ),

6 which implies (1) and (2). Consequently

∗ M kerFθS,θS = θ (S;S/θ;P ).

In the second part of the proof, we prove that if kerFθS,β = θM(S;S/θ;P ) ∗ for some congruence β on S with θS ⊆ β, then β = θS. Assume

kerFθS,β = θM(S;S/θ;P ) ∗ for a congruence β on S with θS ⊆ β. First we show that β ⊆ θS. Assume (a, b) ∈ β, i.e., [a]β = [b]β, which is equivalent to the condition that, for every

[s]θS ∈ S/θ,

FθS,β((a, [s]θS )) = FθS,β((b, [s]θS )), i.e.,

((a, [s]θS ), (b, [s]θS )) ∈ kerFθS,β = θM(S;S/θ;P ). This last condition is equivalent to the condition that, for every x, y ∈ S,

(x, [y]θS )(a, [s]θS )=(x, [y]θS )(b, [s]θS ), i.e.,

(xya, [s]θS )=(xyb, [s]θS ), which is equivalent to the condition that, for every x, y ∈ S, xya = xyb, i.e., ∗ (a, b) ∈ θS. Hence ∗ β ⊆ θS. ∗ ∗ Next we show that θS ⊆ β. Assume (a, b) ∈ θS. Then xya = xyb for every x, y ∈ S. Let(x, [y]θS ) be an arbitrary element of M(S; S/θ; P ), and let [s]θS be an arbitrary element of S/θ. Then

(x, [y]θS )(a, [s]θS )=(xya, [s]θS )=(xyb, [s]θS )=(x, [y]θS )(b, [s]θS ), i.e.,

((a, [s]θS ), (b, [s]θS )) ∈ θM(S;S/θ;P ) = kerFθS,β.

Then [a]β = [b]β, i.e., (a, b) ∈ β. Hence ∗ θS ⊆ β. ∗ Consequently β = θS . ∼ ∗ ′ The isomorphism M(S; S/θ; P )/θ = M(S/θS; S/θ; P ) is a consequence ∗ M ⊓ of the equation kerFθS,θS = θ (S;S/θ;P ).

7 3 The proof of Theorem 2

We show that if S is a semigroup and P is a choice function on the collection of all θS -classes of S, then the Rees matrix semigroup M(S; S/θ; P ) can be embedded in an idempotent-free left simple semigroup if and only if S is ∗ idempotent-free and the right colon congruence θS of θS is left cancellative. By [17, Corollary 2.4], a semigroup S is idempotent-free if and only if the factor semigroup S/θ is idempotent-free. This fact will be used throughout the proof. We assume first that S is an idempotent-free semigroup such that the ∗ right colon congruence θS is left cancellative. Then the factor semigroup S/θ∗ is left cancellative. Since S is idempotent-free and S/θ∗ ∼= (S/θ)/θ, the factor semigroup S/θ∗ is idempotent-free. Thus S/θ∗ is left cancellative and idempotent-free. We show that the Rees matrix semigroup M(S/θ∗; S/θ; P ′) is also left cancellative and idempotent-free, where P ′ : S/θ 7→ S/θ∗ is defined ′ ∗ ∗ ∗ ∗ by P ([s]θ) = [s]θ . Let ([x]θS , [y]θS ), ([a]θS , [s]θS ), ([b]θS , [t]θS ) be arbitrary elements of M(S/θ∗; S/θ; P ′). Assume

∗ ∗ ∗ ∗ ([x]θS , [y]θS )([a]θS , [s]θS ) = ([x]θS , [y]θS )([b]θS , [t]θS ). Then

′ ∗ ∗ ∗ ∗ ∗ ∗ ([xya]θS , [s]θS ) = ([x]θS [y]θS [a]θS , [s]θS ) = ([x]θS P ([y]θS )[a]θS , [s]θS )=

∗ ∗ ∗ ∗ = ([x]θS , [y]θS )([a]θS , [s]θS ) = ([x]θS , [y]θS )([b]θS , [t]θS )= ′ ∗ ∗ ∗ ∗ ∗ ∗ = ([x]θS P ([y]θS )[b]θS , [t]θS ) = ([x]θS [y]θS [b]θS , [t]θS ) = [xyb]θS , [t]θS ), and hence ∗ (xya, xyb) ∈ θS and [s]θS = [t]θS . ∗ ∗ Since θS is a left cancellative congruence on S, we have (a, b) ∈ θS, and consequently ∗ ∗ ([a]θS , [s]θS ) = ([b]θS , [t]θS ). Thus the Rees matrix semigroup M(S/θ∗; S/θ; P ′) is left cancellative. Sup- pose, indirectly, that the Rees matrix semigroup M(S/θ∗; S/θ; P ′) contains ∗ an idempotent element ([e]θS , [f]θS ). Then

∗ ∗ ∗ ∗ ([e]θS [f]θS [e]θS , [f]θS ) = ([e]θS , [f]θS ),

8 ∗ ∗ ∗ and hence [e]θS is a regular element of the semigroup S/θ . Thus S/θ con- tains an idempotent element. This is a contradiction. Consequently the Rees matrix semigroup M(S/θ∗; S/θ; P ′) is an idempotent-free left cancella- tive semigroup. By Theorem 1, M(S; S/θ; P )/θ ∼= M(S/θ∗; S/θ; P ′). Thus θM(S;S/θ;P ) is a left cancellative congruence, and hence M(S; S/θ; P ) is left equalizer simple by [15, Theorem 2.1]. Since M(S/θ∗; S/θ; P ′) is idempotent- free, M(S; S/θ; P )/θ ∼= M(S/θ∗; S/θ; P ′) also implies that M(S; S/θ; P ) is idempotent-free. Thus M(S; S/θ; P ) is an idempotent-free left equalizer simple semigroup. By [4, Theorem 1], M(S; S/θ; P ) can be embedded in an idempotent-free left simple semigroup. Conversely, assume that the Rees matrix semigroup M(S; S/θ; P ) can be embedded in an idempotent-free left simple semigroup. Then M(S; S/θ; P ) is an idempotent-free left equalizer simple semigroup by [4, Theorem 1]. By Theorem 1, M(S/θ∗; S/θ; P ′) ∼= M(S; S/θ; P )/θ. Then, applying also [15, Theorem 2.1], we get that M(S/θ∗; S/θ; P ′) is an idempotent-free left cancellative semigroup. If e is an idempotent element of S, then

∗ ∗ ∗ ([e]θS , [e]θS )([e]θS , [e]θS ) = ([e]θS , [e]θS ),

∗ ∗ ′ i.e., ([e]θS , [e]θS ) is an idempotent element of M(S/θ ; S/θ; P ). Thus S is idempotent-free, because M(S/θ∗; S/θ; P ′) is idempotent-free. It remains to ∗ ∗ show that θS is a left cancellative congruence on S. Assume (xa, xb) ∈ θS for elements x, a, b ∈ S. Then, for arbitrary y,s ∈ S, we have

′ ∗ ∗ ∗ ∗ ∗ ([y]θS , [x]θS )([a]θS , [s]θS ) = ([y]θS P ([x]θS )[a]θS , [s]θS ) = ([yxa]θS , [s]θS )= ′ ∗ ∗ ∗ ∗ ∗ = ([yxb]θS , [s]θS ) = ([y]θS P ([x]θS )[b]θS , [s]θS ) = ([y]θS , [x]θS )([b]θS , [s]θS ), from which we get ∗ ∗ ([a]θS , [s]θS ) = ([b]θS , [s]θS ), ∗ ′ ∗ because M(S/θ ; S/θ; P ) is left cancellative. Thus (a, b) ∈ θS . Consequently ∗ θS is a left cancellative congruence. ⊓ Corollary 1 Let S be an idempotent-free right commutative right cancella- tive semigroup and P be a choice function on the collection of all θS-classes of S. Then the Rees matrix semigroup M(S; S/θ; P ) is embedded in an idempotent-free left simple semigroup. ∗ Proof. By Theorem 2, it is sufficient to show that θS is a left cancellative ∗ congruence on S. Assume (xa, xb) ∈ θS for elements x, a, b ∈ S. Then, for

9 every s, t ∈ S, stxa = stxb, and hence stax = stbx by right commutativity of S. Since S is right cancellative, sta = stb (for every s, t ∈ S), and hence ∗ ∗ (a, b) ∈ θS. Consequently θS is a left cancellative congruence. ⊓

Corollary 2 The following conditions on a right commutative right cancella- tive semigroup S are equivalent.

(1) S is embedded in an idempotent-free left simple semigroup.

(2) For any choice function P on the collection of all θS-classes of S, the Rees matrix semigroup M(S; S/θ; P ) is embedded in an idempotent-free left simple semigroup.

Proof. (1) implies (2): If S is embedded in an idempotent-free left simple semigroup, then S is idempotent-free, and hence the Rees matrix semigroup M(S; S/θ; P ) is embedded in an idempotent-free left simple semigroup by Corollary 1. (2) implies (1): Assume that the Rees matrix semigroup M(S; S/θ; P ) is embedded in an idempotent-free left simple semigroup. Then, by Theorem 2, ∗ S is idempotent-free and θS is a left cancellative congruence. Assume (a, b) ∈ ∗ θS for elements a, b ∈ S. Then, for all x, y ∈ S, xya = xyb. Since S is right commutative, xay = xby. Since S is right cancellative, we get xa = xb (for ∗ ∗ all x ∈ S). Hence (a, b) ∈ θS. Thus θS ⊆ θS, and consequently θS = θS , ∗ because θS ⊆ θS is satisfied by the definition of the right colon congruence. Hence θS is a left cancellative congruence. Thus, by [15, Theorem 2.1], S is left equalizer simple. Consequently S is embedded in an idempotent-free left simple semigroup by [4, Theorem 1]. ⊓ In the next we show how to construct (idempotent-free) right commuta- tive right cancellative semigroups. We use the following construction.

Construction 1 ([15, Construction 1]) Let T be a left cancellative semi- . For each t ∈ T , associate a nonempty set St to t such that St ∩Sr = ∅ for every t, r ∈ T with t =6 r. For arbitrary couple (t, r) ∈ T × T with r ∈ tT , let ϕt,r be a mapping of St into Sr acting on the right. For all t ∈ T , r ∈ tT , q ∈ rT ⊆ tT , assume

ϕt,rϕr,q = ϕt,q.

10 On the set S = ∪t∈T St define an operation ∗ as follows: for arbitrary a ∈ St and b ∈ Sx, let a ∗ b = aϕt,tx.

If a ∈ St, b ∈ Sx, c ∈ Sy are arbitrary elements then

a ∗ (b ∗ c)= a ∗ bϕx,xy = aϕt,t(xy) =

= aϕt,txϕtx,t(xy) = aϕt,tx ∗ c =(a ∗ b) ∗ c. Thus (S; ∗) is a semigroup.

The semigroup (S; ∗) defined in Construction 1 will said to be a right regular extension of the left cancellative semigroup T . A right regular extension of a left cancellative semigroup T is is said to be injective if the mappings ϕt,r are injective for every t ∈ T and r ∈ tT .

Theorem 4 A semigroup S is right commutative and right cancellative if and only if it is an injective right regular extension of a commutative can- cellative semigroup T . S is idempotent-free if and only if T is idempotent- free. Proof. Let S be a right commutative right cancellative semigroup. Assume xa = xb for elements x, a, b ∈ S. Then

uax = uxa = uxb = ubx is satisfied for all u ∈ S. Since S is right cancellative, we get ua = ub for all u ∈ S. Hence S is left equalizer simple. Then, by [15, Theorem 2.2], S is a right regular extension of a left cancellative semigroup T . Since S is right commutative, T is commutative. Thus S is a right regular extension of the commutative cancellative semigroup T . We show that the mappings ϕt,r are injective for every t ∈ T and r ∈ tT . Let t ∈ T , r ∈ tT , and a, b ∈ St be arbitrary elements. Assume aϕt,r = bϕt,r. Let x ∈ T be the (only) element of T with r = tx. Denoting the multiplication on S by ∗, for an arbitrary c ∈ Sx, a ∗ c = aϕt,r = bϕt,r = b ∗ c, from which we get a = b, because S is right cancellative. Thus ϕt,r is injective. Consequently S is an injective right regular extension of the commutative cancellative semigroup T .

11 Conversely, assume that a semigroup S is an injective right regular ex- tension of a commutative cancellative semigroup T . It is clear that S is right commutative. To show that S is right cancellative, assume a ∗ c = b ∗ c for elements a ∈ Sx, b ∈ Sy, c ∈ St (x, y, t ∈ T ). Then aϕx,xt = bϕy,yt, and hence xt = yt. Since T is cancellative, x = y. Thus a, b ∈ Sx and aϕx,xt = bϕx,xt. Since ϕx,xt is injective, we get a = b. Consequently S is right cancellative. Since T ∼= S/θ, the proof of Theorem 2 implies that S is idempotent-free if and only if T is idempotent-free. ⊓

4 The proof of Theorem 3

(k) For brevity, the factor semigroup S/θS on a semigroup S will be denoted by S/θ(k) for every nonnegative integer k. First we prove a lemma which will be used in the proof of Theorem 3.

Lemma 2 Let S be a semigroup. Then, for every non-negative integers n and k, (S/̺(n))/θ(k) ∼= S/̺(n+k+1). Proof. Let S be an arbitrary semigroup and n, k be arbitrary non-negative (n) integers. Let (·)ϕ1 denote the canonical homomorphism of S onto S/̺ , (n) (k) and let (·)ϕ2 be the canonical homomorphism of (S/̺ )/θ . We show that (n+k+1) the kernel of ϕ1 ◦ ϕ2 is ̺ , and so the assertion of the lemma follows from the homomorphism theorem. Let a, b ∈ S be arbitrary elements. Then

(a)(ϕ1 ◦ ϕ2)=(b)(ϕ1 ◦ ϕ2) if and only if (k) n n ([a]̺( ) , [b]̺( ) ) ∈ θS/̺(n) , which is equivalent to the condition that, for every xi ∈ S (i =1,...,k + 1),

[x1]̺(n) ··· [xk+1]̺(n) [a]̺(n) = [x1]̺(n) ··· [xk+1]̺(n) [b]̺(n) , i.e., (n) (x1 ··· xk+1a, x1 ··· xk+1b) ∈ ̺ , which is equivalent to the condition that

(a, b) ∈ ̺n+k+1.

12 (n+k+1) Consequently, the kernel of ϕ1 ◦ ϕ2 equals ̺ . ⊓

The proof of Theorem 3: Let ̺ be an arbitrary congruence on a semigroup S. We show that the sequence

S/̺(0), S/̺(1),..., S/̺(n−1), S/̺(n), S/̺(n+1),... of factor semigroups is right regular. Let n be an arbitrary positive integer. Applying Lemma 2, we have

− − (S/̺(n 1))/θ ∼= S/̺(n) and (S/̺(n 1))/θ(1) ∼= S/̺(n+1).

Then, by Theorem 1, the triple

S/̺(n−1),S/̺(n),S/̺(n+1) of factor semigroups is right regular. Consequently, the sequence

S/̺(0),...,S/̺(n−1),S/̺(n),S/̺(n+1),... is right regular. ⊓

Remark 1 By Lemma 2, (S/θ)/θ ∼= S/θ∗ is satisfied for an arbitrary semi- group S. Thus, if A,B,C are semigroups such that A/θ ∼= B and B/θ ∼= C, then the triple A,B,C is right regular by Theorem 1. In the next, we give a right regular triple A,B,C of semigroups, where non of the isomorphisms A/θ =∼ B and B/θ ∼= C is fulfilled. Let A be a left zero semigroup, i.e., a semigroup which satisfies the iden- tity ab = a. It is easy to see that θA is the universal relation on A. Let B be a right zero semigroup, i.e., a semigroup which satisfies the identity ab = b. It is clear that θB is the identity relation on B. Assume |B| ≥ 2. Then A/θ 6∼= B. If C = {e} is a one-element semigroup, then B/θ 6∼= C. Thus non of the isomorphisms A/θ ∼= B and B/θ ∼= C is fulfilled. We show that the triple A,B,C is right regular. Let P : B → A be an ar- bitrary mapping. For every elements (a1, b1) and (a2, b2) of M(A; B; P ), (a1, b1)(a2, b2)=(a1P (b1)a2, b2)=(a1, b2). Thus M(A; B; P ) is isomorphic to the direct product of the left zero semigroup A and the right zero semi- group B. It is easy to see that M(A; B; P )/θ ∼= B. Let P ′ denote the (only possible) mapping of B onto the one-element semigroup C = {e}. In

13 ′ ′ the semigroup M(C; B; P ), we have (e, b1)(e, b2)=(eP (b1)e, b2)=(e, b2) for every b1, b2 ∈ B from which it follows that b 7→ (e, b) is an isomor- phism of B onto M(C; B; P ′), and so B ∼= M(C; B; P ′). Consequently M(A; B; P )/θ ∼= M(C; B; P ′). Hence the triple A,B,C is right regular.

References

[1] H. Ayik and N. Ru˘skuc, Generators and relations of Rees matrix semi- groups, Proc. Edinburgh Math. Soc., 42 (1999), 481-–495, 1999.

[2] A.H. Clifford and G.B. Preston, The Algebraic Theory of Semigroups I, Amer. Math. Soc. Providence R.I., 1961.

[3] A.H. Clifford and G.B. Preston, The Algebraic Theory of Semigroups II, Amer. Math. Soc. Providence R.I., 1967.

[4] P.M. Cohn, Embeddings in semigroups with one-sided division, Journal of the London Mathematical Society, 31-2 (1956), 169–181

[5] J.L. Chrislock, Semigroups whose regular representation is a group, Proc. Japan Acad., 40 (1964), 799-–800.

[6] J.L. Chrislock, Semigroups whose regular representation is a right group, Amer. Math. Monthly, 74 (1967), 1097—1100.

[7] R. Croisot, Demi-groupes simple inversifs `agauche, C.R. Acad. Sci. Paris, 239 (1954), 845–847.

[8] L. Descalco and N. Ru˘skuc, On automatic Rees matrix semigroups, Comm. Algebra, 30 (2002), 1207—1226.

[9] J.M. Howie, An Introduction to Semigroup Theory, Academic Press, Lon- don, 1976.

[10] M. Kambites, The loop problem for Rees matrix semigroups, Semigroup Forum, 76 (2008), 204–216

[11] D. B. McAlister, Rees matrix covers for locally inverse semigroups, Trans. Amer. Math. Soc., 227 (1983), 727-–738.

14 [12] A. Nagy, Special Classes of Semigroups, Kluwer Academic Publishers, Dordrecht/Boston/London, 2001.

[13] A. Nagy, Left reductive congruences on semigroups, Semigroup Forum, 87 (2013), 129–148.

[14] A. Nagy, Remarks on the paper ”M. Kolibiar, On a construction of semigroups”, Periodica Mathematica Hungarica, 71 (2015), 261–264.

[15] A. Nagy, Left equalizer simple semigroups, Acta Mathematica Hungar- ica, 148-2 (2016), 300–311.

[16] A. Nagy and O. Nagy, A construction of semigroups whose elements are middle units, International Journal of Algebra, 14-3 (2020), 163–169.

[17] A. Nagy, A construction of left equalizer simple medial semigroups, Pe- riodica Mathematica Hungarica (to appear)

[18] M. Petrich, Embedding semigroups into idempotent generated ones, Monatsh. Math., 141(4) (2004), 315—322.

[19] D. Rees, On semi-groups, Proc. Cambridge Philosophical Society, 36 (1940), 387—400.

[20] M. Teissier, Sur les demi-groupes admettant l’existence du quotient d’un cˆot´e, C.R. Acad. Sci. Paris, 236 (1953), 1120–1122.

[21] M. Teissier, Sur les demi-groupes ne contenant pas d’´el´ement idempo- tent, C.R. Acad. Sci. Paris, 237 (1953), 1375–1377.

15