On Minimal and Maximal Hyperideals in n -ary Semihypergroups

: The concept of j -hyperideals, for all positive integers 1 ≤ j ≤ n and n ≥ 2, in n -ary semihypergroups, is a generalization of the concept of left, lateral and right hyperideals in ternary semihypergroups. In this paper, we ﬁrst introduce the concept of j -(0-)simple n -ary semihypergroups and discuss their related properties through terms of j -hyperideals. Furthermore, we characterize the minimality and maximality of j -hyperideals in n -ary semihypergroups and establish the relationships between the (0-)minimal, maximal j -hyperideals and the j -(0-)simple n -ary semihypergroups. Our main results are to extend and generalize the results on semihypergroups and ternary semihypergroups. Moreover, a related question raised by Petchkaew and Chinram is solved.


Introduction
The notion of n-ary systems was introduced by Kasner [1] in 1904. In 1928, Dörnte [2] introduced and studied the notion of n-ary groups which is a generalization of the concept of groups. In 1963, Sioson [3] investigated the properties of j-ideals, for all positive integers 1 ≤ j ≤ n, in n-ary semigroups, and used such ideals to characterize regular n-ary semigroups. Here, the notion of j-ideals can be considered as a generalization and an extension of the concept of (left, right) ideals in ordinary semigroups. Next, Dudek et al. [4,5] studied the further properties of ideals in n-ary semigroups. Pop [6] investigated the simple n-ary semigroups through the properties of ideals. Recently, algebraic n-ary systems have been developed by many mathematicians. In particular, ternary semigroups are the simplest algebraic n-ary systems for n ≥ 3. Ternary semigroups are known as n-ary semigroups when n = 3. In 1995, Dixit and Dewan [7] introduced and studied the properties of left, lateral, right, bi-and quasi-ideals in ternary semigroups. Here, a right (lateral, left) ideal in ternary semigroups can be considered as a j-ideal in n-ary semigroups for a special case j = 1 (2 and 3, respectively). In 2007, Iampan [8] introduced the concept of lateral (0-)simple ternary semigroups and characterized the relationships among the (0-)minimal lateral ideals, the maximal lateral ideals and the lateral (0-)simple ternary semigroups. In 2010, he gave some characterizations of the minimality and maximality of right(left) ideals in ternary semigroups.
On the other hand, the theory of algebraic hyperstructure was first introduced in 1934 when Marty [9] defined hypergroups as a generalization of groups. Later on, a number of aspects hyperstructures were widely studied from the theoretical point of view and for their applications in many subjects of pure and applied mathematics. In particular, semihypergroup theory is useful for solving the problems in various areas of algebraic hyperstructure. Semihypergroups are considered to be a natural extension of semigroups. Some basic notion and fundamental results of hypergroups and semihypergroups can be found in [10,11]. In 2009, Davvaz et al. [12] introduced a new class of algebraic hyperstructures called n-ary semihypergroups. Such an n-ary semihypergroup represents a generalization of semigroups, semihypergroups and n-ary semigroups. The structural properties of n-ary semihypergroups, especially the quotient structures, neutral elements and fundamental relation, have been already considered by Davvaz et al. in [12,13]. In 2013, Hila et al. [14] extended the concept of ideals to n-ary hyperstructure. Indeed, they defined the concept of j-hyperideals in n-ary hyperstructure and studied their properties. Such concept can be applied to study in n-ary semihypergroups too. A ternary semihypergroup is a particular case of an n-ary semihypergroup for n = 3. In [15], Davvaz and Leoreanu-Fotea studied some properties of compatible binary relations on ternary semihypergroups. Naka and Hila [16] studied some properties of right, lateral and left hyperideals in ternary semihypergroups and gave the characterization of the minimality and maximality of right (lateral, left) hyperideals in ternary semihypergroups. In 2017, the characterizations of regular, completely regular and intra-regular ternary semihypergroups in term of various hyperideals are presented in [17]. Recently, Petchkaew and Chinram [18] characterized (0-)minimal and maximal n-ideals (j-ideals, for case j = n) in n-ary semigroups. They investigated the relationships between the (0-)minimal n-ideals and the n-(0-)simple n-ary semigroups. In the last section of the article, they gave the open problem: "Can we generalize the results to general cases for 1 < j < n?" In the present paper, our motivation is to study the hyperideal theory in n-ary semihypergroups by using the idea of ideal theory (hyperideal theory) in a semigroup and a ternary semigroup (respectively, semihypergroup and ternary semihypergroup), and then solve the question raised by Petchkaew and Chinram in [18].
In this paper, we first discuss the properties of hyperideals, especially the properties of j-hyperideal for all positive integers 1 ≤ j ≤ n, in n-ary semihypergroups. In Section 1, we recall some basic concepts of j-hyperideals in n-ary semihypergroups. In Section 2, we first introduce the concept of j-(0-)simple n-ary semihypergroups and study their properties. The characterization of the minimality of j-hyperideals and the relationships between the (0-)minimal j-hyperideals and the j-(0-)simple n-ary semihypergroups are established in Section 3. In Section 4, we investigate the connections between the maximality of j-hyperideals and the j-(0-)simple n-ary semihypergroups. Finally, the corresponding results in ordinary n-ary semigroups can be also obtained. This means that a question raised by Petchkaew and Chinram in [18] is solved.

