## WEAKLY S -PRIME HYPERIDEALS

## MAHDI ANBARLOEI

Abstract. In this paper, we aim to introduce weakly n -ary S -prime hyperideals in a commutative Krasner ( m,n )-hyperring.

## 1. Introduction

/negationslash

In recent years, prime ideals and their expansions have gained significant attention in commutative algebra, drawing the attention of numerous authors. One of these extensions called S -prime ideals was introduced via a multiplicative subset of a commutative ring in [17]. Afterward, the idea of weakly S -prime ideals was investigated by Almahdi et al. in [1]. This study demonstrated that weakly S -prime ideals exhibits numerous properties similar to those of weakly prime ideals. Let A be a commutative ring, Q a ideal of A and S ⊆ A a multiplicative set. The ideal Q is said to be weakly S -prime if there exists s ∈ S such that, 0 = xy ∈ Q for x, y ∈ A implies sx ∈ Q or sy ∈ Q .

Hyperstructures represent a natural extension of classical algebraic structures and they were defined by the French mathematician F. Marty. In 1934, Marty [24] defined the concept of a hypergroup as a generalization of groups during the 8 th Congress of the Scandinavian Mathematicians. A comprehensive review of the theory of hyperstructures can be found in [3, 11, 12, 13, 27, 29, 30, 31]. The simplest algebraic hyperstructures which possess the properties of closure and associativity are called semihypergroups. n -ary semigroups and n -ary groups are algebras with one n -ary operation which is associative and invertible in a generalized sense. The notion of investigations of n -ary algebras goes back to Kasner's lecture [19] at a scientific meeting in 1904. In 1928, Dorente wrote the first paper concerning the theory of n -ary groups [16]. Later on, Crombez and Timm [9, 10] defined and described the notion of the ( m,n )-rings and their quotient structures. Mirvakili and Davvaz [20] defined ( m,n )-hyperrings and obtained several results in this respect. In [14], they introduced and illustrated a generalization of the notion of a hypergroup in the sense of Marty and a generalization of an n -ary group, which is called n -ary hypergroup. The n -ary structures has been studied in [20, 21, 22, 23, 28]. Mirvakili and Davvaz [26] defined ( m,n )-hyperrings and obtained several results in this respect.

It was Krasner, who introduced one important class of hyperrings, where the addition is a hyperoperation, while the multiplication is an ordinary binary operation, which is called Krasner hyperring. In [25], a generalization of the Krasner hyperrings, which is a subclass of ( m,n )-hyperrings, was defined by Mirvakili and Davvaz. It is called Krasner ( m,n )-hyperring. Ameri and Norouzi in [2] introduced

2020 Mathematics Subject Classification. 20N20, 16Y20 .

Key words and phrases. multiplicative set, weakly n -ary S -prime hyperideal, strongly weakly n -ary S -prime hyperideal.

some important hyperideals such as Jacobson radical, n-ary prime and primary hyperideals, nilradical, and n-ary multiplicative subsets of Krasner ( m,n )-hyperrings. Afterward, the notion of ( k, n )-absorbing hyperideal were studied by Hila et al. [18]. The idea was extended to weakly ( k, n )-absorbing hyperideals by Davvaz et al. in [15]. The notion of S -prime hyperideals which is an extension of the prime hyperideals via an n -ary multiplicative subset of a Krasner ( m,n )-hyperring was investigated in [7].

In this paper, motivated by the research work on weakly S -prime ideals, the notion of weakly n -ary S -prime hyperideals is introduced and investigated in a commutative Krasner ( m,n )-hyperring A where S ⊆ A is a multiplicative set. Among many results in this paper, we prove that every n -ary prime hyperideals of A is a weakly n -ary S -prime hyperideal but the converse may not be always true in Example 3.2. It is shown that every weakly n -ary S -prime hyperideal of A is n -ary prime if and only if A is an n -ary hyperintegral domain and every S -prime hyperideal of A is n -ary prime in Theorem 3.7. We obtain that if Q is a strongly weakly n -ary S -prime hyperideal of A that is not n -ary S -prime, then g Q ( ( n ) ) = 0 in Theorem 3.11. In theorem 3.14, we propose a type of Nakayama s Lemma for , strongly weakly n -ary S -prime hyperideals. Moreover, we conclude that if Q is a strongly weakly n -ary S -prime hyperideal of A that is not n -ary S -prime, then g g s, rad ( ( (0) , 1 ( n -2) A ) , Q ( n -1) ) = 0 for some s ∈ S in Theorem 3.17. Finally, we present some characterizations of this notion on cartesian product of commutative Krasner ( m,n )-hyperring.

## 2. Preliminaries

Recall first the definitions and basic terms from the hyperrings theory. Let A be a non-empty set and P ∗ ( A ) be the set of all the non-empty subsets of H . Then the mapping f : H n -→ P ∗ ( A ) is called an n -ary hyperoperation and the algebraic system ( A,f ) is called an n -ary hypergroupoid. For non-empty subsets U , ..., U 1 n of H , define

The sequence x , x i i +1 , ..., x j will be denoted by x j i . For j &lt; i , x j i is the empty symbol. Using this notation,

$$, \dots, \upsilon _ { n } \circ \mathcal { U }, \text{ ensure} \\ f ( U _ { 1 } ^ { n } ) = f ( U _ { 1 }, \dots, U _ { n } ) = \bigcup \{ f ( x _ { 1 } ^ { n } ) \ | \ a _ { i } \in U _ { i }, i = 1, \dots, n \}. \\ \circ \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \osigma \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sec \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \colon \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \colon$$

$$f ( x _ { 1 }, \dots, x _ { i }, y _ { i + 1 }, \dots, y _ { j }, z _ { j + 1 }, \dots, z _ { n } )$$

will be written as f ( x , y i 1 j i +1 , z n j +1 ). The expression will be written in the form

$$f ( x _ { 1 } ^ { i }, y ^ { ( j - i ) }, z _ { j + 1 } ^ { n } ),$$

when y i +1 = ... = y j = y . If for every 1 ≤ i &lt; j ≤ n and all x , x 1 2 , ..., x 2 n -1 ∈ A ,

$$\i c u \, y _ { t + 1 } - \dots - y _ { j } - y. \, \Pi \, \i c v e y \, \i c \, = \, \rangle & \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmath \, \jmatrix} \\ f \left ( x _ { 1 } ^ { i - 1 }, f ( x _ { i } ^ { n + i - 1 } ), x _ { n + i } ^ { 2 n - 1 } \right ) & = f \left ( x _ { 1 } ^ { j - 1 }, f ( x _ { j } ^ { n + j - 1 } ), x _ { n + j } ^ { 2 n - 1 } \right )$$

then the n-ary hyperoperation f is called associative. An n -ary hypergroupoid with the associative n -ary hyperoperation is called an n -ary semihypergroup.

An n -ary hypergroupoid ( A,f ) in which the equation b ∈ f ( a i -1 1 , x , a i n i +1 ) has a solution x i ∈ A for every a i -1 1 , a n i +1 , b ∈ A and 1 ≤ i ≤ n , is called an n -ary

quasihypergroup, when ( A,f ) is an n -ary semihypergroup, ( A,f ) is called an n -ary hypergroup.

An n -ary hypergroupoid ( A,f ) is commutative if for all σ ∈ S n , the group of all permutations of { 1 2 3 , , , ..., n } , and for every a n 1 ∈ A we have f ( a , ..., a 1 n ) = f ( a σ (1) , ..., a σ n ( ) ). If a n 1 ∈ A , then ( a σ (1) , ..., a σ n ( ) ) is denoted by a σ n ( ) σ (1) .

If f is an n -ary hyperoperation and t = ( l n -1) + 1, then t -ary hyperoperation f ( ) l is given by

$$\kappa \nu \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
 \ k _ { ( l ) } ( x _ { 1 } ^ { l ( n - 1 ) + 1 } ) = f \left ( f ( \dots, f ( f ( x _ { 1 } ^ { n } ), x _ { n + 1 } ^ { 2 n - 1 } ), \dots ), x _ { ( l - 1 ) ( n - 1 ) + 1 } ^ { l ( n - 1 ) + 1 } \right ).$$

Definition 2.1. [25] A non-empty subset K of an n -ary hypergroup ( A,f ) is said to be an n -ary subhypergroup of A if ( K,f ) is an n -ary hypergroup. An element e ∈ A is called a scalar neutral element if x = f ( e ( i -1) , x, e ( n -i ) ), for every 1 ≤ i ≤ n and for every x ∈ A .

