Prefer a chat interface with context about you and your work?
On central primitive idempotent measures
Let S be a compact semitopological semigroup and let P(S ) be the convolution semigroup of probability measures on S . An idempotent measure μ in P(S ) is defined to be primitive if and only idempotent measures in μ P(S )μ are μ and the zero element m of …