Mathematics > Rings and Algebras
[Submitted on 29 Apr 2022 (v1), last revised 20 Sep 2023 (this version, v2)]
Title:Product decompositions of semigroups induced by action pairs
View PDFAbstract:This paper concerns a class of semigroups that arise as products $US$, associated to what we call `action pairs'. Here $U$ and $S$ are subsemigroups of a common monoid and, roughly speaking, $S$ has an action on the monoid completion $U^1$ that is suitably compatible with the product in the over-monoid.
The semigroups encapsulated by the action pair construction include many natural classes such as inverse semigroups and (left) restriction semigroups, as well as many important concrete examples such as transformational wreath products, linear monoids, (partial) endomorphism monoids of independence algebras, and the singular ideals of many of these. Action pairs provide a unified framework for systematically studying such semigroups, within which we build a suite of tools to ensure a comprehensive understanding of them. We then apply our abstract results to many special cases of interest.
The first part of the paper constitutes a detailed structural analysis of semigroups arising from action pairs. We show that any such semigroup $US$ is a quotient of a semidirect product $U\rtimes S$, and we classify all congruences on semidirect products that correspond to action pairs. We also prove several covering and embedding theorems, each of which naturally extends celebrated results of McAlister on proper (a.k.a. $E$-unitary) inverse semigroups.
The second part of the paper concerns presentations by generators and relations for semigroups arising from action pairs. We develop a substantial body of general results and techniques that allow us to build presentations for $US$ out of presentations for the constituents $U$ and $S$ in many cases, and then apply these to several examples, including those listed above. Due to the broad applicability of the action pair construction, many results in the literature are special cases of our more general ones.
Submission history
From: James East [view email][v1] Fri, 29 Apr 2022 00:27:33 UTC (149 KB)
[v2] Wed, 20 Sep 2023 06:35:29 UTC (149 KB)
Current browse context:
math.GR
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Connected Papers (What is Connected Papers?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
alphaXiv (What is alphaXiv?)
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Hugging Face (What is Huggingface?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.