2025-11-10T02:36:05.255019

On certain semigroups of finite oriented and order-decreasing partial transformations

Ayık, Ayık, Dimitrova et al.
Let $\mathcal{PORD}_{n}$ be the semigroup consisting of all oriented and order-decreasing partial transformations on the finite chain $X_{n}=\{ 1<\cdots<n \}$. Let $\mathcal{IORD}_{n}$ be the subsemigroup of $\mathcal{PORD}_{n}$ consisting of all injective transformations of $\mathcal{PORD}_{n}$. For $2\leq r\leq n$, let $\mathcal{PORD}(n,r) =\{ α\in \mathcal{PORD}_{n} :\lvert \text{im}(α) \rvert \leq r\}$ and $\mathcal{IORD}(n,r)=\{ α\in \mathcal{IORD}_{n} :\lvert \text{im}(α)\rvert \leq r\}$. In this paper, we determine some minimal generating sets and ranks of $\mathcal{PORD}(n,r)$ and $\mathcal{IORD}(n,r)$, and moreover, we characterize the maximal subsemigroups of $\mathcal{PORD}(n,r)$ and $\mathcal{IORD}(n,r)$.
academic

Sobre ciertos semigrupos de transformaciones parciales finitas orientadas y que disminuyen el orden

Información Básica

  • ID del Artículo: 2510.13484
  • Título: On certain semigroups of finite oriented and order-decreasing partial transformations
  • Autores: Gonca Ayık, Hayrullah Ayık, Ilinka Dimitrova, Jörg Koppitz
  • Clasificación: math.RA (Anillos y Álgebra)
  • Fecha de Publicación: 15 de octubre de 2025
  • Enlace del Artículo: https://arxiv.org/abs/2510.13484v1

Resumen

Este artículo estudia el semigrupo PORDn\mathcal{PORD}_n de transformaciones parciales orientadas y que disminuyen el orden en la cadena finita Xn={1<⋯<n}X_n = \{1 < \cdots < n\}, así como su subsemigrupo inyectivo IORDn\mathcal{IORD}_n. Para 2≤r≤n2 \leq r \leq n, se definen PORD(n,r)={α∈PORDn:∣im(α)∣≤r}\mathcal{PORD}(n,r) = \{\alpha \in \mathcal{PORD}_n : |\text{im}(\alpha)| \leq r\} y IORD(n,r)={α∈IORDn:∣im(α)∣≤r}\mathcal{IORD}(n,r) = \{\alpha \in \mathcal{IORD}_n : |\text{im}(\alpha)| \leq r\}. El artículo determina los conjuntos generadores minimales y el rango de PORD(n,r)\mathcal{PORD}(n,r) e IORD(n,r)\mathcal{IORD}(n,r), y caracteriza sus subsemigrupos maximales.

Antecedentes y Motivación de la Investigación

Contexto del Problema

La teoría de semigrupos de transformaciones es una rama importante del álgebra que estudia las estructuras algebraicas de transformaciones en conjuntos. Los problemas centrales abordados en este artículo son:

  1. Transformaciones orientadas: Una transformación parcial α\alpha se denomina orientada si es que preserva la orientación o la invierte
  2. Que disminuyen el orden: Para cada elemento xx en el dominio, se cumple que xα≤xx\alpha \leq x
  3. Conjuntos generadores y rango de semigrupos: Determinar el conjunto generador minimal de un semigrupo y su cardinalidad (rango)
  4. Subsemigrupos maximales: Caracterizar la estructura de todos los subsemigrupos maximales en un semigrupo

Importancia de la Investigación

  1. Valor teórico: Extiende la teoría de semigrupos de transformaciones, particularmente para clases especiales de transformaciones en cadenas finitas
  2. Análisis estructural: Proporciona una comprensión profunda de las propiedades algebraicas y combinatorias de estos semigrupos
  3. Fundamento para aplicaciones: Ofrece bases teóricas para investigaciones relacionadas en matemática combinatoria y estructuras algebraicas

Limitaciones de la Investigación Existente

Aunque existen investigaciones sobre transformaciones que preservan el orden, transformaciones que preservan la orientación, etc., la caracterización completa de los conjuntos generadores, rango y subsemigrupos maximales de semigrupos de transformaciones parciales que son simultáneamente orientadas y que disminuyen el orden permanecía sin resolver.