An element 0 of an n -ary semihypergroup ( A,g ) is called a zero element if for every x n 2 ∈ A g , (0 , x n 2 ) = g x , ( 2 0 , x n 3 ) = ... = g x ( n 2 , 0) = 0. If 0 and 0 ′ are two zero elements, then 0 = g (0 ′ , 0 ( n -1) ) = 0 ′ and so the zero element is unique.

Definition 2.2. [20] Let ( A,f ) be a n -ary hypergroup. ( A,f ) is called a canonical n -ary hypergroup if:

- (1) There exists a unique e ∈ A , such that for every x ∈ A,f x, e ( ( n -1) ) = x ;
- (2) For all x ∈ A there exists a unique x -1 ∈ A , such that e ∈ f ( x, x -1 , e ( n -2) );
- (3) If x ∈ f ( x n 1 ), then for all i , x i ∈ f ( x, x -1 , ..., x -1 i -1 , x -1 i +1 , ..., x -1 n ).

e is said to be the scalar identity of ( A,f ) and x -1 is the inverse of x . Notice that the inverse of e is e .

Definition 2.3. [25] ( A,f, g ), or simply A , is said to be a Krasner ( m,n )-hyperring if:

- (1) ( A,f ) is a canonical m -ary hypergroup;
- (2) ( A,g ) is a n -ary semigroup;
- (3) The n -ary operation g is distributive with respect to the m -ary hyperoperation f , i.e., for every a i -1 1 , a n i +1 , x m 1 ∈ A , and 1 ≤ i ≤ n ,

$$j \, \text{i.e., for every } a _ { 1 } \, a _ { i + 1 } ^ { i }, x _ { 1 } ^ { i } \in A, \text{and} \ 1 \geq i \geq n, \\ g & \left ( a _ { 1 } ^ { i - 1 }, f ( x _ { 1 } ^ { m } ), a _ { i + 1 } ^ { n } \right ) = f \left ( g ( a _ { 1 } ^ { i - 1 }, x _ { 1 }, a _ { i + 1 } ^ { n } ), \dots, g ( a _ { 1 } ^ { i - 1 }, x _ { m }, a _ { i + 1 } ^ { n } ) \right ) ;$$

(4) 0 is a zero element (absorbing element) of the n -ary operation g , i.e., for every x n 2 ∈ R , g (0 , x n 2 ) = g x , ( 2 0 , x n 3 ) = ... = g x ( n 2 , 0) = 0.

Throughout this paper, ( A,f, g ) denotes a commutative Krasner ( m,n )-hyperring. A non-empty subset B of A is called a subhyperring of A if ( B,f,g ) is a Krasner ( m,n )-hyperring. The non-empty subset Q of ( A,f, g ) is a hyperideal if ( Q,f ) is an m -ary subhypergroup of ( A,f ) and g x ( i -1 1 , Q, x n i +1 ) ⊆ Q , for every x n 1 ∈ A and 1 ≤ i ≤ n .

Definition 2.4. [2] Let x be an element in a Krasner ( m,n )-hyperring A . The hyperideal generated by x is denoted by &lt; x &gt; and defined as follows:

$$< x > = g ( A, x, 1 ^ { ( n - 2 ) } ) = \{ g ( r, x, 1 ^ { ( n - 2 ) } ) \ | \ r \in A \}.$$

Also, let Q be a hyperideal of A . Then define ( Q : x ) = { a ∈ A | g a, x, ( 1 ( n -2) A ) ∈ Q } .

Definition 2.5. [2] An element x ∈ A is said to be invertible if there exists y ∈ A such that 1 A = g x, y, ( 1 ( n -2) A ). Also, the subset U of A is invertible if and only if every element of U is invertible.

/negationslash

Definition 2.6. [2] Let Q = A be a hyperideal of a Krasner ( m,n )-hyperring A . Q is a prime hyperideal if for hyperideals Q , ..., Q 1 n of A g Q , ( n 1 ) ⊆ P implies that Q 1 ⊆ Q or Q 2 ⊆ Q or ...or Q n ⊆ Q .

/negationslash

Lemma 2.7. (Lemma 4.5 in [2]) Let Q = A be a hyperideal of a Krasner ( m,n )-hyperring A . Then Q is a prime hyperideal if for all x n 1 ∈ A g x , ( n 1 ) ∈ Q implies that x 1 ∈ Q or ... or x n ∈ Q .

Definition 2.8. [2] Let Q be a hyperideal in a Krasner ( m,n )-hyperring A with scalar identity. The radical (or nilradical) of Q , denoted by rad Q ( ) is the hyperideal ⋂ Q , where the intersection is taken over all prime hyperideals Q which contain Q . If the set of all prime hyperideals containing Q is empty, then rad Q ( ) is defined to be A .

Ameri and Norouzi showed that if x ∈ rad Q ( ) then there exists u ∈ N such that g x ( ( u ) , 1 ( n -u ) A ) ∈ Q for u ≤ n , or g ( ) l ( x ( u ) ) ∈ Q for u = ( l n -1) + 1 [2].

Definition 2.9. [2] Let Q be a proper hyperideal of a Krasner ( m,n )-hyperring A with the scalar identity 1 A . Q is a primary hyperideal if g x ( n 1 ) ∈ Q and x i / Q ∈ implies that g x ( i -1 1 , 1 A , x n i +1 ) ∈ rad Q ( ) for some 1 ≤ i ≤ n .

If Q is a primary hyperideal in a Krasner ( m,n )-hyperring A with the scalar identity 1 A , then rad Q ( ) is prime. (Theorem 4.28 in [2])

Definition 2.10. [2] Let S ⊆ A be a non-empty subset of a Krasner ( m,n )-hyperring R S . is called an n-ary multiplicative if g s ( n 1 ) ∈ S for s , ..., s 1 n ∈ S .

## 3. weakly n -ary S-prime hyperideals

In a very recent paper [7], the concept of n -ary prime hyperideals was generalized to n -ary S -prime hyperideals via an n -ary multiplicative subset in a Krasner ( m,n )-hyperring. Assume that Q is a hyperideal of a commutative Krasner ( m,n )-hyperring A and S ⊆ A is an n -ary multiplicative set such that Q ∩ S = ∅ . The hyperideal Q is called n -ary S -prime if there exists an s ∈ S such that for every a n 1 ∈ A with g a ( n 1 ) ∈ Q g s,a , , ( i 1 ( n -2) A ) ∈ Q for some i ∈ { 1 , · · · , n } . Our purpose here is to introduce and study the notion of weakly n -ary S -prime hyperideals which constitutes a generalization of n -ary S -prime hyperideals. The weakly-version of n -ary S -prime hyperideals is defined as follows.

/negationslash

Definition 3.1. Assume that Q is a hyperideal of A and S is an n -ary multiplicative subset of A such that Q ∩ S = ∅ . We say that Q is a weakly n -ary S -prime hyperideal of A if there exists an s ∈ S such that for all a n 1 ∈ A if 0 = g a ( n 1 ) ∈ Q , we have g s, a , ( i 1 ( n -2) A ) ∈ Q for some i ∈ { 1 , · · · , n } .

Example 3.2. The set A = { 0 1 2 3 , , , } with following 2-hyperoperation ' /squareplus ' is a canonical 2-ary hypergroup

|   /squareplus |   0 | 1   |   2 | 3   |
|---------------|-----|-----|-----|-----|
|             0 |   0 | 1   |   2 | 3   |
|             1 |   1 | I   |   3 | J   |
|             2 |   2 | 3   |   0 | 1   |
|             3 |   3 | J   |   1 | I   |

where I = { 0 1 , } and J = 2 3 . Define a 4-ary operation { , } g on A as g a ( 4 1 ) = 2 if a 4 1 ∈ J or 0 if otherwise. In the Krasner (2,4)-hyperring ( R, ⊕ , g ), the set S = 2 3 { , } is 4-ary multiplicative and Q = { 0 } is a weakly 4-ary S -prime hyperideal but it is not 4-ary prime, because g (1 , 1 2 3) = 0 , , ∈ Q while 1 , 2 3 , / Q ∈ .

Example 3.3. Consider Krasner (3 3)-hyperring ( , A = { 0 1 2 , , } , f, g ) where 3-ary hyperoperation f and 3-ary operation g are defined as f (0 , 0 0) = 0 , , f (0 , 0 2) = 2 , , f (0 , 1 1) = 1 , , f (1 , 1 1) = 1 , , f (2 , 2 2) = 2 , ,

