Article Search
eISSN 0454-8124
pISSN 1225-6951

### Article

Kyungpook Mathematical Journal 2022; 62(1): 29-41

Published online March 31, 2022

### Left Regular and Left Weakly Regular n-ary Semigroups

Patchara Pornsurat and Bundit Pibaljommee*

Department of Mathematics, Faculty of Science, Khon Kaen University, Khon Kaen, 40002, Thailand
e-mail : p.patchara@kkumail.com and banpib@kku.ac.th

Received: July 13, 2021; Revised: November 2, 2021; Accepted: November 15, 2021

### Abstract

We study the concept of a quasi-ideal and a generalized bi-ideal of an n-ary semigroup; give a construction of the quasi-ideal of an n-ary semigroup generated by its nonempty subset; and introduce the notions of regularities, namely, a left regularity and a left weakly regularity. Moreover, the notions of a right regularity, a right weak regularity and a complete regularity are given. Finally, characterizations of these regularities are presented.

Keywords: n-ary semigroup, left regular, right regular, quasi-ideal

### 1. Introduction

The concept of a semigroup has been extensively studied for a long time, as has that of an ordered semigroups, which is a semigroup together with a partially ordered relation. Classical results on ordered semigroups can be found in [1, 2]. Many kinds of regularity of ordered semigroups were studied by Kehayopulu and Tsingelis (see, [12, 13, 14, 15, 16]). In 1991, Kehayopulu [13] introduced the concept of right regular ordered semigroups and considered semigroups in which the right ideals are two-sided. Kehayopulu [14] gave the concept of complete regularity and gave characterizations of completely regular poe-semigroups which generalize the characterizations of completely regular semigroups (without order) which is given by Steinfeld [24]. Additionally, the characterizations of right weakly regular semigroups can be found in [10, 17].

The definition and theory of ternary semigroups were first introduced by Lehmer [18] in 1932. Santiago [22] investigated the notion of ideals of ternary semigroups and gave some properties of regular ternary semigroups. In 2012, Daddi and Pawar [3] investigated the notion of ordered quasi-ideals and ordered bi-ideals of ordered ternary semigroups and used them to characterize regular ordered ternary semigroups. N. Lekkoksung and P. Jampachon [19] gave the other types of regularities of ordered ternary semigroups, namely, left (right) weakly regular ordered ternary semigroups. Later, several types of regularities of ordered ternary semigroups were characterized in terms of ordered ideals by Pornsurat and Pibaljommee in [7].

The notion of n-ary systems was first introduced by Kasner [11] in 1904. In 1928, Dörnte [5] studied the notion of n-ary groups which is a generalization of groups. Sioson [23] gave the notion of regular n-ary semigroups and used their ideals to characterize regular n-ary semigroups. Later, Dudek and Groździńska [6]gave a new definition of regular n-ary semigroups and investigated some properties of regular n-ary semigroups. Additionally, Dudek proved several results and gave many examples of n-ary groups in [7, 8]. Moreover, Dudek [9] studied a new type of elements of n-ary semigroups where n ≥ 3, namely, potent elements and investigated properties of ideals in which all elements are potent. Recently, the construction of the j-ideal of an n-ary semihypergroup generated by its nonempty subset was presented by Daengsaen, Leeratanavalee and Davvaz [4]. Later, Pornsurat, Palakawong na Ayutthaya and Pibaljommee 6 gave a construction of the j-ideal of a ordered n-ary semigroup generated by its nonempty subset in a different form.

In this work, we first study the concept of a quasi-ideal and a generalized bi-ideal of an n-ary semigroup and give a construction of the quasi-ideal of an n-ary semigroup generated by its nonempty subset. Then we introduce the notions of regularities, namely, a left regularity, a right regularity, a left weak regularity, a right weak regularity and a complete regularity in an n-ary semigroup. Moreover, we give characterizations of these regularities using properties of their ideals.

