Maximal Subsemigroups of Infinite Symmetric Inverse Monoids
Rings and Algebras
2025-09-11 v1 Group Theory
Abstract
The symmetric inverse monoid on a set consists of all bijective functions whose domain and range are subsets of under the usual composition and inversion of partial functions. For an arbitrary infinite set , we classify all maximal subsemigroups and maximal inverse subsemigroups of which contain the symmetric group Sym() or any of the following subgroups of Sym(): the pointwise stabiliser of a finite subset of , the stabiliser of an ultrafilter on , or the stabiliser of a partition of into finitely many parts of equal cardinality.
Cite
@article{arxiv.2509.08468,
title = {Maximal Subsemigroups of Infinite Symmetric Inverse Monoids},
author = {M. Hampenberg and Y. Péresse},
journal= {arXiv preprint arXiv:2509.08468},
year = {2025}
}
Comments
28 pages