2025-11-10T03:08:02.521234

On injective partial Catalan monoids

Al-Kharousi, Umar, Zubairu

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}$.

academic

単射的部分Catalan モノイドについて

基本情報

論文ID: 2501.00285
タイトル: On injective partial Catalan monoids
著者: F. S. Al-Kharousi, A. Umar, M. M. Zubairu
分類: math.GR（群論）
発表日: 2025年1月3日
論文リンク: https://arxiv.org/abs/2501.00285

要約

本論文は、有限鎖 $[n] = \{1, 2, \ldots, n\}$ 上の単調かつ順序減少の単射的部分変換半群 $\mathcal{IC}_n$ およびその部分半群 $\mathcal{Q}'_n$ の代数的性質と秩に関する性質を研究している。主な内容は以下の通りである： $\mathcal{IC}_n$ が豊富（ample）であること、 $\mathcal{Q}'_n$ が右豊富であるが $n \geq 2$ に対して左豊富ではないことを証明した；関連するRees商半群の秩を決定した； $\mathcal{IC}_n$ と $\mathcal{Q}'_n$ のすべての極大部分半群を特徴付けた。

研究背景と動機

研究課題

本論文は、単射的部分Catalan半群 $\mathcal{IC}_n$ およびその関連構造の代数的性質を研究し、具体的には以下を含む：

Green関係およびその星型類似物の特徴付け
豊富性（abundance）と充足性（ampleness）の判定
各種関連半群の秩の計算
極大部分半群の完全な特徴付け

問題の重要性

理論的意義： $\mathcal{IC}_n$ は変換半群理論における重要な対象であり、その要素の個数は正確に第 $(n+1)$ 番目のCatalan数 $c_{n+1}$ に等しく、組合せ論と半群理論を結びつけている
構造研究：このような半群は変換半群の分類と構造理論において重要な地位を占める
計算複雑性：秩の計算は半群の生成性質を理解するために重要である

既存研究の限界

$\mathcal{IC}_n$ のいくつかの性質は既に研究されているが、その部分半群 $\mathcal{Q}'_n$ および関連するRees商半群の代数的性質と秩に関する性質は、これまで体系的に研究されていなかった。

核心的貢献

代数構造の分析： $\mathcal{IC}_n$ 、 $\mathcal{Q}'_n$ およびそれらの関連イデアルとRees商のGreen関係と星型Green関係を完全に特徴付けた
豊富性の判定： $\mathcal{IC}_n$ が充足的（ample）であること、 $\mathcal{Q}'_n$ が右豊富であるが左豊富ではないことを証明した
秩公式：すべての関連半群の正確な秩公式を与えた
極大部分半群の特徴付け： $\mathcal{IC}_n$ と $\mathcal{Q}'_n$ の極大部分半群構造を完全に決定した

方法の詳細

基本的な定義と記号

$\alpha \in \mathcal{IC}_n$ に対して、二行記法を使用する： $\alpha = \begin{pmatrix} x_1 & \cdots & x_p \\ a_1 & \cdots & a_p \end{pmatrix}$ ここで $a_i \leq x_i$ （順序減少性）かつ $1 \leq x_1 < \cdots < x_p \leq n$ 、 $1 \leq a_1 < \cdots < a_p \leq n$ （単調性と単射性）である。

主要概念

準べき等元

定義3.1：元素 $\alpha \in \mathcal{IC}_n$ が準べき等的であるとは、 $\alpha^2$ がべき等的である場合、すなわち $\alpha^4 = \alpha^2$ である場合をいう。

本質的元素

定義3.5：シフトが1である準べき等元 $\varepsilon$ が本質的であるとは、それが以下の形式を持つ場合をいう： $\varepsilon = \begin{pmatrix} y_1 & \cdots & y_{i-1} & y_i & y_{i+1} & \cdots & y_p \\ y_1 & \cdots & y_{i-1} & y_i-1 & y_{i+1} & \cdots & y_p \end{pmatrix}$

必須元素

定義3.18： $\mathcal{Q}'_n$ における高さ $p$ の単射写像 $\alpha$ が必須であるとは、それが以下の形式を持つ場合をいう： $\alpha_i = \begin{pmatrix} 2 & \cdots & i & a_i & \cdots & a_p \\ 1 & \cdots & i-1 & a_i & \cdots & a_p \end{pmatrix}$

技術的な革新点

統一されたGreen関係の特徴付け：像集合と定義域の等価性によって $L^*$ および $R^*$ 関係を特徴付けた
準べき等生成理論： $\mathcal{IC}_n$ が準べき等元によって生成され、したがって本質的元素によって生成されることを証明した
層別分析法： $J^*$ -類の高さによる層別化を通じて半群構造を分析した

主要な結果

Green関係の特徴付け

定理2.9： $\alpha, \beta \in \mathcal{IC}_n$ に対して：

$\alpha L^* \beta$ 当且つのみ当 $\text{Im}\alpha = \text{Im}\beta$
$\alpha R^* \beta$ 当且つのみ当 $\text{Dom}\alpha = \text{Dom}\beta$
$\alpha H^* \beta$ 当且つのみ当 $\alpha = \beta$

豊富性の結果

定理2.8：

$\mathcal{IC}_n$ は豊富である
$\mathcal{Q}'_n$ は右豊富である

定理2.11： $\mathcal{IC}_n$ は充足的である

秩公式

定理3.13：Rees商 $R\mathcal{IC}_n(p)$ の秩は： $\text{rank}(R\mathcal{IC}_n(p)) = (n-1)\binom{n-2}{p-1} + \binom{n}{p}$

定理3.27：Rees商 $R\mathcal{Q}'_n(p)$ の秩は： $\text{rank}(R\mathcal{Q}'_n(p)) = \binom{n}{p} + (n-2)\binom{n-3}{p-1}$

系3.17： $\text{rank}(\mathcal{IC}_n) = 2^n$

定理3.35： $\text{rank}(\mathcal{Q}'_n) = n^2 - 3n + 4$

極大部分半群

定理4.1： $\mathcal{IC}_n$ の極大部分半群は正確に3つのタイプである：

$M_{\text{id}_{[n]}} = \mathcal{IC}_n \setminus \{\text{id}_{[n]}\}$
$M_{\varepsilon_{i,i+1}} = \mathcal{IC}_n \setminus \{\varepsilon_{i,i+1}\}$ （ $1 \leq i \leq n-1$ ）
$M_{\varepsilon_i} = \mathcal{IC}_n \setminus \{\varepsilon_i\}$ （ $1 \leq i \leq n$ ）