We have introduced a new nonassociative class of Abel-Grassmann′s groupoid, namely, intraregular and characterized it in terms of its (∈, ∈∨_q)-fuzzy quasi-ideals.

1. Introduction

Fuzzy set theory and its applications in several branches of science are growing day by day. These applications can be found in various fields such as computer science, artificial intelligence, operation research, management science, control engineering, robotics, expert systems, and many others. Fuzzy mappings are used in fuzzy image processing, fuzzy data bases, fuzzy decision making, and fuzzy linear programming. It has wide range of applications in engineering such as civil engineering, mechanical engineering, industrial engineering, and computer engineering. Moreover, the usage of fuzzification can be found in mechanics, economics, fuzzy systems, and genetic algorithms.

In [1], Mordeson has discovered the grand exploration of fuzzy semigroups, where theoretical exploration of fuzzy semigroups and their applications used in fuzzy coding, fuzzy finite state mechanics, and fuzzy languages. The use of fuzzification in automata and formal language has widely been explored.

Fuzzy set theory on semigroups has already been developed. In [2], Murali defined the concept of belongingness of a fuzzy point to a fuzzy subset under a natural equivalence on a fuzzy subset. The idea of quasicoincidence of a fuzzy point with a fuzzy set is defined in [3]. Bhakat and Das [4, 5] gave the concept of (α, β)-fuzzy subgroups by using the “belongs to” relation ∈ and “quasicoincident with” relation q between a fuzzy point and a fuzzy subgroup, and introduced the concept of an (∈, ∈∨q)-fuzzy subgroups, where α, β ∈ {∈, q, ∈∨q, ∈∧q} and α ≠ ∈∧q. Davvaz defined (∈, ∈∨q)-fuzzy subnearrings and ideals of a near ring in [6]. Jun and Song initiated the study of (α, β)-fuzzy interior ideals of a semigroup in [7]. In [8] regular semigroups are characterized by the properties of their (∈, ∈∨q)-fuzzy ideals. In [9] semigroups are characterized by the properties of their (∈, ∈∨q)-fuzzy ideals.

In this paper, we have introduced (∈, ∈∨q)-fuzzy ideals in a new nonassociative algebraic structure, that is, in an AG-groupoid and developed some new results. We have defined an intraregular AG-groupoid and characterized it by the properties of its (∈, ∈∨q)-fuzzy ideals.

2. AG-groupoids

A groupoid is called an AG-groupoid if it satisfies the left invertive law, that is, (ab)c = (cb)a. Every AG-groupoid satisfies the medial law (ab)(cd) = (ac)(bd). It is basically a nonassociative algebraic structure in between a groupoid and a commutative semigroup. It is important to mention here that if an AG-groupoid contains identity or even right identity, then it becomes a commutative monoid. An AG-groupoid not necessarily contains a left identity, and if it contains a left identity, then it is unique [10]. An AG-groupoid S with left identity satisfies the paramedial law, that is, (ab)(cd) = (db)(ca) and S = S². Moreover, S satisfies the following law:

()

Let S be an AG-groupoid. By an AG-subgroupoid of S, we mean a nonempty subset A of S such that A²⊆A. A nonempty subset A of an AG-groupoid S is called a left (right) ideal of S if SA⊆A(AS⊆A), and it is called a two-sided ideal if it is both left and a right ideal of S. A nonempty subset A of an AG-groupoid S is called quasi-ideal of S if SQ∩QS⊆Q. A nonempty subset A of an AG-groupoid S is called a generalized bi-ideal of S if (AS)A⊆A, and an AG-subgroupoid A of S is called a bi-ideal of S if (AS)A⊆A. A nonempty subset A of an AG-groupoid S is called an interior ideal of S if (SA)S⊆A. A subset A of an AG-groupoid S is called semiprime if for all a ∈ S,a² ∈ A implies that a ∈ A.

