Stieltjes perfect semigroups are perfect

Torben Maack Bisgaard, Nobuhisa Sakakibara

Research output: Contribution to journalArticle

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).

Original languageEnglish
Pages (from-to)729-753
Number of pages25
JournalCzechoslovak Mathematical Journal
Volume55
Issue number3
DOIs
Publication statusPublished - 2005 Sep
Externally publishedYes

Keywords

  • *-Semigroup
  • Conelike
  • Moment
  • Perfect
  • Positive definite
  • Semi-*-divisible
  • Stieltjes perfect

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

Stieltjes perfect semigroups are perfect. / Bisgaard, Torben Maack; Sakakibara, Nobuhisa.

In: Czechoslovak Mathematical Journal, Vol. 55, No. 3, 09.2005, p. 729-753.

Research output: Contribution to journalArticle

Bisgaard, Torben Maack ; Sakakibara, Nobuhisa. / Stieltjes perfect semigroups are perfect. In: Czechoslovak Mathematical Journal. 2005 ; Vol. 55, No. 3. pp. 729-753.
@article{d4061a2c9f504af6a5ac5a73b75d3def,
title = "Stieltjes perfect semigroups are perfect",
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).",
keywords = "*-Semigroup, Conelike, Moment, Perfect, Positive definite, Semi-*-divisible, Stieltjes perfect",
author = "Bisgaard, {Torben Maack} and Nobuhisa Sakakibara",
year = "2005",
month = "9",
doi = "10.1007/s10587-005-0061-6",
language = "English",
volume = "55",
pages = "729--753",
journal = "Czechoslovak Mathematical Journal",
issn = "0011-4642",
publisher = "Springer New York",
number = "3",

}

TY - JOUR

T1 - Stieltjes perfect semigroups are perfect

AU - Bisgaard, Torben Maack

AU - Sakakibara, Nobuhisa

PY - 2005/9

Y1 - 2005/9

N2 - 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).

AB - 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).

KW - -Semigroup

KW - Conelike

KW - Moment

KW - Perfect

KW - Positive definite

KW - Semi--divisible

KW - Stieltjes perfect

UR - http://www.scopus.com/inward/record.url?scp=25644451226&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=25644451226&partnerID=8YFLogxK

U2 - 10.1007/s10587-005-0061-6

DO - 10.1007/s10587-005-0061-6

M3 - Article

VL - 55

SP - 729

EP - 753

JO - Czechoslovak Mathematical Journal

JF - Czechoslovak Mathematical Journal

SN - 0011-4642

IS - 3

ER -