Next Article in Journal
Integrability Properties of Cubic Liénard Oscillators with Linear Damping
Next Article in Special Issue
Hyperhomographies on Krasner Hyperfields
Previous Article in Journal
PPF-Dependent Fixed Point Results for Multi-Valued ϕ-F-Contractions in Banach Spaces and Applications
Previous Article in Special Issue
Results on Functions on Dedekind Multisets
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some Results on (Generalized) Fuzzy Multi-Hv-Ideals of Hv-Rings

by
Madeline Al Tahan
1,†,
Sarka Hoskova-Mayerova
2,*,† and
Bijan Davvaz
3,†
1
Department of Mathematics, Lebanese International University, 1803 Beirut, Lebanon
2
Department of Mathematics and Physics, University of Defence in Brno, Kounicova 65, 66210 Brno, Czech Republic
3
Department of Mathematics, Yazd University, 89136 Yazd, Iran
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2019, 11(11), 1376; https://doi.org/10.3390/sym11111376
Submission received: 11 October 2019 / Revised: 23 October 2019 / Accepted: 1 November 2019 / Published: 6 November 2019

Abstract

:
The concept of fuzzy multiset is well established in dealing with many real life problems. It is possible to find various applications of algebraic hypercompositional structures in natural, technical and social sciences, where symmetry, or the lack of symmetry, is clearly specified and laid out. In this paper, we use fuzzy multisets to introduce the concept of fuzzy multi- H v -ideals as a generalization of fuzzy H v -ideals. Moreover, we introduce the concept of generalized fuzzy multi- H v -ideals as a generalization of generalized fuzzy H v -ideals. Finally, we investigate the properties of these new concepts and present different examples.

1. Introduction

Symmetry is one of the central concepts of science, especially theoretical physics, mathematics and geometry of the 20th century. A given phenomenon or object is symmetrical if it is possible to introduce or consider a certain symmetry operation by which the phenomenon or object becomes in a certain sense identical to itself. The notion of symmetry has fascinated thinkers since antiquity (e.g., Pythagoreans). Later, in the so-called Erlangen program, Felix Klein tied a group of symmetry to each geometry. Mathematically, these symmetry operations are most often described by the term “group”. We distinguish continuous symmetry, which are described mathematically mainly by the term “Lie groups”, and discrete symmetry, which are described mainly by the term “discrete group”. In mathematics, a symmetric relation is one in which variables can be exchanged or index permutations can be made without changing the relation (understood as a geometric object). The natural generalization of classical group theory is the approach of algebraic hyperstructures, introduced by F. Marty [1] during the eighth Congress of Scandinavian Mathematicians that was held in 1934. Marty generalized the notion of a group (which is a non-empty set with a binary operation satisfying some axioms and the operation of two elements is an element) to that of a hypergroup. A hypergroup is a non-empty set equipped with an associative and reproductive hyperoperation, where the composition of any two elements in it is a non-empty set. Since then, researchers started studying different kinds of hyperstructures such as: hyperrings, hypermodules, hypervector spaces, and many others by considering both parts: theoretical part as well as their applications to different subjects of science. Later in 1990, Th. Vougiouklis introduced weak hyperstructures (or H v -structures) as a generalization of the concept of algebraic hyperstructures (hypergroups, hyperrings, hypermodules). The name “weak hyperstructures” is due to having some axioms of classical algebraic hyperstructures are replaced by their corresponding weak axioms in weak hyperstructures. Many researchers such as Corsini [2], Corsini and Leoreanu [3], Davvaz [4,5], Davvaz and Leoreanu-Fotea [6], Davvaz and Cristea [7] and Vougiouklis [8] wrote books related to (weak) hyperstructure theory and their applications. An overview about hyperstructure theory was published by Hoskova and Chvalina in [9].
On the other hand, fuzzy mathematics is an almost new branch in mathematics which was introduced in 1965 by Zadeh (see [10]). It is an extension of the classical notion of set and it is related to fuzzy set theory and fuzzy logic. Fuzzy sets are sets whose elements have degrees of membership that vary between 0 and 1 both inclusive. In classical set theory, the elements’ membership in a certain set is usually identified by the condition that an element either belongs to the set or does not belong to it. By contrast, fuzzy set theory enables the gradual evaluation of the membership of elements in a set with values ranging between 0 and 1. If the membership function of a fuzzy set takes only the values 0, 1 then we go back to the classical notion of a set. As a generalization of fuzzy sets, Yager [11] introduced the concept of Fuzzy Multiset and investigated a calculus for them. Fuzzy Multiset permits the occurrence of an element more than once and each occurrence may have the same or different membership values.
In [12], Onasanya and Hoskova-Mayerova introduced multi-fuzzy groups induced by multisets. In [13,14], the authors studied fuzzy multi-polygroups and fuzzy multi-hypergroups. Moreover, Davvaz [15] and Davvaz et al. [16] discussed fuzzy H v -ideals and generalized fuzzy H v -ideals and investigated their properties. Our paper generalizes the work in [12,13,15,17] to combine H v -rings and fuzzy multisets. More specifically, it is concerned about fuzzy multi- H v -ideals and generalized fuzzy multi- H v -ideals and it is constructed subsequently: Our motivation is described in Introduction, Section 2 presents basic notions with respect to (weak) hyperstructures and fuzzy multisets that are used throughout the paper. Section 3 defines and studies the properties of fuzzy multi- H v -ideals and their relation to H v -ideals. Finally, Section 4 defines generalized fuzzy multi- H v -ideals and studies their properties.

2. Basic Definitions

In this section, we present some preliminary definitions and results related to hyperstructure theory [3,4,6] and fuzzy multisets [18] that are used throughout the paper.

2.1. (Weak) Hyperstructure Theory

