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,…,n}[n] = \{1, 2, \ldots, n\} 위의 단조이고 순서-감소하는 단사 부분변환 반군 ICn\mathcal{IC}_n 및 그 부분반군 Qn′\mathcal{Q}'_n의 대수적 성질과 계수(rank) 성질을 연구한다. 주요 내용은 다음을 포함한다: 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에 대해 이행 표기법(two-row notation)을 사용한다: α=(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 관계 특성화: 상(image)과 정의역(domain)의 동등성을 통한 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 구조의 대수적 실현
  • 유한 반군의 구조 분석

적용 분야

  • 변환반군 이론 연구
  • 조합 반군론
  • 대수 조합론의 계수 문제
  • 유한 반군의 구조 분석

본 논문은 변환반군 이론에 중요한 새로운 결과를 기여하며, 깊이 있는 기술적 역량과 체계적인 연구 방법을 보여주는 해당 분야의 중요한 진전이다.