If S is an AG-groupoid with left identity e, then S = S². It is easy to see that every one sided ideal of S is quasi-ideal of S. In [11], it is given that L[a] = a ∪ Sa, I[a] = a ∪ Sa ∪ aS and Q[a] = a ∪ (aS∩Sa) are principal left ideal, principal two-sided ideal, and principal quasi-ideal of S generated by a. Moreover using (2.1), left invertive law, paramedial law, and medial law, we get the following equations:

()

To obtain some more useful equations, we use medial, paramedial laws, and (2.1), we get the following:

()

Therefore,

()

The following definitions are available in [1].

A fuzzy subset f of an AG-groupoid 𝒮 is called a fuzzy AG-subgroupoid of 𝒮 if f(xy) ≥ f(x)∧f(y) for all x, y ∈ 𝒮. A fuzzy subset f of an AG-groupoid 𝒮 is called a fuzzy left (right) ideal of 𝒮 if f(xy) ≥ f(y)(f(xy) ≥ f(x)) for all x, y ∈ 𝒮.

A fuzzy subset f of an AG-groupoid 𝒮 is called a fuzzy two-sided ideal of 𝒮 if it is both a fuzzy left and a fuzzy right ideal of 𝒮. A fuzzy subset f of an AG-groupoid 𝒮 is called a fuzzy quasi-ideal of S if f∘S∩S∘f⊆f. A fuzzy subset f of an AG-groupoid 𝒮 is called a fuzzy generalized bi-ideal of 𝒮 if f((xa)y) ≥ f(x)∧f(y), for all x, a and y ∈ 𝒮. A fuzzy AG-subgroupoid f of an AG-groupoid 𝒮 is called a fuzzy bi-ideal of 𝒮 if f((xa)y) ≥ f(x)∧f(y), for all x, a, and y ∈ 𝒮. A fuzzy AG-subgroupoid f of an AG-groupoid 𝒮 is called a fuzzy interior ideal of 𝒮 if f((xa)y) ≥ f(a), for all x, a and y ∈ 𝒮.

A fuzzy subset f of an AG-groupoid S is called fuzzy semiprime if f(a) ≥ f(a²), for all a ∈ S.

Let f and g be any two fuzzy subsets of an AG-groupoid 𝒮. Then, the product f∘g is defined by

()

The symbols f∩g and f ∪ g will mean the following fuzzy subsets of 𝒮:

()

Let f be a fuzzy subset of an AG-groupoid S and t ∈ (0,1]. Then, x_t ∈ f means f(x) ≥ t, x_tqf means f(x) + t > 1, x_tα∨βf means x_tαf or x_tβf, where α, β denotes any one of ∈,q,∈∨q,∈∧q. x_tα∧βf means x_tαf and x_tβf, means x_tαf does not holds.

Let f and g be any two fuzzy subsets of an AG-groupoid 𝒮. Then, the product f∘_0.5 g is defined by

()

The following definitions for AG-groupoids are same as for semigroups in [8].

Definition 2.1. A fuzzy subset δ of an AG-groupoid S is called an (∈, ∈∨q)-fuzzy AG-subgroupoid of S if for all x, y ∈ S and t, r ∈ (0,1], it satisfies the following:

()

Definition 2.2. A fuzzy subset δ of S is called an (∈, ∈∨q)-fuzzy left (right) ideal of S if for all x, y ∈ S and t, r ∈ (0,1], it satisfies the following:

()

Definition 2.3. A fuzzy AG-subgroupoid f of an AG-groupoid S is called an (∈, ∈∨q)-fuzzy interior ideal of S if for all x, y, z∈S and t, r ∈ (0,1], the following condition holds:

()

Definition 2.4. A fuzzy subset f of an AG-groupoid 𝒮 is called an (∈, ∈∨q)-fuzzy quasi-ideal of S if it satisfies f(x) ≥ min (f∘C_S(x), C_S∘f(x), 0.5), where C_S is the fuzzy subset of S mapping every element of S on 1.

Definition 2.5. A fuzzy subset f of an AG-groupoid S is called an (∈, ∈∨q)-fuzzy generalized bi-ideal of S if x_t ∈ f and z_r ∈ S implies ((xy)z)_min {t,r} ∈ ∨qf, for all x, y, z ∈ S and t, r ∈ (0,1].

