A presentation for a submonoid of the symmetric inverse monoid
Abstract
A fully invarient congruence relations on the free algebra on a given type induces a variety of the given type. In contrast, a congruence relation of the free algebra provides algebra of that type. This algebra is given by a so-called presentation. In the present paper, we deal with an important class of algebras of type $(2)$, namely with semigroups of transformations on a finite set. Here, we are particularly interested in a presentation of a submonoid of the symmetric inverse monoid $I_n$. Our main result is a presentations for $IOF_n^{par}$, the monoid of all order-preserving, fence-preserving, and parity-preserving transformations on an $n$-element set.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2023
- DOI:
- 10.48550/arXiv.2310.15809
- arXiv:
- arXiv:2310.15809
- Bibcode:
- 2023arXiv231015809S
- Keywords:
-
- Mathematics - Rings and Algebras;
- 20M05;
- 20M18;
- 20M20;
- F.4
- E-Print:
- 19 pages