Invariant means on Boolean inverse monoids (Q284646)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Invariant means on Boolean inverse monoids
scientific article

    Statements

    Invariant means on Boolean inverse monoids (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    18 May 2016
    0 references
    Let \(S\) be an inverse semigroup with zero. \(S\) is called distributive if it has binary joins of compatible pairs of elements, and multiplication distribute over such joins. If in addition the semilattice \(E(S)\) of idempotents is a Boolean algebra then \(S\) is called Boolean. The Boolean inverse semigroups and inverse monoids are considered. It is said that \(S\) has an invariant mean if there is a function \(\mu:E(S)\to [0,\infty)\) satisfying the following conditions: 1) for any \(s\in S\), \(\mu (s^{-1}s)=\mu (ss^{-1})\); 2) if \(e\) and \(f\) are orthogonal idempotents (i.e., \(ef=0\)), then \(\mu (e\vee f)=\mu (e)+\mu (f)\). The authors declare that the fundamental question that interests them in their paper ``is the existence or non-existence of invariant means on Boolean monoids''. The main result is a characterization of when a Boolean monoid admits an invariant mean. The obtained conditions generalize the classical Tarski alternative. Some examples are given.
    0 references
    0 references
    inverse semigroups
    0 references
    pseudogroups
    0 references
    Banach-Tarski paradox
    0 references
    Tarski alternative
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references