English

On certain semigroups of finite monotone and order-decreasing partial transformations

Rings and Algebras 2026-01-26 v2

Abstract

Let PMDn\mathcal{PMD}_{n} be the semigroup consisting of all monotone and order-decreasing partial transformations, and let IMDn\mathcal{IMD}_{n} be the subsemigroup of PMDn\mathcal{PMD}_{n} consisting of all injective monotone and order-decreasing transformations on the finite chain Xn={1<<n}X_{n}=\{ 1<\cdots<n \}. For 2rn2\leq r\leq n, let PMD(n,r)={αPMDn:im(α)r}\mathcal{PMD}(n,r) =\{ \alpha\in \mathcal{PMD}_{n} : |\textrm{im}(\alpha)| \leq r\} and IMD(n,r)={αIMDn:im(α)r}\mathcal{IMD}(n,r)=\{ \alpha \in \mathcal{IMD}_{n} :|\textrm{im}(\alpha)| \leq r\}. In this paper, we determine the cardinalities, maximal subsemigroups and ranks of PMD(n,r)\mathcal{PMD}(n,r) and IMD(n,r)\mathcal{IMD}(n,r), and moreover, we verify that the semigroups PMD(n,r)\mathcal{PMD}(n,r) and IMD(n,r)\mathcal{IMD}(n,r) are non-regular but abundant for any 2rn2\leq r\leq n.

Keywords

Cite

@article{arxiv.2507.06047,
  title  = {On certain semigroups of finite monotone and order-decreasing partial transformations},
  author = {Gonca Ayık and Hayrullah Ayık and Ilinka Dimitrova and Jörg Koppitz},
  journal= {arXiv preprint arXiv:2507.06047},
  year   = {2026}
}

Comments

I recently learned that similar results have been obtained earlier, but have not yet been published