AF inverse monoids and the structure of countable MV-algebras |
| |
Authors: | Mark V. Lawson Philip Scott |
| |
Affiliation: | 1. Department of Mathematics and The Maxwell Institute for Mathematical Sciences, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, United Kingdom;2. Department of Mathematics and Statistics, University of Ottawa, 585 King Edward, Ottawa, Ontario K1N 6N5, Canada |
| |
Abstract: | This paper is a further contribution to the developing theory of Boolean inverse monoids. These monoids should be regarded as non-commutative generalizations of Boolean algebras; indeed, classical Stone duality can be generalized to this non-commutative setting to yield a duality between Boolean inverse monoids and a class of étale topological groupoids. MV-algebras are also generalizations of Boolean algebras which arise from many-valued logics. It is the goal of this paper to show how these two generalizations are connected. To do this, we define a special class of Boolean 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 an MV-algebra arising in this way. Our main theorem is that every countable MV-algebra can be so co-ordinatized. The particular Boolean inverse monoids needed to establish this result are examples of what we term AF inverse monoids and are the inverse monoid analogues of AF -algebras. In particular, they are constructed from Bratteli diagrams as direct limits of finite direct products of finite symmetric inverse monoids. |
| |
Keywords: | Corresponding author. |
本文献已被 ScienceDirect 等数据库收录! |
|