4 research outputs found
Boolean subalgebras of orthoalgebras
We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to characterize in purely order-theoretic terms those posets that are isomorphic to the poset of Boolean subalgebras of an orthoalgebra. These posets are characterized by simple conditions defining orthodomains and the additional requirement of having enough directions. Excepting pathologies involving maximal Boolean subalgebras of four elements, it is shown that there is an equivalence between the category of orthoalgebras and the category of orthodomains with enough directions with morphisms suitably defined. Furthermore, we develop a representation of orthodomains with enough directions, and hence of orthoalgebras, as certain hypergraphs. This hypergraph approach extends the technique of Greechie diagrams and resembles projective geometry. Using such hypergraphs, every orthomodular poset can be represented by a set of points and lines where each line contains exactly three points
Tarski monoids: Matui's spatial realization theorem
We introduce a class of inverse monoids, called Tarski monoids, that can be
regarded as non-commutative generalizations of the unique countable, atomless
Boolean algebra. These inverse monoids are related to a class of etale
topological groupoids under a non-commutative generalization of classical Stone
duality and, significantly, they arise naturally in the theory of dynamical
systems as developed by Matui. We are thereby able to reinterpret a theorem of
Matui on a class of \'etale groupoids as an equivalent theorem about a class of
Tarski monoids: two simple Tarski monoids are isomorphic if and only if their
groups of units are isomorphic. The inverse monoids in question may also be
viewed as countably infinite generalizations of finite symmetric inverse
monoids. Their groups of units therefore generalize the finite symmetric groups
and include amongst their number the classical Thompson groups.Comment: arXiv admin note: text overlap with arXiv:1407.147