Some fuzzifications in ordered AG**-groupoid ¹ Faisal, ² Kifayat Ullah, ³ Abdul Haseeb, ⁴ Naveed Yaqoob Department of Mathematics, COMSATS Institute of Information Technology Abbottabad, K. P. K., Pakistan Department of Mathematics, Kohat University of Science & Technology, Kohat, K. P. K., Pakistan Department of Mathematics, Quaid-i-Azam University, Islamabad, Pakistan E-mail: { 1 yousafzaimath@yahoo.com, 3 haseeb_yuz@yahoo.com, 2 kifayatmath@yahoo.com, 4 nayaqoob@ymail.com} ABSTRACT We have given the concept of fuzzy ordered AG**-groupoids and studied some important structural properties of a (2,2) regular ordered AG**-groupoid in terms of different fuzzy ideals. Keywords: Ordered AG**-groupoid, (2,2) regular ordered AG**-groupoid, left invertive law and fuzzy ideals. 1. INTRODUCTION The concept of fuzzy set was first proposed by Zadeh [14] in 1965, which has a wide range of applications in various fields such as computer engineering, artificial intelligence, control engineering, operation research, management science, robotics and many more. It gives us a tool to model the uncertainty present in phenomena that do not have sharp boundaries. Many papers on fuzzy sets have been appeared which shows the importance and its applications to set theory, algebra, real analysis, measure theory and topology etc. The concept of an Abel Grassmann's groupoid, abbreviated as an AG-groupoid was first introduced by Kazim and Naseeruddin in 1972 [2] and they have called it a left almost semi group (LA-semi group). An AGgroupoid may or may not contain a left identity. The left identity of an AG-groupoid allows us to introduce the inverses of elements in an AG-groupoid. An AG-groupoid [10] is a groupoid S holding the left invertive law (ab)c=(cb)a, for all a,b,c S (1) This left invertive law has been obtained by introducing braces on the left of ternary commutative law (ab)c=(cb)a. In an AG-groupoid, the medial law holds [2] (ab)(cd)=(ac)(bd), for all a,b,c,d S (2) If an AG-groupoid contains a left identity, then it is unique [7].In an AG-groupoid S with left identity [7], the paramedial law holds (ab)(cd)=(dc)(ba), for all a,b,c,d S (3) Further if an AG-groupoid contains a left identity, the following law holds [7] a(bc)=b(ac), for all a,b,c S (4) If an AG-groupoid (without left identity) satisfies (3), then it is called an AG**-groupoid. An AG**- groupoid also satisfies (4). An AG**-groupoid is the generalization of an AG-groupoid with left identity. Every AG-groupoid with left identity is an AG**-groupoid but the converse is not true in general. Let us consider an AG-groupoid with a binary operation * defined in the following cayley table. * 1 2 3 1 2 2 2 2 2 2 2 3 1 2 2 It is easy to see that the above AG-groupoid is an AG**-groupoid but it does not contain a left identity. An AG-groupoid is a non-associative and noncommutative algebraic structure mid way between a groupoid and a commutative semi group. This structure is closely related with a commutative semi group, because if an AG-groupoid contains a right identity, then it becomes a commutative semi group [7]. The connection of a commutative inverse semi group with an AG-groupoid has been given in [8] as, a commutative inverse semi group (S, ) becomes an AG-groupoid (S,.) under a.b=b a ¹ for all a,b S. An AG-groupoid S with left identity becomes a semi group under the binary operation " " defined as, if for all x,y S, there exists a S such that x y=(xa)y [11]. An AG-groupoid is the generalization of a semi group theory [7] and has vast applications in collaboration with semi group like other branches of mathematics. The connection of AG-groupoids with the vector spaces over finite fields has been investigated in [3]. From the above discussion, we see that AGgroupoids have very closed links with semigroups and vector spaces which shows the importance and 58
applications of AG-groupoids. The concept of fuzzy ordered AG-groupoid was first given by Khan and Faisal in [4]. In this paper, we have given the concept of fuzzy ordered AG**-groupoid. An ordered AG**-groupoid (po-ag**-groupoid) is a structure (S,., ) in which the following conditions hold. (i) (S,.) is an AG**-groupoid. (ii) (S, ) is a poset. (iii) For all a,b,x S, a b ax bx and xa x b. Example 1: Consider an open interval Ro= (0, 1) of real numbers under the binary operation of multiplication. Define a b=ba ¹r ¹ for all a,b,r Ro, then it is easy to see that (Ro,, ) is an ordered AG**-groupoid under the usual order " ". This is a natural example of an ordered AG**-groupoid called a real ordered AG**-groupoid. Basic Definitions and Results In this section, we have given some basic definitions which are necessary for the subsequent sections. Throughout in this paper S will be considered as an ordered AG**-groupoid and F(S) will denote all the fuzzy subsets of S unless otherwise specified. A fuzzy subset or a fuzzy set of a non-empty set S is an arbitrary mapping f: S [0,1] where [0,1] is the unit segment of real line. The product of any fuzzy subsets f and g of S is defined by (f g)(x) = { (y,z) Ax {f(y) g(z)}, if x yz (Ax )}, and (f g)(x) = {0, if x yz (Ax= )}. The order relation between any two fuzzy subsets f and g of S is defined by f g iff f(x) g(x), for all x S The symbols f g and f g will mean the following fuzzy subsets of S (f g)(x) = f(x) g(x), for all x S and (f g)(x) = f(x) g(x), for all x S For A S, we define (A] = {t S \t a, for some a A} For A = {a}, we usually written as (a]. A subset A of S is called semiprime if a² A implies a A. A fuzzy subset f of S is called a fuzzy semiprime if f(a) f(a²), for all a in S. A non-empt y subset A of S is called a left (right) ideal of S if (i) SA A (AS A). (ii) If a A and b S such that b a, then b A. A non-empty subset A of S is called a two-sided ideal of S if it is both a left and a right ideal of S. A fuzzy subset f of S is called a fuzzy left (right) ideal of S if (ii) f(ab) f(b)(f(ab) f(a)),for all a,b S. A fuzzy subset f of S is called a fuzzy two-sided ideal of S if it is both a fuzzy left and a fuzzy right ideal of S. A fuzzy subset f of S is called a fuzzy AG**- subgroupoid of S if f(ab) f(a) f(b), for all a,b S. A fuzzy subset f of S is called a fuzzy generalized bi-ideal of S if (ii) f((xy)z) f(x) f(z), for all x,y,z S. A fuzzy AG**-subgroupoid f of S is called a fuzzy biideal of S if (ii) f((xy)z) f(x) f(z), for all x,y,z S. A fuzzy subset f of S is called a fuzzy interior ideal of S if (ii) f((xy)z) f(y), for all x,y,z S. A fuzzy AG**-subgroupoid f of S is called a fuzzy (1,2)-ideal of S if (ii) f((xa)(yz)) f(x) f(y) f(z), for all x,y,z S. A fuzzy subset f of S is called idempotent if f f. For A S, the characteristic function is defined by fa={1, if x A }, and fa={0, if x A } Note that S can be considered as a fuzzy subset of itself and we write S =fs i.e., f(x) =1, for all x S. Example 2: Let S= {a,b,c,d,e} be an ordered AG**- groupoid defined in the following multiplication table and order below.. a b c d e a a a a a a b a b b b b c a b d e c d a b c d e e a b e c d :={(a,a), (b,b), (c,c), (d,d), (e,e), (a,b)}. Define a fuzzy subset f of S as follows: f(a)=0.9, f(b)=f(c)=f(d)=f(e)=0.1, then it is easy to see that f is a fuzzy two-sided ideal of S. It is easy to observe that every fuzzy left (right) ideal of S is a fuzzy AG**-subgroupoid of S but the converse is not true in general which is discussed in the following. Let us define a fuzzy subset f of S as follows: f(a)=0.8, f(b)=0.2, f(c)=f(d)=f(e)=0.6, then f is a fuzzy AG**- subgroupoid of S but it is not a fuzzy left (right) ideal of S. Indeed f(bd) f(d) (f(db f(d))). 59
The following Proposition has the same proof as in [4]. Proposition: The set (F(S),, ) satisfies the following properties. (i) (F(S),, ) is an ordered AG**-groupoid. (ii) In (F(S),, ), (1) and (2) hold. Theorem 1: In S, the following properties hold. (i) (f g) (h k) = (h k) ( g k), for all f,g,h,k in F(S). (ii) f (g h) = g (f h), for all f,g,h in F(S). Proof (i): If Ax= for any x S, then ((f g) (h k))(x) = ((h k) (g k))(x). Let Ax, then there exist y and z in S such that (y,z) Ax. Therefore by using (4), we have ((f g) (h k))(x)= (y,z) Ax{(f g)(y) (h k)(z)} = (y,z) Ax{ (p,q) Ay{f(p) g(q)} (u,v) Az{h(u) k(v)}} = x (pq)(uv){f(p) g(q) h(u) k(v)} = x (vu)(qp){k(v) h(u) g(q) f(p)} = (m,n) Ax{ (v,u) Am{k(v) h(u)} (q,p) An {g(q) f(p)} } = (m,n) Ax{(k h)(m) (g f)(n)} =((h k) ( g k))(x). Thus, (f g) (h k) = (h k) ( g k), for all x,y S. (ii): It is simple. Theorem1 gives the analogous definitions of (3) and (4) in fuzzy context. Example 4: Let S={a,b,c,d,e} be an ordered AG**- groupoid defined in the following multiplication table and order below.. a b c d e a b a a a a b a b b b b c a b c d e d a b e c d e a b d e c :={(a,a), (b,c), (c,c), (b,d), (b,e), (d,d), (e,e), (b,b)}. It is easy to see that S is a (2,2) regular. Indeed for each x S there exists y S such that a ( x²y)x². Lemma 2: In a (2,2) regular S, f S= f and S f = f holds for every fuzzy two-sided ideal f of S. Proof: Let f be a fuzzy two-sided ideal of a (2,2) regular S, then for every a S there exists y S such that a (a²y) a². Now by using (5), (4) and (1), we have a (a²y)a² =x(aa) (ab)(aa) =(aa)(ba) =((ba)a)a, where a²y=x S. Thus (((ba)a),a) Aa, since Aa, therefore (f S)(a)= (((ba)a),a) Aa {f((ba)a) S(a)} f((ba)a) S(a) f(a) 1 Now by using Lemma 1, f S= f. Also [4]Lemma 1: Let f be a fuzzy subset of an ordered AG**- groupoid S, then f is a fuzzy left (right) ideal of S if and only if f satisfies the following. (i) x y f(x) f(y) for all x,y S. (ii) S f f (S f f). Semilattice structure In this section, we have proved that the set of all fuzzy two-sided ideals of a (2,2) regular ordered AG**- groupoid S forms a semilattice structure with identity S. An element a of S is called a (2,2) regular element of S if there exists y S such that a (a²y) a² and S is called (2,2) regular if every element of S is (2,2) regular. Note that in a (2,2) regular S, the following holds for all x S x yz. for some y,z S (5) (S f)(a) )= (((ba)a),a) Aa{S((ba)a) f(a)} S((ba)a) f(a) f(a) 1 Now by using Lemma 1, S f = f. Lemma 3: Let f and g be any fuzzy two-sided ideals of a (2,2 regular S, then f g= f g. Proof: Assume that f and g are any fuzzy two-sided ideals of S, then for every a S there exists y S such that a (a²y) a². Now by using (3), we have a (a²y)a² =x(aa) =a(xa), where a²y= x S. Thus (a,xa) Aa, since Aa, therefore 60
(f g)(a) = (a,xa) Aa{f(a) g(xa)} f(a) g(xa) f(a) g(a) =(f g)(a). Thus by using Lemma 1, we get f g= f g. Lemma4: Every fuzzy two-sided ideal f of a (2,2) regular S is idempotent. Proof: Let f be a fuzzy two-sided ideal of a (2,2) regular S. For every a S there exists y S such that a (a²y) a² and from Lemma 2, (((ba)a),a) Aa. Since Aa, therefore (f f)(a) = (((ba)a),a) Aa {f((ba)a) f(a)} f(a) f(a) Now by using Lemma 1, f f = f. Corollary: Every fuzzy left ideal of a (2,2) regular S is idempotent. Theorem 2: The set of fuzzy two-sided ideals of a (2,2)regular S forms a semilattice structure with identity S (2,2) regular S and let a S, then there exists y S such that a (a²y) a². Now by using (4), (1) and (3), we have a (a²y)a² =(a²y)(aa) =(aa)(ya²) =(aa)x=(xa)a (x((a²y)a²))a =(x((aa)(ya²)))a =(x((aa)x))a =((aa)(xx))a =((xx)(aa))a =(((aa)x)x)a =(((xa)a)x)a =(((x(((aa)y)(aa)))a)x)a =(((x((aa)(y(aa))))a)x)a =(((x((aa)x))a)x)a =((((aa)(xx))a)x)a =((((xx)(aa))a)x)a =(((a(x²a))a)x)a, where ya²=x S. Thus (((a(x²a))a)x,a) Aa, since Aa, therefore ((f S) f)(a)= (((a(x²a))a)x,a) Aa{(f S)(((a(x²a))a)x) f(a)} Proof: Let F be the set of all fuzzy two-sided ideals of a (2,2) regular S and let f,g,h be in F. Clearly F is closed and by Lemma 4, we have f f = f. Now by using Lemma 3, we get f g = g f. Therefore by using (3) and commutative law, we have (f g) h =(g f) h =(h f) g =(f h) g =(g h) f = f (g h). It is easy to see from Lemma 2 that S is an identity in F. Some fuzzy characterizations In this section, we have characterized fuzzy left (right) ideals, fuzzy two-sided ideals, fuzzy bi-ideals, fuzzy generalized bi-ideals, fuzzy (1,2)-ideals, fuzzy interior ideals and fuzzy quasi ideals of a (2,2) regular ordered AG**-groupoid. Lemma 5: A fuzzy subset f of S is a fuzzy AG**- subgroupoid of S if and only if f f f. Theorem 3: In a (2,2) regular S, the following statements are equivalent. (i) f is a fuzzy bi-(generalized bi-) ideal. (ii) (f S) f = f and f f. Proof: (i) (ii): Assume that f is a fuzzy bi-ideal of a (((a(x²a))a)x,a) Aa{f((a(x²a))a) S(x)} f(a) f((a(x²a))a) 1 f(a) f(a) f(a) f(a) Now by using (4), (1) and (3), we have a (a²y)a²=(aa)(ya²) =(aa)x=(xa)a (x((a²y)(aa)))a =(x((aa)(ya²)))a =(x((aa)x))a =((aa)(xx))a =((xx)(aa))a =(a(x²a))a, where ya²=x S. Thus ((a(x²a)),a) Aa, since Aa, therefore ((f S) f)(a)= ((a(x²a)),a) Aa{(f S)(a(x²a)) f(a)} = ((a(x²a)),a) Aa{ (a,x²a) Aa(x²a) f(a) S(x²a)} f(a) = ((a(x²a)),a) Aa{ (a,x²a) Aa(x²a) f(a)} f(a) = ((a(x²a)),a) Aa {f(a) f(a)} Thus (f S) f = f. Now by using (3), (1), (5) and (4), we have a (a²y)a²=(aa)(ya²) =(aa)x=(xa)a 61
(x((a²y)(aa)))a =(x((aa)(ya²)))a =(x((aa)x))a =((aa)(xx))a =((x²a)a)a ((x²((a²y)(aa)))a)a =((x²((aa)(ya²))a)a =((x²((aa)x)a)a =((x²((xa)a))a)a ((x²((xa)(bc)))a)a =((x²((cb)(ax)))a)a =((x²(a((cb)x)))a)a =((a(x²((cb)x)))a)a, where ya²=x S. Thus ((a(x²((cb)x)))a,a)) Aa, since Aa, therefore a (a²z)a² (xa²)y (6) An element a of S having the form (6) is called an intraregular element of S. In the same way, a (xa²)y (a²z)a² holds for some x,y,z S. This shows that the concepts of (2,2) regular and intra-regular coincide in S. Equivalent statements In this section, we have studied the structural properties of fuzzy left (right) ideals, fuzzy two-sided ideals, fuzzy bi-ideals, fuzzy generalized bi-ideals, fuzzy (1,2)-ideals, fuzzy interior ideals and fuzzy quasi ideals of a (2,2) regular ordered AG**-groupoid and shown that all these fuzzy ideals coincide in a (2,2) regular ordered AG**-groupoid and given an equivalent statement. (f f)(a)= ((a(x²((cb)x)))a,a)) Aa{f((a(x²((cb)x)))a) f(a)} f((a(x²((cb)x)))a) f(a) f(a) f(a) f(a) =f(a), thus by using Lemma 5, f f = f. (ii) (i): Let f be a fuzzy subset of a (2,2) regular S, then f((xy)z)=((f S) f)((xy)z) = (xy,z) A(xy)z{(f S)(xy) f(z)} (x,y) Axy{f(x) S(y)} f(z) f(x) 1 f(z) =f(x) f(z) Since f f = f, therefore by Lemma 5, f is a fuzzy AG**- subgroupoid of a (2,2) regular S. This shows that f is a fuzzy bi ideal of a (2,2) regular S. Theorem 4: In a (2,2) regular S, the following statements are equivalent. (i) f is a fuzzy interior ideal. (ii) (S f ) f = f. Theorem 5: In a (2,2) regular S, the following statements are equivalent. (i) f is a fuzzy (1,2)-ideal. (ii) (f S) (f f) = f and f f. Remark: An element a of S is called a (2,2) regular element of S if there exist some x,y,z S such that a (a²z)a² (xa²)y Indeed by using (5) and (4), we have a (a²z)a² ((aa)(ab))(aa) =((ba)(aa))a² =(xa²)y, where ba= x S and a²= y S. Lemma 6: A fuzzy subset f of a (2,2) regular S is a fuzzy right ideal of a (2,2) regular S if and only if it is a fuzzy left ideal of a (2,2) regular S. Proof: Assume that f is a fuzzy right ideal of S. Since S is a (2,2) regular so for each S there exist x,y S such that a (xa²)y. Now by using (1), we have f(ab) f(((xa²)y)b) =f((by)(xa²)) f(by) f(b). Conversely, assume that f is a fuzzy left ideal of S. Now by using (1), we have f(ab) f(((xa²)y)b) =f((by)(x(aa))) f(x(aa)) f(aa) f(a). Theorem 7: For a fuzzy subset f of a (2,2) regular S, the (i) f is a fuzzy (1,2)-ideal. (ii) f is a fuzzy two-sided ideal. Proof: (i) (ii): Assume that f is a fuzzy (1,2)-ideal of a (2,2) regular S and let a S, then there exist y,z S such that a (ya²)z Now by using (3), (4) and (1), we have f(xa) f(x((ya²)z)) =f((y(aa))(xz)) =f((a(ya))(xz)) f((((ya²)(ez))(ya))(xz)) =f((((ze)(a²y))(ya))(xz)) =f(((a²((ze)y))(ya))(xz)) =f(((ay)(((ze)y)(aa)))(xz)) =f(((ay)((aa)(y(ze))))(xz)) =f((a²((ay)(y(ze))))(xz)) =f(((xz)((ay)(y(ze))))a²) f(((xz)(((yz)(ya²))(y(ze))))a²) =f(((xz)(((yz)(a(ya)))(y(ze))))a²) =f(((xz)((a((yz)(ya)))(y(ze))))a²) 62
=f((a(((xz)((yz)(ya)))(y(ze))))(aa)) f(a) f(a) f(a) This shows that f is a fuzzy left ideal of a (2,2) regular S and by using Lemma 6, f is a fuzzy two-sided ideal of a (2,2) regular S (ii) (i) is obvious. Theorem 6: For a fuzzy subset f of a (2,2) regular S, the (i) f is a fuzzy two-sided ideal. (ii) f is a fuzzy interior ideal. Proof: (i) (ii): Let f be any fuzzy two-sided ideal of a (2,2) regular S, then obviously f is a fuzzy interior ideal of a (2,2) regular S. (ii) (i): Let f be any fuzzy interior ideal of a (2,2) regular S and let a,b S. Since S is (2,2) regular, so there exist x,y,u,v S such that a (xa²)y and b (ub²)v. Thus by using (1), (3) and (2), we have f(ab) f((xa²)y)b) =f((by)(x(aa))) =f((by)(a(xa))) =f((ba)(y(xa))) f(a). Also by using (3), (4) and (2), we have f(ab) f(a((ub²)v)) =f((u(bb))(av)) =f((b(ub))(av)) =f((va)((ub)b)) =f((ub)((va)b)) f(b). Hence f is a fuzzy two-sided ideal of a (2,2) regular S. Theorem 8: A fuzzy subset f of a (2,2) regular S is a fuzzy two-sided ideal if and only if it is a fuzzy quasi ideal. Theorem 9: For a fuzzy subset f of a (2,2) regular S, the (i) f is a fuzzy bi- ideal. (ii) f is a fuzzy generalized bi- ideal. Proof: (i) (ii): Let f be any fuzzy bi-ideal of a (2,2) regular S, then obviously f is a fuzzy generalized bi-ideal of S. (ii) (i): Let f be any fuzzy generalized bi-ideal of a (2,2) regular S, and a,b S. Since S is a (2,2) regular so there exist x,y S such that a (xa²)y. Now by using (5), (4), (2) and (3), we have f(ab) f(((x(aa))y)b) =f(((x(aa))(uv))b) =f(((vu)((aa)x))b) =f(((aa)((vu)x))b) =f(((x(vu))(aa))b) =f((a((x(vu))a))b) f(a) f(b). Therefore f is a fuzzy bi-ideal of a (2,2) regular S. Theorem 10: For a fuzzy subset f of a (2,2) regular S, the (i) f is a fuzzy two-sided. (ii) f is a fuzzy bi- ideal. Proof: (i) (ii): Let f be any fuzzy two- sided ideal of a (2,2) regular S, then obviously f is a fuzzy bi-ideal of S. (ii) (i): Let f be any fuzzy bi-ideal of a (2,2) regular S. Since S is a (2,2) regular so for each a,b S there exist x,y,u,v S such that a (xa²)y and b (ub²)v. Now by using (1), (4), (2) and (3), we have f(ab) f(((xa²)y)b) =f((by)(xa²)) =f((a²x)(yb)) =f(((yb)x)(aa)) =f((aa)(x(yb))) =f(((x(yb))a)a) f(((x(yb))((xa²)y))a) =f(((xa²)((x(yb))y))a) =f(((y(x(yb)))(a²x))a) =f(((aa)((y(x(yb)))x))a) =f(((x(y(x(yb))))(aa))a) =f((a((x(y(x(yb))))a))a) f(a) f(a) Now by using (3), (4) and (1), we have f(ab) f(a(ub²)v) =f((ub²)(av)) =f((va)(b²u)) =f((bb)((va)u)) =f((((va)u)b)b) f((((va)u)((ub²)v))b) =f(((ub²)(((va)u)v))b) =f(((v((va)u))(b²u))b) =f(((bb)((v((va)u))u))b) =f(((u(v((va)u)))(bb))b) =f((b((u(v((va)u)))b))b) f(b) f(b) =f(b). Therefore f is a fuzzy two-sided ideal of a (2,2) regular S. Theorem 11: For a fuzzy subset f of a (2,2) regular S, the (i) f is a fuzzy left ideal of a (2,2) regular S. (ii) f is a fuzzy right ideal of a (2,2) regular S. (iii) f is a fuzzy (1,2)-ideal of a (2,2) regular S. (iv) f is a fuzzy two-sided ideal of a (2,2) regular S. (v) f is a fuzzy bi-ideal of a (2,2) regular S. (vi) f is a fuzzy generalized bi-ideal of a (2,2) regular S. (vii) f is a fuzzy interior ideal of a (2,2) regular S. (viii) f is a fuzzy quasi ideal of a (2,2) regular S. (ix) S f = f S = S. 63
Proof: (i) (ix): It follows from Lemma 2. (ix) (viii) is obvious and (viii) (vii) is simple. (vii) (vi): It follows from Theorems 6, 10 and 9. (vi) (v): It follows from Theorem 9. (v) (iv): It follows from Theorem 10. (iv) (iii): It follows from Theorem 7. (iii) (ii) and (ii) (i) can be followed from Theorem 7 and Lemma 6. REFERENCES [1] C. L.Chang, Fuzzy topological spaces, J. Math. Anal. Appl, 24 (1968), 182-190. [2] M. A. Kazim and M. Naseeruddin, On almost semigroups, The Alig. Bull. Math., 2 (1972), 1-7. [3] Madad Khan, Some studies in AG*- groupoids, Ph. D., thesis, Quaid-i-Azam University, Islamabad, Pakistan, (2008). [4] Madad Khan and Faisal, On fuzzy ordered Abel Grassmann's groupoids, Journal of Mathematics Research, 3 (2011), 27-40. [5] N. Kuroki, Fuzzy bi-ideals in semigroups, Comment. Math. Univ. St. Pauli, 27 (1979), 17-21. [6] J. N. Mordeson, D. S. Malik and N. Kuroki, Fuzzy semigroups. Springer-Verlag, Berlin, Germany (2003). [7] Q. Mushtaq and S. M. Yusuf, On LA-semigroups, The Alig. Bull. Math., (1978), 65-70. [8] Q. Mushtaq and S. M. Yusuf, On LA-semigroup defined by a commutative inverse semigroup. Math. Bech., 40 (1988), 59-62. [9] M. Naseeruddin, Some studies in almost semigroups and flocks, Ph.D., thesis. Aligarh Muslim University, Aligarh, India, (1970). [10] P. V. Protić and N. Stevanović, AG-test and some general properties of Abel-Grassmann's groupoids, PU. M. A., 6 (1995), 371-383. [11] N. Stevanović and P. V. Protić, Composition of Abel- Grassmann's 3-bands, Novi Sad, J. Math., 2 (2004), 175-182. [12] A. Rosenfeld, Fuzzy groups, J. Math. Anal. Appl., 35 (1971), 512-517. [13] X. Y. Xie and J. Tang, Fuzzy radicals and prime fuzzy ideals of ordered semigroups,inform. Sci., 178 (2008), 4357-4374. [14] L. A. Zadeh, Fuzzy sets. Inform. control 8 (1965), 338-353. 64