AF inverse monoids and the structure of countable MV-algebras

DOI10.1016/J.JPAA.2016.05.025MaRDI QIDQ308140zbMATH OpenOpenAlexFDO

Authors Mark V. Lawson, Philip Scott

Publication date 5 September 2016

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

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

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)

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.

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

Cites work

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

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
• Varieties of Boolean inverse semigroups
• Non-commutative Stone duality
• 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
• Coordinatizing some concrete MV algebras and a decomposition theorem
• AF-algebras with lattice-ordered \(K_0\): logic and computation

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)