Let H be a non-empty set and P * ( H ) be the set of all non-empty subsets of H. Then, a mapping : H × H P * ( H ) is called a binary hyperoperation on H. The couple ( H , ) is called a hypergroupoid. In this definition, if X and Y are two non-empty subsets of H and h H , then we define:
X Y = x X y Y x y , h X = { h } X   and   X h = X { h } .
H v -structures were introduced by T. Vougiouklis, and studied in detail in [8,19,20], as a generalization of the ordinary algebraic hyperstructures. The equalities presented in some axioms of classical algebraic hyperstructures are substituted by non-empty intersection in H v -structures. A hypergroupoid ( H , ) is called a quasi-hypergroup if a H = H a = H for all a H . And it is called an H v -semigroup if ( x ( y z ) ) ( ( x y ) z ) for all x , y , z H . A hypergroupoid ( H , ) is called an H v -group if it is a quasi-hypergroup and an H v -semigroup. A multivalued system ( R , + , · ) is an H v -ring if (1) ( R , + ) is an H v -group; (2) ( R , · ) is is an H v -semigroup; (3) “·” is weak distributive with respect to +.
Let { R α : α Γ } be a collection of H v -rings (See [7]) and α Γ R α = { < x α > : x α R α } . Then ( α Γ R α , , ) is an H v -ring, where
< x α > < y α > = { < z α > : z α x α + y α , α Γ } ,
< x α > < y α > = { < z α > : z α x α · y α , α Γ } .
A subset S of an H v -ring ( R , + , · ) is called an H v -subring if ( S , + , · ) is an H v -ring. To prove that ( S , + , · ) is an H v -subring of ( R , + , · ) , it suffices to show that x + S = S + x = S and x · y S for all x , y R . An H v -subring S of ( R , + , · ) is called an H v -ideal of R if R · S S and S · R S .
Let ( R , + , ) and ( S , + , ) be two H v -rings. Then f : R S is said to be strong homomorphism if f ( x + y ) = f ( x ) + 1 f ( y ) and f ( x y ) = f ( x ) f ( y ) for all x , y R . ( R , + , ) and ( S , + , ) are called isomorphic H v -rings, and written as R S , if there exists a bijective function f : R S that is also a strong homomorphism.
Fundamental relations are used as a tool to connect and relate the classes of hyperstuctures and algebraic structures together. In [8], Vougiouklis defined the notion of fundamental relation on H v -rings. Koskas [21] introduced the fundamental relation β on hypergroups and later in 1990, Vougiouklis [8] introduced the fundamental relation γ on hyperrings. These fundamental relations β (for hypergroups ( H v -groups)) and γ (for hyperrings ( H v -rings)) are defined as the smallest strongly regular equivalence relations so that the quotient would be group and ring respectively. Many authors studied fundamental relations such as: Antampoufis and Hoskova-Mayerova [22], Corsini [2], Cristea and Norouzi [23,24,25,26], Davvaz [16], Freni [27], etc.
For all n > 1 , we define the relation γ on an H v -ring ( R , + , · ) as follows:
a γ b { a , b } u , u is any finite sum of finite products of elements in R .
Clearly, the relation γ is reflexive and symmetric. The γ , the transitive closure of γ , is called the fundamental equivalence relation on R and ( R / γ , , ) is its fundamental ring, where for all a , b R ,
γ ( a ) γ ( b ) = γ ( c ) for all c γ ( a ) + γ ( b ) ,
γ ( a ) γ ( b ) = γ ( c ) for all c γ ( a ) · γ ( b ) .

2.2. Fuzzy Multisets

A multiset (or bag) is a set containing repeated elements. [28,29] A fuzzy multiset is a generalization of fuzzy set and it was introduced by Yager in [11] under the name fuzzy bag. In these fuzzy bags the count of the number of elements itself becomes a crisp bag.
Definition 1
([10]). Let U be any non-empty set. A fuzzy set on U is characterized by a membership function μ A ( x ) that assigns any element in U a grade of membership in A. The fuzzy set may be represented by the set of ordered pairs A = { ( x , μ A ( x ) ) : x U } , where μ A ( x ) [ 0 , 1 ] .
Definition 2
([30]). Let X be a non-empty set and Q be the set of all crisp multisets drawn from the interval [ 0 , 1 ] . A fuzzy multiset A drawn from X is represented by a function C M A : X Q .
In the above definition, the value C M A ( x ) is a crisp multiset drawn from [ 0 , 1 ] . For each x X , C M A ( x ) is defined as the decreasingly ordered sequence of elements and it is denoted by:
{ μ A 1 ( x ) , μ A 2 ( x ) , , μ A p ( x ) } : μ A 1 ( x ) μ A 2 ( x ) μ A p ( x ) .
A fuzzy set on a set X can be considered as a special case of fuzzy multiset where C M A ( x ) = { μ A 1 ( x ) } for all x X .
Example 1.
Let X = { a , b , c , d } . Then A = { ( 0.7 , 0.5 ) / b , ( 0.7 , 0.2 , 0.1 , 0.1 ) / c , ( 0.3 , 0.1 ) / d } and B = { ( 1 , 1 ) / a , ( 0.7 , 0.6 , 0.5 , 0.1 ) / b , ( 0.3 , 0.1 ) / c , ( 0.5 , 0.4 , 0.1 ) / d } are fuzzy multisets of X.
In Example 1, by ( 0.7 , 0.5 ) / b we mean that C M A ( b ) = ( 0.7 , 0.5 ) .
Definition 3
([31]). Let X , Y be non-empty sets, f : X Y be a mapping, and A a fuzzy multiset of X and B a fuzzy multiset of Y. Then
1.
The image of A under f is denoted by f ( A ) or
C M f ( A ) ( y ) = f ( x ) = y C M A ( x ) if f 1 ( y ) 0 otherwise .
2.
The inverse image of B under f is denoted by f 1 ( B ) where C M f 1 ( B ) ( x ) = C M B ( f ( x ) ) .
Example 2.
Let X be a non-empty set, S be a non-empty subset of X, and A be a fuzzy multiset of S. By considering the inclusion map f : S X , f ( x ) = x for all x S , we get that
C M f ( A ) ( x ) = C M A ( x ) if x S 0 otherwise .
is a fuzzy multiset of X.

3. Fuzzy Multi- H v -Ideal