Definition 2.6. A fuzzy subset f of an AG-groupoid S is called an (∈, ∈∨q)-fuzzy bi-ideal of S if for all x, y, z ∈ S and t, r ∈ (0,1], the following conditions hold.

(i)
If x_t ∈ f and y_r ∈ S, then (xy)_min {t,r} ∈ ∨qf,
(ii)
If x_t ∈ f and z_r ∈ S, then ((xy)z)_min {t,r} ∈ ∨qf.

Definition 2.7. A fuzzy subset f of an AG-groupoid S is said to be (∈, ∈∨q)-fuzzy semiprime if it satisfies the following:

()

for all x ∈ S and t ∈ (0,1].

The proofs of the following four theorems are same as in [8].

Theorem 2.8. Let δ be a fuzzy subset of S. Then, δ is an (∈, ∈∨q)-fuzzy AG-subgroupoid of S if δ(xy) ≥ min {δ(x), δ(y), 0.5}.

Theorem 2.9. A fuzzy subset δ of an AG-groupoid S is called an (∈, ∈∨q)-fuzzy left (right) ideal of S if

()

Theorem 2.10. A fuzzy subset f of an AG-groupoid S is an(∈, ∈∨q)-fuzzy interior ideal of S if and only if it satisfies the following conditions:

(i)
f(xy) ≥ min {f(x), f(y), 0.5} for all x, y ∈ S,
(ii)
f((xy)z) ≥ min {f(y), 0.5} for all x, y, z ∈ S.

Theorem 2.11. Let f be a fuzzy subset of S. Then, f is an (∈, ∈∨q)-fuzzy bi-ideal of S if and only if

(i)
f(xy) ≥ min {f(x), f(y), 0.5} for all x, y ∈ S,
(ii)
f((xy)z) ≥ min {f(x), f(z), 0.5} for all x, y, z ∈ S.

Theorem 2.12. A fuzzy subset f of an AG-groupoid S is (∈, ∈∨q)-fuzzy semiprime if and only if f(x) ≥ f(x²)∧0.5, for all x ∈ S.

Proof. It is easy.

Here we begin with examples of AG-groupoids:

Example 2.13. Let us consider an AG-groupoid S = {1,2, 3} in the following multiplication table.

()

Clearly S is noncommutative and nonassociative, because 1.2 ≠ 2.1 and (1.2).2 ≠ 1.(2.2). Note that S has no left identity. Define a fuzzy subset F : S → [0,1] as follows:

()

Then, clearly F is an (∈, ∈∨q)-fuzzy ideal of S.

Example 2.14. Let S = {1,2, 3,4}, and the binary operation “·” be defined on S as follows:

()

Then, (S, ·) is an AG-groupoid with left identity 1. Define a fuzzy subset F : S → [0,1] as follows:

()

Then, clearly F is an (∈, ∈∨q)-fuzzy ideal of S.

Lemma 2.15. Intersection of two ideals of an AG-groupoid with left identity is either empty or an ideal.

Proof. It is straightforward.

3. (∈, ∈∨q)-Fuzzy Quasi-Ideals of an Intraregular AG-groupoid

An element a of an AG-groupoid S is called intraregular if there exist x, y ∈ S such that a = (xa²)y, and S is called intraregular if every element of S is intraregular.

Example 3.1. Let S = {a, b, c, d, e}, and the binary operation “·” be defined on S as follows:

()

It can be easily checked by the test given in [12] that (S, ·) is an AG-groupoid. Also, 1 = (1 · 1²) · 1, 2 = (2 · 2²) · 2, 3 = (4 · 3²) · 5, 4 = (5 · 4²) · 5, 5 = (3 · 5²) · 4 and 6 = (6 · 6²) · 6. Therefore, (S, ·) is an intraregular AG-groupoid. Define a fuzzy subset f : S → [0,1] as follows:

()

Then, clearly f is an (∈, ∈∨q)-fuzzy quasi-ideal of S.

Theorem 3.2 (See [13]). For an intraregular AG-groupoid S with left identity, the following statements are equivalent:

