
doi: 10.1007/bf01446888
Let S be an abelian semigroup with involution \(s\mapsto s^*\) and identity 0. A function \(\rho\) : \(S\to {\mathbb{C}}\) is called a semicharacter if (i) \(\rho (0)=1\), (ii) \(\rho (s+t)=\rho (s)\rho (t)\), and (iii) \(\rho (s^*)=\overline{\rho (s)}\). S is said to be perfect if any positive definite function on S can be represented as an integral of semicharacters with unique measure. In this article, it is proved that if T is a *-subsemigroup of the perfect semigroup S and satisfies \(t+S\subset T\) for all \(t\in T\setminus \{0\}\) then T is also perfect. As application of this result, several examples of such *-subsemigroups are given.
510.mathematics, Commutative semigroups, Representation of semigroups; actions of semigroups on sets, Mappings of semigroups, perfect semigroup, positive definite function, Positive definite functions on groups, semigroups, etc., abelian semigroup with involution, integral of semicharacters, Article
510.mathematics, Commutative semigroups, Representation of semigroups; actions of semigroups on sets, Mappings of semigroups, perfect semigroup, positive definite function, Positive definite functions on groups, semigroups, etc., abelian semigroup with involution, integral of semicharacters, Article
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 7 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