Preliminaries
In this section, we recall some basic definitions and some results of n-ary semihypergroups [12][13][14]. Let S be a nonempty set and f a mapping f : S × ... × S → P * (S), where S appears n ≥ 2 times and P * (S) is the set of all nonempty subsets of S. Here, f is called an n-ary hyperoperation and a pair (S, f ) is called an n-ary hypergroupoid. Since we can identify the set {x} with the element x, any n-ary groupoid is an n-ary hypergroupoid. Let us denote by x l k the sequence of elements x k , x k+1 , ..., x l . For case l < k, x l k is the empty symbol. Then, and f (x 1 , ..., x k , y k+1 , ..., y l , z l+1 , ..., z n ) = f (x k 1 , y l k+1 , z n l+1 ).
For case x 1 = ... = x k = x, we write the last expression in the form f (x k , y l k+1 , z n l+1 ). Here, the symbol for the sequence of subsets of S is defined similarly. For any nonempty subsets A 1 , ..., A n of S, we define , and analogously, in another such case we holds for fixed 1 ≤ k < l ≤ n and for all x 2n−1 1 ∈ S. If the Equation (1) satisfies for all 1 ≤ k ≤ l ≤ n, then f is called associative and an n-ary hypergroupoid (S, f ) is called an n-ary semihypergroup.
Throughout this paper, we write S instead of an n-ary semihypergroup (S, f ). A nonempty subset H of S is called an n-ary subsemihypergroup of S if f (H n 1 ) ⊆ H. Let J be a nonempty subset of S. For any positive integer 1 ≤ j ≤ n, a set J is called a j-hyperideal 1 , x n j+1 ∈ S and all y ∈ J. A set J is called a hyperideal of S if J is a j-hyperideal of S for all j = 1, 2, ..., n. A j-hyperideal J of S is said to be a proper j-hyperideal of S if J = S. Clearly, every j-hyperideal (hyperideal) of S is always an n-ary subsemihypergroup of S. For a particular case j = 1 and j = n, every 1-hyperideal is called a right hyperideal and every n-hyperideal is called a left hyperideal.
Let H be an n-ary subsemihypergroup of S. For any positive integer 1 ≤ j ≤ n, the intersection of all j-hyperideals of H containing a nonempty subset A of H is called a j-hyperideal of H generated by A and it is denoted by M An element z of S, where S has at least two elements, is called a zero element of S if f (x k−1 1 , z, x n k+1 ) = {z} for all x k−1 1 , x n k+1 ∈ S and for all k = 1, 2, ..., n. Here, we denote it by 0. Clearly, if S has a zero element, then every j-hyperideal and hyperideal of S always contain a zero element each. We know that there exist some n-ary semihypergroups which have no zero elements, but their n-ary subsemihypergroups have a zero element. Here, we denote by 0 sub the zero element of its subsemihypergroup.    [Applying Example 1.13 [16]] Let S = {a, b, c, d, e, g}. Define f : S n → P * (S) by f (x n 1 ) = ((...((x 1 * x 2 ) * ...) * x n ), for all x n 1 ∈ S, where * is defined by the following Then (S, f ) is an n-ary semihypergroup and it has no proper j-hyperideal of S for all 1 ≤ j ≤ n.

j-(0-)Simple n-ary Semihypergroups
In this section, we first introduce the notion of j-(0-)simple n-ary semihypergroups and study the properties of j-hyperideals, for all positive integers 1 ≤ j ≤ n.
Let A, B be two nonempty subsets of S. For each positive integer 1 ≤ j ≤ n, let Example 5. Let A, B be two nonempty subsets of a ternary semihypergroup (T, f ).

Lemma 1.
If J is a j-hyperideal for each positive integer 1 ≤ j ≤ n of S, and H is a nonempty subset of S, Then we consider into two cases.
By the same computation as in Example 5, we get The following results is easy to verify.

Remark 1. Let A be a nonempty subset of S. Then,
Clearly, some results of lateral hyperideals (j = 2) in a ternary semihypergroup (n = 3) considered in [16] can be also obtained as applications of Example 5 and Remark 1. Indeed, for any nonempty subset A of a ternary semihypergroup (T, f ), the smallest lateral hyperideal of T containing A is  Clearly, the n-ary semihypergroup defined in Example 4 is j-simple. The following lemmas extend and generalize the results of left, lateral (0-)simple ternary semigroups [8,19], lateral (0-)simple ternary semihypergroups [16] and n-(0-)simple n-ary semigroups [18]. Lemma 5. Let S have no zero element. For each positive integer 1 ≤ j ≤ n, the following assertions are equivalent.
Proof. First, we fix a positive integer j satisfying 1 ≤ j ≤ n.
Lemma 6. Let S have a zero element. For each positive integer 1 ≤ j ≤ n, the following assertions hold.
Proof. Now, we fix a positive integer 1 ≤ j ≤ n.
Then (S, f ) is an n-ary semihypergroup without zero (see [20]). Clearly, for each j = 2, ..., n, we have f (S j−1 , x, S n−j ) = S for all x ∈ S. It follows that S = W x(j)S 1 ⊆ W x(j)S ⊆ S-that is, S = W x(j)S , for all x ∈ S. By Lemma 5 ((ii) ⇒ (i)), we can conclude that S is a j-simple n-ary semihypergroup for all j = 2, ..., n. Next, we consider case j = 1. Then there exists 2 ∈ S such that M 1    Example 7. We know that the n-ary semihypergroup S defined in Example 4 has no proper j-hyperideal of S. It follows that S has no proper hyperideal of S. Therefore, S is a simple n-ary semihypergroup.
From the idea of Theorem 2.3 in [6], we obtain the following lemmas.  )). We will show that R is a hyperideal of S; that is, R is a j-hyperideal of S for all j = 1, ..., n. Let z ∈ R and y j−1 1 , y n j+1 ∈ S for all positive integers j = 1, ..., n. Then we consider the following two cases.
Therefore, S ⊆ B and the proof is complete.
Applying the proof of Lemma 6 and 7, we obtain Lemma 8.
Then (S, f ) is an n-ary semihypergroup without zero (see [11], page 93). For case i = 1, we have W x ∈ S. By Lemma 7, we can conclude that S is simple (one can also check it independently).
In order to characterize the (0-)minimal j-hyperideals of n-ary semihypergroups, we first give the following lemma.  Then (S, f ) is an 4-ary semihypergroup without zero (see [21]). One can check that the 2-hyperideals of S are the set {a, c, d} and S. Clearly, the set H 1 := {a, d} and H 2 := {a, b, d} are 4-ary subsemihypergroups of S and they are not 2-hyperideals of S. It is easy to prove that H 1 is a 2-simple 4-ary semihypergroup and H 1 ⊆ {a, c, d}, which is also a consequence of Lemma 9.
Definition 5. Let S be an n-ary semihypergroup without zero. For each positive integer 1 ≤ j ≤ n, a j-hyperideal J of S is called minimal if there is no j-hyperideal A of S such that A ⊂ J. Equivalently, if A is a j-hyperideal of S such that A ⊆ J, then A = J. Definition 6. Let S be an n-ary semihypergroup with zero. For each positive integer 1 ≤ j ≤ n, a nonzero j-hyperideal J of S is called 0-minimal if there is no nonzero j-hyperideal A of S such that A ⊂ J. Equivalently, if A is a j-hyperideal of S such that A ⊆ J, then A = {0} or A = J. Example 10. By Example 2, we have A 2 is a minimal j-hyperideal of S. By Example 3, B 1 is a 0-minimal j-hyperideal of S.
The following theorem extends Theorem 3.6 [16] and generalizes Theorem 1 [18]. Theorem 1. Let S have no zero element and J be a j-hyperideal of S with j = 1 (j = n). Then the following assertions hold.
(i) J is a minimal j-hyperideal without zero (i.e., J has no zero element) of S if and only if J is j-simple. (ii) If J is a minimal j-hyperideal with zero (i.e., J has zero element) of S, then J is j-0-simple.
Proof. (i) For case j = 1, assume that J is a minimal j-hyperideal without zero of S. To show that J is j-simple, let K be a j-hyperideal of J. By Lemma 1, ∅ = f (K, J n−1 ) = W K(j)J ⊆ K ⊆ J. First, we will show that f (K, J n−1 ) is a j-hyperideal of S. Let z n−1 1 ∈ S and y ∈ f (K, J n−1 ). Then y ∈ f (a, b n−1 1 ) for some a ∈ K and some b n−1 1 ∈ J. By associativity, we have Thus, f (K, J n−1 ) is a j-hyperideal of S. Since J is a minimal j-hyperideal of S and f (K, J n−1 ) ⊆ K ⊆ J, we obtain f (K, J n−1 ) = J and so K = J. Therefore, J is j-simple. Conversely, assume that J is j-simple. Let P be a j-hyperideal of S such that P ⊆ J. By Lemma 9(i), we have J ⊆ P and so P = J. Therefore, J is a minimal j-hyperideal of S.
For case j = n, we first replace the set f (K, J n−1 ) by f (J n−1 , K) and then we will use the same approach as in case j = 1, so we omit its proof.
(ii) The proof is similar to (i).
By the proof of Theorem 1, we immediately obtain the following corollary.