(i)
A is a left ideal of S,
(ii)
A is a right ideal of S,
(iii)
A is an ideal of S,
(iv)
A is a bi-ideal of S,
(v)
A is a generalized bi-ideal of S,
(vi)
A is an interior ideal of S,
(vii)
A is a quasi-ideal of S,
(viii)
AS = A and SA = A.

Theorem 3.3 (See [14]). In intraregular AG-groupoid S with left identity, the following are equivalent.

(i)
A fuzzy subset f of S is an (∈, ∈∨q)-fuzzy right ideal.
(ii)
A fuzzy subset f of S is an (∈, ∈∨q)-fuzzy left ideal.
(iii)
A fuzzy subset f of S is an (∈, ∈∨q)-fuzzy bi-ideal.
(iv)
A fuzzy subset f of S is an (∈, ∈∨q)-fuzzy interior ideal.
(v)
A fuzzy subset f of S is an (∈, ∈∨q)-fuzzy quasi-ideal.

Definition 3.4. Let f and g be fuzzy subsets of an AG-groupoid S. We define the fuzzy subsets f_0.5, f∧_0.5g, and f∘_0.5g of S as follows:

(i)
f_0.5(a) = f(a)∧0.5,
(ii)
(f∧_0.5g)(a) = (f∧g)(a)∧0.5.

Definition 3.5. Let A be any subset of an AG-groupoid S. Then, the characteristic function is defined as

()

Lemma 3.6 (See [14]). The following properties hold in an AG-groupoid S.

(i)
A is an AG-subgroupoid of S if and only if (C_A) _0.5 is an (∈, ∈∨q)-fuzzy AG-subgroupoid of S.
(ii)
A is a left (right, two sided) ideal of S if and only if (C_A) _0.5 is an (∈, ∈∨q)-fuzzy left (right, two-sided) ideal of S.
(iii)
A is left (quasi) ideal of an AG-groupoid S if and only if (C_A) _0.5 is (∈, ∈∨q)-fuzzy left (quasi)-ideal.
(iv)
For any nonempty subsets A and B of S,C_A∘_0.5C_B = (C_AB) _0.5 and C_A∧_0.5C_B = (C_A∩B) _0.5.
(v)
A nonempty subsets A of S semiprime if and only if (C_A) _0.5 is semiprime.

Lemma 3.7. If S is an AG-groupoid with left identity, then Sa is quasi-ideal of S.

Proof. Using paramedial, medial, and left invertive laws, we get:

()

Hence, Sa is a quasi-ideal of S.

Theorem 3.8. For an AG-groupoid with left identity e, the following are equivalent:

(i)
S is intraregular,
(ii)
I∩J = IJ (I∩J⊆IJ), for all quasi-ideals I and J,
(iii)
f∧_0.5g = f∘_0.5g (f∧_0.5g ≤ f∘_0.5g), for all (∈, ∈∨q)-fuzzy quasi-ideals f and g.

Proof. (i)⇒(iii) Let f and g be (∈, ∈∨q)-fuzzy quasi-ideals of an intraregular AG-groupoid S with left identity. Then, by Theorem 3.3, f and g become (∈, ∈∨q)-fuzzy ideals of S. For each a in S, there exists x, y in S such that a = (xa²)y and since S = S², so for y in S there exists u, v in S such that y = uv. Now, using paramedial law, medial law, and (2.1), we get the following:

()

Then,

()

Therefore, f∘_0.5g ≥ f∧_0.5g. Also, one has

()

Therefore, f∘_0.5g ≤ f∧_0.5g. Hence, f∘_0.5g(a) = f∧_0.5g(a).

(iii)⇒(ii) Let I and J be the quasi-ideals of an AG-groupoid S with left identity and let a ∈ I∩J. Then, by hypothesis and Lemma 3.6, we get the following:

()

Therefore, a ∈ IJ. Now, if a ∈ IJ, then

()

Therefore, a ∈ I∩J. Thus, IJ = I∩J.

