A note on globally idempotent semigroups of measures (Q1064503)

An ideal I of a semigroup S is a group ideal if, whenever \(x\not\in I\), the principal ideal J(x) generated by x contains a group G disjoint from I. The set P(S) of all probability measures on a compact topological semigroup S is a compact affine semigroup under convolution and weak * topology. In this note, group ideals in S are studied. It is shown that every maximal ideal of a compact semigroup S is a group ideal if and only if P(S) is globally idempotent.