Radon perfectness of conelike \(\ast\)-semigroups in \(\mathbb Q^{(\infty)}\) (Q5948310)

Let \({\mathbb Q}^{(\infty)}\) denote the set of eventually zero rational sequences. It is proved that the involution of any \(*\)-semigroup in \({\mathbb Q}^{(\infty)}\) is (up to an appropriate \(*\)-isomorphism) of the form \((x_1,x_2,\dots)^*= (\varepsilon_1x_1,\varepsilon_2x_2, \dots)\) with \(\varepsilon_n=\pm 1\). Moreover, if such a \(*\)-semigroup \(S\) is conelike (i.e.\ \(\alpha s\in S\) for \(s\in S\) and sufficiently large \(\alpha\in\mathbb Q\)), then it is Radon perfect, i.e.\ each positive definite function can uniquely be written as a Radon integral over the characters. The result is applied to obtain properties of positive definite functions on semigroups in \({\mathbb Q}^{(\infty)}\).