In this section, we introduce for the first time the notion of fuzzy multi- H v -ideal as a generalization of fuzzy H v -ideal, present several examples and results related to this new concept. The results in [15] related to fuzzy H v -ideals can be considered as a special case of the results of this section.
Definition 4.
Let ( R , + , · ) be an H v -ring. A fuzzy multiset A (with fuzzy count function C M A ) over R is a fuzzy multi- H v -ideal of R if for all x , y R , the following conditions hold.
1.
C M A ( x ) C M A ( y ) inf { C M A ( z ) : z x + y } ;
2.
for every x , a R there exists y R such that x a + y and C M A ( x ) C M A ( a ) C M A ( y ) ;
3.
for every x , a R there exists z H such that x z + a and C M A ( x ) C M A ( a ) C M A ( z ) ;
4.
C M A ( x ) C M A ( y ) C M A ( z ) for all z x · y .
Remark 1.
Let ( R , + , · ) be an H v -ring with “+” a commutative hyperoperation and A be a fuzzy multiset over R. To prove that A is a fuzzy multi- H v -ideal of R, it suffices to prove Conditions 1, 2, and 4 or Conditions 1, 3, and 4 of Definition 4. This is clear as in the case of commutative H v -group, Conditions 2 and 3 are equivalent to each other.
Example 3.
Let ( R , + , · ) be an H v -ring with a fixed element a R and A be a fuzzy multiset of R defined as C M A ( x ) = C M A ( a ) for all x R . Then A is a fuzzy multi- H v -ideal of R (the constant fuzzy multi- H v -ideal.).
Remark 2.
Let ( R , + , · ) be an H v -ring. Then we can define at least one fuzzy multi- H v -ideal of R which is mainly the one that is defined in Example 3.
We present some examples on non-constant fuzzy multi- H v -ideals.
Example 4.
Let ( R 1 , + 1 , · 1 ) be the H v -ring defined as follows:
+ 1 0 1 0 0 R 1 1 R 1 1
· 1 0 1 0 0 0 1 0 R 1
It is clear that A = { ( 0.8 , 0.6 , 0.6 , 0.1 ) / 0 , ( 0.5 , 0.4 , 0.4 ) / 1 } is a fuzzy multi- H v -ideal of R 1 .
Example 5.
Let ( R 2 , + 2 , · 2 ) be the H v -ring defined by the following tables:
+ 2 a b c a a b c b b b R 2 c c R 2 c
· 2 a b c a a a a b a b c c a b c
It is clear that A = { ( 0.9 , 0.7 , 0.6 , 0.6 , 0.1 ) / a , ( 0.8 , 0.4 , 0.2 ) / b , ( 0.8 , 0.4 , 0.2 ) / c } is a fuzzy multi- H v -ideal of R 2 .
Example 6.
Let ( R 3 , + 3 , · 3 ) be the H v -ring defined by the following tables:
+ 3 d e f d d e f e e { e , f } d f f e d
· 3 d e f d d d d e d e f f d f d
It is clear that both: A = { ( 0.9 , 0.7 , 0.6 , 0.6 , 0.1 ) / d , ( 0.9 , 0.7 , 0.6 , 0.6 , 0.1 ) / f } and
B = { ( 0.9 , 0.8 , 0.8 , 0.1 ) / d } are fuzzy multi- H v -ideals of R 3 .
Proposition 1.
Let ( R , + ) be an H v -group and “·” be any hyperoperation on R with { x , y } x · y for all x , y R . Then A is a fuzzy multi– H v -ideal of the H v -ring ( R , + , · ) if and only if A is the constant fuzzy multi- H v -ideal of R.
Proof. 
It is clear that if A is the fuzzy multiset described in Example 3 then A is a fuzzy multi- H v -ideal of R. Let A be a fuzzy multi- H v -ideal of R and a R . Having x , a x · a for all x R and Condition 4 of Definition 4 implies that both C M ( x ) and C M ( a ) are greater than or equal C M ( x ) C M ( a ) . Thus, C M A ( x ) = C M A ( a ) for all x R . ☐
Example 7.
Let ( R , + , · ) be the H v -ring defined by the following tables:
+ 0 1 2 0 0 1 2 1 1 2 0 2 2 0 1
· 0 1 2 0 { 0 , 1 } { 0 , 1 } { 0 , 2 } 1 { 0 , 1 } 1 { 1 , 2 } 2 R { 1 , 2 } { 1 , 2 }
Using Proposition 1, we get that the constant fuzzy multi- H v -ideal of R is the only fuzzy multi- H v -ideal of R.
Notation 1.
Let ( R , + , · ) be an H v -ring, A be a fuzzy multiset of R and C M A ( x ) = ( μ A 1 ( x ) , μ A 2 ( x ) , , μ A p ( x ) ) . Then
  • C M A ( x ) = 0 if μ A 1 ( x ) = 0 ,
  • C M A ( x ) > 0 if μ A 1 ( x ) > 0 ,
  • C M A ( x ) = 1 ̲ if C M A ( x ) = ( 1 , , 1 s times ) where
    s = max { k N : C M A ( y ) = ( μ A 1 ( y ) , μ A 2 ( y ) , , μ A k ( y ) ) , μ A k ( y ) 0 , y R } .
