Abstract
An abelian *-semigroup S is perfect (resp. Stieltjes perfect) if every positive definite (resp. completely so) function on S admits a unique disintegration as an integral of hermitian multiplicative functions (resp. nonnegative such). We prove that every Stieltjes perfect semigroup is perfect. The converse has been known for semigroups with neutral element, but is here shown to be not true in general. We prove that an abelian *-semigroup S is perfect if for each s ∈ S there exist t ∈ S and m, n ∈ ℕ0 such that m + n ≥ 2 and s + s* = s* + mt + nt*. This was known only with s = mt + nt* instead. The equality cannot be replaced by s + s* + s = s + s* + mt + nt* in general, but for semigroups with neutral element it can be replaced by s + p(s + s*) = p(s + s*) + mt + nt* for arbitrary p ∈ ℕ (allowed to depend on s).
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
N. I. Akhiezer: The Classical Moment Problem and Some Related Questions in Analysis. Oliver & Boyd, Edinburgh, 1965.
C. Berg: Fonctions definies negatives et majoration de Schur. In: Theorie du Potentiel (Orsay, 1983), Lecture Notes in Mathematics Vol. 1096 (G. Mokobodzki, D. Pinchon, eds.). Springer-Verlag, Berlin, 1984, pp. 69–89.
C. Berg, J. P. R. Christensen and C. U. Jensen: A remark on the multidimensional moment problem. Math. Ann. 243 (1979), 163–169.
C. Berg, J. P. R. Christensen and P. Ressel: Harmonic Analysis on Semigroups. Theory of Positive Definite and Related Functions. Springer-Verlag, Berlin, 1984.
T. M. Bisgaard: Characterization of perfect involution groups. Math. Scand. 65 (1989), 245–258.
T. M. Bisgaard: Separation by characters or positive definite functions. Semigroup Forum 53 (1996), 317–320.
T. M. Bisgaard: Extensions of Hamburger's Theorem. Semigroup Forum 57 (1998), 397–429.
T. M. Bisgaard: On perfect semigroups. Acta Math. Hungar. 79 (1998), 269–294.
T. M. Bisgaard: Semiperfect countable ℂ-separative C-finite semigroups. Collect. Math. 52 (2001), 55–73.
T. M. Bisgaard: Factoring of positive definite functions on semigroups. Semigroup Forum 64 (2002), 243–264.
T. M. Bisgaard: A note on factoring of positive definite functions on semigroups. Math. Nachr. 236 (2002), 31–46.
T. M. Bisgaard: Extensions of Herglotz' Theorem. Comm. Math. Univ. Sct. Pauli 51 (2002), 195–215.
T. M. Bisgaard: On the Stieltjes moment problem on semigroups. Czechoslovak Math. J. 52(127) (2002), 155–196.
T. M. Bisgaard: Semiperfect finitely generated abelian semigroups without involution. Math. Scand. 91 (2002), 285–319.
T. M. Bisgaard and P. Ressel: Unique disintegration of arbitrary positive definite functions on *-divisible semigroups. Math. Z. 200 (1989), 511–525.
T. M. Bisgaard and N. Sakakibara: A reduction of the problem of characterizing perfect semigroups. Math. Scand. 91 (2002), 55–66.
A. H. Clifford and G. B. Preston: The Algebraic Theory of Semigroups, Vol. I. Amer. Math. Soc., Providence, 1961.
P. R. Halmos: Measure Theory. Springer-Verlag, Berlin, 1974.
H. L. Hamburger: Uber eine Erweiterung des Stieltjesschen Momentenproblems. Math. Ann. 81 (1920), 235–319; 82 (1921), 120–164, 168–187.
G. Herglotz: Uber Potenzreihen mit positivem, reellen Teil im Einheitskreis. Ber. Verh. Konigl. Sachs. Ges. Wiss. Leipzig, Math.-Phys. Kl. 63 (1911), 501–511.
K. Nishio and N. Sakakibara: Perfectness of conelike *-semigroups in ℚk. Math. Nachr. 216 (2000), 155–167.
A. L. T. Paterson: An integral representation of positive definite functions on a Clifford semigroup. Math. Ann. 234 (1978), 125–138.
A. Powzner: Uber positive Funktionen auf einer Abelschen Gruppe. C. R. (Doklady) Akad. Sci. URSS (N.S.) 28 (1940), 294–295.
D. A. Raikov: Positive definite functions on commutative groups with an invariant measure. C. R. (Doklady) Akad. Sci. URSS (N.S.) 28 (1940), 296–300.
N. Sakakibara: Perfectness and semiperfectness of abelian *-semigroups without zero. Hokkaido Math. J. 24 (1995), 113–125.
K. Schmudgen: An example of a positive polynomial which is not a sum of squares of polynomials. A positive, but not strongly positive functional. Math. Nachr. 88 (1979), 385–390.
J. A. Shohat and J. D. Tamarkin: The Problem of Moments. Amer. Math. Soc., Providence, 1943.
T. J. Stieltjes: Recherches sur les fractions continues. Ann. Fac. Sci. Toulouse 8 (1894), 1–122; 9, 1–47.
R. J. Warne and L. K. Williams: Characters on inverse semigroups. Czechoslovak Math. J. 11 (1961), 150–154.
A. Weil: L'integration dans les groupes topologiques et ses applications. Actual. Sci. Ind., No. 869 and 1145, Hermann et Cie., Paris (1940 and 1951).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bisgaard, T.M., Sakakibara, N. Stieltjes Perfect Semigroups are Perfect. Czech Math J 55, 729–753 (2005). https://doi.org/10.1007/s10587-005-0061-6
Received:
Issue Date:
DOI: https://doi.org/10.1007/s10587-005-0061-6