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

Sobre monoides parciales de Catalan inyectivos

Información Básica

  • ID del Artículo: 2501.00285
  • Título: On injective partial Catalan monoids
  • Autores: F. S. Al-Kharousi, A. Umar, M. M. Zubairu
  • Clasificación: math.GR (Teoría de Grupos)
  • Fecha de Publicación: 3 de enero de 2025
  • Enlace del Artículo: https://arxiv.org/abs/2501.00285

Resumen

Este artículo estudia las propiedades algebraicas y de rango del semigrupo de transformaciones parciales inyectivas monótonas y decrecientes en orden ICn\mathcal{IC}_n sobre la cadena finita [n]={1,2,…,n}[n] = \{1, 2, \ldots, n\}, así como su subsemigrupo Qn′\mathcal{Q}'_n. Los contenidos principales incluyen: demostración de que ICn\mathcal{IC}_n es amplio (ample), mientras que Qn′\mathcal{Q}'_n es suficiente por la derecha pero no suficiente por la izquierda para n≥2n \geq 2; determinación del rango de los cocientes de Rees relacionados; caracterización de todos los subsemigrupos maximales de ICn\mathcal{IC}_n y Qn′\mathcal{Q}'_n.

Antecedentes y Motivación de la Investigación

Problemas de Investigación

Este artículo estudia principalmente las propiedades algebraicas del semigrupo monoide parcial de Catalan inyectivo ICn\mathcal{IC}_n y sus estructuras relacionadas, incluyendo específicamente:

  1. Caracterización de las relaciones de Green y sus análogos con asterisco
  2. Determinación de suficiencia (abundance) y amplitud (ampleness)
  3. Cálculo del rango de varios semigrupos relacionados
  4. Caracterización completa de subsemigrupos maximales

Importancia del Problema

  1. Significado Teórico: ICn\mathcal{IC}_n como objeto importante en la teoría de semigrupos de transformaciones, cuyo número de elementos es exactamente el (n+1)(n+1)-ésimo número de Catalan cn+1c_{n+1}, conectando matemática combinatoria y teoría de semigrupos
  2. Investigación Estructural: Esta clase de semigrupos ocupa una posición importante en la clasificación y teoría estructural de semigrupos de transformaciones
  3. Complejidad Computacional: El cálculo del rango es crucial para comprender las propiedades generadoras del semigrupo

Limitaciones de la Investigación Existente

Aunque algunas propiedades de ICn\mathcal{IC}_n han sido estudiadas, las propiedades algebraicas y de rango del subsemigrupo Qn′\mathcal{Q}'_n y los cocientes de Rees relacionados no han sido estudiados sistemáticamente anteriormente.

Contribuciones Principales

  1. Análisis de Estructura Algebraica: Caracterización completa de las relaciones de Green y relaciones de Green con asterisco de ICn\mathcal{IC}_n, Qn′\mathcal{Q}'_n y sus ideales relacionados y cocientes de Rees
  2. Determinación de Suficiencia: Demostración de que ICn\mathcal{IC}_n es amplio (ample), Qn′\mathcal{Q}'_n es suficiente por la derecha pero no por la izquierda
  3. Fórmulas de Rango: Proporción de fórmulas de rango exactas para todos los semigrupos relacionados
  4. Caracterización de Subsemigrupos Maximales: Determinación completa de la estructura de subsemigrupos maximales de ICn\mathcal{IC}_n y Qn′\mathcal{Q}'_n

Explicación Detallada de Métodos

Definiciones y Notación Básicas

Para α∈ICn\alpha \in \mathcal{IC}_n, se utiliza notación de dos filas: α=(x1⋯xpa1⋯ap)\alpha = \begin{pmatrix} x_1 & \cdots & x_p \\ a_1 & \cdots & a_p \end{pmatrix} donde ai≤xia_i \leq x_i (propiedad decreciente en orden) y 1≤x1<⋯<xp≤n1 \leq x_1 < \cdots < x_p \leq n, 1≤a1<⋯<ap≤n1 \leq a_1 < \cdots < a_p \leq n (monotonicidad e inyectividad).

Conceptos Clave

Elementos Cuasiidempotentes

Definición 3.1: Un elemento α∈ICn\alpha \in \mathcal{IC}_n se denomina cuasiidempotente si α2\alpha^2 es idempotente, equivalentemente, α4=α2\alpha^4 = \alpha^2.

Elementos Esenciales

Definición 3.5: Un elemento cuasiidempotente ε\varepsilon con desplazamiento 1 se denomina esencial si tiene 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}

Elementos Necesarios

Definición 3.18: Una aplicación inyectiva α\alpha de altura pp en Qn′\mathcal{Q}'_n se denomina necesaria si tiene 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}

