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

Sui monoidi parziali di Catalan iniettivi

Informazioni Fondamentali

  • ID Articolo: 2501.00285
  • Titolo: On injective partial Catalan monoids
  • Autori: F. S. Al-Kharousi, A. Umar, M. M. Zubairu
  • Classificazione: math.GR (Teoria dei Gruppi)
  • Data di Pubblicazione: 3 gennaio 2025
  • Link Articolo: https://arxiv.org/abs/2501.00285

Riassunto

Questo articolo studia le proprietà algebriche e le proprietà di rango del semigruppo di trasformazioni parziali iniettive monotone e decrescenti ICn\mathcal{IC}_n e del suo sottosemigruppo Qn′\mathcal{Q}'_n sulla catena finita [n]={1,2,…,n}[n] = \{1, 2, \ldots, n\}. I contenuti principali includono: la dimostrazione che ICn\mathcal{IC}_n è ampio (ample), mentre Qn′\mathcal{Q}'_n è destro-ampio ma non sinistro-ampio per n≥2n \geq 2; la determinazione del rango dei quozienti di Rees correlati; la caratterizzazione di tutti i sottosemigruppi massimali di ICn\mathcal{IC}_n e Qn′\mathcal{Q}'_n.

Contesto di Ricerca e Motivazione

Problemi di Ricerca

Questo articolo studia principalmente le proprietà algebriche del semigruppo parziale di Catalan iniettivo ICn\mathcal{IC}_n e delle sue strutture correlate, includendo specificamente:

  1. La caratterizzazione delle relazioni di Green e dei loro analoghi stellati
  2. La determinazione dell'abbondanza (abundance) e dell'ampiezza (ampleness)
  3. Il calcolo del rango di vari semigruppi correlati
  4. La caratterizzazione completa dei sottosemigruppi massimali

Importanza del Problema

  1. Significato Teorico: ICn\mathcal{IC}_n come oggetto importante nella teoria dei semigruppi di trasformazioni, il cui numero di elementi è esattamente il (n+1)(n+1)-esimo numero di Catalan cn+1c_{n+1}, collegando la matematica combinatoria e la teoria dei semigruppi
  2. Ricerca Strutturale: Questa classe di semigruppi occupa una posizione importante nella classificazione e nella teoria strutturale dei semigruppi di trasformazioni
  3. Complessità Computazionale: Il calcolo del rango è cruciale per comprendere le proprietà generative dei semigruppi

Limitazioni della Ricerca Esistente

Sebbene alcune proprietà di ICn\mathcal{IC}_n siano state studiate, le proprietà algebriche e di rango del sottosemigruppo Qn′\mathcal{Q}'_n e dei quozienti di Rees correlati non erano state precedentemente studiate sistematicamente.

Contributi Fondamentali

  1. Analisi della Struttura Algebrica: Caratterizzazione completa delle relazioni di Green e delle relazioni di Green stellate di ICn\mathcal{IC}_n, Qn′\mathcal{Q}'_n e dei loro ideali e quozienti di Rees correlati
  2. Determinazione dell'Ampiezza: Dimostrazione che ICn\mathcal{IC}_n è ampio (ample), Qn′\mathcal{Q}'_n è destro-ampio ma non sinistro-ampio
  3. Formule di Rango: Fornitura di formule di rango precise per tutti i semigruppi correlati
  4. Caratterizzazione dei Sottosemigruppi Massimali: Determinazione completa della struttura dei sottosemigruppi massimali di ICn\mathcal{IC}_n e Qn′\mathcal{Q}'_n

Spiegazione dei Metodi

Definizioni e Notazioni Fondamentali

Per α∈ICn\alpha \in \mathcal{IC}_n, si utilizza la notazione a due righe: α=(x1⋯xpa1⋯ap)\alpha = \begin{pmatrix} x_1 & \cdots & x_p \\ a_1 & \cdots & a_p \end{pmatrix} dove ai≤xia_i \leq x_i (proprietà decrescente) e 1≤x1<⋯<xp≤n1 \leq x_1 < \cdots < x_p \leq n, 1≤a1<⋯<ap≤n1 \leq a_1 < \cdots < a_p \leq n (monotonia e iniettività).

Concetti Chiave

Elementi Quasi-Idempotenti

Definizione 3.1: Un elemento α∈ICn\alpha \in \mathcal{IC}_n è detto quasi-idempotente se α2\alpha^2 è idempotente, equivalentemente, α4=α2\alpha^4 = \alpha^2.

Elementi Essenziali

Definizione 3.5: Un elemento quasi-idempotente ε\varepsilon con spostamento 1 è detto essenziale se ha la forma: ε=(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}

Elementi Necessari

Definizione 3.18: Un'applicazione iniettiva α\alpha di altezza pp in Qn′\mathcal{Q}'_n è detta necessaria se ha la forma: α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}

Punti di Innovazione Tecnica

  1. Caratterizzazione Unificata delle Relazioni di Green: Caratterizzazione delle relazioni L∗L^* e R∗R^* attraverso l'uguaglianza dell'immagine e del dominio
  2. Teoria della Generazione Quasi-Idempotente: Dimostrazione che ICn\mathcal{IC}_n è generato da elementi quasi-idempotenti, e quindi da elementi essenziali
  3. Metodo di Analisi Stratificata: Analisi della struttura del semigruppo attraverso la stratificazione per altezza delle classi J∗J^*

