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

On injective partial Catalan monoids

基本信息

  • 论文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,…,n}[n] = \{1, 2, \ldots, n\}上的单调且序减的单射偏变换半群ICn\mathcal{IC}_n及其子半群Qn′\mathcal{Q}'_n的代数性质和秩性质。主要内容包括：证明了ICn\mathcal{IC}_n是充足的(ample)，而Qn′\mathcal{Q}'_n是右充足的但对n≥2n \geq 2不是左充足的；确定了相关Rees商半群的秩；刻画了ICn\mathcal{IC}_n和Qn′\mathcal{Q}'_n的所有极大子半群。

研究背景与动机

研究问题

本文主要研究单射偏Catalan幺半群ICn\mathcal{IC}_n及其相关结构的代数性质，具体包括：

  1. Green关系及其星号类似物的刻画
  2. 充足性(abundance)和富足性(ampleness)的判定
  3. 各种相关半群的秩的计算
  4. 极大子半群的完全刻画

问题重要性

  1. 理论意义：ICn\mathcal{IC}_n作为变换半群理论中的重要对象，其元素个数恰好是第(n+1)(n+1)个Catalan数cn+1c_{n+1}，连接了组合数学和半群理论
  2. 结构研究：这类半群在变换半群的分类和结构理论中占据重要地位
  3. 计算复杂性：秩的计算对理解半群的生成性质至关重要

现有研究局限

虽然ICn\mathcal{IC}_n的某些性质已被研究，但其子半群Qn′\mathcal{Q}'_n以及相关Rees商半群的代数性质和秩性质此前尚未得到系统研究。

核心贡献

  1. 代数结构分析：完全刻画了ICn\mathcal{IC}_n、Qn′\mathcal{Q}'_n及其相关理想和Rees商的Green关系和星号Green关系
  2. 充足性判定：证明了ICn\mathcal{IC}_n是富足的(ample)，Qn′\mathcal{Q}'_n是右充足的但不是左充足的
  3. 秩公式：给出了所有相关半群的精确秩公式
  4. 极大子半群刻画：完全确定了ICn\mathcal{IC}_n和Qn′\mathcal{Q}'_n的极大子半群结构

方法详解

基本定义和记号

对于α∈ICn\alpha \in \mathcal{IC}_n，使用二行记号表示： α=(x1⋯xpa1⋯ap)\alpha = \begin{pmatrix} x_1 & \cdots & x_p \\ a_1 & \cdots & a_p \end{pmatrix} 其中ai≤xia_i \leq x_i（序减性）且1≤x1<⋯<xp≤n1 \leq x_1 < \cdots < x_p \leq n，1≤a1<⋯<ap≤n1 \leq a_1 < \cdots < a_p \leq n（单调性和单射性）。

关键概念

准幂等元

定义3.1：元素α∈ICn\alpha \in \mathcal{IC}_n称为准幂等的，如果α2\alpha^2是幂等的，等价地，α4=α2\alpha^4 = \alpha^2。

本质元素

定义3.5：位移为1的准幂等元素ε\varepsilon称为本质的，如果它具有形式： ε=(y1⋯yi−1yiyi+1⋯ypy1⋯yi−1yi−1yi+1⋯yp)\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：Qn′\mathcal{Q}'_n中高度为pp的单射映射α\alpha称为必需的，如果它具有形式： αi=(2⋯iai⋯ap1⋯i−1ai⋯ap)\alpha_i = \begin{pmatrix} 2 & \cdots & i & a_i & \cdots & a_p \\ 1 & \cdots & i-1 & a_i & \cdots & a_p \end{pmatrix}

技术创新点

  1. 统一的Green关系刻画：通过像集和定义域的相等性刻画L∗L^*和R∗R^*关系
  2. 准幂等生成理论：证明了ICn\mathcal{IC}_n可由准幂等元生成，进而由本质元素生成
  3. 分层分析方法：通过J∗J^*-类的高度分层来分析半群结构

主要结果

Green关系的刻画

定理2.9：对于α,β∈ICn\alpha, \beta \in \mathcal{IC}_n：

  • αL∗β\alpha L^* \beta 当且仅当 Imα=Imβ\text{Im}\alpha = \text{Im}\beta
  • αR∗β\alpha R^* \beta 当且仅当 Domα=Domβ\text{Dom}\alpha = \text{Dom}\beta
  • αH∗β\alpha H^* \beta 当且仅当 α=β\alpha = \beta

