A class of convolution algebras on compact fuzzy semigroups (Q1108526)

The concept of a topological fuzzy semigroup S is introduced as a completely ordered set that is compact in the interval topology. It is proved that the set of all semicharacters of S constitutes a semigroup. Starting from the linear space \(\bar C(S)\) of all continuous complex linear functionals on the linear space C(S) of all complex continuous mappings on S, the convolution semigroup M(S) of all measures corresponding to the elements of \(\bar C(S)\) is constructed, whose existence is guaranteed by means of the Riesz representation theorem. The remaining results of this paper concern the identification of the maximal ideals in the space \(\bar C(S)\) and the statement that \(\bar C(S)\) being a semisimple Banach algebra.