Intuitionistic fuzzy H v   -submodules

Bijan Davvaz a , Wiesław A. Dudek b , Young Bae Jun c , * a Department of Mathematics, Yazd University, Yazd, Iran b Institute of Mathematics, Technical University, Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, Poland c Department of Mathematics Educations, Gyeongsang National University, Chinju 660-701, Korea

Abstract
After the introduction of fuzzy sets by Zadeh, there have been a number of generalizations of this fundamental concept. The notion of intuitionistic fuzzy sets introduced by Atanassov is one among them. In this paper, we apply the concept of an intuitionistic fuzzy set to H v   -modules. The notion of an intuitionistic fuzzy H v   -submodule of an H v   -module is introduced, and some related properties are investigated. Characterizations of intuitionistic fuzzy H v   -submodules are given.
2000 Mathematics Subject Classification: 16D99, 20N20, 20N25.
Keywords: H v   -semigroup, H v   -group, H v   -ring, H v   -module, intuitionistic fuzzy H v   -submodule, sup property.
 

1 Introduction

The concept of hyperstructure was introduced in 1934 by Marty [14] at the 8th congress of Scandinavian Mathematicians. Hyperstructures have many applications to several branches of both pure and applied sciences [4, 5] . Vougiouklis [19] introduced a new class of hyperstructures so-called H v   -structure, and Davvaz [9] surveyed the theory of H v   -structures. After the introduction of fuzzy sets by Zadeh [21] , there have been a number of generalizations of this fundamental concept. The notion of intuitionistic fuzzy sets introduced by Atanassov [1] is one among them. In [3] , Biswas applied the concept of intuitionistic fuzzy sets to the theory of groups and studied intuitionistic fuzzy subgroups of a group. In [12] , Kim, Dudek and Jun introduced the notion of intuitionistic fuzzy subquasigroups of a quasigroup.
Also in [13] , Kim and Jun introduced the concept of intuitionistic fuzzy ideals of a semigroup. Recently, Dudek, Davvaz and Jun [11] considered the intuitionistic fuzzification of the concept of sub-hyperquasigroups in a hyperquasigroup and investigated some properties of such hyperquasigroups.
In this paper, we apply the concept of intuitionistic fuzzy sets to H v   -modules.
We introduce the notion of intuitionistic fuzzy H v   -submodules of an H v   -module and investigate some related properties. We give characterizations of intuitionistic fuzzy H v   -submodules.

2 Fuzzy sets and intuitionistic fuzzy sets

