Invariant means on Boolean inverse monoids

The classical theory of invariant means, which plays an important rôle in the theory of paradoxical decompositions, is based upon what are usually termed ‘pseudogroups’. Such pseudogroups are in fact concrete examples of the Boolean inverse monoids which give rise to étale topological groupoids unde...

Full description

Saved in:
Bibliographic Details
Published in:Semigroup forum 2016-02, Vol.92 (1), p.77-101
Main Authors: Kudryavtseva, Ganna, Lawson, Mark V., Lenz, Daniel H., Resende, Pedro
Format: Article
Language:English
Subjects:
Algebra
Mathematics
Mathematics and Statistics
Research Article
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The classical theory of invariant means, which plays an important rôle in the theory of paradoxical decompositions, is based upon what are usually termed ‘pseudogroups’. Such pseudogroups are in fact concrete examples of the Boolean inverse monoids which give rise to étale topological groupoids under non-commutative Stone duality. We accordingly initiate the theory of invariant means on arbitrary Boolean inverse monoids. Our main theorem is a characterization of when just such a Boolean inverse monoid admits an invariant mean. This generalizes the classical Tarski alternative proved, for example, by de la Harpe and Skandalis, but using different methods.
ISSN:0037-1912
1432-2137
DOI:10.1007/s00233-015-9768-3