Fuzzy filters in ordered semigroups (Q2378857): Difference between revisions

Let \(S\) be an ordered semigroup. The authors first introduce the concepts of fuzzy left (right) filters and fuzzy bi-filters of \(S\). Then they prove that a nonempty subset \(A\) of \(S\) is a bi-ideal (bi-filter, prime left ideal, semiprime left ideal, prime bi-ideal, left filter) of \(S\) if and only if the characteristic function \(f_A\) of \(A\) is a fuzzy bi-ideal (fuzzy bi-filter, prime fuzzy left ideal, semiprime fuzzy left ideal, prime fuzzy bi-ideal, fuzzy left filter) of \(S\). They also prove that a fuzzy subset \(f\) of \(S\) is a fuzzy left filter of \(S\) if and only if the complement \(f'\) of \(f\) is a prime fuzzy left ideal of \(S\). For Definition 1.2 of the paper, the authors should refer to [\textit{N. Kehayopulu}, ``On completely regular poe-semigroups'', Math. Jap. 37, No. 1, 123--130 (1992; Zbl 0745.06007)] instead of [1] in the References of the paper, [1] being [\textit{Y. Cao}, ``Chain decomposition of ordered semigroups'', Semigroup Forum 65, No.~1, 83--106 (2002; Zbl 1007.06011)]. Again, for Definition 2.3 they should refer to [\textit{N. Kehayopulu}, ``On weakly prime ideals of ordered semigroups'', Math. Jap. 35, No. 6, 1051--1056 (1990; Zbl 0717.06006)] instead of [1] in the References, and for Definition 2.4 to [\textit{N. Kehayopulu}, ``On left regular ordered semigroups'', Math. Jap. 35, No. 6, 1057--1060 (1990; Zbl 0717.06007)]. In these papers one can find their Definition 1.1, as well. For Definition 1.5 they should refer to [\textit{A. Rosenfeld}, ``Fuzzy groups'', J. Math. Anal. Appl. 35, 512--517 (1971; Zbl 0194.05501)].