Risultati Principali

Caratterizzazione delle Relazioni di Green

Teorema 2.9: Per α,β∈ICn\alpha, \beta \in \mathcal{IC}_n:

  • αL∗β\alpha L^* \beta se e solo se Imα=Imβ\text{Im}\alpha = \text{Im}\beta
  • αR∗β\alpha R^* \beta se e solo se Domα=Domβ\text{Dom}\alpha = \text{Dom}\beta
  • αH∗β\alpha H^* \beta se e solo se α=β\alpha = \beta

Risultati di Ampiezza

Teorema 2.8:

  • ICn\mathcal{IC}_n è ampio
  • Qn′\mathcal{Q}'_n è destro-ampio

Teorema 2.11: ICn\mathcal{IC}_n è abbondante (abundant)

Formule di Rango

Teorema 3.13: Il rango del quoziente di 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}

Teorema 3.27: Il rango del quoziente di 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}

Corollario 3.17: rank(ICn)=2n\text{rank}(\mathcal{IC}_n) = 2^n

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

Sottosemigruppi Massimali

Teorema 4.1: I sottosemigruppi massimali di ICn\mathcal{IC}_n sono esattamente di tre tipi:

  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)

Corollario 4.2: ICn\mathcal{IC}_n ha esattamente 2n2n sottosemigruppi massimali.

Corollario 4.4: Qn′\mathcal{Q}'_n ha esattamente n2−3n+4n^2 - 3n + 4 sottosemigruppi massimali.

Metodi Tecnici

Strategie di Dimostrazione

  1. Metodo dell'Ideale Inverso: Dimostrazione che ICn\mathcal{IC}_n è un ideale inverso di InI_n, ereditando così l'ampiezza
  2. Tecniche di Decomposizione: Decomposizione di elementi arbitrari in prodotti di elementi essenziali e idempotenti
  3. Conteggio Combinatorio: Utilizzo di identità combinatorie per calcolare il numero di vari elementi
  4. Minimizzazione dell'Insieme Generante: Determinazione dell'insieme generante minimo provando che certi elementi non sono decomponibili

Lemmi Chiave

Lemma 3.3: ICn\mathcal{IC}_n è generato da elementi quasi-idempotenti.

Lemma 3.14: Per 0≤p≤n−20 \leq p \leq n-2 e n≥4n \geq 4, si ha Jp∗⊂⟨Jp+1∗⟩J^*_p \subset \langle J^*_{p+1} \rangle.

Lavori Correlati

Questo articolo si basa su una ricca letteratura della teoria dei semigruppi di trasformazioni, in particolare:

  • L'opera classica di Ganyushkin e Mazorchuk fornisce il quadro teorico
  • I lavori precedenti di Umar e altri stabiliscono la teoria fondamentale dei semigruppi di trasformazioni decrescenti
  • La teoria dei semigruppi abbondanti di Fountain fornisce gli strumenti di analisi

Conclusioni e Discussione

Conclusioni Principali

  1. Determinazione completa delle proprietà algebriche del semigruppo parziale di Catalan iniettivo e delle sue sottostrutture
  2. Fornitura di formule di rango precise per tutti i semigruppi correlati
  3. Caratterizzazione della struttura completa dei sottosemigruppi massimali

Significato Teorico

  • Arricchimento dei contenuti della teoria dei semigruppi di trasformazioni
  • Stabilimento di nuovi collegamenti tra i numeri di Catalan e il rango dei semigruppi
  • Fornitura di metodologia per ulteriori ricerche su semigruppi di trasformazioni correlati

Limitazioni

  • L'attenzione principale è rivolta al caso finito; l'estensione al caso infinito non è stata affrontata
  • Alcune dimostrazioni si basano su calcoli combinatori specifici, con grado limitato di generalizzazione

Valutazione Approfondita

Punti di Forza

  1. Forte Sistematicità: Studio completo di molteplici proprietà importanti dei semigruppi correlati
  2. Tecnica Raffinata: Applicazione abile di molteplici strumenti della teoria dei semigruppi
  3. Risultati Completi: Fornitura di formule precise e caratterizzazioni complete
  4. Innovazione Metodologica: Introduzione dei concetti di elementi essenziali e elementi necessari

Punti Deboli

  1. Alcune dimostrazioni sono piuttosto tecniche, mancando di intuizione geometrica o combinatoria
  2. L'esplorazione dei collegamenti con altri rami della matematica è insufficiente
  3. Considerazione limitata degli aspetti di complessità computazionale

Impatto

I risultati di questo articolo avranno un impatto importante sulla teoria dei semigruppi di trasformazioni, in particolare in:

  • Teoria della classificazione dei semigruppi di trasformazioni ordinate
  • Ricerca sulle proprietà combinatorie dei semigruppi
  • Realizzazioni algebriche delle strutture di Catalan
  • Analisi strutturale dei semigruppi finiti

Scenari Applicabili

  • Ricerca nella teoria dei semigruppi di trasformazioni
  • Teoria combinatoria dei semigruppi
  • Matematica combinatoria algebrica nei problemi di conteggio
  • Analisi strutturale dei semigruppi finiti

Questo articolo contribuisce importanti nuovi risultati alla teoria dei semigruppi di trasformazioni, dimostrando una profonda competenza tecnica e un approccio sistematico alla ricerca, rappresentando un progresso significativo in questo campo.