f (0 , 0 1) = 1 , , f (0 , 2 2) = 2 , , f (1 , 1 2) = , f (1 , 2 2) = , f (0 , 1 2) = , A, g (1 , 1 1) = 1 , , g (1 , 1 2) = , g (1 , 2 2) = , g (2 , 2 2) = 2 , ,

and g (0 , a 2 1 ) = 0 for a 2 1 ∈ A .

In the hyperring, the set S = { 1 2 , } is 3-ary multiplicative and Q = { 0 2 , } is a weakly 3-ary S -prime hyperideal of A .

/negationslash

Proposition 3.4. Let S ⊆ A be an n -ary multiplicative set, Q a hyperideal of A with Q ∩ S = ∅ and Q n -1 1 some hyperideals of A such that Q j ∩ S = ∅ for each j ∈ { 1 , · · · , n - } 1 . If Q is a weakly n -ary S -prime hyperideal of A , then g Q ( n -1 1 , Q ) is a weakly n -ary S -prime hyperideal of A .

/negationslash

/negationslash

Proof. Assume that 0 = g a ( n 1 ) ∈ g Q ( n -1 1 , Q ) for a n 1 ∈ A . Clearly, g Q ( n -1 1 , Q ) ∩ S = ∅ . Since Q is a weakly n -ary S -prime hyperideal of A and 0 = g a ( n 1 ) ∈ Q , there exists an s ∈ S such that g s, a , ( i 1 ( n -2) A ) ∈ Q for some i ∈ { 1 , · · · , n } . Take any s j ∈ Q j ∩ S for each j ∈ { 1 , · · · , n -1 } . So g s ( n -1 1 , s ) ∈ S . Therefore we get g g s ( ( n -1 1 , s ) , a i , 1 n -2 A ) = g s ( n -1 1 , g ( s, a , i 1 ( n -2) A )) ∈ g Q ( n -1 1 , Q ). Thus g Q ( n -1 1 , Q ) is a weakly n -ary S -prime hyperideal of A . /square

/negationslash

Proposition 3.5. Let S ⊆ A be an n -ary multiplicative set and Q be a hyperideal of A with Q ∩ S = ∅ . If P is a hyperideal of A such that P ∩ S = ∅ and Q is a weakly n -ary S -prime hyperideal of A , then Q ∩ P is a weakly n -ary S -prime hyperideal of A .

/negationslash

Proof. Let 0 = g a ( n 1 ) ∈ Q ∩ P for a n 1 ∈ A . Since 0 = g a ( n 1 ) ∈ Q and Q is a weakly n -ary S -prime hyperideal of A , there exists an s ∈ S such that g s, a , ( i 1 ( n -2) A ) ∈ Q for some i ∈ { 1 , · · · , n } . Take any t ∈ P ∩ S . Then we have g t ( ( n -1) , s ) ∈ S . Therefore we get the result that g g t ( ( ( n -1) , s ) , a i , 1 ( n -2) A ) = g t ( ( n -1) , g ( s, a , i 1 ( n -2) A )) ∈ Q ∩ P which shows Q ∩ P is a weakly n -ary S -prime hyperideal of A . /square

/negationslash

Proposition 3.6. Let S ⊆ A be an n -ary multiplicative set and Q be a hyperideal of A with Q ∩ S = ∅ . If ( Q : s ) is a weakly n -ary prime hyperideal of A for some s ∈ S , then Q is a weakly n -ary S -prime hyperideal of A .

/negationslash

/negationslash

Proof. Let ( Q : s ) be a weakly n -ary prime hyperideal of A for some s ∈ S . Assume that 0 = g a ( n 1 ) ∈ Q for a n 1 ∈ A . Then we have 0 = g a ( n 1 ) ∈ ( Q : s ) as Q ⊆ ( Q : s ). Since ( Q : s ) is a weakly n -ary prime hyperideal of A , we obtain a i ∈ ( Q : s ) for some i ∈ { 1 , · · · , n } which implies that g s, a , ( i 1 ( n -2) A ) ∈ Q . Consequently, Q is a weakly n -ary S -prime hyperideal of A . /square

Theorem 3.7. Let S ⊆ A be an n -ary multiplicative set. Then every weakly n -ary S -prime hyperideal of A is n -ary prime if and only if A is an n -ary hyperintegral domain and every S -prime hyperideal of A is n -ary prime.

Proof. (= ⇒ ) Let every weakly n -ary S -prime hyperideal of A is n -ary prime. Since 〈 0 〉 is a weakly n -ary S -prime hyperideal of A , it is n -ary prime which implies A is an n -ary hyperintegral domain.

( ⇐ =) Let A be an n -ary hyperintegral domain. This means that every weakly n -ary S -prime hyperideal of A is n -ary S -prime and so it is prime by the hypothesis. /square

Proposition 3.8. Let S ⊆ T ⊆ A be two n -ary multiplicative sets such that for each t ∈ T , there exists t ′ ∈ T with g t ( ( n -1) , t ′ ) ∈ S . If Q is a weakly n -ary T -prime hyperideal of A , then Q is a weakly n -ary S -prime hyperideal of A .

/negationslash

Proof. Assume that 0 = g a ( n 1 ) ∈ Q for some a n 1 ∈ A . Since Q is a weakly n -ary T -prime hyperideal of A , there exists t ∈ T such that g t, a , ( i 1 ( n -2) ) ∈ Q for some i ∈ { 1 , · · · , n } . By the hypothesis, there exists t ′ ∈ T such that g t ( ( n -1) , t ′ ) ∈ S . Let s = g t ( ( n -1) , t ′ ). Therefore we get the result that g s, a , ( i 1 ( n -2) A ) = g g t ( ( ( n -1) , t ′ ) , a i , 1 ( n -2) A ) = g g t ( ( ( n -2) , t ′ , 1 A ) , g ( t, a i , 1 ( n -2) ) , 1 ( n -2) A ) ∈ Q , as needed. /square

Theorem 3.9. Let Q be a hyperideal of A and S ⊆ A be an n -ary multiplicative set such that Q ∩ S = ∅ and 1 A ∈ S . Then Q is a weakly n -ary S -prime hyperideal of A if and only if Q is a weakly n -ary S /star -prime hyperideal where S /star = { a ∈ A | a 1 A is invertible in S -1 A } .

Proof. (= ⇒ ) Since Q is a weakly n -ary S -prime hyperideal of A and S /star is an n -ary multiplicative subset of A containing S , we are done.

( ⇐ =) Assume that t ∈ S /star . This means that t 1 A is invertible in S -1 A and so there exists x ∈ A and s ∈ S such that G ( t 1 A , x s , 1 A 1 A ( n -2) ) = g t,x, ( 1 ( n -2) A ) g s, ( 1 ( n -1) A ) = 1 A 1 A . Then there exists s ′ ∈ S such that 0 ∈ g s , f ( ′ ( g t, x, ( 1 ( n -2) A ) , -g s, ( 1 ( n -1) A ) , 0 ( m -2) ) , 1 ( n -2) A ) = f ( g s , t, x, ( ′ 1 ( n -3) A ) , -g s , s, ( ′ 1 ( n -2) A ) , 0 ( m -2) ). Since g s , s, ( ′ 1 ( n -2) A ) ∈ S , we obtain g s , t, x, ( ′ 1 ( n -3) A ) ∈ f ( g s , s, ( ′ 1 ( n -2) A ) , 0 ( m -1) ) ⊆ S . Let s ′′ = g s , x, ( ′ 1 ( n -2) A ). Since G ( g s ,x, ( ′ 1 ( n -2) A ) 1 A , g t, ( 1 ( n -1) A ) g s ,x,t, ( ′ 1 ( n -3) A ) , 1 A 1 A ( n -2) ) = g s ,x,t, ( ′ 1 ( n -3) A ) g s ,x,t, ( ′ 1 ( n -3) A ) = 1 A 1 A , we obtain s ′′ ∈ S /star . Hence we have g t ( ( n -1) , g ( s ′′ ( n -1) , g ( t, s ′′ , 1 ( n -2) A ))) = g g t, s ( ( ′′ , 1 ( n -2) A ) n ) ∈ S . Put t ′ = g s ( ′′ ( n -1) , g ( t, s ′′ , 1 ( n -2) A )). So t ′ ∈ S /star . Since g t ( ( n -1) , t ′ ) ∈ S , we conclude that Q is a weakly n -ary S -prime hyperideal of A by Proposition 3.8. /square

/negationslash

/negationslash

