Characterizations of classes of countable Boolean inverse monoids
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915295207096320 |
|---|---|
| author | Lawson, Mark V. Scott, Philip |
| author_facet | Lawson, Mark V. Scott, Philip |
| contents | A countably infinite Boolean inverse monoid that can be written as an increasing union of finite Boolean inverse monoids (suitably embedded) is said to be of finite type. Borrowing terminology from $C^{\ast}$-algebra theory, we say that such a Boolean inverse monoid is AF (approximately finite) if the finite Boolean inverse monoids above are isomorphic to finite direct products of finite symmetric inverse monoids, and we say that it is UHF (uniformly hyperfinite) if the finite Boolean inverse monoids are in fact isomorphic to finite symmetric inverse monoids. We characterize abstractly the Boolean inverse monoids of finite type and those which are AF and, by using MV-algebras, we also characterize the UHF monoids. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2204_10033 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Characterizations of classes of countable Boolean inverse monoids Lawson, Mark V. Scott, Philip Category Theory A countably infinite Boolean inverse monoid that can be written as an increasing union of finite Boolean inverse monoids (suitably embedded) is said to be of finite type. Borrowing terminology from $C^{\ast}$-algebra theory, we say that such a Boolean inverse monoid is AF (approximately finite) if the finite Boolean inverse monoids above are isomorphic to finite direct products of finite symmetric inverse monoids, and we say that it is UHF (uniformly hyperfinite) if the finite Boolean inverse monoids are in fact isomorphic to finite symmetric inverse monoids. We characterize abstractly the Boolean inverse monoids of finite type and those which are AF and, by using MV-algebras, we also characterize the UHF monoids. |
| title | Characterizations of classes of countable Boolean inverse monoids |
| topic | Category Theory |
| url | https://arxiv.org/abs/2204.10033 |