Corollary 1. If K is a nonempty subset of a j-hyperideal J of S with
Theorem 2. Let S have a zero element and J be a nonzero j-hyperideal of S with j = 1 (j = n). Then the following assertions hold.
(i) If J is a 0-minimal j-hyperideal of S, then either there exists a nonzero j-hyperideal K of J such that (ii) If J is j-0-simple, then J is a 0-minimal j-hyperideal of S.

Proof.
The proof is similar to the proof of Theorem 1 by applying Corollary 1 and Lemma 5(ii).

Theorem 3.
Let S have no zero element and J be a j-hyperideal of S with a positive integer 1 < j < n and n ≥ 3. Then the following assertions hold.
(i) If J is a minimal j-hyperideal without zero of S, then either there exists a j-hyperideal K of J such that W K(j)J n−1 = f (J j−1 , K, J n−j ) or J is j-simple. (ii) If J is a minimal j-hyperideal with zero of S, then either there exists a nonzero j-hyperideal K of J such that Proof. First, we fix a positive integer j satisfying 1 ≤ j ≤ n. (i) Let J be a minimal j-hyperideal of S and J have no zero element. Assume that W .. First, we will show that f (J j−1 , K, J n−j ) is a j-hyperideal of S. Let z j−1 1 , z n j+1 ∈ S and y ∈ f (J j−1 , K, J n−j ). Then , v (n−1)n−(n−1)j 1 ∈ J and some x ∈ K. By associativity, we have since z n j+1 ∈ S, v (n−1)n−(n−1)j ∈ J and J is a j-hyperideal of S, we have f (v (n−1)n−(n−1)j (n−1)n−(n−1)j−j+1 , z n j+1 ) ⊆ J. Then A, B ⊆ J. Since x ∈ K and K is a j-hyperideal of J, we get f (A, u (n−1)(j−1) Thus, f (z j−1 1 , y, z n j+1 ) ⊆ J and f (J j−1 , K, J n−j ) is a j-hyperideal of S. Since f (J j−1 , K, J n−j ) ⊆ K ⊆ J and J is a minimal j-hyperideal of S, we obtain f (J j−1 , K, J n−j ) = J and so K = J. Therefore, J is j-simple.
The proof of the statement (ii) is similar to (i). The proof of (iii) is similar to the proof of the converse of Theorem 1(i) by applying Lemma 9. Corollary 2. If K is a nonempty subset of a j-hyperideal J of S with a positive integer 1 < j < n and n ≥ 3 such that W K(j)J n−1 = f (J j−1 , K, J n−j ), then f (J j−1 , K, J n−j ) is a j-hyperideal of S.

Proof. It is straightforward from Theorem 3.
By applying the proof of Theorem 3, we obtain the following theorem. Theorem 4. Let S have a zero element and J be a nonzero j-hyperideal of S with a positive integer 1 < j < n and n ≥ 3. Then the following assertions hold.
(i) If J is a 0-minimal j-hyperideal of S, then either there exists a nonzero j-hyperideal K of J such that (ii) If J is j-0-simple, then J is a 0-minimal j-hyperideal of S.

Remark 2.
Since any n-ary semigroup can be considered as an n-ary semihypergroup, the open problem given in [18] is answered by Theorem 3 and 4.

Example 11.
Consider an 4 ary-semihypergroup (S, f ) that has been given in Example 9. We know that J := {a, c, d} is a proper 2-hyperideal of S. Looking at the table, we immediately see that there is no a proper 2-hyperideal K of J such that W K(2)J 3 = f (J, K, J, J). By Theorem 3(i), we can conclude that {a, c, d} is a 2-simple 4-ary semihypergroup (one can also check it independently). Theorem 5. Let S have no zero element. For each positive integer 1 ≤ j ≤ n, let S have proper j-hyperideals. Then every proper j-hyperideal of S is minimal if and only if one of the following assertions holds.

Maximal j-Hyperideals
In this section, we give the characterization of the maximality of j-hyperideals, for each positive integer 1 ≤ j ≤ n, in n-ary semihypergroups and study their interesting properties.

Definition 7.
For any positive integer 1 ≤ j ≤ n, a proper j-hyperideal J of S is called maximal if for every j-hyperideal A of S such that J ⊂ A, then A = S. Equivalently, if for every proper j-hyperideal A of S is such that J ⊆ A, then A = J. Example 13. Consider Examples 2 and 3, we have that A 1 and B 2 are maximal j-hyperideals of S, respectively.
The following results are generalizations of the results of maximal lateral hyperideals in ternary semihypergroups [16]. Proof. Fix a positive integer j satisfying 1 ≤ j ≤ n.
(=⇒) Let J be a maximal j-hyperideal of S. We consider two cases.
Case 1: There exists x ∈ S \ J such that W x(j)S ⊆ J.
In this case, we will prove the assertion (i). Clearly, In this case, we will prove the assertion (ii). Let x ∈ S \ J. By Lemma 3 and 4, Thus, J is a maximal j-hyperideal of S. Next, if S \ J ⊆ W x(j)S for all x ∈ S \ J, then, by Lemma 1, S \ J ⊆ W x(j)S ⊆ K for all x ∈ K \ J ⊆ S \ J. Hence S = (S \ J) ∪ J ⊆ K ∪ K = K ⊆ S. Therefore, K = S and J is a maximal j-hyperideal of S.
For each positive integer 1 ≤ j ≤ n, let U j denote the union of all proper j-hyperideals of S without zero. Clearly, by Lemma 4, U j is a j-hyperideal of S. Similarly, the union of all nonzero proper j-hyperideals of S with zero is denoted by U j 0 . The following lemmas are easy to verify.

Lemma 10.
For each positive integer 1 ≤ j ≤ n, U j = S if and only if M j (x) = S for all x ∈ S. Lemma 11. For each positive integer 1 ≤ j ≤ n, if U j = S, then U j is the unique maximal j-hyperideal of S. Remark 3. The above two lemmas are still true if we replace the set U j by U j 0 .
As a consequence of Theorem 7 and Lemma 10-11, we obtain some interesting properties of n-ary semihypergroups as follows.
Theorem 8. Let S have no zero element. For each positive integer 1 ≤ j ≤ n, one of the following assertions holds.
∈ W x(j)S and U j is the unique maximal j-hyperideal of S. (iv) S \ U j = {y ∈ S : W y(j)S = S} and U j is the unique maximal j-hyperideal of S.
Proof. Now, we fix a positive integer j satisfying 1 ≤ j ≤ n and assume that S is not j-simple. Thus, there is a proper j-hyperideal of S in U j and U j = ∅. We consider the following two cases.
Case 1: U j = S. Then, by Lemma 10, M j (x) = S for all x ∈ S. The assertion (ii) holds. Case 2: U j = S. In this case, we will show that the assertions (iii) and (iv) hold. By Lemma 11, U j is the unique maximal j-hyperideal of S. Theorem 7 implies that 2.1. S \ U j = {x} and f (S j−1 , x, S n−j ) ⊆ U j for some x ∈ S or 2.2. S \ U j ⊆ W x(j)S for all x ∈ S \ U j . Case 2.1: We will show that the assertion (iii) holds. Suppose that S \ U j = {x} and f (S j−1 , x, S n−j ) ⊆ U j for some x ∈ S. Then f (S j−1 , x, S n−j ) ⊆ U j = S \ {x}. Next, if M j (x) = S, then M j (x) is a proper j-hyperideal of S and so x ∈ M j (x) ⊆ U j . This is a contradiction with x / ∈ U j . Thus, M j (x) = S. Finally, assume that x ∈ W x(j)S . Then S = M j (x) = W x(j)S ∪ {x} = W x(j)S . Since f (S j−1 , x, S n−j ) ⊆ U j and U j is a j-hyperideal of S, we gain W x(j)S 2 = f (S j−1 , f (S j−1 , x, S n−j ), S n−j ) ⊆ f (S j−1 , U j , S n−j ) ⊆ U j . Similarly, for any positive integer k ≥ 3, we have W ∈ W x(j)S and the assertion (iii) is satisfied. Case 2.2: Suppose that S \ U j ⊆ W x(j)S for all x ∈ S \ U j . We will show that S \ U j = {y ∈ S : W y(j)S = S}. Let y ∈ S \ U j . Then y ∈ W y(j)S . By Remark 1, M j (y) = W y(j)S ∪ {y} = W y(j)S . Since U j = S, by Lemma 10, we obtain S = M j (y) = W y(j)S . Conversely, let y ∈ S such that W y(j)S = S. Then, by Remark 1, we get M j (y) = W y(j)S ∪ {y} = S ∪ {y} = S. To show that y ∈ S \ U j , assume that y ∈ U j . By Lemma 1, we obtain S = M j (y) = W y(j)S ∪ {y} ⊆ U j ∪ U j = U j . It is impossible because S = U j . Thus, y ∈ S \ U j and so S \ U j = {y ∈ S : W y(j)S = S}. The assertion (iv) holds. (i) S has only one proper j-hyperideal. (ii) S has only two proper j-hyperideals J 1 , J 2 such that J 1 ∪ J 2 = S and J 1 ∩ J 2 = ∅.
Proof. First, we fix a positive integer j satisfying 1 ≤ j ≤ n.
(=⇒) Let J be a proper j-hyperideal of S. By hypothesis, J is maximal. We consider into two cases.
In this case, we will show that J is the unique j-hyperideal of S. Now, let A be a proper j-hyperideal of S such that A = J. By hypothesis, A is a maximal j-hyperideal of S. Since A = J, we can divide into 3 cases, i.e., (1.1) This is a contradiction. Case 1.3 A ∩ J = ∅ and A \ J = ∅. Then there exists x ∈ A \ J and S = M j (x) = W x(j)S ∪ {x} ⊆ A ∪ A \ J = A ⊆ S. This is impossible because A = S. The assertions (i) holds.
Case 2: S = M j (x) for some x ∈ S \ J. By hypothesis, M j (x) is a maximal j-hyperideal of S and J = M j (x). By Lemma 4, M j (x) ∪ J is a j-hyperideal of S. Since J is maximal, M j (x) ∪ J = S. Since M j (x) ∩ J ⊂ J and by hypothesis, it follows that M j (x) ∩ J = ∅. Next, we will confirm that M j (x) and J are only two proper j-hyperideals of S such that M j (x) ∪ J = S and M j (x) ∩ J = ∅. Let A be a proper j-hyperideal of S. By hypothesis, A is maximal.
. By the same manner as in Theorem 5, we obtain either A = J or A = M j (x). Therefore, the assertion (ii) holds.
(⇐=) The proof is similar to Theorem 5.
Theorem 11. Let S have a zero element. For each positive integer 1 ≤ j ≤ n, let S have nonzero proper j-hyperideals. Then every nonzero proper j-hyperideal of S is maximal if and only if one of the following assertions holds.
(i) S has only one nonzero proper j-hyperideal.
Proof. The proof is similar to Theorem 10.
Next, we shall apply the theorems of this section to the following example.

Example 14.
Consider an n-ary semihypergroup (S, f ) with a zero element 1 has been given in Example 12.

Conclusions
Similarly to the theory of semigroups, hyperideal theory in semihypergroups plays an important role in the studying the algebraic properties and the structural properties of semihypergroups. As we know, a semihypergroup represents a natural extension of a semigroup. Moreover, the structure of an n-ary semihypergroup [12] can also be considered as a generalization of semigroups, ternary semigroups and n-ary semigroups, and an analogous structure for semihypergroups. This paper is a contribution to the study of j-hyperideal [14], for all 1 ≤ j ≤ n, in n-ary semihypergroups where n ≥ 2. We introduced the concept of j-(0-)simple and (0-)simple n-ary semihypergroups. We gave the properties of j-hyperideals in n-ary semihypergroups and characterized the minimality and maximality of j-hyperideals in n-ary semihypergroups. We established the relationships between (0-)minimal j-hyperideals and the j-(0-)simple n-ary semihypergroups. Furthermore, the connections between maximal j-hyperideals and j-(0-)simple n-ary semihypergroups were presented. Our obtained results were gotten to extend and generalize some similar results in semigroups, ternary semigroups [8,19] and ternary semihypergroups [16]. Moreover, we gave a complete answer of the open problem given by Petchkaew and Chinram in [18].
Author Contributions: These authors contributed equally to this work. All authors have read and agreed to the published version of the manuscript.
Funding: This research received no external funding.