The concept of a fuzzy set in a non-empty set was introduced by Zadeh [21] in 1965.
Let X   be a non-empty set. A mapping μ : X ⟶ [ 0 , 1 ]   is called a fuzzy set in X   . The complement of μ   , denoted by μ c   , is the fuzzy set in X   given by μ c ( x ) = 1 − μ ( x )   for all x ∈ X   .
Definition 2.1. Let f   be a mapping from a set X   to a set Y   . Let μ   be a fuzzy set in X   and λ   be a fuzzy set in Y   . Then the inverse image f − 1 ( λ )   of λ   is a fuzzy set in X   defined by f − 1 ( λ ) ( x ) = λ ( f ( x ) ) f o r a l l x ∈ X .   The image f ( μ )   of μ   is the fuzzy set in Y   defined by f ( μ ) ( y ) = { sup x ∈ f − 1 ( y ) μ ( x ) i f f − 1 ( y ) ≠ ∅ , 0 o t h e r w i s e ,   for all y ∈ Y   . We have always f ( f − 1 ( λ ) ) ≤ λ a n d μ ≤ f − 1 ( f ( μ ) ) .  
Rosenfeld [16] applied the concept of fuzzy sets to the theory of groups and defined the concept of fuzzy subgroups of a group. The concept of fuzzy modules was introduced by Negoita and Ralescu in [15] .
Definition 2.2. (cf. Negoita and Ralescu [15] ). Let M   be a module over a ring R   . A fuzzy set μ   in M   is called a fuzzy submodule of M   if for every x , y ∈ M   and r ∈ R   the following conditions are satisfied:
  • (1) μ ( 0 ) = 1   ,
  • (2) min { μ ( x ) , μ ( y ) } ≤ μ ( x − y )   for all x , y ∈ M   ,
  • (3) μ ( x ) ≤ μ ( r x )   for all x ∈ M   and r ∈ R   .
Definition 2.3. An intuitionistic fuzzy set A   in a non-empty set X   is an object having the form A = { ( x , μ A ( x ) , λ A ( x ) ) | x ∈ X } ,   where the functions μ A : X ⟶ [ 0 , 1 ]   and λ A : X ⟶ [ 0 , 1 ]   denote the degree of membership (namely μ A ( x )   ) and the degree of nonmembership (namely λ A ( x )   ) of each element x ∈ X   to the set A   respectively, and 0 ≤ μ A ( x ) + λ A ( x ) ≤ 1   for all x ∈ X   . For the sake of simplicity, we shall use the symbol A = ( μ A , λ A )   for the intuitionistic fuzzy set A = { ( x , μ A ( x ) , λ A ( x ) ) | x ∈ X }   .
Definition 2.4. Let A = ( μ A , λ A )   and B = ( μ B , λ B )   be intuitionistic fuzzy sets in X .   Then
  • (1) A ⊆ B   iff μ A ( x ) ≤ μ B ( x )   and λ A ( x ) ≥ λ B ( x )   for all x ∈ X   ,
  • (2) A c = { ( x , λ A ( x ) , μ A ( x ) ) | x ∈ X }   ,
  • (3) A ∩ B = { ( x , min { μ A ( x ) , μ B ( x ) } , max { λ A ( x ) , λ B ( x ) } ) | x ∈ X }   ,
  • (4) A ∪ B = { ( x , max { μ A ( x ) , μ B ( x ) } , min { λ A ( x ) , λ B ( x ) } ) | x ∈ X }   ,
  • (5) □ A = { ( x , μ A ( x ) , μ A c ( x ) ) | x ∈ X }   ,
  • (6) ◊ A = { ( x , λ A c ( x ) , λ A ( x ) ) | x ∈ X }   .
Now, we define an intuitionistic fuzzy submodule of a module.
Definition 2.5. Let M   be a module over a ring R   . An intuitionistic fuzzy set A = ( μ A , λ A )   in M   is called an intuitionistic fuzzy submodule of M   if
  • (1) μ A ( 0 ) = 1   ,
  • (2) min { μ A ( x ) , μ A ( y ) } ≤ μ A ( x − y )   for all x , y ∈ M   ,
  • (3) μ A ( x ) ≤ μ A ( r ⋅ x )   for all x ∈ M   and r ∈ R   ,
  • (4) λ A ( 0 ) = 0   ,
  • (5) λ A ( x − y ) ≤ max { λ A ( x ) , λ A ( y ) }   for all x , y ∈ M   ,
  • (6) λ A ( r ⋅ x ) ≤ λ A ( x )   for all x ∈ M   and r ∈ R   .

3 H v   -structures

A hyperstructure is a non-empty set H   together with a map * : H × H → P * ( H )   which is called hyperoperation, where P * ( H )   denotes the set of all non-empty subsets of H   . The image of pair ( x , y )   is denoted by x * y   . If x ∈ H   and A , B ⊆ H   , then by A * B   , A * x   and x * B   we mean A * B = ⋃ a ∈ A , b ∈ B a * b , A * x = A * { x } a n d x * B = { x } * B ,   respectively. A hyperstructure ( H , * )   is called an H v   -semigroup if ( x * ( y * z ) ) ∩ ( ( x * y ) * z ) ≠ ∅ f o r a l l x , y , z ∈ H .  
Definition 3.1. An H v   -ring is a system ( R , + , ⋅ )   with two hyperoperations satisfying the following axioms:
  • (i) ( R , + )   is an H v   -group, i.e.,
    ( ( x + y ) + z ) ∩ ( x + ( y + z ) ) ≠ ∅ f o r a l l x , y ∈ R ,
    a + R = R + a = R f o r a l l a ∈ R ;
  • (ii) ( R , ⋅ )   is an H v   -semigroup;
  • (iii) “ ⋅   ” is weak distributive with respect to “ +   ”, i.e., for all x , y , z ∈ R   :
    ( x ⋅ ( y + z ) ) ∩ ( x ⋅ y + x ⋅ z ) ≠ ∅ ,
    ( ( x + y ) ⋅ z ) ∩ ( x ⋅ z + y ⋅ z ) ≠ ∅ .
Definition 3.2. (cf. Vougiouklis [20] ). A non-empty set M   is called an H v   -module over an H v   -ring R   if ( M , + )   is a weak commutative H v   -group and there exists a map ⋅ : R × M ⟶ P * ( M ) , ( r , x ) ↦ r ⋅ x   such that for all a , b ∈ R   and x , y ∈ M   , we have
( a ⋅ ( x + y ) ) ∩ ( a ⋅ x + a ⋅ y ) ≠ ∅ ,
( ( a + b ) ⋅ x ) ∩ ( a ⋅ x + b ⋅ x ) ≠ ∅ ,
( ( a b ) ⋅ x ) ∩ ( a ⋅ ( b ⋅ x ) ) ≠ ∅ .
We note that an H v   -module is a generalization of a module. For more definitions, results and applications on H v   -modules, we refer the reader to [9, 18, 20] . Note that by using fuzzy sets, we can consider the structure of H v   -module on any ordinary module.
Example 3.3. (cf. Davvaz [6] ). Let M   be an ordinary module over an ordinary ring R   , and let μ A   be a fuzzy set in M   and μ B   be a fuzzy set in R   . We define hyperoperations ∘ , * , ⊕   and ⊙   as follows:
  • a ∘ b = { t ∈ R | μ B ( t ) = μ B ( a + b ) }   for all a , b ∈ R   ,
  • a * b = { t ∈ R | μ B ( t ) = μ B ( a b ) }   for all a , b ∈ R   ,
  • x ⊕ y = { s ∈ M | μ A ( s ) = μ A ( x + y ) }   for all x , y ∈ M   ,
  • r ⊙ x = { s ∈ M | μ A ( s ) = μ A ( r ⋅ x ) }   for all r ∈ R   and x ∈ M   ,
respectively. Then
  • (i) ( R , ∘ , * )   is an H v   -ring.
  • (ii) ( M , ⊕ , ⊙ )   is an H v   -module over the H v   -ring ( R , ∘ , * )   .
Definition 3.4. Let M   be an H v   -module over an H v   -ring R   . A non-empty subset S   of M   is called an H v   -submodule of M   if the following axioms hold:
  • (i) ( S , + )   is an H v   -subgroup of ( M , + )   ,
  • (ii) R ⋅ S ⊆ S   .
Definition 3.5. Let M 1   and M 2   be two H v   -modules over an H v   -ring R   . A mapping f   from M 1   into M 2   is called a homomorphism if for all x , y ∈ M 1   and r ∈ R   , f ( x + y ) = f ( x ) + f ( y ) a n d f ( r ⋅ x ) = r ⋅ f ( x ) .   The homomorphism f   is said to be strong on the left if f ( z ) ∈ f ( x ) + f ( y ) ⟹ ∃ x ′ ∈ M 1 : f ( x ) = f ( x ′ ) a n d z ∈ x ′ + y .   Similarly, we can define a homomorphism which is strong on the right. If a homomorphism f   is strong on the right and left, we say f   is a strong homomorphism.
Proposition 3.6. Let M 1   and M 2   be two H v   -modules over an H v   -ring R   and f : M 1 ⟶ M 2   a strong epimorphism. If N   is an H v   -submodule of M 2   , then f − 1 ( N )   is an H v   -submodule of M 1   .
  • Proof. Assume that x 1 , x 2 ∈ f − 1 ( N )   . Then there exists y 1 , y 2 ∈ N   such that f ( x 1 ) = y 1   , f ( x 2 ) = y 2   and so f ( x 1 + x 2 ) = y 1 + y 2   . Hence for every x ∈ x 1 + x 2   we have f ( x ) ∈ y 1 + y 2 ⊆ N   which implies x ∈ f − 1 ( N )   and so x 1 + x 2 ⊆ f − 1 ( N )   . Therefore x 1 + f − 1 ( N ) ⊆ f − 1 ( N )   for every x 1 ∈ f − 1 ( N ) .   Now, we show that f − 1 ( N ) ⊆ x 1 + f − 1 ( N )   . For z ∈ f − 1 ( N )   , there exists y ∈ N   such that f ( z ) = y   . Since y , y 1 ∈ N   and N   is an H v   -subgroup of M 2   , there exists b ∈ N   such that y ∈ y 1 + b   . Since f   is onto, there exists a ∈ M 1   such that f ( a ) = b   or a ∈ f − 1 ( b )   . Hence we have f ( z ) ∈ f ( x 1 ) + f ( a )   . Since f   is a strong homomorphism, there exists a ′ ∈ M 1   such that f ( a ) = f ( a ′ )   and z ∈ x 1 + a ′   . Since f ( a ′ ) = b ∈ N   , we have a ′ ∈ f − 1 ( N )   and z ∈ x 1 + f − 1 ( N )   , and so f − 1 ( N ) ⊆ x 1 + f − 1 ( N )   . Therefore we have f − 1 ( N ) = x 1 + f − 1 ( N )   .
    Similarly, we obtain f − 1 ( N ) = f − 1 ( N ) + x 1   . Thus the condition (i) of Definition 3.4 is satisfied.
    For the condition (ii), let r ∈ R   and x ∈ f − 1 ( N )   , then f ( x ) ∈ N   , and so r ⋅ f ( x ) ⊆ N   or f ( r ⋅ x ) ⊆ N   , which implies r ⋅ x ⊆ f − 1 ( N )   . Therefore the condition (ii) of Definition 3.4 is satisfied.
In [7] , Davvaz applied the concept of fuzzy sets to the algebraic hyperstructures.
In particular, he defined the concept of a fuzzy H v   -submodule of an H v   -module which is a generalization of the concept of a fuzzy submodule (see [6] ), and he studied further properties in [8] , [9] and [10] .
Definition 3.7. (cf. Davvaz [6] ). Let M   be an H v   -module over an H v   -ring R   and μ   a fuzzy set in M   . Then μ   is said to be a fuzzy H v   -submodule of M   if the following axioms hold:
  • (1) min { μ ( x ) , μ ( y ) } ≤ inf { μ ( z ) | z ∈ x + y }   for all x , y ∈ M   ,
  • (2) for all x , a ∈ M   there exists y ∈ M   such that x ∈ a + y   and min { μ ( a ) , μ ( x ) } ≤ μ ( y ) ,  
  • (3) for all x , a ∈ M   there exists z ∈ M   such that x ∈ z + a   and min { μ ( a ) , μ ( x ) } ≤ μ ( z ) ,  
  • (4) μ ( x ) ≤ inf { μ ( z ) | z ∈ r ⋅ x }   for all x ∈ M   and r ∈ R   .

4 Intuitionistic fuzzy H v   -submodules

In what follows, let M   denote an H v   -module over an H v   -ring R   unless otherwise specified. We start by defining the notion of intuitionistic fuzzy H v   -submodules.
Definition 4.1. An intuitionistic fuzzy set A = ( μ A , λ A )   in M   is called an intuitionistic fuzzy H v   -submodule of M   if
  • (1) min { μ A ( x ) , μ A ( y ) } ≤ inf { μ A ( z ) | z ∈ x + y }   for all x , y ∈ M   ,
  • (2) for all x , a ∈ M   there exist y , z ∈ M   such that x ∈ ( a + y ) ∩ ( z + a )   and min { μ A ( a ) , μ A ( x ) } ≤ min { μ A ( y ) , μ A ( z ) } ,  
  • (3) μ A ( x ) ≤ inf { μ A ( z ) | z ∈ r ⋅ x }   for all x ∈ M   and r ∈ R   ,
  • (4) sup { λ A ( z ) | z ∈ x + y } ≤ max { λ A ( x ) , λ A ( y ) }   for all x , y ∈ M   ,
  • (5) for all x , a ∈ M   there exist y , z ∈ M   such that x ∈ ( a + y ) ∩ ( z + a )   and max { λ A ( y ) , λ A ( z ) } ≤ max { λ A ( a ) , λ A ( x ) } ,  
  • (6) sup { λ A ( z ) | z ∈ r ⋅ x } ≤ λ A ( x )   for all x ∈ M   and r ∈ R   .
Lemma 4.2. If A = ( μ A , λ A )   is an intuitionistic fuzzy H v   -submodule of M   , then so is □ A = ( μ A , μ A c )   .
  • Proof. It is sufficient to show that μ A c   satisfies the conditions (4),(5), and (6) of Definition 4.1. For x , y ∈ M   we have min { μ A ( x ) , μ A ( y ) } ≤ inf { μ A ( z ) | z ∈ x + y }   and so min { 1 − μ A c ( x ) , 1 − μ A c ( y ) } ≤ inf { 1 − μ A c ( z ) | z ∈ x + y } .   Hence min { 1 − μ A c ( x ) , 1 − μ A c ( y ) } ≤ 1 − sup { μ A c ( z ) | z ∈ x + y }   which implies sup { μ A c ( z ) | z ∈ x + y } ≤ 1 − min { 1 − μ A c ( x ) , 1 − μ A c ( y ) } .   Therefore sup { μ A c ( z ) | z ∈ x + y } ≤ max { μ A c ( x ) , μ A c ( y ) } ,   and thus the condition (4) of Definition 4.1 is valid.
    Now, let a , x ∈ M .   Then there exist y , z ∈ M   such that x ∈ ( a + y ) ∩ ( z + a )   and min { μ A ( a ) , μ A ( x ) } ≤ min { μ A ( y ) , μ A ( z ) } .   It follows that min { 1 − μ A c ( a ) , 1 − μ A c ( x ) } ≤ min { 1 − μ A c ( y ) , 1 − μ A c ( z ) }   so that max { μ A c ( y ) , μ A c ( z ) } ≤ max { μ A c ( a ) , μ A c ( x ) } .   Hence the condition (5) of Definition 4.1 is satisfied.
    For the condition (6), let x ∈ M   and r ∈ R   . Since μ A   is a fuzzy H v   -submodule of M   , we have μ A ( x ) ≤ inf { μ A ( z ) | z ∈ r ⋅ x }   and so 1 − μ A c ( x ) ≤ inf { 1 − μ A c ( z ) | z ∈ r ⋅ x } ,   which implies sup { μ A c ( z ) | z ∈ r ⋅ x } ≤ μ A c ( x ) .   Therefore the condition (6) of Definition 4.1 is satisfied.
Lemma 4.3. If A = ( μ A , λ A )   is an intuitionistic fuzzy H v   -submodule of M   , then so is ◊ A = ( λ A c , λ A )   .
  • Proof. The proof is similar to the proof of Lemma 4.2.
Combining the above two lemmas it is not difficult to verify that the following theorem is valid.
Theorem 4.4. A = ( μ A , λ A )   is an intuitionistic fuzzy H v   -submodule of M   if and only if □ A   and ◊ A   are intuitionistic fuzzy H v   -submodules of M   . □  
Corollary 4.5. A = ( μ A , λ A )   is an intuitionistic fuzzy H v   -submodule of M   if and only if μ A   and λ A c   are fuzzy H v   -submodules of M   .
Definition 4.6. For any t ∈ [ 0 , 1 ]   and fuzzy set μ   in M   , the set U ( μ ; t ) = { x ∈ M | μ ( x ) ≥ t } ( r e s p . L ( μ ; t ) = { x ∈ M | μ ( x ) ≤ t } )   is called an upper (resp. lower) t   -level cut of μ   .
Theorem 4.7. If A = ( μ A , λ A )   is an intuitionistic fuzzy H v   -submodule of M   , then the sets U ( μ A ; t )   and L ( λ A ; t )   are H v   -submodules of M   for every t ∈ I m ( μ A ) ∩ I m ( λ A ) .  
  • Proof. Let t ∈ I m ( μ A ) ∩ I m ( λ A ) ⊆ [ 0 , 1 ]   and let x , y ∈ U ( μ A ; t )   . Then μ A ( x ) ≥ t   and μ A ( y ) ≥ t   and so min { μ A ( x ) , μ A ( y ) } ≥ t   . It follows from the condition (1) of Definition 4.1 that inf { μ A ( z ) | z ∈ x + y } ≥ t   . Therefore z ∈ U ( μ A ; t )   for all z ∈ x + y ,   and so x + y ⊆ U ( μ A ; t )   . Hence a + U ( μ A ; t ) ⊆ U ( μ A ; t )   and U ( μ A ; t ) + a ⊆ U ( μ A ; t )   for all a ∈ U ( μ A ; t ) .   Now, let x ∈ U ( μ A ; t ) .   Then there exist y , z ∈ M   such that x ∈ ( a + y ) ∩ ( z + a )   and min { μ A ( x ) , μ A ( a ) } ≤ min { μ A ( y ) , μ A ( z ) }   . Since x , a ∈ U ( μ A ; t )   , we have t ≤ min { μ A ( x ) , μ A ( a ) }   and so t ≤ min { μ A ( y ) , μ A ( z ) } ,   which implies y ∈ U ( μ A ; t )   and z ∈ U ( μ A ; t )   . This proves that U ( μ A ; t ) ⊆ a + U ( μ A ; t )   and U ( μ A ; t ) ⊆ U ( μ A ; t ) + a   .
    Now, for every r ∈ R   and x ∈ U ( μ A ; t )   we show that r ⋅ x ⊆ U ( μ A ; t )   .
    Since A   is an intuitionistic fuzzy H v   -submodule of M   , we have t ≤ μ A ( x ) ≤ inf { μ A ( z ) | z ∈ r ⋅ x } .   Therefore, for every z ∈ r ⋅ x   we get μ A ( z ) ≥ t   which implies z ∈ U ( μ A ; t )   , so r ⋅ x ⊆ U ( μ A ; t )   .
    If x , y ∈ L ( λ A ; t )   , then max { λ A ( x ) , λ A ( y ) } ≤ t   . It follows from the condition (4) of Definition 4.1 that sup { λ A ( z ) | z ∈ x + y } ≤ t   . Therefore for all z ∈ x + y   we have z ∈ L ( λ A ; t )   , so x + y ⊆ L ( λ A ; t )   . Hence for all a ∈ L ( λ A ; t )   we have a + L ( λ A ; t ) ⊆ L ( λ A ; t )   and L ( λ A ; t ) + a ⊆ L ( λ A ; t )   . Now, let x ∈ L ( λ A ; t ) .   Then there exist y , z ∈ M   such that x ∈ ( a + y ) ∩ ( z + a )   and max { λ A ( y ) , λ A ( z ) } ≤ max { λ A ( a ) , λ A ( x ) }   . Since x , a ∈ L ( λ A ; t )   , we have max { λ A ( a ) , λ A ( x ) } ≤ t   and so max { λ A ( y ) , λ A ( z ) } ≤ t   . Thus y ∈ L ( λ A ; t )   and z ∈ L ( λ A ; t )   . Hence L ( λ A ; t ) ⊆ a + L ( λ A ; t )   and L ( λ A ; t ) ⊆ L ( λ A ; t ) + a   .
    Now, we show that r ⋅ x ⊆ L ( λ A ; t )   for every r ∈ R   and x ∈ L ( λ A ; t )   .
    Since A   is an intuitionistic fuzzy H v   -submodule of M   , we have sup { λ A ( z ) | z ∈ r ⋅ x } ≤ λ A ( x ) ≤ t .   Therefore, for every z ∈ r ⋅ x   we get λ A ( z ) ≤ t ,   which implies z ∈ L ( λ A ; t )   , so r ⋅ x ⊆ L ( λ A ; t )   .
Theorem 4.8. If A = ( μ A , λ A )   is an intuitionistic fuzzy set in M   such that all non-empty level sets U ( μ A ; t )   and L ( λ A ; t )   are H v   -submodules of M   , then A = ( μ A , λ A )   is an intuitionistic fuzzy H v   -submodule of M   .
  • Proof. Assume that all non-empty level sets U ( μ A ; t )   and L ( λ A ; t )   are H v   -submodules of M   . If t 0 = min { μ A ( x ) , μ A ( y ) }   and t 1 = max { λ A ( x ) , λ A ( y ) }   for x , y ∈ M   , then x , y ∈ U ( μ A ; t 0 )   and x , y ∈ L ( λ A ; t 1 )   . So x + y ⊆ U ( μ A ; t 0 )   and x + y ⊆ L ( λ A ; t 1 )   . Therefore for all z ∈ x + y   we have μ A ( z ) ≥ t 0   and λ A ( z ) ≤ t 1   , i.e., inf { μ A ( z ) | z ∈ x + y } ≥ min { μ A ( x ) , μ A ( y ) }   and sup { λ A ( z ) | z ∈ x + y } ≤ max { λ A ( x ) , λ A ( y ) } ,   which verify the conditions (1) and (4) of Definition 4.1.
    Now, if t 2 = min { μ A ( a ) , μ A ( x ) }   for x , a ∈ M   , then a , x ∈ U ( μ A ; t 2 )   . So there exist y 1 , z 1 ∈ U ( μ A ; t 2 )   such that x ∈ a + y 1   and x ∈ z 1 + a   . Also we have t 2 ≤ min { μ A ( y 1 ) , μ A ( z 1 ) }   . Therefore the condition (2) of Definition 4.1 is verified. If we put t 3 = max { λ A ( a ) , λ A ( x ) }   then a , x ∈ L ( λ A ; t 3 )   . So there exist y 2 , z 2 ∈ L ( λ A ; t 3 )   such that x ∈ a + y 2   and x ∈ z 2 + a   and we have max { λ A ( y 2 ) , λ A ( y 2 ) } ≤ t 3   , and so the condition (5) of Definition 4.1 is verified.
    Now, we verify the conditions (3) and (6). Let t 4 = μ A ( x )   and t 5 = λ A ( x )   for some x ∈ M   and let r ∈ R   . Then x ∈ U ( μ A ; t 4 )   and x ∈ L ( λ A , t 5 )   . Since U ( μ A ; t 4 )   and L ( λ A , t 5 )   are H v   -submodules of M   , we get r ⋅ x ⊆ U ( μ A ; t 4 )   and r ⋅ x ⊆ L ( λ A , t 5 )   . Therefore for every z ∈ r ⋅ x   we have z ∈ U ( μ A ; t 4 )   and z ∈ L ( λ A , t 5 )   which imply μ A ( z ) ≥ t 4   and λ A ( z ) ≤ t 5   . Hence inf { μ A ( z ) | z ∈ r ⋅ x } ≥ t 4 = μ A ( x )   and sup { λ A ( z ) | z ∈ r ⋅ x } ≤ t 5 = λ A ( x ) .   This completes the proof.
Corollary 4.9. Let S   be an H v   -submodule of an H v   -module M   .
If fuzzy sets μ   and λ   in M   are defined by μ ( x ) = { α 0 if x ∈ S , α 1 if x ∈ M \ S , λ ( x ) = { β 0 if x ∈ S , β 1 if x ∈ M \ S ,   where 0 ≤ α 1 < α 0   , 0 ≤ β 0 < β 1   and α i + β i ≤ 1   for i = 0 , 1   .
Then A = ( μ , λ )   is an intuitionistic fuzzy H v   -submodule of M   and U ( μ ; α 0 ) = S = L ( λ ; β 0 )   .
Corollary 4.10. Let χ S   be the characteristic function of an H v   -submodule S   of M   . Then A = ( χ S , χ S c )   is an intuitionistic fuzzy H v   -submodule of M   .
Theorem 4.11. If A = ( μ A , λ A )   is an intuitionistic fuzzy H v   -submodule of M   , then μ A ( x ) = sup { α ∈ [ 0 , 1 ] | x ∈ U ( μ A ; α ) }   and λ A ( x ) = inf { α ∈ [ 0 , 1 ] | x ∈ L ( λ A ; α ) }   for all x ∈ M .  
  • Proof. Let δ = sup { α ∈ [ 0 , 1 ] | x ∈ U ( μ A ; α ) }   and let ɛ > 0   be given. Then δ − ɛ < α   for some α ∈ [ 0 , 1 ]   such that x ∈ U ( μ A ; α )   . This means that δ − ɛ < μ A ( x )   so that δ ≤ μ A ( x )   since ɛ   is arbitrary.
    We now show that μ A ( x ) ≤ δ .   If μ A ( x ) = β   , then x ∈ U ( μ A ; β )   and so β ∈ { α ∈ [ 0 , 1 ] | x ∈ U ( μ A ; α ) } .   Hence μ A ( x ) = β ≤ sup { α ∈ [ 0 , 1 ] | x ∈ U ( μ A ; α ) } = δ .   Therefore μ A ( x ) = δ = sup { α ∈ [ 0 , 1 ] | x ∈ U ( μ A ; α ) } .   Now let η = inf { α ∈ [ 0 , 1 ] | x ∈ L ( λ A ; α ) }   . Then inf { α ∈ [ 0 , 1 ] | x ∈ L ( λ A ; α ) } < η + ɛ   for any ɛ > 0 ,   and so α < η + ɛ   for some α ∈ [ 0 , 1 ]   with x ∈ L ( λ A ; α )   .
    Since λ A ( x ) ≤ α   and ɛ   is arbitrary, it follows that λ A ( x ) ≤ η   .
    To prove λ A ( x ) ≥ η   , let λ A ( x ) = ζ   . Then x ∈ L ( λ A ; ζ )   and thus ζ ∈ { α ∈ [ 0 , 1 ] | x ∈ L ( λ A ; α ) }   . Hence inf { α ∈ [ 0 , 1 ] | x ∈ L ( λ A ; α ) } ≤ ζ ,   i.e. η ≤ ζ = λ A ( x ) .   Consequently λ A ( x ) = η = inf { α ∈ [ 0 , 1 ] | x ∈ L ( λ A ; α ) } ,   which completes the proof.
Definition 4.12. A fuzzy set μ   in a set X   is said to have sup property if for every non-empty subset S   of X   , there exists x 0 ∈ S   such that μ ( x 0 ) = sup x ∈ S { μ ( x ) } .  
Proposition 4.13. Let M 1   and M 2   be two H v   -modules over an H v   -ring R   and f : M 1 ⟶ M 2   be a surjection. If A = ( μ A , λ A )   is an intuitionistic fuzzy H v   -submodule of M 1   such that μ A   and λ A   have sup property, then
  • (i) f ( U ( μ A ; t ) ) = U ( f ( μ A ) ; t ) ,  
  • (ii) f ( L ( λ A ; t ) ) ⊆ L ( f ( λ A ) ; t )  
  • Proof. (i) We have
    y ∈ U ( f ( μ A ) ; t ) ⟺ f ( μ A ) ( y ) ≥ t
    ⟺ sup x ∈ f − 1 ( y ) { μ A ( x ) } ≥ t
    ⟺ ∃ x 0 ∈ f − 1 ( y ) , μ A ( x 0 ) ≥ t
    ⟺ ∃ x 0 ∈ f − 1 ( y ) , x 0 ∈ U ( μ A ; t )
    ⟺ f ( x 0 ) = y , x 0 ∈ U ( μ A ; t )
    ⟺ y ∈ f ( U ( μ A ; t ) ) .
    (ii) We have
    y ∈ L ( f ( λ A ) ; t ) ⟹ f ( λ A ) ( y ) ≤ t
    ⟹ sup x ∈ f − 1 ( y ) { λ A ( x ) } ≤ t
    ⟹ λ A ( x ) ≤ t f o r a l l x ∈ f − 1 ( y )
    ⟹ x ∈ L ( λ A ; t ) f o r a l l x ∈ f − 1 ( y )
    ⟹ y ∈ f ( L ( λ A ; t ) ) .
Proposition 4.14. Let M 1   and M 2   be two H v   -modules over an H v   -ring R   and f : M 1 ⟶ M 2   be a map. If B = ( μ B , λ B )   is an intuitionistic fuzzy H v   -submodule of M 2   , then
  • (i) f − 1 ( U ( μ B ; t ) ) = U ( f − 1 ( μ B ) ; t ) ,  
  • (ii) f − 1 ( L ( λ B ; t ) ) = L ( f − 1 ( λ B ) ; t )  
for every t ∈ [ 0 , 1 ] .  
  • Proof. (i) We have
    x ∈ U ( f − 1 ( μ B ) ; t ) ⟺ f − 1 ( μ B ) ( x ) ≥ t
    ⟺ μ B ( f ( x ) ) ≥ t
    ⟺ f ( x ) ∈ U ( μ B ; t )
    ⟺ x ∈ f − 1 ( U ( μ B ; t ) ) .
    (ii) We have
    x ∈ L ( f − 1 ( λ B ) ; t ) ⟺ f − 1 ( λ B ) ( x ) ≤ t
    ⟺ λ B ( f ( x ) ) ≤ t
    ⟺ f ( x ) ∈ L ( λ B ; t )
    ⟺ x ∈ f − 1 ( L ( λ B ; t ) ) .
Definition 4.15. Let f   be a map from a set X   to a set Y   . If B = ( μ B , λ B )   is an intuitionistic fuzzy set in Y ,   then the inverse image of B   under f   is defined by: f − 1 ( B ) = ( f − 1 ( μ B ) , f − 1 ( λ B ) ) .  
It is easy to see that f − 1 ( B )   is an intuitionistic fuzzy set in X   .
Corollary 4.16. Let M 1   and M 2   be two H v   -modules over an H v   -ring R   and f : M 1 ⟶ M 2   be a strong epimorphism. If B = ( μ B , λ B )   is an intuitionistic fuzzy H v   -submodule of M 2   , then f − 1 ( B )   is an intuitionistic fuzzy H v   -submodule of M 1   .
  • Proof. Assume that B = ( μ B , λ B )   is an intuitionistic fuzzy H v   -submodule of M 2   . By Theorem 4.7, we know that the sets U ( μ B ; t )   and L ( λ B ; t )   are H v   -submodules of M 2   for every t ∈ I m ( μ B ) ∩ I m ( λ B ) .   It follows from Proposition 3.6 that f − 1 ( U ( μ B ; t ) )   and f − 1 ( L ( λ B ; t ) )   are H v   -submodules of M 1   . Using Proposition 4.14, we have f − 1 ( U ( μ B ; t ) ) = U ( f − 1 ( μ B ) ; t ) ,   f − 1 ( L ( λ B ; t ) ) = L ( f − 1 ( λ B ) ; t ) .   Now by Theorem 4.8, the proof is completed.

5 On fundamental modules

The main tools in the theory of H v   -structures are the fundamental relations. Consider an H v   -module M   over an H v   -ring R   . If the relation γ *   is the smallest equivalence relation on R   such that the quotient R / γ *   , the set of all equivalence classes, is a ring, we say that γ *   is the fundamental equivalence relation on R   and R / γ *   is the fundamental ring (see [17, 19] ). The fundamental relation ε *   on M   over R   is the smallest equivalence relation on M   such that M / ε *   is a module over the ring R / γ *   . Let U   be the set of all expressions consisting of finite hyperoperations either on R   and M   or the external hyperoperation applied to finite sets of elements of R   and M   . We define the relation ε   on M   as follows: a ε b i f a n d o n l y i f { a , b } ⊆ u f o r s o m e u ∈ U .   Let us denote ε ^   the transitive closure of ε   . Then we can rewrite the definition of ε ^   on M   as follows:
a ε ^ b   if and only if there exist z 1 , … , z n + 1 ∈ M   with z 1 = a   , z n + 1 = b   and u 1 , … , u n ∈ U   such that { z i , z i + 1 } ⊆ u i ( i = 1 , … , n ) .  
Theorem 5.1. ( cf. Vougiouklis [20] ). The fundamental relation ε *   is the transitive closure of the relation ε   .
Suppose γ * ( r )   is the equivalence class containing r ∈ R ,   and ε * ( x )   the equivalence class containing x ∈ M   . On M / ε *   , the sum ⊕   and the external product ⊙   using the γ *   classes in R   are defined as follows: ε * ( x ) ⊕ ε * ( y ) = ε * ( c ) f o r a l l c ∈ ε * ( x ) + ε * ( y ) ,   γ * ( r ) ⊙ ε * ( x ) = ε * ( d ) f o r a l l d ∈ γ * ( r ) ⋅ ε * ( x ) .   The kernel of the canonical map φ : M ⟶ M / ε *   is called the core of M   and is denoted by ω M   . Here we also denote ω M   the zero element of M / ε   . We have ω M = ε * ( 0 ) , a n d ε * ( − x ) = − ε * ( x ) f o r a l l x ∈ M .  
Definition 5.2. Let M   be an H v   -module over an H v   -ring R   and let A = ( μ A , λ A )   be an intuitionistic fuzzy H v   -submodule of M   . The intuitionistic fuzzy set A / ε * = ( μ A ¯ ε * , λ A ̲ ε * )   is defined as follows: μ A ¯ ε * : M / ε * ⟶ [ 0 , 1 ]   μ A ¯ ε * ( ε * ( x ) ) = { sup a ∈ ε * ( x ) { μ A ( a ) } i f ε * ( x ) ≠ ω M 1 i f ε * ( x ) = ω M   and λ A ̲ ε * : M / ε * ⟶ [ 0 , 1 ]   λ A ̲ ε * ( ε * ( x ) ) = { inf a ∈ ε * ( x ) { λ A ( a ) } i f ε * ( x ) ≠ ω M 0 i f ε * ( x ) = ω M .  
In the following we show that 0 ≤ μ A ¯ ε * ( ε * ( x ) ) + λ A ̲ ε * ( ε * ( x ) ) ≤ 1 ,   for all ε * ( x ) ∈ M / ε *   .
If ε * ( x ) = ω M   , then the above inequalities are clear. Assume that x ∈ H   and ε * ( x ) ≠ ω M   . Since 0 ≤ μ A ( a )   and 0 ≤ λ A ( a )   for all a ∈ ε * ( x )   , we have 0 ≤ sup a ∈ ε * ( x ) { μ A ( a ) } + inf a ∈ ε * ( x ) { λ A ( a ) }   or 0 ≤ μ A ¯ ε * ( ε * ( x ) ) + λ A ̲ ε * ( ε * ( x ) ) .   On the other hand, we have μ A ( a ) + λ A ( a ) ≤ 1 o r μ A ( a ) ≤ 1 − λ A ( a ) ,   for all a ∈ ε * ( x ) ,   and so
μ A ¯ ε * ( ε * ( x ) ) = sup a ∈ ε * ( x ) { μ A ( a ) }
≤ sup a ∈ ε * ( x ) { 1 − λ A ( a ) }
= 1 − inf a ∈ ε * ( x ) { λ A ( a ) }
= 1 − λ A ̲ ε * ( ε * ( x ) ) .
Hence μ A ¯ ε * ( ε * ( x ) ) + λ A ̲ ε * ( ε * ( x ) ) ≤ 1   .
Theorem 5.3. (cf. Davvaz [6] ). Let M   be an H v   -module over an H v   -ring R   and let μ   be a fuzzy H v   -submodule of M   . Then μ A ¯ ε *   is a fuzzy submodule of the module M / ε *   .
Lemma 5.4. We have ( λ A c ¯ ε * ) c = λ A ̲ ε * .  
  • Proof. If ε * ( x ) = ω M   , then ( λ A c ¯ ε * ) c ( ω H ) = 1 − ( λ A c ¯ ε * ) ( ω M ) = 0 = λ A ̲ ε * ( ω M ) .   Now, assume that ε * ( x ) ≠ ω M .   Then
    ( λ A c ¯ ε * ) c ( ε * ( x ) ) = 1 − ( λ A c ¯ ε * ) ( ε * ( x ) )
    = 1 − sup a ∈ ε * ( x ) { λ A c ( a ) }
    = 1 − sup a ∈ ε * ( x ) { 1 − λ A ( a ) }
    = inf a ∈ ε * ( x ) { λ A ( a ) }
    = λ A ̲ ε * ( ε * ( x ) ) .
Theorem 5.5. Let M   be an H v   -module over an H v   -ring R   and let A = ( μ A , λ A )   be an intuitionistic fuzzy H v   -submodule of M   .
Then A / ε * =   ( μ A ¯ ε * ,   λ A ̲ ε * )   is an intuitionistic fuzzy submodule of the fundamental module M / ε * .  
  • Proof. Suppose that A = ( μ A , λ A )   is an intuitionistic fuzzy H v   -submodule of M   . Using Lemma 4.3, λ A c   is a fuzzy H v   -submodule of M   and by Theorem 5.3, μ A ¯ ε *   and λ A c ¯ ε *   are fuzzy H v   -submodules of M / ε *   , and so ( λ A c ¯ ε * ) c   satisfies the conditions (4), (5), (6) of Definition 2.5. Hence by Lemma 5.4, λ A ̲ ε *   satisfies the conditions (4),(5),(6) of Definition 2.5. Therefore A / ε * = ( μ A ¯ ε * , λ A ̲ ε * )   is an intuitionistic fuzzy submodule of M / ε *   .

6 Conclusions

As a generalization of fuzzy sets, the notion of intuitionistic fuzzy sets was introduced by Atanassov [1] , and applications of intuitionistic fuzzy concepts have already been done by Atanassov and others in algebra, topological space, knowledge engineering, natural language, and neural network etc.
Biswas [3] have applied the concept of intuitionistic fuzzy sets to the theory of groups and studied intuitionistic fuzzy subgroups of a group. The notion of an intuitionistic fuzzy subquasigroup of a guasigroup was discussed by Kim, Dudek and Jun [12] . Also the concept of intuitionistic fuzzy ideals of semigroups was considered by Kim and Jun [13] . The concept of hyperstructure first was introduced by Marty [14] . Vougiouklis [19] , in the fourth AHA congress (1990), introduced the notion of H v   -structures. Recently, present authors [11] have discussed the intuitionistic fuzzification of the concept of subhyperquasigroups in a hyperquasigroup. The aim of this paper is to introduce the notion of an intuitionistic fuzzy H v   -submodule of an H v   -module, and to investigate related properties. Characterizations of intuitionistic fuzzy H v   -submodules are given. Our future work will focus on studying the intuitionistic fuzzy structure of H v   -nearring modules.

7 Acknowledgements

The authors are highly grateful to referees and Professor Witold Pedrycz, Editor-in-Chief, for their valuable comments and suggestions for improving the paper.
References

  1. K. T. Atanassov, Intuitionistic fuzzy sets, Fuzzy Sets Syst. 20 (1986), 87 − 96 .  
  2. K. T. Atanassov, New operations defined over the intuitionistic fuzzy sets, Fuzzy Sets Syst. 61 (1994), 137 − 142 .  
  3. R. Biswas, Intuitionistic fuzzy subgroups, Math. Forum 10 (1989), 37 − 46 .  
  4. P. Corsini, Prolegomena of hypergroup theory, Second Edition, Aviani Editor, 1993.
  5. P. Corsini and V. Leoreanu, Applications of hyperstructures theory, Advanced in Mathematics, Kluwer Academic Publishers, 2003.
  6. B. Davvaz, Fuzzy H v   -submodules, Fuzzy Sets Syst. 117 (2001), 477 − 484 .  
  7. B. Davvaz, Fuzzy H v   -groups, Fuzzy Sets Syst. 101 (1999), 191 − 195 .  
  8. B. Davvaz, A note on fuzzy H v   -submodules, J. Appl. Math. Computing 11 (2003), 265 − 271 .  
  9. B. Davvaz, A brief survey of the theory of H v   -structures, Proc. 8 t h   Int. Congress on AHA, Greece 2002, (Spanids Press, 2003), 39 − 70 .  
  10. B. Davvaz, A study on the structure of H v   -near ring modules, Indian J. Pure Appl. Math. 34(5) (2003), 693 − 700 .  
  11. W.A. Dudek, B. Davvaz and Y.B. Jun, On intuitionistic fuzzy sub-quasihypergroups of quasihypergroups, Inform. Sci. (in print).
  12. K. H. Kim, W. A. Dudek and Y. B. Jun, On intuitionistic fuzzy subquasigroups of quasigroups, Quasigroups and Related Systems 7 (2000), 15 − 28 .  
  13. K. H. Kim and Y. B. Jun, Intuitionistic fuzzy ideals of semigroups, Indian J. Pure Appl. Math. 33(4) (2002), 443 − 449 .  
  14. F. Marty, Sur une generalization de la notion de group, 8 t h   Congress Math. Scandenaves, Stockholm 1934, 45 − 49 .  
  15. C.V. Negoita and D.A. Ralescu, Applications of Fuzzy Sets and Systems Analysis, Birkhauser, Basel, 1975.
  16. A. Rosenfeld, Fuzzy groups, J. Math. Anal. Appl. 35 (1971), 512 − 517 .  
  17. S. Spartalis and T. Vougiouklis, The fundamental relations on H v   -rings, Rivista Mat. Pura Appl. 14 (1994), 7 − 20 .  
  18. T. Vougiouklis, Hyperstructures and their representations, Hadronic Press, Inc, 115, Palm Harber, 1994.
  19. T. Vougiouklis, The fundamental relation in hyperrings. The general hyperfield, Algebraic Hyperstructures and Applications (Xanthi, 1990), 203 − 211   , World Sci. Publishing, Teaneck, NJ 1991.
  20. T. Vougiouklis, H v   -vector spaces, Proc. 5 t h   Int. Congress on AHA, Rumani 1993, (Hadronic Press Inc, Florida, 1994), 181 − 190 .  
  21. L. A. Zadeh, Fuzzy sets, Inform. Control 8 (1965), 338 − 353 .  

  E-mail address: davvaz@yazduni.ac.ir (B. Davvaz), dudek@im.pwr.wroc.pl (W. A. Dudek), ybjun@gsnu.ac.kr (Y. B. Jun)