### 2. Preliminaries

Let $ℕ$ be the set of all natural numbers and $i,j,n∈ℕ$. A nonempty set S together with an n-ary operation given by $f:Sn→S$, where n ≥ 2, is called an n-ary groupoid [9]. For $1≤i, the sequence $xi,xi+1,xi+2,…,xj$ of elements of S is denoted by $xij$ and if $xi=xi+1=…=xj=x$, we write $xj−i+1$ instead of $xij$. For $j, we denote $xij$ as an empty symbol and so is $x0$. Then,

$f(x1,…,xi, x,x,…,x︸j terms,xi+j+1,…,xn)=f(x1i,xj,xi+j+1n).$

An n-ary groupoid satisfies (i,j)-associative law if

$f(x1i−1,f(xin+i−1),xn+i2n−1)=f(x1j−1,f(xjn+j−1),xn+j2n−1)$

for all $x1,…,x2n−1∈S$. The n-ary operation f is associative if the above identity holds for all $1≤i≤j≤n$. An n-ary groupoid (S, f) is called an n-ary semigroup if the n-ary operation f satisfies the associative law.

By the associativity of an n-ary semigroup, we define the map fk where k ≥ 2 by

$fk(x1k(n−1)+1)= f(f(…,f(f︸k terms(x1n),xn+12n−1),…),x(k−1)(n−1)+2k(n−1)+1)$

for any $x1,…,xk(n−1)+1∈S$.

For $1≤i, the sequence $Ai,Ai+1,…,Aj$ of nonempty sets of S is denoted by the symbol $Aij$. For nonempty subsets $A1n$ of S, we denote

$f(A1n)={f(a1n)∣ai∈Ai where 1≤i≤n}.$

If $A1=A2=…=An=A$, then we write $f(An)$ instead of $f(A1n)$. If $A1={a1}$, then we write $f(a1,A2n)$ instead of $f({a1},A2n)$, and similarly in other cases. For $j , we set the notations $Aij$ and $A0$ to be the empty symbols as a similar way of the notations $xij$ and $x0$, respectively.

Throughout this paper, we write S instead of an n-ary semigroup. A nonempty subset H of S is called an n-ary subsemigroup of S if $f(a1n)∈H$ for all $a1,a2,…,an∈H.$

Many notations above can be found in [6, 7, 8, 9].

For $1≤i≤n$, a nonempty subset I of S is called an i-ideal of S if $f(Si−1,I,Sn−i)⊆I$. A nonempty subset I of S is called an ideal of S if I is an i-ideal for all $i=1,…,n$.

Let A be a nonempty subset of S. The intersection of all i-ideals of S containing A is called the i-ideal of S generated by A. Then, we denote the notation Ji(A) to be the i-ideal of S generated by A. In a particular case $A={a}$, we write $Ji(a)$ instead of $Ji({a})$.

As a special case of n-ary semihypergroups [4] and ordered n-ary semigroups [21], we present the construction of the i-ideal of an n-ary semigroup generated by its nonempty subset as the following theorem.

Theorem 2.1. Let A be a nonempty subset of S. Then

$Ji(A)=∪ m=1 n−1fm(Sm(i−1),A,Sm(n−i))∪A.$

Corollary 2.2. Let A be a nonempty subset of S. Then the following statements hold:

• (i) $J1(A)=f(A,Sn−1)∪A$ and $Jn(A)=f(Sn−1,A)∪A$.

• (ii) If $1 and $i=n+12∈ℕ$, then

$Ji(A)=f(Si−1,A,Sn−i)∪f2(Sn−1,A,Sn−1)∪A.$

Next, we define the notion of a quasi-ideal of an n-ary semigroup and give a construction of the quasi-ideal of an n-ary semigroup generated by its nonempty subset as follows.

Definition 2.3. A nonempty subset Q of S is called a quasi-ideal of S if