Recall from [15] that a hyperideal Q of A is called strongly weakly n -ary prime if 0 = g Q ( n 1 ) ⊆ Q for all hyperideals Q n 1 of A implies that Q i ⊆ Q for some i ∈ { 1 , · · · , n } . Assume that S ⊆ A is an n -ary multiplicative set satisfying Q ∩ S = ∅ . A hyperideal Q of A refers to a strongly weakly n -ary S -prime hyperideal if there exists an s ∈ S such that for each hyperideal Q n 1 of A if 0 = g Q ( n 1 ) ⊆ Q , we have g s, Q , ( i 1 ( n -2) A ) ⊆ Q for some i ∈ { 1 , · · · , n } . In this case, it is said that Q is

associated to s . It is clear that every strongly weakly n -ary S -prime hyperideal of A is a weakly n -ary S -prime hyperideal.

Theorem 3.10. Assume that Q is a strongly weakly n -ary S -prime hyperideal of A such that Q is associated to s . If g a ( n 1 ) = 0 for a n 1 ∈ A but g s, a , ( i 1 ( n -2) A ) / Q ∈ for all i ∈ { 1 , · · · , n } , then g a , ( 1 · · · , a ̂ k 1 , · · · , a ̂ k 2 , · · · , a ̂ k u , · · · , Q ( v ) ) = 0 for each k , 1 · · · , k v ∈ { 1 , · · · , n } .

/negationslash

/negationslash

/negationslash

Proof. We use the induction on v . Let v = 1. Assume that g a ( i -1 1 , Q, a n i +1 ) = 0 for some i ∈ { 1 , · · · , n } . Therefore we get 0 = g a ( i -1 1 , a, a n i +1 ) ∈ Q for some a ∈ Q . So we conclude that 0 = g a ( i -1 1 , a, a n i +1 ) = f ( g a ( n 1 ) , g ( a i -1 1 , a, a n i +1 ) , 0 ( m -2) ) = g a ( i -1 1 , f ( a, a , i 0 ( m -2) ) , a n i +1 ) ⊆ Q . Then we get g s, f ( ( a, a , i 0 ( m -2) ) , 1 ( n -2) A ) = f ( g s, a, ( 1 ( n -2) A ) , g ( s, a , i 1 ( n -2) A ) , 0 ( m -2) ) ⊆ Q which means g s, a , ( i 1 ( n -2) A ) ∈ Q or g s, a ( j , 1 ( n -2) A ) ∈ Q for some j ∈ { 1 , · · · , i, ̂ · · · , n } . It follows that g s, a , ( i 1 ( n -2) A ) ∈ Q for some i ∈ { 1 , · · · , n } which is impossible. Now, suppose that the claim is true for all positive integers which are less than v . Suppose on the contrary that g a , ( 1 · · · , a ̂ k 1 , · · · , a ̂ k 2 , · · · , a ̂ k v , · · · , Q ( v ) ) = 0 for some k , 1 · · · , k v ∈ { 1 , · · · , n } . Without loss of generality, we eliminate a v 1 . So we have g a ( v +1 , · · · , a n , Q ( v ) ) = 0. Then there exist x v 1 ∈ Q such that 0 = g a ( v +1 , · · · , a n , x v 1 ) ∈ Q . By induction hypothesis, we conclude that 0 = g f ( ( a , x 1 1 , 0 ( m -2) ) , · · · , f ( a , x v v , 0 ( m -2) ) , a n v +1 ) ⊆ Q . By the hypothesis, we get g s, f ( ( a , x , i i 0 ( m -2) ) , 1 ( n -2) A ) ∈ Q for some i ∈ { 1 , · · · , v } or g s, a ( j , 1 ( n -2) A ) ∈ Q for some j ∈ { v + 1 , · · · , n } . This implies that g s, a , ( i 1 ( n -2) A ) ∈ Q for some i ∈ { 1 , · · · , n } which is a contradiction. Hence we conclude that g a , ( 1 · · · , a ̂ k 1 , · · · , a ̂ k 2 , · · · , a ̂ k u , · · · , Q ( v ) ) = 0 for each k , 1 · · · , k u ∈ { 1 , · · · , n } . /square

/negationslash

/negationslash

Theorem 3.11. Let S ⊆ A be an n -ary multiplicative set. If Q is a strongly weakly n -ary S -prime hyperideal of A that is not n -ary S -prime, then g Q ( ( n ) ) = 0 .

/negationslash

/negationslash

