Fuzzy ideals extensions of ordered semigroups (Q875181)

In this paper the authors consider an ordered semigroup \(S\), a fuzzy subset \(f\) of \(S\) and an element \(x\in S\), and they introduce the fuzzy subset \(\langle x,f\rangle\) on \(S\) defined by \(\langle x,f\rangle(y):=f(xy)\) for all \(y\in S\), which they call the (fuzzy) extension of \(f\) by \(x\). They also introduce a 3-prime fuzzy subset on \(S\) as a fuzzy subset of \(S\) satisfying the condition \(f(abc)=\max \{f(ab),f(ac)\}=\max \{f(bc),f(ba)\}=\max \{f(ca),f(cb)\}\) for all \(a,b,c\in S\). The main results are the following: If a fuzzy ideal of an ordered semigroup \(S\) is prime, then it is 3-prime; the converse statement does not hold in general. If a fuzzy subset \(f\) of \(S\) is 3-prime, then any extension of \(f\) is prime. In particular, if \(S\) is commutative then \(f\) is 3-prime if and only if any extension of \(f\) is prime. If \(f\) is a semiprime fuzzy ideal of \(S\), then \(f=\inf \{\langle x,f\rangle\mid x\in S\}\).