CC BY
14
2019 Теоретические основы прикладной дискретной математики №43
udc 512.53 doi 10.17223/20710410/43/3
CHARACTERIZATIONS OF NON ASSOCIATIVE ORDERED
SEMIGROUPS BY THE PROPERTIES OF THEIR FUZZY IDEALS
WITH THRESHOLDS (а, в]
K. Nasreen
Quaid-i-Azam University, Islamabad, Pakistan
E-mail: kausar.nasreen57@gmail.com
In this paper, we give the characterizations of regular (intra-regular, both regular and intra-regular) ordered AG-groupoids by the properties of fuzzy (left, right, quasi-, bi-, generalized bi-) ideals with thresholds (а, в]-
Keywords: fuzzy left (right, interior, quasi-, bi-, generalized bi-) ideals with thresholds (а, в], regular (intra-regular) ordered AG-groupoids.
Introduction
In 1972, a generalization of commutative semigroups has been established by Kazim et al [1]. In ternary commutative law: abc = cba, they introduced the braces on the left side of this law and explored a new pseudo associative law, that is (ab)c = (cb)a. This law is called the left invertive law. A groupoid S is said to be a left almost semigroup (abbreviated as LA-semigroup) if it satisfies the left invertive law. This structure is also known as Abel — Grassmann's groupoid (abbreviated as AG-groupoid) [2]. An AG-groupoid is a midway structure between an abelian semigroup and a groupoid. Mushtaq et al [3] investigated the concept of ideals of AG-groupoids.
In [4] (resp. [5]), a groupoid S is said to be medial (resp. paramedial) if (ab)(cd) = = (ac)(bd) (resp. (ab)(cd) = (db)(ca)). In [1], an AG-groupoid is medial, but in general an AG-groupoid needs not to be paramedial. Every AG-groupoid with left identity is paramedial by Protic et al [2] and also satisfies a(bc) = b(ac), (ab)(cd) = (dc)(ba).
Algebraic structures play a prominent role in mathematics with wide ranging applications in many disciplines such as theoretical physics, computer sciences, control engineering, information sciences, coding theory, topological spaces and the like.
Although semigroups concentrate on theoretical aspects, they also include applications in error-correcting codes, control engineering, formal language, computer science and information science.
Algebraic structures especially ordered semigroups play a prominent role in mathematics with wide ranging applications in many disciplines such as control engineering, computer arithmetics, coding theory, sequential machines and formal languages.
In [6], if (S, •, ^) is an ordered semigroup and 0 = A С S, we define a subset of S as follows: (A] = {s E S : s ^ a for some a E A}. A non-empty subset A of S is called a subsemigroup of S if A2 С A.
A non-empty subset A of S is called a left (resp. right) ideal of S if the following conditions hold: (1) SA С A (resp. AS С A); (2) if a E A and b E S such that b ^ a implies b E A. Equivalent definition: A is called a left (resp. right) ideal of S if (A] С A and SA С A (resp. AS С A).
In [6, 7], an ordered semigroup S is said to be a regular if for every a E S, there exists an element x E S such that a ^ axa. Equivalent definitions are as follows: (1) A С (ASA]
for every A C S; (2) a E (aSa] for every a E S .In [7, 8], an ordered semigroup S is said to be an intra-regular if for every a E S there exist elements x,y E S such that a ^ xa2y. Equivalent definitions are as follows: (1) A C (SA2S] for every A C S; (2) a E (Sa2S] for every a E S.
We will define the concept of fuzzy left (resp. right, interior, quasi-, bi-, generalized bi-) ideals with thresholds (a, ft] of an ordered AG-groupoid S. We will establish a study by discussing the different properties of such ideals. We will also characterize regular (resp. intra-regular, both regular and intra-regular) ordered AG-groupoids by the properties of fuzzy left (right, quasi-, bi-, generalized bi-) ideals with thresholds (a, ft].
1. Fuzzy ideals with thresholds (a, ft] in ordered AG-groupoids
An ordered AG-groupoid S is a partially ordered set, at the same time an AG-groupoid such that a ^ b implies ac ^ bc and ca ^ cb for all a,b,c E S. Two conditions are equivalent to the one condition (ca)d ^ (cb)d for all a, b,c,d E S.
Let S be an ordered AG-groupoid and 0 = A C S, we define a subset (A] = {s E S : s ^ a for some a E A} of S, obviously A C (A]. If A = {a}, then we write (a] instead of ({a}]. For 0 = A,B C S, then AB = {ab : a E A,b E B}, ((A]] = (A], (A](B] C (AB], ((A](B]] = (AB], if A C B, then (A] C (B], (A n B] = (A] n (B] in general.
For 0 = A C S, A is called an ordered AG-subgroupoid of S if A2 C A; A is called a left (resp. right) ideal of S if the following hold: (1) SA C A (resp. AS C A); (2) if a E A and b E S such that b ^ a implies b E A. Equivalent definition: A is called a left (resp. right) ideal of S if (A] C A and SA C A (resp. AS C A). A is called an ideal of S if A is both a left ideal and a right ideal of S. In particular, if A and B are any types of ideals of S, then (A n B] = (A] n (B].
We denote by L(a), R(a), I (a) the left ideal, the right ideal and the ideal of S respectively, generated by a. We have L(a) = {s E S : s ^ a or s ^ xa for some x E S} = = (a U Sa], S(a) = (a U aS], I (a) = (a U Sa U aS U (Sa)S].
First time, Zadeh introduced the concept of fuzzy set in his classical paper [9] of 1965. This concept has provided a useful mathematical tool for describing the behavior of systems that are too complex to admit precise mathematical analysis by classical methods and tools. Extensive applications of fuzzy set theory have been found in various fields such as artificial intelligence, computer science, management science, expert systems, finite state machines, languages, robotics, coding theory and others.
Since then, many papers on fuzzy sets appeared showing the importance of the concept and its applications to logic, set theory, groupoids, semigroup, ordered semigroup, group theory, real analysis, measure theory, topology, etc.
Rosenfeld [10] was the first, who introduced the concept of fuzzy set in a group. The study of fuzzy set in semigroups was established by Kuroki [11, 12]. He studied fuzzy ideals and fuzzy interior (resp. quasi-, bi-, generalized bi-, semiprime, semiprime quasi-) ideals of semigroups. A systematic exposition of fuzzy semigroups appeared by Mordeson et al [13], where one can find the theoretical results on fuzzy semigroups and their use in fuzzy finite state machines and languages. Fuzzy sets in ordered semigroups/ordered groupoids were first explored by Kehayopulu et al [14, 15]. They also studied fuzzy ideals and fuzzy interior (resp. quasi-, bi-, generalized bi-) ideals in ordered semigroups.
By a fuzzy subset ^ of an ordered AG-groupoid S, we mean a function ^ : S ^ [0,1], the complement of ^ is denoted by , is a fuzzy subset of S defined by ^'(x) = 1 — ^(x) for all x S.
A fuzzy subset ^ of S is called a fuzzy ordered AG-subgroupoid of S if y(xy) ^ ^(x) A ^(y) for all x,y E S; ^ is called a fuzzy left (resp. right) ideal of S if
(1) y(xy) ^ ^(y) (resp. ^(xy) ^ ^(x)); (2) x ^ y implies ^(x) ^ ^(y) for all x,y E S; ^ is a fuzzy ideal of S if ^ is both a fuzzy left and a fuzzy right ideal of S. Every fuzzy ideal (whether left, right, two-sided) is a fuzzy AG-subgroupoid of S but the converse is not true in general.
We denote by F(S) the set of all fuzzy subsets of S. For 0 = A C S, the characteristic function of A is denoted by xa and defined by
. . ¡1, if a E A, XA(a) = <
10, if a E A.
Let ^,7 E F(S); by the symbols ^ A y and ^ V 7 we mean the following fuzzy subsets: (^ A 77)(x) = min{^(x),7f(x)} and (^ V 7)(x) = max{^(x), 7(x)}.
An ordered AG-groupoid S can be considered a fuzzy subset of itself and we write S = Xs, i.e., S(x) = Xs(x) = 1 for all x E S. This implies that S(x) = 1 for all x E S.
Let x E S, we define a set Ax = {(y,z) E S x S : x ^ yz}. Let ^ and 7 be two fuzzy subsets of S, then product of ^ and 7 is denoted by ^ o 7 and defined by:
[ V min{^(y),7(z)}, if Ax = 0, (^ o 7)(x) = < (y,z)eAx
{ 0, if Ax = 0.
A fuzzy subset ^ of S is called a fuzzy interior ideal of S if: (1) ^ ((xy)z) ^ y); (2) x ^ y implies ^(x) ^ ^(y) for all x,y,z E S .A fuzzy subset ^ of S is called a fuzzy quasi-ideal of S if: (1) (^ o S) fl (S o ^) C (2) x ^ y implies ^(x) ^ ^(y) for all x,y E S .A fuzzy AG-subgroupoid ^ of S is called a fuzzy bi-ideal of S if: (1) ^((xa)y) ^ mln{^(x), ^(y)};
(2) x ^ y implies ^(x) ^ ^(y) for all x,a,y E S .A fuzzy subset ^ of S is called a fuzzy generalized bi-ideal of S if: (1) ^((xa)y) ^ min{^(x), ^(y)}; (2) x ^ y implies ^(x) ^ ^(y) for all x,a,y E S.
Every fuzzy bi-ideal of S is a fuzzy generalized bi-ideal of S, but the converse is not true. A fuzzy ideal ^ of S is called a fuzzy idempotent of S if ^ o ^ = ^.
Now we define fuzzy ordered AG-subgroupoid with thresholds (a, ft] and fuzzy left (resp. right, interior, quasi-, bi-, generalized bi-) ideals with thresholds (a, ft] of an ordered AG-groupoid S.
A fuzzy subset ^ of an ordered AG-groupoid S is called a fuzzy ordered AG-subgroupoid with thresholds (a, ft] of S if max{^(xy), a} ^ min{^(x), ^(y), ft}. A fuzzy subset ^ of S is called a fuzzy left ideal with thresholds (a, ft] of S if: (1) max{^(xy),a} ^ mln{^(y),ft}; (2) x ^ y implies ^(x) ^ ^(y) for all x,y E S and a, ft E (0,1] such that a < ft .A fuzzy subset ^ of S is called a fuzzy right ideal with thresholds (a, ft] of S if: (1) max{^(xy), a} ^ ^ min{^(x),ft}; (2) x ^ y implies ^(x) ^ ^(y) for all x,y E S and a, ft E (0,1] such that a < ft.
A fuzzy subset ^ of S is called a fuzzy ideal with thresholds (a, ft] of S if it is both a fuzzy left and a fuzzy right ideal with thresholds (a, ft]. Every fuzzy ideal (whether left, right, two-sided) with thresholds (a, ft] is a fuzzy ordered AG-subgroupoid of S but the converse is not true in general.
A fuzzy subset ^ of S is called a fuzzy interior ideal with thresholds (a, ft] of S if: (1) max{^((xy)z),a} ^ min{^(y), ft}; (2) x ^ y implies ^(x) ^ ^(y) for all x,y,z E S
and a,ß G (0,1] such that а < ß .A fuzzy subset ß of S is called a fuzzy quasi-ideal with thresholds (a,ß] of S if: (1) max{ß(x),a} ^ min{(ß о S)(x), (S o ß)(x),ß}; (2) x ^ y implies ß(x) ^ ß(y) for all x,y G S and a,ß G (0,1] such that а < ß.
A fuzzy ordered AG-subgroupoid ß with thresholds (a,ß] of S is called a fuzzy bi-ideal with thresholds (a,ß] of S if: (1) max{ß((xy)z), а} ^ min{ßA(x),ßA(z),ß}; (2) x ^ y implies ß(x) ^ ß(y) for all x,y,z G S and a,ß G (0,1] such that а < ß.
A fuzzy subset ß of S is called a fuzzy generalized bi-ideal with thresholds (а, ß] of S if: (1) max{ß((xy)z), а} ^ min{ß(x), ß(z), ß}; (2) x ^ y implies ß(x) ^ ß(y) for all x,y,z G S and а, ß G (0,1] such that а < ß.
Every fuzzy bi-ideal with thresholds (а,ß] of S is a fuzzy generalized bi-ideal with thresholds (а,[5] of S, but the converse is not true.
Let ß be a fuzzy set of an ordered AG-groupoid S and а,ß G (0,1] such that а < ß. We define a fuzzy subset ßi of S as follow: ßi(x) = (ßA(x) Л ß) V а for all x G S.
Let ß and y be two fuzzy subsets of an ordered AG-groupoid S. We define fuzzy sets ß Лß y, ß va y, ß о^ y and ß — a Y of S as follows:
(ßA Лß ßB)(x) = {(ßA Л ßB)(x) Л ß} V а, (ßA Vi ßB)(x) = {(ßA V ßB)(x) Л ß} V а, (ßA oi ßB)(x) = {(ßA о ßB)(x) Л ß} V а, (ßA — a ßB)(x) = {(ßA — ßB)(x) Л ß} V а
for all x G S. Now we are giving the central properties of such ideals of an S, which will be very helpful for further sections.
Lemma 1. Let S be an ordered AG-groupoid. Then the following properties hold:
(1) (ß oi Y) oi S =(5 oi y) oi ß;
(2) (ß oi y) oi (S oi X) = (ß oi S) oi (y oi X) for all fuzzy subsets ß,Y,S and X of S.
Proof. Let ß, y and S be fuzzy subsets of an ordered AG-groupoid S. We have to show that (ß oi y) oi S = (S oi y) oi ß. Now
((ß oßa Y) oi S)(x) = {((ß o y) o S)(x) Л ß} V а = {((S o y) o ß)(x) Л ß} V а =
= ((S oi Y) oi ß)(x).
In same lines, we can prove (2). ■
Proposition 1. Let S be an ordered AG-groupoid with left identity e. Then the following assertions hold:
(1) ß oi (Y oi S) = Y oi (ß oi S);
(2) (ß oia y) oi (S oi X) = (XoOx y) oi (S oi ß);
(3) (ß oi Y) oi (S oi X) = (X oi S) oi (y oi ß)
for all fuzzy subsets ß,Y,S and X of S. Proof. Same as Lemma 1. ■
Theorem 1. Let A and B be two non-empty subsets of an ordered AG-groupoid S. Then the following conditions hold:
(1) XA oi XB = (X(AB])Ot;
(2) XA Vi XB = (xaub)i;
(3) XA ^ xb = (XAC\B)i.
Proof. Straight forward. ■
Theorem 2. Let A be a non-empty subset of an ordered AG-groupoid S. Then the following properties hold:
(1) A is an AG-subgroupoid of S if and only if xa is a fuzzy AG-subgroupoid with thresholds (a, ft] of S;
(2) A is a left (resp. right, two-sided) ideal of S if and only if xa is a fuzzy left (resp. right, two-sided) ideal with thresholds (a, ft] of S.
Proof.
(1) Let A be an AG-subgroupoid of an ordered AG-groupoid S and x,y E S. If x, y E A, then by definition of characteristic function xa (x) = 0 = xa (y). Thus
Xa(xy) > min{XA(x),Xa(y)} = min{XA(x),Xa(y),ft} ^
^ Xa (xy) > min{XA (x),Xa (y),ft} ^ max{XA (xy),a} > min{XA (x),Xa (y),ft}.
In same lines, we have max{xA(xy),a} ^ min{xA(x),xA(y),ft}, when x,y E A. Hence the characteristic function xa of A is a fuzzy AG-subgroupoid with thresholds (a, ft]of S.
Conversely, suppose that the characteristic function xAof A is a fuzzy AG-subgroupoid with thresholds (a, ft] of an ordered AG-groupoid S. Let x,y E A, then by definition
Xa (x) = 1 = Xa (y). Since max{XA (xy),a} > min{XA (x),Xa (y),ft} = ft, XA being a fuzzy AG-subgroupoid with thresholds (a, ft] of S. Thus max{xA(xy),a} ^ ft, this implies that XA(xy) = 1, i.e., xy E A. Hence A is an AG-subgroupoid of S.
(2) Let A be a left ideal of an ordered AG-groupoid S and x,y E S .If y E A, then by definition of characteristic function xa (y) = 0. Thus
Xa (xy) > Xa (y) = min{XA (y),ft} ^ ^ Xa (xy) > min{XA (y),ft} ^ max{XA (xy),a} > min{XA (y),ft}.
Similarly, we have max{xA(xy),a} ^ min{xA(y),ft}, when y E A. Therefore the characteristic function xa of A is a fuzzy left ideal with thresholds (a, ft] of S.
Conversely, assume that the characteristic function xAof A is a fuzzy left ideal with thresholds (a, ft] of an ordered AG-groupoid S. Let y E Aand z E S, then by definition XA(y) = 1.Since max{xA(zy), a} ^ min{xA(y),ft} = ft, XA being a fuzzy left ideal with thresholds (a, ft] of S. Thus max{xA(zy), a} ^ ft. This implies that xA(zy) = 1, i.e., zy E A. Therefore A is a left ideal of S. ■
Theorem 3. Let ^ be a fuzzy subset of an ordered AG-groupoid S. Then the following assertions hold:
(1) ^ is a fuzzy ordered AG-subgroupoid with thresholds (a, ft] of S if and only if
v v C vi;
(2) v is a fuzzy left (resp. right) ideal with thresholds (a, ft] of S if and only if So^v C vi
(resp. v °i S C vi).
Proof.
(1) Suppose that v is a fuzzy AG-subgroupoid with thresholds (a, ft] of an ordered AG-groupoid S and x E S .If (v v)(x) = 0, then obvious v °i v C vi, otherwise we have
(v oi v)(x) = {(v ° v)(x) A ft}V a =U \J min{v(y), v(z)}) A ft] V a ^
L \v,z)eAx J J
V min{v(yz)} A ft\ V a = {v(x) A ft} V a = vi(x) ^ v °i v C vi.
Conversely, assume that p oa p C pa. Let x, y E S such that a ^ xy. Now
max{p(xy), a} ^ max{p(a), a} = max{min{p(a), ft}, a} = p^(a) ^ (p oa p)(a) =
= {(p o p)(a) A ft} V a =U V min{p(s),p(t)}) A ft) V a ^
1 \s,t)eAa J J
^ {p(x) A p (y) A ft} V a = p(x) A p (y) A ft = min{p(x),p (y) , ft} ^ ^ max{p(xy), a} ^ min{p(x), p (y) , ft}.
Hence p is a fuzzy AG-subgroupoid with thresholds (a, ft] of S.
(2) Suppose that p is a fuzzy left ideal with thresholds (a, ft] of an ordered AG-grou-poid S and x E S .If (S oa p)(x) = 0, then obvious S oa p C pa, otherwise we have
(S oa p)(x) = {(S o p)(x) A ft }V a =\( V min{S (y),p(z)})A ft] V a =
1 \y,z)eAx J J
= U V min{1,p(z)}) A ft)V a =U \J min{p(z)}) A ft) V a ^ 1 \v,z)eAx J J l\y,z)eAx J J
V min{p(yz)}) A ft) V a = (p(x) A ft) V a = ^(x) ^ S oa p C ^.
L \v,z)£Ax / J
Conversely, assume that S o^ p C pa. Let y, z E S such that x ^ yz. Now
max{p(yz), a} ^ max{p(x), a} = max{min{p(x), ft}, a} = ^(x) ^ (S oa p)(x) = = {(S o p)(x) A ft }V a = \( V min{S(s),p(t)}) A ft) V a ^ ((S (y) A p (z)) A ft) V a =
1 (s,t)eAx J J
= (1 A p (z)) A ft = min{p (z) , ft} ^ max{p(yz), a} ^ min{p (z) , ft}.
Therefore p is a fuzzy left ideal with thresholds (a, ft] of S. ■
Lemma 2. If p and 7 are two fuzzy AG-subgroupoid (resp. (left, right, two-sided) ideals) with thresholds (a, ft] of an ordered AG-groupoid S, then p Aa 7 is also a fuzzy AG-subgroupoid (resp. (left, right, two-sided) ideal) with thresholds (a, ft] of S.
Proof. Let p and 7 be two fuzzy AG-subgroupoids with thresholds (a, ft] of an ordered AG-groupoid S. We have to show that pAa 7 is also a fuzzy AG-subgroupoid with thresholds (a, ft] of S. Now a
max{(p Aa 7)(xy), a} = max{{{(p A 7)(xy) A ft} V a}, a} = {(p A 7)(xy) A ft} V a =
= {p(xy) A 7(xy) A ft}V a ^ {p(x) A p(y) A 7(x) A 7(y) A ft} V a = = {p(x) A 7(x) A p(y) A 7(y) A ft}V a = {(p A 7)(x) A (p A 7)(y) A ft A ft A ft}V a = = {((p A 7)(x) A ft) A ((p A 7)(y) A ft) A ft}V a = = ({(p A 7)(x) A ft} V a) A ({(p A 7)(y) A ft}V a) A (ft V a) = = (p Aa 7)(x) A (p Aa 7)(y) A ft = min{(p Aaa 7)(x), (p Aaa 7)(y),ft}.
Thus max{(p Aa 7)(xy),a} ^ min{(p Aa 7)(x), (p Aa 7)(y),ft}. Hence p Aa 7 is a fuzzy AG-subgroupoid with thresholds (a, ft] of S. ■
Lemma 3. If p and 7 are two fuzzy AG-subgroupoids with thresholds (a, ft] of an ordered AG-groupoid S, then p oa 7 is also a fuzzy AG-subgroupoid with thresholds (a, ft]
of S. a
Proof. Suppose that v and y are two fuzzy AG-subgroupoids with thresholds (a, ft] of an ordered AG-groupoid S. We have to show that v °0x Y is also a fuzzy AG-subgroupoid with thresholds (a, ft] of S. Now
(v y)2 = (v y) (v °l3a y) = (v °l3a v) °l3a (y °l3a y) C vi °i = v °i y.
Therefore v °0x Y is a fuzzy AG-subgroupoid with thresholds (a, ft] of S. ■
Remark 1. If v is a fuzzy AG-subgroupoid with thresholds (a, ft] of an ordered AG-groupoid S, then v °a v is also a fuzzy AG-subgroupoid with thresholds (a, ft] of S.
Lemma 4. Let S be an ordered AG-groupoid with left identity e. Then every fuzzy right ideal with thresholds (a, ft] of S is a fuzzy ideal with thresholds (a, ft] of S.
Proof. Suppose that v is a fuzzy right ideal with thresholds (a, ft] of an ordered AG-subgroupoid S and x, y S. Thus
max{v (xy), a} = max{v ((ex) y) ,a} = max{v ((yx) e) ,a} ^ ^ min{v (yx) , ft} ^ min{v (y) , ft}.
Therefore v is a fuzzy ideal with thresholds (a, ft] of S. ■
Lemma 5. If v and y are two fuzzy left (resp. right) ideals with thresholds (a, ft] of an ordered AG-groupoid S with left identity e, then v °i Y is also a fuzzy left (resp. right) ideal with thresholds (a, ft] of S.
Proof. Let v and y be two fuzzy left ideals with thresholds (a, ft] of an ordered AG-groupoid S. We have to show that v °i Y is also a fuzzy left ideal with thresholds (a, ft] of S. Now
s °a (v y ) = (s s ) (v y ) = (s v) (s y ) c v y.
Hence v °i Y is a fuzzy left ideal with thresholds (a, ft] of S. Similarly, we can prove for right ideals. ■
Remark 2. If v is a fuzzy left (resp. right) ideal with thresholds (a, ft] of an ordered AG-groupoid S with left identity e, then v v is a fuzzy ideal with thresholds (a, ft] of S.
Lemma 6. If v and y are two fuzzy ideals with thresholds (a, ft] of an ordered AG-groupoid S, then v °a Y C v A^ Y.
Proof. Let v and y be two fuzzy ideals with thresholds (a, ft] of an ordered AG-groupoid S and x E S .If (v °a Y)(x) = 0, then obvious v °i Y C v A0. Y, otherwise we have
(v Y)(x) = {(v ° Y )(x) a ft} V a =\( V min{v(y),Y(z)}) A ^ V a ^
L \y,z)eAx / J
^^ V min{v(yz),Y(yz)}) A ft] V a = U \J min{(v A y)(yz)}) A ft) V a =
L \y,z)eAx J J L \y,z)eAx J J
= {(v A y)(x) A ft} V a = (v A? y)(x).
Therefore v °0x Y C v A0. Y. ■
Remark 3. If v is a fuzzy ideal with thresholds (a, ft] of an ordered AG-groupoid S,
then v °a v C va.
Lemma 7. Let S be an ordered AG-groupoid. Then p oa 7 C p Aa 7 for every fuzzy right ideal p with thresholds (a, ft] and for every fuzzy left ideal 7 with thresholds (a, ft] of S.
Proof. Same as Lemma 6. ■
Theorem 4. Let A be a non-empty subset of an ordered AG-groupoid S. Then the following conditions are true:
(1) A is an interior ideal of S if and only if xa is a fuzzy interior ideal with thresholds (a, ft] of S;
(2) A is a quasi-ideal of S if and only if xa is a fuzzy quasi-ideal with thresholds (a, ft] of S;
(3) A is a bi-ideal of S if and only if xa is a fuzzy bi-ideal with thresholds (a, ft] of S;
(4) A is a generalized bi-ideal of S if and only if xa is a fuzzy generalized bi-ideal with thresholds (a, ft] of S.
Proof.
(1) Let A be an interior ideal of an ordered AG-groupoid S. Let x,y,a E S .If a E A, then by definition of characteristic function xA(a) = 0. Thus
XA((xa)y) > XA(a) = min{XA(a),ft} ^ XA((xa)y) > min{XA(a),ft} ^ ^ max{xA((xa)y),a} ^ min{xA(a),ft}.
Similarly, we have max{xA((xa)y), a} ^ min{xA(a),ft}, when a E A. Hence the characteristic function xa of A is a fuzzy interior ideal with thresholds (a, ft] of S.
Conversely, suppose that the characteristic function xAof A is a fuzzy interior ideal with thresholds (a, ft] of S. Let t E (SA)S, so t = (xa)y, where a E A and x,y E S. Then by definition xA(a) = 1. Since max{xA((xa)y),a} ^ min{xA(a),ft} = ft, xa being a fuzzy interior ideal with thresholds (a, ft] of S. This implies that XA((xa)y) ^ ft, thus XA((xa)y) = 1, i.e., (xa)y E A. Hence A is an interior ideal of S.
(2) Let A be a quasi-ideal of S. Let x E S and x E A, then x E SA or x E AS. If x E SA, then by definition of characteristic function (S o xA)(x) = 0. Thus max{xA(x),a} ^ 0 = = min{(xA o S) (x), (S o xa) (x),ft}. If x E A, then max{xA(x), a} = 1 ^ min{(xA o S) (x), S o xA(x),ft}. Therefore the characteristic function xa of A is a fuzzy quasi-ideal with thresholds (a, ft] of S.
Conversely, assume that the characteristic function xa of A is a fuzzy quasi-ideal with thresholds (a, ft] of S. Let x be an element of AS f SA, this means that x E AS and SA. Since
max{XA(x),a} > min{(XA o S)(x), (S o Xa)(x),ft} = min{(XA o XsX^ (Xs o Xa)(x),ft} = = min{xAs(x),xsA(x),ft} = ft ^ max{xA(x),a} ^ ft.
Thus xA(x) = 1, i.e., x E A. Therefore A is a quasi-ideal of S.
(3) Let A be a bi-ideal of S. Let x,y,a E S. If x,y E A, then by definition of characteristic function xA(x) = XA(y) = 0. Thus
XA((xa)y) > XA(x) A XA(y) = min{XA(x),XA(y),ft} ^ XA((xa)y) > min{XA(x),XA(y),ft} ^
^ max{XA((xa)y),a} ^ min{XA(x),XA(y),ft}.
Similarly, we have max{xA((xa)y), a} ^ min{xA(x),xA(y),ft}, when x,y E A. Hence the characteristic function xa of A is a fuzzy bi-ideal with thresholds (a, ft] of S.
Conversely, suppose that the characteristic function xAof A is a fuzzy bi-ideal with thresholds (a, ft] of S. Let t G (AS)A, so t = (xa)y, where x,y G A and a G S. Then by definition xa(x) = xa(v) = 1. As max{xA((xa)y), a} ^ min{xA(x), xa(v), ft} = ft, Xa being a fuzzy bi-ideal with thresholds (a, ft] of S. This implies that xA((xa)y) ^ ft, thus XA((xa)y) = 1, i.e., (xa)y G A. Hence A is bi-ideal of S. Similarly, we can prove (4). ■
Theorem 5. Let a be a fuzzy subset of an ordered AG-groupoid S. Then a is a fuzzy interior ideal with thresholds (a, ft] of S if and only if (S oP a) oP S C aP.
Proof. Suppose that a is a fuzzy interior ideal with thresholds (a, ft] of an ordered AG-groupoid S and x G S .If ((S oa a) oa S)(x) = 0, then obvious (S oa a) oa S C aP, otherwise there exist a,b,c,d G S such that x ^ ab and a ^ cd. Since a is a fuzzy interior ideal with thresholds (a, ft] of S, this implies that max{a((cd)b), a} ^ min{a(d),ft}. Now
/ a)
a oa
((S oa a) oa S)(x) = {((S o a) o S)(x) A ft} V a =
V min{(S o a)(a),S (b)}) A ft) V a =\( V min{(S o a)(a), 1}) A ft) V a =
= {( V min{(S o a)(a)}) A ft) V a =
L \a,b)eAx J J
V min{( V min{S (c),a(d)})\) A ft) V a =
,b)eAx L \c,d)eAa J
V minjf V min{1,a(d)}))) A ft) V a =
(a,b)EAx L \c,d)eAa / J / J
V minjf V min{a(d)}))) A ft) V a = {( V min{a(d)}) A ft) V a ^
(a,b)eAx 1 \c,d)eAa 1 \(c,d),b)eAx ' J
^ {( V min{a((cd)b)}) A 4 V a = {a(x) a ft} v a = ai(x) ^ (S oa a) oa S C ai.
1 \(c,d),b)eAx / J
Conversely, assume that (S oP a) oP S C aP and x,y,z G S such that a ^ (xy)z. Now max{a((xy)z),a} = max{min{a((xy)z), ft},a} ^ max{min{a(a), ft}, a} = aP(a) ^
^ ((S oa a) oa S)(a) = {((S o a) o S)(a) A ft} V a
V min{(S o a)(s),S(t) N A ft ^ V a ^ {((S o a) (xy) A S (z)) A ft} V a
(s,t)eAa J J
= {((S o a) (xy) A 1) A ft} V a = {(S o a) (xy) A ft} V a =
V min{S(m),a(n)}J A ft J- V a ^ {(S (x) A a (y)) A ft} V a =
(m,n)eAxy
= {(1 A a (y)) A ft} V a = a(y) A ft = min{a(y), ft} ^ max{a((xy)z), a} ^ min{a(y), ft}.
Therefore a is a fuzzy interior ideal with thresholds (a, ft] of S. ■
Theorem 6. Let a be a fuzzy ordered AG-subgroupoid with thresholds (a, ft] of an ordered AG-groupoid S. Then a is a fuzzy bi-ideal with thresholds (a, ft] of S if and only
if (a oa S) oa a C aP.
Proof. Same as Theorem 5. ■
Theorem 7. Let a be a fuzzy subset of an ordered AG-groupoid S. Then a is a fuzzy generalized bi-ideal with thresholds (a, ft] of S if and only if (a oP S) oP a C aP.
Proof. Same as Theorem 5. ■
Lemma 8. If p and 7 are two fuzzy bi- (resp. generalized bi-, quasi-, interior) ideals with thresholds (a, ft] of an ordered AG-groupoid S, then p Aa 7 is also a fuzzy bi- (resp. generalized bi-, quasi-, interior) ideal with thresholds (a, ft] of S.
Proof. Let p and 7 be two fuzzy bi-ideals with thresholds (a, ft] of an ordered AG-groupoid S. We have to show that p Aa 7 is also a fuzzy bi-ideal with thresholds (a, ft] of S. Since p and 7 are fuzzy AG-subgroupoids with thresholds (a, ft] of S then p Aa 7 is also a fuzzy AG-subgroupoid with thresholds (a, ft] of S by the Lemma 2. We have to show that
max{(p Aa 7 )((xa)y),a} > min{(p Aa 7)(x), (p Aa 7 )(y),ft}. N°w
max{(p Aa 7)((xa)y), a} = max{{{(p A 7)((xa)y) A ft}V a}, a} = = {(p A 7)((xa)y) A ft}V a = {p((xa)y) A 7((xa)y) A ft} V a ^ ^ {p(x) A p(y) A 7(x) A 7(y) A ft}V a = {p(x) A 7(x) A p(y) A 7(y) A ft} V a = ={(p A 7)(x) A (p A 7)(y) A ft A ft A ft}V a={((p A 7)(x) A ft) A ((p A 7)(y) A ft) A ft}V a= = ({(p A 7)(x) A ft} V a) A ({(p A 7)(y) A ft}V a) A (ft V a) = = (p Aa 7)(x) A (p Aa 7)(y) A ft = min{(p Aaa 7)(x), (p Aaa 7)(y),ft}.
Thus max{(p Aa 7)((xa)y), a} ^ min{(p Aa 7)(x), (p Aa 7)(y), ft}. Hence p Aa 7 is a fuzzy bi-ideal with thresholds (a, ft] of S. ■
Lemma 9. If p and 7 are two fuzzy bi- (resp. generalized bi-, interior) ideals with thresholds (a, ft] of an ordered AG-groupoid S with left identity e, then p oa 7 is also a fuzzy bi- (resp. generalized bi-, interior) ideal with thresholds (a, ft] of S.
Proof. Let p and 7 be two fuzzy bi-ideals with thresholds (a, ft] of an ordered AG-groupoid S. We have to show that p oa 7 is also a fuzzy bi-ideal with thresholds (a, ft] of S. Since p and 7 are fuzzy AG-subgroupoids with thresholds (a, ft] of S, then p oa 7 is also a fuzzy AG-subgroupoid with thresholds (a, ft] of S by the Lemma 3. Now
((p oa 7) oa s ) oa (p oa 7) = ((p oa 77) oa (s oa s »oa (p oa 77) = = ((p oa s) oa (7 oa s)) oa (p oa 7) = ((p oa s) oa p) oa ((7 oa s) oa 7) c pa oa 7^=p oa 7.
Therefore p oa 7 is a fuzzy bi-ideal with thresholds (a, ft] of S. ■
Lemma 10. Every fuzzy ideal with thresholds (a, ft] of an ordered AG-groupoid S is a fuzzy interior ideal with thresholds (a, ft] of S. The converse is not true in general.
Proof. Let p be a fuzzy ideal with thresholds (a, ft] of an ordered AG-groupoid S and x,y,z E S. Thus max{p ((xy)z), a} ^ min{p (xy), ft} ^ min{p (y), ft}. Hence p is a fuzzy interior ideal with thresholds (a, ft] of S. ■
Proposition 2. Let p be a fuzzy subset of an ordered AG-groupoid S with left identity e. Then p is a fuzzy ideal with thresholds (a, ft] of S if and only if p is a fuzzy interior ideal with thresholds (a, ft] of S.
Proof. Suppose that p is a fuzzy interior ideal with thresholds (a, ft] of an ordered AG-groupoid S and x,y E S. Thus max{p(xy),a} = max{p((ex)y), a} ^ min{p(x),ft}. So p is a fuzzy right ideal with thresholds (a, ft] of S. Therefore p is a fuzzy ideal with thresholds (a, ft] of S by the Lemma 4. Converse is true by the Lemma 10. ■
Lemma 11. Every fuzzy left (resp. right, two-sided) ideal with thresholds (a, ft] of an ordered AG-groupoid S is a fuzzy bi-ideal with thresholds (a, ft] of S. The converse is not true in general.
Proof. Assume that p is a fuzzy right ideal with thresholds (a, ft] of an ordered AG-groupoid S and x,y,z E S. Thus max{p ((xy)z) ,a} ^ min{p (xy), ft} ^ min{p (x), ft} and max{p ((xy)z), a} = max{p ((zy)x), a} ^ min{p (zy), ft} ^ min{p (z), ft}.
This implies that max{p((xy)z), a} ^ min{p(x), p(z), ft}. So p is a fuzzy bi-ideal with thresholds (a, ft] of S. ■
Lemma 12. Every fuzzy bi-ideal with thresholds (a, ft] of an ordered AG-groupoid S is a fuzzy generalized bi-ideal with thresholds (a, ft] of S. The converse is not true in general.
Proof. Obvious. ■
Lemma 13. Every fuzzy left (resp. right, two-sided) ideal with thresholds (a, ft] of an ordered AG-groupoid S is a fuzzy quasi-ideal with thresholds (a, ft] of S. The converse is not true in general.
Proof. Let p be a fuzzy left ideal with thresholds (a, ft] of an ordered AG-groupoid S. Thus
max{p(x), a} ^ min{(S o p)(x), ft} ^ min{(p o S)(x), (S o p)(x), ft}. Hence p is a fuzzy quasi-ideal with thresholds (a, ft] of S. ■
Proposition 3. Every fuzzy quasi-ideal with thresholds (a, ft] of an ordered AG-groupoid S is a fuzzy AG-subgroupoid with thresholds (a, ft] of S.
Proof. Suppose that p is a fuzzy quasi-ideal with thresholds (a, ft] of an ordered AG-groupoid S. Since p oa p C p oa S and p oa p C S oa p, this implies that p oa p C p oa S A S oa p C pa. Therefore p is a fuzzy AG-subgroupoid with thresholds (a, ft] of a. ■
Proposition 4. Let p be a fuzzy right ideal with thresholds (a, ft] and 7 be a fuzzy left ideal with thresholds (a, ft] of an ordered AG-groupoid S, respectively. Then p Aa 7 is a fuzzy quasi-ideal with thresholds (a, ft] of S.
Proof. We have to show that p Aa 7 is a fuzzy quasi-ideal with thresholds (a, ft] of an ordered AG-subgroupoid S. Now
((p Aa 7) oa s) a (s oa (p Aa 7)) c (p oa s) a (s oa 7) c pa a 7a=p Aa 7.
Thus p Aa 77 is a fuzzy quasi-ideal with thresholds (a, ft] of S. ■
Lemma 14. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x E S. Then every fuzzy quasi-ideal with thresholds (a, ft] of S is a fuzzy bi-ideal with thresholds (a, ft] of S.
Proof. Assume that p is a fuzzy quasi-ideal with thresholds (a, ft] of an ordered AG-subgroupoid S. This implies that p is a fuzzy AG-subgroupoid with thresholds (a, ft] of S. We have to show that (p oa S) oa p C pa. Now
(p oa s) oa p c (s oa s) oa p c s oa p and (p oa s ) oa p c (p oa s ) oa s=(p oa s ) oa (e oa s ) = (p oa e) oa (s oa s ) c c (p oa e) oa s^a=pa oa s^a=p oa s ^ (p oa s) oa p c p oa s a s oa p c pa.
So p is a fuzzy bi-ideal with thresholds (a, ft] of S. ■
Proposition 5. If p and 7 are two fuzzy quasi-ideals with thresholds (a, ft] of an ordered AG-groupoid S with left identity e, such that (xe)S = xS for all x E S, then p oa 7 is a fuzzy bi-ideal with thresholds (a, ft] of S.
Proof. Let a and y be two fuzzy quasi-ideals with thresholds (a, ft] of an ordered AG-groupoid S, this implies that a and 7 be two fuzzy bi-ideals with thresholds (a, ft] of S, by the Lemma 14. Then a oP Y is also a fuzzy bi-ideal with thresholds (a, ft] of S by the Lemma 9. ■
2. Regular Ordered AG-groupoids
An ordered AG-groupoid S will be called a regular if, for every x G S, there exists an element a G S such that x ^ (xa)x. Equivalent definitions are as follows:
(1) A C ((AS)A] for every A C S;
(2) x G ((xS)x] for every x G S.
In this section, we give the characterizations of regular ordered AG-groupoids by the properties of fuzzy left (right, quasi-, bi-, generalized bi-) ideals with thresholds (a, ft}.
Lemma 15. Every fuzzy right ideal with thresholds (a, ft] of a regular ordered AG-groupoid S is a fuzzy ideal with thresholds (a, ft] of S.
Proof. Suppose that a is a fuzzy right ideal with thresholds (a, ft] of S. Let x,y G S, this implies that there exists a G S, such that x ^ (xa)x. Thus
max{a(xy), a} ^ max{a(((xa)x)y),a} = max{a((yx)(xa)),a} ^ ^ min{a(yx),ft} ^ min{a(y),ft}.
Hence a is a fuzzy ideal with thresholds (a, ft] of S. ■
Lemma 16. Every fuzzy ideal with thresholds (a, ft] of a regular ordered AG-grou-poid S is a fuzzy idempotent with thresholds (a, ft].
Proof. Assume that a is a fuzzy ideal with thresholds (a, ft] of S and a oP a C aP. We have to show that aP C a oP a. Let x G S, this means that there exists a G S such that x ^ (xa)x. Thus
(a ofa a)(x) = {(a o a)(x) a ft}v a = \( v min{a(y),a(z)}) a ft) v a ^
L \v,z)eAx J J
^ {a (xa) A a (x) A ft} V a = (a (xa) V a) A (a (x) V a) A (ft V a) ^ ^ (a (x) a ft) a a (x) a ft = a (x) a ft = (a (x) a ft) v a = aP(x) ^ aP C a oP a.
Therefore aP = a oP a. ■
Remark 4. Every fuzzy right ideal with thresholds (a, ft] of a regular ordered AG-groupoid S is a fuzzy idempotent with thresholds (a, ft].
Proposition 6. Let a be a fuzzy subset of a regular ordered AG-groupoid S. Then a is a fuzzy ideal with thresholds (a, ft] of S if and only if a is a fuzzy interior ideal with thresholds (a, ft] of S.
Proof. Consider that a is a fuzzy interior ideal with thresholds (a, ft] of S. Let x,y G S, then there exists an element a G S, such that x ^ (xa)x. Thus
max{a(xy), a} ^ max{a(((xa)x)y),a} = max{a((yx)(xa)),a} ^ min{a(x),ft}.
Consequently a is a fuzzy right ideal with thresholds (a, ft] of S. So a is a fuzzy ideal with thresholds (a, ft] of S by the Lemma 15. Converse is true by the Lemma 10. ■
Remark 5. The concept of fuzzy (two-sided, interior) ideals with thresholds (a, ft] coincides in regular ordered AG-groupoids.
Proposition 7. Let S be a regular ordered AG-groupoid. Then (p oP S) Л (SoP p) = pa for every fuzzy right ideal p with thresholds (a, в] of S.
Proof. Suppose that p is a fuzzy right ideal with thresholds (a, в] of S. This implies that (p oa S) Л (S oa p) Ç ра, because every fuzzy right ideal with thresholds (a, в] of S is a fuzzy quasi-ideal with thresholds (a, в] of S by the Lemma 13. Let x E S, this implies that there exists a E S, such that x ^ (xa)x. Thus
(p oa S )(x) = {(p o S )(x) Л в} У a = {( V min{p(y),S (z )}) Л V a ^
1 \v,z)eAx J J
^ [p (xa) Л S (x) Л в}V а = [р (xa) Л в}V а = (р (xa) V а) Л (в V а) ^ (р (x) Л в) Л в = = р (x) Л в = (р (x) Л в) V а = pa(x) ^ ра С р oa S.
Similarly, we have ра С Soaр, i.e., ра С (рoa S) Л (Soaр)• Hence (рoa S) Л (Soaр) = ра. ■
Lemma 17. Let S be a regular ordered AG-groupoid. Then р oa y = р лa Y for every fuzzy right ideal р with thresholds (а, в] and every fuzzy left ideal y with thresholds (а, в] of S.
Proof. Since р oa y С р Ла Y, for every fuzzy right ideal р with thresholds (а, в] and every fuzzy left ideal y with thresholds (а, в] of S by the Lemma 7. Let x E S, this means that there exists a E S such that x ^ (xa)x. Thus
(р oa Y)(x) = [(р o Y )(x) Л в} V а =\( V тт[р(у)^ш) Л в] V а >
L \v,z)eAx / J
^ [р (xa) Л y (x) Л в}V а = (р (xa) V а) Л (y (x) V а) Л (в V а) ^ ^ (р (x) Л в) Л y (x) Л в = р (x) Л y (x) Л в = (р Л y) (x) Л в = = [(р Л y) (x) Л в} V а =(р ЛО^ y)(x) ^ р ЛО^ y С р oa Y.
Therefore р oO y = р лО Y. ■
Lemma 18. Let S be an ordered AG-groupoid with left identity e. Then Sa is a smallest left ideal of S containing a.
Proof. Let x E Sa and s E S, this implies that x = s\a, si E S. Now
sx = s(sia) = (es)(sia) = ((sia)s)e = ((sia)(es))e = = ((sie)(as))e = (e(as))(sie) = (as)(sie) = ((sie)s)a E Sa.
Hence sx E Sa and (Sa] С Sa. Now a = ea E Sa, so Sa is a left ideal of S containing a. Let I be another left ideal of S containing a. Since sa E I, because I is a left ideal of S. But sa E Sa, this means that Sa С I. Therefore Sa is a smallest left ideal of S containing a. ■
Lemma 19. Let S be an ordered AG-groupoid with left identity e. Then aS is a left ideal of S.
Proof. Straight forward. ■
Proposition 8. Let S be an ordered AG-groupoid with left identity e. Then aS U Sa is a smallest right ideal of S containing a.
Proof. We have to show that aS U Sa is a smallest right ideal of S containing a. Now
(aS U Sa)S = (aS)S U (Sa)S = (SS)a U (Sa)(eS) С Sa U (Se)(aS) = Sa U S(aS) =
= Sa U a(SS) С Sa U aS = aS U Sa.
Thus (aS U Sa)S C aS U Sa and also (aS U Sa] C aS U Sa. Therefore aS U Sa is a right ideal of S. Since a G Sa, i.e., a G aS U Sa. Let I be another right ideal of S containing a. Now aS G IS C I and Sa = (SS)a = (aS)S G (IS)S C IS C I, i.e., aS U Sa C I. Hence aS U Sa is a smallest right ideal of S containing a. ■
Theorem 8. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x G S. Then the following conditions are equivalent:
(1) S is a regular;
(2) a aP y = a oP Y for every fuzzy right ideal a with thresholds (a, ft] and every fuzzy left ideal y with thresholds (a, ft] of S;
(3) € = (8 oP S) o 8a for every fuzzy quasi-ideal 8 with thresholds (a, ft] of S.
Proof. Consider that (1) holds and 8 be a fuzzy quasi-ideal with thresholds (a, ft] of S. This implies that (8 oP S) oP 8 C 8a, because every fuzzy quasi-ideal with thresholds (a, ft] of S is a fuzzy bi-ideal with thresholds (a, ft] of S by the Lemma 14. Let x G S, then there exists an element a G S such that x ^ (xa)x. Thus
((8 oa S) oa 8)(x) = {((8 o S) o 8)(x) A ft} V a = { ( V G {(8 o S)(y),8(z)}) A ft) V a^
L (v,z)eAx ' J
^ {(8 o S) (xa) A 8 (x) A ft} V a = ((8 o S) (xa) V a) A (8 (x) V a) A (ft V a) = = ((8 o S)(xa) V a) A 8(x) A ft = (( V min{8(s),S(t)}) V a) A 8(x) A ft ^
K\s,t)eAxa J J
^ ({8(x) A S(a)} V a) A 8(x) A ft = ({8(x) A 1} V a) A 8(x) A ft = (8(x) V a) A 8(x) A ft = = 8(x) A ft = (8(x) A ft) V a = 8*(x) ^ 8* C (8 oP S) da 8.
So 8a = (8 oP S) oP 8, i.e., (1) implies (3). Suppose that (3) holds. Let a be a fuzzy right ideal with thresholds (a, ft] and Y be a fuzzy left ideal with thresholds (a, ft] of S. This implies that a and y be fuzzy quasi-ideals with thresholds (a, ft] of S by the Lemma 13, so a aP y be also a fuzzy quasi-ideal with thresholds (a, ft] of S. Then by our supposition,
a Aa 7 = ((a Aa y) oa S) oa (a aP y) C (a oa S) oa y C a oa y, i.e., a aP y C a oP y. Since a oP Y C a aP Y, so a oP Y = a aP Y, i.e., (3) ^ (2). Assume that (2) is true and a G S. Then Sa is a left ideal of S containing a by the Lemma 18 and aS U Sa is a right ideal of S containing a by the Proposition 8. This means that Xsa is a fuzzy left ideal with thresholds (a, ft] and xaSuSa is a fuzzy right ideal with thresholds (a, ft] of S by the Theorem 2. Then by our assumption XaSuSa aP xsa = XaSuSa oP Xsa, i.e., (X(aSuSa)nSa)a = (X((aSuSa)Sa]by the Theorem 1. Thus (aS U Sa) n Sa = ((aS U Sa)Sa]. Since a G (aS U Sa) n Sa, i.e., a G ((aS U Sa)Sa], so a G ((aS)(Sa) U (Sa)(Sa)]. Now (Sa)(Sa) = ((Se)a)(Sa) = ((ae)S)(Sa) = (aS)(Sa). This implies that
((aS)(Sa) U (Sa)(Sa)] = ((aS)(Sa) U (aS)(Sa)] = ((aS)(Sa)].
Thus a G ((aS)(Sa)]. Then
a ^ (ax)(ya) = ((ya)x)a = (((ey)a)x)a = (((ay)e)x)a = = ((xe)(ay))a = (a((xe)y))a G (aS)a, for any x,y G S.
This means that a G ((aS)a], i.e., a is regular. Hence S is a regular, i.e., (2) ^ (1). ■
Theorem 9. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x G S. the following conditions are equivalent:
(1) S is a regular;
(2) pa = (p oa S) oa p for every fuzzy quasi-ideal p with thresholds (a, ft] of S;
(3) 7ll = (77 oa S) oa 77 for every fuzzy bi-ideal 7 with thresholds (a, ft] of S;
(4) € = (5 oa S) oa 5 for every fuzzy generalized bi-ideal 5 with thresholds (a, ft] of S.
Proof.
(1) ^ (4) is obvious.
(4) ^ (3), since every fuzzy bi-ideal with thresholds (a, ft] of S is a fuzzy generalized bi-ideal with thresholds (a, ft] of S by the Lemma 12.
(3) ^ (2), since every fuzzy quasi-ideal with thresholds (a, ft] of S is a fuzzy bi-ideal with thresholds (a, ft] of S by the Lemma 14.
(2) ^ (1) by the Theorem 8. ■
Theorem 10. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x E S. Then the following conditions are equivalent:
(1) S is a regular;
(2) p Aa v = (p oa v) oa p for every fuzzy quasi-ideal p with thresholds (a, ft] and every fuzzy ideal v with thresholds (a, ft] of S;
(3) 7 Aa v = (7 oa v) oa 7 for every fuzzy bi-ideal 7 with thresholds (a, ft] and every fuzzy ideal v with thresholds (a, ft] of S;
(4) 5 Aa v = (5 oa v) oa 5 for every fuzzy generalized bi-ideal 5 with thresholds (a, ft] and every fuzzy ideal v with thresholds (a, ft] of S.
Proof. Suppose that (1) holds. Let 5 be a fuzzy generalized bi-ideal with thresholds (a, ft] and v be a fuzzy ideal with thresholds (a, ft] of S. Now (5 oa v) oa 5 C (S oa v) oa S C C v oaa S c vaa and (5 oa v) oa 5 c (5 oa S) oa 5 c 5f, i.e., (5 oa v) oaa 5 C 5aa a va = 5 a) v. Let x E S, this implies that there exists a E S such that x ^ (xa)x. Now xa ^ ((xa)x)a = = (ax)(xa) = x((ax)a). Thus
((5 oa v) oa 5)(x) = {((5 o v) o 5)(x) A ft}V a = U V min{(5 o v)(y),5(z)}] A ft) V a^
^ {(5 o v) (xa) A 5 (x) A ft}V a = ((5 o v) (xa) V a) A (5 (x) V a) A (ft V a) = = ((5 o v) (xa) V a) A 5(x) A ft = (( V min{5(s),v(t)}) V a) A 5(x) A ft ^
^ ({5(x) A v((ax)a)} V a) A 5(x) A ft = (5(x) V a) A (v((ax)a) V a) A 5(x) A ft ^ ^ 5(x) A (v(x) A ft) A 5(x) A ft = 5(x) A v(x) A ft = (5 A v)(x) A ft = = {(5 A v)(x) A ft} V a = (5 a)) v)(x) ^ 5 Aa v C (5 o) v) o) 5.
Therefore 5 A) v = (5 of v) of 5, i.e., (1) ^ (4). Since (4) ^ (3) and (3) ^ (2). Assume
of S) of
a = (p oa
that (2) holds. Then p A) S = (p of S) of p, where S itself is a fuzzy two-sided ideal with thresholds (a, ft] of S, i.e., pf = (p of S) o pf. Hence S is a regular by the Theorem 8, i.e.,
(2U (!).■
Theorem 11. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = xS for all x S. Then the following conditions are equivalent:
(1) S is a regular;
(2) p A) A C A of p for every fuzzy quasi-ideal p with thresholds (a, ft] and every fuzzy right ideal A with thresholds (a, ft] of S;
(3) 7 A) A C A of 77 for every fuzzy bi-ideal 7 with thresholds (a, ft] and every fuzzy right ideal A with thresholds (a, ft] of S;
(4) 8 aP A C A oP 8 for every fuzzy generalized bi-ideal 8 with thresholds (a, ft] and every fuzzy right ideal A with thresholds (a, ft] of S.
Proof. (1) ^ (4) is obvious. It is clear that (4) ^ (3) and (3) ^ (2). Assume that (2) holds, this means that A aP a = a aP A C A oP a, where a is a fuzzy left ideal with thresholds (a, ft] of S. Since A oP a C A A^ a, so A A^ a = A oP a. Therefore S is a regular by the Theorem 8, i.e., (2) ^ (1). ■
Theorem 12. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x G S. Then the following conditions are equivalent:
(1) S is a regular;
(2) a aP A aP ^ C (a oP A) oP ^ for every fuzzy quasi-ideal a with thresholds (a, ft], every fuzzy right ideal A with thresholds (a, ft] and every fuzzy left ideal ^ with thresholds (a, ft] of S;
(3) Y aP A aP ^ C (y oP A) oP ^ for every fuzzy bi-ideal y with thresholds (a, ft], every fuzzy right ideal A with thresholds (a, ft] and every fuzzy left ideal ^ with thresholds (a, ft] of S;
(4) 8 aP A aP ^ C (8 oP A) oP ^ for every fuzzy generalized bi-ideal 8 with thresholds (a, ft], every fuzzy right ideal A with thresholds (a, ft] and every fuzzy left ideal ^ with thresholds (a, ft] of S.
Proof. Consider that (1) holds. Let 8 be a fuzzy generalized bi-ideal with thresholds (a, ft], ^ be a fuzzy left ideal with thresholds (a, ft] and A be a fuzzy right ideal with thresholds (a, ft] of S. Let x G S, then there exists an element a G S such that x ^ (xa)x. Now
x ^ (xa)x; xa ^ ((xa)x)a = (ax)(xa) = x((ax)a);
(ax)a ^ (a((xa)x))a = ((xa)(ax))a = (a(ax))(xa) = x((a(ax))a) = x(((ea)(ax))a) = = x(((xa)(ae))a) = x((((ae)a)x)a) = x((nx)a) = x((nx)(ea)) = x((ae)(xn)) =
= x(x((ae)n)) = x(xm) ^ xa = x((ax)a) = x(x(xm)) = (ex)(x(xm)) = ((xm)x)(xe).
Thus
((8 oP A) oP ^)(x) = {((8 o A) o ^)(x) A ft} V a
V min{(8 o A)(y),^(z)}j A ft\ V a ^ {(8 o A) (xa) A ^ (x) A ft} V a
(v,z)eAx J J
((8 o A) (xa) V a) A (^ (x) V a) A (ft V a) = ((8 o A) (xa) V a) A ^(x) A ft =
V min{8(s), A(t)}) V a) A ^(x) A ft ^ ({8((xm)x) A A(xe)} V a) A ^(x) A ft -
(s,t)eAxa ' '
= (8((xm)x) V a) A (A(xe) V a) A ^(x) A ft ^ (8(x) A 8(x) A ft) A (A(x) A ft) A ^(x) A ft = 8(x) A A(x) A ^(x) A ft = (8(x) A A(x) A ^(x) A ft) V a = (8 aP A aP ^)(x).
Hence 8 aP A aP ^ C (8 oP A) oP i.e., (1) ^ (4). It is clear that (4) ^ (3) and (3) ^ (2).
Assume that (2) holds. Then a aP S aP ^ C (a oP S) oP where a is a fuzzy right ideal with thresholds (a, ft] of S, i.e., a aP ^ C a oP Since a oP ^ C a aP thus a oP ^ = a aP So S is a regular by the Theorem 8, i.e., (2) ^ (1). ■
3. Intra-regular ordered AG-groupoids
An ordered AG-groupoid S will be called an intra-regular ordered AG-groupoid if for every x E S there exist elements a,b E S such that x ^ (ax2)b. Equivalent definitions are as follows:
(1) A C ((SA2)S] for every A C S;
(2) x E ((Sx2)S] for every x E S.
In this section, we characterize intra-regular ordered AG-groupoids in terms of fuzzy left (right, quasi-, bi-, generalized bi-) ideals with thresholds (a, ft}.
Lemma 20. Every fuzzy left (right) ideal with thresholds (a, ft] of an intra-regular ordered AG-groupoid S is a fuzzy ideal with thresholds (a, ft] of S.
Proof. Suppose that p is a fuzzy left ideal with thresholds (a, ft ] of S. Let x,y E S, this implies that there exist a,b E S, such that x ^ (ax2)b. Thus
max{p(xy),a} ^ max{p(((ax2)b)y),a} = max{p((yb)(ax2)), a} ^ ^ min{p(a(xx)), ft} ^ min{p(xx),ft} ^ min{p(x),ft}.
Hence p is a fuzzy ideal with thresholds (a, ft] of S. ■
Lemma 21. Let S be an intra-regular ordered AG-groupoid with left identity e. Then every fuzzy ideal with thresholds (a, ft] of S is a fuzzy idempotent with thresholds (a, ft].
Proof. Assume that p is a fuzzy ideal with thresholds (a, ft] of S and p of p C pf. Let x E S, this means that there exist a,b E S, such that x ^ (ax2)b. Now
x ^ (ax2)b = (a(xx))b = (x(ax))b = (x(ax))(eb) = (xe)((ax)b) = (ax)((xe)b).
Thus
(p of p)(x) = {(p o p)(x) A ft}V a = \( V min{p(y),p(z)}) A ft) V a ^
L \v,z)eAx J J
^ {p (ax) A p ((xe)b) A ft}V a = (p (ax) V a) A (p ((xe)b) V a) A (ft V a) ^ ^ (p (x) A ft) A (p (x) A ft) A ft = p (x) A ft = (p (x) A ft) V a = pf (x) ^ pf C p of p.
Therefore pf = p of p. ■
Proposition 9. Let p be a fuzzy subset of an intra-regular ordered AG-groupoid S with left identity e. Then p is a fuzzy ideal with thresholds (a, ft] of S if and only if p is a fuzzy interior ideal with thresholds (a, ft] of S.
Proof. Consider that p is a fuzzy interior ideal with thresholds (a, ft ] of S. Let x,y E S, then there exist elements a,b E S, such that x ^ (ax2)b. Thus
max{p(xy),a} ^ max{p(((ax2)b)y), a} = max{p((yb)(ax2)),a} = = max{p((yb)(a(xx))),a} = max{p((yb)(x(ax))),a} = max{p((yx)(b(ax))),a} ^ ^ min{p(x), ft} ^ max{p(xy), a} ^ min{p(x), ft}.
Therefore p is a fuzzy right ideal with thresholds (a, ft] of S. So p is a fuzzy ideal with thresholds (a, ft] of S by the Lemma 20. Converse is true by the Lemma 10. ■
Remark 6. The concept of fuzzy (two-sided, interior) ideals with thresholds (a, ft] coincides in intra-regular ordered AG-groupoids with left identity.
Lemma 22. Let S be an intra-regular ordered AG-groupoid with left identity e. Then y ЛО р С р oO y for every fuzzy left ideal р with thresholds (а, в] and every fuzzy right ideal y with thresholds (а, в] of S.
Proof. Suppose that р is a fuzzy left ideal with thresholds (а, в] and y is a fuzzy right ideal with thresholds (а, в ] of S. Let x E S, this implies that there exist a,b E S such that x ^ (ax2)b. Now
x ^ (ax2)b = (a(xx))b = (x(ax))b = (x(ax))(eb) = (xe)((ax)b) = (ax)((xe)b).
Thus
(р oa Y)(x) = [(р o Y )(x) Л в} V а ={( V тш[р(у)л(г)}) Л в} V а ^
L \v,z)eAx / J
^ [р(ax) Л y ((xe)b) Л в}V а = (р (ax) V а) Л (y ((xe)b) V а) Л (в V а) ^ ^ (р (x) Л в) Л (y (x) Л в) Л в = р (x) Л y (x) Л в = Y (x) Л р (x) Л в = = (Y Л р)^) Л в = [(Y Л р)^) Л в}V а = (y ЛО р)^).
Hence y Ла р с р oa y . ■
Theorem 13. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x E S. Then the following conditions are equivalent:
(1) S is an intra-regular;
(2) y ЛО р С р oO y for every fuzzy left ideal р with thresholds (а, в] and every fuzzy right ideal y with thresholds (а, в] of S.
Proof. (1) ^ (2) is true by the Lemma 22. Assume that (2) holds and a E S. Then Sa is a left ideal of S containing a by the Lemma 18 and aS U Sa is a right ideal of S containing a by the Proposition 8. This means that Xsa is a fuzzy left ideal with thresholds (а, в] and xaSuSa is a fuzzy right ideal with thresholds (а, в] of S by the Theorem 2. By our assumption XaSuSa ЛГа XSa С XSa oO XaSUSa, i.e., (X(aSUSa)nSa)0 С (X((Sa)(aSUSa)])a by the Theorem 1. Thus (aS U Sa) П Sa С (Sa(aS U Sa)]. Since a E (aS U Sa) П Sa, i.e., a ( Sa ( aS U Sa)] = (( Sa )( aS) U ( Sa )( Sa)] . Now
(Sa)(aS) = (Sa)((ea)(SS)) = (Sa)((SS)(ae)) = (Sa)(((ae)S)S) = (Sa)((aS)S) =
= (Sa)((SS)a) = (Sa)(Sa).
This implies that
((Sa)(aS) U (Sa)(Sa)] = ((Sa)(Sa) U (Sa)(Sa)] = ((Sa)(Sa)] = ((Sa)a)S] = = (((Sa)(ea))S] = (((Se)(aa))S] = ((Sa2)S].
Thus a E (Sa2)S, i.e., a is an intra-regular. Hence S is an intra-regular, i.e., (2) ^ (1). ■
Theorem 14. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x S. Then the following conditions are equivalent:
(1) S is an intra-regular;
(2) р лО v = (р o0 v) o0 р for every fuzzy quasi-ideal р with thresholds (а, в] and every fuzzy ideal v with thresholds (а, в] of S;
(3) y Л0 v = (y oO v) oO y for every fuzzy bi-ideal y with thresholds (а, в] and every fuzzy ideal v with thresholds (а, в] of S;
(4) 8 aP v = (8 oP v) oP 8 for every fuzzy generalized bi-ideal 8 with thresholds (a, ft] and every fuzzy ideal v with thresholds (a, ft] of S. Proof. Consider that (1) holds. Let 8 be a fuzzy generalized bi-ideal with thresholds (a, ft] and v be a fuzzy ideal with thresholds (a, ft] of S. Now (8 oP v) oP 8 C (S oP v) oP S C C v oP S C va and (8 oP v) oP 8 C (8 oP S) oP 8 C 8*, thus (8 o v) oP 8 C 8* A v* = 8 aP v. Let x G S, then there exist elements a,b G S such that x ^ (ax2)b. Now
x ^ (ax2)b = (a(xx))b = (x(ax))b = (b(ax))x; b(ax) ^ b(a((ax2)b)) = b((ax2)(ab)) = b((ax2)c) = (ax2)(bc) = (ax2)d = (ax2)(ed) = = (de)(x2a) = m(x2a) = x2(ma) = (xx)l = (lx)x = (lx)(ex) = (xe)(xl) = x((xe)l).
Thus
((8 oP v) oP 8)(x) = {((8 o v) o 8)(x) A ft} V a =
v min{(8 o v )(y),8(z)}) A ft\ V a ^ {(8 o v) (b(ax)) A 8 (x) A ft} V a
(v,z)eAx J J
((8 o v) (b(ax)) V a) A (8 (x) V a) A (ft V a) = ((8 o v) (b(ax)) V a) A 8(x) A ft
V min{8(s), v(t)} J V a] A 8(x) A ft ^ ({8(x) A v((xe)l)} V a) A 8(x) A ft =
K(s,t)eAHax)
= (8(x) V a) A (v((xe)l) V a) A 8(x) A ft ^ 8(x) A (v(x) A ft) A 8(x) A ft = = 8(x) A v(x) A ft = (8 A v)(x) A ft = {(8 A v)(x) A ft} V a = (8 aP v)(x) ^
^ 8 aP v c (8 oa v) oa 8.
Hence 8 aP v = (8 oP v) oP 8, i.e., (1) implies (4). It is clear that (4) ^ (3) and (3) ^ (2). Suppose that (2) holds. Let a be a fuzzy right ideal with thresholds (a, ft] and v be a fuzzy two-sided ideal with thresholds (a, ft] of S. Since every fuzzy right ideal with thresholds (a, ft] of S is a fuzzy quasi-ideal with thresholds (a, ft] of S by the Lemma 13, this implies that a is a fuzzy quasi-ideal with thresholds (a, ft] of S. By our supposition, a aP v = = (a oP v) oP a C (S oP v) oP a C v oP a, i.e., a aP v C v oP a. So S is an intra-regular by the Theorem 13, i.e., (2) ^ (1). ■
Theorem 15. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x G S. Then the following conditions are equivalent:
(1) S is an intra-regular;
(2) a aP rf C rf oP a for every fuzzy quasi-ideal a with thresholds (a, ft] and every fuzzy left ideal rf with thresholds (a, ft] of S;
(3) Y aP rf C rf oP y for every fuzzy bi-ideal y with thresholds (a, ft] and every fuzzy left ideal rf with thresholds (a, ft] of S;
(4) 8 aP rf C rf oP 8 for every fuzzy generalized bi-ideal 8 with thresholds (a, ft] and every fuzzy left ideal rf with thresholds (a, ft] of S.
Proof. Suppose that (1) holds. Let 8 be a fuzzy generalized bi-ideal with thresholds (a, ft] and rf be a fuzzy left ideal with thresholds (a, ft] of S. Let x G S, this implies that there exist a,b G S such that x ^ (ax2)b. Now x ^ (a(xx))b = (x(ax))b = (b(ax))x. Thus
(rf oP 8)(x) = {(rf o 8)(x) A ft}V a =\( V min{^(y),8(z)}) A ft) V a ^
1 \y,z)eAx J J
^ {{rf (b(ax)) A 8 (x)} A ft} V a = (rf (b(ax)) V a) A (8 (x) V a) A (ft V a) ^
^ (1 (x) A ft) A 5 (x) A ft = 1 (x) A 5 (x) A ft = 5 (x) A 1 (x) A ft = (5 A 1) (x) A ft = = {(5 A 1)(x) A ft}V a = (5 Aa 1)(x) ^ 5 Af 1 C 1 of 5.
Hence (1) ^ (4). It is clear that (4) ^ (3) and (3) ^ (2). Assume that (2) holds. Let p be a fuzzy right ideal with thresholds (a, ft] and 1 be a fuzzy left ideal with thresholds (a, ft] of S. Since every fuzzy right ideal with thresholds (a, ft] of S is a fuzzy quasi-ideal with thresholds (a, ft] of S, this means that p is a fuzzy quasi-ideal with thresholds (a, ft] of S. By our assumption, p Af 1 C 1 of p. Therefore S is an intra-regular by the Theorem 13, i.e., (2) ^ (1).b
Theorem 16. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x S. Then the following conditions are equivalent:
(1) S is an intra-regular;
(2) p A) 1 A) A C (1 of p) of A for every fuzzy quasi-ideal p with thresholds (a, ft], every fuzzy left ideal 1 with thresholds (a, ft], and every fuzzy right ideal A with thresholds (a, ft] of S;
(3) 7 A) 1 A) A C (1 of 77) of A for every fuzzy bi-ideal 7 with thresholds (a, ft], every fuzzy left ideal 1 with thresholds (a, ft], and every fuzzy right ideal A with thresholds (a, ft] of S;
(4) 5 A) 1 A) A C (1 of 5) of A for every fuzzy generalized bi-ideal 5 with thresholds (a, ft], every fuzzy left ideal 1 with thresholds (a, ft], and every fuzzy right ideal A with thresholds (a, ft] of S.
Proof. Assume that (1) holds. Let 5 be a fuzzy generalized bi-ideal with thresholds (a, ft], 1 be a fuzzy left ideal with thresholds (a, ft] and A be a fuzzy right ideal with thresholds (a, ft] of S. Let x E S, this means that there exist a,b E S such that x ^ (ax2)b. Now
x ^ (a(xx))b = (x(ax))b = (b(ax))x; b(ax) ^ b(a((ax2)b)) = b((ax2)(ab)) = b((ax2)c) = (ax2)(bc) = (ax2)d = = (a(xx))d = (x(ax))d = (d(ax))x.
Thus
((1 of 5) of A)(x) = {((1 o 5) o A)(x) A ft}V a
v min{(1 o 5)(y),A(z)}) A ft\ V a ^ {(1 o 5) (b(ax)) A A (x) A ft }V a =
(v,z)eAx J J
((1 o 5) (b(ax)) V a) A (A (x) V a) A (ft V a) ^ ((1 o 5) (b(ax)) V a) A A(x) A ft =
V min{1(s),5(t)}j V a] A A(x) A ft ^ ({1(d(ax)) A 5(t)} V a) A A(x) A ft =
(s,t)eAb(ax)
= (1(d(ax)) V a) A (5(x) V a) A A(x) A ft ^ (1(x) A ft) A 5(x) A A(x) A ft = = 1(x) A 5(x) A A(x) A ft = (1 A 5 A A)(x) A ft = {(5 A 1 A A)(x) A ft}V a = = (5 Aa 1 A) A)(x) ^ 5 Aa 1 A) a C (1 of 5) of A.
Therefore (1) ^ (4). Since (4) ^ (3) and (3) ^ (2). Suppose that (2) holds. Then 1 A) S Aa 5 C (S of 1) of 5, where 1 is a fuzzy left ideal with thresholds (a, ft] of S, i.e., 1 A) 5 C 1 of 5. Hence S is an intra-regular, i.e., (2) ^ (1). ■
4. Regular and Intra-regular Ordered AG-groupoids
In this section, we give the characterizations of both regular and intra-regular ordered AG-groupoid in terms of fuzzy left (right, quasi-, bi-, generalized bi-) ideals with thresholds (a, ft].
Theorem 17. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x G S. Then the following conditions are equivalent:
(1) S is both a regular and an intra-regular;
(2) Every fuzzy quasi-ideal with thresholds (a, ft] of S is a fuzzy idempotent with thresholds (a, ft].
Proof. Suppose that S is both a regular and an intra-regular. Let a be a fuzzy quasiideal with thresholds (a, ft] of S. Then a be a fuzzy bi-ideal with thresholds (a, ft] of S and aoPa C aP. Let x G S, this implies that there exists an element a G S such that x ^ (xa)x, and also there exist elements a,b G S such that x ^ (ax2)b. Now
x ^ (xa)x;
xa ^ ((ax2)b)a = (ab)(ax2) = c(a(xx)) = c(x(ax)) = x(c(ax)) = x((ec)(ax)) = = x((xa)(ce)) = x((xa)d) = x((da)x) = x(lx) = l(xx) = (el)(xx) = (xx)(le) =
= (xx)m = (mx)x;
mx ^ m((ax2)b) = (ax2)(mb) = (a(xx))n = (x(ax))n = (x(ax))(en) = (xe)((ax)n) = = (xe)((ax)(en)) = (xe)((ae)(xn)) = (xe)(x((ae)n)) = (xe)(xu) = x((xe)u) = xw;
xa ^ (mx)x = (xw)x.
Thus
(a oP a)(x) = {(a o a)(x) a ft }v a =\( v min{a(y),a(z)}) a ft) v a ^
L \y,z)eAx J J
^ {a ((xw)x) A a (x) A ft} V a = (a ((xw)x) V a) A (a (x) V a) A (ft V a) ^ ^ (a (x) a a (x) a ft) a a (x) a ft = a (x) a ft = (a (x) a ft) v a = ai(x) ^ ai C a oP a.
Hence aP = a oP a. Conversely, assume that every fuzzy quasi-ideal with thresholds (a, ft] of S is a fuzzy idempotent with thresholds (a, ft] of S. Let a G S, then Sa is a left ideal of S containing a by the Lemma 18. This means that Sa is a quasi-ideal of S, so xSa is a fuzzy quasi-ideal with thresholds (a, ft] of S by the Theorem 4. By our assumption, (XSa)P = XSaoPXSa = (X((Sa)(Sa)])P, i.e., Sa = ((Sa)(Sa)]. Since a G Sa, i.e., a G ((Sa)(Sa)]. Thus a is both a regular and an intra-regular by the Theorems 8 and 13, respectively. Therefore S is both a regular and an intra-regular, i.e., (2) ^ (1). ■
Theorem 18. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x G S. Then the following conditions are equivalent:
(1) S is both a regular and an intra-regular;
(2) a aP Y C a oP Y for all fuzzy quasi-ideals a and y with thresholds (a, ft] of S;
(3) a aP Y C a oP Y for every fuzzy quasi-ideal a with thresholds (a, ft] and every fuzzy bi-ideal y with thresholds (a, ft] of S;
(4) a aP Y C a oP Y for every fuzzy bi-ideal a with thresholds (a, ft] and every fuzzy quasi-ideal y with thresholds (a, ft] of S;
(5) a aP Y C a oP Y for all fuzzy bi-ideals a and y with thresholds (a, ft] of S;
(6) a aP Y C a oP Y for every fuzzy bi-ideal a with thresholds (a, ft] and every fuzzy generalized bi-ideal y with thresholds (a, ft] of S;
(7) р лО Y С р oO y for every fuzzy generalized bi-ideal р with thresholds (а, в] and every fuzzy quasi-ideal y with thresholds (а, в] of S;
(8) р ЛО Y С р oO y for every fuzzy generalized bi-ideal р with thresholds (а, в] and every fuzzy bi-ideal y with thresholds (а, в] of S;
(9) р ЛО р С р oO y for all fuzzy generalized bi-ideals р and y with thresholds (а, в] of S.
Proof. Assume that (1) holds. Let р and y be two fuzzy generalized bi-ideals with
thresholds (а, в] of S. Let x S, then means that there exists an element a S such that x = (xa)x, and also there exist elements a,b E S such that x ^ (ax2)b. Since x = (xa)x = = ((xw)x)x by the Theorem 17. Thus
(р oO Y )(x) = [(ра o Y )(x) Л в}V а =\( V тш[р(у)Г( (z Л в} V а ^
1 \v,z)eAx / J
^ [р ((xw)x) Л Y (x) Л в}V а = (р ((xw)x) V а) Л (y (x) V а) Л (в V а) ^ ^ (р (x) Л р (x) Л в) Л y (x) Л в = р (x) Л y (x) Л в = (р Л y)(x) Л в = = [(р Л y) (x) Л в} V а =(р ЛОа Y)(x) ^ р Л^О y С р oO y.
Hence (1) ^ (9). It is clear that (9) ^ (8) ^ (7) ^ (4) ^ (2) and (9) ^ (6) ^ (5) ^ (3). Suppose that (2) holds. Let р be a fuzzy right ideal with thresholds (а, в] and y be a fuzzy left ideal with thresholds (а, в] of S. Since every fuzzy right ideal with thresholds (а, в] and every fuzzy left ideal with thresholds (а, в] of S is a fuzzy quasi-ideal with thresholds (а, в] of S by the Lemma 13. By our supposition, р ЛО Y С р oO y. Since р oO y С р лО Y, so р лО Y = р oO Y, i.e., S is a regular. Again by our supposition, р лО Y = Y лО р С y oO р, i.e., S is an intra-regular. Therefore S is both a regular and an intra-regular, i.e., (2) ^ (1). In similar way, we can prove that (3) ^ (1). ■
Theorem 19. Let S be an ordered AG-groupoid with left identity e, such that (xe)S = = xS for all x S. Then the following conditions are equivalent:
(1) S is both a regular and an intra-regular;
(2) р лО Y С (р oO y) Л (y oO р) for every fuzzy right ideal р with thresholds (а, в] and every fuzzy left ideal y with thresholds (а, в] of S;
(3) р лО Y С (р oO y) Л (y oO р) for every fuzzy right ideal р with thresholds (а, в] and every fuzzy quasi-ideal y with thresholds (а, в] of S;
(4) р лО Y С (р oO y) Л (y oO р) for every fuzzy right ideal р with thresholds (а, в] and every fuzzy bi-ideal y with thresholds (а, в] of S;
(5) р лО Y С (р oO y) Л (y oO р) for every fuzzy right ideal р with thresholds (а, в] and every fuzzy generalized bi-ideal y with thresholds (а, в] of S;
(6) р лО Y С (р oO y) Л (y o р) for every fuzzy left ideal р with thresholds (а, в] and every fuzzy quasi-ideal y with thresholds (а, в] of S;
(7) р лО Y С (р oO y) Л (y oO р) for every fuzzy left ideal р with thresholds (а, в] and every fuzzy bi-ideal y with thresholds (а, в] of S;
(8) р лО Y С (р oO y) Л (y oO р) for every fuzzy left ideal р with thresholds (а, в] and every fuzzy generalized bi-ideal y with thresholds (а, в] of S;
(9) р лО Y С (р oO y) Л (y oO р) for all fuzzy quasi-ideals р and y with thresholds (а, в] of S;
(10) р лО Y С (р oO y) Л (y oO р) for every fuzzy quasi-ideal р with thresholds (а, в] and every fuzzy bi-ideal y with thresholds (а, в] of S;
(11) р лО Y С (р oO y) Л (р oO y) for every fuzzy quasi-ideal р with thresholds (а, в] and every fuzzy generalized bi-ideal y with thresholds (а, в] of S;
(12) a aP Y C (a oP y) A (y oP a) for all fuzzy bi-ideals a and y with thresholds (a, ft] of S;
(13) a aP Y C (a oa Y) A (y oP a) for every fuzzy bi-ideal a with thresholds (a, ft] and every fuzzy generalized bi-ideal y with thresholds (a, ft] of S;
(14) a aP Y C (a oP y) A (y oP a) for all fuzzy generalized bi-ideals a and y with thresholds (a, ft] of S.
Proof. Consider that (1) holds. Since a A^ y C a oP Y and a aP y C Y oP a for all fuzzy generalized bi-ideals a and y with thresholds (a, ft] of S by the Theorem 18. Hence a aP y C C (aoPY) A (yoPa), i.e., (1) ^ (14). It is clear that (14) ^ (13) ^ (12) ^ (9) ^ (6) =a (2), (14) =a (11) ^ (10) ^ (9), (14) ^ (8) ^ (7) ^ (6) and (14) ^ (5) ^ (4) ^ (3) ^ (2). Suppose that (2) holds. Let a be a fuzzy right ideal with thresholds (a, ft] and y be a fuzzy left ideal with thresholds (a, ft] of S. By our supposition, a A^Y C (aoPy) A (yoPa) C yoPa, i.e., S is an intra-regular. Again a aP y C (a oP Y) A (y oP a) C a oP Y. Since a oP Y C a aP Y, so a aP Y = a oP Y, i.e., S is a regular. Hence S is both a regular and an intra-regular, i.e., (2) ^(1).-
REFERENCES
1. Kazim M. A. and Naseeruddin M. On almost semigroups. Alig. Bull. Math., 1972, no. 2, pp. 1-7.
2. Protic P. V. and Stevanovic N. AG-test and some general properties of Abel-Grassmann's groupoids. Pure Math. Appl., 1995, no. 6, pp. 371-383.
3. Mushtaq Q. and YusufS.M. On LA-semigroups. Alig. Bull. Math., 1978, no. 8, pp. 65-70.
4. Jezek J. and Kepka T. Medial Groupoids. Rozpravy CSAV Rada Mat. a Prir. Ved., 1983, no. 93/2, 93 pp.
5. Cho J. R., Jezek J., and Kepka T. Paramedial groupoids., Czechoslovak Math. J., 1999, no. 49, pp. 277-290.
6. Kehayopulu N. On left regular ordered semigroups. Math Japon., 1990, no. 35, pp. 1057-1060.
7. Kehayopulu N. On completely regular ordered semigroups. Sci. Math., 1998, no. 1, pp. 27-32.
8. Kehayopulu N. On intra-regular ordered semigroups. Semigroup Forum, 1993, no. 46, pp.271-278.
9. Zadeh L. A. Fuzzy sets. Inform. and Control, 1965, no. 8, pp. 338-353.
10. Rosenfeld A. Fuzzy groups. J. Math. Anal. Appl., 1971, no. 35, pp. 512-517.
11. Kuroki N. Fuzzy bi-ideals in semigroups. Comment. Math. Univ. St. Pauli, 1979, no. 28, pp.17-21.
12. Kuroki N. On fuzzy semigroups. Inform. Sci., 1991, no. 53, pp. 203-236.
13. Mordeson J. N., Malik D. S., and Kuroki N. Fuzzy Semigroups. Berlin, Springer, 2003.
14. Kehayopulu N. and Tsingelis M. Fuzzy sets in ordered groupoids. Semigroup Forum, 2002, no. 65, pp. 128-132.
15. Kehayopulu N. and Tsingelis M. Fuzzy bi-ideals in ordered semigroups. Inform. Sci., 2005, no. 171, pp.13-28.
