U.P.B. Sci. Bull., Series A, Vol. 73, Iss. 3, 2011 ISSN 1223-7027 FUZZY SOFT Γ-HYPERMODULES Jianming Zhan 1, V. Leoreanu-Fotea 2, Thomas Vougiouklis 3 Soft set theory, introduced by Molodtsov, has been considered as an effective mathematical tool for modeling uncertainties. In this paper, we apply fuzzy soft sets to Γ-hypermodules. The concept of ( γ, γ q δ )-fuzzy soft Γ-subhypermodules of Γ-hypermodules is first introduced. Some new characterizations are investigated. In particular, a kind of new Γ-hypermodules by congruence relations is obtained. Keywords: Fuzzy soft set; Γ-subhypermodule; ( γ, γ q δ )-fuzzy soft Γ- subhypermodule; congruence relation; Γ-hypermodule MSC2000: 20N20; 16Y60; 13E05 1. Introduction Uncertainties are pervasive in many complicated problems in engineering, economics, environment, medical science and social science, due to information incompleteness, randomness, limitations of measuring instruments, etc. Traditional mathematical tools for modeling uncertainties, such as probability theory, fuzzy set theory [38], vague set theory, rough set theory [34] and interval mathematics have been proven to be useful mathematical tools for dealing with uncertainties. However, all these theories have their inherent difficulties, as pointed out by Molodtsov in [33]. At present, works on the soft set theory are progressing rapidly. Maji et al. [28, 29] described the application of soft set theory to a decision making problem. Ali et al. [2] proposed some new operations on soft sets. Chen et al. [8] presented a new definition of soft set parametrization reduction, and compared this definition to the related concept of attribute reduction in rough set theory. In particular, fuzzy soft set theory has been investigated by some researchers, for examples, see [27, 30]. Recently, the algebraic structures of soft sets have been studied increasingly, see [1, 20]. In particular, Zhan and Jun [44] characterized the (implicative, 1 Department of Mathematics, Hubei University for Nationalities, Enshi, Hubei Province, 445000, P. R. China, Corresponding author, e-mail: zhanjianming@hotmail.com 2 Faculty of Mathematics, Al.I Cuza University, Carol I Street, n.11, Iasi, Romania, e-mail: leoreanu2002@yahoo.com 3 Department of Mathematics, Democritus University of Thrace, 67100 Xanthi, Greece, e-mail: tvougiou@eled.duth.gr 13
14 Jianming Zhan, V. Leoreanu-Fotea, Thomas Vougiouklis positive implicative and fantastic) filteristic soft BL-algebras based on -soft sets and q-soft sets. On the other hand, the theory of algebraic hyperstructures (or hypersystems) is a well established branch of classical algebraic theory. In the literature, the theory of hyperstructures was first initiated by Marty in 1934 [31] when he defined the hypergroups and began to investigate their properties with applications to groups, rational fractions and algebraic functions. Later on, many people have observed that the theory of hyperstructures also have many applications in both pure and applied sciences, for example, semi-hypergroups are the simplest algebraic hyperstructures which possess the properties of closure and associativity. Some review of the theory of hyperstructures can be found in [9, 10, 13, 35]. A well known type of a hyperring is the Krasner hyperring [22]. Krasner hyperrings are essentially rings, with approximately modified axioms in which addition is a hyperoperation (i.e., a + b is a set). The concept of hypermodules has been studied by Massouros [32]. He concentrated on the kind of hypermodules over Krasner hyperrings. In particular, the relationships between the fuzzy sets and algebraic hyperstructures have been considered by Ameri, Cristea, Corsini, Davvaz, Leoreanu, Vougiouklis, Zhan and many other researchers. The reader is referred to [5, 11, 12, 15, 23, 37], [40]-[43]. The concept of Γ-rings was introduced by Barnes [6]. After that, this concept was discussed further by some researchers. The notion of fuzzy ideals in a Γ-ring was introduced by Jun and Lee in [21]. They studied some preliminary properties of fuzzy ideals of Γ-rings. Jun [19] defined fuzzy prime ideals of a Γ-ring and obtained a number of characterizations for a fuzzy ideal to be a fuzzy prime ideal. In particular, Dutta and Chanda [17] studied the structures of the set of fuzzy ideals of a Γ-ring. Ma et al. [24, 25] considered the characterizations of Γ-hemirings and Γ-rings, respectively. The notion of a Γ-module was introduced by Ameri et al. in [4]. They studied some preliminary properties of Γ-modules. Recently, some Γ-hyperstuctures have been studied by some researchers. Ameri et al. [3] considered the concept of fuzzy hyperideals of Γ-hyperrings. By a different way of [3], Yin et al. [36] investigated some new results on Γ-hyperrings. Ma et al. [26] considered the (fuzzy) isomorphism theorems of Γ-hyperrings. In the same time, Davvaz et al. [14, 16] considered the properties of Γ-hypernear-rings and Γ-H v -rings, respectively. After the introduction of fuzzy sets by Zadeh [38], there have been a number of generalizations of this fundamental concept. A new type of fuzzy subgroup, that is, the (, q)-fuzzy subgroup, was introduced in an earlier paper of Bhakat and Das [7] by using the combined notions of belongingness and quasicoincidence of fuzzy points and fuzzy sets. In fact, the (, q)- fuzzy subgroup is an important generalization of Rosenfeld s fuzzy subgroup. It is now natural to investigate similar type of generalizations of the existing fuzzy subsystems with other algebraic structures, see [12, 15, 42].
Fuzzy soft Γ-hypermodules 15 In [39], the first author of this paper introduced the concept of Γ-hyperrmodules and investigated some related properties. As a continuation of this paper, we introduce the concept of ( γ, γ q δ )-fuzzy soft Γ-subhypermodules of Γ- hypermodules in the present paper. Some characterizations are investigated. In particular, we obtain a kind of new Γ-hypermodules by congruence relations. 2. Preliminaries A quasicanonical hypergroup (not necessarily commutative) is an algebraic structure (H, +) satisfying the following conditions: (i) for every x, y, z H, x + (y + z) = (x + y) + z; (ii) there exists a 0 H such that 0 + x = x, for all x H; (iii) for every x H, there exists a unique element x H such that 0 (x + x ) (x + x). (we call the element x the opposite of x); (iv) z x + y implies y x + z and x z y. Quasicanonical hypergroups are also called polygroups. We note that if x H and A, B are non-empty subsets in H, then by A + B, A + x and x + B we mean that A + B = a + b, A + x = A + x a A,b B and x + B = x + B, respectively. Also, for all x, y H, we have ( x) = x, 0 = 0, where 0 is unique and (x + y) = y x. A sub-hypergroup A H is said to be normal if x + A x A for all x H. A normal sub-hypergroup A of H is called left (right) hyperideal of H if xa A (Ax A respectively) for all x H. Moreover A is said to be a hyperideal of H if it is both a left and a right hyperideal of H. A canonical hypergroup is a commutative quasicanonical hypergroup. Definition 2.1. [22] A hyperring is an algebraic structure (R, +, ), which satisfies the following axioms: (1) (R, +) is a canonical hypergroup; (2) Related to the multiplication, (R, ) is a semigroup having zero as a bilaterally absorbing element, that is, 0 x = x 0 = 0 for all x R; (3) The multiplication is distributive with respect to the hyperoperation + that is, z (x + y) = z x + z y and (x + y) z = x z + y z for all x, y, z R. Definition 2.2. [3, 36] Let (R, ) and (Γ, ) be two canonical hypergroups. Then R is called a Γ-hyperring, if the following conditions are satisfied for all x, y, z R and for all α, β Γ, (1) xαy R; (2) (x y)αz = xαz yαz, xα(y z) = xαy xαz; (3) xα(yβz) = (xαy)βz. Definition 2.3. [26] A fuzzy set µ of a Γ-hyperring R is called a fuzzy Γ- hyperideal of R if the following conditions hold: (1) minµ(x), µ(y) inf µ(z), for all x, y R; z x+y
16 Jianming Zhan, V. Leoreanu-Fotea, Thomas Vougiouklis (2) µ(x) µ( x), for all x R; (3) maxµ(x), µ(y) µ(xαy), for all x, y R and for all α Γ. (4) µ(x) inf µ(z), for all x, y R. z y+x+y In [39], we introduced the concept of Γ-hypermodules as follows. Definition 2.4. [39] Let (R,, Γ) be a Γ-hyperring and (M, ) be a canonical hypergroup. M is called a Γ-hypermodule over R if there exists f : R Γ M M (the image of (r, α, m) being denoted by rαm) such that for all a, b R, m 1, m 2 M, α, β Γ, we have (1) aα(m 1 m 2 ) = aαm 1 aαm 2 ; (2) (a b)αm 1 = aαm 1 bαm 1 ; (3) a(α β)m 1 = aαm 1 aβm 1 ; (4) (aαb)βm 1 = aα(bβm 1 ). Throughout this paper, R and M is a Γ-hyperring and Γ-hypermodule, respectively, unless otherwise specified. A subset A in M is said to be a Γ-subhypermodule of M if it satisfies the following conditions: (1) (A, ) is a subhypergroup of (M, ); (2) rαx A, for all x R, α Γ and x A. A Γ-subhypermodule A of M is called normal if x + A x A, for all x M. Definition 2.5. [39] If M and M are Γ-hypermodules, then a mapping f : M M such that f(x y) = f(x) f(y) and f(rαx) = rαf(x), for all r R, α Γ and x M, is called a Γ-hypermodule homomorphism. Clearly, a Γ-hypermodule homomorphism f is an isomorphism if f is injective and surjective. We write M = M if M is isomorphic to M. If A is a normal Γ-subhypermodule of M, then we define the relation A by M. x y(moda) (x y) A. This relation is denoted by xa y. If A is a normal Γ-subhypermodule of M, then [M : A ] = A [x] x Define a hyperoperation and an operation α on [M : A ] by A [x] A [y] = A [z] z A [x] A [y], A [x] α A [y] = A [xαy], for all r R, α Γ and x M. Then ([M : A ],, α ) is a Γ-hypermodule, see [39]. 3. Fuzzy soft sets A fuzzy set µ of M of the form t( 0) if y = x, µ(y) = 0 if y x,
Fuzzy soft Γ-hypermodules 17 is said to be a fuzzy point with support x and value t and is denoted by x t. A fuzzy point x t is said to belong to (to be quasi coincident with ) a fuzzy set µ, written as x t µ (x t qµ respectively) if µ(x) t (µ(x) + t > 1 respectively). If x t µ or x t q µ, then we write x t qµ. If µ(x) < t (µ(x) + t 1), then we say that x t µ ( x t q µ respectively). We note here that the symbol q means that q does not hold. Let γ, δ [0, 1] be such that γ < δ. For a fuzzy point x t and µ of X, we say (1) x t γ µ if µ(x) t > γ. (2) x t q δ µ if µ(x) + t > 2δ. (3) x t γ q δ µ if x t γ µ or x t q δ µ. (4) x t γ q δ µ if x t γ µ or x t q δ µ. Molodtsov [33] defined a soft set in the following way: let U be an initial universe set, E be a set of parameters and A E. A pair (F, A) is called a soft set over U, where F is a mapping given by F : A P(U). In other words, a soft set over U is a parameterized family of subsets of the universe U. For ε A, F (ε) may be considered as the set of ε-approximate elements of the soft set (F, A). Definition 3.1. [27] Let U be an initial universe set, E a set of parameters and A E. Then ( F, A) is called a fuzzy soft set over U, where F is a mapping given by F : A F(U). In general, for every x A, F (x) is a fuzzy set in U and it is called fuzzy value set of parameter x. If for every x A, F (x) is a crisp subset of U, then ( F, A) is degenerated to the standard soft set. Thus, from the above definition, it is clear that fuzzy soft sets are a generalization of standard soft sets. Let A E and F F(U). We define a fuzzy soft set ( F, A) by F [α] = F for all α A. For any fuzzy point x t in U, we define a fuzzy soft set ( x t, A) by x t [α] = x t for all α A. The notions of AND, OR and bi-intersection operations of fuzzy soft sets can be found in [2, 28]. Now, we introduce an ordered relation q (γ,δ) on the set of all fuzzy soft sets over U. For two fuzzy soft sets ( F, A) and ( G, B) over U, by ( F, A) q (γ,δ) ( G, B) we mean that A B and x t γ F [α] xt γ q δ G[α] for all α A, x U and t (γ, 1]. Definition 3.2. For two fuzzy soft sets ( F, A) and ( G, B) over U, we say that ( F, A) is an ( γ, γ q δ )-fuzzy soft subset of ( G, B), if ( F, A) q (γ,δ) ( G, B). ( F, A) and ( G, B) are said to be ( γ, γ q δ )-equal if ( F, A) q (γ,δ) ( G, B) and ( G, B) q (γ,δ) ( F, A). This is denoted by ( F, A) = (γ,δ) ( G, B).
18 Jianming Zhan, V. Leoreanu-Fotea, Thomas Vougiouklis The following two lemmas are straightforward. Lemma 3.3. Let ( F, A) and ( G, B) be two fuzzy soft sets over U. Then ( F, A) q (γ,δ) ( G, B) if and only if max G[α](x), γ min F [α](x), δ for all α A and x U. Lemma 3.4. Let ( F, A), ( G, B) and ( H, C) be fuzzy soft sets over U such that ( F, A) q (γ,δ) ( G, B) and ( G, B) q (γ,δ) ( H, C). Then ( F, A) q (γ,δ) ( H, C). It follows from Lemmas 3.3 and 3.4 that = (γ,δ) is an equivalence relation on the set of all fuzzy soft sets over U. Now, let us define some operations of fuzzy subsets of M. Definition 3.5. Let µ, ν F(M) and α Γ. We define the fuzzy subsets µ, µ ν and µ@ν by ( µ)(x) = µ( x), and (µ@ν)(x) = (µ ν)(x) = sup minµ(y), ν(z) x y z sup minµ(y), ν(z) if y, z M such that x = yαz, x=yαz 0 otherwise, respectively, for all x M and α Γ. Definition 3.6. Let ( F, A) and ( G, B) be two fuzzy soft sets over M. The sum of ( F, A) and ( G, B), denoted by ( F, A) ( G, B), is defined to be the fuzzy soft set ( F, A) ( G, B) = ( F G, C) over U, where C = A B and ( F G)[α](x) = for all α C and x M. F [α](x) if α A B, G[α](x) if α B A, ( F [α] G[α])(x) if α A B, Definition 3.7. Let ( F, A) and ( G, B) be two fuzzy soft sets over M. The α-product of ( F, A) and ( G, B), denoted by ( F, A)@( G, B), is defined to be fuzzy soft set ( F, A)@( G, B) = ( F @ G, C) over U, where C = A B and ( F @ G)[α](x) = for all α C and x M. F [α](x) if α A B, G[α](x) if α B A, ( F [α]@ G[α])(x) if α A B, 4. ( γ, γ q δ )-fuzzy soft Γ-subhypermodules In this section, we concentrate our study on the ( γ, γ q δ )-fuzzy soft Γ- subhypermodules of Γ-hypermodules.
Fuzzy soft Γ-hypermodules 19 Definition 4.1. A fuzzy soft set ( F, A) over M is called an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M if for all α A, t, s (γ, 1], r R, λ Γ and x M: (F1a) x t γ F [α] and ys γ F [α] imply that zmint,s γ q δ F [α] for all z x y; (F2a) x t γ F [α] implies that ( x)t γ q δ F [α]; (F3a) x t γ F [α] implies that (rλx)t γ q δ F [α]. Clearly, if for each α A, F [α] is a constant map, that is r [0, 1] : F [α](u) = r, for all u M, then ( F, A) is a fuzzy soft set over M. Examples 4.2. Let us consider the ring R = Z 2, Γ = and let A be a nonempty set. Moreover, let L be a modular lattice with 0. If we define the next hyperoperation on L : x y = z z y = z x = x y, then (L, ) is a canonical hypergroup, in which the scalar identity is 0 and the opposite of any element x of L is just x. (see [10], page 129). For all α A, we impose that the fuzzy set F [α] satisfies the following conditions: x, y L, F [α](x y) = F [α](x) F [α](y) and F [α](0) = 1. Define ˆ1 x = x and ˆ0 x = 0 L. The conditions (F1a), (F2a) and (F3a) of the above definition hold. Indeed, if z x y, then F [α](z) F [α](x) F [α](y) = F [α](x) F [α](z) = F [α](y) F [α](z) mint, s, whence we obtain (F1a). (F2a) is clearly satisfied since x L, x = x. For the third condition, we use that F [α](0) = 1. Therefore ( F, A) is a ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of L. Lemma 4.3. Let ( F, A) be a fuzzy soft set over M. Then (F1a) holds if and only if one of the following conditions holds: for all α A and x, y M, (F1b) max F [α](z), γ min F [α](x), F [α](y), δ; inf z x y (F1c) ( F, A) ( F, A) q (γ,δ) ( F, A). Proof. (F1a) (F1b) Let α A and x, y M. Suppose that the following situation is possible: z M is such that z x y and max F [α](z), γ < t = min F [α](x), F [α](y), δ. Then F [α](x) t, F [α](y) t, F [α](z) < t δ, hence x t, y t γ F [α] and zt γ q δ F [α], a contradiction. Hence (F1b) is valid. (F1b) (F1c) Let α A, t (γ, 1] and x M be such that x t γ ( F F )[α]. Suppose that x t γ q δ F [α]. Then xt γ F [α] and xt q δ F [α], i.e.,
20 Jianming Zhan, V. Leoreanu-Fotea, Thomas Vougiouklis F [α](x) < t and F [α](x) + t 2δ which implies that F [α](x) < δ. If x y z for some y, z M, by (F1b), then we have max F [α](x), γ min F [α](y), F [α](z), δ. From F [α](x) < δ it follows that max F [α](x), γ min F [α](y), F [α](z). Hence we have r ( F F )[α](x) = sup min F [α](a), F [α](b) x a b sup max F [α](x), γ = max F [α](x), γ, x a b a contradiction. Hence (F1c) is satisfied. (F1c) (F1a) Let α A, t, s (γ, 1] and x, y M be such that x t, y s γ F [α]. Then for any z x y, we have ( F F )[α](z) = sup min F [α](a), F [α](b) z a b min F [α](x), F [α](y) mint, s > γ. Hence z mint,s γ ( F F )[α] and so z mint,s q F [α] by (F1c). Thus (F1a) holds. For any fuzzy soft set ( F, A) over M, denote by ( F 1, A) the fuzzy soft set defined by F 1 [α](x) = F [α]( x) for all α A and x M. Lemma 4.4. Let ( F, A) be a fuzzy soft set over M. Then (F2a) holds if and only if one of the following conditions hold: for all α A and x R, (F2b) max F [α]( x), γ min F [α](x), δ; (F2c) ( F, A) q (γ,δ) ( F 1, A). Proof. It is similar to the proof of Lemma 4.3. Lemma 4.5. Let ( F, A) be a fuzzy soft set over M. Then (F3a) holds if and only if one of the following conditions hold: for all α A, r R, λ Γ and x M, (F3b) max F [α](rλx), γ min F [α](x), δ; (F3c) ( χ M, A)@( F, A) q (γ,δ) ( F, A). Proof. It is similar to the proof of Lemma 4.3. From the above discussion, we can immediately obtain the following two theorems: Theorem 4.6. A fuzzy soft set ( F, A) over M is an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M if and only if it satisfies (F1b), (F2b) and (F3b). Theorem 4.7. A fuzzy soft set ( F, A) over M is an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M if and only if it satisfies (F1c), (F2c) and (F34c).
Fuzzy soft Γ-hypermodules 21 For any fuzzy soft set ( F, A) over M, α A and t [0, 1], we define F [α] t = x M x t γ F [α], F [α] δ t = x M x t q δ F [α] and [ F [α]] δ t = x M x t q F [α]. It is clear that [ F [α]] δ t = F [α] t F [α] δ t. The next theorem provides a relationships between ( γ, γ q δ )-fuzzy soft Γ-subhypermodules of M and crisp Γ-subhypermodules of M. Theorem 4.8. Let ( F, A) be a fuzzy soft set over M. Then (1) ( F, A) is an ( γ, γ q δ )-fuzzy Γ-subhypermodule of M if and only if the non-empty set F [α] t is a Γ-subhypermodule of M for all α A and t (γ, δ]. (2) If 2δ = 1+γ, then ( F, A) is an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M if and only if the non-empty set F [α] δ t is a Γ-subhypermodule of M for all α A and t (δ, 1]. (3) If 2δ = 1+γ, then ( F, A) is an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M if and only if the non-empty set [ F [α]] δ t is a Γ-subhypermodule of M for all α A and t (γ, 1]. Proof. We show only (3). The proofs of (1) and (2) are similar. Let ( F, A) be an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M and x, y [ F [α]] δ t for some α A and t (γ, 1]. Then x t γ q δ F [α] and yt γ q δ F [α], i.e., F [α](x) t or F [α](x) > 2δ t > 2δ 1 = γ, and F [α](y) t or F [α](y) > 2δ t > 2δ 1 = γ. Since ( F, A) is an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M and min F [α](x), F [α](y), δ > γ, we have F [α](z) min F [α](x), F [α](y), δ for all z x y. We consider the following cases: Case 1: t (γ, δ]. Since t (γ, δ], we have 2δ t δ t. Case 1a: F [α](x) t or F [α](y) t. Then F [α](z) min F [α](x), F [α](y), δ t. Hence z t γ F [α]. Case 1b: F [α](x) > 2δ t and F [α](y) > 2δ t. Then F [α](z) min F [α](x), F [α](y), δ = δ t. Hence z t γ F [α]. Case 2: t (δ, 1]. Since t (δ, 1], we have 2δ t < δ < t. Case 2a: F [α](x) t and F [α](y) t. Then F [α](z) min F [α](x), F [α](y), δ = δ, and so f(z) + t t + δ > 2δ. Hence z t q δ F [α]. Case 2b: F [α](x) > 2δ t or F [α](y) > 2δ t. Then F [α](z) min F [α](x), F [α](y), δ > 2δ t. Hence z t q δ F [α]. Thus in any case, z t γ q δ F [α], i.e., z [ F [α]] δ t for all z x y. Similarly we can show that the other conditions hold. Therefore, [ F [α]] δ t is a Γ-subhypermodule of M. Conversely, assume that the given condition holds. Let α A and x, y M. If there exists z M such that z x y and max F [α](z), γ < t = min F [α](x), F [α](y), δ, then F [α](x) t, F [α](y) t, F [α](z) < t δ, i.e., x t, y t F [α] but z t γ q δ F [α]. Hence x, y [ F [α]] δ t but z [ F [α]] δ t, a
22 Jianming Zhan, V. Leoreanu-Fotea, Thomas Vougiouklis contradiction. Therefore, max F [α](z), γ min F [α](x), F [α](y), δ for all z x y. This proves that (F1b) holds. Similarly we can show that (F2b) and (F3b) hold. Therefore, ( F, A) is an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M by Theorem 4.6. Remark 4.9. For any ( γ, γ q δ )-fuzzy soft Γ-subhypermodule ( F, A) of M, we can conclude that (1) F [α] is a fuzzy Γ-subhypermodule of M, for all α A when γ = 0 and δ = 1; (2) ( F, A) is an (, q)-fuzzy soft Γ-subhypermodule of M when γ = 0, δ = 0.5. Theorem 4.10. Let ( F, A) and ( G, B) be two ( γ, γ q δ )-fuzzy soft Γ- subhypermodules of M. Then ( F, A) ( G, B) is an ( γ, q)-fuzzy soft Γ-subhypermodule of M if and only if ( F, A) ( G, B) = (γ,δ) ( G, B) ( F, A). Proof. If ( F, A) ( G, B) = (γ,δ) ( G, B) ( F, A), then (( F, A) ( G, B)) (( F, A) ( G, B)) = ( F, A) (( G, B) ( F, A)) ( G, B) = (γ,δ) ( F, A) (( F, A) ( G, B)) ( G, B) = (( F, A) ( F, A)) (( G, B) ( G, B)) q (γ,δ) ( F, A) ( G, B). Hence (( F, A) ( G, B)) (( F, A) ( G, B)) q (γ,δ) ( F, A) ( G, B). This proves that (F1c) holds. Let α A B and x R. We have the following situations: Case 1: α A B. Then max( F G)[α]( x), γ = max F [α]( x), γ min F [α](x), δ = min( F G)[α](x), δ Case 2: α B A. Analogous to case 1, we have max( F G)[α]( x), γ min( F G)[α](x), δ.
Case 3: α A B. max( F G)[α]( x), γ = max Fuzzy soft Γ-hypermodules 23 sup min F [α](a), G[α](b), γ x a b = sup min x ( a) ( b) sup x ( a) ( b) = min max F [α](a), γ, max G[α](b), γ min min F [α](a), δ, min G[α](b), δ sup x ( a) ( b) = min ( F G)[α](x), δ. min F [α](a), G[α](b), δ Thus, in any case, max( F G)[α]( x), γ min( F G)[α](x), δ. This proves that (F2b) holds. Similarly, we can prove that (F3b) and (F4b) hold. Therefore, ( F, A) ( G, B) is an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M. Conversely, assume that ( F, A) ( G, B) is an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M. Let α A B. We have the following situations: Case 1: α A B. Then ( F G)[α] = F [α] = ( G F )[α]. Case 2: α B A. Then ( F G)[α] = G[α] = ( G F )[α]. Case 3: α A B. Then for any x M, max( F G)[α](x), γ maxmin( F G)[α]( x), δ, γ = minmax( F G)[α]( x), γ, δ = min max = min min = min sup x b a sup x b a sup min F [α](a), G[α](b), γ x a b min max sup x b a = min ( G F )[α](x), δ., δ F [α](a), γ, max G[α](b), γ, δ min min F [α]( a), δ, min G[α]( b), δ, δ min F [α]( a), G[α]( b), δ It follows that maxmin( F G)[α](x), δ, γ maxmin( G F )[α](x), δ, γ. In a similar way, we have maxmin( G F )[α](x), δ, γ maxmin( F G)[α](x), δ, γ. Thus, in any case, we have ( F, A) ( G, B) = (γ,δ) ( G, B) ( F, A), as required. The following proposition is obvious.
24 Jianming Zhan, V. Leoreanu-Fotea, Thomas Vougiouklis Proposition 4.11. If ( F, A) is an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M, then ( F, A) ( x 1, A) = (γ,δ) ( x 1, A) ( F, A) for all x M. If ρ is an equivalence relation on a Γ-hypermodule M, then we say that AρB if it satisfies the following conditions: (1) x A, y B, such that xρy; (2) b B, a A, such that aρb. Definition 4.12. An equivalence relation ρ on M is said to be a congruence relation on M if for any r R, x, y, z M and α Γ, we have xρy x zρy z, z xρz y, rαxρrαy. Theorem 4.13. Let ( F, A) be an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M, α A and t [γ, min F [α](0), δ). Define a relation F [α] t on M by x F [α] t y min( x 1 F )[α](y), δ > t, for all x, y M. Then F [α] r is a congruence relation on M. Proof. Let ( F, A) be an ( γ, q)-fuzzy soft Γ-subhypermodule of M, α A and t [γ, min F [α](0), δ). Then we have (1) F [α] t is reflexive on M. In fact, for any x M, we have min( x 1 F [α])(x), δ = min sup x x a F [α](a), δ min F [α](0), δ > t. Hence x F [α] t x, and so F [α] t is reflexive. (2) F [α] t is symmetric on M by Proposition 4.11. (3) F [α] t is transitive on M. In fact, let x, y, z M be such that x F [α] t y and y F [α] rz. Then min( x 1 F )[α](y), δ > t and min(ỹ 1 F )[α](z), δ > t. From ( F, A) F, A) q (γ,δ) ( F, A), we have, and so ( x 1, A) ( F, A) ( F, A) q (γ,δ) ( x 1, A) ( F, A) min( x 1 F )[α](z), δ min( x 1 F F )[α](z), δ = min sup min( x 1 F )[α](a), (ã 1 F )[α](z), δ a M min ( x 1 F )[α](y), (ỹ 1 F )[α](z), δ >t.
Fuzzy soft Γ-hypermodules 25 It follows that min( x 1 F )[α](z), δ > t since t γ, i.e., x F [α] t z. Hence F [α] t is transitive. From the above arguments, it follows that F [α] t is an equivalence relation on M. Next let x, y, z, a M be such that x F [α] ry and a x z. Then. From Proposition 4.11, we have min(ỹ 1 F )[α](x), δ > t min(ỹ z) 1 F )[α](a), δ = min(ỹ 1 z 1 F )[α](a), δ = min(ỹ 1 F z 1 )[α](a), δ = min sup min(ỹ 1 F )[α](b), ( b 1 z 1 )[α](a), δ b M min (ỹ 1 F )[α](x), ( x 1 z 1 )[α](a), δ = min(ỹ 1 F )[α](x), δ > t. Hence there exists c M such that c y z and min( c 1 F )[α](a), δ > t, i.e., a F [α] t c. Similarly, if d y z for some d M, then there exists e M such that d x z and d F [α] t e. Hence. In a similar way, we have x z F [α] t y z z x F [α] t z y. Finally, let r R, x, y M, α A, λ Γ be such that. Then x F [α] t y min(ỹ 1 F )[α](x), δ > t. From Proposition 4.11, we have min( x 1 F )[α](a), δ = min sup = min >t, y x a min F [α](a), δ sup min F [α](b), δ b R
26 Jianming Zhan, V. Leoreanu-Fotea, Thomas Vougiouklis and so, min( (rλx) 1 F )[α](rλy), δ = min sup min F [α](a), δ rαy rαx a = min F [α](rλb), δ = min min F [α](b), δ that is, >t, rλx F [α] t rλy. Therefore, F [α] t is a congruence relation on M. This completes the proof. Let F [α] t [x] be the equivalence class containing the element x. We denote by M/ F [α] t the set of all equivalence classes, i.e., M/ F [α] t = F [α] t [x] x M. Since F [α] t is a congruence relation on M, we can easily deduce the following theorem. bf Theorem 4.14. Let ( F, A) be an ( γ, γ q δ )-fuzzy soft Γ-subhypermodule of M, α A, λ Γ and t [γ, min F [α](0), δ). Then (M/ F [α] t,, Γ) is a Γ-hypermodule, where: F [α] t [x] F [α] t [y] = F [α] t [z] z x yand rλ F [α] t [x] = F [α] t [rλx], for all r R, x, y M, α A and λ Γ. 5. Conclusions In this paper, we consider the ( γ, γ q δ )-fuzzy soft Γ-subhypermodules of Γ-hypermodules. In particular, we obtain a kind of new Γ-hypermodules by congruence relations. In a future study of fuzzy structure of Γ-hypermodules, the following topics could be considered: (1) To consider the fuzzy rough Γ-hypermodules; (2) To establish three fuzzy isomorphism theorems of Γ-hypermodules. (3) To describe the rough soft Γ-hypermodules and their applications. Acknowledgements The authors are extremely grateful to the referees for giving them many valuable comments and helpful suggestions which helps to improve the presentation of this paper.
Fuzzy soft Γ-hypermodules 27 The research is partially supported by a grant of the National Natural Science Foundation of China (60875034); a grant of the Innovation Term of Education Committee of Hubei Province, China (T201109) and also the support of the Natural Science Foundation of Hubei Province, China (2009CDB340). R E F E R E N C E S [1] U. Acar, F. Koyuncu, B. Tanay, Soft sets and soft rings, Comput. Math. Appl. 59 (2010) 3458-3463. [2] M. I. Ali, F. Feng, X. Liu, W.K. Min, M. Shabir, On some new operations in soft set theory, Comput. Math. Appl. 57 (9) (2009) 1547-1553. [3] R. Ameri, H. Hedayati, A. Molaee, On fuzzy hyperideals of Γ-hyperrings, Iran J. Fuzzy Systems, 6(2009) 47-60. [4] R. Ameri, R. Sadeghi, Gamma modules, Ratio Math. 20(2010) 127-147. [5] S.M. Anvariyeh, B. Davvaz, Strongly transitive geometric spaces associated to hypermodules, Journal of Algebra 322 (2009) 1340-1359. [6] W.E. Barbes, On the Γ-rings of Nobusawa, Pacific J. Math. 18(1966) 411-422. [7] S. K. Bhakat, P. Das, (, q)-fuzzy subgroups, Fuzzy Sets and Systems 80(1996) 359 368. [8] D. Chen, E.C.C. Tsang, D.S. Yeung, X. Wang, The parameterization reduction of soft sets and its applications, Comput. Math. Appl. 49 (2005) 757-763. [9] P. Corsini, Prolegomena of Hypergroup Theory, Aviani Editore, second edition, 1993. [10] P. Corsini, V. Leoreanu, Applications of hyperstructure theory, Advances in Mathematics, Kluwer Academic Publishers, Dordrecht, 2003. [11] I. Cristea, B. Davvaz, Atanassov s intuitionistic fuzzy grade of hypergroups, Inform. Sci. 180(2010) 1506-1517. [12] B. Davvaz, P. Corsini, Redefined fuzzy H v -submodules and many valued implications, Inform. Sci. 177(2007) 865-875. [13] B. Davvaz, V. Leoreanu-Fotea, Hyperrings Theory and Applications, Int. Acad. Press, USA, 2007. [14] B. Davvaz, J. Zhan, K.H. Kim, Fuzzy Γ-hypernear-rings, Comput. Math. Appl. 59(2010) 2846-2853. [15] B. Davvaz, J, Zhan, K.P. Shum, Generalized fuzzy H v -submodules endowed with interval valued membership functions, Inform. Sci. 178(15) (2008) 3147-3159. [16] B. Davvaz, J. Zhan, Y. Yin, Fuzzy H v -ideals in Γ-H v -rings, Comput. Math. Appl. 61(2011) 690-698. [17] T.K. Dutta, T. Chanda, Structures of fuzzy ideals of Γ-rings, Bull. Malays. Math. Sci. Soc. 28(1) (2005) 9-15. [18] F. Feng, Y.B. Jun, X. Liu, L. Li, An adjustable approach to fuzzy soft set based decision making, J. Comput. Appl. Math. 234 (1) (2010) 10-20. [19] Y.B. Jun, On fuzzy prime ideals of Γ-rings, Soochow J. Math. 21(1)(1995) 41-48. [20] Y.B. Jun, Soft BCK/BCI-algebras, Comput. Math. Appl. 56 (2008) 1408-1413. [21] Y.B. Jun, C.Y. Lee, Fuzzy Γ-rings, Pusan Kyongnam Math. J.(now, East Asian Math.J.) 8(2)(1992) 163-170. [22] M. Krasner, A class of hyperring and hyperfields, Int. J. Math. Math. Sci. 2(1983) 307-312. [23] V. Leoreanu-Fotea, Fuzzy hypermodules, Comput. Math. Appl. 57(2009) 466-475. [24] X. Ma, J. Zhan, Fuzzy h-ideals in h-hemiregular and h-semisimple Γ-hemirings, Neural Comput. Appl. 19(2010) 477-485. [25] X. Ma, J. Zhan, Y.B. Jun, Some characterizations of regular and semisimple Γ-rings, Kyungpook Math. J. 50(2010) 411-417.
28 Jianming Zhan, V. Leoreanu-Fotea, Thomas Vougiouklis [26] X. Ma, J. Zhan, V. Leoreanu-Fotea, On (fuzzy) isomorphism theorems of Γ-hyperrings, Comput. Math. Appl. 60(2010) 2594-2600. [27] P.K. Maji, R. Biswas, A.R. Roy, Fuzzy soft sets, J. Fuzzy Math. 9 (3) (2001) 589-602. [28] P.K. Maji, R. Biswas, A.R. Roy, Soft set theory, Comput. Math. Appl. 45 (4-5) (2003) 555-562. [29] P.K. Maji, A.R. Roy, R. Biswas, An application of soft sets in a decision making problem, Comput. Math. Appl. 44 (2002) 1077-1083. [30] P. Majumdar, S.K. Samanta, Generalized fuzzy soft sets, Comput. Math. Appl. 59 (4) (2010) 1425-1432. [31] F. Marty, Sur une generalization de la notion de groupe, in: 8th Congress Math. Scandianaves, Stockholm, 1934, pp. 45-49. [32] C. G. Massouros, Free and cyclic hypermodules, Ann. Mat. Pure Appl. 150(5) (1998) 153-166. [33] D. Molodtsov, Soft set theory-first results, Comput. Math. Appl. 37 (4-5) (1999) 19-31. [34] Z. Pawlak, Rough sets, Int. J. Inform. Comput. Sci. 11 (1982) 341-356. [35] T. Vougiouklis, Hyperstructures and their Representations, Hadronic Press Inc., Palm Harbor, USA, 1994. [36] Y. Yin, B. Davvaz, J. Zhan, A fuzzy view of Γ-hyperrings, Neural Comput & Applic, 2011, Doi. 10. 1007/s00521-010-0509-Y. [37] Y. Yin, J. Zhan, D. Xu, J. Wang, The L-fuzzy hypermodules, Comput. Math. Appl. 59(2010) 953-963. [38] L. A. Zadeh, Fuzzy sets, Inform. Control 8 (1965) 338-353. [39] J. Zhan, I. Cristea, Γ-hypermodules: Isomorphism theorems and Regular relations, submitted for publication. [40] J. Zhan, B. Davvaz, K.P. Shum, Isomorphism theorems of hypermodules, Acta Math. Sinica (Chinese Ser.) 50(2007) 909-914. [41] J. Zhan, B. Davvaz, K.P. Shum, On fuzzy isomorphism theorems of hypermodules, Soft Comput. 11(2007) 1053-1057. [42] J. Zhan, B. Davvaz, K. P. Shum, A new view of fuzzy hypermodules, Acta Math. Sinica (English Ser.) 23(2007) 1345-1356. [43] J. Zhan, B. Davvaz, K. P. Shum, On probabilistic n-ary hypergroups, Inform. Sci. 180(2010) 1159-1166. [44] J. Zhan, Y.B. Jun, Soft BL-algebras based on fuzzy sets, Comput. Math. Appl. 59(2010) 2037-2046.