(ii)⇒(i) Since Sa is a quasi-ideal of an AG-groupoid S with left identity containing a, by (ii), medial law, left invertive law, and paramedial law, we obtain that

()

Hence, S is intraregular.

Corollary 3.9. Let S be an AG-groupoid with left identity e, then S is intraregular if and only if every quasi-ideal of S is idempotent.

Corollary 3.10. For an AG-groupoid S with left identity, the following conditions are equivalent.

(i)
S is intraregular.
(ii)
(f∧_0.5 g)∧_0.5 h ≤ (f∘_0.5 g)∘_0.5 h, for all (∈, ∈∨q)-fuzzy quasi-ideals f, g and (∈, ∈∨q)-fuzzy left ideal h of S.
(iii)
(f∧_0.5 g)∧_0.5 h ≤ (f∘_0.5 g)∘_0.5 h, for all (∈, ∈∨q)-fuzzy quasi-ideals f, g and h of S.

Proof. (i)⇒(iii) Let f and g be (∈, ∈∨q) fuzzy quasi-ideals and h be an (∈, ∈∨q)-fuzzy left ideal of an intraregular AG-groupoid with left identity e. Since S is intraregular. Therefore, for a ∈ S, there exists x, y in S such that a = (xa²)y. Now, using (2.1), left invertive law, paramedial and medial laws, we get the following:

()

Then,

()

(iii)⇒(ii) It is obvious.

(ii)⇒(i) Let f and g be (∈, ∈∨q)-fuzzy quasi-ideals of an AG-groupoid S with left identity. Then,

()

Thus, ((C_S∧_0.5 f)∧_0.5 g) = f∧_0.5 g. Also,

()

Thus, C_S∘_0.5 g ≤ f. Now, using (ii), we get the following:

()

Therefore, by Theorem 3.8, S is intraregular.

Lemma 3.11. Let S be an AG-groupoid with left identity, then (aS)a²⊆(aS)a, for some a in S.

Proof. Using paramedial law, medial law, left invertive law, and (2.1), we get the following:

()

Lemma 3.12. Let S be an AG-groupoid with left identity, then (aS)[(aS)a]⊆(aS)a, for some a in S.

Proof. Using left invertive law and (2.1), we get the following:

()

Lemma 3.13. If S is an AG-groupoid with left identity, then (aS)(Sa) = (aS)a, for some a in S.

Proof. Using paramedial law, medial law, and (2.1), we get the following:

()

Theorem 3.14. Let S be an AG-groupoid with left identity, then B[a] = a ∪ a² ∪ (aS)a is a bi-ideal of S.

Proof. Using Lemmas 3.13, 3.11, 3.12, left invertive law, and (2.1), we get the following:

()

Thus a ∪ a² ∪ (aS)a is a bi-ideal.

Theorem 3.15. For an AG-groupoid with left identity e, the following are equivalent.

(i)
S is intraregular.
(ii)
Q[a]∩B[a] = Q[a]B[a], for some a in S.
(iii)
Q∩B = QB, for every quasi-ideal Q and bi-ideal B of S.

Proof. (i)⇒(iii) Let Q be a quasi-ideal and B be a bi-ideal of an intraregular AG-groupoid S with left identity. Then, by Theorem 3.2, Q and B become ideals of S. Let a ∈ Q∩B. Now since S is intraregular so for each a in S there exists x, y in S such that a = (xa²)y. Now, since a = (a(vu))(ax); thus,

()

Therefore, Q∩B⊆QB. Next let qb ∈ QB, for some q ∈ Q and b ∈ B. Then qb ∈ QS⊆Q and qb ∈ SB⊆B. Thus QB⊆Q∩B. Hence, Q∩B = QB.

(iii)⇒(ii) It is obvious.

(ii)⇒(i) For a in S,B[a] = a ∪ a² ∪ (aS)a and Q[a] = a ∪ (Sa∩aS) are bi- and quasi-ideals of S generated by a. Therefore using left invertive law, medial law, and (ii), we get the following:

()

Hence by (2.4), S is intraregular.

Theorem 3.16. For an AG-groupoid with left identity e, the following are equivalent.

