Semiperfect countable $\mathbb{C}$-separative $C$-finite semigroups

Semiperfect semigroups are abelian involution semigroups on which every positive semidefinite function admits a disintegration as an integral of hermitian multiplicative functions. Famous early instances are the group on integers (Herglotz’ Theorem) and the semigroup of nonnegative integers (Hamburger’s Theorem). In the present paper, semiperfect semigroups are characterized within a certain class of semigroups. The paper ends with a necessary condition for the semiperfectness of a finitely generated involution semigroup, a condition which has since been found to be also sufficient.