Definition 5.
Let ( R , + , · ) be an H v -ring and A be a fuzzy multiset of R. Then A = { x R : C M A ( x ) > 0 } and A = { x R : C M A ( x ) = 1 ̲ } .
Proposition 2.
Let ( R , + , · ) be an H v -ring and A be a fuzzy multi- H v -ideal of R. Then A is either the empty set or an H v -ideal of R.
Proof. 
Let a A . First, we show that a + A = A + a = A . We prove a + A = A and A + a = A is done similarly. For all x A and z a + x , we have C M A ( z ) C M A ( a ) C M A ( x ) > 0 . The latter implies that z A and hence, A + a A . Moreover, for all x A , Condition 2 of Definition 4 implies that there exist y R such that x a + y and C M A ( y ) C M A ( x ) C M A ( a ) > 0 . The latter implies that y A and x a + A . Thus, A a + A . Now, we prove that R · A A and A · R A . We prove that R · A A and A · R A is done similarly. Let r R and x A . Then for all z r · x , Condition 4 of Definition 4 implies that C M ( z ) C M ( r ) C M ( x ) > 0 . Thus, z A . ☐
Proposition 3.
Let ( R , + , · ) be an H v -ring and A be a fuzzy multi- H v -ideal of R. Then A is either the empty set or an H v -ideal of R.
Proof. 
Let a A . First, we show that a + A = A + a = A . We prove a + A = A and A + a = A is done similarly. For all x A and z a + x , we have C M A ( z ) C M A ( a ) C M A ( x ) = 1 ̲ . The latter implies that z A and hence, A + a A . Moreover, for all x A , Condition 2 of Definition 4 implies that there exist y R such that x a + y and C M A ( y ) C M A ( x ) C M A ( a ) = 1 ̲ . The latter implies that y A and x a + A . Thus, A a + A . Now, we prove that R · A A and A · R A . We prove that R · A A and A · R A is done similarly. Let r R and x A . Then for all z r · x , Condition 4 of Definition 4 implies that C M ( z ) C M ( r ) C M ( x ) = 1 ̲ . Thus, z A .  ☐
Example 8.
Let ( R 3 , + 3 , · 3 ) be the H v -ring presented in Example 6. Having
A = { ( 0.9 , 0.7 , 0.6 , 0.6 , 0.1 ) / d , ( 0.9 , 0.7 , 0.6 , 0.6 , 0.1 ) / f } , B = { ( 0.9 , 0.8 , 0.8 , 0.1 ) / d } fuzzy multi- H v -ideals of R 3 , we get that A = { d , f } and B = { d } are H v -ideals of R 3 . Also, A = B = .
Notation 2.
Let ( R , + , · ) be an H v -ring, A be a fuzzy multiset of R and C M A ( x ) = ( μ A 1 ( x ) , μ A 2 ( x ) , , μ A p ( x ) ) . We say that C M A ( x ) ( t 1 , , t k ) if p k and μ A i ( x ) t i for all i = 1 , , k . If C M A ( x ) ( t 1 , , t k ) and ( t 1 , , t k ) C M A ( x ) then we say that C M A ( x ) and ( t 1 , , t k ) are not comparable.
Theorem 1.
Let ( R , + , · ) be an H v -ring, A a fuzzy multiset of R with fuzzy count function C M and t = ( t 1 , , t k ) where t i [ 0 , 1 ] for i = 1 , , k and t 1 t 2 t k . Then A is a fuzzy multi- H v -ideal of R if and only if C M t is either the empty set or an H v -ideal of R.
Proof. 
Let C M t be an H v -ideal of R and x , y R . By setting t 0 = C M ( x ) C M ( y ) , we get that x , y C M t 0 . Having C M t 0 an H v -ideal of R implies that for all z x + y , C M ( z ) t 0 = C M ( x ) C M ( y ) . We prove Condition 2 of Definition 4 and Condition 3 is done similarly. Let a , x R and t 0 = C M ( x ) C M ( a ) . Then a , x C M t 0 . Having C M t 0 an H v -ideal of R implies that a + C M t 0 = C M t 0 . The latter implies that there exist y C M t 0 such that x a + y . Thus, C M ( y ) t 0 = C M ( x ) C M ( a ) . We prove now Condition 4 of Definition 4. Let x , y R and z x · y . By setting t 1 = C M ( x ) and t 2 = C M ( y ) , we get that x C M t 1 and y C M t 2 . Having C M t 1 · R C M t 1 and R · C M t 2 C M t 2 implies that z C M t 1 and z C M t 2 . Thus, C M ( z ) t 1 t 2 C M ( x ) C M ( y ) .
Conversely, let A be a fuzzy multi- H v -ideal of R and C M t . We need to show that C M t = a + C M t = C M t + a for all a C M t . We prove that C M t = a + C M t and C M t = C M t + a is done similarly. Let x C M t . Then C M ( z ) C M ( x ) C M ( a ) t for all z a + x . The latter implies that z C M t . Thus, a + C M t C M t . Let x C M t . Since A is a fuzzy multi- H v -ideal of R, it follows that there exist y R such that x a + y and C M ( y ) C M ( x ) C M ( a ) t . The latter implies that y C M t and hence, C M t a + C M t . We prove now that R · C M t C M t and C M t · R R is done similarly. Let y C M t and x R . For all z x · y , Condition 4 of Definition 4 implies that C M ( z ) C M ( x ) C M ( y ) t . Thus, z C M t . ☐
Corollary 1.
Let ( R , + , · ) be an H v -ring. If R has no proper H v -ideals then every fuzzy multi- H v -ideal of R is the constant fuzzy multi- H v -ideal.
Proof. 
Let A be a fuzzy multi- H v -ideal of R and suppose, to get contradiction, that A is not the constant fuzzy multi- H v -ideal. Then there exist x , y R with C M ( x ) C M ( y ) . We have three cases for C M ( x ) C M ( y ) : C M ( x ) < C M ( y ) , C M ( x ) > C M ( y ) , and C M ( x ) and C M ( y ) are not comparable. If C M ( x ) < C M ( y ) then y C M t and x C M t for t = C M ( y ) . If C M ( x ) > C M ( y ) or C M ( x ) and C M ( y ) are not comparable, then x C M t and y C M t for t = C M ( x ) . Using Theorem 1, we get that C M t ( R ) is an H v -ideal of R. ☐
Proposition 4.
Let ( R , + , · ) be an H v -ring and S be an H v -ideal of R. Then S = C M t for some t = ( t 1 , , t k ) where t i [ 0 , 1 ] for i = 1 , , k and t 1 t 2 t k .
Proof. 
Let t = ( t 1 , , t k ) where t i [ 0 , 1 ] for i = 1 , , k and define the fuzzy multiset A of R as follows:
C M ( x ) = t if x S 0 otherwise .
It is clear that S = C M t . We still need to prove that C M is a fuzzy multi- H v -ideal of R. Using Theorem 1, it suffices to show that C M α is an H v -ideal of R for all α = ( a 1 , , a s ) with a i [ 0 , 1 ] and a 1 a s for i = 1 , , s . One can easily see that
C M α = R if α = 0 S if 0 < α t if ( α > t ) or ( α and t are not comparable ) .
Thus, C M α is either the empty set or an H v -ideal of R. ☐
Next, we deal with some operations on fuzzy multi- H v -ideals.
Definition 6.
Let ( R , + , · ) be an H v -ring and A , B be fuzzy multisets of R. Then A B is defined by the following fuzzy count function.
C M A B ( x ) = { C M A ( y ) C M B ( z ) : x y + z } .
Theorem 2.
Let ( R , + , · ) be an H v -ring and A be a fuzzy multiset of H. If A is a fuzzy multi- H v -ideal of R then A A = A .
Proof. 
Let z R . Then C M A ( z ) C M A ( x ) C M A ( y ) for all z x + y . The latter implies that C M A ( z ) { C M A ( x ) C M B ( y ) : z x + y } C M A A ( z ) . Thus, A A A . Having ( R , + , · ) an H v -ring and A a fuzzy multi- H v -idear of R implies that for every x R there exist y R such that x x + y and C M A ( y ) C M A ( x ) . Moreover, we have C M A A ( x ) = { C M A ( y ) C M B ( z ) : x y + z } C M A ( x ) C M A ( y ) = C M A ( x ) . Thus, A A A . ☐
Definition 7.
Let R be a non-empty set and A be a fuzzy multiset of R. We define A , the complement of A, to be the fuzzy multiset defined as: For all x R ,
C M A ( x ) = 1 ̲ C M A ( x ) .
Example 9.
Let R = { a , b , c } be a set and A be a fuzzy multiset with fuzzy count function C M defined as: C M ( a ) = 0 , C M ( b ) = ( 1 , 1 , 1 ) , C M ( c ) = ( 0.5 , 0.3 , 0.1 ) . Then A = { ( 1 , 1 , 1 ) / a , ( 0.9 , 0.7 , 0.5 ) / c } .
Remark 3.
Let ( R , + , · ) be an H v -ring and A be the constant fuzzy multi- H v -ideal of R defined in Example 3. Then A is also a fuzzy multi- H v -ideal of R.
Remark 4.
Let ( R , + , · ) be an H v -ring and A be a fuzzy multi- H v -ideal of R. Then A is not necessary a fuzzy multi- H v -ideal of R.
We illustrate Remark 4 by the following example.
Example 10.
Let the triple ( R 3 , + 3 , · 3 ) be the H v -ring defined in Example 6 and B = { ( 0.9 , 0.8 , 0.8 , 0.1 ) / d } be a fuzzy multi- H v -ideals of R 3 .
Then B = { ( 0.9 , 0.2 , 0.2 , 0.1 ) / d , ( 1 , 1 , 1 , 1 ) / e , ( 1 , 1 , 1 , 1 ) / f } is not a fuzzy multi- H v -ideals of R 3 . This is clear as d d · e and C M B ( d ) C M B ( d ) C M B ( e ) = ( 1 , 1 , 1 , 1 ) .
Proposition 5.
Let ( R α , + α , · α ) be an H v -ring with a fuzzy multiset A α for all α Γ . If A α is a fuzzy multi- H v -ideal of R α for all α Γ then α Γ A α is a fuzzy multi- H v -ideal of the α Γ R α . Where C M α Γ A α ( < x α > ) = inf α Γ C M A α ( x α ) .
Proof. 
The proof is straightforward. ☐
We present an example when | Γ | = 2 .
Example 11.
Let ( R 1 , + 1 , · 1 ) be the H v -ring presented in Example 4 and
A = { ( 0.8 , 0.6 , 0.6 , 0.1 ) / 0 , ( 0.5 , 0.4 , 0.4 ) / 1 }
be a fuzzy multi- H v -ideal of R 1 . Then A × A given by:
{ ( 0.8 , 0.6 , 0.6 , 0.1 ) / ( 0 , 0 ) , ( 0.5 , 0.4 , 0.4 ) / ( 0 , 1 ) , ( 0.5 , 0.4 , 0.4 ) / ( 1 , 0 ) , ( 0.5 , 0.4 , 0.4 ) / ( 1 , 1 ) }
is a fuzzy multi- H v -ideal of R 1 × R 1 .
The next two propositions discuss the strong homomorphic image and pre-image of a fuzzy multi- H v -ideal.
Proposition 6.
Let ( R 1 , + 1 , · 1 ) , ( R 2 , + 2 , · 2 ) be H v -rings, A be a fuzzy multiset of R 1 and f : R 1 R 2 be a surjective strong homomorphism. If A is a fuzzy multi- H v -ideal of R 1 then f ( A ) is a fuzzy multi- H v -ideal of R 2 .
Proof. 
Let y 1 , y 2 R 2 and y 3 y 1 + 2 y 2 . Since f 1 ( y 1 ) and f 1 ( y 2 ) , it follows that there exist x 1 , x 2 R 1 such that C M A ( x 1 ) = f ( x ) = y 1 C M A ( x ) and C M A ( x 2 ) = f ( x ) = y 2 C M A ( x ) . Having f a homomorphism implies that y 3 f ( x 1 ) + 2 f ( x 2 ) = f ( x 1 + 1 x 2 ) . The latter implies that there exists x 3 x 1 + x 2 such that y 3 = f ( x 3 ) . Since A is a fuzzy multi- H v -ideal of R 1 , it follows that C M f ( A ) ( y 3 ) C M A ( x 3 ) C M A ( x 1 ) C M A ( x 2 ) = C M f ( A ) ( y 1 ) C M f ( A ) ( y 2 ) . We prove now Condition 2 of Definition 4 and Condition 3 is done similarly. Let y , b R 2 . Since f 1 ( y ) and f 1 ( b ) then there exist x 1 , a R 1 such that C M A ( x 1 ) = f ( x ) = y C M A ( x ) and C M A ( a ) = f ( x ) = b C M A ( x ) . Having A a fuzzy multi- H v -ideal of R 1 implies that there exist x 2 R 1 with x 1 a + 1 x 2 and C M A ( x 2 ) C M A ( x 1 ) C M A ( a ) . Since f is a strong homomorphism, it follows that y = f ( x 1 ) f ( x 2 ) + 2 b and C M f ( A ) ( f ( x 2 ) ) C M A ( x 2 ) C M A ( x 1 ) C M A ( a ) = C M f ( A ) ( y ) C M f ( A ) ( b ) . We prove now Condition 4 of Definition 4 for f ( A ) . Let y 1 , y 2 R 2 and y 3 y 1 · 2 y 2 . Since f 1 ( y 1 ) and f 1 ( y 2 ) , it follows that there exist x 1 , x 2 R 1 such that C M A ( x 1 ) = f ( x ) = y 1 C M A ( x ) and C M A ( x 2 ) = f ( x ) = y 2 C M A ( x ) . Having f a strong homomorphism implies that y 3 f ( x 1 ) · 2 f ( x 2 ) = f ( x 1 · 1 x 2 ) . The latter implies that there exists x 3 x 1 · 1 x 2 such that y 3 = f ( x 3 ) . Since A is a fuzzy multi- H v -ideal of R 1 , it follows that C M f ( A ) ( y 3 ) C M A ( x 3 ) C M A ( x 1 ) C M A ( x 2 ) = C M f ( A ) ( y 1 ) C M f ( A ) ( y 2 ) . ☐
Proposition 7.
Let ( R 1 , + 1 , · 1 ) , ( R 2 , + 2 , · 2 ) be H v -rings, B be a fuzzy multiset of R 2 and f : R 1 R 2 be a surjective strong homomorphism. If B is a fuzzy multi- H v -ideal of R 2 then f 1 ( B ) is a fuzzy multi- H v -ideal of R 1 .
Proof. 
Let x 1 , x 2 R 1 and x 3 x 1 + 1 x 2 . Then C M f 1 ( B ) ( x 3 ) = C M B ( f ( x 3 ) ) . Having f ( x 3 ) f ( x 1 + 1 x 2 ) = f ( x 1 ) + 2 f ( x 2 ) implies that C M f 1 ( B ) ( x 3 ) = C M B ( f ( x 3 ) ) C M B ( f ( x 1 ) ) C M B ( f ( x 2 ) ) = C M f 1 ( B ) ( x 1 ) C M f 1 ( B ) ( x 2 ) . We prove now Condition 2 of Definition 4 and Condition 3 is done similarly. Let x , a R 1 . Having y = f ( x ) , b = f ( a ) R 2 and B a fuzzy multi-hypergroup of R 2 implies that there exist z R 2 such that y b + 2 z and C M B ( z ) C M B ( y ) C M B ( b ) . Since f is a surjective strong homomorphism, it follows that there exist w R 1 such that f ( w ) = z and x a + 1 w . We get now that C M f 1 ( B ) ( w ) = C M B ( z ) C M B ( y ) C M B ( b ) = C M f 1 ( B ) ( x ) C M f 1 ( B ) ( a ) . To prove Condition 4 for f 1 ( B ) , let x 3 x 1 · 1 x 2 . Then f ( x 3 ) f ( x 1 ) · 2 f ( x 2 ) . Having C M f 1 ( B ) ( x 3 ) = C M B ( f ( x 3 ) ) C M B ( f ( x 1 ) ) C M B ( f ( x 2 ) ) = C M f 1 ( B ) ( x 1 ) C M f 1 ( B ) ( x 2 ) completes the proof. ☐
Corollary 2.
Let ( R , + , · ) be an H v -ring with fundamental relation γ and A be a fuzzy multiset of R. If A is a fuzzy multi- H v -ideal of R then B is a fuzzy multi- H v -ideal of ( R / γ , , ) . Where
C M B ( γ ( x ) ) = α γ ( x ) C M A ( α ) .
Proof. 
Let A be a fuzzy multi- H v -ideal of R and f : R R / γ be the map defined by f ( x ) = γ ( x ) . Then f is a surjective homomorphism. Proposition 6 asserts that f ( A ) is a fuzzy multi- H v -ideal of R / γ where
C M f ( A ) ( γ ( x ) ) = f ( α ) = γ ( x ) C M A ( α ) = α γ ( x ) C M A ( α ) = C M B ( γ ( x ) ) .
Therefore, B is a fuzzy multi- H v -ideal of ( R / γ , , ) . ☐
Definition 8.
Let ( R , + , · ) be a ring. A fuzzy multiset A (with fuzzy count function C M A ) over R is a fuzzy multi-ideal of R if for all x , y R , the following conditions hold.
1.
C M A ( x ) C M A ( y ) C M A ( x + y ) for all x , y R ;
2.
C M A ( x ) C M A ( x ) for all x R ;
3.
C M A ( x ) C M A ( y ) C M A ( x · y ) for all x , y R .
Proposition 8.
Let ( R , + , · ) be an H v -ring with fundamental relation γ and A be a fuzzy multiset of R. If A is a fuzzy multi- H v -ideal of R then B is a fuzzy multi-ideal of the ring ( R / γ , , ) . Where
C M B ( γ ( x ) ) = α γ ( x ) C M A ( α ) .
Proof. 
Corollary 2 asserts that Conditions 1 and 3 of Definition 8 are satisfied. We need to prove Condition 2. Having ( R / γ , , ) a ring implies that there exist a zero element, say 0 ¯ such that 0 ¯ γ ( x ) = γ ( x ) 0 ¯ = γ ( x ) and 0 ¯ γ ( x ) = γ ( x ) 0 ¯ = 0 ¯ for all γ ( x ) R / γ . Having B a fuzzy multi- H v -ideal of ( R / γ , , ) implies that C M B ( 0 ¯ ) C M B ( γ ( x ) ) for all γ ( x ) R / γ . Since ( R / γ , , ) a ring, it follows that for every γ ( x ) R / γ there exist γ ( x ) R / γ with γ ( x ) γ ( x ) = 0 ¯ . Having B a fuzzy multi- H v -ideal of ( R / γ , , ) and using Condition 2 of Definition 4 implies that for γ ( x ) and 0 ¯ there exists γ ( y ) such that 0 ¯ γ ( x ) γ ( y ) and C M B ( γ ( y ) ) C M B ( 0 ¯ ) C M B ( γ ( x ) ) = C M B ( γ ( x ) ) . It is clear that γ ( y ) = γ ( x ) . ☐
Example 12.
Let ( R 3 , + 3 , · 3 ) be the H v -ring presented in Example 6. One can easily see that the fundamental ring R 3 / γ = { γ ( d ) , γ ( e ) } and is isomorphic to the ring of integers under standard addition and multiplication modulo 2. Using Proposition 8, we get that { ( 0.9 , 0.7 , 0.6 , 0.6 , 0.1 ) / γ ( d ) } is a fuzzy multi-ideal of R 3 / γ .