Contribuciones Principales

  1. Determinación del conjunto generador minimal de PORD(n,r)\mathcal{PORD}(n,r): Se demuestra que cuando n−⌊n/3⌋≤r≤n−1n-\lfloor n/3 \rfloor \leq r \leq n-1, Er∪Fr∪GnE_r \cup F_r \cup G_n es un conjunto generador minimal
  2. Cálculo del rango del semigrupo:
    • rank(PORD(n,r))=(nr)2n−r+(2n−r−1)(r−2)2+n(n−3)2\text{rank}(\mathcal{PORD}(n,r)) = \binom{n}{r}2^{n-r} + \frac{(2n-r-1)(r-2)}{2} + \frac{n(n-3)}{2}
    • rank(PORDn)=n2−n+1\text{rank}(\mathcal{PORD}_n) = n^2 - n + 1
  3. Caracterización del caso inyectivo: Se proporcionan fórmulas para el conjunto generador y rango de IORD(n,r)\mathcal{IORD}(n,r)
  4. Caracterización completa de subsemigrupos maximales: Se proporciona una clasificación de todos los subsemigrupos maximales para diferentes rangos de parámetros

Explicación Detallada de Métodos

Definiciones Básicas y Notación

  • Cadena finita: Xn={1<2<⋯<n}X_n = \{1 < 2 < \cdots < n\}
  • Transformación parcial: Aplicación de un subconjunto de XnX_n a XnX_n
  • Transformación orientada: Transformación que preserva o invierte la orientación
  • Que disminuye el orden: Para todo x∈dom(α)x \in \text{dom}(\alpha), se cumple que xα≤xx\alpha \leq x

Conceptos Técnicos Clave

1. Clasificación de Elementos Idempotentes

El artículo demuestra que E(PORDn)=E(POPDn)E(\mathcal{PORD}_n) = E(\mathcal{POPD}_n), donde:

  • Er(PORDn)={α∈E(PORDn):∣im(α)∣=r}E_r(\mathcal{PORD}_n) = \{\alpha \in E(\mathcal{PORD}_n) : |\text{im}(\alpha)| = r\}
  • ∣Er(PORDn)∣=(nr)2n−r|E_r(\mathcal{PORD}_n)| = \binom{n}{r}2^{n-r}

2. Elementos Indescomponibles

Se definen tres clases de elementos indescomponibles:

  • ErE_r: Elementos idempotentes con imagen de tamaño rr
  • FrF_r: Elementos idempotentes de forma específica ξp,qr\xi^r_{p,q}
  • GnG_n: Transformaciones inversas específicas γp,q\gamma_{p,q}

3. Grado de Inversión Decreciente

Para α∈PORDn∗\alpha \in \mathcal{PORD}^*_n, se define: ord(α)=max⁡{m:α∣Xm∈PMDn y max⁡(im(α))=(m+1)α}\text{ord}(\alpha) = \max\{m : \alpha|_{X_m} \in \mathcal{PMD}_n \text{ y } \max(\text{im}(\alpha)) = (m+1)\alpha\}

Teoremas Principales

Teorema 8 (Resultado Principal)

Cuando n−⌊n/3⌋≤r≤n−1n - \lfloor n/3 \rfloor \leq r \leq n-1, Er∪Fr∪GnE_r \cup F_r \cup G_n es un conjunto generador minimal de PORD(n,r)\mathcal{PORD}(n,r), y: rank(PORD(n,r))=(nr)2n−r+(2n−r−1)(r−2)2+n(n−3)2\text{rank}(\mathcal{PORD}(n,r)) = \binom{n}{r}2^{n-r} + \frac{(2n-r-1)(r-2)}{2} + \frac{n(n-3)}{2}

Esquema de la Demostración

  1. Se demuestra que cada elemento es indescomponible
  2. Se demuestra la necesidad del conjunto generador
  3. Se demuestra la suficiencia del conjunto generador, expresando cualquier elemento como producto de generadores

Configuración Experimental

Verificación Teórica

Este es un estudio puramente teórico, con resultados verificados mediante demostración matemática:

  1. Conteo combinatorio: Verificación de fórmulas para la cantidad de elementos de cada clase
  2. Ejemplos concretos: Cálculos explícitos para casos de pequeña escala
  3. Casos especiales: Verificación de resultados conocidos como casos particulares

Métodos de Verificación

  • Demostración por inducción de teoremas principales
  • Uso de discusión por casos para diferentes rangos de parámetros
  • Demostraciones constructivas que exhiben el proceso de generación

Resultados Experimentales

Resultados Principales

1. Resultados del Cálculo del Rango

  • rank(PORD4)=13\text{rank}(\mathcal{PORD}_4) = 13
  • rank(PORD5)=21\text{rank}(\mathcal{PORD}_5) = 21
  • Fórmula general: rank(PORDn)=n2−n+1\text{rank}(\mathcal{PORD}_n) = n^2 - n + 1

2. Caso Inyectivo