Puntos de Innovación Técnica

  1. Caracterización Unificada de Relaciones de Green: Caracterización de relaciones L∗L^* y R∗R^* mediante igualdad de imagen y dominio
  2. Teoría de Generación Cuasiidempotente: Demostración de que ICn\mathcal{IC}_n es generado por elementos cuasiidempotentes, y por lo tanto por elementos esenciales
  3. Método de Análisis Estratificado: Análisis de estructura de semigrupo mediante estratificación de clases J∗J^* por altura

Resultados Principales

Caracterización de Relaciones de Green

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

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

Resultados de Suficiencia

Teorema 2.8:

  • ICn\mathcal{IC}_n es amplio (ample)
  • Qn′\mathcal{Q}'_n es suficiente por la derecha

Teorema 2.11: ICn\mathcal{IC}_n es abundante (abundant)

Fórmulas de Rango

Teorema 3.13: El rango del cociente de Rees RICn(p)R\mathcal{IC}_n(p) es: 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: El rango del cociente de Rees RQn′(p)R\mathcal{Q}'_n(p) es: 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}

Corolario 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

Subsemigrupos Maximales

Teorema 4.1: Los subsemigrupos maximales de ICn\mathcal{IC}_n son exactamente de tres tipos:

  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)

Corolario 4.2: ICn\mathcal{IC}_n tiene exactamente 2n2n subsemigrupos maximales.

Corolario 4.4: Qn′\mathcal{Q}'_n tiene exactamente n2−3n+4n^2 - 3n + 4 subsemigrupos maximales.

Métodos Técnicos

Estrategias de Demostración

  1. Método de Ideal Inverso: Demostración de que ICn\mathcal{IC}_n es un ideal inverso de InI_n, heredando así la amplitud
  2. Técnica de Descomposición: Descomposición de elementos arbitrarios como producto de elementos esenciales e idempotentes
  3. Conteo Combinatorio: Utilización de identidades combinatorias para calcular el número de varios elementos
  4. Minimización de Conjunto Generador: Determinación del conjunto generador mínimo demostrando que ciertos elementos no son descomponibles

Lemas Clave

Lema 3.3: ICn\mathcal{IC}_n es generado por elementos cuasiidempotentes.

Lema 3.14: Para 0≤p≤n−20 \leq p \leq n-2 y n≥4n \geq 4, se tiene Jp∗⊂⟨Jp+1∗⟩J^*_p \subset \langle J^*_{p+1} \rangle.

Trabajo Relacionado

Este artículo se basa en la rica literatura de la teoría de semigrupos de transformaciones, en particular:

  • La obra clásica de Ganyushkin y Mazorchuk proporciona el marco teórico
  • El trabajo anterior de Umar y otros establece la teoría fundamental de semigrupos de transformaciones decrecientes en orden
  • La teoría de semigrupos suficientes de Fountain proporciona herramientas de análisis

Conclusiones y Discusión

Conclusiones Principales

  1. Determinación completa de las propiedades algebraicas del semigrupo monoide parcial de Catalan inyectivo y sus subestructuras
  2. Proporción de fórmulas de rango exactas para todos los semigrupos relacionados
  3. Caracterización de la estructura completa de subsemigrupos maximales

Significado Teórico

  • Enriquecimiento del contenido de la teoría de semigrupos de transformaciones
  • Establecimiento de nuevas conexiones entre números de Catalan y rango de semigrupos
  • Provisión de metodología para investigación adicional de semigrupos de transformaciones relacionados

Limitaciones

  • Enfoque principal en casos finitos; la generalización a casos infinitos no ha sido abordada
  • Algunas demostraciones dependen de cálculos combinatorios específicos, con grado limitado de generalización

Evaluación Profunda

Fortalezas

  1. Sistematicidad Fuerte: Investigación exhaustiva de múltiples propiedades importantes de semigrupos relacionados
  2. Técnica Refinada: Aplicación ingeniosa de múltiples herramientas de la teoría de semigrupos
  3. Resultados Completos: Proporción de fórmulas exactas y caracterizaciones completas
  4. Innovación Metodológica: Introducción de conceptos de elementos esenciales y elementos necesarios

Insuficiencias

  1. Algunas demostraciones son altamente técnicas, careciendo de intuición geométrica o combinatoria
  2. Exploración insuficiente de conexiones con otras ramas de las matemáticas
  3. Consideración limitada de aspectos de complejidad computacional

Impacto

Los resultados de este artículo tendrán impacto importante en la teoría de semigrupos de transformaciones, particularmente en:

  • Teoría de clasificación de semigrupos de transformaciones ordenadas
  • Investigación de propiedades combinatorias de semigrupos
  • Problemas de conteo en combinatoria algebraica
  • Análisis estructural de semigrupos finitos

Escenarios de Aplicación

  • Investigación en teoría de semigrupos de transformaciones
  • Teoría combinatoria de semigrupos
  • Combinatoria algebraica en problemas de conteo
  • Análisis estructural de semigrupos finitos

Este artículo contribuye resultados nuevos e importantes a la teoría de semigrupos de transformaciones, demostrando profunda destreza técnica y metodología de investigación sistemática, representando un avance significativo en el campo.