Proof. Let Q be a strongly weakly n -ary S -prime hyperideal of A and Q is associated to s . Suppose on the contrary that 0 = g Q ( ( n ) ). We show that Q is an n -ary S -prime hyperideal of A . Let g a ( n 1 ) ∈ Q for a n 1 ∈ A . If 0 = g a ( n 1 ) ∈ Q , then we have g s, a , ( i 1 ( n -2) A ) ∈ Q for some i ∈ { 1 , · · · , n } . Assume that g a ( n 1 ) = 0. From 0 = g Q ( ( n ) ), it follows that there exist x n 1 ∈ Q such that g x ( n 1 ) = 0. By Theorem 3.10, we get the result that 0 = g f ( ( a , x 1 1 , 0 ( m -2) ) , · · · , f ( a n , x n , 0 ( m -2 )) ⊆ Q . By the hypothesis, we get f ( g s, a , ( i 1 ( n -2) A ) , g ( s, x , i 1 ( n -2) A ) , 0 ( m -2) ) = g s, f ( ( a , x , i i 0 ( m -2) ) ⊆ Q for some i ∈ { 1 , · · · , n } which means g s, a , ( i 1 ( n -2) A ) ∈ Q as g s, x , ( i 1 ( n -2) A ) ∈ Q . Thus Q is an n -ary S -prime hyperideal of A , a contradiction. Consequently, g Q ( ( n ) ) = 0. /square

/negationslash

/negationslash

In view of the previous theorem and Theorem 3.9 in [7], we have the following result.

Corollary 3.12. Let S ⊆ A be an n -ary multiplicative set and Q be a strongly weakly n -ary S -prime hyperideal of A . Then Q ⊆ rad (0) or g s, rad ( (0) , 1 ( n -2) ) ⊆ Q for some s ∈ S .

The following result is a version of Theorem 4.4 in [15] where k = 1.

Corollary 3.13. Let Q be a strongly weakly n -ary prime hyperideal of A but is not n -ary prime hyperideal. Then g Q ( ( n ) ) = 0.

/negationslash

/negationslash

/negationslash

Proof. By taking S = 1 { } in Theorem 3.11, we are done.

/square

Suppose that M is a non-empty set and ( A,f, g ) is a commutative Krasner ( m,n )-hyperring . If ( M,f ′ ) is an m -ary hypergroup and the map

$$g ^ { \prime } & \colon \underbrace { A \times \dots \times A } _ { n - 1 } \times M \longrightarrow P ^ { * } ( M ) \\ \underset { \ell \sim \dots } { \text{ng conditions:} }$$

statisfied the following conditions:

- (1) g ′ ( x n -1 1 , f ′ ( a m 1 )) = f ′ ( g ′ ( x n -1 1 , a 1 ) , ..., g ′ ( a n -1 1 , a m ))
- (3) g ′ ( x i -1 1 , g ( x i + n -1 i ) , x n + m -2 i + m , a ) = g ′ ( x n -1 1 , g ′ ( x n + m -2 m , a ))
- (2) g ′ ( x i -1 1 , f ( y m 1 ) , x n -1 i +1 , a ) = f ′ ( g ′ ( x i -1 1 , y 1 , x n -1 i +1 , a ) , ..., g ′ ( x i -1 1 y m , x n -1 i +1 , a ))
- (4) 0 = g ′ ( x i -1 1 , 0 , x n -1 i +1 , a ),

then the triple ( M,f ,g ′ ′ ) is called an ( m,n )-hypermodule over ( A,f, g ) [8]. In following theorem, Nakayama s Lemma is applied to a hyperideal that is strongly , weakly n -ary S -prime.

Theorem 3.14. Let ( M,f ,g ′ ′ ) be an ( m,n ) -hypermodule over ( A,f, g ) and Q be a strongly weakly n -ary S -prime hyperideal of A that is not n -ary S -prime. If M = g ′ ( Q, 1 ( n -2) A , M ) , then M = { 0 } .

Proof. Assume that Q is a strongly weakly n -ary S -prime hyperideal of A but is not n -ary S -prime and M = g ′ ( Q, 1 ( n -2) A , M ). By Theorem 3.11, we get the result that g ′ ( g Q ( ( n ) ) , 1 ( n -2) A , M ) = { 0 } . Moreover, we have

Then we conclude that M = { 0 } .

$$\text{$row_n-y\narrow$} \, \neg \, \nolimits \, \alpha _ { A }, \, n _ { A }, \, y \narrow \, \colon, \, \nu \, \nu \, \nu \, \colon \, \nu \, \nu \, \colon \, \nu \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \, \nu \, \colon \nolimits \, \alpha _ { A }, \, g ^ { \prime } ( Q, 1 _ { A } ^ { ( n - 2 ) }, M ) ) \\ & = g ^ { \prime } ( g ( Q ^ { ( n - 1 ) }, 1 _ { A } ), 1 _ { A } ^ { ( n - 2 ) }, M ) \\ & = g ^ { \prime } ( g ( Q ^ { ( n - 2 ) }, 1 _ { A } ^ { ( 2 ) } ), 1 _ { A } ^ { ( n - 2 ) }, g ^ { \prime } ( Q, 1 _ { A } ^ { ( n - 2 ) }, M ) ) \\ & = \cdots \\ & = g ^ { \prime } ( Q, 1 _ { A } ^ { ( n - 2 ) }, g ^ { \prime } ( Q, 1 _ { A } ^ { ( n - 2 ) }, M ) ) \\ & = g ( Q, 1 _ { A } ^ { ( n - 2 ) }, M ) \\ & = M. \\ \text{Then we conclude that $M=\{0\}$.} \quad & \Box \\ \text{Theorem $3.15$. Let $Q$ be a hyperideal of $A$ and $S\subseteq A$ is an $n$-ary multiplicative}$$

Theorem 3.15. Let Q be a hyperideal of A and S ⊆ A is an n -ary multiplicative set with Q ∩ S = ∅ . Then Q is a strongly weakly n -ary S -prime hyperideal of A if and only if there exists an element s ∈ S such that for every a / ∈ ( Q : s ) , either ( Q : a ) ⊆ ( Q : s ) or ( Q : a ) = (0 : a ) .

/negationslash

/negationslash

/negationslash

Proof. (= ⇒ ) Assume that Q is a strongly weakly n -ary S -prime hyperideal of A such that Q is associated to s . Let a / ∈ ( Q : s ) and ( Q : a ) = (0 : a ). Then there exists x ∈ ( Q : a ) such that g x, a, ( 1 ( n -2) A ) = 0 as (0 : a ) ⊆ ( Q : a ). Since 0 = g x, a, ( 1 ( n -2) A ) ∈ Q and g s, a, ( 1 ( n -2) A ) / Q ∈ , we get g s, x, ( 1 ( n -2) A ) ∈ Q . Take any b ∈ ( Q : a ). So g a, b, ( 1 ( n -2) A ) ∈ Q . Let 0 = g a, b, ( 1 ( n -2) A ). Therefore g s, b, ( 1 ( n -2) A ) ∈ Q which means b ∈ ( Q : s ). If 0 = g a, b, ( 1 ( n -2) A ), then 0 = g a, x, ( 1 ( n -2) A ) = f ( g a, x, ( 1 ( n -2) A ) , g ( a, b, 1 ( n -2) A ) , 0 ( m -2) ) = g a, f ( ( x, b, 0 ( m -2) ) , 1 ( n -2) A ) ∈ Q . Since Q is a strongly weakly n -ary S -prime hyperideal of A and a / ∈ ( Q : s ), we get the result that f ( g s, x, ( 1 ( n -2) A ) , g ( s, b, 1 ( n -2) A ) , 0 ( m -2) ) = g s, f ( ( x, b, 0 ( m -2) ) , 1 ( n -2) A ) ⊆ Q which implies g s, b, ( 1 ( n -2) A ) ∈ Q as g s, x, ( 1 ( n -2) A ) ∈ Q . This means that b ∈ ( Q : s )

/negationslash

/negationslash

and so ( Q : a ) ⊆ ( Q : s ).

/negationslash

/negationslash

( ⇐ =) Let 0 = g Q ( n 1 ) ⊆ Q for hyperideals Q n 1 of A such that g s, Q , ( i 1 ( n -2) A ) /notsubseteql Q for all i ∈ { 1 , · · · , n } and the element s mentioned in the hypothesis. Take any a i ∈ Q i \ ( Q : s ) for i ∈ { 1 , · · · , n } . Then g Q ( i -1 1 , a i , Q n i +1 ) ⊆ Q which means g Q ( i -1 1 , 1 A , Q n i +1 ) ⊆ ( Q : a i ). Since g Q ( i -1 1 , 1 A , Q n i +1 ) ⊆ Q j /notsubseteql ( Q : s ) for each j = i , we conclude that g Q ( i -1 1 , 1 A , Q n i +1 ) ⊆ ( Q : a i ) = (0 : a i ) which implies g Q ( i -1 1 , a i , Q n i +1 ) = 0. Now, let a i ∈ Q i ∩ ( Q : s ) for some i ∈ { 1 , · · · , n } and a j ∈ Q j for j ∈ { 1 , · · · , i, ̂ · · · , n } . If a j / ∈ ( Q : s ), then we obtain g Q ( j -1 1 , a j , Q n j +1 ) = 0. Let a j ∈ ( Q : s ). By the hypothesis, there exists x j ∈ Q j such that g s, x ( j , 1 ( n -2) A ) / ∈ Q . This means x j / ∈ ( Q : s ) and so f ( a , x j j , 0 ( m -2) ) /notsubseteql ( Q : s ). Therefore g f ( ( a , x 1 1 , 0 ( m -2) ) , · · · , f ( a i -1 , x i -1 , 0 ( m -2) ) , a i , f ( a i +1 , x i +1 , 0 ( m -2) ) , · · · , f ( a n , x n , 0 ( m -2) )) = 0. Then we conclude that g a ( n 1 ) = 0 and so g Q ( n 1 ) = 0 which is impossible. Thus Q is a strongly weakly n -ary S -prime hyperideal of A . /square

Corollary 3.16. Let Q be a hyperideal of A . Then Q is a strongly weakly n -ary prime hyperideal of A if and only if for every a / Q ∈ , either ( Q : a ) = Q or ( Q : a ) = (0 : a ).

Proof. By taking = 1

S { } in Theorem 3.15, we are done. /square

Theorem 3.17. Let Q be a hyperideal of A and S ⊆ A is an n -ary multiplicative set. If Q is a strongly weakly n -ary S -prime hyperideal of A that is not n -ary S -prime, then g g s, rad ( ( (0) , 1 ( n -2) A ) , Q ( n -1) ) = 0 for some s ∈ S .

/negationslash

/negationslash

Proof. Suppose that Q is a strongly weakly n -ary S -prime hyperideal of A . Then there exists an element s ∈ S such that for every a / ∈ ( Q : s ), either ( Q : a ) ⊆ ( Q : s ) or ( Q : a ) = (0 : a ), by Theorem 3.15. Take any x ∈ rad (0). If x ∈ ( Q : s ), then g s, x, ( 1 ( n -2) A ) ∈ Q and so g g s, rad ( ( (0) , 1 ( n -2) A ) , Q ( n -1) ) = 0 by Theorem 3.11. Now, let x / ∈ ( Q : s ). This implies that ( Q : x ) ⊆ ( Q : s ) or ( Q : x ) = (0 : x ). The first case leads to the following contradiction. Since x ∈ rad (0), there exists t ∈ N such that g x ( ( ) t , 1 ( n -t ) A ) = 0 for t ≤ n or g ( ) l ( x ( ) t ) = 0 for t = l ( n -1) + 1. Assume that t is a minimal integer satisfying the possibilities. If g x ( ( ) t , 1 ( n -t ) A ) = 0 for t ≤ n , then g x ( ( t -1) , 1 ( n -t +1) A ) ∈ ( Q : x ) ⊆ ( Q : s ) which means g g x ( ( ( t -1) , 1 ( n -t +1) A ) , s, 1 ( n -2) A ) = g x ( ( t -1) , s, 1 ( n -t ) A ) ∈ Q . If 0 = g x ( ( t -1) , s, 1 ( n -t ) A ), then we get g s, x, ( 1 ( n -2) A ) ∈ Q which is impossible. Therefore g x ( ( t -1) , s, 1 ( n -t ) A ) = 0. Assume that u is a minimal integer satisfying g s, x ( u , 1 ( n -2) A ) = 0. Assume that g g s, x, ( ( 1 ( n -2) A ) , q n -1 1 ) = 0 for some q n -1 1 ∈ Q . Since Q is a strongly weakly n -ary S -prime hyperideal of A and 0 = g g s, x, ( ( 1 ( n -2) A ) , q n -1 1 ) = g g s, x, ( ( 1 ( n -2) A ) , f ( x u -1 , g ( q n -1 1 , 1 A ) , 0 ( m -2) ) , 1 ( n -2) A ) ⊆ Q , we obtain g s, f ( ( x u -1 , g ( q n -1 1 , 1 A ) , 0 ( m -2) ) , 1 ( n -2) A ) ⊆ Q . Since g s, q ( n -1 1 ) ∈ Q , we have 0 = g s, x ( ( u -1) , 1 ( n -u ) A ) ∈ Q which implies g s, x, ( 1 ( n -2) A ) ∈ Q which is a contradiction. If g ( ) l ( x ( ) t ) = 0 for t = ( l n -1)+1, then by using a similar argument, we get a contradiction. In the second case, we get the result that g x, Q, ( 1 ( n -2) A ) = 0 as Q ⊆ ( Q : x ). Thus g s, g ( ( x, Q, 1 ( n -2) A ) , Q ( n -2) ) = g g s, x, ( ( 1 ( n -2) A ) , Q ( n -1) ) = 0 and so g g s, rad ( ( (0) , 1 ( n -2) A ) , Q ( n -1) ) = 0. /square

/negationslash

/negationslash

Corollary 3.18. Let Q 1 and Q 2 be two hyperideals of A and S ⊆ A is an n -ary multiplicative set. If Q 1 and Q 2 are strongly weakly n -ary S -prime hyperideals of A that are not n -ary S -prime, then we have g g s, Q ( ( 1 , 1 ( n -2) A ) , Q ( n -1) 2 ) = g g s, Q , ( ( 2 1 ( n -2) A ) , Q ( n -1) 1 ) = 0 for some s ∈ S .

Proof. Let Q 1 and Q 2 be two strongly weakly n -ary S -prime hyperideals of A that are not n -ary S -prime. Then we get the result that Q , Q 1 2 ⊆ rad (0) by Theorem 3.11. By Theorem 3.17, we have g g s, Q , ( ( 1 1 ( n -2) A ) , Q ( n -1) 2 ) = g Q , g s, Q ( 1 ( ( n -1) 2 ) , 1 ( n -2) A ) ⊆ g rad ( (0) , g ( s, Q ( n -1) 2 ) , 1 ( n -2) A ) = g g s, rad ( ( (0) , 1 ( n -2) A ) , Q ( n -1) 2 ) = 0 . Similarly, we can conclude that g g s, Q , ( ( 2 1 ( n -2) A ) , Q ( n -1) 1 ) = 0 /square

Corollary 3.19. Let Q be a strongly weakly n -ary prime hyperideal of A but is not n -ary prime hyperideal. Then g rad ( (0) , Q ( n -1) ) = 0.

Proof. By taking S = 1 { }

in Theorem 3.17, we are done. /square

The notion of Krasner ( m,n )-hyperring of fractions was introduced and studied in [6].

Theorem 3.20. Let S ⊆ A be an n -ary multiplicative set with 1 A ∈ S . If Q is a weakly n -ary S -prime hyperideal of A , then S -1 Q is a weakly n -ary prime hyperideal of S -1 A .

/negationslash

/negationslash

Proof. Let 0 = G ( a 1 s 1 , ..., a n s n ) ∈ S -1 Q for a 1 s 1 , ..., a n s n ∈ S -1 A . This means that g a ( n 1 ) g s ( n 1 ) ∈ S -1 Q and so there exists t ∈ S such that g t, g ( ( a n 1 ) , 1 ( n -2) A ) ∈ Q . Since Q is a weakly n -ary S -prime hyperideal of A and 0 = g g t, a ( ( 1 , 1 ( n -2) ) , a n 2 ) ∈ Q , there exists s ∈ S such that g s, g ( ( t, a 1 , 1 ( n -2) A ) , 1 ( n -2) A ) = g s, t, a ( 1 , 1 ( n -3) A ) ∈ Q or g s, a , ( i 1 ( n -2) A ) ∈ Q for some i ∈ { 2 , · · · , n } . Therefore we obtain G ( a 1 s 1 , 1 A 1 A ( n -1) ) = g a ( 1 , 1 ( n -1) A ) g s ( 1 , 1 ( n -1) A ) = g s,t,a ( 1 , 1 ( n -3) A ) g s,t,s ( 1 , 1 ( n -2) A ) ∈ S -1 Q or G ( a i s i , 1 A 1 A ( n -1) ) = g a , ( i 1 ( n -1) A ) g s , ( i 1 ( n -1) A )) = g s,a , ( i 1 ( n -2) A ) g s,s , ( i 1 ( n -2) A ) ∈ S -1 Q for some i ∈ { 2 , · · · , n } . Hence S -1 Q is a weakly n -ary prime hyperideal of S -1 A . /square