$∩ i=1n∪m=1n−1fm(Sm(i−1),Q,Sm(n−i))⊆Q.$

Note that for any quasi-ideal Q of S, $f(Qn)⊆∪ m=1 n−1fm(Sm(i−1),Q,Sm(n−i))$ for all $i=1,…,n.$ So, $f(Qn)⊆∩ i=1 n∪m=1n−1fm(Sm(i−1),Q,Sm(n−i))⊆Q.$ So, every quasi-ideal of S is an n-ary subsemigroup of S.

Proposition 2.4. Let S be an n-ary semigroup. Then the following statements hold.

• (i) Every i-ideal of S is a quasi-ideal of S for each $1≤i≤n$.

• (ii) If I1, I2,…,In are 1-ideal, 2-ideal,…, n-ideal of S, respectively, then $∩ i=1nIi$ is a quasi-ideal of S.

Proof. (1): Let I be an i-ideal of S. By Theorem 2.1,

$∩ i=1n∪m=1n−1fm(Sm(i−1),I,Sm(n−i))⊆∪ m=1 n−1fm(Sm(i−1),I,Sm(n−i))⊆Ji(I)=I.$

So, every i-ideal of S is a quasi-ideal of S.

(2): Let Ii be an i-ideal for all $1≤i≤n$, respectively. Let $Q=∩ i=1nIi$. Since $Ii≠∅$, there is $ai∈Ii$ for all $i=1,…,n$. So, $f(a1n)∈Q≠∅.$ By Theorem 2.1,

$∩i=1n∪m=1n−1 fm(Sm(i−1),Q,Sm(n−i))⊆∩i=1n∪m=1n−1 fm(Sm(i−1),Ii,Sm(n−i)) ⊆∩i=1nJi(Ii) =∩i=1nIi.$

So, Q is a quasi-ideal of S.

Let S be a semigroup. Then we note that the union of two quasi-ideal need not to be a quai-ideal of S as the following example.

Example 2.5. Let $S={a,b,c,d,e,f,g,h}.$ Define the binary operation ⋅ on S by the following table:

Then $(S,⋅)$ is a semigroup. It is easy to see that {a, c} and {a, b} are quasi-ideal of S. However, {a, b, c} is not a quasi-ideal of S because ${a,b,c}S∩S{a,b,c}={a,b,g}⊈{a,b,c}$.

Proposition 2.6. A nonempty subset of S is a quasi-ideal of S if and only if it is an intersection of a 1-ideal I1, a 2-ideal I2,…, an n-ideal In of S.

Proof. Let Q be a quasi-ideal of S. Define $Ii=∪ m=1 n−1fm(Sm(i−1),Q,Sm(n−i))∪Q$. By Theorem 2.1, Ii is an i-ideal of S for all $i=1,…,n$. It is clear that $Q⊆∩ i=1nIi.$ We consider $∩ i=1nIi=∩ i=1n∪m=1n−1fm(Sm(i−1),Q,Sm(n−i))⊆Q.$ So, $Q=∩ i=1nIi$. The converse is followed by Proposition 2.4(2).

For a nonempty subset A of S, we denote the notion Q(A) to be the quasi-ideal of S generated by A. In a particular case A={a}, we write Q(a) instead of Q({a}).

Theorem 2.7. The intersection of an arbitrary nonempty family of quasi-ideal of S is either a quasi-ideal of S or an empty set.

Proof. Let ${Qj∣j∈J}$ be a family of quasi-ideal of S. Suppose that $Q=∩ j∈JQj≠∅$. Since Qj is a quasi-ideal of S for all j∈ J, $∩ i=1n∪m=1n−1fm(Sm(i−1),Q,Sm(n−i))⊆∩ i=1n∪m=1n−1fm(Sm(i−1),Qj,Sm(n−i))⊆Qj$ for all j∈ J. So, $∩ i=1n∪m=1n−1fm(Sm(i−1),Q,Sm(n−i))⊆∩ j∈JQj=Q$. Hence, Q is a quasi-ideal of S.

