-
On injective partial Catalan monoids
Authors:
F. S. Al-Kharousi,
A. Umar,
M. M. Zubairu
Abstract:
Let $[n]$ be a finite chain $\{1, 2, \ldots, n\}$, and let $\mathcal{IC}_{n}$ be the semigroup consisting of all isotone and order-decreasing injective partial transformations on $[n]$. In addition, let $\mathcal{Q}^{\prime}_{n} = \{α\in \mathcal{IC}_{n} : \, 1\not \in \text{Dom } α\}$ be the subsemigroup of $\mathcal{IC}_{n}$, consisting of all transformations in $\mathcal{IC}_{n}$, each of whose…
▽ More
Let $[n]$ be a finite chain $\{1, 2, \ldots, n\}$, and let $\mathcal{IC}_{n}$ be the semigroup consisting of all isotone and order-decreasing injective partial transformations on $[n]$. In addition, let $\mathcal{Q}^{\prime}_{n} = \{α\in \mathcal{IC}_{n} : \, 1\not \in \text{Dom } α\}$ be the subsemigroup of $\mathcal{IC}_{n}$, consisting of all transformations in $\mathcal{IC}_{n}$, each of whose domains does not contain $1$. For $1 \leq p \leq n$, let $K(n,p) = \{α\in \mathcal{IC}_{n} : \, |\text{Im }\, α| \leq p\}$ and $M(n,p) = \{α\in \mathcal{Q}^{\prime}_{n} : \, |\text{Im } \, α| \leq p\}$ be the two-sided ideals of $\mathcal{IC}_{n}$ and $\mathcal{Q}^{\prime}_{n}$, respectively. Moreover, let ${RIC}_{p}(n)$ and ${RQ}^{\prime}_{p}(n)$ denote the Rees quotients of $K(n,p)$ and $M(n,p)$, respectively. It is shown in this article that for any \( S \in \{ \mathcal{RIC}_{p}(n), K(n,p) \} \), \( S \) is abundant; \( \mathcal{IC}_{n} \) is ample; and for any \( S \in \{ \mathcal{Q}^{\prime}_{n}, \mathcal{RQ}^{\prime}_{p}(n), M(n,p) \} \), \( S \) is right abundant for all values of \( n \), but not left abundant for \( n \geq 2 \). Furthermore, the ranks of the Rees quotients ${RIC}_{p}(n)$ and ${RQ}^{\prime}_{p}(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 $\binom{n}{p}+(n-1)\binom{n-2}{p-1}$ and $\binom{n}{p}+(n-2)\binom{n-3}{p-1}$, respectively. In addition, the ranks of the semigroups $\mathcal{IC}_{n}$ and $\mathcal{Q}^{\prime}_{n}$ were found to be $2n$ and $n^{2}-3n+4$, respectively. Finally, we characterize all the maximal subsemigroups of $\mathcal{IC}_{n}$ and $\mathcal{Q}^{\prime}_{n}$.
△ Less
Submitted 31 December, 2024;
originally announced January 2025.
-
On the algebraic structure of the Schröder monoid
Authors:
Muhammad Mansur Zubairu,
Abdullahi Umar,
Fatma Salim Al-Kharousi
Abstract:
Let $[n]$ be a finite chain $\{1, 2, \ldots, n\}$, and let $\mathcal{LS}_{n}$ be the semigroup consisting of all isotone and order-decreasing partial transformations on $[n]$. Moreover, let $\mathcal{SS}_{n} = \{α\in \mathcal{LS}_{n} : \, 1 \in \text{Dom } α\}$ be the subsemigroup of $\mathcal{LS}_{n}$, consisting of all transformations in $\mathcal{LS}_{n}$ each of whose domain contains $1$. For…
▽ More
Let $[n]$ be a finite chain $\{1, 2, \ldots, n\}$, and let $\mathcal{LS}_{n}$ be the semigroup consisting of all isotone and order-decreasing partial transformations on $[n]$. Moreover, let $\mathcal{SS}_{n} = \{α\in \mathcal{LS}_{n} : \, 1 \in \text{Dom } α\}$ be the subsemigroup of $\mathcal{LS}_{n}$, consisting of all transformations in $\mathcal{LS}_{n}$ each of whose domain contains $1$. For $1 \leq p \leq n$, let $K(n,p) = \{α\in \mathcal{LS}_{n} : \, |\text{Im } \, α| \leq p\}$ and $M(n,p) = \{α\in \mathcal{SS}_{n} : \, |\text{Im } α| \leq p\}$ be the two-sided ideals of $\mathcal{LS}_{n}$ and $\mathcal{SS}_{n}$, respectively. Furthermore, let ${RLS}_{n}(p)$ and ${RSS}_{n}(p)$ denote the Rees quotients of $K(n,p)$ and $M(n,p)$, respectively. It is shown in this article that for any $S \in \{\mathcal{SS}_{n}, \mathcal{LS}_{n}, {RLS}_{n}(p), {RSS}_{n}(p)\}$, $S$ is abundant and idempotent generated for all values of $n$. Moreover, the ranks of the Rees quotients ${RLS}_{n}(p)$ and ${RSS}_{n}(p)$ are shown to be equal to the ranks of the two-sided ideals $K(n,p)$ and $M(n,p)$, respectively. Finally, these ranks are computed to be $\sum\limits_{k=p}^{n} \binom{n}{k} \binom{k-1}{p-1}$ and $\binom{n-1}{p-1}2^{n-p}$, respectively.
△ Less
Submitted 18 December, 2024;
originally announced December 2024.
-
On the Ranks of Semigroup of Order-preserving or Order-reversing Partial Contraction Mappings on a Finite Chain
Authors:
B. Ali,
M. A. Jada,
M. M. Zubairu
Abstract:
Let $\mathcal{CP}_n$ be the semigroup of partial contraction mappings on $[n]=\{1,2,\ldots,n\}$ and let $\mathcal{OCP}_n$ and $\mathcal{ORCP}_n$ be its subsemigroups consisting of all order-preserving and of all order-preserving or order-reversing, partial contraction mappings, respectively. In this paper we obtain the rank of the two semigroups, $\mathcal{OCP}_n$ and $\mathcal{ORCP}_n$, respectiv…
▽ More
Let $\mathcal{CP}_n$ be the semigroup of partial contraction mappings on $[n]=\{1,2,\ldots,n\}$ and let $\mathcal{OCP}_n$ and $\mathcal{ORCP}_n$ be its subsemigroups consisting of all order-preserving and of all order-preserving or order-reversing, partial contraction mappings, respectively. In this paper we obtain the rank of the two semigroups, $\mathcal{OCP}_n$ and $\mathcal{ORCP}_n$, respectively.
△ Less
Submitted 30 June, 2022;
originally announced June 2022.
-
On the combinatorial and rank properties of certain subsemigroups of full contractions of a finite chain
Authors:
Muhammad Mansur Zubairu,
Abdullahi Umar,
Muhammad Jada Aliyu
Abstract:
Let $[n]=\{1,2,\ldots,n\}$ be a finite chain and let $\mathcal{CT}_{n}$ be the semigroup of full contractions on $[n]$. Denote $\mathcal{ORCT}_{n}$ and $\mathcal{OCT}_{n}$ to be the subsemigroup of order preserving or reversing and the subsemigroup of order preserving full contractions, respectively. It was shown in [17] that the collection of all regular elements (denoted by, Reg…
▽ More
Let $[n]=\{1,2,\ldots,n\}$ be a finite chain and let $\mathcal{CT}_{n}$ be the semigroup of full contractions on $[n]$. Denote $\mathcal{ORCT}_{n}$ and $\mathcal{OCT}_{n}$ to be the subsemigroup of order preserving or reversing and the subsemigroup of order preserving full contractions, respectively. It was shown in [17] that the collection of all regular elements (denoted by, Reg$(\mathcal{ORCT}_{n})$ and Reg$(\mathcal{OCT}_{n}$), respectively) and the collection of all idempotent elements (denoted by E$(\mathcal{ORCT}_{n})$ and E$(\mathcal{OCT}_{n}$), respectively) of the subsemigroups $\mathcal{ORCT}_{n}$ and $\mathcal{OCT}_{n}$, respectively are subsemigroups. In this paper, we study some combinatorial and rank properties of these subsemigroups.
△ Less
Submitted 1 May, 2022;
originally announced May 2022.
-
On certain Semigroup of Order-decreasing Full Contraction Mappings of a Finite Chain
Authors:
M. M. Zubairu,
A. Umar,
J. A. Aliyu
Abstract:
Let $\mathcal{CT}_n$ be the semigroup of full contraction mappings on $[n]=\{1,2,\ldots,n\}$, and let $\mathcal{OCT}_n$ and $\mathcal{ODCT}_n$ be the subsemigroups consisting of all order-preserving full contraction and subsemigroup of order-decreasing and order-preserving full contraction mappings, respectively. In this paper, we show that the semigroup $\mathcal{ODCT}_n$ is left adequate. We fur…
▽ More
Let $\mathcal{CT}_n$ be the semigroup of full contraction mappings on $[n]=\{1,2,\ldots,n\}$, and let $\mathcal{OCT}_n$ and $\mathcal{ODCT}_n$ be the subsemigroups consisting of all order-preserving full contraction and subsemigroup of order-decreasing and order-preserving full contraction mappings, respectively. In this paper, we show that the semigroup $\mathcal{ODCT}_n$ is left adequate. We further study the rank properties and as well obtain the rank of the semigroup, $\mathcal{ODCT}_n$. Moreover, we obtain a characterization of natural partial order for the semigroup $\mathcal{OCT}_n$ and its subsemigroup $\mathcal{ODCT}_n$, respectively.
△ Less
Submitted 15 April, 2022;
originally announced April 2022.
-
On certain semigroups of full contractions of a finite chain
Authors:
A. Umar,
M. M. Zubairu
Abstract:
Let $[n]=\{1,2,\ldots,n\}$ be a finite chain and let $\mathcal{T}_{n}$ be the semigroup of full transformations on $[n]$. Let $\mathcal{CT}_{n}=\{α\in \mathcal{T}_{n}: (for ~all~x,y\in [n])~\left|xα-yα\right|\leq\left|x-y\right|\}$, then $\mathcal{CT}_{n}$ is a subsemigroup of $\mathcal{T}_{n}$. In this paper, we give a necessary and sufficient condition for an element to be regular and characteri…
▽ More
Let $[n]=\{1,2,\ldots,n\}$ be a finite chain and let $\mathcal{T}_{n}$ be the semigroup of full transformations on $[n]$. Let $\mathcal{CT}_{n}=\{α\in \mathcal{T}_{n}: (for ~all~x,y\in [n])~\left|xα-yα\right|\leq\left|x-y\right|\}$, then $\mathcal{CT}_{n}$ is a subsemigroup of $\mathcal{T}_{n}$. In this paper, we give a necessary and sufficient condition for an element to be regular and characterize all the Green's equivalences for the semigroup $\mathcal{CT}_{n}$. We further show that the semigroup $\mathcal{CT}_{n}$ is a left abundant semigroup.
△ Less
Submitted 25 April, 2018;
originally announced April 2018.
-
On certain semigroups of partial contractions of a finite chain
Authors:
A. Umar,
M. M. Zubairu
Abstract:
Let $[n]=\{1,2,\ldots,n\}$ be a finite chain and let $\mathcal{P}_{n}$ be the semigroup of partial transformations on $[n]$. Let $\mathcal{CP}_{n}=\{α\in \mathcal{P}_{n}: (for ~all~x,y\in Dom~α)~|xα-yα|\leq|x-y|\}$ be the subsemigroup of partial contraction mappings on $[n]$. We have shown that the semigroup $\mathcal{CP}_{n}$ and some of its subsemigroups are nonregular left abundant semigroups f…
▽ More
Let $[n]=\{1,2,\ldots,n\}$ be a finite chain and let $\mathcal{P}_{n}$ be the semigroup of partial transformations on $[n]$. Let $\mathcal{CP}_{n}=\{α\in \mathcal{P}_{n}: (for ~all~x,y\in Dom~α)~|xα-yα|\leq|x-y|\}$ be the subsemigroup of partial contraction mappings on $[n]$. We have shown that the semigroup $\mathcal{CP}_{n}$ and some of its subsemigroups are nonregular left abundant semigroups for all $n$ but not right abundant for $n\geq 4$.
△ Less
Submitted 7 March, 2018;
originally announced March 2018.
-
Regularity and Green's relations for the semigroup of partial contractions of a finite chain
Authors:
B. Ali,
A. Umar,
M. M. Zubairu
Abstract:
Let $[n]=\{1,2,\ldots,n\}$ be a finite chain and let $\mathcal{P}_{n}$ be the semigroup of partial transformations on $[n]$. Let $\mathcal{CP}_{n}=\{α\in \mathcal{P}_{n}: (for~all ~x,y\in Dom~α)~|xα-yα|\leq|x-y|\}$, then $\mathcal{CP}_{n}$ is a subsemigroup of $\mathcal{P}_{n}$. In this paper, we give a necessary and sufficient condition for an element in $\mathcal{P}_{n}$ to be regular and charac…
▽ More
Let $[n]=\{1,2,\ldots,n\}$ be a finite chain and let $\mathcal{P}_{n}$ be the semigroup of partial transformations on $[n]$. Let $\mathcal{CP}_{n}=\{α\in \mathcal{P}_{n}: (for~all ~x,y\in Dom~α)~|xα-yα|\leq|x-y|\}$, then $\mathcal{CP}_{n}$ is a subsemigroup of $\mathcal{P}_{n}$. In this paper, we give a necessary and sufficient condition for an element in $\mathcal{P}_{n}$ to be regular and characterize all the Green's equivalences on the semigroup $\mathcal{CP}_{n}$.
△ Less
Submitted 6 March, 2018;
originally announced March 2018.