(i)
S is intraregular.
(ii)
f∧_0.5 g = f∘_0.5 g, where f is any (∈, ∈∨q)-fuzzy quasi-ideal and g is any (∈, ∈∨q)-fuzzy bi-ideal.

Proof. (i)⇒(ii) Let f be an (∈, ∈∨q)-fuzzy quasi-ideal and g be an (∈, ∈∨q)-fuzzy bi-ideal of an intraregular AG-groupoid S with left identity. Then, by Theorem 3.3, f and g become (∈, ∈∨q)-fuzzy ideals of S. Since S is intraregular, so for each a in S there exists x, y in S such that a = (xa²)y. Now, since a = (a(vu))(ax),

()

Thus, f∘_0.5 g ≥ f∧_0.5 g. Also

()

Therefore, f∘_0.5 g ≤ f∧_0.5 g. Hence, f∘_0.5 g(a) = f∧_0.5 g(a).

(ii)⇒(i) Let a ∈ Q∩B. Then, by hypothesis and Lemma 3.6, we get the following:

()

Therefore, a ∈ QB. Now, if a ∈ QB, then

()

Therefore, a ∈ Q∩B. Thus, QB = Q∩B. Hence by Theorem 3.15, S is intraregular.

Lemma 3.17. If I is an ideal of an intraregular AG-groupoid S with left identity, then I = I².

Proof. It is straightforward.

Theorem 3.18. For an AG-groupoid S with left identity, the following are equivalent.

(i)
S is intraregular.
(ii)
Q[a]∩L[a]∩B[a] = (Q[a]L[a])B[a], for some a in S.
(iii)
Q∩L∩B = (QL)B, for any quasi-ideal Q, left ideal L, and bi-ideal B of S.

Proof. (i)⇒(iii) Let Q be a quasi-ideal, L be a left ideal, and B be a bi-ideal of an intraregular AG-groupoid S with left identity. Since S is intraregular, for each a ∈ S, there exist x, y ∈ S such that a = (xa²)y. Then, by Theorem 3.2, Q, L, and B become ideals of S. Then, using (2.1), left invertive law, paramedial and medial law, we obtain that

()

(iii)⇒(ii) It is obvious.

(ii)⇒(i) For a in S,L[a] = a ∪ Sa, Q[a] = a ∪ (Sa∩aS) and B[a] = a ∪ a² ∪ (aS)a are left, quasi and bi-ideals of S generated by a. Therefore using medial law, left invertive law and (ii), we get the following:

()

Hence by (2.4), S is intraregular.

Theorem 3.19. For an AG-groupoid S with left identity, the following are equivalent.

(i)
S is intraregular.
(ii)
(f∧_0.5 g)∧_0.5h = (f∘_0.5 g)∘_0.5h, for (∈, ∈∨q)-fuzzy quasi ideal f, (∈, ∈∨q)-fuzzy left-ideal g and (∈, ∈∨q)-fuzzy bi-ideal h of S.

Proof. (i)⇒(ii) Let f be an (∈, ∈∨q)-fuzzy quasi-ideal, g be an (∈, ∈∨q)-fuzzy left ideal, and h be an (∈, ∈∨q)-fuzzy bi-ideal of an intraregular AG-groupoid S with left identity. Since S is intraregular, for each a ∈ S there exist x, y ∈ S such that a = (xa²)y. Then, by Theorem 3.3, f, g, and h become (∈, ∈∨q)-fuzzy ideals of S. Then, using (2.1), left invertive law, paramedial and medial law, we obtain that

()

Now,

()

Therefore, (f∧_0.5 g)∧_0.5 h ≤ (f∘_0.5 g)∘_0.5 h. Also

()

Therefore, (f∧_0.5 g)∧_0.5 h ≥ (f∘_0.5 g)∘_0.5 f. Hence, (f∧_0.5 g)∧_0.5 h = (f∘_0.5 g)∘_0.5 h.