Theorem 2.8. Let S be an n-ary semigroup. Then

$Q(A)=∩ i=1n∪m=1n−1fm(Sm(i−1),A,Sm(n−i))∪A.$

Proof. Let A be a nonempty subset of S. By Theorem 2.1 and Proposition 2.4(2), $∩ i=1n∪m=1n−1fm(Sm(i−1),A,Sm(n−i))∪A$ is a quasi-ideal of S containing A. So, $Q(A)⊆∩ i=1n∪m=1n−1fm(Sm(i−1),A,Sm(n−i))∪A.$ Let Q be a quasi-ideal of S and $A⊆Q$. Then

$∩i=1n∪m=1n−1 fm(Sm(i−1),A,Sm(n−i))∪A⊆∩i=1n∪m=1n−1 fm(Sm(i−1),Q,Sm(n−i))∪Q ⊆Q∪Q =Q.$

Therefore, $Q(A)=∩ i=1n∪m=1n−1fm(Sm(i−1),A,Sm(n−i))∪A.$

Definition 2.9. A nonempty subset B of S is called a generalized bi-ideal of S if $f2( B,S,B,…,S,B︸2n−1 terms)⊆B.$

Remark 2.10. Every quasi-ideal of S is a generalized bi-ideal of S.

Proof. Let B be a quasi-ideal of S. We consider

$f2( B,S,B,…,S,B︸2n−1 terms)⊆f2(S2(i−1),B,S2(n−i))⊆∪ m=1 n−1fm(Sm(i−1),A,Sm(n−i))$

for all $i=1,…,n.$

It follows that, $f2( B,S,B,…,S,B︸2n−1 terms)⊆∩ i=1n∪m=1n−1fm(Sm(i−1),B,Sm(n−i))⊆B.$

Now, we recall the notion of a regular n-ary semigroup in sense of Sioson as follows.

An n-ary semigroup S is called regular, in sense of Sioson [23], if each a ∈ S, there exist $xij∈S$ where $i,j=1,2,…n$ such that

$f(f(a,x121n),f(x21,a,x232n),…,f(xn1nn−1,a))=a.$

Many forms of regular n-ary semigroup which can also be found in [6] are given as follows.

An n-ary semigroup S is called regular if each a ∈ S, there exist $x2,…,xn∈S$ such that

$f2(a,x2,a,x3,…,a,xn,a)=a.$

An n-ary semigroup S is called regular if each a∈ S, there exist $x2,…,x2n−2∈S$ such that

$f2(a,x22n−2,a)=a.$

An n-ary semigroup S is called regular if each a∈ S, there exist $x2,…,xn−1∈S$ such that

$f(a,x2n−1,a)=a.$

However, Dudek and Groździńska [6] proved that the regularities conditions (2.1), (2.2), (2.3) and (2.4) are equivalent.

### 3. Left Regular and Right Regular n-ary Semigroups

In this section, we define the notion of left regular, right regular, left weakly regular, right weakly regular and completely regular n-ary semigroups and give some their characterizations.

Definition 3.1. An element a∈ S is called a left (right) regular element if there exist $x1,…,xn−1∈S$ such that $a=f2(x1n−1,an)$ ($a=f2(an,x1n−1)$). An n-ary semigroup S is left (right) regular, if each its element is left (right) regular.

We note that S is a left (right) regular n-ary semigroup where n ≥ 3 if and only if there exists x∈ S such that $a=f(x,an−1)$ ($a=f(an−1,x$)).

Lemma 3.2. The following statements are equivalent.

• (i) S is left (resp. right) regular.

• (ii) $A⊆f2(Sn−1,An)$ (resp. $A⊆f2(An,Sn−1)$) for any $∅≠A⊆S$.

