A subdirect decomposition of a semigroup of all fuzzy sets in a semigroup (Q6059304)

A function from a nonempty set \(S\) into the interval \([0, 1]\) of real numbers is called a fuzzy set in \(S\). Given a semigroup \(S\), the set \(\mathscr{F}(S)\) of all fuzzy sets in \(S\) forms a semigroup under the operation \(\circ\) defined as follows: for arbitrary \(f, g \in \mathscr{F}(S)\) and \(s\in S\), \[ (f\circ g)(s):=\begin{cases} \bigvee_{x,y\in S, s=xy} (f(x)\wedge g(y)), &\text{if } s\in S^2\\ 0, &\text{otherwise.} \end{cases} \] The semigroup \((\mathscr{F}(S),\circ)\) has been studied in literature. In this paper, it is shown that the divisibility of elements in a semigroup \(S\) determines a decomposition of the corresponding semigroup \(\mathscr{F}(S)\) into a subdirect product of certain semigroups.