\((\lambda, \mu)\)-fuzzy version of ideals, interior ideals, quasi-ideals, and bi-ideals. (English) Zbl 1241.06012

If \(S\) is an ordered semigroup, then every fuzzy right (or left) ideal of \(S\) is a fuzzy quasi-ideal of \(S\); every fuzzy quasi-ideal of \(S\) is a fuzzy bi-ideal of \(S\); in regular ordered semigroups the fuzzy quasi-ideals and the fuzzy bi-ideals coincide [N. Kehayopulu and M. Tsingelis, “Fuzzy ideals in ordered semigroups”, Quasigroups Relat. Syst. 15, No. 2, 279–289 (2007; Zbl 1142.06004)]. In the present paper the authors consider the following definition: Let \(S\) be an ordered semigroup and \(0\leq \lambda< \mu\leq 1\). A fuzzy subset \(f\) of \(S\) is called a \((\lambda,\mu)\)-fuzzy right (resp. left) ideal of \(S\) if (1) \(\max\{f(xy),\lambda\}\geq \min\{f(x),\mu\}\) (resp. \(\max\{f(xy),\lambda\}\geq \min\{f(y),\mu\})\) and (2) if \(x\leq y\), then \(\max\{f(x),\lambda\}\geq \min\{f(y),\mu\}\) for all \(x,y\in S\). Considering the above definition for any real numbers \(\lambda\), \(\mu\) (and not only for \(0\leq \lambda< \mu\leq 1\)), any fuzzy right (resp. left) ideal of \(S\) is a \((\lambda,\mu)\)-fuzzy right (resp. left) ideal of \(S\), but the converse statement does not hold in general. The class of such \((\lambda,\mu)\)-ideals is larger than the corresponding class of fuzzy ideals. The authors examine the results in [loc. cit.] for \((\lambda,\mu)\)-fuzzy right (left), \((\lambda,\mu)\)-fuzzy quasi- and bi-ideals. They also prove that if \(f\) is a \((\lambda,\mu)\)-fuzzy ideal of \(S\), then \(f\) is a \((\lambda,\mu)\)-fuzzy interior ideal of \(S\). For \(\lambda=0\), \(\mu=1\), the corresponding results of fuzzy ideals in [loc. cit.] can be obtained. In an ordered semigroup \(S\), the definition of a quasi-ideal \(Q\) is as follows: (1) \((QS]\cap (SQ]\subseteq Q\) and (2) if \(a\in Q\) and \(S\ni b\leq a\), then \(b\in Q\).


06F05 Ordered semigroups and monoids


Zbl 1142.06004
Full Text: DOI


[1] L. A. Zadeh, “Fuzzy sets,” Information and Computation, vol. 8, pp. 338-353, 1965. · Zbl 0139.24606
[2] K. H. Kim, “Intuitionistic fuzzy ideals of semigroups,” Indian Journal of Pure and Applied Mathematics, vol. 33, no. 4, pp. 443-449, 2002. · Zbl 1002.20048
[3] J. Meng and X. Guo, “On fuzzy ideals of BCK/BCI-algebras,” Fuzzy Sets and Systems, vol. 149, no. 3, pp. 509-525, 2005. · Zbl 1070.06010
[4] B. B. N. Koguep, “On fuzzy ideals of hyperlattice,” International Journal of Algebra, vol. 2, no. 15, pp. 739-750, 2008. · Zbl 1162.06300
[5] N. Kehayopulu and M. Tsingelis, “Fuzzy interior ideals in ordered semigroups,” Lobachevskii Journal of Mathematics, vol. 21, pp. 65-71, 2006. · Zbl 1120.06013
[6] X. Yuan, C. Zhang, and Y. Ren, “Generalized fuzzy groups and many-valued implications,” Fuzzy Sets and Systems, vol. 138, no. 1, pp. 205-211, 2003. · Zbl 1024.20048
[7] B. Yao, “(\lambda ,\mu )-fuzzy normal subgroups and (\lambda ,\mu )-fuzzy quotient subgroups,” Journal of Fuzzy Mathematics, vol. 13, no. 3, pp. 695-705, 2005. · Zbl 1083.20064
[8] B. Yao, “(\lambda ,\mu )-fuzzy subrings and (\lambda ,\mu )-fuzzy ideals,” Journal of Fuzzy Mathematics, vol. 15, no. 4, pp. 981-987, 2007. · Zbl 1138.16310
[9] B. Yao, Fuzzy Theory on Group and Ring, Science and Technology Press, Beijing, China, 2008.
[10] B. Yao, “(\lambda ,\mu )-fuzzy ideals in semigroups,” Fuzzy Systems and Mathematics, vol. 23, no. 1, pp. 123-127, 2009. · Zbl 1264.20081
[11] Y. Feng, H. Duan, and Q. Zeng, “(\lambda ,\mu )-fuzzy sublattices and (\lambda ,\mu )-fuzzy sub- hyperlattices,” Fuzzy Information and Engineering, vol. 78, pp. 17-26, 2010. · Zbl 1195.06009
[12] N. Kehayopulu, “Note on interior ideals, ideal elements in ordered semigroups,” Scientiae Mathematicae, vol. 2, no. 3, pp. 407-409, 1999. · Zbl 0962.06016
[13] N. Kehayopulu and M. Tsingelis, “Fuzzy ideals in ordered semigroups,” Quasigroups and Related Systems, vol. 15, no. 2, pp. 185-195, 2007. · Zbl 1143.06006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.