Abstract
We introduced \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy (left, right, bi-) ideals of an ordered Abel Grassman’s groupoids (AG-groupoid) and characterized intra-regular ordered AG-groupoids in terms of these generalized fuzzy ideals.
Similar content being viewed by others
1 Introduction
The fundamental concept of a fuzzy set was introduced by Zadeh in his classic paper [29], which provides a natural framework for generalizing some of the basic notions of algebra. Kuroki [10] introduced the notion of fuzzy bi-ideals in semigroups. A new type of fuzzy subgroup, that is \((\alpha , \beta )\)-fuzzy subgroup, was introduced in an earlier paper of Bhakat and Das [3] by using the notions of "belongingness and quasi-coincidence" of fuzzy points and fuzzy sets. The concepts of an \((\in , \in \vee q)\)-fuzzy subgroup is a useful generalization of Rosenfeld’s fuzzy subgroups [19]. It is now natural to investigate similar type of generalizations of existing fuzzy sub-systems of other algebraic structures. The concept of an \((\in , \in \vee q)\)-fuzzy sub-near rings of a near ring introduced by Davvaz in [6]. Kazanci and Yamak [11] studied \((\in , \in \vee q)\)-fuzzy bi-ideals of a semigroup. Shabir et al. [20] characterized regular semigroups by the properties of \((\in , \in \vee q)\)-fuzzy ideals, fuzzy bi-ideals and fuzzy quasi-ideals. Kazanci and Yamak [11] defined \((\overline{\in }, \overline{\in } \vee \overline{q})\)-fuzzy bi-ideals in semigroups. Many other researchers used the idea of generalized fuzzy sets and gave several characterizations results in different branches of algebra. Generalizing the concept of \(x_{t}qf,\) Shabir and Jun [21], defined \(x_{t}q_{k}f\) as \(f(x)+t+k>1\), where \(k\in [0,1).\) In [21], semigroups are characterized by the properties of their \(\left( \in , \in \vee q_{k}\right)\)-fuzzy ideals.
Faisal and Khan [15] introduced the concept of an ordered \(\mathcal {AG}\)-groupoid and provided the basic theory for an ordered \(\mathcal {AG}\)-groupoid in terms of fuzzy subsets. The generalization of an ordered \(\mathcal {AG}\)-groupoid was also given by Faisal et al. [27] and they introduced the notion of an ordered \(\Gamma\)-\(\mathcal {AG}^{**}\)-groupoid.
The concept of a left almost semigroup (\(\mathcal {LA}\)-semigroup) was first introduced by Kazim and Naseeruddin [12] in 1972. In [7], the same structure was called a left invertive groupoid. Protic and Stevanovic [18] called it an Abel-Grassmann’s groupoid (\(\mathcal {AG}\)-groupoid). An \(\mathcal {AG}\)-groupoid is a groupoid \(\mathcal {S}\) whose elements satisfy the left invertive law \((ab)c=(cb)a, \forall a,b,c\in \mathcal {S}.\) In an \(\mathcal {AG}\)-groupoid, the medial law [12] \((ab)(cd)=(ac)(bd), \forall a,b,c,d\in \mathcal {S}\) holds. An \(\mathcal {AG}\)-groupoid may or may not contains a left identity. The left identity of an \(\mathcal {AG}\)-groupoid allow us to introduce the inverses of elements in an \(\mathcal {AG}\)-groupoid. If an \(\mathcal {AG}\)-groupoid contains a left identity, then it is unique [16]. In an \(\mathcal {AG}\)-groupoid \(\mathcal {S}\) with left identity, the paramedial law \((ab)(cd)=(dc)(ba), \forall a,b,c,d\in \mathcal {S}\) holds. If an \(\mathcal {AG}\)-groupoid contains a left identity, then by using medial law, we get \(a(bc)=b(ac), \forall a,b,c\in \mathcal {S}.\) If an \(\mathcal {AG}\)-groupoid \(\mathcal {S}\) satisfies \(a(bc)=b(ac), \forall a,b,c\in \mathcal {S}\) without left identity, then \(\mathcal {S}\) is called an \(\mathcal {AG}^{**}\)-groupoid. Several examples and interesting properties of \(\mathcal {AG}\)-groupoids can be found in [28], [16] and [22].
Motivated by the study of Khan et al. [14], Yin and Zhan [25] and Yin et al. [26] on generalized fuzzy ideals in ordered semigroups, we study the theory of \((\in _{\gamma }, \in _{\gamma } \vee q_{\delta })\)-fuzzy sets in ordered \(\mathcal {AG}\)-groupoids. \(\mathcal {AG}\)-groupoids are the generalization of the concept of semigroups and it was difficult to handle the results on \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy sets in ordered \(\mathcal {AG}\)-groupoids. In this paper we introduce \((\in _{\gamma }, \in _{\gamma } \vee q_{\delta })\)-fuzzy ideals in an ordered \(\mathcal {AG}\)-groupoid and introduce some new results which are infect the generalization of the concept of \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy ideals in an ordered semigroup. We characterize an intra-regular ordered \(\mathcal {AG}\)-groupoid by the properties of its \((\in _{\gamma }, \in _{\gamma } \vee q_{\delta })\)-fuzzy ideals.
2 Preliminaries and examples
In this section, we will present some basic definitions needed for next section.
Definition 1
An ordered \(\mathcal {AG}\)-groupoid (\(\mathfrak {po}\)-\(\mathcal {AG}\)-groupoid) is a structure \((G,.,\le )\) in which the following conditions hold [15]:
-
(i)
\((G,.)\) is an \(\mathcal {AG}\)-groupoid.
-
(ii)
\((G,\le )\) is a poset.
-
(iii)
\(\forall a,b,x\in G, a\le b\Rightarrow ax\le bx (xa\le xb).\)
Example 1
Define a new binary operation "\(\circ _{e}\)" (\(e\)-sandwich operation) on an ordered \(\mathcal {AG}\)-groupoid \((\mathcal {S},.,\le )\) with left identity \(e\) as follows:
Then \((\mathcal {S}, \circ _{e},\le )\) becomes an ordered semigroup.
An ordered \(\mathcal {AG}\)-groupoid is the generalization of an ordered semigroup because if an ordered \(\mathcal {AG}\)-groupoid has a right identity then it becomes an ordered semigroup.
Let \(A\) be a non-empty subset an ordered \(\mathcal {AG}\)-groupoid \(G\), then
For \(A=\{a\},\) we usually written as \(\left( a\right] .\)
Definition 2
Let \(G\) be an ordered \(\mathcal {AG}\)-groupoid. By a left (right) ideal of \(G\), we mean a non-empty subset \(A\) of \(G\) such that \((GA]\subseteq A ((AG]\subseteq A\)). By two-sided ideal or simply ideal, we mean a non-empty subset \(A\) of \(G\) which is both a left and a right ideal of \(G\).
Definition 3
An \(\mathcal {AG}\)-subgroupoid \(A\) of \(G\) is called a bi-ideal of \(G\) if \(((AG)A]\subseteq A\).
Definition 4
A non-empty subset \(A\) of \(G\) is called a generalized bi-ideal of \(G\) if \(((AG)A]\subseteq A\).
A fuzzy subset \(f\) of a given set \(G\) is described as an arbitrary function \(f:G\longrightarrow [0, 1]\), where \([0, 1]\) is the usual closed interval of real numbers. For any two fuzzy subsets \(f\) and \(g\) of \(G\), \(f\subseteq g\) means that, \(f(x)\le g(x), \forall x\in G\). Let \(f\) and \(g\) be any fuzzy subsets of an ordered \(\mathcal {AG}\)-groupoid \(G\), then the product \(f\circ g\) is defined by
Definition 5
A fuzzy subset \(f\) of an ordered \(\mathcal {AG}\)-groupoid \(G\) is called a fuzzy ordered \(\mathcal {AG}\)-subgroupoid of \(G\) if \(f(xy)\ge f(x)\wedge f(y), \forall x, y\in G.\)
Definition 6
A fuzzy subset \(f\) of an ordered \(\mathcal {AG}\)-groupoid \(G\) is called a fuzzy left (right) ideal of \(G\) if \(f(xy)\ge f(y) (f(xy)\ge f(x)), \forall x, y\in G.\)
Definition 7
A fuzzy subset \(f\) of an ordered \(\mathcal {AG}\)-groupoid \(G\) is called a fuzzy ideal of \(G\) if it is both fuzzy left and fuzzy right ideal of \(G.\)
Definition 8
A fuzzy subset \(f\) of an ordered \(\mathcal {AG}\)-groupoid \(G\) is called a fuzzy generalized bi-ideal of \(G\) if \(f((xy)z)\ge f(x)\wedge f(z), \forall x, y\) and \(z\in G\).
Let \(\mathcal {F}(G)\) denotes the collection of all fuzzy subsets of an ordered \(\mathcal {AG}\)-groupoid \(G\), then \((\mathcal {F}(G),\circ )\) becomes an ordered \(\mathcal {AG}\)-groupoid [15].
The characteristic function \(\chi _{A}\) for a non-empty subset \(A\) of an ordered \(\mathcal {AG}\)-groupoid \(G\) is defined by
A fuzzy subset \(f\) of an ordered \(\mathcal {AG}\)-groupoid \(G\) of the form
is said to be a fuzzy point with support \(x\) and value \(r\) and is denoted by \(x_{r}\), where \(r\in (0,1].\)
In what follows let \(\gamma , \delta \in [0,1]\) be such that \(\gamma < \delta\). For any \(B\subseteq A,\) we define \(X_{\gamma B}^{\delta }\) be the fuzzy subset of \(X\) by \(X_{\gamma B}^{\delta }(x)\ge \delta\) and \(X_{\gamma B}^{\delta }(x)\le \gamma , \forall x\in B.\) Otherwise, clearly \(X_{\gamma B}^{\delta }\) is the characteristic function of \(B\) if \(\gamma =0\) and \(\delta =1.\)
Definition 9
For a fuzzy point \(x_{r}\) and a fuzzy subset \(f\) of an ordered \(\mathcal {AG}\)-groupoid \(G\), we say that:
-
(i)
\(x_{r}\in _{\gamma }f\) if \(f(x)\ge r > \gamma .\)
-
(ii)
\(x_{r} q_{\delta } f\) if \(f(x)+r > 2 \delta .\)
-
(iii)
\(x_{r}\in _{\gamma } \vee q_{\delta }f\) if \(x_{r}\in _{\gamma }f\) or \(x_{r}q_{\delta } f.\)
Now we introduce a new relation on \(\mathcal {F}(G)\), denoted as "\(\subseteq \vee q_{(\gamma , \delta )}\)", as follows.
For any \(f,g \in \mathcal {F}(G),\) by \(f\subseteq \vee q_{(\gamma , \delta )}g,\) we mean that \(x_{r}\in _{\gamma } f \Longrightarrow x_{r}\in _{\gamma } \vee q_{\delta }g, \forall x\in G\) and \(r\in (\gamma , 1].\)
Moreover \(f\) and \(g\) are said to be \((\gamma , \delta )\)-equal, denoted by \(f=_{(\gamma , \delta )}g,\) if \(f\subseteq \vee q_{(\gamma , \delta )}g\) and \(g\subseteq \vee q_{(\gamma ,\delta )}f\).
Example 2
Let \(G=\{1,2,3\}\) be an ordered \(\mathcal {AG}\)-groupoid with the multiplication table and order below:
Define a fuzzy subset \(f:G\rightarrow [0,1]\) as follows:
Then by routine calculation it is easy to observe the following:
-
(i)
\(f\) is an \((\in _{0.3},\in _{0.3}\vee q_{0.4})\)-fuzzy ideal of \(G\).
-
(ii)
\(f\) is not an \((\in , \in \vee q_{0.3})\)-fuzzy ideal of \(G,\) because \(f(12)<f(2)\wedge \frac{1-0.3}{2}\).
Example 3
Let \(S=\{0,1,2,3\}\) be an ordered \(\mathcal {AG}\)-groupoid with the multiplication table and order below:
Define a fuzzy subset \(f:S\rightarrow [0,1]\) as follows:
Then clearly \(f\) is an \((\in _{0.3},\in _{0.3}\vee q_{0.4})\)-fuzzy left ideal of \(S\). If
Again define a fuzzy subset \(f:S\rightarrow [0,1]\) as follows:
Then \(f\) is an \((\in _{0.2},\in _{0.2}\vee q_{0.5})\)-fuzzy bi-ideal.
Lemma 1
Let \(f,g,h\subseteq \mathcal {F}(G)\) and \(\gamma , \delta \in [0,1],\) then
-
(i)
\(f\subseteq \vee q_{(\gamma , \delta )}g (f\supseteq \vee q_{(\gamma , \delta )}g)\Leftrightarrow \max \{f(x),\gamma \} \le \min \{g(x),\delta \} (\max \{f(x),\gamma \} \ge \min \{g(x),\delta \}), \forall x \in G.\)
-
(ii)
If \(f\subseteq \vee q_{(\gamma , \delta )}g\) and \(g\subseteq \vee q_{(\gamma , \delta )}h,\) then \(f\subseteq \vee q_{(\gamma , \delta )}h.\)
Proof
The proof is straightforward. \(\square\)
Corollary 1
\(=\vee q_{(\gamma , \delta )}\) is an equivalence relation on \(\mathcal {F}(G).\)
Definition 10
By Lemma 1, it is also notified that \(f=\vee q_{(\gamma , \delta )}g\Leftrightarrow \max \{ \min \{f(x),\delta \},\gamma \}=\max \{ \min \{g(x),\delta \},\gamma \}, \forall x\in G,\) where \(\gamma , \delta \in [0,1]\).
Lemma 2
Let \(A\) and \(B\) be any subsets of an ordered \(\mathcal {AG}\) -groupoid \(G,\) where \(r\in (\gamma , 1]\) and \(\gamma , \delta \in [0,1]\) , then
-
(1)
\(A\subseteq B\Leftrightarrow \chi _{\gamma A}^{\delta }\subseteq \vee q_{(\gamma , \delta )}\chi _{\gamma B}^{\delta }.\)
-
(2)
\(\chi _{\gamma A}^{\delta }\cap \chi _{\gamma B}^{\delta }=_{(\gamma , \delta )}\chi _{\gamma (A\cap B)}^{\delta }.\)
-
(3)
\(\chi _{\gamma A}^{\delta }\circ \chi _{\gamma B}^{\delta }=_{(\gamma , \delta )}\chi _{\gamma (AB]}^{\delta }.\)
Proof
\((1):\) Assume that \(A\) and \(B\) are any subset of an ordered \(\mathcal {AG}\)-groupoid \(G.\) Let for any \(x\in G\) such that \(x\in A\subseteq B,\) then by definition, we can write \(\chi _{\gamma B}^{\delta }\ge \delta \rightarrow (i)\). Let \(x_{r}\in _{\gamma }\chi _{\gamma A}^{\delta }\), then \(\chi _{\gamma A}^{\delta } (x)\ge r>\gamma .\) Now two cases arises for Eq. \((i).\)
Case\((a)\): if \(\delta \ge r,\) then \((i)\Rightarrow \chi _{\gamma B}^{\delta }\ge r\), therefore \(x_{r}\in _{\gamma }\chi _{\gamma B}^{\delta }.\)
Case\((b)\): if \(\delta <r\) then \((i)\Rightarrow \chi _{\gamma B}^{\delta }+r>2\delta ,\) therefore \(x_{r}q_{\delta }\chi _{\gamma B}^{\delta }.\)
Hence \(\chi _{\gamma A}^{\delta }\subseteq \vee q_{(\gamma , \delta )} \chi _{\gamma B}^{\delta }.\)
Conversely, let \(\chi _{\gamma A}^{\delta }\subseteq \vee q_{(\gamma , \delta )}\chi _{\gamma B}^{\delta }.\) Let \(x\in A,\) then by definition we can write \(\chi _{\gamma A}^{\delta }\ge \delta .\) Let \(x_{r}\in _{\gamma }\chi _{\gamma A}^{\delta }\subseteq \vee q_{(\gamma , \delta )}\chi _{\gamma B}^{\delta },\) where \(\chi _{\gamma A}^{\delta }\) and \(\chi _{\gamma B}^{\delta }\) are any fuzzy subsets of \(G.\) Thus \(x_{r}\in _{\gamma }\chi _{\gamma A}^{\delta },\) \(x_{r}\in _{\gamma }\chi _{\gamma B}^{\delta }\) or \(x_{r}q_{\delta }\chi _{\gamma B}^{\delta }.\) As \(x_{r}\in _{\gamma }\chi _{\gamma A}^{\delta }\), then \(\chi _{\gamma A}^{\delta }(x)\ge r>\gamma\) and \(\chi _{\gamma B}^{\delta }(x)\ge r>\gamma\) or \(\chi _{\gamma B}^{\delta }(x)+\delta >2\delta \rightarrow (ii).\) Now here arises two cases for \((ii).\)
Case\((a)\): if \(r<\delta ,\) then
Case\((b)\): if \(r\ge \delta ,\) then
Hence \(A\subseteq B.\)
\((2):\) Assume that \(\chi _{\gamma A}^{\delta }\) and \(\chi _{\gamma B}^{\delta }\) are any fuzzy subsets of an ordered \(\mathcal {AG}\)-groupoid \(G.\) Let \(x_{r}\in _{\gamma }\chi _{\gamma A}^{\delta }\cap \chi _{\gamma B}^{\delta }\), then \(x_{r}\in _{\gamma }\chi _{\gamma A}^{\delta }\) and \(x_{r}\in _{\gamma }\chi _{\gamma B}^{\delta }\Longrightarrow \chi _{\gamma A}^{\delta }(x)\ge r>\gamma\) and \(\chi _{\gamma B}^{\delta }(x)\ge r>\gamma .\) Let \(x\in A\cap B,\) then by definition \(\chi _{\gamma (A\cap B)}^{\delta }(x)\ge \delta \rightarrow (iii).\) Here arises two cases for \((iii)\).
Case\((a)\): Let \(r\le \delta ,\) then
Case\(\ (b)\): Let \(r>\delta\) then
Hence \(\chi _{\gamma A}^{\delta }\cap \chi _{\gamma B}^{\delta }\subseteq q_{(\gamma , \delta )}\chi _{\gamma (A\cap B)}^{\delta }\rightarrow (iv).\)
Assume that for any \(x\in G,\) there exists a fuzzy subset \(\chi _{\gamma (A\cap B)}^{\delta }\) of \(G\) such that \(x_{r}\in _{\gamma }\chi _{\gamma (A\cap B)}^{\delta }\), then \(\chi _{\gamma (A\cap B)}^{\delta }(x)\ge r>\gamma .\) Let \(x\in A\cap B\), then by definition, we can write \(\chi _{\gamma (A)}^{\delta }(x)\ge \delta\) and \(\chi _{\gamma (B)}^{\delta }(x)\ge \delta .\) Thus
Here arises two cases for \((v)\).
Case\((a)\): if \(r\le \delta ,\) then
Case\((b)\): if \(r>\delta ,\) then
Hence \(\chi _{\gamma (A\cap B)}^{\delta }\subseteq \vee q_{(\gamma ,\delta )}\chi _{\gamma A}^{\delta }\cap \chi _{\gamma B}^{\delta }\rightarrow (vi). \)From \((iv)\) and \((vi),\) we get \(\chi _{\gamma A}^{\delta }\cap \chi _{\gamma B}^{\delta }=_{(\gamma ,\delta )}\chi _{\gamma (A\cap B)}^{\delta }.\)
\((3):\) Assume that \(\chi _{\gamma A}^{\delta }\) and \(\chi _{\gamma B}^{\delta }\) are any fuzzy subsets of \(G.\) Let \(x\in G\), then
Now we have to show that \(x_{r}\in _{\gamma }\chi _{\gamma (AB]}^{\delta }\) or \(q_{\delta }\chi _{\gamma (AB]}^{\delta }.\) Let \(x\in (AB],\) then \(\chi _{\gamma (AB]}^{\delta }(x)\ge \delta \rightarrow (vii).\) Now here arises two cases for \((vii)\).
Case\((a)\): if \(r\le \delta ,\) then
Case\((b)\): if \(r>\delta ,\) then
Hence \(\chi _{\gamma A}^{\delta }\circ \chi _{\gamma B}^{\delta }\subseteq q_{(\gamma , \delta )}\chi _{\gamma (AB]}^{\delta }\rightarrow (viii).\)
Assume that for any \(x\in G\) there exists \(r\in (\gamma , 1]\) and \(\gamma ,\delta \in [0,1]\) such that \(x_{r}\in _{\gamma }\chi _{\gamma (AB]}^{\delta }\Longrightarrow \chi _{\gamma (AB]}^{\delta }(x)\ge r>\gamma .\) Let \(x\in (AB],\) then \(x\le ab\) for \(a\in A,\) \(b\in B,\) and if \(a\in A,\) then by definition, we can write \(\chi _{\gamma A}^{\delta }(x)\ge \delta\) and similarly for \(b\in B\Longrightarrow \chi _{\gamma B}^{\delta }(x)\ge \delta .\) Thus we can write
Thus \(\chi _{\gamma A}^{\delta }\circ \chi _{\gamma B}^{\delta }(x)\ge \delta \rightarrow (ix).\) Here arises two cases for \((ix)\).
Case\((a)\): if \(r\le \delta ,\) then
Case\((b)\): if \(r>\delta ,\) then
Hence \(\chi _{\gamma (AB]}^{\delta }\subseteq \vee q_{(\gamma , \delta )} \chi _{\gamma A}^{\delta }\circ \chi _{\gamma B}^{\delta }\rightarrow (x).\) From \((viii)\) and \((x),\) we get \(\chi _{\gamma A}^{\delta }\circ \chi _{\gamma B}^{\delta }=_{(\gamma , \delta )}\chi _{\gamma (AB]}^{\delta }.\) \(\square\)
Corollary 2
Let \(G\) be an ordered \(\mathcal {AG}\) -groupoid and \(\gamma ,\) \(\gamma _{1},\) \(\delta ,\) \(\delta _{1}\in [0,1]\) such that \(\gamma <\delta ,\) \(\gamma _{1}<\delta _{1},\) \(\gamma <\gamma _{1}\) and \(\delta _{1}<\delta .\) Then any \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy left ideal of \(G\) is an \((\in _{\gamma _{1}},\in _{\gamma _{1}}\vee q_{\delta _{1}})\) -fuzzy left ideal over \(G\).
Definition 11
A fuzzy subset \(f\) of an ordered \(\mathcal {AG}\)-groupoid \(G\) is called an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy \(\mathcal {AG}\)-subgroupoid of \(G\) if for all \(a,b\in G\) and \(s,t\in (\gamma , 1],\) the following conditions hold:
-
(i)
If \(a\le b\) and \(b_{t}\in _{\gamma }f\Longrightarrow a_{t}\in _{\gamma }\vee q_{\delta }f.\)
-
(ii)
If \(a_{t}\in _{\gamma }f\) and \(b_{t}\in _{\gamma }f\Longrightarrow (ab)_{\min \{t,s\}}\in _{\gamma }\vee q_{\delta }f.\)
Theorem 1
A fuzzy subset \(f\) of an ordered \(\mathcal {AG}\) -groupoid \(G\) is called an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy \(\mathcal {AG}\) -subgroupoid if for all \(a,b\in G\) and \(t\in (\gamma , 1],\) the following conditions hold:
-
(1)
\(\max \{f(a),\gamma \} \ge \min \{f(b),\delta \}\) with \(a\le b.\)
-
(2)
\(\max \{f(ab),\gamma \} \ge \min \{f(a),f(b),\delta \}.\)
Proof
\((i)\Rightarrow (1):\) Assume that \(a,b\in S\) and \(t\in (\gamma , 1]\) such that \(\max \{f(a),\gamma \}<t\le \min \{f(b),\delta \},\) then
that is \(a_{t}\overline{\in _{\gamma }\vee q_{\delta }}f\) and \(f(b)\ge t>\gamma\) and therefore \(b_{t}\in _{\gamma }f,\) but \(a_{t}\overline{\in _{\gamma }\vee q_{\delta }}f\) is a contradiction. Hence \(\max \{f(a),\gamma \} \ge \min \{f(b),\delta \}.\)
\((1)\Rightarrow (i):\) Let \(a,b\in S\), \(\gamma , \delta \in [0,1]\) and \(b_{t}\in _{\gamma }f,\) then by definition \(f(b)\ge t>\gamma\). Now by \((1)\)
We have to consider two cases here:
Case\((a)\): If \(t\le \delta ,\) then
Case\((b)\): If \(t>\delta ,\) then
From both cases we can write \(a_{t}\in _{\gamma }\vee q_{\delta }f.\)
\((ii)\Rightarrow (2):\) Let \(f\) be a fuzzy subset of an \(\mathcal {AG}\)-groupoid \(G\) which is an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy \(\mathcal {AG}\)-subgroupoid of \(G\). Assume that there exists \(a,b\in G\) and \(t\in (\gamma , 1]\) such that
Thus
Therefore
but \((ab)_{t}\overline{\in _{\gamma }\vee q_{\delta }}f\) is a contradiction to the definition. Hence
\((2)\Rightarrow (ii):\) Assume that there exist \(a,b\in G\) and \(t,s\) \(\in (\gamma , 1]\) such that \(a_{t}\in _{\gamma }f\) and \(b_{s}\in _{\gamma }f,\) then by definition
therefore
We have to consider two cases here:
Case\((a)\): If \(\{t,s\} \le \delta ,\) then
Case\((b)\): If \(\{t,s\}>\delta ,\) then
From both cases, we can write \((ab)_{\min \{t,s\}}\in _{\gamma }\vee q_{\delta }f, \forall a,b\in G.\) \(\square\)
Definition 12
A fuzzy subset \(f\) of an ordered \(\mathcal {AG}\)-groupoid \(G\) is called an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy left (right) ideal of \(G\) if for all \(a,b\in G\) and \(t\in (\gamma , 1],\) the following conditions hold:
-
(i)
If \(a\le b\) and \(b_{t}\in _{\gamma }f\Longrightarrow a_{t}\in _{\gamma }\vee q_{\delta }f.\)
-
(ii)
If \(b_{t}\in _{\gamma }f\Longrightarrow (ab)_{t}\in _{\gamma }\vee q_{\delta }f\) \((a_{t}\in _{\gamma }f\Longrightarrow (ab)_{t}\in _{\gamma }\vee q_{\delta }f).\)
Theorem 2
A fuzzy subset \(f\) of an ordered \(\mathcal {AG}\) -groupoid \(G\) is called an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy left (right) ideal of \(G\) if for all \(a,b\in G\) and \(\gamma , \delta \in [0,1],\) the following conditions hold:
-
(1)
\(\max \{f(a),\gamma \} \ge \min \{f(b),\delta \}\) with \(a\le b.\)
-
(2)
\(\max \{f(ab),\gamma \} \ge \min \{f(b),\delta \}.\)
Proof
\((i)\Leftrightarrow (1):\) It is same as in Theorem 1.
\((ii)\Rightarrow (2):\) Assume that \(a,b\in G\) and \(t,s\in (\gamma , 1]\) such that
Then
Also
But \((ab)_{t}\overline{\in _{\gamma }\vee q_{\delta }}f\)is a contradiction. Hence
\((2)\Rightarrow (ii):\) Assume that \(a,b\in G\) and \(t,s\in (\gamma , 1]\) such that \(b_{t}\in _{\gamma }f,\) then by definition we can write \(f(b)\ge t>\gamma\), therefore
We have to consider two cases here:
Case\((a)\): If \(t\le \delta ,\) then
Case\((b)\): If \(t>\delta ,\) then
From both cases, we have \((ab)_{t}\in _{\gamma }\vee q_{\delta }f, \forall a,b\in G.\) \(\square\)
Lemma 3
Let \(f\) be a fuzzy subset of an ordered \(\mathcal {AG}\) -groupoid \(G\) and \(\gamma , \delta \in [0,1],\) then \(f\) is an \((\in _{\gamma },\in _{\gamma }\vee q_{\delta })\) -fuzzy left (right) ideal of \(G\) if and only if \(f\) satisfies the following conditions.
-
(i)
\(x\le y\Rightarrow \max \{f(x),\gamma \} \ge \min \{g(x),\delta \}, \forall x,y\in G.\)
-
(ii)
\(S\circ f\subseteq \vee q_{(\gamma , \delta )}f\) and \(f\circ S\subseteq \vee q_{(\gamma , \delta )}f\) \((S\circ f\subseteq \vee q_{(\gamma ,\delta )}f\) and \(f\circ S\subseteq \vee q_{(\gamma , \delta )}f).\)
Proof
The proof is straightforward. \(\square\)
Definition 13
A fuzzy subset \(f\) of an ordered \(\mathcal {AG}\)-groupoid \(G\) is called an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy bi-ideal of \(G\) if for all \(x,y,z\in G\) and \(s,t\in (\gamma , 1]\), the following conditions hold:
-
(i)
If \(a\le b\) and \(b_{t}\in _{\gamma }f\Longrightarrow a_{t}\in _{\gamma }\vee q_{\delta }f.\)
-
(ii)
if \(x_{t}\in _{\gamma }f\) and \(y_{s}\in _{\gamma }f\Longrightarrow (xy)_{\min \{t,s\}}\in _{\gamma }\vee q_{\delta }f.\)
-
(iii)
if \(x_{t}\in _{\gamma }f\) and \(z_{s}\in _{\gamma }f\Longrightarrow ((xy)z)_{\min \{t,s\}}\in _{\gamma }\vee q_{\delta }f.\)
Theorem 3
A fuzzy subset \(f\) of an ordered \(\mathcal {AG}\) -groupoid \(G\) is called an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy bi-ideal of \(G\) if for all \(x,y,z\in G,\) \(s,t\in (\gamma , 1]\) and \(\gamma , \delta \in [0,1],\) the following conditions hold:
-
(1)
\(\max \{f(a),\gamma \} \ge \min \{f(b),\delta \}\) with \(a\le b.\)
-
(2)
\(\max \{f(xy),\gamma \} \ge \min \{f(x),f(y),\delta \}.\)
-
(3)
\(\max \{f((xy)z),\gamma \} \ge \min \{f(x),f(z),\delta \}.\)
Proof
\((i)\Leftrightarrow (1):\) It is same as in Theorem 1.
\((ii)\Rightarrow (2):\) Assume that \(f\) is an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy bi-ideal of an ordered \(\mathcal {AG}\)-groupoid \(G\). Let \(x,y\in\) \(G\) and \(s,t\in (\gamma , 1]\) such that
Now
As
But \((xy)_{\min \{t,s\}}\overline{\in _{\gamma }\vee q_{\delta }}f,\) which is a contradiction. Hence
\((2)\Rightarrow (ii):\) Assume that \(x,y\in G\) and \(t,s\in (\gamma , 1]\) such that \(x_{t}\in _{\gamma }f,\ y_{s}\in _{\gamma }f,\) but \((xy)_{\min \{t,s\}}\overline{\in _{\gamma }\vee q_{\delta }}f\), then \(f(x)\ge t>\gamma ,\) \(f(y)\ge s>\gamma ,\) \(f(xy)<\min \{f(x),f(y),\delta \}\) and \(f(xy)+\min \{t,s\} \le 2\delta .\) It follows that \(f(xy)<\delta\) and so \(\max \{f(xy),\gamma \}<\min \{f(x),f(y),\delta \}.\) Which is a contradiction. Hence
\((iii)\Rightarrow (3):\) Assume that \(x,y,z\in G\) and \(t,s\) \(\in (\gamma , 1]\) such that
Now
and
but \(((xy)z)_{t}\overline{\in _{\gamma }\vee q_{\delta }}f,\) which is a contradiction. Hence
\((3)\Rightarrow (iii):\) Assume that \(x,y,z\in G\) and \(t,s\) \(\in (\gamma , 1]\) such that \(x_{t}\in _{\gamma }f,\ z_{s}\in _{\gamma }f,\) but \(((xy)z)_{\min \{t,s\}}\overline{\in _{\gamma }\vee q_{\delta }}f\),
then \(f(x)\ge t>\gamma ,\) \(f(z)\ge s>\gamma ,\) \(f((xy)z)<\min \{f(x),f(y),\delta \}\) and \(f((xy)z)+\min \{t,s\} \le 2\delta .\) It follows that \(f((xy)z)<\delta\) and so \(\max \{f((xy)z),\gamma \}<\min \{f(x),\)
\(f(y),\delta \}\) is a contradiction. Hence
\(\square\)
Lemma 4
A non-empty subset \(B\) of an ordered \(\mathcal {AG}\) -groupoid \(G\) is a bi-ideal of \(G\) \(\Leftrightarrow\) \(\chi _{\gamma B}^{\delta }\) is an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy bi-ideal of \(G,\) where \(\gamma , \delta \in [0,1].\)
Proof
Let \(B\) be a bi-ideal of \(G\) and assume that \(x,y\in B,\) then for any \(a\in G,\) we have \((xa)y\in B\), thus \(\chi _{\gamma B}^{\delta }((xa)y)\ge \delta >\gamma\) and therefore \(\chi _{\gamma B}^{\delta }(x)\ge \delta , \chi _{\gamma B}^{\delta }(y)\ge \delta\) which shows that \(\chi _{\gamma B}^{\delta }(x)\wedge \chi _{\gamma B}^{\delta }(y)\ge \delta\). Thus
Hence \(\chi _{\gamma B}^{\delta }((xa)y)\vee \gamma \ge \chi _{\gamma B}^{\delta }(x)\wedge \chi _{\gamma B}^{\delta }(y)\wedge \delta .\)
Let \(x\in B, y\notin B,\) then
Therefore
Hence \(\chi _{\gamma B}^{\delta }((xa)y)\vee \gamma \ge \chi _{\gamma B}^{\delta }(x)\wedge \chi _{\gamma B}^{\delta }(y)\wedge \delta .\)
Let \(x\notin B, y\in B\), then
Therefore
Let \(x,y\notin B\), then
Thus
Hence \(\chi _{\gamma B}^{\delta }((xa)y)\vee \gamma \ge \chi _{\gamma B}^{\delta }(x)\wedge \chi _{\gamma B}^{\delta }(y)\wedge \delta\). Converse is simple. \(\square\)
Lemma 5
Let \(A\) be a non-empty set of an ordered \(\mathcal {AG}\) -groupoid \(G\) , then \(A\) is a left (right \(,\) two-sided) ideal of \(G\) \(\Leftrightarrow\) \(\chi _{\gamma A}^{\delta }\) is an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy left (right \(,\) two-sided) ideal of \(G,\) where \(\gamma , \delta \in [0,1].\)
Proof
The proof is straightforward. \(\square\)
Lemma 6
([9]) In an ordered \(\mathcal {AG}\) -groupoid \(G\) , the following are true.
-
(i)
\(A\subseteq \left( A\right] , \forall \;A\subseteq G.\)
-
(ii)
\(A\subseteq B\subseteq G\Longrightarrow \left( A\right] \subseteq \left( B\right] , \forall A,B\subseteq G.\)
-
(iii)
\(\left( A\right] \left( B\right] \subseteq \left( AB\right] , \forall A,B\subseteq G.\)
-
(iv)
\(\left( A\right] =\left( \left( A\right] \right] , \forall A\subseteq G.\)
-
(vi)
\(\left( \left( A\right] \left( B\right] \right] =\left( AB\right] , \forall A,B\subseteq G.\)
3 Main results
This section contains the main results of the paper.
Definition 14
An element \(a\) of an ordered \(\mathcal {AG}\)-groupoid \(G\) is called an intra-regular element of \(G\) if there exists \(x\in G\) such that \(a\le (xa^{2})y\) and \(G\) is called an intra-regular, if every element of \(G\) is an intra-regular or equivalently, \(A\subseteq ((GA^{2})G],\) \(\forall\) \(A\subseteq G\) [15].
From now onward, \(G\) will denote an ordered \(\mathcal {AG}\)-groupoid unless otherwise specified.
Theorem 4
For \(G\) with left identity, the following conditions are equivalent.
-
(i)
\(G\) is an intra-regular.
-
(ii)
For every left ideal \(L\) and bi-ideal \(B\) of \(G\), \(L\cap B\subseteq ((LB]B]\).
-
(iii)
For an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy left ideal \(f\) and an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy bi-ideal \(g\) of \(G,\) \(f\cap g\subseteq \vee _{q_{(\gamma , \delta )}}(f\circ g)\circ g.\)
Proof
\((i)\Rightarrow (iii):\) Let \(f\) be an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy left ideal and \(g\) be an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy bi-ideal of an intra-regular \(G\) with left identity\(,\) then for any \(a\in G,\) there exist some \(x,y\in G\) such that
Thus \((ba,a)\in A_{a}.\) Therefore
which shows that \(f\cap g\subseteq \vee _{q_{(\gamma , \delta )}}((f\circ g)\circ g).\)
\((iii)\Rightarrow (ii):\) Let \(L\) be a left ideal and \(B\) be a bi-ideal of \(G\) with left identity, then by Lemma 5, \(\chi _{\gamma L}^{\delta }\) is an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy left ideal of \(G\) and by Lemma 4, \(\chi _{\gamma B}^{\delta }\) is an \((\in _{\gamma },\in _{\gamma }\vee q_{\delta })\)-fuzzy bi-ideal of \(G.\) Therefore by using Lemma 2, we get
Therefore \(L\cap B\subseteq ((LB]B\mathcal {]}\).
\((ii)\Rightarrow (i):\) Clearly \((Ga]\) is both left and bi-ideal of \(G\) with left identity, then
Therefore \(G\) is an intra-regular. \(\square\)
Theorem 5
For \(G\) with left identity, the following conditions are equivalent.
-
(i)
\(G\) is an intra-regular.
-
(ii)
\(f\cap g\cap h\subseteq \vee _{q_{(\gamma , \delta )}}(f\circ g)\circ (f\circ h),\) where \(f\) is an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy left ideal, \(h\) is an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy right ideal and \(g\) is an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy bi-ideal of \(G\).
Proof
\((i)\Rightarrow (ii)\): Assume that \(f\) is an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy left ideal, \(h\) is an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy right ideal and \(g\) is an \((\in _{\gamma },\in _{\gamma }\vee q_{\delta })\)-fuzzy bi-ideal of an intra-regular \(G\) with left identity. Then for any \(a\in G\) there exist \(x,y\in G\) such that
and
Thus \((c,a)\in A_{a}\) and \((y(xa),a)\in A_{a}.\) Since \(A_{a}=\emptyset ,\) therefore
and similarly we can show that \(\max \{(f\circ h)(a),\gamma \}=\min \{(f\cap h)(a),\delta \},\) therefore \(f\cap g\cap h\subseteq \vee _{q_{(\gamma ,\delta )}}(f\circ g)\circ (f\circ h)\).
\((ii)\Rightarrow (i):\) Since \(\chi _{\gamma G}^{\delta }\) is an \((\in _{\gamma },\in _{\gamma }\vee q_{\delta })\)-fuzzy right ideal of \(G\), therefore
which implies that \(f\cap g\subseteq \vee _{q_{(\gamma , \delta )}}(f\circ g)\circ g\). Hence by Theorem 4, \(G\) is an intra-regular. \(\square\)
Lemma 7
For \(G\) with left identity, the following conditions are equivalent.
-
(i)
\(G\) is an intra-regular.
-
(ii)
\(f\circ g=f\cap g,\) for an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy right ideal \(f\) and an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy left ideal \(g\) of \(G\) such that \(f\) is an \((\in _{\gamma },\in _{\gamma }\vee q_{\delta })\) -fuzzy semiprime.
Proof
The proof is straightforward. \(\square\)
Note that every intra-regular \(\mathcal {AG}\)-groupoid \(G\) with left identity is regular but the converse is not true in general [28].
Theorem 6
For \(G\) with left identity, the following conditions are equivalent.
-
(i)
\(G\) is an intra-regular.
-
(ii)
\(h\cap f\cap g\subseteq \vee _{q_{(\gamma , \delta )}}(h\circ f)\circ g,\) for any \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy right ideal \(h\) , \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy bi-ideal \(f\) and \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy left ideal \(g\) of \(G.\)
-
(ii)
\(h\cap f\cap g\subseteq \vee _{q_{(\gamma , \delta )}}(h\circ f)\circ g,\) for any \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy right ideal \(h\) , \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy generalized bi-ideal \(f\) and \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy left ideal \(g\) of \(G.\)
Proof
\((i) \Longrightarrow (iii):\) Assume that \(G\) is an intra-regular with left identity. Let \(h,\) \(f\) and \(g\) be any \((\in _{\gamma },\in _{\gamma }\vee q_{\delta })\)-fuzzy right ideal, \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy bi-ideal and \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy left ideal of \(G\) respectively. Now for \(a\in G\), there exist \(x,y,u\in G\) such that, \(a\le \left( au\right) a\) and \(a\le \left( xa^{2}\right) y.\) Now
Thus \((( ( ae) ( ( yu) x) ) ,a)\in A_{au}.\) Therefore
therefore \(h\cap f\cap g\subseteq \vee _{q_{(\gamma , \delta )}}(h\circ f)\circ g\).
\(\left( iii\right) \Longrightarrow \left( ii\right) :\) is straightforward.
\(\left( ii\right) \Longrightarrow \left( i\right) :\) By using the given assumption, it is easy to show that \(h\circ g\subseteq \vee _{q_{(\gamma ,\delta )}}h\cap g\) and therefore by using Lemma 7, \(G\) is an intra-regular. \(\square\)
Theorem 7
For \(G\) with left identity, the following conditions are equivalent.
-
(i)
\(G\) is an intra-regular.
-
(ii)
\((f\circ g)\cap (g\circ f)\supseteq \vee _{q_{(\gamma ,\delta )}}f\cap g,\) for any \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy right ideal \(f\) and \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy left ideal \(g\) of \(G.\)
-
(iii)
\((f\circ g)\cap (g\circ f)\supseteq \vee _{q_{(\gamma ,\delta )}}f\cap g,\) for any \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy right ideal \(f\) and \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy bi-ideal ideal \(g\) of \(G.\)
-
(iv)
\((f\circ g)\cap (g\circ f)\supseteq \vee _{q_{(\gamma ,\delta )}}f\cap g,\) for any \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy right ideal \(f\) and \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy generalized bi-ideal ideal \(g\) of \(G.\)
-
(v)
\((f\circ g)\cap (g\circ f)\supseteq \vee _{q_{(\gamma ,\delta )}}f\cap g,\) for \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy bi-ideals \(f\) and \(g\) of \(G.\)
-
(vi)
\((f\circ g)\cap (g\circ f)\supseteq \vee _{q_{(\gamma ,\delta )}}f\cap g,\) for \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\) -fuzzy generalized bi-ideals \(f\) and \(g\) of \(G.\)
Proof
\(\left( i\right) \Longrightarrow \left( vi\right) :\) Let \(f\) and \(g\) be an \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy generalized bi-ideals of an intra-regular \(G\) with left identity. Now for \(a\in G,\) there exist \(x,y,u\in G\), such that \(a\le \left( xa^{2}\right) y\) and \(a\le \left( au\right) a\).
and
Therefore
which shows that \(f\circ g\supseteq \vee _{q_{(\gamma , \delta )}}f\cap g\) and similarly we can show that \(g\circ f\supseteq \vee _{q_{(\gamma , \delta )}}f\cap g.\) Therefore \((f\circ g)\cap (g\circ f)\supseteq \vee _{q_{(\gamma ,\delta )}}f\cap g.\)
\(\left( vi\right) \Longrightarrow \left( v\right) \Longrightarrow \left( iv\right) \Rightarrow \left( iii\right) \Longrightarrow \left( ii\right)\) are obvious cases.
\(\left( ii\right) \Longrightarrow \left( i\right) :\) By using the given assumption, it is easy to show that \(f\circ g\subseteq \vee _{q_{(\gamma ,\delta )}}f\cap g\) and therefore by using Lemma 7, \(G\) is an intra-regular. \(\square\)
4 Conclusion
Fuzzy set theory introduced by Zadeh is a generalization of classical set theory. Fuzzy set theory has been advanced to a powerful mathematical theory. In more than 30,000 publications, it has been applied to many mathematical areas, such as algebra, analysis, clustering, control theory, graph theory, measure theory, optimization, operations research, topology, artificial intelligence, computer science, medicine, control engineering, decision theory, expert systems, logic, management science, pattern recognition, robotics and so on. In the present paper we applied the more general form of fuzzy set theory to the theory of AG-groupoids to discuss the fuzzy ideals in AG-groupoids. We introduced \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy (left, right, bi-) ideals of an ordered Abel Grassman’s groupoids and characterized intra-regular ordered \(\mathcal {AG}\)-groupoids in terms of these generalized fuzzy ideals.
In our future study, may be the following topics should be considered:
-
1.
Characterization of completely regular ordered \(\mathcal {AG}\)-groupoids in terms of \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy ideals.
-
2.
On \((\in , \in \vee q_{k})\)-fuzzy soft ideals of ordered \(\mathcal {AG}\)-groupoids.
-
3.
A study of \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy soft ideals in ordered \(\mathcal {AG}\)-groupoids.
References
Abdullah S, Aslam M, Hila K (2014) Interval valued intuitionistic fuzzy sets in \(\Gamma\)-semihypergroups. Int J Mach Learn Cyber. doi:10.1007/s13042-014-0250-4
Abdullah S (2014) N-dimensional \((\alpha, \beta )\)-fuzzy H-ideals in hemirings. Int J Mach Learn Cyber 5(4):635–645
Bhakat SK, Das P (1992) On the definition of a fuzzy subgroups. Fuzzy Sets Sys 51:235–241
Chau KW (2007) Application of a PSO-based neural network in analysis of outcomes of construction claims. Aut Const 16(5):642–646
Cheng CT et al (2005) Long-term prediction of discharges in Manwan reservoir using artificial neural network models. Lect Notes Comput Sci 3498(2005):1040–1045
Davvaz B (2006) \((\in, \in \vee q)\)-fuzzy subnear-rings and ideals. Soft Comput 10:206–211
Holgate P (1992) Groupoids satisfying the simple invertive low. Math Stud 1–4(61):101–106
Kazim MA, Naseeruddin M (1972) On almost semigroups. Aligarh Bull Math 2:1–7
Khan M, Ashraf U, Yousafzai F, Awan AS (2012) On fuzzy interior ideals of ordered LA-semigroups. Sci Int 24:143–148
Kuroki N (1981) On fuzzy ideals and fuzzy bi-ideals in semigroups. Fuzzy Sets Sys 5:203–215
Kazanci O, Yamak S (2008) Generalized fuzzy bi-ideals of semigroup. Soft Comput 12:1119–1124
Khan A, Muhammad N (2014) On \((\in , \in \vee q)\)-intuitionistic fuzzy ideals of soft semigroups. Int J Mach Learn Cyber. doi:10.1007/s13042-014-0263-z
Khan FM, Khan A, Sarmin NH (2011) Characterizations of ordered semigroups by \((\in _{\gamma }, \in _{\gamma }\vee q_{\delta })\)-fuzzy interior ideals. Lobachevskii J Math 32(4):278–288
Khan M, Yousafzai F (2011) On fuzzy ordered Abel-Grassmann’s groupoids. J Math Res 3:27–40
Mushtaq Q, Yousuf SM (1978) On LA-semigroups. Aligarh Bull Math 8:65–70
Muttil N et al (2006) Neural network and genetic programming for modelling coastal algal blooms. Int J Environ Poll 28(3–4):223–238
Protic PV, Stevanovic N (1995) AG-test and some general properties of Abel-Grassmann’s groupoids. P U M A. 4(6):371–383
Rosenfeld A (1971) Fuzzy groups. J Math Anal Appl 35:512–517
Shabir M, Jun YB, Nawaz Y (2010) Characterizations of regular semigroups by \((\alpha, \beta )\)-fuzzy ideals. Comput Math Appl 59:161–175
Shabir M, Jun YB, Nawaz Y (2010) Semigroups charactarized by \((\in, \in \vee q_{k})\)-fuzzy ideals. Comput Math Appl 60:1473–1493
Stevanović N, Protić PV (2004) Composition of Abel-Grassmann’s 3-bands. Novi Sad J Math 34:175–182
Taormina R et al (2012) Artificial neural network simulation of hourly groundwater levels in a coastal aquifer system of the Venice lagoon. Eng Appl Artificial Intell 25(8):1670–1676
Wu CL et al (2009) Predicting monthly streamflow using data-driven models coupled with data-preprocessing techniques. Water Resources Res 45:W08432
Yin Y, Zhan J (2012) Characterization of ordered semigroups in terms of fuzzy soft ideals. Bull Malays Math Sci Soc 35(4):997–1015
Yin Y, Jun YB, Yang Z (2012) More general forms of \((\alpha,\beta )\)-fuzzy ideals of ordered semigroups. Iranian J Fuzzy Syst 9(4):99–113
Yousafzai F, Yaqoob N, Hila K (2012) On fuzzy \((2,2)\)-regular ordered \(\Gamma\)-AG\(^{\ast \ast }\)-groupoids. UPB Sci Bull Series A 74:87–104
Yousafzai F, Khan A, Davvaz B On fully regular AG-groupoids. Afr Mat. doi:10.1007/s13370-012-0125-3
Zadeh LA (1965) Fuzzy sets. Inform Control 8:338–353
Zhang J et al (2009) Multilayer ensemble pruning via novel multi-sub-swarm particle swarm optimization. J Univ Comput Sci 15(4):840–858
Acknowledgments
The authors are highly grateful to referees for their valuable comments and suggestions which greatly improve the quality of this paper. The first author is highly thankful to CAS-TWAS President’s Fellowship and Professor Yun Gao.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Yousafzai, F., Yaqoob, N. & Zeb, A. On generalized fuzzy ideals of ordered \(\mathcal {AG}\)-groupoids. Int. J. Mach. Learn. & Cyber. 7, 995–1004 (2016). https://doi.org/10.1007/s13042-014-0305-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13042-014-0305-6