充足性结果

定理2.8：

  • ICn\mathcal{IC}_n是充足的
  • Qn′\mathcal{Q}'_n是右充足的

定理2.11：ICn\mathcal{IC}_n是富足的

秩公式

定理3.13：Rees商RICn(p)R\mathcal{IC}_n(p)的秩为： rank(RICn(p))=(n−1)(n−2p−1)+(np)\text{rank}(R\mathcal{IC}_n(p)) = (n-1)\binom{n-2}{p-1} + \binom{n}{p}

定理3.27：Rees商RQn′(p)R\mathcal{Q}'_n(p)的秩为： rank(RQn′(p))=(np)+(n−2)(n−3p−1)\text{rank}(R\mathcal{Q}'_n(p)) = \binom{n}{p} + (n-2)\binom{n-3}{p-1}

推论3.17：rank(ICn)=2n\text{rank}(\mathcal{IC}_n) = 2^n

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

极大子半群

定理4.1：ICn\mathcal{IC}_n的极大子半群恰好有三种类型：

  1. Mid[n]=ICn∖{id[n]}M_{\text{id}_{[n]}} = \mathcal{IC}_n \setminus \{\text{id}_{[n]}\}
  2. Mεi,i+1=ICn∖{εi,i+1}M_{\varepsilon_{i,i+1}} = \mathcal{IC}_n \setminus \{\varepsilon_{i,i+1}\}（1≤i≤n−11 \leq i \leq n-1）
  3. Mεi=ICn∖{εi}M_{\varepsilon_i} = \mathcal{IC}_n \setminus \{\varepsilon_i\}（1≤i≤n1 \leq i \leq n）

推论4.2：ICn\mathcal{IC}_n恰好有2n2n个极大子半群。

推论4.4：Qn′\mathcal{Q}'_n恰好有n2−3n+4n^2 - 3n + 4个极大子半群。

技术方法

证明策略

  1. 逆理想方法：证明ICn\mathcal{IC}_n是InI_n的逆理想，从而继承充足性
  2. 分解技术：将任意元素分解为本质元素和幂等元的乘积
  3. 组合计数：利用组合恒等式计算各种元素的个数
  4. 生成集最小化：通过证明某些元素不可分解来确定最小生成集

关键引理

引理3.3：ICn\mathcal{IC}_n是准幂等生成的。

引理3.14：对于0≤p≤n−20 \leq p \leq n-2且n≥4n \geq 4，有Jp∗⊂⟨Jp+1∗⟩J^*_p \subset \langle J^*_{p+1} \rangle。

相关工作

本文建立在变换半群理论的丰富文献基础上，特别是：

  • Ganyushkin和Mazorchuk的经典著作提供了理论框架
  • Umar等人的前期工作建立了序减变换半群的基础理论
  • Fountain的充足半群理论提供了分析工具

结论与讨论

主要结论

  1. 完全确定了单射偏Catalan幺半群及其子结构的代数性质
  2. 给出了所有相关半群的精确秩公式
  3. 刻画了极大子半群的完整结构

理论意义

  • 丰富了变换半群理论的内容
  • 建立了Catalan数与半群秩之间的新联系
  • 为进一步研究相关变换半群提供了方法论

局限性

  • 主要关注有限情形，无限情形的推广尚未涉及
  • 某些证明依赖于具体的组合计算，一般化程度有限

深度评价

优点

  1. 系统性强：全面研究了相关半群的多个重要性质
  2. 技术精湛：巧妙运用了半群理论的多种工具
  3. 结果完整：给出了精确的公式和完全的刻画
  4. 方法创新：引入了本质元素和必需元素的概念

不足

  1. 某些证明较为技术性，缺乏几何或组合直观
  2. 与其他数学分支的联系探讨不够深入
  3. 计算复杂性方面的考虑较少

影响力

本文的结果将对变换半群理论产生重要影响，特别是在：

  • 序变换半群的分类理论
  • 半群的组合性质研究
  • Catalan结构的代数实现

适用场景

  • 变换半群理论研究
  • 组合半群论
  • 代数组合学中的计数问题
  • 有限半群的结构分析

本文为变换半群理论贡献了重要的新结果，展现了深厚的技术功底和系统的研究方法，是该领域的一项重要进展。