(ii)⇒(i) Let Q be a quasi-ideal, L be a left ideal, and B be a bi-ideal of an AG-groupoid S. Then, by Lemma 3.6, , , and are (∈, ∈∨q)-fuzzy quasi, left, and bi-ideals of S. Then, using (ii), we have

()

This implies that Q∩L∩B = (QL)B. Hence by Theorem 3.18, S is intraregular.

Theorem 3.20. Let S be an AG-groupoid with left identity, then the following conditions are equivalent.

(i)
S is intraregular.
(ii)
For every bi-ideal B and quasi-ideal Q of S, BQ = QB and B & Q are semiprime.

Proof. (i)⇒(ii) Let B be a bi-ideal and Q be a quasi-ideal of an intraregular AG-groupoid S with left identity. Then, by Theorem 3.2, Q and B become ideals of S. Let b ∈ B and q ∈ Q. Since S, is intraregular so for each b in S, there exists x, y, in S such that b = (xb²)y. Thus by left invertive law, we get the following:

()

Similarly we can prove that QB⊆BQ. Now let b² ∈ B. Then b = (xb²)y ∈ (SB)S⊆B. Thus B is semiprime. Similarly we can prove that Q is semiprime.

(ii)⇒(i) For a in S,Q[a] = a ∪ (Sa∩aS) and B[a] = a ∪ a² ∪ (aS)a are quasi and bi-ideals of S generated by a. Therefore, using (2.1), (2.4), medial law, and (ii), we get

()

Clearly Sa² is a bi-ideal of S, so, by (ii), it is semiprime. Thus, a ∈ Sa². Hence by (2.4), S is intraregular.

The proofs of following two Lemmas are easy and therefore omitted.

Lemma 3.21. For any fuzzy subset f of an AG-groupoid S, S∘_0.5 f ≤ f and for any fuzzy right ideal g, g∘_0.5 S ≤ g.

Lemma 3.22. Let f and g be (∈, ∈∨q)-fuzzy ideals of an AG-groupoid S with left identity, then f∘_0.5 g is an (∈, ∈∨q)-fuzzy ideal of S.

Theorem 3.23. LetS be an AG-groupoid with left identity, then the following conditions are equivalent.

(i)
S is intraregular.
(ii)
For every (∈, ∈∨q)-fuzzy quasi-ideal f and (∈, ∈∨q)-fuzzy bi-ideal g, f∘_0.5 g = g∘_0.5 f, and f and g are semiprime.

Proof. (i)⇒(ii) Let f be an (∈, ∈∨q)-fuzzy quasi-ideal and g be an (∈, ∈∨q)-fuzzy bi-ideal of an intraregular AG-groupoid S with left identity. Now by Theorem 3.3, f and g become (∈, ∈∨q)-fuzzy ideals of S. Then by Theorem 3.16, Lemmas 8, and 9, we get the following:

()

This implies that f∘_0.5 g ≤ g∘_0.5 f. Similarly we can prove that g∘_0.5f ≤ f∘_0.5g.

Hence f∘_0.5 g = g∘_0.5 f. Moreover,

()

Thus, f(a) ≥ f(a²). Similarly g(a) ≥ g(a²).

(ii)⇒(i) Let A be a bi-ideal and B be a quasi-ideal of S, then by Lemma 3.6, , and are (∈, ∈∨q)-fuzzy bi and (∈, ∈∨q)-fuzzy quasi-ideals; therefore, by using Lemma 3.6 and (ii),

()

Therefore AB = BA. Now since

and

are semiprime so by Lemma 3.6, A and B are semiprime. Hence by Theorem 3.20, S is semiprime.

References