• (iii) $a∈f2(Sn−1,an)$ (resp. $a∈f2(an,Sn−1)$) for any a ∈ S.

Definition 3.3. Let P be a nonempty subset of S. Then P is called semiprime if for all nonempty subsets A of S, $f(An)⊆P$ implies $A⊆P$.

Remark 3.4. A nonempty subset P of S is semiprime if and only if for all a ∈ S, $f(an)∈P$ implies a ∈ P.

Theorem 3.5. The following statements are equivalent.

• (i) S is left regular.

• (ii) Every n-ideal of S is semiprime.

• (iii) Jn(a) is a semiprime of S for any a∈ S.

• (iv) $Jn(f(an))$ is a semiprime of S for any a ∈ S.

Proof. $(i)⇒(ii)$. Let I be an n-ideal of S and $∅≠A⊆S$ such that $f(An)⊆I$. Since S is left regular and By Lemma 3.2, $A⊆f2(Sn−1,An)⊆f(Sn−1,I)⊆I$.

$(ii)⇒(iii)$ and $(iii)⇒(iv)$ are obvious.

$(iv)⇒(i)$. Let $a∈S$. Since $f(an)∈Jn(f(an))$ and $Jn(f(an))$ is semiprime, we have that $a∈Jn(f(an)).$ By Corollary 2.2, $a∈Jn(f(an))=f(Sn−1,f(an))∪{f(an)}$. Then $a∈f(Sn−1,(f(an))$ or $a∈{f(an)}$. If $a∈{f(an)}$, then $a=f(an)=f(an−1,f(an))∈f(Sn−1,f(an))=f2(Sn−1,an)$. So, S is left regular.

Next theorem can be similarly proved as Theorem 3.5.

Theorem 3.6. The following statements are equivalent.

• (i) S is right regular.

• (ii) Every 1-ideal of S is semiprime.

• (iii) J1(a) is a semiprime of S for any a∈ S.

• (iv) $J1(f(an))$ is a semiprime of S for any a ∈ S.

Theorem 3.7. Let S be an n-ary semigroup. Then S is both left regular and right regular if and only if every quasi-ideal of S is semiprime.

Proof. Assume that S is both left regular and right regular. Let $∅≠A⊆S$ and Q be a quasi-ideal of S such that $f(An)⊆Q$. By Lemma 3.2, $A⊆f2(An,Sn−1)⊆f(Q,Sn−1)$ and $A⊆f2(Sn−1,An)⊆f(Sn−1,Q).$ For $i=2,…,n−1$, we have that

$A⊆f2(An,Sn−1) ⊆f2(f2(Sn−1,An),An−1,Sn−1) =f4(Sn−1,A2n−1,Sn−1) =f(f(Sn−1,A),Ai−2,f(An),f(An−i,Si),Sn−i−1) ⊆f(Si−1,Q,Sn−i).$

Hence, $A⊆f(Si−1,Q,Sn−i)$ for all $i=1,…,n$. This implies that

$A⊆∩ i=1nf(Si−1,Q,Sn−i)⊆∩ i=1n∪m=1n−1fm(Sm(i−1),Q,Sm(n−i))⊆Q.$

So, every quasi-ideal of S is semiprime. Conversely, assume that every quasi-ideal of S is semiprime and $∅≠A⊆S$. By Theorem 2.8., $f(An)⊆Q(f(An))=∩ i=1 n∪m=1n−1fm(Sm(i−1),f(An),Sm(n−i))∪f(An)$. By assumption,

$A⊆∩ i=1n∪m=1n−1fm(Sm(i−1),f(An),Sm(n−i))∪f(An)⊆∪ m=1 n−1fm(f(An),Sm(n−1))∪f(An).$

We consider

$f(An)⊆∩i=1 n∪m=1n−1 fm(Sm(i−1),f(An),Sm(n−i))∪f(An) ⊆∪m=1n−1fm(f(An),Sm(n−1))∪f(An) ⊆∪m=1n−1fm(f(An),Sm(n−1))∪f(An−1,∪m=1n−1fm(f(An),Sm(n−1))∪f(An)) =∪m=1n−1fm(f(An),Sm(n−1))∪∪m=1n−1f m+1(An−1,f(An),Sm(n−1))∪f2(A2n−1) =∪m=1n−1fm(f(An),Sm(n−1))∪∪m=1n−1fm(f(An),f(An−1,S),Sm(n−1)−1)∪f2(A2n−1) ⊆∪m=1n−1fm(f(An),Sm(n−1)) =f2(An,Sn−1).$

We have that $A⊆∪ m=1 n−1fm(f(An),Sm(n−1))∪f(An)⊆∪ m=1 n−1fm(f(An),Sm(n−1))∪f2(An,Sn−1)=f2(An,Sn−1)∪f2(An,Sn−1)=f2(An,Sn−1).$ Similarly, we can show that $A⊆f2(Sn−1,An).$ Therefore, S is both left regular and right regular.

Definition 3.8. An n-ary semigroup S is called completely regular if it is regular, left regular and right regular.

Lemma 3.9. The following statements are equivalent.

• (i) S is completely regular.

• (ii) $A⊆f4(An, S,A,S,…,A,S︸2n−3 terms,An)$ for any $∅≠A⊆S$.

Proof. Assume that S is completely regular. Let $∅≠A⊆S.$ If n=2, then it is easy to see that $A⊆f2(A,S,A)⊆f2(f2(A2,S),S,f2(S,A2))⊆f4(A2,S,A2).$ If n ≥ 3, then

$A⊆f2(A,S,A,…,S,A︸2n−1 terms) ⊆f2(f2(An,Sn−1),S,A,S,…,A,S︸2n−3 terms,f2(Sn−1,An)) =f2(f(An),f(Sn−1,S),A,S,A…,S,A︸2n−5 terms,f(Sn−1,S),f(An)) ⊆f2(f(An),S,A,S,A…,S,A︸2n−5 terms,S,f(An)) =f4(An,S,A,S,…,A,S︸2n−3 terms,An).$

Conversely, assume that $A⊆f4(An, S,A,S,…,A,S︸2n−3 terms,An)$ for any $∅≠A⊆S$. Let $∅≠A⊆S$. It is not hard to see that $A⊆f4(An, S,A,S,…,A,S︸2n−3 terms,An)⊆f2(Sn−1,An)$, $A⊆f4(An, S,A,S,…,A,S︸2n−3 terms,An)⊆f2(An,Sn−1)$ and $A⊆f4(An, S,A,S,…,A,S︸2n−3 terms,An)⊆f(A,Sn−2,A).$ So, S is completely regular.

For convenience, we write $A⊆f4(An, S,A,S,…,A,S︸2n−3 terms,An)⊆f(A,Sn−2,A).$ instead of $f4(An, S,A,S,…,A,S︸2n−3 terms,An).$

For n=2, we set $f4(An,(S,An−2),S,An)=f4(A2,S,A2)$.

Theorem 3.10. Let S be an n-ary semigroup. Then S is completely regular if and only if every generalized bi-ideal of S is semiprime.

Proof. Assume that S is completely regular. Let $∅≠A⊆S$ and B be a generalized bi-ideal of S such that $f(An)⊆B$. By Lemma 3.9,

$A⊆f4(An,S,A,S,…,A,S︸2n−3 terms,An)=f2(f(An),S,A,S,…,A︸2n−4 terms,S,f(An))⊆f2(f(An),S, f 2 (Sn−1 , A n ),S,…, f 2 (Sn−1 , A n )︸2n−4 terms,S,f(An))=f2(f(An),f(S,Sn−1 ),f( A n ),…,f(S,Sn−1 ),f( A n )︸2n−4 terms,S,f(An)⊆f2(B,S,B,…,S,B︸2n−1 terms)⊆B.$

So, B is semiprime. Conversely, assume that every generalized bi-ideal of S is semiprime. Let $∅≠A⊆S$ and $B=f4(An,(S,An−2),S,An)$. We will show that B is a generalized bi-ideal of S. We consider

$f2(B,S,B,…,S,B︸2n−1 terms)=f2(f4(An,(S,An−2),S,An),S,B,…,S,B,S︸2n−3 terms,f4(An,(S,An−2),S,An)) =f4(An,(S,An−2),f6(S,An,S,B,…,S,B,S︸2n−3 terms,An,(S,An−2),S),An) ⊆f4(An,(S,An−2),S,An) =B.$

So, B is a generalized bi-ideal of S. Next, we show that S is completely regular.

• • If n=2, then it easy to see that $f7(A8)⊆f4(A2,S,A2)$. By assumption, $f3(A4)⊆f4(A2,S,A2),f(A2)⊆f4(A2,S,A2)$ and so $A⊆f4(A2,S,A2)$. So, S is completely regular.

• • If n=3, then it easy to see that $f4(A9)⊆f4(A3,S,A,S,A3)$. By assumption, $f(A3)⊆f4(A3,S,A,S,A3)$ and so $A⊆f4(A3,S,A,S,A3)$. So, S is completely regular.

• • If n ≥ 4, then $f( f(An),…,f(An)︸n terms)=f5(An,An,An, f(An),…,f(An)︸n−4 terms,An)$ $=f5(An,A2n−4,A4,f(An ),…,f(An )︸n−4 terms,An)=f4(An,A2n−4,f(A4,f(An ),…,f(An )︸n−4 terms),An)$ $⊆f4(An,(S,An−2),S,An)$. By assumption, $f(An)⊆f4(An,(S,An−2),S,An)$ and so $A⊆f4(An,(S,An−2),S,An)$. By Lemma 3.9., S is completely regular.

Definition 3.11. An n-ary semigroup S is called left (right) weakly regular if $a∈f( f(Sn−1,a),…,f(Sn−1,a)︸n terms)$ ($a∈f( f(a,Sn−1),…,f(a,Sn−1)︸n terms$)) for all a ∈ S.

Remark 3.12. Let S be an n-ary semigroup.

• (i) If S is left regular, then it is left weakly regular.

• (ii) If S is right regular, then it is right weakly regular.

Theorem 3.13. The following statements are equivalent.

• (i) S is left weakly regular.

• (ii) $L=f(Ln)$ for every n-ideal L of S.

Proof. Assume that S is left weakly regular. Let L be an n-ideal of S and a ∈ L. Then $f(Sn−1,a)⊆L$. Since S is left weakly regular, we have $a∈f( f(Sn−1,a),…,f(Sn−1,a)︸n terms)⊆f(Ln)$. So, $L⊆f(Ln)$ It is clear that $f(Ln)⊆L$.

Hence, $L=f(Ln)$ for every n-ideal L of S. Conversely, assume that $L=f(Ln)$ for every n-ideal L of S. Let a ∈ S. Then $a∈Jn(a)=f( J n (a),…, J n (a)︸n terms)$, i.e., $a=f(b1,…,bn)$ where $b1,…,bn∈Jn(a)$. By Corollary 2.2, $Jn(a)=f(Sn−1,a)∪{a}$. We have bn= a or $bn∈f(Sn−1,a)$ for $i=1,…,n$. If bn=a, then $a=f(b1,…,bn)∈f(Sn−1,a)$. If $bn∈f(Sn−1,a)$, then $a=f(b1,…,bn)∈f(b1,…,bn−1,f(Sn−1,a))⊆f(Sn−1,a)$. This implies that $a∈f(Sn−1,a)$. We consider $Jn(a)=f(Sn−1,a)∪{a}⊆f(Sn−1,a).$ Thus, $bi∈Jn(a)=f(Sn−1,a)$ for all $i=1,…,n$. We consider $a=f(b1,…,bn)∈f( f(Sn−1,a),…,f(Sn−1,a)︸n terms).$ Therefore, S is left weakly regular.

The next theorem can be similarly proved as Theorem 3.13.

Theorem 3.14. The following statements are equivalent.

• (i) S is right weakly regular.

• (ii) $R=f(Rn)$ for every 1-ideal R of S.

### References

1. G. Birkhoff. Lattice Theory. Providence, RI. USA: American Mathematical Society Colloquium Publication; 1967.
2. A. H. Clifford and G. B. Preston. The Algebraic Theory of Semigroups. Providence, RI. USA: American Mathematical Society Colloquium Publication; 1961.
3. V. R. Daddi and Y. S. Pawar, On ordered ternary semigroups, Kyungpook Math. J., 52(4)(2012), 375-381.
4. J. Daengsaen, S. Leeratanavalee and B. Davvaz, On minimal and maximal hyperideals in n-ary semihypergroups, Mathematics, 8(2020).
5. W. Dörnte, Untersuchungen über einen verallgemeinerten Gruppenbegriff, Math. Z., 29(1929), 1-19.
6. W. A. Dudek and I. Groździnska, On ideals in regular n-ary semigroups, Mat. Bilten., 4(1980), 35-44.
7. W. A. Dudek, Remarks on n-group, Demonstr. Math., 13(1980), 165-181. 8, j)-associative n-groupoids with the non-empty center, Ric. Mat., 35(1986), 105-111.
8. W. A. Dudek, Idempotents in n-ary semigroups, Southeast Asian Bull. Math., 25(2001), 97-104.
9. F. Feng, M. Khan, S. Anis and M. Qadeer, Right weakly regular semigroups characterized by their generalized fuzzy ideals, UPB Sci. Bull. Series A., 75(2013), 53-66.
10. E. Kasner, An extension of the group concepts, Bull. Amer. Math. Soc., 10(1904), 290-291.
11. N. Kehayopulu, On intra-regular ∨e-semigroups, Semigroup Forum, 19(1980), 111-121.
12. N. Kehayopulu, On right regular and right duo ordered semigroups, Sci. Math. Jpn., 2(1991), 201-206.
13. N. Kehayopulu, On completely regular ordered semigroups, Sci. Math., 1(1998), 27-32.
14. N. Kehayopulu and M. Tsingelis, Left regular and intra-regular ordered semigroups in terms of fuzzy subsets, Quasigroups Related Systems, 14(2006), 169-178.
15. N. Kehayopulu and M. Tsingelis, On left regular and intra-regular ordered semigroups, Math. Slovaca, 64(2014), 1123-1134.
16. M. Khan, M. Gulistan, U. Ashraf and S. Anis, A note on right weakly regular semigroups, Sci. Int., 26(2014), 971-975.
17. D. H. Lehmer, A ternary analogue of abelian groups, Am. J. Math., 59(1932), 329-338.
18. N. Lekkoksung and P. Jampachon, On right weakly regular ordered ternary semigroups, Quasigroups and Related Systems, 22(2014), 257-266.
19. P. Porsurat and B. Pibaljommee, Regularities in ordered ternary semigroups, Quasigroups Related Systems, 27(2018), 107-118.
20. P. Pornsurat, P. Palakawong na Ayutthaya and B. Pibaljommee, Prime i-ideals in ordered n-ary semigroups, Mathematics, 9(2021).
21. M. L. Santiago, Regular ternary semigroups, Bull. Cal. Math. Soc., 82(1980), 67-71.
22. F. M. Sioson, On regular algebraic systems, Proc. Japan Acad., 39(1963), 283-286.
23. O. Steinfeld, On completely regular semigroups, Semigroup Forum., 21(1980), 93-94.