Theorem 3.21. Let S ⊆ A be an n -ary multiplicative set with 1 A ∈ S and Q be a hyperideal of A with Q ∩ S = ∅ . If S -1 Q is a weakly n -ary prime hyperideal of S -1 A and S -1 Q ∩ A = ( Q : s ) for some s ∈ S , then Q is a weakly n -ary S -prime hyperideal of A

/negationslash

/negationslash

Proof. Let S -1 Q be a weakly n -ary prime hyperideal of S -1 A and S -1 Q ∩ A = ( Q : s ) for some s ∈ S . Suppose that 0 = g a ( n 1 ) ∈ Q for some a n 1 ∈ A . Then we have 0 = G ( a 1 1 A , · · · , a n 1 A ) ∈ S -1 Q . Since S -1 Q is a weakly n -ary prime hyperideal of S -1 A , we get a i 1 ∈ S -1 Q for some i ∈ { 1 , · · · , n } which means g t, a , ( i 1 ( n -2) A ) ∈ Q for some t ∈ S . Therefore a i = g t,a , ( i 1 ( n -2) A ) g t, ( 1 ( n -1) A ) ∈ S -1 Q . This means a i ∈ ( Q : s ).

Therefore we have g s, a , ( i 1 ( n -2) A ) ∈ Q . This shows that I is a weaky n -ary S -prime hyperideal of A . /square

Theorem 3.22. Let S ⊆ A be an n -ary multiplicative set with 1 A ∈ S and Q be a hyperideal of A with Q ∩ S = ∅ . If there exists t ∈ S satisfying ( Q : s ) ⊆ ( Q : t ) for all s ∈ S and S -1 Q is a weakly n -ary prime hyperideal of S -1 A , then Q is a weakly n -ary S -prime hyperideal of A .

/negationslash

Proof. Assume that there exists t ∈ S satisfying ( Q : s ) ⊆ ( Q : t ) for all s ∈ S . Let 0 = g a ( n 1 ) ∈ Q for a n 1 ∈ A . Therefore we get 0 = G ( a 1 1 A , · · · , a n 1 A ) ∈ S -1 Q . It follows that a i 1 ∈ S -1 Q for some i ∈ { 1 , · · · , n } as S -1 Q is a weakly n -ary prime hyperideal of S -1 A . Hence g s, a , ( i 1 ( n -2) A ) ∈ Q for some s ∈ S which implies a i ∈ ( Q : s ) ⊆ ( Q : t ) and so g t, a , ( i 1 ( n -2) A ) ∈ Q . Consequently, Q is a weakly n -ary S -prime hyperideal of A . /square

/negationslash

Theorem 3.23. Let S ⊆ A be an n -ary multiplicative set with 1 A ∈ S . If A is an n -ary hyperintegral domain and S -1 A is a hyperfield, then 〈 0 〉 is the only weakly n -ary S -prime hyperideal of A .

/negationslash

/negationslash

Proof. Assume that Q = 0 is a weakly n -ary S -prime hyperideal of A . Take a ∈ Q \{ 0 } . Then there exists x ∈ A \{ 0 } and s ∈ S satisfying G ( a 1 A , x s , 1 A 1 A ( n -2) ) = g a,x, ( 1 ( n -2) A ) g s, ( 1 ( n -1) A ) = 1 A 1 A as S -1 A is a hyperfield. Then we conclude that there exists t ∈ S such that 0 ∈ g t, f ( ( g a, x, ( 1 ( n -2) A ) , -g s, ( 1 ( n -1) A ) , 0 ( m -2) ) , 1 ( n -2) A ) = f ( g t, a, x, ( 1 ( n -3) A ) , -g t, s, ( 1 ( n -2) A ) , 0 ( m -2) ). Therefore we get g t, a, x, ( 1 ( n -3) A ) ∈ f ( g t, s, ( 1 ( n -2) A ) , 0 ( m -1) ) ⊆ S . Since 0 = g t, a, x, ( 1 ( n -3) A ) ∈ Q , we get Q ∩ S = ∅ which is impossible. Thus 〈 0 〉 is the only weakly n -ary S -prime hyperideal of A . /square