4. Generalized Fuzzy Multi- H v -Ideal

In this section, we generalize the notion of fuzzy multi- H v -ideal defined in Section 3 to generalized fuzzy multi- H v -ideal, investigate its properties, and present some examples.
Notation 3.
Let A be a fuzzy multiset of a non-empty set R with a fuzzy count function C M . We say that:
1.
x t C M when C M ( x ) t ,
2.
x t q C M when C M ( x ) + t 1 ̲ ,
3.
x t q C M when x t C M or x t q C M ,
4.
0.5 ̲ = ( 0.5 , , 0.5 s times ) where
s = max { k N : C M A ( y ) = ( μ A 1 ( y ) , μ A 2 ( y ) , , μ A k ( y ) ) , μ A k ( y ) 0 , y R } .
Definition 9.
Let ( R , + , · ) be an H v -ring. A fuzzy multiset A (with fuzzy count function C M ) over R is an ( , q ) -fuzzy multi- H v -ideal of R if for all x , y R , 0 t , r 1 ̲ , the following conditions hold.
  • x t C M , y r C M implies z t r q C M for all z x + y ;
  • x t C M , a r C M implies y t r q C M for some y R with x a + y ;
  • x t C M , a r C M implies z t r q C M for some z R with x z + a ;
  • y t C M , x R implies z t q C M for all z x · y
    ( x t C M , y R implies z t q C M for all z x · y ).
