English

Maximal Subsemigroups of Infinite Symmetric Inverse Monoids

Rings and Algebras 2025-09-11 v1 Group Theory

Abstract

The symmetric inverse monoid IXI_X on a set XX consists of all bijective functions whose domain and range are subsets of XX under the usual composition and inversion of partial functions. For an arbitrary infinite set XX, we classify all maximal subsemigroups and maximal inverse subsemigroups of IXI_X which contain the symmetric group Sym(XX) or any of the following subgroups of Sym(XX): the pointwise stabiliser of a finite subset of XX, the stabiliser of an ultrafilter on XX, or the stabiliser of a partition of XX into finitely many parts of equal cardinality.

Keywords

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