Ordered semigroups characterized in terms of generalized fuzzy ideals

Abstract

In the present paper, the notions of (k^*, q)-quasi-coincident, (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal, (∈ , ∈ ∨ (k^*, q_k))-fuzzy right ideal and (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of an ordered semigroup are introduced. The (k^*, k)-lower parts of an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal, (∈ , ∈ ∨ (k^*, q_k))-fuzzy right ideal and (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal are also defined. Then, we characterize these various fuzzy ideals. Finally, using the properties of these fuzzy ideals, we characterize regular, left regular, right regular, completely regular and left weakly regular ordered semigroups.

Keywords

Fuzzy ideals regular,completely regular and left weakly regular ordered semigroups

1 Introduction

In 1965, Lofti Zadeh [36] introduced the notion of a fuzzy subset of a set. This seminal paper has opened up new insights and application in a wide range of scientific fields. Rosenfeld [31] used the notion of a fuzzy subset to forth cornerstone papers in several areas of mathematics, among other disciplines. Kuroki initiated the theory of fuzzy semigroups in his paper [25]. The monograph by Mordeson et al. [28] deals with the theory of fuzzy semigroups and their use in fuzzy codes, fuzzy finite state machines and fuzzy languages. Because of this, semigroups and related structures are presently extensively investigated in fuzzy settings. Kehayopulu [17, 20] characterized regular, left regular and right regular ordered semigroups by means of fuzzy left, fuzzy right and fuzzy bi-ideals. Murali [29] defined the concept of belongingness of a fuzzy point to a fuzzy subset under a natural equivalence on a fuzzy subset. The idea of quasi-coincidence of a fuzzy point with a fuzzy set played a vital role in generating different types of fuzzy subgroups. Using these ideas, Bhakat and Das [4 –8] introduced the concept of (α, β)-fuzzy subgroups by using the ’belong to’ (∈) relation and ’quasi coincident with’ (q) relation between a fuzzy point and a fuzzy subgroup and introduced the concept of (∈ , ∈ ∨ q)-fuzzy subgroup. Davvaz defined (∈ , ∈ ∨ q)-fuzzy subnearrings and ideals of a near ring in [9]. Kazanci and Yamak [16] studied (∈ , ∈ ∨ q)-fuzzy bi-ideals of a semigroup. In [34], Tang characterized ordered semigroups by (∈ , ∈ ∨ q)-fuzzy ideals. Generalizing the concept of the quasi-coincident of a fuzzy point with a fuzzy subset, Jun [15] defined (∈ , ∈ ∨ q_k)- fuzzy subalgebras in BCK/BCI-algebras, respectively. In [33] Shabir et al. characterized the regular semigroups by (∈ , ∈ ∨ q_k)-fuzzy ideals. In [21 –23] Khan et al. characterized ordered semigroups in terms of fuzzy bi-ideals and intuitionistics fuzzy bi-ideals. In fact fuzzy ideals of ordered semigroups with special properties have always played an important role in the study of structure of ordered semigroups. Following the terminology given by Zadeh, fuzzy sets in an ordered semigroup S were first considered by Kehayopulu and Tsingelis in [17 –20]. They defined fuzzy analogous for several notions, which have proved very useful in the theory of ordered semigroups. To mention [18], they did prove that each ordered groupoid can be embedded into an ordered groupoid having the greatest element (poe-groupoid) in terms of fuzzy sets. Xie and Tang [35] studied regular and intra-regular ordered semigroups in terms of fuzzy subsets. In [1 –3] Akram et al., studied generalized fuzzy ideal of fuzzy K-algebras. In this paper, notions of (k^*, q)-quasi-coincident, (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal, (∈ , ∈ ∨ (k^*, q_k))-fuzzy right ideal and (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of an ordered semigroup are introduced. (k^*, k)-lower parts of an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal, (∈ , ∈ ∨ (k^*, q_k))-fuzzy right ideal and (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal are also introduced. We, then, have characterized these various fuzzy ideals. Finally, using properties of these fuzzy ideals, we have characterized regular, left regular, right regular, completely regular and left weakly regular ordered semigroups.

2 Preliminaries

An ordered semigroup is a pair (S, .) comprising of a semigroup S and an order relation ≤ (on S) that is compatible with the binary operation; i.e. for all a, b, s ∈ S, a ≤ b implies that sa ≤ sb and as ≤ bs.

For any non-empty subset A of an ordered semigroup S, define [17] by $(A] = {a \in S | a \leq b for some b \in A} .$

Then for any non-empty subsets A, B of S[34], we have (1) A ⊆ (A]; (2) If A ⊆ B, then (A] ⊆ (B]; (3) (A] (B] ⊆ (AB]; (4) ((A]] = (A]; (5) ((A] (B]] = (AB].

A non-empty subset A of an ordered semigroup S is called a subsemigroup of S if A² ⊆ A.

A non-empty subset A of an ordered semigroup S is called a left(resp. right) ideal of S if (1) for any a ∈ S and b ∈ A, if a ≤ b, then a ∈ A and (2) SA ⊆ A(resp. AS ⊆ A). We denote by L (a) (resp. R (a)), the left (resp. right) ideal of S generated by a (a ∈ S). Then L (a) = (a ∪ Sa] (resp. R (a) = (a ∪ aS]) [35]. If A is both a left and right ideal of S, then A is called an ideal of S. We denote by I (a), the ideal of S generated by a (a ∈ S). Then I (a) = (a ∪ Sa ∪ aS ∪ SaS] [35].

A non-empty subset A of an ordered semigroup S is called a bi-ideal of S if (1) for any a ∈ S and b ∈ A, if a ≤ b, then a ∈ A; (2) for all a, b ∈ A ⇒ab ∈ A and (3) ASA ⊆ A. We denote by B (a), the bi-ideal of S generated by a (a ∈ S). Then B (a) = (a ∪ a² ∪ aSa] [35].

A non-empty subset A of an ordered semigroup S is called a generalized bi-ideal of S if (1) for any a ∈ S and b ∈ A, if a ≤ b, then a ∈ A and (2) ASA ⊆ A. We denote by $\overset{˘}{B} (a)$ , the generalized bi-ideal of S generated by a (a ∈ S). Then $\overset{˘}{B} (a) = (a \cup aSa]$ .

Any function f from S to the closed interval [0, 1] is called a fuzzy subset [36] of S. The ordered semigroup S itself is regarded as a fuzzy subset of S by defining S (x) ≡1 for all x ∈ S.

Let f and g be two fuzzy subsets of S. Then, the inclusion relation f ⊆ g is defined [12] by f (x) ≤ g (x) for all x ∈ S. Also $\begin{matrix} (f \cap g) (x) = min {f (x), g (x)} \\ (f \cup g) (x) = max {f (x), g (x)} \end{matrix}$ for all x ∈ S.

For any ordered semigroup (S, . , ≤) and x ∈ S, define [12] by $A_{x} = {(y, z) \in S \times S | x \leq yz} .$

Then product f ∘ g of any fuzzy subsets f and g of S is defined [18] by $(f \circ g) (x) = {\begin{matrix} ⋁_{(y, z) \in A_{x}} min {f (y), g (z)}, & A_{x} \neq \emptyset, \\ 0, & A_{x} = \emptyset; \end{matrix}$ for all x ∈ S. This operation “∘” defined above is associative and (F (S) , ∘ , ⊆) is a poe-semigroup, where F (S) denotes the set of all fuzzy subsets of S.

Let A be a non-empty subset of S. We denote by f_A, the characteristic function of A; that is the mapping of S into [0, 1] defined by $f_{A} (x) = {\begin{matrix} 1, & if x \in A, \\ 0, & if x \notin A . \end{matrix}$

Clearly f_A is a fuzzy subset of S.

Let S be an ordered semigroup of S. A fuzzy subset f of S is called a fuzzy subsemigroup [17] of S if $f (xy) \geq min {f (x), f (y)}$ for all x, y ∈ S.

A fuzzy subset f of S is called a fuzzy left(resp. right) ideal [17] of S if (1) x ≤ y ⇒ f (x) ≥ f (y) and (2) f (xy) ≥ f (y) (resp. f (xy) ≥ f (x)) for all x, y ∈ S; or equivalently S ∘ f ⊆ f (resp. f ∘ S ⊆ f). A fuzzy subset f of S is called a fuzzy ideal of S if it is both a fuzzy left and fuzzy right ideal of S.

A fuzzy subsemigroup f of S is called a fuzzy bi-ideal [17] of S if (1) x ≤ y ⇒ f (x) ≥ f (y) and (2) f (xyz) ≥ min {f (x) , f (z)} for all x, y, z ∈ S.

A fuzzy subset f of S is called a fuzzy generalized bi-ideal of S if (1) x ≤ y ⇒ f (x) ≥ f (y) and (2) f (xyz) ≥ min {f (x) , f (z)} for all x, y, z ∈ S.

Definition 2.1. [34] Let S be an ordered semigroup, a ∈ S and u ∈ (0, 1]. An ordered fuzzy point a_u of S is defined by $a_{u} (x) = {\begin{matrix} u, & if x \in (a], \\ 0, & if x \notin (a] . \end{matrix}$

Then a_u is a mapping from S into [0,1]. Thus an ordered fuzzy point of S is a fuzzy subset of S. For any fuzzy subset f of S, we shall also denote a_u ⊆ f by a_u ∈ f in the sequel. Then a_u ∈ f if and only if f (a) ≥ u.

Definition 2.2. [34] An ordered fuzzy point a_u of an ordered semigroup S is said to be quasi-coincident with a fuzzy subset f of S, written as a_uqf, if f (a) + u > 1.

Definition 2.3. [34] Let f be any fuzzy subset of an ordered semigroup S. For any u ∈ (0, 1], the set $U (f; u) = {x \in S | f (x) \geq u},$ is called a level subset of f.

Theorem 2.4. [17] A fuzzy subset f of an ordered semigroup S is a fuzzy left (resp. right) ideal of S if and only if U (f ; u) (≠ ∅), where u ∈ (0, 1], is a left (resp. right) ideal of S.

Theorem 2.5. [12] A fuzzy subset f of an ordered semigroup S is a fuzzy generalized bi-ideal of S if and only if U (f ; u) (≠ ∅), where u ∈ (0, 1], is a generalized bi-ideal of S.

Theorem 2.6. [17] A non-empty subset A of an ordered semigroup S is a left (resp. right) ideal of S if and only if for any fuzzy subset f of S, the characteristic function f_A is a fuzzy left (resp. right) ideal of S.

Theorem 2.7. [12] A non-empty subset A of an ordered semigroup S is a generalized bi-ideal of S if and only if for any fuzzy subset f of S, the characteristic function f_A is a fuzzy generalized bi-ideal of S.

3 (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideals of ordered semigroups

In this section, first we define (k^*, q)-quasi-coincident and investigate mainly the properties of (∈ , ∈ ∨ (k^*, q_k))-fuzzy left (resp. right) ideal, and (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of an ordered semigroup S. Some results about regular and left regular ordered semigroups, in terms of (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideals, are also proved.

Definition 3.1. An ordered fuzzy point a_u of an ordered semigroup S, for any k^* ∈ (0, 1], is said to be (k^*, q)-quasi-coincident with a fuzzy subset f of S, written as a_u (k^*, q) f, if $f (a) + u > k^{*} .$

Let (S, . , ≤) be an ordered semigroup and 0 ≤ k < k^* ≤ 1. For an ordered fuzzy point x_u, we say that

x_u (k^*, q_k) f if f (x) + u + k > k^*;

x_u ∈ ∨ (k^*, q_k) f if x_u ∈ f or x_u (k^*, q_k) f;

$x_{u} \bar{α} f$ if x_uαf does not hold for α ∈ {(k^*, q_k), ∈ ∨ (k^*, q_k)}.

Definition 3.2. A fuzzy subset f of an ordered semigroup S is called an (∈ , ∈ ∨ (k^*, q_k))-fuzzy subsemigroup of S if x_u ∈ f and y_v ∈ f imply (xy) _min{u,v} ∈ ∨ (k^*, q_k) f for all u, v ∈ (0, 1] and x, y ∈ S.

Definition 3.3. A fuzzy subset f of an ordered semigroup S is called an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left (resp. right) ideal of S if for all u ∈ (0, 1] and x, y ∈ S, the following conditions hold:

x ≤ y, y_u ∈ f ⇒ x_u ∈ ∨ (k^*, q_k) f, and

x ∈ S, y_u ∈ f imply (xy) _u ∈ ∨ (k^*, q_k) f (resp. (yx) _u ∈ ∨ (k^*, q_k) f).

A fuzzy subset f of an ordered semigroup S is called an (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal if it is both an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal and (∈ , ∈ ∨ (k^*, q_k))-fuzzy right ideal of S.

Definition 3.4. A fuzzy subset f of an ordered semigroup S is called an (∈ , ∈ ∨ (k^*, q_k))-fuzzy bi-ideal of S if for all u, v ∈ (0, 1] and x, y, z ∈ S, the following conditions hold:

x ≤ y, y_u ∈ f ⇒ x_u ∈ ∨ (k^*, q_k) f;

x_u ∈ f, y_v ∈ f imply (xy) _min{u,v} ∈ ∨ (k^*, q_k) f;

x_u ∈ f, z_v ∈ f imply (xyz) _min{u,v} ∈ ∨ (k^*, q_k) f.

Definition 3.5. A fuzzy subset f of an ordered semigroup S is called an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S if for all u, v ∈ (0, 1] and x, y, z ∈ S, the following conditions hold:

x ≤ y, y_u ∈ f ⇒ x_u ∈ ∨ (k^*, q_k) f, and

x_u ∈ f, z_v ∈ f imply (xyz) _min{u,v} ∈ ∨ (k^*, q_k) f.

Theorem 3.6. Let S be an ordered semigroup and B be a generalized bi-ideal of S. Let f be a fuzzy subset of S defined by $f (x) = {\begin{matrix} \frac{k^{*} - k}{2}, & if x \in B; \\ 0, & if x \notin B . \end{matrix}$

Then

f is a ((k^*, q) , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S.

f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalizedbi-ideal of S.

Proof. (1) Let x, y ∈ S, x ≤ y and u ∈ (0, 1] be such that y_u (k^*, q) f. Then y ∈ B, f (y) + u > k^*. Since B is a generalized bi-ideal of S and x ≤ y ∈ B, we have x ∈ B. Thus $f (x) \geq \frac{k^{*} - k}{2}$ . If $u \leq \frac{k^{*} - k}{2}$ , then f (x) ≥ u. So x_u ∈ f. If $u > \frac{k^{*} - k}{2}$ , then $f (x) + u > \frac{k^{*} - k}{2} + \frac{k^{*} - k}{2} = k^{*} - k$ . Therefore x_u (k^*, q_k) f. Let x, y, z ∈ S and u, v ∈ (0, 1] be such that x_u (k^*, q) f and z_v (k^*, q) f. Then x, z ∈ B, f (x) + u > k^* and f (z) + v > k^*. Since B is a generalized bi-ideal of S, we have xyz ∈ B. Thus $f (xyz) \geq \frac{k^{*} - k}{2}$ . If $min {u, v} \leq \frac{k^{*} - k}{2}$ , then f (xyz) ≥ min {u, v} and so (xyz) _min{u,v} ∈ f. Again if $min {u, v} > \frac{k^{*} - k}{2}$ , then $f (xyz) + min {u, v} > \frac{k^{*} - k}{2} + \frac{k^{*} - k}{2} = k^{*} - k$ .

So (xyz) _min{u,v} (k^*, q_k) f.

Therefore (xyz) _min{u,v} ∈ ∨ (k^*, q_k) f.

(2) Let x, y ∈ S, x ≤ y and u ∈ (0, 1] be such that y_u ∈ f. Then y ∈ B, f (y) ≥ u. Since B is a generalized bi-ideal of S and x ≤ y ∈ B, we have x ∈ B. Thus $f (x) \geq \frac{k^{*} - k}{2}$ . If $u \leq \frac{k^{*} - k}{2}$ , then f (x) ≥ u, so we have x_u ∈ f. If $u > \frac{k^{*} - k}{2}$ , then $f (x) + u > \frac{k^{*} - k}{2} + \frac{k^{*} - k}{2} = k^{*} - k$ . So x_u (k^*, q_k) f. Therefore x_u ∈ ∨ (k^*, q_k) f. Let x, y, z ∈ S and u, v ∈ (0, 1] be such that x_u ∈ f and z_v ∈ f. Then x, z ∈ B, f (x) ≥ u and f (z) ≥ v. Since B is a generalized bi-ideal of S, we have xyz ∈ B. Thus $f (xyz) \geq \frac{k^{*} - k}{2}$ . If $min {u, v} \leq \frac{k^{*} - k}{2}$ , then f (xyz) ≥ min {u, v}. Therefore (xyz) _min{u,v} ∈ f. Again if $min {u, v} > \frac{k^{*} - k}{2}$ , then $f (xyz) + min {u, v} > \frac{k^{*} - k}{2} + \frac{k^{*} - k}{2} = k^{*} - k$ . So (xyz) _min{u,v} (k^*, q_k) f.

Therefore (xyz) _min{u,v} ∈ ∨ (k^*, q_k) f.

Theorem 3.7. Let f be a fuzzy subset of an ordered semigroup S. Then f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S if and only if

$x \leq y \Rightarrow f (x) \geq min {f (y), \frac{k^{*} - k}{2}}$ ;

$f (xyz) \geq min {f (x), f (z), \frac{k^{*} - k}{2}}$ ; for all x, y, z ∈ S.

Proof. Let f be an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S and x, y ∈ S. Suppose to the contrary that $f (x) < min {f (y), \frac{k^{*} - k}{2}}$ for some x, y ∈ S. Choose u ∈ (0, 1] such that $f (x) < u \leq min {f (y), \frac{k^{*} - k}{2}}$ . Then y_u ∈ f, but $(x)_{u} \bar{\in \lor (k^{*}, q_{k})} f$ , which is a contradiction. Hence $f (x) \geq min {f (y), \frac{k^{*} - k}{2}}$ .

Suppose, again, to the contrary that $f (xyz) < min {f (x), f (z), \frac{k^{*} - k}{2}}$ for some x, y, z ∈ S. Choose u ∈ (0, 1] such that $f (xyz) < u \leq min {f (x), f (z), \frac{k^{*} - k}{2}}$ . Then x_u ∈ f and z_u ∈ f, but $(xyz)_{u} \bar{\in \lor (k^{*}, q_{k})} f$ , which is a contradiction. Hence $f (xyz) \geq min {f (x), f (z), \frac{k^{*} - k}{2}}$ .

Conversely, suppose that conditions (1) and (2) hold. Let $f (x) \geq min {f (y), \frac{k^{*} - k}{2}}$ for all x, y ∈ S. Let y_u ∈ f (u ∈ (0, 1]). Then f (y) ≥ u. So $f (x) \geq min {f (y), \frac{k^{*} - k}{2}} \geq min {u, \frac{k^{*} - k}{2}}$ . If $u \leq \frac{k^{*} - k}{2}$ , then f (x) ≥ u implying that x_u ∈ f. Again, if $u > \frac{k^{*} - k}{2}$ , then $f (x) \geq \frac{k^{*} - k}{2}$ . So $f (x) + u > \frac{k^{*} - k}{2} + \frac{k^{*} - k}{2} = k^{*} - k$ , which implies that x_u (k^*, q_k) f. Hence x_u ∈ ∨ (k^*, q_k) f. Let $f (xyz) \geq min {f (x), f (z), \frac{k^{*} - k}{2}}$ for all x, y, z ∈ S. Let x_u ∈ f and z_v ∈ f (u, v ∈ (0, 1]). Then f (x) ≥ u and f (z) ≥ v. So $f (xyz) \geq min {f (x), f (z), \frac{k^{*} - k}{2}} \geq min {u, v, \frac{k^{*} - k}{2}}$ . If $min {u, v} \leq \frac{k^{*} - k}{2}$ , then f (xyz) ≥ min {u, v} implying that (xyz) _min{u,v} ∈ f. If $min {u, v} > \frac{k^{*} - k}{2}$ , then $f (xyz) \geq \frac{k^{*} - k}{2}$ . So $f (xyz) + min {u, v} > \frac{k^{*} - k}{2} + \frac{k^{*} - k}{2} = k^{*} - k$ , which imply that (xyz) _min{u,v} (k^*, q_k) f.

Hence (xyz) _min{u,v} ∈ ∨ (k^*, q_k) f. Therefore, f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-idealof S.

Every (∈ , ∈ ∨ (k^*, q_k))-fuzzy bi-ideal of S is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S. However, the converse is not true, in general, as shown in the following example:

Example 3.8. Let S = {a, b, c} be an ordered semigroup with respect to the order relation a ≤ b, a ≤ c and the operation ^′ . ′ defined by the following Cayley table: $\begin{matrix} . & a & b & c \\ a & a & a & a \\ b & a & a & a \\ c & a & a & b \end{matrix}$

Define f on S by f (a) =0.55, f (b) =0 and f (c) =0.40. Then f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S. Since $f (cc) = f (b) = 0 < min {0.40, 0.40, \frac{k^{*} - k}{2}} = min {f (c), f (c), \frac{k^{*} - k}{2}}$ , f is not an (∈ , ∈ ∨ (k^*, q_k))-fuzzy subsemigroup of S, and so f is not a (∈ , ∈ ∨ (k^*, q_k))-fuzzy bi-ideal of S.

Theorem 3.9. Let f be a fuzzy subset of S. Then f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S if and only if $U (f; u) (\neq \emptyset) (u \in (0, \frac{k^{*} - k}{2}])$ is a generalized bi-ideal of S.

Proof. Suppose that f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S. Let x, y ∈ S be such that x ≤ y ∈ U (f ; u), where $u \in (0, \frac{k^{*} - k}{2}]$ . Then f (y) ≥ u. By Theorem 3.7, $f (x) \geq min {f (y), \frac{k^{*} - k}{2}} \geq min {u, \frac{k^{*} - k}{2}} = u$ . Therefore x ∈ U (f ; u). Let x, z ∈ U (f ; u) and y ∈ S. Then f (x) ≥ u and f (z) ≥ u. So, by Theorem 3.7, $f (xyz) \geq min {f (x), f (z), \frac{k^{*} - k}{2}} \geq min {u, \frac{k^{*} - k}{2}} = u$ . Thus f (xyz) ≥ u. Therefore xyz ∈ U (f ; u). Hence U (f ; u) is a generalized bi-ideal.

Conversely, suppose that U (f ; u) (≠ ∅) is a generalized bi-ideal of S for all $u \in (0, \frac{k^{*} - k}{2}]$ . Take any x, y ∈ S with x ≤ y and suppose to the contrary that $f (x) < min {f (y), \frac{k^{*} - k}{2}}$ . Then $f (x) < u \leq min {f (y), \frac{k^{*} - k}{2}}$ , for some $u \in (0, \frac{k^{*} - k}{2}]$ . This implies that y ∈ U (f ; u), but x ∉ U (f ; u). This is a contradiction. Thus $f (x) \geq min {f (y), \frac{k^{*} - k}{2}}$ for all x, y ∈ S with x ≤ y. Again suppose to the contrary that $f (xyz) < min {f (x), f (z), \frac{k^{*} - k}{2}}$ for some x, y, z ∈ S. Then there exist $u \in (0, \frac{k^{*} - k}{2}]$ such that $f (xyz) < u \leq min {f (x), f (z), \frac{k^{*} - k}{2}}$ . This implies that x_u ∈ U (f ; u) and z_u ∈ U (f ; u), but (xyz) _u ∉ U (f ; u). We get a contradiction. Therefore $f (xyz) \geq min {f (x), f (z), \frac{k^{*} - k}{2}}$ for all x, y, z ∈ S. Hence, by Theorem 3.7, f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S.

Example 3.10. Let S = {a, b, c, d} be an ordered semigroup with respect to the order relation a ≤ b and the operation ^′ . ′ defined by the following Cayley table: $\begin{matrix} . & a & b & c & d \\ a & a & a & a & a \\ b & a & a & a & a \\ c & a & a & b & a \\ d & a & a & b & b \end{matrix}$

Then {a} , {a, b} , {a, c} , {a, d} , {a, b, c} , {a, c, d} and {a, b, c, d} are generalized bi-ideals of S. Define f on S by f (a) =0.9, f (b) =0.4, f (c) =0.45 and f (d) =0.8. Then $U (f; u) = {\begin{matrix} S, & if 0 < u \leq 0.4; \\ {a, c, d}, & if 0.4 < u \leq 0.45; \\ {a, d}, & if 0.45 < u \leq 0.8; \\ {a}, & if 0.8 < u \leq 0.9; \\ \emptyset, & if 0.9 < u \leq 1 . \end{matrix}$

Theorem 3.11. If f is a nonzero (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S, then the set f₀ = {x ∈ S | f (x) >0} is a generalized bi-ideal of S.

Proof. Let f be an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S. Let x, y ∈ S, x ≤ y and y ∈ f₀. Then f (y) >0. Since f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S, we have $f (x) \geq min {f (y), \frac{k^{*} - k}{2}} > 0$ , since f (y) >0. Thus f (x) >0 and so x ∈ f₀. Let x, z ∈ f₀ and y ∈ S. Then, f (x) >0 and f (z) >0. Therefore $f (xyz) \geq min {f (x), f (z), \frac{k^{*} - k}{2}} > 0$ . Thus xyz ∈ f₀ and, consequently, f₀ is a generalized bi-ideal of S.

Theorem 3.12. A non-empty subset B of an ordered semigroup S is a generalized bi-ideal of S if and only if the characteristic function f_B is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S.

Proof. The proof is straightforward, so we omit it. Similar to the proof of Theorem 3.6, we may prove the following theorems:

Theorem 3.13. Let S be an ordered semigroup and L be a left ideal of S. Let f be a fuzzy subset of S defined by $f (x) = {\begin{matrix} \frac{k^{*} - k}{2}, & if x \in L; \\ 0, & if x \notin L . \end{matrix}$

Then

f is a ((k^*, q) , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S.

f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S.

Theorem 3.14. Let S be an ordered semigroup and R be a right ideal of S. Let f be a fuzzy subset of S defined by $f (x) = {\begin{matrix} \frac{k^{*} - k}{2}, & if x \in R; \\ 0, & if x \notin R . \end{matrix}$

Then

f is a ((k^*, q) , ∈ ∨ (k^*, q_k))-fuzzy right ideal of S.

f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy right ideal of S.

Theorem 3.15. Let f be a fuzzy subset of an ordered semigroup S. Then f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S if and only if

x ≤ y $\Rightarrow f (x) \geq min {f (y), \frac{k^{*} - k}{2}}$ , and

$f (xy) \geq min {f (y), \frac{k^{*} - k}{2}}$ for all x, y ∈ S.

Proof. Let f be an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S and x, y ∈ S. Suppose to the contrary that $f (x) < min {f (y), \frac{k^{*} - k}{2}}$ for some x, y ∈ S. Choose u ∈ (0, 1] such that $f (x) < u \leq min {f (y), \frac{k^{*} - k}{2}}$ . Then y_u ∈ f, but $(x)_{u} \bar{\in \lor (k^{*}, q_{k})} f$ . This is a contradiction. Hence $f (x) \geq min {f (y), \frac{k^{*} - k}{2}}$ . Again suppose to the contrary that $f (xy) < min {f (y), \frac{k^{*} - k}{2}}$ for some x, y ∈ S. Choose u ∈ (0, 1] such that $f (xy) < u \leq min {f (y), \frac{k^{*} - k}{2}}$ . Then x ∈ S and y_u ∈ f, but $(xy)_{u} \bar{\in \lor (k^{*}, q_{k})} f$ . So, we get a contradiction. Hence $f (xy) \geq min {f (y), \frac{k^{*} - k}{2}}$ .

Conversely, suppose that conditions (1) and (2) hold. Let $f (x) \geq min {f (y), \frac{k^{*} - k}{2}}$ for all x, y ∈ S and let y_u ∈ f (u ∈ (0, 1]). Then f (y) ≥ u. So $f (x) \geq min {f (y), \frac{k^{*} - k}{2}} \geq min {u, \frac{k^{*} - k}{2}}$ . Now, if $u \leq \frac{k^{*} - k}{2}$ , then f (x) ≥ u imply that x_u ∈ f. Again, if $u > \frac{k^{*} - k}{2}$ , then $f (x) \geq \frac{k^{*} - k}{2}$ . So $f (x) + u > \frac{k^{*} - k}{2} + \frac{k^{*} - k}{2} = k^{*} - k$ , which implies that x_u (k^*, q_k) f. Hence x_u ∈ ∨ (k^*, q_k) f. Suppose next that $f (xy) \geq min {f (y), \frac{k^{*} - k}{2}}$ for all x, y ∈ S. Let x ∈ S and y_u ∈ f for all u ∈ (0, 1]. Then f (y) ≥ u. So $f (xy) \geq min {f (y), \frac{k^{*} - k}{2}} \geq min {u, \frac{k^{*} - k}{2}}$ . Now if $u \leq \frac{k^{*} - k}{2}$ , then f (xy) ≥ u imply that (xy) _u ∈ f. If $u > \frac{k^{*} - k}{2}$ , then $f (xy) \geq \frac{k^{*} - k}{2}$ . So $f (xy) + u > \frac{k^{*} - k}{2} + \frac{k^{*} - k}{2} = k^{*} - k$ , which implies that (xy) _u (k^*, q_k) f. Hence (xy) _u ∈ ∨ (k^*, q_k) f. Therefore, f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S.

Clearly, every fuzzy left ideal of an ordered semigroup S is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S, but the converse is not necessarily true, in general, as shown by the following example:

Example 3.16. Let S = {a, b, c, d} be an ordered semigroup with respect to the order relation b ≤ a, c ≤ a, c ≤ b and the operation ^′ . ′ defined by the following Cayley table: $\begin{matrix} . & a & b & c & d \\ a & a & a & a & a \\ b & a & a & a & a \\ c & a & a & b & a \\ d & a & a & b & b \end{matrix}$

Define f on S by f (a) =0.7, f (b) =0.8, f (c) =0.9 and f (d) =0.4. Then f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S. But, f is not a fuzzy left ideal of S, since f (bb) = f (a) =0.7 < 0.8 = f (b).

Similar to the proof of Theorem 3.15, we may prove the following theorem:

Theorem 3.17. Let f be a fuzzy subset of an ordered semigroup S. Then f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy right ideal of S if and only if

$x \leq y \Rightarrow f (x) \geq min {f (y), \frac{k^{*} - k}{2}}$ , and

$f (xy) \geq min {f (x), \frac{k^{*} - k}{2}}$ for all x, y ∈ S.

On the lines similar to the proof of Theorem 3.9, we may prove the following:

Theorem 3.18. Let f be a fuzzy subset of S. Then f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left (resp. right)ideal of S if and only if U (f ; u) (≠ ∅) ( $u \in (0, \frac{k^{*} - k}{2}]$ ) is a left (resp. right)ideal of S.

Definition 3.19. [35] An ordered semigroup S is called regular ordered semigroup if, for each a ∈ S, there exist an element x ∈ S such that a≤ axa ; or equivalently A ⊆ (ASA], ∀A ⊆ S.

Definition 3.20. [32] An ordered semigroup S is called left weakly regular ordered semigroup if, for each a ∈ S, there exist an element x, y ∈ S such that a≤ xaya ; or equivalently A ⊆ ((SA) ²], ∀A ⊆ S.

Proposition 3.21. Let f be a fuzzy subset of S. Then every (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of a regular ordered semigroup S is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy bi-ideal of S.

Proof. Let x, y ∈ S and f be an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S. Since S is regular ordered semigroup, there exist a ∈ S such that x ≤ xax. Then $f (xy) \geq f ((xax) y) = f (x (ax) y) \geq min {f (x), f (y), \frac{k^{*} - k}{2}}$ , This implies that f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy subsemigroup of S. Hence, f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy bi-ideal of S.

Proposition 3.22. Let f be a fuzzy subset of S. Then every (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of a left weakly regular ordered semigroup S is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy bi-ideal of S.

Proof. Let x, y ∈ S and f be an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S. Since S is left weakly regular ordered semigroup, there exist a, b ∈ S such that y ≤ ayby. Then $f (xy) \geq f (x (ayby)) = f (x (ayb) y) \geq min {f (x), f (y), \frac{k^{*} - k}{2}}$ . Therefore f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy subsemigroup of S. Hence, f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy bi-ideal of S.

4 (k^, k)-lower parts of (∈ , ∈ ∨ (k^, q_k))- fuzzy generalized bi-ideals

In this section we investigate properties of (k^*, k)-lower parts of (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideals of ordered semigroup. Then, using properties of generalized bi-ideals, we characterize left simple, right simple, regular, completely regular and left weakly regular ordered semigroups.

Definition 4.1. Let f be a fuzzy subset of an ordered semigroup S. Then we define the (k^*, k)-lower part $\underline{f_{k}^{k^{*}}}$ of f as follows: $\underline{f_{k}^{k^{*}}} (x) = min {f (x), \frac{k^{*} - k}{2}}$ for all x ∈ S and 0 ≤ k < k^* ≤ 1.

Clearly, $\underline{f_{k}^{k^{*}}}$ is a fuzzy subset of S.

For any non-empty subset A of S and fuzzy subset f of S, $(\underline{f_{A}})_{k}^{k^{*}}$ , the (k^*, k)-lower part of the characteristic function f_A, will be denoted by $(\underline{f_{k}^{k^{*}}})_{A}$ in the sequel.

Definition 4.2. Let f and g be any fuzzy subsets of S. Define $f (\cap)_{k}^{k^{*}} g$ , $f (\cup)_{k}^{k^{*}} g$ and $f (\circ)_{k}^{k^{*}} g$ as follows: $\begin{matrix} (f (\cap)_{k}^{k^{*}} g) (x) = min {(f \cap g) (x), \frac{k^{*} - k}{2}} \\ (f (\cup)_{k}^{k^{*}} g) (x) = min {(f \cup g) (x), \frac{k^{*} - k}{2}} \\ (f (\circ)_{k}^{k^{*}} g) (x) = min {(f \circ g) (x), \frac{k^{*} - k}{2}} \end{matrix}$ for all x ∈ S and 0 ≤ k < k^* ≤ 1.

Then, clearly, $f (\cap)_{k}^{k^{*}} g$ , $f (\cup)_{k}^{k^{*}} g$ and $f (\circ)_{k}^{k^{*}} g$ are all fuzzy subsets of S.

The following Lemma easily follows:

Lemma 4.3. Let f and g be any fuzzy subsets of an ordered semigroup S. Then

$(\underline{f_{k}^{k^{*}}})_{k}^{k^{*}} = \underline{f_{k}^{k^{*}}}$ and $\underline{f_{k}^{k^{*}}} \subseteq f$ ;

If f ⊆ g, and h ∈ F (S), then $f (\circ)_{k}^{k^{*}} h \subseteq g (\circ)_{k}^{k^{*}} h$ and $h (\circ)_{k}^{k^{*}} f \subseteq h (\circ)_{k}^{k^{*}} g$ ;

$f (\cap)_{k}^{k^{*}} g = \underline{f_{k}^{k^{*}}} \cap \underline{g_{k}^{k^{*}}}$ ;

$f (\cup)_{k}^{k^{*}} g = \underline{f_{k}^{k^{*}}} \cup \underline{g_{k}^{k^{*}}}$ ;

$f (\circ)_{k}^{k^{*}} g = \underline{f_{k}^{k^{*}}} \circ \underline{g_{k}^{k^{*}}}$ .

Lemma 4.4. Let A and B be any non-empty subsets of an ordered semigroup S. Then

$f_{A} (\cap)_{k}^{k^{*}} f_{B} = (\underline{f_{k}^{k^{*}}})_{A \cap B}$ ;

$f_{A} (\cup)_{k}^{k^{*}} f_{B} = (\underline{f_{k}^{k^{*}}})_{A \cup B}$ ;

$f_{A} (\circ)_{k}^{k^{*}} f_{B} = (\underline{f_{k}^{k^{*}}})_{(AB]}$ .

Proof. (1) $f_{A} (\cap)_{k}^{k^{*}} f_{B} = (\underline{f_{k}^{k^{*}}})_{A \cap B}$ for all x ∈ S. Indeed: If x ∈ A ∩ B, then $(\underline{f_{k}^{k^{*}}})_{A \cap B} (x) = \frac{k^{*} - k}{2}$ . Since x ∈ A and x ∈ B, we have f_A (x) = f_B (x) =1, so $\begin{matrix} (f_{A} (\cap)_{k}^{k^{*}} f_{B}) (x) & = & min {f_{A} (x), f_{B} (x), \frac{k^{*} - k}{2}} \\ = & min {1, 1, \frac{k^{*} - k}{2}} = \frac{k^{*} - k}{2} . \end{matrix}$

If x ∉ A ∩ B, then $(\underline{f_{k}^{k^{*}}})_{A \cap B} (x) = 0$ . Suppose that x ∉ A. Then, by Lemma 4.2(2), $(f_{A} (\cap)_{k}^{k^{*}} f_{B}) (x) = min {(\underline{f_{k}^{k^{*}}})_{A} (x), (\underline{f_{k}^{k^{*}}})_{B} (x)} \leq (\underline{f_{k}^{k^{*}}})_{A} (x) = 0$ . On the other hand, since $f_{A} (\cap)_{k}^{k^{*}} f_{B}$ is a fuzzy subset of S, we have $(f_{A} (\cap)_{k}^{k^{*}} f_{B}) (x) \geq 0$ . Thus $f_{A} (\cap)_{k}^{k^{*}} f_{B} = (\underline{f_{k}^{k^{*}}})_{A \cap B}$ .

(2) The proof is similar to the proof of (1).

(3) Let x ∈ S. If x ∈ (AB], then $(\underline{f_{k}^{k^{*}}})_{(AB]} (x) = \frac{k^{*} - k}{2}$ , and x ≤ ab for some a ∈ A and b ∈ B. Thus (a, b) ∈ A_x, and $\begin{matrix} (f_{A} (\circ)_{k}^{k^{*}} f_{B}) (x) & = & min {(f_{A} \circ f_{B}) (x), \frac{k^{*} - k}{2}} \\ = & ⋁_{(y, z) \in A_{x}} min {f_{A} (y), f_{B} (z), \frac{k^{*} - k}{2}} \\ \leq & min {f_{A} (a), f_{B} (b), \frac{k^{*} - k}{2}} \\ = & min {1, 1, \frac{k^{*} - k}{2}} \\ = & \frac{k^{*} - k}{2} = (\underline{f_{k}^{k^{*}}})_{(AB]} (x) . \end{matrix}$

On the other hand, since (f_A ∘ f_B) (x) ≤1 for all x ∈ S, we have $(f_{A} (\circ)_{k}^{k^{*}} f_{B}) (x) = min {(f_{A} \circ f_{B}) (x), \frac{k^{*} - k}{2}} \leq \frac{k^{*} - k}{2} = (\underline{f_{k}^{k^{*}}})_{(AB]} (x)$ . Therefore $f_{A} (\circ)_{k}^{k^{*}} f_{B} = (\underline{f_{k}^{k^{*}}})_{(AB]}$ . Similarly we may prove for the case when x ∉ (AB]. Thus $f_{A} (\circ)_{k}^{k^{*}} f_{B} = (\underline{f_{k}^{k^{*}}})_{(AB]}$ . Hence $f_{A} (\circ)_{k}^{k^{*}} f_{B} = (\underline{f_{k}^{k^{*}}})_{(AB]}$ .

Lemma 4.5. Let S be an ordered semigroup and B be any non-empty subset of S. Then the (k^*, k)-lower part $(\underline{f_{k}^{k^{*}}})_{B}$ of the characteristic function f_B of B is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S if and only if B is a generalized bi-ideal of S.

Proof. Let B be a generalized bi-ideal of S. Then, by Theorems 2.7 and 3.12, $(\underline{f_{k}^{k^{*}}})_{B}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S.

Conversely, suppose that $(\underline{f_{k}^{k^{*}}})_{B}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S. Let x, y ∈ S, x ≤ y. If y ∈ B, then $(\underline{f_{k}^{k^{*}}})_{B} (y) = \frac{k^{*} - k}{2}$ . Since $(\underline{f_{k}^{k^{*}}})_{B}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S, and x ≤ y, we have $(\underline{f_{k}^{k^{*}}})_{B} (x) \geq min {(\underline{f_{k}^{k^{*}}})_{B} (y), \frac{k^{*} - k}{2}} = \frac{k^{*} - k}{2}$ . It follows that $(\underline{f_{k}^{k^{*}}})_{B} (x) = \frac{k^{*} - k}{2}$ and so x ∈ B. Let x, z ∈ B and y ∈ S. $(\underline{f_{k}^{k^{*}}})_{B} (x) = \frac{k^{*} - k}{2}$ and $(\underline{f_{k}^{k^{*}}})_{B} (z) = \frac{k^{*} - k}{2}$ . Now, $\begin{matrix} (\underline{f_{k}^{k^{*}}})_{B} (xyz) & \geq & min {(\underline{f_{k}^{k^{*}}})_{B} (x), (\underline{f_{k}^{k^{*}}})_{B} (z), \frac{k^{*} - k}{2}} \\ = & \frac{k^{*} - k}{2} . \end{matrix}$

Hence $(\underline{f_{k}^{k^{*}}})_{B} (xyz) = \frac{k^{*} - k}{2}$ and so xyz ∈ B. Therefore, B is a generalized bi-ideal of S.

Similarly, we may prove the following:

Lemma 4.6. Let S be an ordered semigroup and B be any non-empty subset of S. Then the (k^*, k)-lower part $(\underline{f_{k}^{k^{*}}})_{B}$ of the characteristic function f_B of B is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left (resp. right) ideal of S if and only if B is a left (resp. right)ideal of S.

Proposition 4.7. If f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S, then $\underline{f_{k}^{k^{*}}}$ is a fuzzy generalized bi-ideal of S.

Proof. Let x, y ∈ S, x ≤ y. Since f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S and x ≤ y, we have $f (x) \geq min {f (y), \frac{k^{*} - k}{2}}$ . It follows that $min {f (x), \frac{k^{*} - k}{2}} \geq min {f (y), \frac{k^{*} - k}{2}}$ and, hence, $(\underline{f_{k}^{k^{*}}}) (x) \geq (\underline{f_{k}^{k^{*}}}) (y)$ . Let x, y, z ∈ S, we have $f (xyz) \geq min {f (x), f (y), \frac{k^{*} - k}{2}}$ . Then $min {f (xyz), \frac{k^{*} - k}{2}} \geq min {f (x), f (z), \frac{k^{*} - k}{2}}$ , and so $(\underline{f_{k}^{k^{*}}}) (xyz) \geq min {(\underline{f_{k}^{k^{*}}}) (x), (\underline{f_{k}^{k^{*}}}) (z)}$ . Therefore, $\underline{f_{k}^{k^{*}}}$ is a fuzzy generalized bi-ideal of S.

Definition 4.8. [23] An ordered semigroup S is called left (resp. right) regular if, for each a ∈ S, there exist an element x ∈ S such that a ≤ xa²(resp. a ≤ a²x); or equivalently A ⊆ (SA²] (resp. (A²S]), ∀A ⊆ S.

Definition 4.9. [27] An ordered semigroup S is called left (resp. right) simple if for every left (resp. right) ideal A of S, A = S. Further S is called simple if it is both left and right simple.

Definition 4.10. An ordered semigroup S is called completely regular if it is left regular, right regular and regular.

Lemma 4.11. [32] An ordered semigroup S is left (resp. right) simple if and only if (Sa] = S (resp. (aS] = S) for every a ∈ S.

Theorem 4.12. If S is regular, left and right simple ordered semigroup, then $(\underline{f_{k}^{k^{*}}}) (a) = (\underline{f_{k}^{k^{*}}}) (b)$ , for each (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal f of S and for all a, b ∈ S.

Proof. Suppose that S is regular, left and right simple and f be an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S. Let E_S = {e ∈ S | e ≤ e²}. Then E_S≠ ∅, as for any a, x ∈ S, such that a ≤ axa, ax, xa ∈ E_S. Let b, c ∈ E_S. Since S is left and right simple, by Lemma 4.11, it follows that S = (Sb] = (bS]. Then c ≤ xb and c ≤ by for some x, y ∈ S. So c² = (by) (xb) ≤ b (yx) b. Since f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S, we have $\begin{matrix} f (c^{2}) & \geq & min {f (b (yx) b), \frac{k^{*} - k}{2}} \\ = & min {f (b), \frac{k^{*} - k}{2}} . \end{matrix}$

Thus $min {f (c^{2}), \frac{k^{*} - k}{2}} \geq min {f (b), \frac{k^{*} - k}{2}}$ . So, $(\underline{f_{k}^{k^{*}}}) (c^{2}) \geq (\underline{f_{k}^{k^{*}}}) (b)$ . (1) Since c ∈ E_S, we have c ≤ c². So, f (c) ≥ f (c²). This implies $min {f (c), \frac{k^{*} - k}{2}} \geq min {f (c^{2}), \frac{k^{*} - k}{2}}$ . Therefore $(\underline{f_{k}^{k^{*}}}) (c) \geq (\underline{f_{k}^{k^{*}}}) (c^{2})$ . Thus, by(1), we have $(\underline{f_{k}^{k^{*}}}) (c) \geq (\underline{f_{k}^{k^{*}}}) (b)$ . On the other hand, by Lemma 4.11, we also have (Sc] = S = (cS]. So b ≤ sc and b ≤ ct for some s, t ∈ S. Thus by the argument similar to the above, we get $(\underline{f_{k}^{k^{*}}}) (b) \geq (\underline{f_{k}^{k^{*}}}) (c)$ . Therefore $(\underline{f_{k}^{k^{*}}}) (b) = (\underline{f_{k}^{k^{*}}}) (c)$ . Hence $\underline{f_{k}^{k^{*}}}$ is a constant on E_S.

Now, take any a ∈ S. Then there exist x ∈ S such that a ≤ axa and ax, xa ∈ E_S. So $(\underline{f_{k}^{k^{*}}}) (ax) = (\underline{f_{k}^{k^{*}}}) (b) = (\underline{f_{k}^{k^{*}}}) (xa)$ . Since (ax) a (xa) = (axa) xa ≥ axa ≥ a, we have $\begin{matrix} f (a) & \geq & min {f ((ax) a (xa)), \frac{k^{*} - k}{2}} \\ \geq & min {f (ax), f (xa)), \frac{k^{*} - k}{2}} . \end{matrix}$

Thus $(\underline{f_{k}^{k^{*}}}) (a) \geq (\underline{f_{k}^{k^{*}}}) (b)$ . Since S = (Sa] = (aS], we have b ≤ ua and b ≤ av for some u, v ∈ S. Then b² ≤ (av) (ua) = a (vu) a. So $\begin{matrix} f (b^{2}) & \geq & min {f (a (vu) a), \frac{k^{*} - k}{2}} \\ \geq & min {f (a), f (a), \frac{k^{*} - k}{2}} \\ = & min {f (a), \frac{k^{*} - k}{2}} . \end{matrix}$

Therefore, $min {f (b^{2}), \frac{k^{*} - k}{2}}$ $\geq min {f (a), \frac{k^{*} - k}{2}}$ and we have $(\underline{f_{k}^{k^{*}}}) (b^{2}) \geq (\underline{f_{k}^{k^{*}}}) (a)$ . Since b ∈ E_S, we have, b² ≥ b. Then $f (b) \geq min {f (b^{2}), \frac{k^{*} - k}{2}}$ . So $min {f (b), \frac{k^{*} - k}{2}} \geq min {f (b^{2}), \frac{k^{*} - k}{2}}$ . Therefore, $(\underline{f_{k}^{k^{*}}}) (b) \geq (\underline{f_{k}^{k^{*}}}) (b^{2})$ and, so, $(\underline{f_{k}^{k^{*}}}) (b) \geq (\underline{f_{k}^{k^{*}}}) (a)$ . Hence $(\underline{f_{k}^{k^{*}}}) (b) = (\underline{f_{k}^{k^{*}}}) (a)$ . Thus $\underline{f_{k}^{k^{*}}}$ is a constant function on S.

Lemma 4.13. [32] An ordered semigroup S is completely regular if and only if A ⊆ (A²SA²], for every A ⊆ S.

Theorem 4.14. Let f be a fuzzy subset of an ordered semigroup S. Then S is completely regular if and only if $(\underline{f_{k}^{k^{*}}}) (a) = (\underline{f_{k}^{k^{*}}}) (a^{2})$ , for each (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal f of S and for each a ∈ S.

Proof. Let a ∈ S. Since S is completely regular, by Lemma 4.13, a ∈ (a²Sa²]. Then, there exist x ∈ S Such that a ≤ a²xa². Since f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S, $\begin{matrix} f (a) & \geq & min {f (a^{2} {xa}^{2}), \frac{k^{*} - k}{2}} \\ \geq & min {f (a^{2}), f (a^{2}), \frac{k^{*} - k}{2}} \\ \geq & min {f (a), f (a), \frac{k^{*} - k}{2}} \\ = & min {f (a), \frac{k^{*} - k}{2}} . \end{matrix}$

Thus, $\begin{matrix} min {f (a), \frac{k^{*} - k}{2}} & \geq & min {f (a^{2}), \frac{k^{*} - k}{2}} \\ \geq & min {f (a), \frac{k^{*} - k}{2}} . \end{matrix}$

This implies that $(\underline{f_{k}^{k^{*}}}) (a) \geq (\underline{f_{k}^{k^{*}}}) (a^{2}) \geq (\underline{f_{k}^{k^{*}}}) (a)$ . Therefore $(\underline{f_{k}^{k^{*}}}) (a) = (\underline{f_{k}^{k^{*}}}) (a^{2})$ for every a ∈ S.

Conversely, let a ∈ S. Consider the generalized bi-ideal B (a²) = (a² ∪ a²Sa²] of S generated by a² (a ∈ S). Then, by Lemma 4.5, $(\underline{f_{k}^{k^{*}}})_{B (a^{2})}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S. Therefore, by hypothesis, $(\underline{f_{k}^{k^{*}}})_{B (a^{2})} (a) = (\underline{f_{k}^{k^{*}}})_{B (a^{2})} (a^{2})$ . Since a² ∈ B (a²), we have $(\underline{f_{k}^{k^{*}}})_{B (a^{2})} (a^{2}) = \frac{k^{*} - k}{2}$ , and, hence, $(\underline{f_{k}^{k^{*}}})_{B (a^{2})} (a) = \frac{k^{*} - k}{2}$ . Thus, a ∈ B (a²). Hence, a ≤ a² or a ≤ a²xa². If a ≤ a², then a ≤ a² = aa ≤ a²a² = a²aa² ∈ a²Sa² and a ∈ (a²Sa²]. Again, if a ≤ a²xa², then a ∈ a²Sa². So a ∈ (a²Sa²]. Therefore, S is completely regular.

Lemma 4.15. [32] Let S be an ordered semigroup. Then the following statements are equivalent:

S is regular;

B ∩ L = (BL] for every generalized bi-ideal B and left ideal L of S;

B (a) ∩ L (a) = (B (a) L (a)] for every a ∈ S.

Theorem 4.16. Let S be an ordered semigroup. Then the following statements are equivalent:

S is regular.

$f (\circ)_{k}^{k^{*}} g \supseteq f (\cap)_{k}^{k^{*}} g$ for any (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal f and any (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal g of S.

Proof. Let f and g be an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal and an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S, respectively. If a ∈ S, then, since S is regular, there exists x ∈ S such that a ≤ axa. Since (a, xa) ∈ A_a, we have $\begin{matrix} (f (\circ)_{k}^{k^{*}} g) (a) \\ = ⋁_{(y, z) \in A_{a}} min {\underline{f_{k}^{k^{*}}} (y), \underline{g_{k}^{k^{*}}} (z)} \\ \geq min {\underline{f_{k}^{k^{*}}} (a), \underline{g_{k}^{k^{*}}} (xa)} \\ = min {\underline{f_{k}^{k^{*}}} (a), g (xa), \frac{k^{*} - k}{2}} \\ \geq min {\underline{f_{k}^{k^{*}}} (a), g (a), \frac{k^{*} - k}{2}} \\ (since g is an (\in, \in \lor (k^{*}, q_{k})) - fuzzy left ideal) \\ = min {\underline{f_{k}^{k^{*}}} (a), \underline{g_{k}^{k^{*}}} (a)} \\ = (f (\cap)_{k}^{k^{*}} g) (a) . \end{matrix}$

Thus $f (\cap)_{k}^{k^{*}} g \subseteq f (\circ)_{k}^{k^{*}} g$ .

Conversely, suppose that B is a generalized bi-ideal of S and L is a left ideal of S. Take any x ∈ B ∩ L. Then x ∈ B and x ∈ L. Since B is a generalized bi-ideal and L is a left ideal of S, by Lemmas 4.5 and 4.6, $(\underline{f_{k}^{k^{*}}})_{B}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal and $(\underline{f_{k}^{k^{*}}})_{L}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S. So, we have $(f_{B} (\circ)_{k}^{k^{*}} f_{L}) (x) \geq (f_{B} (\cap)_{k}^{k^{*}} f_{L}) (x) = min {(\underline{f_{k}^{k^{*}}})_{B} (x), (\underline{f_{k}^{k^{*}}})_{L} (x)}$ . Sincex ∈ B and x ∈ L, $(\underline{f_{k}^{k^{*}}})_{B} = \frac{k^{*} - k}{2}$ and $(\underline{f_{k}^{k^{*}}})_{L} = \frac{k^{*} - k}{2}$ . Thus $(f_{B} (\cap)_{k}^{k^{*}} f_{L}) (x) = \frac{k^{*} - k}{2}$ . Therefore $(f_{B} (\circ)_{k}^{k^{*}} f_{L}) (x) \geq \frac{k^{*} - k}{2}$ . By Definition 4.2, we have $(f_{B} (\circ)_{k}^{k^{*}} f_{L}) (x) \leq \frac{k^{*} - k}{2}$ . Hence $(f_{B} (\circ)_{k}^{k^{*}} f_{L}) (x) = \frac{k^{*} - k}{2}$ . By Lemma 4.4(3), we have $(f_{B} (\circ)_{k}^{k^{*}} f_{L}) (x) = (\underline{f_{k}^{k^{*}}})_{(BL]} (x) .$

Therefore, $(\underline{f_{k}^{k^{*}}})_{(BL]} (x) = \frac{k^{*} - k}{2}$ and, so, x ∈ (BL]. This implies that B ∩ L = (BL]. Hence, by Lemma 4.15, S is regular.

Lemma 4.17. [32] Let S be an ordered semigroup. Then the following statements are equivalent:

S is regular;

B ∩ I = (BIB] for every generalized bi-ideal B and ideal I of S;

B (a) ∩ I (a) = (B (a) I (a) B (a)] for every a ∈ S.

Theorem 4.18. Let S be an ordered semigroup. Then the following statements are equivalent:

S is regular.

$f (\circ)_{k}^{k^{*}} g (\circ)_{k}^{k^{*}} f \supseteq f (\cap)_{k}^{k^{*}} g$ for any (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal f and any (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal g of S.

Proof. Suppose that f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal and g be an (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal of S. Let a ∈ S. Then, since S is regular, there exist x ∈ S such that a ≤ axa ≤ (axa) xa, so (a, xaxa) ∈ A_a. Since g is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal of S, we have $g (xax) \geq min {g (ax), \frac{k^{*} - k}{2}} \geq min {g (a), \frac{k^{*} - k}{2}}$ , and so $\begin{matrix} \underline{g_{k}^{k^{*}}} (xax) & = & min {g (xax), \frac{k^{*} - k}{2}} \\ \geq & min {g (a), \frac{k^{*} - k}{2}} = \underline{g_{k}^{k^{*}}} (a) . \end{matrix}$

Thus $\begin{matrix} (f (\circ)_{k}^{k^{*}} g (\circ)_{k}^{k^{*}} f) (a) \\ = ⋁_{(y, z) \in A_{a}} min {\underline{f_{k}^{k^{*}}} (y) \circ (\underline{g_{k}^{k^{*}}} \circ \underline{f_{k}^{k^{*}}}) (z)} \\ \geq min {\underline{f_{k}^{k^{*}}} (a), (\underline{g_{k}^{k^{*}}} \circ \underline{f_{k}^{k^{*}}}) (xaxa)} \\ = min {\underline{f_{k}^{k^{*}}} (a), min [⋁_{(b, c) \in A_{xaxa}} {\underline{g_{k}^{k^{*}}} (b), \underline{f_{k}^{k^{*}}} (c)}]} \\ \geq min {\underline{f_{k}^{k^{*}}} (a), min [\underline{g_{k}^{k^{*}}} (xax), \underline{f_{k}^{k^{*}}} (a)]} \\ \geq min {\underline{f_{k}^{k^{*}}} (a), \underline{g_{k}^{k^{*}}} (a), \underline{f_{k}^{k^{*}}} (a)} \\ = (\underline{f_{k}^{k^{*}}} \cap \underline{g_{k}^{k^{*}}}) (a) = (f (\cap)_{k}^{k^{*}} g) (a), \end{matrix}$

Thus $f (\circ)_{k}^{k^{*}} g (\circ)_{k}^{k^{*}} f \supseteq f (\cap)_{k}^{k^{*}} g$ .

Conversely, suppose that B is a generalized bi-ideal of S and I is an ideal of S. Take any x ∈ B ∩ I. Then x ∈ B and x ∈ I. Since B is a generalized bi-ideal and I is a ideal of S, by Lemmas 4.5 and 4.6, $(\underline{f_{k}^{k^{*}}})_{B}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal and $(\underline{f_{k}^{k^{*}}})_{I}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal of S. So, we have $\begin{matrix} (f_{B} (\circ)_{k}^{k^{*}} f_{I} (\circ)_{k}^{k^{*}} f_{B}) (x) \\ \geq (f_{B} (\cap)_{k}^{k^{*}} f_{I}) (x) \\ = min {(\underline{f_{k}^{k^{*}}})_{B} (x), (\underline{f_{k}^{k^{*}}})_{I} (x)} . \end{matrix}$

Since x ∈ B and x ∈ I, $(\underline{f_{k}^{k^{*}}})_{B} = \frac{k^{*} - k}{2}$ and $(\underline{f_{k}^{k^{*}}})_{I} = \frac{k^{*} - k}{2}$ . Thus $(f_{B} (\cap)_{k}^{k^{*}} f_{I}) (x) = \frac{k^{*} - k}{2}$ . Therefore $(f_{B} (\circ)_{k}^{k^{*}} f_{I} (\circ)_{k}^{k^{*}} f_{B}) (x) \geq \frac{k^{*} - k}{2}$ . By Definition 4.2, we have $(f_{B} (\circ)_{k}^{k^{*}} f_{I} (\circ)_{k}^{k^{*}} f_{B}) (x) \leq \frac{k^{*} - k}{2}$ . Hence $(f_{B} (\circ)_{k}^{k^{*}} f_{I} (\circ)_{k}^{k^{*}} f_{B}) (x) = \frac{k^{*} - k}{2}$ . Now, we have, $(f_{B} (\circ)_{k}^{k^{*}} f_{I} (\circ)_{k}^{k^{*}} f_{B}) (x) = (\underline{f_{k}^{k^{*}}})_{(BIB]} (x)$ , by Lemma 4.4(3). Therefore, $(\underline{f_{k}^{k^{*}}})_{(BIB]} (x) = \frac{k^{*} - k}{2}$ , and, so, x ∈ (BIB]. This implies that B ∩ I = (BIB]. Hence, by Lemma 4.17, S is regular.

Lemma 4.19. [32] Let S be an ordered semigroup. Then the following statements are equivalent:

S is regular;

R ∩ B ∩ L = (RBL] for every generalized bi-ideal B, right ideal R and left ideal L of S;

R (a) ∩ B (a) ∩ L (a) = (R (a) B (a) L (a)] for every a ∈ S.

Theorem 4.20. Let S be an ordered semigroup. Then the following statements are equivalent:

S is regular.

$f (\circ)_{k}^{k^{*}} g (\circ)_{k}^{k^{*}} h \supseteq f (\cap)_{k}^{k^{*}} g (\cap)_{k}^{k^{*}} h$ for any (∈ , ∈ ∨ (k^*, q_k))-fuzzy right ideal f, (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal g and any (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal h of S.

Proof. Suppose that f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy right ideal, g is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal and h be an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S. Let a ∈ S. Then, since S is regular, there exist x ∈ S such that a ≤ axa ≤ (axa) x (axa) = (ax) (axa) (xa), so ((ax) , (axa) (xa)) ∈ A_a. Since f is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy right ideal of S, we have $f (ax) \geq min {f (a), \frac{k^{*} - k}{2}}$ , and so $\underline{f_{k}^{k^{*}}} (ax) = min {f (ax), \frac{k^{*} - k}{2}} \geq min {f (a), \frac{k^{*} - k}{2}} = \underline{f_{k}^{k^{*}}} (a)$ . Now, g is an (∈ , ∈ ∨ (k^*, q_k))-fuzzygeneralized bi-ideal of S, we have $g (axa) \geq min {g (a), g (a), \frac{k^{*} - k}{2}} \geq min {g (a), \frac{k^{*} - k}{2}}$ , and so $\begin{matrix} \underline{g_{k}^{k^{*}}} (axa) & = & min {g (axa), \frac{k^{*} - k}{2}} \\ \geq & min {g (a), \frac{k^{*} - k}{2}} = \underline{g_{k}^{k^{*}}} (a), \end{matrix}$ and h is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S, we have $h (xa) \geq min {h (a), \frac{k^{*} - k}{2}}$ , and so $\underline{h_{k}^{k^{*}}} (xa) = min {h (xa), \frac{k^{*} - k}{2}} \geq min {h (a), \frac{k^{*} - k}{2}} = \underline{h_{k}^{k^{*}}} (a)$ . Thus, by Lemma 4.3(5) $\begin{matrix} (f (\circ)_{k}^{k^{*}} g (\circ)_{k}^{k^{*}} h) (a) \\ = ⋁_{(y, z) \in A_{a}} min {\underline{f_{k}^{k^{*}}} (y) \circ (\underline{g_{k}^{k^{*}}} \circ \underline{h_{k}^{k^{*}}}) (z)} \\ \geq min {\underline{f_{k}^{k^{*}}} (ax), (\underline{g_{k}^{k^{*}}} \circ \underline{h_{k}^{k^{*}}}) ((axa) (xa))} \\ = min {\underline{f_{k}^{k^{*}}} (ax), min [⋁_{(b, c) \in A_{(axa) (xa)}} {\underline{g_{k}^{k^{*}}} (b), \underline{h_{k}^{k^{*}}} (c)}]} \\ \geq min {\underline{f_{k}^{k^{*}}} (a), min [\underline{g_{k}^{k^{*}}} (axa), \underline{h_{k}^{k^{*}}} (xa)]} \\ \geq min {\underline{f_{k}^{k^{*}}} (a), \underline{g_{k}^{k^{*}}} (a), \underline{h_{k}^{k^{*}}} (a)} \\ = (\underline{f_{k}^{k^{*}}} \cap \underline{g_{k}^{k^{*}}} \cap \underline{h_{k}^{k^{*}}}) (a) = (f (\cap)_{k}^{k^{*}} g (\cap)_{k}^{k^{*}} h) (a), \end{matrix}$

Thus $f (\circ)_{k}^{k^{*}} g (\circ)_{k}^{k^{*}} h \supseteq f (\cap)_{k}^{k^{*}} g (\cap)_{k}^{k^{*}} h$ .

Conversely, suppose that B, R and L be any generalized bi-ideal, any right ideal and any left ideal of S respectively. Take any x ∈ R ∩ B ∩ L. Then x ∈ R, x ∈ B and x ∈ L. Since R is a right ideal, B is a generalized bi-ideal and L is a left ideal of S, by Lemmas 4.5 and 4.6, $(\underline{f_{k}^{k^{*}}})_{R}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy right ideal, $(\underline{f_{k}^{k^{*}}})_{B}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal and $(\underline{f_{k}^{k^{*}}})_{L}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S. So, we have $\begin{matrix} (f_{R} (\circ)_{k}^{k^{*}} f_{B} (\circ)_{k}^{k^{*}} f_{L}) (x) \\ \geq (f_{R} (\cap)_{k}^{k^{*}} f_{B} (\cap)_{k}^{k^{*}} f_{L}) (x) \\ = min {(\underline{f_{k}^{k^{*}}})_{R} (x), (\underline{f_{k}^{k^{*}}})_{B} (x), (\underline{f_{k}^{k^{*}}})_{L} (x)} . \end{matrix}$

Since x ∈ R, x ∈ B and x ∈ L, we have $(\underline{f_{k}^{k^{*}}})_{R} = \frac{k^{*} - k}{2}$ , $(\underline{f_{k}^{k^{*}}})_{B} = \frac{k^{*} - k}{2}$ and $(\underline{f_{k}^{k^{*}}})_{L} = \frac{k^{*} - k}{2}$ . Thus $(f_{R} (\cap)_{k}^{k^{*}} f_{B} (\cap)_{k}^{k^{*}} f_{L}) (x) = \frac{k^{*} - k}{2}$ . Therefore $(f_{R} (\circ)_{k}^{k^{*}} f_{B} (\circ)_{k}^{k^{*}} f_{L}) (x) \geq \frac{k^{*} - k}{2}$ . By Definition 4.2, we have $(f_{R} (\circ)_{k}^{k^{*}} f_{B} (\circ)_{k}^{k^{*}} f_{L}) (x) \leq \frac{k^{*} - k}{2}$ . Hence $(f_{R} (\circ)_{k}^{k^{*}} f_{B} (\circ)_{k}^{k^{*}} f_{L}) (x) = \frac{k^{*} - k}{2}$ . By Lemma 4.4(3), we have $(f_{R} (\circ)_{k}^{k^{*}} f_{B} (\circ)_{k}^{k^{*}} f_{L}) (x) = (\underline{f_{k}^{k^{*}}})_{(RBL]} (x)$ . Therefore, $(\underline{f_{k}^{k^{*}}})_{(RBL]} (x) = \frac{k^{*} - k}{2}$ , and so x ∈ (RBL]. This implies that R ∩ B ∩ L = (RBL]. Hence, by Lemma 4.19, S is regular.

Lemma 4.21. [32] Let S be an ordered semigroup. Then the following statements are equivalent:

S is left weakly regular;

I ∩ L = (IL] for every ideal I and left ideal L of S;

I (a) ∩ L (a) = (I (a) L (a)] for every a ∈ S.

Theorem 4.22. Let S be an ordered semigroup. Then the following statements are equivalent:

S is left weakly regular.

$f (\circ)_{k}^{k^{*}} g \supseteq f (\cap)_{k}^{k^{*}} g$ for any (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal f and any (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal g of S.

Proof. Let f and g be an (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal and an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S, respectively. If a ∈ S, then, since S is left weakly regular, there exists x, y ∈ S such that a ≤ xaya. Since (xa, ya) ∈ A_a, we have $\begin{matrix} (f (\circ)_{k}^{k^{*}} g) (a) \\ = ⋁_{(y, z) \in A_{a}} min {\underline{f_{k}^{k^{*}}} (y), \underline{g_{k}^{k^{*}}} (z)} \\ \geq min {\underline{f_{k}^{k^{*}}} (xa), \underline{g_{k}^{k^{*}}} (ya)} \\ \geq min {f (a), g (a), \frac{k^{*} - k}{2}} \end{matrix}$ (since f and g is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal, (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal respectively.) $\begin{matrix} = & min {\underline{f_{k}^{k^{*}}} (a), \underline{g_{k}^{k^{*}}} (a)} \\ = & (f (\cap)_{k}^{k^{*}} g) (a) . \end{matrix}$

Thus $f (\cap)_{k}^{k^{*}} g \subseteq f (\circ)_{k}^{k^{*}} g$ .

Conversely, suppose that I is an ideal of S and L is a left ideal of S. Take any x ∈ I ∩ L. Since I is an ideal and L is a left ideal of S, by Lemmas 4.5 and 4.6, $(\underline{f_{k}^{k^{*}}})_{I}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal and $(\underline{f_{k}^{k^{*}}})_{L}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy left ideal of S. So, we have $\begin{matrix} (f_{I} (\circ)_{k}^{k^{*}} f_{L}) (x) & \geq & (f_{I} (\cap)_{k}^{k^{*}} f_{L}) (x) \\ = & min {(\underline{f_{k}^{k^{*}}})_{I} (x), (\underline{f_{k}^{k^{*}}})_{L} (x)} . \end{matrix}$

Since x ∈ I and x ∈ L, we have $(\underline{f_{k}^{k^{*}}})_{I} = \frac{k^{*} - k}{2}$ and $(\underline{f_{k}^{k^{*}}})_{L} = \frac{k^{*} - k}{2}$ . Thus $(f_{I} (\cap)_{k}^{k^{*}} f_{L}) (x) = \frac{k^{*} - k}{2}$ . Therefore $(f_{I} (\circ)_{k}^{k^{*}} f_{L}) (x) \geq \frac{k^{*} - k}{2}$ . By Definition 4.2, we have $(f_{I} (\circ)_{k}^{k^{*}} f_{L}) (x) \leq \frac{k^{*} - k}{2}$ . Hence $(f_{I} (\circ)_{k}^{k^{*}} f_{L}) (x) = \frac{k^{*} - k}{2}$ . By Lemma 4.4(3), we have $(f_{I} (\circ)_{k}^{k^{*}} f_{L}) (x) = (\underline{f_{k}^{k^{*}}})_{(IL]} (x)$ . Therefore, $(\underline{f_{k}^{k^{*}}})_{(IL]} (x) = \frac{k^{*} - k}{2}$ , and so x ∈ (IL]. This implies that I ∩ L = (IL]. Hence, by Lemma 4.21, S is regular.

Lemma 4.23. [32] Let S be an ordered semigroup. Then the following statements are equivalent:

S is left weakly regular;

I ∩ B = (IB] for every ideal I and generalized bi-ideal B of S;

I (a) ∩ B (a) = (I (a) B (a)] for every a ∈ S.

Theorem 4.24. Let S be an ordered semigroup. Then the following statements are equivalent:

S is left weakly regular.

$f (\circ)_{k}^{k^{*}} g \supseteq f (\cap)_{k}^{k^{*}} g$ for any (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal f and any (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal g of S.

Proof. Let f and g be an (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal and an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S, respectively. If a ∈ S, then, since S is left weakly regular, there exists x, y ∈ S such that a ≤ xaya ≤ x (xaya) ya. Since (x²ay, aya) ∈ A_a, we have $\begin{matrix} (f (\circ)_{k}^{k^{*}} g) (a) \\ = ⋁_{(y, z) \in A_{a}} min {\underline{f_{k}^{k^{*}}} (y), \underline{g_{k}^{k^{*}}} (z)} \\ \geq min {\underline{f_{k}^{k^{*}}} (x^{2} ay), \underline{g_{k}^{k^{*}}} (aya)} \\ \geq min {f (a), g (a), \frac{k^{*} - k}{2}} \end{matrix}$ (since f and g is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal, (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal respectively.) $\begin{matrix} = & min {\underline{f_{k}^{k^{*}}} (a), \underline{g_{k}^{k^{*}}} (a)} \\ = & (f (\cap)_{k}^{k^{*}} g) (a) . \end{matrix}$

Thus $f (\cap)_{k}^{k^{*}} g \subseteq f (\circ)_{k}^{k^{*}} g$ .

Conversely, suppose that B is a generalized bi-ideal and I is an ideal of S. Take any x ∈ I ∩ B. Since I is a ideal and B is a generalized bi-ideal of S, by Lemmas 4.5 and 4.6, $(\underline{f_{k}^{k^{*}}})_{I}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy ideal and $(\underline{f_{k}^{k^{*}}})_{B}$ is an (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideal of S. So, we have $\begin{matrix} (f_{I} (\circ)_{k}^{k^{*}} f_{B}) (x) & \geq & (f_{I} (\cap)_{k}^{k^{*}} f_{B}) (x) \\ = & min {(\underline{f_{k}^{k^{*}}})_{I} (x), (\underline{f_{k}^{k^{*}}})_{B} (x)} . \end{matrix}$

Since x ∈ I and x ∈ B, we have $(\underline{f_{k}^{k^{*}}})_{I} = \frac{k^{*} - k}{2}$ and $(\underline{f_{k}^{k^{*}}})_{B} = \frac{k^{*} - k}{2}$ . Thus $(f_{I} (\cap)_{k}^{k^{*}} f_{B}) (x) = \frac{k^{*} - k}{2}$ . Therefore $(f_{I} (\circ)_{k}^{k^{*}} f_{B}) (x) \geq \frac{k^{*} - k}{2}$ . By Definition 4.2, we have $(f_{I} (\circ)_{k}^{k^{*}} f_{B}) (x) \leq \frac{k^{*} - k}{2}$ . Hence $(f_{I} (\circ)_{k}^{k^{*}} f_{B}) (x) = \frac{k^{*} - k}{2}$ . By Lemma 4.4(3), we have $(f_{I} (\circ)_{k}^{k^{*}} f_{B}) (x) = (\underline{f_{k}^{k^{*}}})_{(IB]} (x) .$

Therefore, $(\underline{f_{k}^{k^{*}}})_{(IB]} (x) = \frac{k^{*} - k}{2}$ , and, so, x ∈ (IB]. This implies that I ∩ B = (IB]. Hence, by Lemma 4.23, S is regular.

References

Akram

and Davvaz

, Generalized fuzzy ideals of Kalgebras, Journal of Multivalued Valued and Soft Computing 19 (2012), 475–491.

Akram

, Dar

K.H.

and Shum

K.P.

, Intervalvalued (α, β) fuzzy K-algebras, Applied Soft computing 11(1) (2011), 1213–1222.

Akram

and Dudek

W.A.

, New fuzzy subquasigroups, Quasigroups and Related Systems 17(2) (2009), 107–118.

Bhakat

S.K.

and Das

, On the definition of a fuzzy subgroup, Fuzzy Sets and System 51 (1992), 235–241.

Bhakat

S.K.

and Das

, Fuzzy subnearrings and ideals redefined, Fuzzy Sets and System 81 (1996), 383–393.

Bhakat

S.K.

and Das

, (∈, ∈ ∨q)-fuzzy subgroups, Fuzzy Sets and System 80 (1996), 359–368.

Bhakat

S.K.

, (∈ ∨q)-level subset, Fuzzy Sets and System 103 (1999), 529–533.

Bhakat

S.K.

, (∈, ∈ ∨q)-fuzzy normal, quasinormal and maximal subgroups, Fuzzy Sets and System 112 (2000), 299–312.

Davvaz

, (∈, ∈ ∨q)-fuzzy subnearrings and ideals, Soft Comput 10 (2006), 206–211.

10.

Davvaz

, Fuzzy R-subgroups with thresholds of near-rings and implication operators, Soft Comput 12 (2008), 875–879.

11.

Davvaz

and Mozafar

, (∈, ∈ ∨q)-fuzzy Lie subalgebra and ideals, Int J Fuzzy System 11(2) (2009), 123–129.

12.

Davvaz

and Khan

, Characterization of regular ordered semigroups in terms of (α, β)-fuzzy generalized bi-ideals, Inform Sci 181 (2011), 1759–1770.

13.

Jun

Y.B.

, Khan

and Shabir

, Ordered semigroup characterized by their (∈, ∈ ∨q)-fuzzy bi-ideals, Bull Malays Math Soc 32(3) (2009), 391–408.

14.

Jun

Y.B.

and Song

S.Z.

, Generalized fuzzy Interior semideals in igroups, Inform Sci 176 (2006), 3079–3093.

15.

Jun

Y.B.

, Generalization of (∈, ∈ ∨q)-fuzzy subalgebras in BCK/BCI-algebras, Comput Math Appl 58 (2009), 1383–1390.

16.

Kazanci

and Yamak

, Generalized fuzzy bi-ideals of semigroup, Soft Comput 12 (2008), 1119–1124.

17.

Kehayopulu

and Tsingelis

, Fuzzy bi-ideals in ordered semigroups, Inf Sci 171 (2005), 13–28.

18.

Kehayopulu

and Tsingelis

, The embedding of an ordered groupoids into a poe-groupoid in terms of fuzzy sets, Inform Sci 152 (2003), 231–236.

19.

Kehayopulu

, On intra-regular ordered semigroups, Semigroup Forum 46 (1993), 271–278.

20.

Kehayopulu

and Tsingelis

, Fuzzy sets in ordered groupoids, Semigroup Forum 65 (2002), 128–132.

21.

Khan

, Jun

Y.B.

, Sarmin

N.H.

and Khan

F.M.

, Ordered semigroups characterized by (∈, ∈ ∨q)-fuzzy generalized biideals, Neural Comput and Applic 21(suppl) (2012), 121–132.

22.

Khan

, Sarmin

N.H.

, Davvaz

and Khan

F.M.

, New types of fuzzy biideals in ordered semigroups, Neural Computing and Applications 21 (2012), 295–305.

23.

Khan

, Davvaz

, Sarmin

N.H.

and Khan

H.U.

, Redefined intuitionistic fuzzy biideals of ordered semigroups, Journal of Inequalities and Applications 2013 (2013), 397.

24.

Kuroki

, Fuzzy bi-ideals in semigroups, Comment Math Univ St Pauli 28 (1979), 17–21.

25.

Kuroki

, On fuzzy semigroups, Inform Sci 53 (1991), 203–236.

26.

Kuroki

, On fuzzy ideals and fuzzy bi-ideals in semigroups, Fuzzy Sets and System 5 (1981), 203–215.

27.

Lee

S.K.

and Park

K.Y.

, On right (left) duo po-semigroups, Kangweon-Kyungki Math J 11(2) (2003), 147–153.

28.

Mordeson

J.N.

, Malik

D.S.

and Kuroki

, Fuzzy semigroups, Studies in Fuzziness and Soft Computing 131 (2003), Springer, Berlin.

29.

Murali

, Fuzzy points of equivalent subsets, Inf Sci 158 (2004), 277–288.

30.

P.M.

and Liu

Y.M.

, Fuzzy topology I, neighbourhood structure of a fuzzy point and Moore-Smith convergence, J Math Anal Appl 76 (1980), 571–599.

31.

Rosenfeld

, Fuzzy subgroups, J Math Anal Appl 35 (1971), 512–517.

32.

Shabir

and Khan

, Characterizations of ordered semigroups by the properties of their fuzzy generalized bi-ideals, New Math Nat Comput 4(2) (2008), 161–175.

33.

Shabir

, Jun

Y.B.

and Nawaz

, Characterizations of regular semigroups by (∈, ∈ ∨q)-fuzzy ideals, Comput Math Appl 59 (2010), 539–549.

34.

Tang

, Characterization of ordered semigroups by of (∈, ∈ ∨q)-fuzzy ideals, World Acad of Sci, Eng and Tech 6 (2012), 518–530.

35.

Xie

X.Y.

and Tang

, Regular and intra-regular ordered semigroups in terms of fuzzy subsets, Iranian Journal of Fuzzy System 7(2) (2010), 121–140.

36.

Zadeh

L.A.

, Fuzzy sets, Information and Control 8 (1965), 338–353.

Ordered semigroups characterized in terms of generalized fuzzy ideals

Abstract

Keywords

1 Introduction

2 Preliminaries

3 (∈ , ∈ ∨ (k*, q k ))-fuzzy generalized bi-ideals of ordered semigroups

4 (k*, k)-lower parts of (∈ , ∈ ∨ (k*, q k ))- fuzzy generalized bi-ideals

References

3 (∈ , ∈ ∨ (k^*, q_k))-fuzzy generalized bi-ideals of ordered semigroups

4 (k^, k)-lower parts of (∈ , ∈ ∨ (k^, q_k))- fuzzy generalized bi-ideals