/negationslash

Recall from [25] that a mapping h : A 1 -→ A 2 is called a homomorphism where ( A , f 1 1 , g 1 ) and ( A , f 2 2 , g 2 ) are commutative Krasner ( m,n )-hyperrings if for all a m 1 , b n 1 ∈ A 1 we have

- (i) h f ( 1 ( a , 1 · · · , a m )) = f 2 ( h a ( 1 ) , · · · , h ( a m )) ,
- (ii) h g ( 1 ( b 1 , · · · , b n )) = g 2 ( h b ( 1 ) , · · · , h ( b n ))
- (iii) h (1 A 1 ) = 1 A 2 .

Theorem 3.24. Let ( A , f 1 1 , g 1 ) and ( A , f 2 2 , g 2 ) be two commutative Krasner ( m,n ) -hyperrings, h : A 1 -→ A 2 a monomorphism and S ⊆ A 1 an n -ary multiplicative set. If Q 2 is a weakly n -ary h S ( ) -prime hyperideal of A 2 , then h -1 ( Q 2 ) is a weakly n -ary S -prime hyperideal of A 1 .

/negationslash

/negationslash

/negationslash

Proof. Assume that Q 2 is a weakly n -ary h S ( )-prime hyperideal of A 2 . Then there exists s ∈ S such that for all b n 1 ∈ A 2 with 0 = g 2 ( b n 1 ) ∈ Q 2 , we have g 2 ( h s , b , ( ) i 1 ( n -2) A 2 ) ∈ Q 2 for some i ∈ { 1 , · · · , n } . Put Q 1 = h -1 ( Q 2 ). It is easy to see that Q 1 ∩ S = ∅ . Let 0 = g 1 ( a n 1 ) ∈ Q 1 for a n 1 ∈ A 1 . Then 0 = h g ( 1 ( a n 1 )) = g 2 ( h a ( 1 ) , ..., h ( a n )) ∈ Q 2 as h is a monomorphism. So, we have g 2 ( h s , h a ( ) ( i ) , 1 ( n -2) A 2 ) = h g ( 1 ( s, a , i 1 ( n -2) A 1 )) ∈ Q 2 for some i ∈ { 1 , · · · , n } which implies g 1 ( s, a , i 1 ( n -2) A 1 ) ∈ h -1 ( Q 2 ) = Q 1 . Consequently, h -1 ( Q 2 ) is a weakly n -ary S -prime hyperideal of A 1 . /square

Corollary 3.25. Let S ⊆ A 1 be an n -ary multiplicative set. If A 1 is a subhyperring of A 2 and Q 2 is a weakly n -ary S -prime hyperideal of A 2 , then Q 2 ∩ A 1 is a weakly n -ary S -prime hyperideal of A 1 .

Proof. Consider the monomorphism h : A 1 -→ A 2 , defined by h a ( ) = a . Since h -1 ( Q 2 ) = Q 2 ∩ A 1 , we conclude that Q 2 ∩ A 1 is a weakly n -ary S -prime hyperideal of A 1 , by Theorem 3.24. /square

Assume that ( A , f 1 1 , g 1 ) and ( A , f 2 2 , g 2 ) are two commutative Krasner ( m,n )-hyperrings such that 1 A 1 and 1 A 2 are two scalar identities of A 1 and A 2 , respectively.

Then the ( m,n )-hyperring ( A 1 × A , f, g 2 ) is defined by m -ary hyperoperation f and n -ary operation g , as follows:

f (( x , y 1 1 ) , · · · , ( x m , y m )) = { ( x, y ) | x ∈ f 1 ( x m 1 ) , y ∈ f 2 ( y m 1 ) }

for all x m 1 , a n 1 ∈ A 1 and y m 1 , b n 1 ∈ A 2 [4].

g (( a , b 1 1 ) , · · · , ( a n , b n )) = ( g 1 ( a n 1 ) , g 2 ( b n 1 )),

Theorem 3.26. Assume that ( A , f 1 1 , g 1 ) and ( A , f 2 2 , g 2 ) are two commutative Krasner ( m,n ) -hyperrings such that 1 A 1 and 1 A 2 are two scalar identities of A 1 and A 2 , respectively. Suppose that S 1 ⊆ A 1 and S 2 ⊆ A 2 are n -ary multiplicative sets and, Q 1 and Q 2 are nonzero hyperideals of A 1 and A 2 , respectively. Then the following assertions are equivalent:

- (i) Q 1 × Q 2 is a weakly n -ary S 1 × S 2 -prime hyperideal of A 1 × A 2 .

/negationslash

/negationslash

- (ii) Q 1 is an n -ary S 1 -prime hyperideal of A 1 and Q 2 ∩ S 2 = ∅ or Q 2 is an n -ary S 2 -prime hyperideal of A 2 and Q 1 ∩ S 1 = ∅
- (iii) Q 1 × Q 2 is an n -ary S 1 × S 2 -prime hyperideal of A 1 × A 2 .

/negationslash

/negationslash

Proof. (i) = ⇒ (ii) Assume that (0 , 0) = ( a, b ) ∈ Q 1 × Q 2 for some a ∈ Q 1 and b ∈ Q 2 . So, we have (0 0) = ( , a, b ) = g (( a, 1 A 2 ) , (1 A 1 , 1 A 2 ) ( n -2) , (1 A 1 , b )) ∈ Q 1 × Q 2 . Then there exist s 1 ∈ S 1 and s 2 ∈ S 2 such that g (( s , s 1 2 ) , ( a, 1 A 2 ) , (1 A 1 , 1 A 2 ) ( n -2) ) = ( g 1 ( s , a, 1 1 ( n -2) A 1 ) , g 2 ( s , 2 1 ( n -1) A 2 )) ∈ Q 1 × Q 2 or g (( s , s 1 2 ) , (1 A 1 , b ) , (1 A 1 , 1 A 2 ) ( n -2) ) = ( g 1 ( s , 1 1 ( n -1) A 1 ) , g 2 ( s , b, 2 1 ( n -2) A 2 )) ∈ Q 1 × Q 2 as Q 1 × Q 2 is a weakly n -ary S 1 × S 2 -prime hyperideal of A 1 × A 2 . This implies that Q 1 ∩ S 1 = ∅ or Q 2 ∩ S 2 = ∅ . Consider Q 2 ∩ S 2 = ∅ . It follows that Q 1 ∩ S 1 = ∅ because ( Q 1 × Q 2 ) ∩ ( S 1 × S 2 ) = ∅ . Now, let g a ( n 1 ) ∈ Q 1 for a n 1 ∈ A 1 . From Q 2 ∩ S 2 = ∅ it follows that there exists 0 = r ∈ Q 2 ∩ S 2 . Then we have 0 = ( g 1 ( a n 1 ) , g 2 ( r, 1 ( n -1) A 2 )) = g (( a , r 1 ) , ( a , 2 1 A 2 ) , · · · ( a n , 1 A 2 )) ∈ Q 1 × Q 2 . Therefore we get the result that ( g 1 ( s , a 1 1 , 1 ( n -2) A 1 ) , g 2 ( s , r, 2 1 ( n -2) A 2 )) = g (( s , s 1 2 ) , ( a , r 1 ) , (1 A 1 , 1 A 2 ) ( n -2) ) ∈ Q 1 × Q 2 or ( g 1 ( s , a , 1 i 1 ( n -2) A 1 ) , g 2 ( s , 2 1 ( n -1) A 2 )) = g (( s , s 1 2 ) , ( a , i 1 A 2 ) , (1 A 1 , 1 A 2 ) ( n -2) ) ∈ Q 1 × Q 2 for some i ∈ { 2 , · · · , n } . Thus g 1 ( s , a , 1 i 1 A 1 ) ∈ Q 1 which shows Q 1 is an n -ary S 1 -prime hyperideal of A 1 .

/negationslash

/negationslash

/negationslash

/negationslash

/negationslash

