Prime i -Ideals in Ordered n -ary Semigroups

: We study the concept of i -ideal of an ordered n -ary semigroup and give a construction of the i -ideal of an ordered n -ary semigroup generated by its nonempty subset. Moreover, we study the notions of prime, weakly prime, semiprime and weakly semiprime ideals of an ordered n -ary semigroup.


Introduction
A semigroup, which is a well-known generalization of groups, is an algebraic structure appearing in a natural manner in some applications concerning the theory of automata formal languages and other branches of applied mathematics (for example, see [1][2][3][4][5]). A notable particular kind of semigroup is a semigroup together with a partially ordered relation, namely an ordered semigroup. Obviously, we are always able to see a semigroup S as an ordered semigroup together with the equality relation {(x, x) ∈ S × S}. Some classical and notable researches on ordered semigroups are [6][7][8][9]. Additionally, Kehayopulu and Tsingelis defined several types of regularities on ordered semigroups in [10,11]. A ternary algebraic system was first introduced as a certain ternary algebraic system called a triplex, which turns out to be a ternary group by Lehmer [12] in 1932. As a generalization of a ternary group, the notion of a ternary semigroup was known to S. Banach. He showed that it is always possible to construct a ternary semigroup from a (binary) semigroup and gave an example in which a ternary semigroup does not necessarily reduce to a semigroup. Later, Santiago [13] mainly investigated the notions of an ideal and a bi-ideal of a ternary semigroup and used them to characterize a regular ternary semigroup. In 2012, Daddi and Pawar [14] defined the notions of ordered quasi-ideals and ordered bi-ideals of ordered ternary semigroups, which are special kinds of ternary semigroups and also presented regular ordered ternary semigroups in terms of several idealtheoretical characterizations. Another type of regularity on ordered ternary semigroups, namely an intra-regular ordered ternary semigroup, was introduced and characterized by S. Lekkoksung and N. Lekkoksung in [15]. Several kinds of regularities of ordered ternary semigroups were also investigated and characterized in terms of many kinds of ordered ideals by Daddi in [16] and Pornsurat and Pibaljommee in [17].
A generalization of classical algebraic structures to n-ary structures was first introduced by Kasner [18] in 1904. In 1928, Dörnte [19] introduced and studied the notion of n-ary groups, which is a generalization of that one of groups. Later, Sioson [20] introduced a regular n-ary semigroup, which is an important generalization of a (binary) semigroup and verified its properties. In [21], Dudek and Groździńska investigated the nature of regular n-ary semigroups. Moreover, Dudek proved several results and gave many examples of n-ary groups in [22,23]. Furthermore, in [24], Dudek also studied potent elements of n-ary semigroups (n ≥ 3) and investigated properties of ideals in which all elements are potent.
Prime, semiprime, weakly prime and weakly semiprime properties are interesting properties of ideals of semigroups and ordered semigroups. In 1970, Szász [25] showed that a semigroup is intra-regular and the set of all ideals forms a chain if and only if every ideal is prime. Later, Kehayopulu [26] gave the same result in ordered semigroups. Furthermore, Kehayopulu also generalized her work on ordered semigroups [26] to ordered hypersemigroups in [27]. The concepts of prime and semiprime ideals were also studied on ternary semigroups by Shabir and Bashir [28] in 2009. In cases of quasi-ideals and bi-ideals of ternary semigroups, Shabir and Bano [29] introduced the notions of prime, semiprime and strongly prime properties of quasi-ideals and bi-ideals and also characterized ternary semigroups for which each bi-ideal is strongly prime.
In this work, we investigate some algebraic properties of an ordered n-ary semigroup, which is an n-ary semigroup together with a partially ordered relation and also a generalization of ordered semigroups. We also study the concept of an i-ideal of an ordered n-ary semigroup and give the construction of an i-ideal of an ordered n-ary semigroup generated by its nonempty subset. Then we generalize the concept of an i-ideal of an ordered n-ary semigroup to the concept of a Λ-ideal in order that an i-ideal is a special case of a Λ-ideal where Λ = {i}. Finally, we study the notions of prime, weakly prime, semiprime and weakly semiprime properties of a Λ-ideal where Λ = {1, n} and use them to generalize some results in [26] to an ordered n-ary semigroup.