rank(IORD(n,r))=(nr)+n(n−2r−1)+(r−2)n−r2−r−22+n(n−3)2\text{rank}(\mathcal{IORD}(n,r)) = \binom{n}{r} + n\binom{n-2}{r-1} + \frac{(r-2)n - r^2 - r - 2}{2} + \frac{n(n-3)}{2}

3. Clasificación de Subsemigrupos Maximales

Para n−⌊n/3⌋≤r≤n−1n - \lfloor n/3 \rfloor \leq r \leq n-1, existen tres tipos de subsemigrupos maximales:

  1. PORD(n,r)∖{ε}\mathcal{PORD}(n,r) \setminus \{\varepsilon\}, donde ε∈Er\varepsilon \in E_r
  2. PORD(n,r)∖Fp,qr\mathcal{PORD}(n,r) \setminus F^r_{p,q}
  3. PORD(n,r)∖Gp,q\mathcal{PORD}(n,r) \setminus G_{p,q}

Hallazgos Importantes

Proposición 1

rn=max⁡{∣im(α)∣:α∈PRDn∗}=n−⌊n/3⌋r_n = \max\{|\text{im}(\alpha)| : \alpha \in \mathcal{PRD}^*_n\} = n - \lfloor n/3 \rfloor

Este resultado determina el tamaño máximo de la imagen de transformaciones inversas decrecientes.

Trabajos Relacionados

Desarrollo Histórico

  1. Gomes y Howie (1992): Determinaron el rango de semigrupos de transformaciones que preservan el orden
  2. Fernandes et al. (2009): Investigaron el rango de transformaciones que preservan la orientación
  3. Dimitrova y Koppitz (2012): Estudiaron transformaciones de extensión que preservan el orden
  4. Ayık et al. (2025): Investigaron transformaciones que preservan la orientación y disminuyen el orden

Contribución de Este Artículo

Este artículo es el primero en estudiar completamente semigrupos de transformaciones parciales que son simultáneamente orientadas y que disminuyen el orden, cerrando una brecha importante en la teoría de esta clase específica de transformaciones.

Conclusiones y Discusión

Conclusiones Principales

  1. Se determina completamente el rango de PORD(n,r)\mathcal{PORD}(n,r) e IORD(n,r)\mathcal{IORD}(n,r)
  2. Se proporcionan conjuntos generadores minimales explícitos
  3. Se caracteriza completamente todos los subsemigrupos maximales

Limitaciones

  1. Para el caso 3≤r<n−⌊n/3⌋3 \leq r < n - \lfloor n/3 \rfloor, no se proporciona una fórmula explícita para ∣Hnr∣|H^r_n|
  2. Algunas demostraciones dependen de discusiones por casos complejas, posiblemente existan métodos más elegantes

Direcciones Futuras

El artículo plantea la pregunta abierta: ¿existe una fórmula explícita para ∣Hnr∣|H^r_n|? Esto señala direcciones para investigaciones posteriores.

Evaluación Profunda

Fortalezas

  1. Completitud: Estudio sistemático de una nueva clase de semigrupos de transformaciones
  2. Innovación técnica: Introducción de nuevos conceptos como el grado de inversión decreciente
  3. Resultados completos: Resolución simultánea de problemas de conjuntos generadores, rango y subsemigrupos maximales
  4. Demostraciones rigurosas: Todos los resultados cuentan con demostraciones matemáticas completas

Deficiencias

  1. Complejidad computacional: Algunas fórmulas son bastante complejas, lo que dificulta el cálculo práctico
  2. Problemas abiertos: Aún existen problemas de conteo combinatorio sin resolver
  3. Limitaciones de aplicación: Principalmente resultados teóricos, con aplicaciones prácticas limitadas

Impacto

  1. Contribución teórica: Enriquece la teoría de semigrupos de transformaciones
  2. Valor metodológico: Las técnicas proporcionadas pueden aplicarse a problemas similares
  3. Investigación posterior: Proporciona fundamentos para investigaciones en campos relacionados

Escenarios de Aplicación

  1. Investigación de estructuras algebraicas: Teoría de semigrupos y semigrupos de transformaciones
  2. Matemática combinatoria: Problemas de conteo en estructuras finitas
  3. Informática teórica: Estructuras de transformación en teoría de autómatas

Referencias

El artículo cita 30 referencias relacionadas, que abarcan el desarrollo principal de la teoría de semigrupos de transformaciones, particularmente investigaciones sobre transformaciones que preservan el orden, transformaciones que preservan la orientación y estructuras de semigrupos relacionadas.

Evaluación General: Este es un artículo de matemática teórica de alta calidad que estudia sistemáticamente una nueva clase de semigrupos de transformaciones, obteniendo resultados de teoría estructural completos. Aunque es investigación puramente teórica, presenta innovación metodológica y resultados completos, realizando una contribución importante a la teoría de semigrupos de transformaciones.