Fuzzy ideals and semiprime fuzzy ideals in semigroups. (Q730951)

The results of this paper concern \(\varphi\)-fuzzy ideals in a \(\varphi\)-fuzzy semigroup, where \(\varphi\) is either a pseudo-\(t\)-norm or a weak pseudo-\(t\)-norm. Let \((L,\leq)\) be a lattice with top element 1 and bottom element 0. A pseudo-\(t\)-norm is a function \(\varphi\colon L\times L\to L\) such that \(\forall x,y,z\in L\), (1) \(x\leq y\) implies \(\varphi(x,z)\leq\varphi(y,z)\) and \(\varphi(z,x)\leq\varphi(z,y)\); (2) \(\varphi(x,1)=\varphi(1,x)=x\); (3) \(\varphi(\varphi(x,y),z)=\varphi(x,\varphi(y,z))\). A weak pseudo-\(t\)-norm is a function \(\varphi\colon L\times L\to L\) such that \(\forall x,y,z\in L\), (1) \(x\leq y\) implies \(\varphi(x,z)\leq\varphi(y,z)\) and \(\varphi(z,x)\leq\varphi(z,y)\); (2) \(\varphi(x,1)\leq x\), \(\varphi(1,x)\leq x\); (3) \(\varphi(\varphi(x,y),z)=\varphi(x,\varphi(y,z))\). The authors describe all pseudo-\(t\)-norms on \(L\) for which every element of \(L\) is semiprime. They show that a \(\varphi\)-fuzzy ideal of a \(\varphi\)-semigroup is a \(\varphi\)-fuzzy ideal in a \(\varphi\)-semigroup, but the converse need not be true. They show that the notions of a \(\varphi\)-fuzzy ideal and fuzzy ideal in a \(\varphi\)-semigroup are equivalent when \(\varphi\) is pseudo-\(t\)-norm on \(L\). They also obtain a representation theorem of a \(\varphi\)-fuzzy ideal of a \(\varphi\)-semigroup as a union of principal fuzzy ideals. The authors prove that the lattice of all \(\varphi\)-fuzzy ideals of \(X\) is a complete sublattice of the lattice of all fuzzy sets in \(X\) when \(\varphi\) is an infinitely \(\vee\)-distributive weak pseudo-\(t\)-norm on \(L\).