Searcharxiv⌕ Search

arXiv subjects

Abdullahi Umar

Publications and source records attributed to Abdullahi Umar.

10 recordsLinked to original sources
arXiv2025

The monoid of monotone and decreasing partial transformations on a finite chain

In this article, we consider the monoid of all monotone and order-decreasing partial transformations denoted as $\mathcal{DORP}_{n}$ on an $n$ ordered chain $[n]=\{1, \ldots,n\}$, its two-sided ideal $I(n,p)= \{\rho \in \mathcal{DORP}_{n} : \, |Im \, \rho| \leq p\}$ and the Rees quotient ${RQ}_{p}(n)$ of the ideal $I(n,p)$. We compute the order of the monoid $\mathcal{DORP}_{n}$ and show that for any semigroup $S$ in $\{\mathcal{DORP}_{n}, \, I(n,p), \, {RQ}_{p}(n)\}$, $S$ is abundant for all values of $n$. In particular, we show that the Rees quotient ${RQ}_{p}(n)$, is a non-regular $0-*$bisimple abundant semigroup. In addition, we compute the ranks of the Rees quotient ${RQ}_{p}(n)$ and the two-sided ideal $I(n,p)$. Finally, the rank of $\mathcal{DORP}_{n}$ is determined to be $3n-2$.

math.GR↗
arXiv2025

On the small Schr\"{o}der semigroup $\mathcal{SS}^{\prime}_{n}$

Let $[n]$ be a finite $n-$chain $\{1, 2, \dots, n\}$, and let $\mathcal{LS}_{n}$ be the Schr\"{o}der monoid, consisting of all isotone and order-decreasing partial transformations on $[n]$. Furthermore, let $\mathcal{SS}^{\prime}_{n} = \{\alpha \in \mathcal{LS}_{n} : \, 1\not\in \text{ Dom } \alpha\}$ be the subsemigroup of $\mathcal{LS}_{n}$, consisting of all transformations in $\mathcal{LS}_{n}$, each of whose domain does not contain $1$. For $1 \leq p \leq n$, let $K(n,p) = \{\alpha \in \mathcal{SS}^{\prime}_{n} : \, |Im \, \alpha| \leq p\}$ be the two-sided ideal of $\mathcal{SS}^{\prime}_{n}$. Moreover, let ${RSS}^{\prime}_{n}(p)$ denote the Rees quotient of $K(n,p)$. It is shown in this article that for any $S$ in $\{\mathcal{SS}^{\prime}_{n}, K(n,p), {RSS}^{\prime}_{n}(p)\}$, $S$ is right abundant for all values of $n$, but not left abundant for all $n \geq 2$. In addition, the rank of the Rees quotient ${RSS}^{\prime}_{n}(p)$ is shown to be equal to the rank of the two-sided ideal $K(n,p)$, which is equal to $\binom{n-1}{p-1}+\sum\limits_{k=p}^{n-1}\binom{n-1}{k} \binom{k-1}{p-1}$. Finally, the rank of $\mathcal{SS}^{\prime}_{n}$ is determined to be $3n-4$.

math.GR↗
arXiv2024

On the algebraic structure of the Schr\"{o}der monoid

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} = \{\alpha \in \mathcal{LS}_{n} : \, 1 \in \text{Dom } \alpha\}$ 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) = \{\alpha \in \mathcal{LS}_{n} : \, |\text{Im } \, \alpha| \leq p\}$ and $M(n,p) = \{\alpha \in \mathcal{SS}_{n} : \, |\text{Im } \alpha| \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.

math.GR↗
arXiv2022

On the combinatorial and rank properties of certain subsemigroups of full contractions of a finite chain

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.

math.GR↗
arXiv2022

Combinatorial results for order-preserving partial injective contraction mappings

Let $ \mathcal{I}_n$ be the symmetric inverse semigroup on $X_n = \{1, 2, \ldots , n\}$. Let $\mathcal{OCI}_n$ be the subsemigroup of $\mathcal{I}_n$ consisting of all order-preserving injective partial contraction mappings, and let $\mathcal{ODCI}_n$ be the subsemigroup of $\mathcal{I}_n$ consisting of all order-preserving and order-decreasing injective partial contraction mappings of $X_n$. In this paper, we investigate the cardinalities of some equivalences on $\mathcal{OCI}_n$ and $\mathcal{ODCI}_n$ which lead naturally to obtaining the order of these semigroups. Then, we relate the formulae obtained to Fibonacci numbers. Similar results about $\mathcal{ORCI}_n$, the semigroup of order-preserving or order-reversing injective partial contraction mappings, are deduced.

math.CO↗
arXiv2017

Presentations for subsemigroups of $PD_n$

Let $[n]=\{1,\ldots,n\}$ be the $n$-chain. We give presentations for the following transformation semigroups: the semigroup of full order-decreasing mappings of $[n]$, the semigroup of partial one-to-one order-decreasing mappings of $[n]$, the semigroup of full order-preserving and order-decreasing mappings of $[n]$, the semigroup of partial one-to-one order-preserving and order-decreasing mappings of $[n]$, and the semigroup of partial order-preserving and order-decreasing mappings of $[n]$.

math.GR↗
arXiv2013

A countable family of finitely presented infinite congruence-free monoids

We prove that monoids $\mathrm{Mon}\langle a,b,c,d : a^nb=0, ac=1, db=1, dc=1, dab=1, da^2b=1, \ldots, da^{n-1}b=1\rangle$ are congruence-free for all $n\geq 1$. This provides a new countable family of finitely presented congruence-free monoids, bringing one step closer to understanding the Boone--Higman Conjecture. We also provide examples which show that finitely presented congruence-free monoids may have quadratic Dehn function.

math.GR↗
arXiv2012

On the Construction of Even Order Magic Squares

The aim of this note is to introduce a fast new general method for the construction of double and single even order magic squares. The method for double even order magic squares is fairly straight-forward but some adjustment is necessary for single even order magic squares.

math.CO↗
arXiv2010

On the semigroup of partial isometries of a finite chain

Let ${\cal I}_n$ be the symmetric inverse semigroup on $X_n = \{1, 2,..., n\}$ and let ${\cal DP}_n$ and ${\cal ODP}_n$ be its subsemigroups of partial isometries and of order-preserving partial isometries of $X_n$, respectively. In this paper we investigate the cycle structure of a partial isometry and characterize the Green's relations on ${\cal DP}_n$ and ${\cal ODP}_n$. We show that ${\cal ODP}_n$ is a $0-E-unitary$ inverse semigroup. We also investigate the cardinalities of some equivalences on ${\cal DP}_n$ and ${\cal ODP}_n$ which lead naturally to obtaining the order of the semigroups.

math.GR↗