1 Mordeson J. N., Malik D. S., and Kuroki N., Fuzzy Semigroups, 2003, 131, Springer, Berlin, Germany, Studies in Fuzziness and Soft Computing, 2026903.
10.1007/978-3-540-37125-0
Google Scholar
2 Murali V., Fuzzy points of equivalent fuzzy subsets, Information Sciences. (2004) 158, 277–288, https://doi.org/10.1016/j.ins.2003.07.008, 2025646.
10.1016/j.ins.2003.07.008
Web of Science® Google Scholar
3 Pu P. M. and Liu Y. M., Fuzzy topology. I. Neighborhood structure of a fuzzy point and Moore-Smith convergence, Journal of Mathematical Analysis and Applications. (1980) 76, no. 2, 571–599, https://doi.org/10.1016/0022%2D247X(80)90048%2D7, 587361.
10.1016/0022-247X(80)90048-7
Web of Science® Google Scholar
4 Bhakat S. K. and Das P., On the definition of a fuzzy subgroup, Fuzzy Sets and Systems. (1992) 51, no. 2, 235–241, https://doi.org/10.1016/0165%2D0114(92)90196%2DB, 1188315.
10.1016/0165-0114(92)90196-B
Web of Science® Google Scholar
5 Bhakat S. K. and Das P., (∈, ∈∨_q)-fuzzy subgroup, Fuzzy Sets and Systems. (1996) 80, no. 3, 359–368, https://doi.org/10.1016/0165%2D0114(95)00157%2D3, 1392107.
10.1016/0165-0114(95)00157-3
Web of Science® Google Scholar
6 Davvaz B., (∈, ∈∨_q)-fuzzy subnearrings and ideals, Soft Computing. (2006) 10, 206–211.
10.1007/s00500-005-0472-1
Web of Science® Google Scholar
7 Jun Y. B. and Song S. Z., Generalized fuzzy interior ideals in semigroups, Information Sciences. (2006) 176, no. 20, 3079–3093, https://doi.org/10.1016/j.ins.2005.09.002, 2247617.
10.1016/j.ins.2005.09.002
Web of Science® Google Scholar
8 Shabir M., Jun Y. B., and Nawaz Y., Characterizations of regular semigroups by (α, β)-fuzzy ideals, Computers & Mathematics with Applications. (2010) 59, no. 1, 161–175, https://doi.org/10.1016/j.camwa.2009.07.062, 2575503.
10.1016/j.camwa.2009.07.062
Web of Science® Google Scholar
9 Shabir M., Jun Y. B., and Nawaz Y., Semigroups characterized by (∈, ∈∨_qk)-fuzzy ideals, Computers & Mathematics with Applications. (2010) 60, no. 5, 1473–1493, https://doi.org/10.1016/j.camwa.2010.06.030, 2672947.
10.1016/j.camwa.2010.06.030
Web of Science® Google Scholar
10 Mushtaq Q. and Yusuf S. M., On LA-semigroups, The Aligarh Bulletin of Mathematics. (1978) 8, 65–70, 687711.
Google Scholar
11 Protić P. V. and Stevanović N., On Abel-Grassmann′s groupoids, Proceedings of the Mathematical Conference in Priština, 1994, 31–38, 1466267.
Google Scholar
12 Protić P. V. and Stevanović N., AG-test and some general properties of Abel-Grassmann′s groupoids, Pure Mathematics and Applications. (1995) 6, no. 4, 371–383, 1399302.
Google Scholar
13 Khan M. and Ahmad N., Characterizations of left almost semigroups by their ideals, Journal of Advanced Research in Pure Mathematics. (2010) 2, no. 3, 61–73, 2794235.
Google Scholar
14 Khan M., Jun Y. B., and Ullah K., Characterizations of right regular Abel-Grassmanns groupoids by their (∈, ∈∨_q)-fuzzyideals, submitted.
Google Scholar

Citing Literature

All articles

Generalized Fuzzy Quasi-Ideals of an Intraregular Abel-Grassmann′s Groupoid

Abstract

1. Introduction

2. AG-groupoids

3. (∈, ∈∨q)-Fuzzy Quasi-Ideals of an Intraregular AG-groupoid

References

Citing Literature

References

Information

About Wiley Online Library

Help & Support

Opportunities

Connect with Wiley

Generalized Fuzzy Quasi-Ideals of an Intraregular Abel-Grassmann′s Groupoid

Abstract

1. Introduction

2. AG-groupoids

3. (∈, ∈∨q)-Fuzzy Quasi-Ideals of an Intraregular AG-groupoid

References

Citing Literature

References

Related

Information