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

Feng, Yuming; Corsini, P.

J. Appl. Math. 2012, Article ID 425890, 7 p. (2012).

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\).

Reviewer: Niovi Kehayopulu (Athens)

MSC:

06F05

Ordered semigroups and monoids

Keywords:

ordered semigroup; \((\lambda,\mu)\)-fuzzy right ideal; \((\lambda,\mu)\)-fuzzy left ideal; \((\lambda,\mu)\)-fuzzy quasi-ideal; \((\lambda,\mu)\)-fuzzy bi-ideal; \((\lambda,\mu)\)-fuzzy interior ideal

Citations:

Zbl 1142.06004

References:

[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