English

Left restriction monoids from left $E$-completions

Group Theory 2023-08-25 v2

Abstract

Given a monoid SS with EE any non-empty subset of its idempotents, we present a novel one-sided version of idempotent completion we call left EE-completion. In general, the construction yields a one-sided variant of a small category called a constellation by Gould and Hollings. Under certain conditions, this constellation is inductive, meaning that its partial multiplication may be extended to give a left restriction semigroup, a type of unary semigroup whose unary operation models domain. We study the properties of those pairs S,ES,E for which this happens, and characterise those left restriction semigroups that arise as such left EE-completions of their submonoid of elements having domain 11. As first applications, we decompose the left restriction semigroup of partial functions on the set XX and the right restriction semigroup of left total partitions on XX as left and right EE-completions respectively of the transformation semigroup TXT_X on XX, and decompose the left restriction semigroup of binary relations on XX under demonic composition as a left EE-completion of the left-total binary relations. In many cases, including these three examples, the construction embeds in a semigroup Zappa-Sz\'{e}p product.

Keywords

Cite

@article{arxiv.2103.06441,
  title  = {Left restriction monoids from left $E$-completions},
  author = {Tim Stokes},
  journal= {arXiv preprint arXiv:2103.06441},
  year   = {2023}
}

Comments

39 pages

R2 v1 2026-06-23T23:59:01.135Z