On injective partial Catalan monoids
Abstract
Let [n] be a finite chain \1, 2, …, n\, and let ICn be the semigroup consisting of all isotone and order-decreasing injective partial transformations on [n]. In addition, let Qn = \α ∈ ICn : \, 1 ∈ Dom α\ be the subsemigroup of ICn, consisting of all transformations in ICn, each of whose domains does not contain 1. For 1 ≤ p ≤ n, let K(n,p) = \α ∈ ICn : \, |Im \, α| ≤ p\ and M(n,p) = \α ∈ Qn : \, |Im \, α| ≤ p\ be the two-sided ideals of ICn and Qn, respectively. Moreover, let RICp(n) and RQp(n) denote the Rees quotients of K(n,p) and M(n,p), respectively. It is shown in this article that for any \( S ∈ \ RICp(n), K(n,p) \ \), \( S \) is abundant; \( ICn \) is ample; and for any \( S ∈ \ Qn, RQp(n), M(n,p) \ \), \( S \) is right abundant for all values of \( n \), but not left abundant for \( n ≥ 2 \). Furthermore, the ranks of the Rees quotients RICp(n) and RQp(n) are shown to be equal to the ranks of the two-sided ideals K(n,p) and M(n,p), respectively. These ranks are found to be np+(n-1)n-2p-1 and np+(n-2)n-3p-1, respectively. In addition, the ranks of the semigroups ICn and Qn were found to be 2n and n2-3n+4, respectively. Finally, we characterize all the maximal subsemigroups of ICn and Qn.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.