Embedding Boolean ample monoids as full submonoids of Boolean inverse monoids
Category Theory
2026-04-09 v1
Abstract
We show that, in certain circumstances, a Boolean ample monoid may be fully embedded into a Boolean inverse monoid in a way that generalizes how right reversible cancellative monoids may be embedded into groups. We use groupoids of fractions and non-commutative Stone duality to prove the result.
Keywords
Cite
@article{arxiv.2604.07152,
title = {Embedding Boolean ample monoids as full submonoids of Boolean inverse monoids},
author = {Mark V. Lawson},
journal= {arXiv preprint arXiv:2604.07152},
year = {2026}
}