AF inverse monoids and the structure of countable MV-algebras

DOI10.1016/J.JPAA.2016.05.025zbMATH Open1401.06012arXiv1408.1231OpenAlexW2270159884MaRDI QIDQ308140FDOQ308140

Authors: Mark V. Lawson, Philip Scott 

Publication date: 5 September 2016

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We define a class of inverse monoids having the property that their lattices of principal ideals naturally form an MV-algebra. We say that an arbitrary MV-algebra can be co-ordinatized if it is isomorphic to one constructed in this way from such a monoid. We prove that every countable MV-algebra can be so co-ordinatized. The particular inverse monoids needed to establish this result are examples of what we term AF inverse monoids. These are constructed from Bratteli diagrams and arise naturally as direct limits of finite direct products of finite symmetric inverse monoids.

Full work available at URL: https://arxiv.org/abs/1408.1231

Recommendations

• Coordinatizing some concrete MV algebras and a decomposition theorem
• A noncommutative generalization of Stone duality.
• Non-commutative Stone duality: inverse semigroups, topological groupoids and \(C^*\)-algebras
• Extending Stone duality to multisets and locally finite MV-algebras.
• Boolean products of MV-algebras: hypernormal MV-algebras

zbMATH Keywords

inverse monoidMV-algebraBratteli diagramco-ordinatization

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) MV-algebras (06D35) Ideal theory for semigroups (20M12) Representation of semigroups; actions of semigroups on sets (20M30) Inductive and projective limits in functional analysis (46M40) Inverse semigroups (20M18)

Cites Work

• THE REALIZATION PROBLEM FOR VON NEUMANN REGULAR RINGS
• Title not available (Why is that?)
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• A groupoid approach to C*-algebras
• Algebraic foundations of many-valued reasoning
• On characters of inductive limits of symmetric groups.
• Title not available (Why is that?)
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• Effect algebras and unsharp quantum logics.
• Free Sums of Groups and Their Generalizations. An Analysis of the Associative Law
• Representations of the rook monoid.
• Boolean algebras R-generated by MV-effect algebras
• Refinement monoids, equidecomposability types, and Boolean inverse semigroups
• Strong representations of the polycyclic inverse monoids: cycles and atoms.
• Pseudogroups and their étale groupoids.
• Invariant means on Boolean inverse monoids
• Amenability and paradoxical decompositions for pseudogroups and for discrete metric spaces
• The Polycyclic MonoidsP_nand the Thompson GroupsV_n,1
• Inductive Limits of Finite Dimensional C ∗ -Algebras
• Compactable semilattices
• Primitive partial permutation representations of the polycyclic monoids and branching function systems.
• Title not available (Why is that?)
• Non-commutative Stone duality: inverse semigroups, topological groupoids and \(C^*\)-algebras
• Title not available (Why is that?)
• On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
• A note on effect algebras and dimension theory of AF C\(^*\)-algebras
• On localizations and simple \(C^*\)-algebras
• Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
• Direct limits of symmetric and alternating groups with strictly diagonal embeddings
• Extending addition in Elliott's local semigroup
• Logic of infinite quantum systems
• The dimension monoid of a lattice
• Measures on Cantor sets: the good, the ugly, the bad
• Orthogonal Completions of the Polycyclic Monoids
• An AF Algebra Associated with the Farey Tessellation
• A noncommutative generalization of Stone duality.
• The Partially Ordered Set of f -Classes of a Semigroup
• Iterated function systems and permutation representations of the Cuntz algebra
• Title not available (Why is that?)
• Good measures on Cantor space
• On classification of inductive limits of direct products of alternating groups
• Which Bernoulli measures are good measures?
• The complete dimension theory of partially ordered systems with equivalence and orthogonality
• Title not available (Why is that?)
• Examples of Continuous Geometries

Cited In (19)

• Higher dimensional generalizations of the Thompson groups via higher rank graphs
• The polycyclic inverse monoids and the Thompson groups revisited
• Groupoids on a skew lattice of objects
• Germinal theories in Łukasiewicz logic
• On direct limits of MV-algebras
• Invariant means on Boolean inverse monoids
• A new uniqueness theorem for the tight C\(^*\)-algebra of an inverse semigroup
• The universal Boolean inverse semigroup presented by the abstract Cuntz-Krieger relations
• Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids
• Inverse semigroups associated to subshifts
• \(C^*\)-algebras of Boolean inverse monoids -- traces and invariant means
• Non-commutative Stone duality
• Varieties of Boolean inverse semigroups
• Refinement monoids, equidecomposability types, and Boolean inverse semigroups
• The Booleanization of an inverse semigroup
• Tarski monoids: Matui's spatial realization theorem
• Recent developments in inverse semigroup theory
• AF-algebras with lattice-ordered \(K_0\): logic and computation
• Coordinatizing some concrete MV algebras and a decomposition theorem

This page was built for publication: AF inverse monoids and the structure of countable MV-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q308140)