Remark 5.
Let ( R , + , · ) be an H v -ring and A a fuzzy multiset of R. If A is a fuzzy multi- H v -ideal of R then A is an ( , q ) -fuzzy multi- H v -ideal of R.
Example 13.
Let ( R , + , · ) be any H v -ring. Then the constant fuzzy multiset of R is an ( , q ) -fuzzy multi- H v -ideal of R.
Example 14.
Let ( R 1 , + 1 , · 1 ) be the H v -ring presented in Example 4. Having A = { ( 0.8 , 0.6 , 0.6 , 0.1 ) / 0 , ( 0.5 , 0.4 , 0.4 ) / 1 } is a fuzzy multi- H v -ideal of R 1 implies that A = { ( 0.8 , 0.6 , 0.6 , 0.1 ) / 0 , ( 0.5 , 0.4 , 0.4 ) / 1 } is an ( , q ) -fuzzy multi- H v -ideal of R 1 .
The converse of Remark 5 does not always hold. We illustrate this idea by the following example.
Example 15.
Let ( R , + , · ) be the H v -ring defined by the following tables:
+ a b c d a a b c d b b { a , b } d c c c d { a , c } b d d c b { a , d }
· a b c d a a a a a b a b b b c a c c c d a d d d
One can easily see that
A = { ( 0.7 , 0.6 , 0.5 ) / a , ( 0.9 , 0.8 , 0.8 ) / b , ( 0.9 , 0.8 , 0.8 ) / c , ( 0.9 , 0.8 , 0.8 ) / d }
is an ( , q ) -fuzzy multi- H v -ideal of R but not a fuzzy multi- H v -ideal of R. This is clear as a a · b but C M A ( a ) C M A ( a ) C M A ( b ) .
Proposition 9.
Let t = ( t 1 , , t k ) , s = ( s 1 , , s p ) with t 1 t k and s 1 s p . If t < s then there exists r = ( r 1 , , r m ) such that t < r < s .
Proof. 
We have the following cases:
Case k < p . Take r = ( s 1 , , s p , s p + 1 2 ) .
Case k = p . Then there exists i { 1 , , k } with t i < s i . Since s i , t i are real numbers, it follows that there exists a real number r i with t i < r i < s i . By taking r = ( t 1 , , t i 1 , r i , r i s i + 1 , , r i s k ) , we get that t < r < s . ☐
Theorem 3.
Let ( R , + , · ) be an H v -ring, A a fuzzy multiset of R with fuzzy count function C M , and for all x R , C M ( x ) and 0.5 ̲ are comparable. If A is an ( , q ) -fuzzy multi- H v -ideal of R then the following conditions hold:
(a) 
C M ( x ) C M ( y ) 0.5 ̲ C M ( z ) for all z x + y ;
(b) 
For all x , a R there exists y R such that x a + y and
C M ( a ) C M ( x ) 0.5 ̲ C M ( y ) .
(c) 
For all x , a R there exists z R such that x z + a and
C M ( a ) C M ( x ) 0.5 ̲ C M ( z ) .
(d) 
For all z x · y , C M ( y ) 0.5 ̲ C M ( z ) and C M ( x ) 0.5 ̲ C M ( z ) .
Proof. 
It suffices to show that ( 1 ) ( a ) , ( 2 ) ( b ) , ( 3 ) ( c ) , and ( 4 ) ( d ) .
(1) → (a): Let x , y R . Since each of C M ( x ) , C M ( y ) are comparable with 0.5 ̲ , we can consider the cases: C M ( x ) C M ( y ) < 0.5 ̲ and C M ( x ) C M ( y ) 0.5 ̲ .
For the case C M ( x ) C M ( y ) < 0.5 ̲ , suppose that there exists z x + y with C M ( z ) < C M ( x ) C M ( y ) 0.5 ̲ . We get that C M ( z ) < C M ( x ) C M ( y ) . Proposition 9 asserts that there exists r with C M ( z ) < r < C M ( x ) C M ( y ) . The latter implies that x r , y r C M and z C M . Moreover, having C M ( z ) + r < 0.5 ̲ + r 1 ̲ implies that z q C M r . We get that z r q C M which contradicts (1).
For the case C M ( x ) C M ( y ) 0.5 ̲ , suppose that there exists z x + y with C M ( z ) < C M ( x ) C M ( y ) 0.5 ̲ . We get that x 0.5 ̲ , y 0.5 ̲ C M and C M ( z ) < 0.5 ̲ . It is clear that z 0.5 q C M which contradicts (1).
(2) → (b): Let x , a R . Since each of C M ( x ) , C M ( a ) are comparable with 0.5 ̲ , we can consider the cases: C M ( x ) C M ( a ) < 0.5 ̲ and C M ( x ) C M ( a ) 0.5 ̲ .
For the case C M ( x ) C M ( a ) < 0.5 ̲ , suppose that for all y R with x a + y we have C M ( x ) C M ( a ) = C M ( x ) C M ( a ) 0.5 ̲ > C M ( y ) . Proposition 9 asserts that there exists r with C M ( y ) < r < C M ( x ) C M ( a ) . It is clear that x r , y r C M and y r q C M . The latter contradicts (2).
(3) → (c): This case is done in a similar manner to that of (2) → (b).
(4) → (d): Let x , y R . Since C M ( y ) is comparable with 0.5 ̲ , we can consider the cases: C M ( y ) < 0.5 ̲ and C M ( y ) 0.5 ̲ .
For the case C M ( y ) < 0.5 ̲ , suppose that there exists z x · y with C M ( z ) < C M ( y ) 0.5 ̲ < C M ( y ) . Proposition 9 asserts that there exists r with C M ( z ) < r < C M ( y ) . Then y r C M and z r q C M which contradicts (4).
For the case C M ( y ) 0.5 ̲ , suppose that there exists z x · y with C M ( z ) < C M ( y ) 0.5 ̲ 0.5 ̲ . Then y 0.5 ̲ C M and z 0.5 ̲ q C M which contradicts (4). ☐
Remark 6.
Theorem 3 can be used only when C M ( x ) and 0.5 ̲ are comparable. Otherwise, we should use Definition 9.
Note that according to Remark 6, we can not use Theorem 3 to the fuzzy multiset given in Example 5 as C M A ( 0 ) = ( 0.9 , 0.7 , 0.6 , 0.6 , 0.1 ) is not comparable with 0.5 ̲ = ( 0.5 , 0.5 , 0.5 , 0.5 , 0.5 ) .
Remark 7.
In case of fuzzy H v -ideal of an H v -ring, the conditions of Theorem 3 are necessary and sufficient for a fuzzy set to be a fuzzy H v -ideal (see [16]). Whereas in our case (fuzzy multiset), the converse of Theorem 3 is not always true. (See Example 16).
Example 16.
Let ( R , + , · ) be the H v -ring defined in Example 15 and let A be the fuzzy multiset of R with count function C M defined by: C M ( a ) = ( 0.7 , 0.6 , 0.5 ) , C M ( b ) = ( 0.7 , 0.5 , 0.5 ) , C M ( c ) = C M ( d ) = ( 0.6 , 0.6 , 0.6 ) . Having 0.5 ̲ = ( 0.5 , 0.5 , 0.5 ) , it is easy to see that Conditions (a), (b), (c), and (d) of Theorem 3 are satisfied. But A is not an ( , q ) -fuzzy multi- H v -ideal of R. By taking t = ( 0.6 , 0.6 , 0.3 ) , we get that c t C M . Having b b · c , C M ( b ) t and C M ( b ) + t = ( 1.3 , 1.1 , 0.8 ) 1 ̲ implies that Condition 4 of Definition 9 is not satisfied.