(ii) = ⇒ (iii) Let Q 1 be an n -ary S 1 -prime hyperideal of A 1 and Q 2 ∩ S 2 = ∅ . So, there exists s 2 ∈ Q 2 ∩ S 2 . Let g (( a , b 1 1 ) , · · · , ( a n , b n )) = ( g 1 ( a n 1 ) , g 2 ( b n 1 )) ∈ Q 1 × Q 2 for some a n 1 ∈ A 1 and b n 1 ∈ A 2 . Since Q 1 is an n -ary S 1 -prime hyperideal of A 1 and g 1 ( a n 1 ) ∈ Q 1 , there exists s 1 ∈ S 1 such that g 1 ( s , a , 1 i 1 ( n -2) A 1 ) ∈ Q 1 for some i ∈ { 1 , · · · , n } . This implies that g (( s , s 1 2 ) , ( a , b i i ) , (1 A 1 , 1 A 2 ) ( n -2) ) = ( g 1 ( s , a , 1 i 1 ( n -2) A 2 ) , g 2 ( s , b , 2 i 1 ( n -2) A 1 )) ∈ Q 1 × Q 2 . Thus Q 1 × Q 2 is an n -ary S 1 × S 2 -prime hyperideal of A 1 × A 2 . Similarly, one can prove that Q 1 × Q 2 is an n -ary S 1 × S 2 -prime hyperideal of A 1 × A 2 if Q 2 is an n -ary S 2 -prime hyperideal of A 2 and Q 1 ∩ S 1 = ∅ .

- (iii) = ⇒ (i) It is obvious.

/square

/negationslash

/negationslash

Corollary 3.27. Let ( A , f 1 1 , g 1 ) , · · · , ( A ,f , g u u u ) be commutative Krasner ( m,n )-hyperrings, S 1 ⊆ A , 1 · · · , S u ⊆ A u n -ary multiplicative sets and Q u 1 hyperideals of A u 1 , respectively. Then Q 1 ×··· , × Q u is a weakly n -ary ( S 1 ×··· , × S u )-prime hyperideal of A 1 ×··· , × A u if and only if Q i is an n -ary S i -prime hyperideal of A i for some i ∈ { 1 , · · · , u } and Q j ∩ S j = ∅ for all j = i

/negationslash

/negationslash

/negationslash

Proof. We use the induction on u . The claim is clear for u = 1. If u = 2, then we are done by Theorem 3.26. Let the claim be true for all i &lt; u . By applying Theorem 3.26 to Q = Q ′ × Q u where Q ′ = Q 1 ×··· , × Q u -1 , we are done. /square

Theorem 3.28. Let ( A , f 1 1 , g 1 ) and ( A , f 2 2 , g 2 ) be two commutative Krasner ( m,n ) -hyperrings, 1 A 1 and 1 A 2 scalar identities of A 1 and A 2 , respectively, and S 1 ⊆ A 1 and S 2 ⊆ A 2 n -ary multiplicative sets. If A 1 and A 2 are hyperfields, then every proper hyperideal of A 1 × A 2 is weakly S -prime.

Proof. Let A 1 and A 2 be hyperfields. Then A 1 × A 2 has exactly three proper hyperideals { 0 } × A 2 , A 1 × { } 0 and { 0 } × { 0 } . Thus, we conclude that these hyperideals are weakly S -prime by Theorem 3.26. /square

## References

- [1] F.A. Almahdi, E.M. Bouba, M. Tamekkante, On weakly S -prime ideals of commutative rings, An. Stiint. Univ. Ovidius Constanta Ser. Mat., 29 (2) (2021) 173-186.
- [2] R. Ameri, M. Norouzi, Prime and primary hyperideals in Krasner ( m,n )-hyperrings, European Journal of Combinatorics , (2013) 379-390.
- [3] R. Ameri, A. Kordi, S. Sarka-Mayerova, Multiplicative hyperring of fractions and coprime hyperideals, An. Stiint. Univ. Ovidius Constanta Ser. Mat., 25 (1) (2017) 5-23.
- [4] M. Anbarloei, n -ary 2-absorbing and 2-absorbing primary hyperideals in Krasner ( m,n )-hyperrings, Matematicki Vesnik, 71 (3) (2019) 250-262.
- [5] M. Anbarloei, A study on a generalization of the n-ary prime hyperideals in Krasner ( m,n )-hyperrings, Afrika Matematika, 33 (2021) 1021-1032.
- [6] M. Anbarloei, Krasner (m, n)-hyperring of fractions, Jordan Journal of Mathematics and Statistic, In press.
- [7] M. Anbarloei, Extension of n -ary prime hyperideals via an n -ary multiplicative subset in a Krasner ( m,n )-hyperring, Filomat, 37 (12) (2023) 3857-3869.
- [8] S.M. Anvariyeh, S. Mirvakili, B. Davvaz, Fundamental relation on ( m,n )-hypermodules over ( m,n )-hyperrings, Ars Combin. , 94 (2010) 273-288.
- [9] G. Crombez, On ( m,n )- rings, Abh. Math. Semin. Univ., Hamburg, 37 (1972) 180-199.
- [10] G. Crombez, J. Timm, On ( m,n )-quotient rings, Abh. Math. Semin. Univ., Hamburg, 37 (1972) 200-203.
- [11] S. Corsini, Prolegomena of hypergroup theory, Second edition, Aviani editor, Italy, (1993).
- [12] S. Corsini, V. Leoreanu, Applications of hyperstructure theory, Advances in Mathematics , vol. 5, Kluwer Academic Publishers, (2003).
- [13] B. Davvaz, V. Leoreanu-Fotea, Hyperring Theory and Applications, International Academic Press, Palm Harbor, USA , (2007).
- [14] B. Davvaz, T. Vougiouklis, n-ary hypergroups, Iran. J. Sci. Technol., 30 (A2) (2006) 165-174.
- [15] B. Davvaz, G. Ulucak, U. Tekir, Weakly ( k, n )-absorbing (Primary) hyperideals of a Krasner ( m,n )-hyperring, Hacet. J. Math. Stat., 52 (5) (2023) 1229-1238.
- [16] W. Dorente, Untersuchungen ¨ber u einen verallgemeinerten Gruppenbegriff, Math. Z., 29 (1928) 1-19.
- [17] A. Hamed, A. Malek, S -prime ideals of a commutative ring, Beitr Algebra Geom, (2019) DOI: 10.1007/s13366-019-00476-5.
- [18] K. Hila, K. Naka, B. Davvaz, On ( k, n )-absorbing hyperideals in Krasner ( m,n )-hyperrings, Quarterly Journal of Mathematics , 69 (2018) 1035-1046.
- [19] E. Kasner, An extension of the group concept (reported by L.G. Weld), Bull. Amer. Math. Soc., 10 (1904) 290-291.
- [20] V. Leoreanu, Canonical n-ary hypergroups, Ital. J. Pure Appl. Math., 24 (2008).
- [21] V. Leoreanu-Fotea, B. Davvaz, n-hypergroups and binary relations, European J. Combin., 29 (2008) 1027-1218.
- [22] V. Leoreanu-Fotea, B. Davvaz, Roughness in n-ary hypergroups, Inform. Sci., 178 (2008) 4114-4124.
- [23] X. Ma, J. Zhan, B. Davvaz, Applications of rough soft sets to Krasner ( m,n )-hyperrings and corresponding decision making methods, Filomat , 32 (2018) 6599-6614.

- [24] F. Marty, Sur une generalization de la notion de groupe, 8 th Congress Math. Scandenaves, Stockholm, (1934) 45-49.
- [25] S. Mirvakili, B. Davvaz, Relations on Krasner ( m,n )-hyperrings, European J. Combin., 31 (2010) 790-802.
- [26] S. Mirvakili, B. Davvaz, Constructions of ( m,n )-hyperrings, Matematicki Vesnik, 67 (1) (2015) 1-16.
- [27] S. Omidi, B. Davvaz, Contribution to study special kinds of hyperideals in ordered semihyperrings, J. Taibah Univ. Sci. , 11 (2017) 1083-1094.
- [28] S. Ostadhadi-Dehkordi, B. Davvaz, A Note on Isomorphism Theorems of Krasner ( m,n )-hyperrings, Arabian Journal of Mathematics, 5 (2016) 103-115.
- [29] T. Vougiouklis, Hyperstructures and their representations, Hadronic Press Inc., Florida, (1994).
- [30] M.M. Zahedi, R. Ameri, On the prime, primary and maximal subhypermodules, Ital. J. Pure Appl. Math., 5 (1999) 61-80.
- [31] J. Zhan, B. Davvaz, K.P. Shum, Generalized fuzzy hyperideals of hyperrings, Computers and Mathematics with Applications , 56 (2008) 1732-1740.

Department of Mathematics, Faculty of Sciences, Imam Khomeini International University, Qazvin, Iran.

Email address : m.anbarloei@sci.ikiu.ac.ir
Mahdi Anbarloei
Weakly S-prime hyperideals
In this paper, we aim to introduce weakly $n$-ary $S$-prime hyperideals in a
commutative Krasner $(m,n)$-hyperring.