Preliminaries
Let N be the set of all natural numbers and i, j, n ∈ N. A nonempty set S together with an n-ary operation given by f : S n → S, where n ≥ 2, is called an n-ary groupoid [24]. For is able to be simply represented by The associative law [23] for the n-ary operation f on S is defined by for all 1 ≤ i ≤ j ≤ n and x 1 , . . . , x 2n−1 ∈ S. An n-ary groupoid (S, f ) is called n-ary semigroup if the n-ary operation f satisfies the associative law. By the associativity of an n-ary semigroup (S, f ), we define the map f k where k ≥ 2 by for any x 1 , . . . , x k(n−1)+1 ∈ S. Hence, we note that f 2 (x 2n−1 for any x 1 , . . . , x 2n−1 ∈ S. Many notations above can also be found in [21][22][23][24].
For 1 ≤ i < j ≤ n, the sequence A i , A i+1 , . . . , A j of nonempty sets of S is denoted by the symbol A j i . For nonempty subsets A n 1 of S, we denote , and similarly in other cases. For j < i , we set the notations A i j and 0 A to be the empty symbols as a similar way of the notations x i j and 0 x. An ordered semigroup is an algebraic structure (S, ·, ≤) such that (S, ·) is a semigroup and (S, ≤) is a poset satisfying the compatibility property, i.e., if a ≤ b, then ac ≤ bc and ca ≤ cb for all a, b, c ∈ S. To generalize the notion of n-ary semigroups and ordered (binary) semigroups, the notion of an ordered n-ary semigroup is defined as follows. Definition 1. An ordered n-ary semigroup is a system (S, f , ≤) such that (S, f ) is an n-ary semigroup and (S, ≤) is a partially ordered set satisfying the following property. For any a, b, Throughout this paper, we write S for an ordered n-ary semigroup, unless specified otherwise. For any ∅ = A ⊆ S, we denote Now, we give some basic properties of the operator ( ] on an ordered n-ary semigroup as follows. Lemma 1. Let A, B, A 1 . . . , A n be nonempty subsets of S. Then the following statements hold: The following remark is directly obtained by the notion of f k where k = m and k = m + 1.

Remark 1.
Let A be a nonempty subset of S, 1 ≤ i ≤ n and m ∈ N. If y ∈ f m ( Lemma 2. Let A be a nonempty subset of S. Then f n ( Hence, f n (

Ideals of Ordered n-ary Semigroups
In this section, we study the concept of i-ideals of an ordered n-ary semigroup and give a construction of i-ideal of an ordered n-ary semigroup generated by its nonempty subset.
Lemma 4. The following statements are equivalent.
We consider f ( Corollary 1. The following statements are equivalent. Let A be a nonempty subset of S. We call the intersection of all Λ-ideals of S containing A to be the Λ-ideal of S generated by A. Then, we denote the notation J Λ (A) to mean the Λ-ideal of S generated by A. In a particular case Λ = {i}, we write J i (A) instead of J {i} (A).
Next, we give the constructions of the Λ-ideals of S generated by a nonempty subset whenever Λ = {i} and Λ = {1, n} as follows. Corollary 2. Let A be a nonempty subset of S. Then the following statements hold:

Prime, Semiprime, Weakly Prime and Weakly Semiprime of Ordered n-ary Semigroups
In this section, we define the notions of prime, weakly prime, semiprime and weakly semiprime of an ordered n-ary semigroup and study prime properties by using the sets that are 1-ideals and n-ideals of an ordered n-ary semigroup.

Definition 4.
Let P be a nonempty subset of S. For any nonempty subset A i of S for i = 1, . . . , n, P is called prime if f (A n 1 ) ⊆ P implies A i ⊆ P for some i = 1, . . . , n.

Remark 2.
A nonempty subset P of S is prime if and only if for all a 1 , . . . , a n ∈ S, f (a n 1 ) ∈ P implies a i ∈ P for some i = 1, . . . , n.

Definition 5.
Let P be a Λ-ideal of S. Then P is called weakly prime if for all Λ-ideals A 1 , . . . A n of S such that f (A n 1 ) ⊆ P implies A i ⊆ P for some i = 1, . . . , n.
Definition 6. Let P be a nonempty subset of S. Then P is called semiprime if for all nonempty subsets A of S, f ( n A) ⊆ P implies A ⊆ P.

Remark 3.
A nonempty subset P of S is semiprime if and only if for all a ∈ S, f ( n a) ∈ P implies a ∈ P. Definition 7. Let P be a Λ-ideal of S. Then P is called weakly semiprime if for all Λ-ideals A of S such that f ( n A) ⊆ P, we have that A ⊆ P.

Remark 4.
Let S be an ordered n-ary semigroup.
(i) If P is prime, then P is weakly prime. (ii) If P is prime, then P is semiprime. (iii) If P is weakly prime, then P is weakly semiprime. (iv) If P is semiprime, then P is weakly semiprime.
It is clear that every prime ideal of an ordered n-ary semigroup is weakly prime. The converse is not true as shown by the following example. Then (S, ·, ≤) is an ordered semigroup. All ideals of S are as follows: {a} and S. We have that {a} is a weakly prime ideal. However, it is not a prime ideal and not a semiprime ideal since e · e = a ∈ {a} but e / ∈ {a}. Moreover, {a} is a weakly semiprime ideal.

Example 2.
Let N be the set of all natural numbers. Define an n-ary operation f : N n → N by for all x 1 , x 2 , . . . , x n ∈ N where · is the usual multiplication on N. It is easy to see that (N, f , =) is an ordered n-ary semigroup with partially relation =. We have that 6N is a semiprime ideal of (N, f , =). However, f (2N, 2N 6N and 3N 6N. This shows that 6N is not a prime ideal and not a weakly prime ideal. Moreover, 6N is a weakly semiprime ideal. Now, we use prime, weakly prime, semiprime and weakly semiprime properties of {1, n}-ideals to generalize results of [26] to an ordered n-ary semigroup.   such that f (A n 1 ) ⊆ P. By assumption, there exists A j such that A j ⊆ A i for all i = 1, . . . , n.

Using Corollary 1, we have
So, P is weakly prime.

Remark 5.
For any a ∈ S, we observe that ( f 2 ( ). An ordered n-ary semigroup S is called intra-regular, if each one of its elements is intra-regular.
The following lemma is directly obtained by Definition 8.

Lemma 5.
The following statements are equivalent.
(i) S is intra-regular. Now, we give an example of an intra-regular ordered n-ary semigroup as the following example.
However, {0} is a semiprime ideal, which is not prime because for a n 1 ∈ S \ {0} and a i = a j for some i = j, f (a n 1 ) ∈ {0} but a i ∈ {0} for all 1 ≤ i ≤ n.

Conclusions and Discussion
In this paper, we study i-ideals of ordered n-ary semigroups. Moreover, we study prime properties of {1, n}-ideals of ordered n-ary semigroups, which are generalizations of n-ary semigroups. So, our results hold in n-ary semigroups as well. We introduce the notions of Λ-ideals of ordered n-ary semigroups as a generalization of the notions of iideals and investigate prime properties of a Λ-ideal of ordered n-ary semigroups whenever Λ = {1, n}. In ordered semigroups S, ordered n-ary semigroups with n = 2, Kehayopulu showed that every ideal of S is prime if and only if S is intra-regular and the set of all ideals of S forms a chain. However, this result still opens for Λ-ideals of (ordered) n-ary semigroups where n ≥ 3. Moreover, algebraic properties of Λ-ideals in (ordered) n-ary semigroups can be further investigated.