5. Conclusions

This paper has introduced algebraic hyperstructures of fuzzy multisets, for the first time, in the forms of fuzzy multi- H v -ideals and generalized fuzzy multi- H v -ideals. Several interesting properties related to the new defined notions were investigated and operations on fuzzy multi- H v -ideals were defined and discussed. It is well known that the concept of fuzzy multiset is well established in dealing with many real life problems. As a result, we can deal with real life problems involving the concept of fuzzy multiset with a different perspective.

Author Contributions

Conceptualization, M.A.T., S.H.-M. and B.D.; methodology, M.A.T. and S.H.-M.; formal analysis and investigation, M.A.T. and S.H.-M.; resources, M.A.T. and S.H.-M.; writing–original draft preparation, M.A.T.; writing–review and editing, M.A.T. and S.H.-M.; supervision, B.D.; project administration and funding acquisition, S.H.-M.

Funding

This research was supported and the APC was funded within the project DZRO K217, supported by the Ministry of Defence in the Czech Republic.

Conflicts of Interest

The authors declare no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.

References

  1. Marty, F. Sur une Generalization de la notion de Group. Available online: https://www.scienceopen.com/document?vid=037b45a2-5350-43d4-86e1-39673e906fb5 (accessed on 10 October 2019).
  2. Corsini, P. Prolegomena of Hypergroup Theory, 2nd ed.; Aviani Editore: Udine, Tricesimo, Italy, 1993. [Google Scholar]
  3. Corsini, P.; Leoreanu, V. Applications of hyperstructures theory. In Advances in Mathematics; Kluwer Academic Publisher: Dordrecht, The Netherlands, 2003. [Google Scholar]
  4. Davvaz, B. Semihypergroup Theory; Elsevier-Academic Press: London, UK, 2016; 156p. [Google Scholar]
  5. Davvaz, B. Polygroup Theory and Related Systems; World Scientific Publishing Co. Pte. Ltd.: Hackensack, NJ, USA, 2013; 200p. [Google Scholar]
  6. Davvaz, B.; Leoreanu-Fotea, V. Hyperring Theory and Applications; International Academic Press: Palm Harbor, FL, USA, 2007. [Google Scholar]
  7. Davvaz, B.; Cristea, I. Fuzzy Algebraic Hyperstructures; Studies in Fuzziness and Soft Computing 321; Springer International Publishing: Cham, Switzerland, 2015. [Google Scholar] [CrossRef]
  8. Vougiouklis, T. Hyperstructures and Their Representations; Hadronic Press Monographs: Palm Harbour, FL, USA, 1994; 180p. [Google Scholar]
  9. Hoskova-Mayerova, S.; Chvalina, J. A survey of investigations of the Brno research group in the hyperstructure theory since the last AHA Congress. In Proceedings of the AHA, Brno, Czech Republic, 8–12 November 2008; pp. 71–84. [Google Scholar]
  10. Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 338–353. [Google Scholar] [CrossRef] [Green Version]
  11. Yager, R.R. On the theory of bags. Int. J. Gen. Syst. 1987, 13, 23–37. [Google Scholar] [CrossRef]
  12. Onasanya, B.O.; Hoskova-Mayerova, S. Multi-fuzzy group induced by multisets. Ital. J. Pure Appl. Maths 2019, 41, 597–604. [Google Scholar]
  13. Al-Tahan, M.; Hoskova-Mayerova, S.; Davvaz, B. Fuzzy multi-polygroups. J. Intell. Fuzzy Syst. 2019. submitted. [Google Scholar]
  14. Al-Tahan, M.; Hoskova-Mayerova, S.; Davvaz, B. Fuzzy multi-hypergroups. J. Intell. Fuzzy Syst. 2019. submitted. [Google Scholar]
  15. Davvaz, B. On Hv-rings and fuzzy Hv-ideals. J. Fuzzy Math. 1998, 6, 33–42. [Google Scholar]
  16. Davvaz, B.; Zhan, J.; Shum, K.P. Generalized fuzzy Hv-ideals of Hv-rings. Int. J. Gen. Syst. 2008, 37, 329–346. [Google Scholar] [CrossRef]
  17. Dresher, M.; Ore, O. Theory of multigroups. Am. J. Math. 1938, 60, 705–733. [Google Scholar] [CrossRef]
  18. Miyamoto, S. Fuzzy Multisets and Their Generalizations, Multiset Processing; Lecture Notes in Computer Science 2235; Springer: Berlin, Germany, 2001; pp. 225–235. [Google Scholar]
  19. Vougiouklis, T. On Hv-rings and Hv-representations. Discret. Math. 1999, 208/209, 615–620. [Google Scholar] [CrossRef]
  20. Vougiouklis, T. On the Hyperstructure Theory. Southeast Asian Bull. Math. 2016, 40, 603–620. [Google Scholar]
  21. Koskas, M. Groupoids, demi-hypergroupes et hypergroupes. J. Math. Pures Appl. 1970, 49, 155–192. [Google Scholar]
  22. Antampoufis, N.; Hoskova-Mayerova, S. A Brief Survey on the two Different Approaches of Fundamental Equivalence Relations on Hyperstructures. Ratio Math. 2017, 33, 47–60. [Google Scholar] [CrossRef]
  23. Norouzi, M.; Cristea, I. A new type of fuzzy subsemihypermodules. J. Intell. Fuzzy Syst. 2017, 32, 1711–1717. [Google Scholar] [CrossRef]
  24. Norouzi, M.; Cristea, I. Transitivity of the ∈ m-relation on (m-idempotent) hyperrings. Open Math. 2018, 16, 1012–1021. [Google Scholar] [CrossRef]
  25. Norouzi, M.; Cristea, I. Fundamental relation on m-idempotent hyperrings. Open Math. 2017, 15, 1558–1567. [Google Scholar] [CrossRef]
  26. Cristea, I.; Ştefănescu, M.; Angheluţă, C. About the fundamental relations defined on the hypergroupoids associated with binary relations. Eur. J. Comb. 2011, 32, 72–81. [Google Scholar] [CrossRef]
  27. Freni, D. Hypergroupoids and fundamental relations. In Proceedings of AHA; Stefanescu, M., Ed.; Hadronic Press: Palm Harbour, FL, USA, 1994; pp. 81–92. [Google Scholar]
  28. Jena, S.P.; Ghosh, S.K.; Tripathi, B.K. On theory of bags and lists. Inf. Sci. 2011, 132, 241–254. [Google Scholar] [CrossRef]
  29. Syropoulos, A. Mathematics of multisets, Multiset processing. Lecture Notes in Comput. Sci. 2001, 2235, 347–358. [Google Scholar]
  30. Shinoj, T.K.; John, S.J. Intutionistic fuzzy multisets. Int. J. Eng. Sci. Innov. Technol. (IJESIT) 2013, 2, 1–24. [Google Scholar]
  31. Shinoj, T.K.; Baby, A.; John, S.J. On some algebraic structures of fuzzy multisets. Ann. Fuzzy Math. Inform. 2015, 9, 77–90. [Google Scholar]

Share and Cite

MDPI and ACS Style

Al Tahan, M.; Hoskova-Mayerova, S.; Davvaz, B. Some Results on (Generalized) Fuzzy Multi-Hv-Ideals of Hv-Rings. Symmetry 2019, 11, 1376. https://doi.org/10.3390/sym11111376

AMA Style

Al Tahan M, Hoskova-Mayerova S, Davvaz B. Some Results on (Generalized) Fuzzy Multi-Hv-Ideals of Hv-Rings. Symmetry. 2019; 11(11):1376. https://doi.org/10.3390/sym11111376

Chicago/Turabian Style

Al Tahan, Madeline, Sarka Hoskova-Mayerova, and Bijan Davvaz. 2019. "Some Results on (Generalized) Fuzzy Multi-Hv-Ideals of Hv-Rings" Symmetry 11, no. 11: 1376. https://doi.org/10.3390/sym11111376

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop