Fuzzy soft set approach to ideal theory of regular AG-groupoids

Transcription

1 DOI: /auom An. Şt. Univ. Ovidius Constanţa Vol. 24(1),2016, Fuzzy soft set approach to ideal theory of regular AG-groupoids Feng Feng, Madad Khan, Violeta Leoreanu-Fotea, aima Anis and Nadeem Ajaib Abstract This paper aims to apply fuzzy sets and soft sets in combination to investigate algebraic properties of regular AG-groupoids. We initiate ( γ, γ q δ )-fuzzy soft left ideals (right ideals, bi-ideals and quasiideals) over AG-groupoids and explore some related properties. Moreover, we give a number of characterizations for regular AG-groupoids by virtue of various types of fuzzy soft ideals over them. 1 Introduction Uncertainty plays an essential role in the real world. In various fields such as data analysis, pattern recognition, expert systems and intelligent decision making, it has been found that mathematical models based on classical sets might not be suitable for dealing with problems containing vagueness and uncertainty. Also it is worth noting that uncertainties emerging from miscellaneous domains are very distinct and cannot be captured within a unique framework. In response to this, a number of useful mathematical theories such as probability theory, fuzzy sets [1], rough sets [2] and interval mathematics [3] have been developed. Molodtsov s soft set theory [4] is a relatively new mathematical model for coping with uncertainty from a parametrization point of view. In mathematical modelling, sometimes it is impossible to find an exact solution of Key Words: Groupoid, AG-groupoid, oft set, Fuzzy set, Ideal Mathematics ubject Classification: Primary 20N02, 03E72; econdary 06D72. Received: December 20, Accepted: January 7,

2 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 264 the model of extremely high complexity. Alternatively, we are interested in finding numerical or approximate solutions. But this process can be done in a reverse way, that is, we can model and manipulate many real-life problems in an approximate way. By means of parameterization, a soft set can produce a series of approximate descriptions for a complicated entity being perceived from different aspects. This is in accordance with the way that humans use to treat uncertain concepts in their daily life. In recent years, soft set theory has been applied to various kinds of algebraic structures [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 17, 15, 16, 18, 19, 20, 21]. But so far as we know, the algebras which have been investigated in virtue of soft sets are all associative, and very little attention has been paid to non-associative algebraic structures in the literature. An Abel-Grassmann s groupoid (or briefly, AG-groupoid) is a nonassociative algebraic structure lies in between a groupoid and a commutative semigroup. If an AG-groupoid contains left identity then this left identity is unique. An AG-groupoid with right identity becomes a commutative semigroup with identity. Moreover, every commutative AG-groupoid becomes a commutative semigroup. In most cases, an AG-groupoid behaves like a commutative semigroup. For instance, a 2 b 2 = b 2 a 2 holds in a commutative semigroup, while this equation also holds for an AG-groupoid with left identity. The aim of this study is to investigate ideal theory of regular AG-groupoids in virtue of fuzzy soft sets. In particular, we will introduce various types of ( γ, γ q δ )-fuzzy soft ideals over AG-groupoids and try to obtain some characterizations for regular AG-groupoids based on algebraic ideal theory of them. 2 AG-Groupoids Let (,.) be a groupoid and a, b, c, d. It is said that is an AG-groupoid, if it satisfies the left invertive law (ab)c = (cb)a. It can be verified that the medial law (ab)(cd) = (ac)(bd) holds in every AG-groupoid. If is an AG-groupoid with left identity e, then = 2 and the paramedial law (ab)(cd) = (db)(ca) holds. Also we have a(bc) = b(ac). (1) Moreover, it is easy to see that every one sided ideal of is a quasi-ideal of. In [22], it shown that L[a] = a a is a principal left ideal of generated by a. Note also that B[a] = a a 2 (a)a is a principal bi-ideal and Q [a] = a (a a) is a principle quasi-ideal of generated by a. A subset B of is called generalized bi-ideal of if (B)B B.

3 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 265 Lemma 1. Let be an AG-groupoid. If a = a(ax) for some x, then there exists y such that a = a 2 y. Proof. Assume that a = a(ax) for some x in. By the medial law, we get a = a(ax) = [a(ax)](ax) = (aa)((ax)x) = a 2 y, where y = (ax)x. Lemma 2. Let be an AG-groupoid with left identity. If a = a 2 x for some x, then a = (ay)a for some y. Proof. uppose that a = a 2 x for some x. Note first that a = a 2 x = (aa)x = ((a 2 x)(a 2 x))x. Then by the left invertive law, and the medial law, it follows that According to Eq. (1), we get and hence ((a 2 x)(a 2 x))x = ((a 2 a 2 )(xx))x = (xx 2 )(a 2 a 2 ). (xx 2 )(a 2 a 2 ) = a 2 ((xx 2 )a 2 ) = (aa)((xx 2 )a 2 ), (aa)((xx 2 )a 2 ) = (((xx 2 )a 2 )a)a = ((aa 2 )(xx 2 ))a, by the left invertive law. But we also have (aa 2 )(xx 2 ) = (x 2 a 2 )(xa) = (x 2 x)(a 2 a), by both the paramedial law and the medial law. This implies that ((aa 2 )(xx 2 ))a = ((x 2 x)(a 2 a))a. Using Eq. (1), the paramedial law and the medial law, we further deduce that ((x 2 x)(a 2 a))a = (a 2 ((x 2 x)a))a = ((aa)((x 2 x)a))a where y = (a(x 2 x))a. = ((a(x 2 x))(aa))a = (a((a(x 2 x))a))a = (ay)a,

4 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 266 Lemma 3. Let be an AG-groupoid with left identity. Then we have (1) (a) a 2 = (a) a. (2) (a) ((a) a) = (a) a. (3) ((a) a) = (a) a. (4) (a) (a) = a (a). (5) (a) (a) = (a) a. (6) (a(a)) = (a)a. (7) ((a))(a) = (a)(a). (8) (a) = (a). (9) (a) = a. (10) a 2 = a 2. Proof. The proof is straightforward and thus omitted. 3 Fuzzy sets and fuzzy soft sets The theory of fuzzy sets [1] provides an efficient framework for mathematical description of uncertain concepts. Recall that a fuzzy subset f of a given set is defined by (and usually identified with) its membership function f : [0, 1]. For x, the membership value f(x) essentially specifies the degree to which x belongs to the fuzzy subset f. By f g, we mean that f(x) g(x) for all x. Clearly f = g if f g and g f. That is, f(x) = g(x) for all x. Let f and g be any fuzzy subsets of an AG-groupoid. Then, the product f g is defined by { {f(b) g(c)}, if there exist b, c with a = bc, (f g) (a) = a=bc 0, otherwise. A fuzzy subset f of defined as { t, if y = x, f(y) = 0, otherwise. is said to be a fuzzy point with support x and value t and is denoted by x t, where t (0, 1]. Let γ, δ [0, 1] with γ < δ, X be a nonempty set and Y X. In the sequel, χ (γ,δ) Y will be used to represent any fuzzy subset of X such that { χ (γ,δ) s, if x Y, Y (x) = t, otherwise,

5 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 267 where s, t are chosen (but fixed) from [0, 1] with s δ and t γ. It is obvious that χ (0,1) Y coincides with the characteristic function χ Y of Y. In what follows, F (X) denotes the set of all fuzzy subsets of X. Let γ, δ [0, 1] with γ < δ, x r be a fuzzy point and f F (X). Then (1) x r γ f if f(x) r > γ. (2) x r q δ f if f(x) + r > 2δ. (3) x r γ q δ f if x r γ f or x r q δ f. For f, g F (X), we write f q (γ,δ) g if x r γ f implies x r γ q δ g for all x X and r (γ, 1]. In addition, f and g are said to be (γ, δ)-equal, denoted by f = (γ,δ) g, if f q (γ,δ) g and g q (γ,δ) f. It is shown in [23] that the (γ, δ)-equal relation is an equivalence relation on F (X). Lemma 4. (see [23]) Let f and g be fuzzy subsets of X. Then f q (γ,δ) g if and only if max{g(x), γ} min{f(x), δ} for all x X. Lemma 5. (see [23]) Let f, g, h F (X). If f q (γ,δ) g and g q (γ,δ) h, then we have f q (γ,δ) h. Note that f = (γ,δ) g if and only if for all x X. max{min{f(x), δ}, γ} = max{min{g(x), δ}, γ} Lemma 6. Let γ, δ [0, 1] with γ < δ, A and B be nonempty subsets of an AG-groupoid with left identity. Then we have (1) A B if and only if χ (γ,δ) A q (γ,δ) χ (γ,δ) B. (2) χ (γ,δ) A χ (γ,δ) B (3) χ (γ,δ) A χ (γ,δ) B (A B). (AB). Proof. The proof is straightforward and thus omitted. oft set theory was proposed by Molodtsov [4] in 1999, which provides a general mechanism for uncertainty modelling in a wide variety of applications. Let U be an initial universe of objects and E U (or simply E) be the set of all parameters associated with objects in U, called a parameter space. In most cases parameters are considered to be attributes, characteristics or properties of objects in U. A pair = (F, A) is called a soft set over U, where A E and F : A P(U) is a set-valued mapping, called the approximate function of the soft set. By means of parametrization, a soft set produces a series of approximate descriptions of a complicated object being perceived from various points of view. It is apparent that a soft set = (F, A) over a universe U can be viewed as a parameterized family of subsets of U. By combining fuzzy sets with soft set, Maji et al. [24] initiated the following hybrid model called fuzzy soft set.

6 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 268 Definition 1. (see [24]) A pair = F, A is called a fuzzy soft set over U, where A E and F is a mapping given by F : A F (U). The mapping F : A F (U) is called the approximate function of the fuzzy soft set F, A. Given two fuzzy soft sets F, A and G, B over U, we say that F, A is a fuzzy soft subset of G, B, denoted F, A G, B, if A B and F (a) is a fuzzy subset of G(a) for all a A. By F, A G, B, we mean that G, B F, A. Moreover, F, A and G, B are said to be equal, denoted F, A = G, B, if F, A G, B and G, B F, A. A fuzzy soft set F, A is an (γ, δ)-fuzzy soft subset of G, B, denoted by F, A (γ,δ) G, B, if A B and for any a A, F (a) q (γ,δ) G(a). The following notions were initially introduced by Ali et al. [25] for Molodtsov s soft sets. Definition 2. (see [23]) Let F, A and G, B be two fuzzy soft sets over U. (1) The extended intersection of F, A and G, B is defined as the the fuzzy soft set H, C = F, A E G, B where C = A B and for all c C, F (c), if c A\B, H (c) = G (c), if c B\A, F (c) G (c), if c A B. (2) The restricted intersection of F, A and G, B is defined as the fuzzy soft set H, C = F, A R G, B, where C = A B and H (c) = F (c) G, B for all c C. Let V be a subset of U and A E. A fuzzy soft set F, A over V is called a relative whole (γ, δ)-fuzzy soft set (with respect to V and A), denoted by Σ(V, A), if F (a) = χ (γ,δ) V for all a A. 4 Fuzzy soft ideals over AG-groupoids From now on, unless stated otherwise, let denote an AG-groupoid. Definition 3. Let F, A and G, B be fuzzy soft sets over. (1) The extended product of F, A and G, B is defined as the the fuzzy soft set H, C = F, A G, B, where C = A B and for all c C, F (c), if c A\B, H (c) = G (c), if c B\A, F (c) G (c), if c A B.

7 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 269 (2) The restricted product of F, A and G, B is defined as the fuzzy soft set H, C = F, A G, B, where C = A B and H (c) = F (c) G, B for all c C. Proposition 1. Let F, A and G, A be fuzzy soft sets over. Then F, A G, A = F, A G, A. Proof. The proof is straightforward and thus omitted. The above assertion says that the extended product operation coincides with the restricted product operation, if the concerned fuzzy soft sets have the same parameter set. Thus for this particular case, we shall use only notation to represent for both operations in what follows. Definition 4. A fuzzy soft set F, A over an AG-groupoid is called a fuzzy soft left (resp. right) ideal over if Σ, A F, A F, A (resp. F, A Σ, A F, A ); a fuzzy soft bi-ideal over if F, A F, A F, A and [ F, A Σ, A ] F, A F, A ; a fuzzy soft generalized bi-ideal over if [ F, A Σ, A ] F, A F, A ; a fuzzy soft quasi-ideal over if [ F, A Σ(, A)] E [Σ(, A) F, A ] F, A. Definition 5. A fuzzy soft set F, A over an AG-groupoid is called an ( γ, γ F, A ; q δ )-fuzzy soft left ideal over if Σ(, A) F, A (γ,δ) an ( γ, γ q δ )-fuzzy soft generalized bi-ideal over if [ F, A Σ(, A)] F, A (γ,δ) F, A ; an ( γ, γ q δ )-fuzzy soft bi-ideal over if F, A F, A (γ,δ) F, A, and [ F, A Σ(, A)] F, A (γ,δ) F, A ; an ( γ, γ q δ )-fuzzy soft quasi-ideal over if [ F, A Σ(, A)] E [Σ(, A) F, A ] (γ,δ) F, A.

8 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 270 Example 1. Let = {1, 2, 3} and define a binary operation on as follows: Then it can be shown that (, ) is an AG-groupoid. Let A = {0.35, 0.4} and F, A be a fuzzy soft set over such that { 2a, if x {1, 2}, F (a)(x) = 0.4, otherwise, where a A and x. Then by definition, F, A is an ( 0.3, 0.3 q 0.4 )- fuzzy soft left ideal over. Next, let B = {0.7, 0.8} and define a fuzzy soft set G, B over as follows: { b, if x {1, 2}, G(b)(x) = 0.4, otherwise, where b B and x. Then it is easy to verify that G, B is an ( 0.2, 0.2 q 0.4 )-fuzzy soft bi-ideal over. Theorem 1. For an AG-groupoid with left identity, the following are equivalent: (i) is regular. (ii) B [a] I [a] L [a] (B [a] I [a]) L [a], for some a in. (iii) For any bi-ideal B, ideal I and left ideal L of, B I L (BI) L. (iv) For any ( γ, γ q δ )-fuzzy soft bi-ideal F, A, ( γ, γ q δ )-fuzzy soft ideal G, A and ( γ, γ q δ )-fuzzy soft left ideal H, B over, we have (v) For any ( γ, γ q δ )-fuzzy soft generalized bi-ideal F, A, ( γ, γ q δ )-fuzzy soft ideal G, A and ( γ, γ q δ )-fuzzy soft left ideal H, B over, we have (vi) For any ( γ, γ q δ )-fuzzy soft generalized bi-ideal F, A, ( γ, γ q δ )-fuzzy soft right ideal G, A and ( γ, γ q δ )-fuzzy soft left ideal H, B of, we have

9 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 271 Proof. (i) (vi) Assume that (i) holds. Let F, A, G, A and H, B be any ( γ, γ q δ )-fuzzy soft bi-ideal, ( γ, γ q δ )-fuzzy soft right ideal and ( γ, γ q δ )-fuzzy soft left ideal over, respectively. Let a be any element of, F, A E G, A E H, B = K 1, A B and ( F, A G, A ) H, B = K 2, A B.For any ɛ A B. We consider the following cases, Case 1: ɛ A B. Then K 1 (ɛ) = F (ɛ) G(ɛ) and K 2 (ɛ) = (F G)(ɛ) o, we have K 1 (ɛ) q (γ,δ) K 2 (ɛ) Case 2: ɛ B A.Then K 1 (ɛ) = H(ɛ) and K 1 (ɛ) = H(ɛ) = K 2 (ɛ) Case 3: ɛ A B.Then K 1 (ɛ) = F (ɛ) G(ɛ) H(ɛ) and K 2 (ɛ) = (F (ɛ) G(ɛ)) H(ɛ). Now we show that F (ɛ) G(ɛ) H(ɛ) q (γ,δ) (F (ɛ) G(ɛ)) H(ɛ). Now since is regular AG-groupoid, so for a there exist x such that using left invertive law and also using law a(bc) = b(ac), we have, a = (ax) a = [{(ax) a}x]a = (ax){(ax) a} = [{(ax)a}x]{(ax)a} Thus we have, = {(xa)(ax)}{(ax)a} = [{(ax)a}(ax)](xa) max {((F (ɛ) G(ɛ)) H(ɛ))(a), γ} { } = max (F (ɛ) G(ɛ))(p) H(ɛ)(q), γ a=pq max{(f (ɛ) G(ɛ))[{(ax)a}(ax)] H(ɛ))(xa), γ} = max{ (F (ɛ)(u) G(ɛ)(v)) H(ɛ)(xa)}, γ} [{(ax)a}(ax)]=uv max {F (ɛ){(ax)a} G(ɛ)(ax) H(ɛ)(xa), γ} = min {max{f (ɛ){(ax)a}, γ}, max{g(ɛ)(ax), γ}, max{h(ɛ)(xa), γ}} min {min{(f (ɛ)(a), δ}, min{g(ɛ))(a), δ}, min{h(ɛ)(a), δ}} = min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} = min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} Thus min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} max {((F (ɛ) G(ɛ)) H(ɛ))(a), γ}. This implies that F (ɛ) G(ɛ) H(ɛ) q (γ,δ) (F (ɛ) G(ɛ)) H(ɛ). Therefore in any case, we have K 1 (ɛ) q (γ,δ) K 2 (ɛ). Hence (vi) (v) is obvious. (v) (iv) is obvious. (iv) (iii)

10 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 272 Assume that B, I and L are bi-ideal, ideal and left ideal of, respectively, then Σ(B, E), Σ(I, E) and Σ(L, E) are ( γ, γ q δ )-fuzzy soft bi-ideal, ( γ, γ q δ )-fuzzy soft ideal and ( γ, γ q δ )-fuzzy soft left ideal over, respectively. Now we have assume that (iv) holds, then we have o, Σ(B, E) E Σ(I, E) E Σ(L, E) (γ,δ) (Σ(B, E) Σ(I, E)) Σ(L, E). χ (γ,δ) (B I L) B χ (γ,δ) I χ (γ,δ) I q (γ,δ) (χ (γ,δ) B BI (BI)L. χ (γ,δ) I ) χ (γ,δ) γl χ (γ,δ) γl Thus B I L (BI)L. (iii) (ii) is obvious. (ii) (i) uppose that B [a] = a a 2 (a) a, I [a] = a a a and L [a] = a a are principle bi-ideal, principle ideal and principle left ideal of generated by a respectively. Thus by (ii), Lemma 3, left invertive law, paramedial law and using law a(bc) = b(ac), we have, ( a a 2 (a) a ) (a a a) (a a) (( a a 2 (a) a ) (a a a) ) Hence is regular. (a a) { (a a a)} (a a) {a (a) (a)} (a a) = (a a) (a a) = (a) a (a) (a) (a) a (a) (a) = a 2 a 2 (a) a (a) a = a 2 (a) a. Theorem 2. For an AG-groupoid with left identity, the following are equivalent: (i) is regular. (ii) L [a] I [a] Q [a] (L [a] I [a]) Q [a], for some a in. (iii) For any left ideal L, ideal I and quasi-ideal Q of, L I Q (LI) Q

11 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 273 (iv) For any ( γ, γ q δ )-fuzzy soft left ideal F, A, ( γ, γ q δ )-fuzzy soft ideal G, A and ( γ, γ q δ )-fuzzy soft quasi-ideal H, B over, we have (v) For any ( γ, γ q δ )-fuzzy soft left ideal F, A, ( γ, γ q δ )-fuzzy soft right ideal G, A and ( γ, γ q δ )-fuzzy soft quasi-ideal H, B over, we have Proof. (i) (v) Assume that F, A, G, A and H, B are ( γ, γ q δ )-fuzzy soft left ideal, ( γ, γ q δ )-fuzzy soft right ideal and ( γ, γ q δ )-fuzzy soft quasi-ideal of a regular AG-groupoid, respectively. Let a be any element of, F, A E G, A H, B = K 1, A B and ( F, A G, A ) H, B = K 2, A B.For any ɛ A B. We consider the following cases, Case 1: ɛ A B. Then K 1 (ɛ) = F (ɛ) G(ɛ) and K 2 (ɛ) = (F G)(ɛ) o, we have K 1 (ɛ) q (γ,δ) K 2 (ɛ) Case 2: ɛ B A.Then K 1 (ɛ) = H(ɛ) and K 1 (ɛ) = H(ɛ) = K 2 (ɛ) Case 3: ɛ A B.Then K 1 (ɛ) = F (ɛ) G(ɛ) H(ɛ) and K 2 (ɛ) = (F (ɛ) G(ɛ)) H(ɛ). Now we show that F (ɛ) G(ɛ) H(ɛ) q (γ,δ) (F (ɛ) G(ɛ)) H(ɛ) Now since is regular, so for a there exist x such that using left invertive law and also using law a(bc) = b(ac), we have, Thus a = (ax) a = [{(ax) a}x]a = {(xa)(ax)}a. max {((F (ɛ) G(ɛ)) H(ɛ))(a), γ} { } = max (F (ɛ) G(ɛ))(p) H(ɛ)(q), γ a=pq max{(f (ɛ) G(ɛ))[(xa)(ax)] H(ɛ))(a), γ} = max{ (F (ɛ)(u) G(ɛ)(v)) H(ɛ)(a)}, γ} (xa)(ax)=uv max {F (ɛ)(xa) G(ɛ)(ax) H(ɛ)(a), γ} = min {max{f (ɛ)(xa), γ}, max{g(ɛ)(ax), γ}, max{h(ɛ)(a), γ}} min {min{(f (ɛ)(a), δ}, min{g(ɛ))(a), δ}, min{h(ɛ)(a), δ}} = min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} = min {(F (ɛ) G(ɛ) H(ɛ))(a), δ}

12 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 274 Thus we deduce min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} max {((F (ɛ) G(ɛ)) H(ɛ))(a), γ}, which implies that F (ɛ) G(ɛ) H(ɛ) q (γ,δ) (F (ɛ) G(ɛ)) H(ɛ). Therefore in any case, we have K 1 (ɛ) q (γ,δ) K 2 (ɛ). Hence (v) (iv) is obvious. (iv) (iii) Assume that L, I and Q are left ideal, ideal and quasi-ideal of respectively, then Σ(L, E), Σ(I, E) and Σ(Q, E) are ( γ, γ q δ )-fuzzy soft left ideal, ( γ, γ q δ )-fuzzy soft ideal and ( γ, γ q δ )-fuzzy soft quasi-ideal over, respectively. Now we have assume that (iv) holds, then we have Σ(L, E) E Σ(I, E) E Σ(Q, E) (γ,δ) (Σ(L, E) Σ(I, E)) Σ(Q, E). o, we get χ (γ,δ) (L I Q) L χ (γ,δ) I χ (γ,δ) Q = (γ,δ) (χ (γ,δ) LI ) χ (γ,δ) Q (LI)Q. q (γ,δ) (χ δ L χ (γ,δ) I ) χ (γ,δ) Q Therefore L I Q (LI) Q. (iii) (ii) is obvious. (ii) i L [a] = a a, I [a] = a a a and Q [a] = a (a a) are left ideal, ideal and quasi-ideal of generated a respectively. Thus by (ii), Lemma 3 and medial law we have, Hence is regular. (a a) (a a a) (a (a a)) ((a a) (a a a)) (a (a a)) {(a a) } (a a) = {a (a) } (a a) = (a) (a a) = (a) a (a) (a) = (a) a a 2.

13 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 275 Theorem 3. For an AG-groupoid with left identity, the following are equivalent: (i) is regular. (ii) B [a] I [a] Q [a] (B [a] I [a]) Q [a], for some a in. (iii) For any bi-ideal B, ideal I and quasi-ideal Q of, B I Q (BI) Q. (iv) For any ( γ, γ q δ )-fuzzy soft bi-ideal F, A, ( γ, γ q δ )-fuzzy soft ideal G, A and ( γ, γ q δ )-fuzzy soft quasi-ideal H, B over, we have (v) For any ( γ, γ q δ )-fuzzy soft generalized bi-ideal F, A, ( γ, γ q δ )-fuzzy soft ideal G, A and ( γ, γ q δ )-fuzzy soft quasi-ideal H, B over, we have Proof. (i) (v) Assume that F, A, G, A and H, B are ( γ, γ q δ )-fuzzy soft bi- ideal, ( γ, γ q δ )-fuzzy soft ideal and ( γ, γ q δ )-fuzzy soft quasiideal of a regular AG-groupoid, respectively. Let a be any element of, F, A E G, A H, B = K 1, A B and ( F, A G, A ) H, B = K 2, A B. For any ɛ A B. We consider the following cases, Case 1: ɛ A B. Then K 1 (ɛ) = F (ɛ) G(ɛ) and K 2 (ɛ) = (F G)(ɛ) o, we have K 1 (ɛ) q (γ,δ) K 2 (ɛ) Case 2: ɛ B A.Then K 1 (ɛ) = H(ɛ) and K 1 (ɛ) = H(ɛ) = K 2 (ɛ) Case 3: ɛ A B.Then K 1 (ɛ) = F (ɛ) G(ɛ) H(ɛ) and K 2 (ɛ) = (F (ɛ) G(ɛ)) H(ɛ). First we show that F (ɛ) G(ɛ) H(ɛ) q (γ,δ) (F (ɛ) G(ɛ)) H(ɛ). Now since is regular, so for a there exist x such that by using left invertive law and also using law a(bc) = b(ac), we have, a = (ax) a = (((ax) a) x) a = ((xa) (ax)) a = [a{(xa) x}]a.

14 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 276 Thus max {((F (ɛ) G(ɛ)) H(ɛ))(a), γ} { } = max (F (ɛ) G(ɛ))(x) H(ɛ)(y), γ a=xy max{(f (ɛ) G(ɛ))[a{(xa) x}] H(ɛ))(a), γ} = max{ (F (ɛ)(p) G(ɛ)(q)) H(ɛ)(a)}, γ} [a{(xa)x}]=pq max {F (ɛ)(a) G(ɛ){(xa) x} H(ɛ)(a), γ} = min {max{f (ɛ)(a), γ}, max{g(ɛ){(xa) x}, γ}, max{h(ɛ)(a), γ}} min {min{(f (ɛ)(a), δ}, min{g(ɛ))(a), δ}, min{h(ɛ)(a), δ}} = min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} = min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} Thus we have min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} max {((F (ɛ) G(ɛ)) H(ɛ))(a), γ}, which implies that F (ɛ) G(ɛ) H(ɛ) q (γ,δ) (F (ɛ) G(ɛ)) H(ɛ). Therefore in any case, we have K 1 (ɛ) q (γ,δ) K 2 (ɛ). Hence (v) (iv) is obvious. (iv) (iii) Assume that B, I and Q are bi-ideal, ideal and quasi-ideal of regular AGgroupioud of respectively, then Σ(B, E), Σ(I, E) and Σ(Q, E) are ( γ, γ q δ )-fuzzy soft bi-ideal, ( γ, γ q δ )-fuzzy soft ideal and ( γ, γ q δ )-fuzzy soft quasi-ideal over,respectively. Now we have assume that (iv) holds, then we have Σ(B, E) E Σ(I, E) E Σ(Q, E) (γ,δ) (Σ(B, E) Σ(I, E)) Σ(Q, E). Thus it follows that χ (γ,δ) (B I Q) L χ (γ,δ) I χ (γ,δ) Q = (γ,δ) (χ (γ,δ) BI ) χ (γ,δ) Q (BI)Q. Therefore B I Q (BI) Q. (iii) (ii) is obvious. q (γ,δ) (χ δ B χ (γ,δ) I ) χ (γ,δ) Q

15 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 277 (ii) (i) ince B [a] = a a 2 (a) a, I [a] = a a a and Q [a] = a (a a) are principle bi-ideal, principle ideal and principle quasi-ideal of generated by a respectively. Thus by (ii) and Lemma 3, using law a(bc) = b(ac), medial law and left invertive law, we have, ( a a 2 (a) a ) (a a a) (a (a a)) Hence is regular. ( ( a a 2 (a) a ) (a a a)) (a (a a)) ((a a a)) (a a) = (a (a) (a)) (a a) = (a (a) (a)) (a a) = (a a) (a a) = (a) a (a) (a) (a) a (a) (a) = (a) a a 2 a (a). Theorem 4. For an AG-groupoid with left identity, the following are equivalent: (i) is regular. (ii) I [a] I [a] I [a] (I [a] I [a]) I [a], for some a in. (iii) For any ideals I 1, I 2 and I 3 of, I 1 I 2 I 3 (I 1 I 2 ) I 3. (iv) If F, A, G, A and H, B are ( γ, γ q δ )-fuzzy soft ideals over, then Proof. (i) (iv) Assume that F, A, G, A and H, B are any ( γ, γ q δ )-fuzzy soft ideals over a regular AG-groupoid, respectively. Let a be any element of, F, A E G, A H, B = K 1, A B and ( F, A G, A ) H, B = K 2, A B. For any ɛ A B. We consider the following cases, Case 1: ɛ A B. Then K 1 (ɛ) = F (ɛ) G(ɛ) and K 2 (ɛ) = (F G)(ɛ). o we have K 1 (ɛ) q (γ,δ) K 2 (ɛ). Case 2: ɛ B A. Then K 1 (ɛ) = H(ɛ) and K 1 (ɛ) = H(ɛ) = K 2 (ɛ). Case 3: ɛ A B. Then K 1 (ɛ) = F (ɛ) G(ɛ) H(ɛ) and K 2 (ɛ) = (F (ɛ) G(ɛ)) H(ɛ). First we show that F (ɛ) G(ɛ) H(ɛ) q (γ,δ) (F (ɛ) G(ɛ)) H(ɛ). Now since is regular, so for a there exist x such that by using left invertive law and also using law a(bc) = b(ac), we have, a = (ax) a = [{(ax) a}x]a = ((xa) (ax)) a.

16 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 278 Thus max {((F (ɛ) G(ɛ)) H(ɛ))(a), γ} { } = max (F (ɛ) G(ɛ))(u) H(ɛ)(v), γ a=uv max{(f (ɛ) G(ɛ))[(xa)(ax)] H(ɛ))(a), γ} = max{ (F (ɛ)(b) G(ɛ)(c)) H(ɛ)(a)}, γ} (xa)(ax)=bc max {F (ɛ)(xa) G(ɛ)(ax) H(ɛ)(a), γ} = min {max{f (ɛ)(xa), γ}, max{g(ɛ)(ax), γ}, max{h(ɛ)(a), γ}} min {min{(f (ɛ)(a), δ}, min{g(ɛ))(a), δ}, min{h(ɛ)(a), δ}} = min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} = min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} Thus min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} max {((F (ɛ) G(ɛ)) H(ɛ))(a), γ}. This implies that F (ɛ) G(ɛ) H(ɛ) q (γ,δ) (F (ɛ) G(ɛ)) H(ɛ). Therefore in any case, we have K 1 (ɛ) q (γ,δ) K 2 (ɛ). Hence (iv) (iii) is obvious. Assume that I 1, I 2 and I 3 are any ideals of regular AG-groupioud of respectively, then Σ(I 1, E), Σ(I 2, E) and Σ(I 3, E) are ( γ, γ q δ )-fuzzy soft ideals over,respectively. Now we have assume that (iv) holds, then we have Σ(I 1, E) E Σ(I 2, E) E Σ(I 3, E) (γ,δ) (Σ(I 1, E) Σ(I 2, E)) Σ(I 3, E). o, we get χ (γ,δ) (I 1 I 2 I 3) I 1 χ (γ,δ) I 2 χ (γ,δ) I 3 q (γ,δ) (χ (γ,δ) I 1 = (γ,δ) (χ (γ,δ) I 1I 2 ) χ (γ,δ) I 3 (I 1I 2)I 3. χ (γ,δ) I 2 ) χ (γ,δ) I 3 Therefore I 1 I 2 I 3 (I 1 I 2 ) I 3. (iii) (ii) is obvious. (ii) (i) ince I [a] = a a a is a principle ideal of generated by a. Thus by

17 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 279 (ii), Lemma 3, left invertive law, medial law and paramedial law, we have Hence is regular. (a a a) (a a a) (a a a) ((a a a) (a a a)) (a a a) {(a a a) } (a a a) = {a (a) (a) } (a a a) = {a a} (a a a) = (a) a (a) (a) (a) (a) (a) a (a) (a) (a) (a) = (a) a a 2. Theorem 5. For an AG-groupoid with left identity, the following are equivalent: (i) is regular. (ii) Q [a] I [a] Q [a] (Q [a] I [a]) Q [a], for some a in. (iii) For any quasi-ideals Q 1, Q 2 and ideal I of, Q 1 I Q 2 (Q 1 I) Q 2. (iv) If F, A and H, B are ( γ, γ q δ )-fuzzy soft quasi-ideals over, and G, A is a ( γ, γ q δ )-fuzzy soft ideal over, then we have Proof. (i) (iv) Assume that F, A and H, B are any ( γ, γ q δ )-fuzzy soft quasi-ideals and G, A is any ( γ, γ q δ )-fuzzy soft ideal of a regular AGgroupoid, respectively. Let a be any element of, F, A E G, A H, B = K 1, A B and ( F, A G, A ) H, B = K 2, A B. For any ɛ A B. We consider the following cases, Case 1: ɛ A B. Then K 1 (ɛ) = F (ɛ) G(ɛ) and K 2 (ɛ) = (F G)(ɛ). Hence we have K 1 (ɛ) q (γ,δ) K 2 (ɛ). Case 2: ɛ B A. Then K 1 (ɛ) = H(ɛ) and K 1 (ɛ) = H(ɛ) = K 2 (ɛ). Case 3: ɛ A B. Then K 1 (ɛ) = F (ɛ) G(ɛ) H(ɛ) and K 2 (ɛ) = (F (ɛ) G(ɛ)) H(ɛ). First we show that F (ɛ) G(ɛ) H(ɛ) q (γ,δ) (F (ɛ) G(ɛ)) H(ɛ). Now since is regular, so for a there exist x such that by using left invertive law and also using law a(bc) = b(ac), we have a = (ax) a = [{(ax) a}x]a = {(xa) (ax)}a = [a{(xa) x}]a.

18 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 280 Thus max {((F (ɛ) G(ɛ)) H(ɛ))(a), γ} { } = max (F (ɛ) G(ɛ))(p) H(ɛ)(q), γ a=pq max{(f (ɛ) G(ɛ))[a{(xa) x}] H(ɛ))(a), γ} = max{ (F (ɛ)(b) G(ɛ)(c)) H(ɛ)(a)}, γ} [a{(xa)x}]=bc max {F (ɛ)(a) G(ɛ){(xa)x} H(ɛ)(a), γ} = min {max{f (ɛ)(a), γ}, max{g(ɛ){(xa)x}, γ}, max{h(ɛ)(a), γ}} min {min{(f (ɛ)(a), δ}, min{g(ɛ))(a), δ}, min{h(ɛ)(a), δ}} = min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} = min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} Thus min {(F (ɛ) G(ɛ) H(ɛ))(a), δ} max {((F (ɛ) G(ɛ)) H(ɛ))(a), γ}. This implies that F (ɛ) G(ɛ) H(ɛ) q (γ,δ) (F (ɛ) G(ɛ)) H(ɛ). Therefore in any case, we have K 1 (ɛ) q (γ,δ) K 2 (ɛ). Hence (iv) (iii) Assume that Q 1 and Q 2 are quasi-ideals and I is an ideal of a regular AG-groupoid., then Σ(Q 1, E) and Σ(Q 2, E) are ( γ, γ q δ )-fuzzy soft quasi-ideals and, Σ(I, E) is a ( γ, γ q δ )-fuzzy soft ideal over, Now we have assume that (iv) holds, then we have Σ(Q 1, E) E Σ(I, E) E Σ(Q 3, E) (γ,δ) (Σ(Q 1, E) Σ(I, E)) Σ(Q 2, E). o, we get χ (γ,δ) (Q 1 I Q 2) Q 1 χ (γ,δ) I χ (γ,δ) Q 2 q (γ,δ) (χ (γ,δ) Q 1 = (γ,δ) (χ (γ,δ) Q ) 1I χ(γ,δ) Q 2 (Q 1I)Q 2. χ (γ,δ) I ) χ (γ,δ) Q 2 Thus Q 1 I Q 2 (Q 1 I) Q 2. (iii) (ii) is obvious. (ii) (i) ince Q [a] = a (a a) and I [a] = a a a are principle quasi-ideal and principle ideal of generated by a respectively. Thus by (ii),

19 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 281 left invertive law, medial law and Lemma 3, we have, Hence is regular. (a (a a)) (a a a) (a (a a)) ((a (a a)) (a a a)) (a (a a)) {(a a) } (a a) = {a (a) } (a a) = (a a) (a a) = {(a) a (a) (a) (a) a (a) aa = (a) a a 2 a (a). Theorem 6. For an AG-groupoid with left identity, the following are equivalent: (i) is regular. (ii) For any principle bi-ideal B[a], B[a] = (B[a]) B[a]. (iii) For any bi-ideal B, B = (B) B. (iv) For any generalized bi-ideal B, B = (B) B. (v) For any ( γ, γ q δ )-fuzzy soft bi-ideal F, B over, we have F, B = (γ,δ) ( F, B Σ(, E)) F, B. (vi) For any ( γ, γ q δ )-fuzzy soft generalized bi-ideal F, B over, we have F, B = (γ,δ) ( F, B Σ(, E)) F, B. Proof. (i) (vi) Assume that F, B is ( γ, γ q δ )-fuzzy soft generalized biideal over a regular AG-groupoid. ince is regular so for b there exist x such that b = (bx) b. First we have to show that F (ɛ) q (γ,δ) ((F (ɛ)

20 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 282 χ δ ) F (ɛ). Then we have { max (F (ɛ) χ (γ,δ) { = max b=pq (F (ɛ) χ (γ,δ) } ) F (ɛ)(b), γ } )(p) F (ɛ)(q), γ max{(f (ɛ) χ (γ,δ) )(bx) F (ɛ)(b), γ} { } = max (F (ɛ)(c) χ (γ,δ) (d)) F (ɛ)(b), γ bx=cd max{f (ɛ)(b) χ (γ,δ) (x) F (ɛ)(b), γ} = min{max{f (ɛ)(b), γ}, 1, max{f (ɛ)(b), γ}}. min{min{f (ɛ)(b), δ}, min{f (ɛ)(b), δ}} = min{f (ɛ)(b) F (ɛ)(b), δ} = min{f (ɛ)(b), δ} { Thus min{f (ɛ)(b), δ} max (F (ɛ) χ (γ,δ) } ) F (ɛ)(b), γ. This implies that F (ɛ) q (γ,δ) (F (ɛ) χ (γ,δ) ) F (ɛ). That is H(ɛ) q (γ,δ) (F (ɛ) χ (γ,δ) ) F (ɛ). Thus in any case, we have Therefore, H(ɛ) q (γ,δ) (F (ɛ) χ (γ,δ) ) F (ɛ). F, B (γ,δ) ( F, B Σ(, E)) F, B. ince F, B is any ( γ, γ q δ )-fuzzy soft generalized bi- ideal over, we have ( F, B Σ(, E)) F, B (γ,δ) F, B. Thus F, B = (γ,δ) ( F, B Σ(, E)) F, B. (vi) (v) is obvious. (v) (iv) Assume that B is a bi-ideal of. Assume that the given condition(v) holds, then Σ(B, E) be an ( γ, γ q δ )-fuzzy soft bi-ideal over. Now by the assumption, we have Hence we have Σ(B, E) = (γ,δ) (Σ(B, E) Σ(, E)) Σ(B, E). χ (γ,δ) B = (γ,δ) (χ (γ,δ) B χ (γ,δ) ) χ (γ,δ) B = (γ,δ) (χ (γ,δ) B ) χ(γ,δ) B (B)B.

21 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 283 Therefore B = (B) B. (iv) (iii) is obvious. (iii) (ii) is obvious. (ii) (i) ince B [a] = a a 2 (a) a is a principle bi-ideal of generated by a respectively. Thus by (ii) and Lemma 3, we have, a a 2 (a) a = [{a a 2 (a) a}] ( a a 2 (a) a ) Hence is regular = [a a 2 {(a) a}] ( a a 2 (a) a ) = ( a a 2 a (a) ) ( a a 2 (a) a ) = (a) a (a) a 2 (a) ((a) a) ( a 2 ) a ( a 2 ) a 2 ( a 2 ) ((a) a) (a (a)) a (a (a)) a 2 (a (a)) ((a) a) = (a) a a 2 (a) a a 2 a 2 a 2 (a) a (a) a (a) a = a 2 (a) a. Theorem 7. For an AG-groupoid with left identity, the following are equivalent: (i) is regular. (ii) B[a] Q [a] (B [a] ) Q [a], for some a in. (iii) For any bi-ideal B and quasi-ideal Q of, B Q (B) Q. (iv) For any ( γ, γ q δ )-fuzzy soft bi-ideal F, B and ( γ, γ q δ )-fuzzy soft quasi-ideal G, Q over, we have F, B E G, Q (γ,δ) ( F, B Σ(, E)) G, Q. (v) For any ( γ, γ q δ )-fuzzy soft generalized bi-ideal F, B and ( γ, γ q δ )-fuzzy soft quasi-ideal G, Q over, we have F, B E G, Q (γ,δ) ( F, B Σ(, E)) G, Q. Proof. (i) (v) Assume that F, B and G, Q are ( γ, γ q δ )-fuzzy soft generalized bi-ideal and ( γ, γ q δ )-fuzzy soft quasi-ideal over a regular AGgroupoid, respectively. Let a be any element of, F, B E G, Q = K 1, B Q. For any ɛ B Q. We consider the following cases, Case 1: ɛ B Q. Then H(ɛ) = F (ɛ) = (F G)(ɛ). Case 2: ɛ Q B. Then H(ɛ) = G(ɛ) = (F G)(ɛ).

22 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 284 Case 3: ɛ B Q. Then H(ɛ) = F (ɛ) G(ɛ) and (F G)(ɛ) = F (ɛ) G(ɛ). First we show that F (ɛ) G(ɛ) q (γ,δ) (F (ɛ) χ (γ,δ) ) G(ɛ). Now since is regular, for a there exist x such that a = (ax) a = [{(ax) a}x]a by left invertive law and the law a(bc) = b(ac). Thus we deduce that { } max (F (ɛ) χ (γ,δ) ) G(ɛ)(a), γ { } { } = max (F (ɛ) χ (γ,δ) )(p) G(ɛ)(q), γ a=pq max{(f (ɛ) χ (γ,δ) )[{(ax) a}x] G(ɛ)(a), γ} = max (F (ɛ)(c) χ (γ,δ) (d)) G(ɛ)(a), γ [{(ax)a}x]=cd max{f (ɛ){(ax) a} χ (γ,δ) (x) G(ɛ)(a), γ} = min{max{f (ɛ){(ax) a}, γ}, 1, max{g(ɛ)(a), γ}}. min{min{f (ɛ)(a), δ}, min{g(ɛ)(a), δ}} = min{f (ɛ)(a) G(ɛ)(a), δ} = min{(f (ɛ) G(ɛ))(a), δ} Hence F (ɛ) G(ɛ) q (γ,δ) (F (ɛ) χ (γ,δ) ) G(ɛ). That is, Thus in any case, we have Therefore, H(ɛ) q (γ,δ) (F (ɛ) χ (γ,δ) ) G(ɛ). H(ɛ) q (γ,δ) (F (ɛ) χ (γ,δ) ) G(ɛ). F, B E G, Q (γ,δ) ( F, B Σ(, E)) G, Q. (v) (iv) is obvious. (iv) (iii) Assume that B and Q are bi-ideal and quasi-ideal of regular AG-groupioud of respectively,then Σ(B, E) and Σ(Q, E) be an ( γ, γ q δ )-fuzzy soft biideal and ( γ, γ q δ )-fuzzy soft quasi- ideal G, Q over. Now by the assumption, we have Σ(B, E) E Σ(Q, E) = (γ,δ) (Σ(B, E) Σ(, E)) Σ(Q, E).

23 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 285 o we have, χ (γ,δ) (B Q) B χ (γ,δ) χ (γ,δ) Q q (γ,δ) (χ (γ,δ) B = (γ,δ) (χ (γ,δ) B ) χ(γ,δ) Q (B)Q. χ (γ,δ) ) χ (γ,δ) Q Therefore B Q (B) Q. (iii) (ii) is obvious. (ii) (i) ince B [a] = a a 2 (a) a and Q [a] = a (a a) are principle bi-ideal and principle quasi-ideal of generated by a respectively. Thus by (ii), Eq. (1), Lemma 3, medial law and left invertive law, we have {a a 2 (a) a} {a (a a)} { ( a a 2 (a) a ) } (a (a a)) {a a 2 ((a) a)} (a a) = {a a 2 (a)(a)} (a a) = {(a)a (a 2 )a {(a)(a)}a (a)(a) (a 2 )(a) (a)(a)(a)} (a)a a 2 (a)a (a)a a 2 (a)a = (a) a a 2 Hence is regular as required. 5 Conclusions We have applied the theory of fuzzy soft sets to algebraic ideal theory of regular AG-groupoids. We introduced ( γ, γ q δ )-fuzzy soft left ideals (right ideals, bi-ideals and quasi-ideals) over AG-groupoids. Moreover, we presented some characterizations for regular AG-groupoids based on these newly introduced fuzzy soft ideals over them. The natural extension of this research work is to study intra-regular AG-groupoids using fuzzy soft ideals. Acknowledgments This work was partially supported by the National Natural cience Foundation of China (Program No ), Natural cience Basic Research Plan in haanxi Province of China (Program No. 2013JQ1020), haanxi Provincial Research Plan for Young cientific and Technological New tars (Program No. 2014KJXX-73), cientific Research Program Funded by haanxi Provincial

24 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 286 Education Department of China (Program No. 2013JK1098) and New tar Team of Xi an University of Posts and Telecommunications. The Pakistani authors are thankful to the Higher Education Commission of Pakistan for financial support. References [1] L.A. Zadeh, Fuzzy sets, Information and Control 8 (1965) [2] Z. Pawlak, Rough sets, International Journal of Information and Computer ciences 11 (1982) [3] M.B. Gorzalzany, A method of inference in approximate reasoning based on interval-valued fuzzy sets. Fuzzy ets and ystems 21 (1987) [4] D. Molodtsov, oft set theory First results, Computer and Mathematics with Applications 37 (1999) [5] M. Akram, B. Davvaz, F. Feng, Intuitionistic Fuzzy oft K-Algebras, Mathematics in Computer cience, 2013, 7 (3), [6] M. Akram, F. Feng, oft intersection Lie algebras, Quasigroups and Related ystems, 2013, 21 (1), [7] M. Akram, N.O. Alshehri, R.. Alghamdi, Fuzzy soft K-algebras, Utilitas Mathematica 90 (2013) [8] N.O. Alshehri, M. Akram, R.. Al-ghamdi, Applications of oft ets in K-Algebras, Advances in Fuzzy ystems, Volume 2013 (2013), Article ID , 8 pages, [9] V. Leoreanu-Fotea, B. Davvaz, F. Feng, C. Chiper, Join spaces, soft join spaces and lattices, Analele tiintifice Ale Universitatii Ovidius Constanta-eria Matematica 22(1), , [10] X. Liu, D. Xiang, J. Zhan, K.P. hum, Isomorphism theorems for soft rings, Algebra Colloquium 19(4) (2012) [11] X. Liu, D. Xiang, J. Zhan, Fuzzy isomorphism theorems of soft rings, Neural Computing and Applications 21(2) (2012) [12] X. Ma, H.. Kim, (M,N)-oft Intersection BL-Algebras and Their Congruences, The cientific World Journal, vol. 2014, Article ID , 6 pages, 2014.

25 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 287 [13] G. Muhiuddin, F. Feng, Y.B. Jun, ubalgebras of BCK/BCI-algebras based on cubic soft sets, The cientific World Journal, vol. 2014, Article ID , 9 pages. [14] C.H. Park, Y.B. Jun, M.A. Öztürk, oft W-algebras, Communications of Korean Mathematical ociety 23 (2008) [15] A. ezgin, A.O. Atagun, E. Aygun, A note on soft near-rings and idealistic soft near-rings, Filomat 25 (2011) [16] A. ezgin, A.O. Atagun, oft groups and normalistic soft groups, Comput. Math. Appl. 62 (2011) [17].Z. ong, H.. Kim, Y.B. Jun, Ideal Theory in emigroups Based on Intersectional oft ets, The cientific World Journal, vol. 2014, Article ID , 7 pages, [18] D.R.P. Williams, A.B. aeid, Fuzzy soft ideals in subtraction algebras, Neural Computing and Applications 21 (2012) [19] X. Xin and W. Li, oft Congruence Relations over Rings, The cientific World Journal, vol. 2014, Article ID , 9 pages, [20] Y. Yang, X. Xin, P. He, Applications of oft Union ets in the Ring Theory, Journal of Applied Mathematics, vol. 2013, Article ID , 9 pages, [21] J. Zhan, Y.B. Jun, oft BL-algebras based on fuzzy sets, Computers and Mathematics with Applications 59 (2010) [22] P. V. Protić and N. tevanović, On Abel-Grassmann s groupoids, Proc. Math. Conf. Priština, (1994), [23] Y.Q. Yin and J. Zhan, Characterization of ordered semigroups in terms of fuzzy soft ideals, Bull. Malays. Math. ci. oc. 35 (2012), [24] P.K. Maji, R. Biswas, A.R. Roy, Fuzzy soft sets, J. Fuzzy Math. 9(3) (2001) [25] M.I. Ali, F. Feng, X. Liu, W.K. Min, M. habir, On some new operations in soft set theory, Comput. Math. Appl. 57 (2009) Feng FENG, Department of Applied Mathematics, chool of cience, Xi an University of Posts and Telecommunications, Xi an , China. fengnix@hotmail.com

26 FUZZY OFT ET APPROACH TO IDEAL THEORY OF REGULAR AG-GROUPOID 288 Madad KHAN, Department of Mathematics, COMAT Institute of Information Technology, Abbottabad 22060, Pakistan. Violeta LEOREANU-FOTEA, Faculty of Mathematics, Alexandru Ioan Cuza University, Iaşi, Romania. aima ANI, Department of Mathematics, COMAT Institute of Information Technology, Abbottabad 22060, Pakistan. Nadeem AJAIB, Department of Mathematics, COMAT Institute of Information Technology, Abbottabad 22060, Pakistan.