Left Ehresmann monoids with a proper basis

A continuación se presenta un resumen técnico detallado del artículo "Monoides de Ehresmann izquierdos con una base propia" de Gracinda M.S. Gomes, Victoria Gould y Yanhui Wang.

1. Planteamiento del Problema y Motivación

Contexto:
El artículo aborda la teoría estructural de los monoides de Ehresmann izquierdos. Estos son monoides unarios que satisfacen identidades específicas y generalizan a los semigrupos inversos y a los semigrupos de restricción izquierda. Si bien la teoría de los semigrupos inversos está bien establecida (notablemente mediante los semigrupos $P$ de McAlister y los productos semidirectos de grupos y semirejillas), la teoría para los monoides de Ehresmann izquierdos ha ido por detrás.

La Brecha:

• Semigrupos Inversos: Todo semigrupo inverso tiene una "cobertura" (una preimagen que separa idempotentes) que es un producto semidirecto de una semirejilla por un grupo. Además, los semigrupos inversos "propios" (aquellos que pueden incrustarse en tales productos) se caracterizan mediante los semigrupos $P$ de McAlister.
• Monoides de Ehresmann Izquierdos: Se sabía que cualquier monoide de Ehresmann izquierdo tiene una cobertura de la forma $P_\ell(T, X)$, construida a partir de un monoide $T$ que actúa sobre una semirejilla $X$ mediante aplicaciones que preservan el orden. Sin embargo, no existía un análogo al concepto de semigrupo inverso "propio" ni de un semigrupo $P$ para esta clase.
• El Desafío: A diferencia de los semigrupos inversos o de restricción, los monoides de Ehresmann izquierdo no satisfacen la "identidad de abundancia" ($xy^+ = (xy)^+x$). Esta falla impide que las técnicas de descomposición estándar utilizadas en la teoría de semigrupos inversos (que dependen de reordenar idempotentes) funcionen directamente. En consecuencia, los monoides de Ehresmann izquierdo libres se describen mediante árboles etiquetados en lugar de grafos de Cayley, y su estructura es más compleja.

Objetivo:
Los autores buscan llenar esta brecha teórica mediante:

1. Definir una noción de base propia para los monoides de Ehresmann izquierdo.
2. Demostrar que los monoides con una base propia poseen propiedades estructurales análogas a los semigrupos inversos propios.
3. Establecer un teorema estructural que caracterice a estos monoides como subsemigrupos de $P_\ell(T, X)$, análogo a los semigrupos $P$ de McAlister.

---

2. Metodología y Conceptos Clave

Los autores desarrollan un nuevo marco introduciendo estructuras algebraicas específicas y aprovechando un resultado de "globalización" para acciones parciales.

A. Monoides de Ehresmann Izquierdos $\ast$

Para manejar la falta de la identidad de abundancia, los autores introducen una segunda operación unaria, denotada por $\ast$, junto con la operación izquierda estándar $+$.

• Un monoide de Ehresmann izquierdo $\ast$ es un monoide de Ehresmann izquierdo equipado con una operación unaria $\ast$ tal que $E = \{a^+ : a \in M\} = \{a^\ast : a \in M\}$ es una semirejilla, y $a^\ast$ es la identidad derecha mínima para $a$ desde $E$.
• Demuestran que cualquier monoide de Ehresmann izquierdo con unicidad de formas normales $T$ (una descomposición $a = t_0 e_1 t_1 \dots e_n t_n$) admite naturalmente esta segunda operación, convirtiéndolo en un monoide de Ehresmann izquierdo $\ast$.

B. Base Propia y Subconjuntos Atómicos

La innovación central es la definición de una base propia.

• Subconjunto $\ast$: Un subconjunto $H \subseteq M$ donde cada $h \in H$ tiene una identidad derecha mínima $h^\ast \in E$.
• Atómico: $H$ satisface propiedades de cierre específicas (H1–H5) respecto a productos y congruencias.
• Propio: $H$ es propio si $h, k \in H$ con $h^\ast = k^\ast$ y $h \sigma k$ (donde $\sigma$ es la menor congruencia que identifica las proyecciones) implica $h = k$.
• Base: $H$ es una base si genera $M$ y cada elemento tiene una forma canónica $H$ única (análogo a las formas normales $T$ pero definidas mediante los elementos de la base).

C. Globalización de Acciones Parciales

Una herramienta técnica crucial es la extensión del teorema de globalización para acciones parciales.

• Los autores demuestran que una acción parcial fuerte que preserva el orden de un monoide $T$ sobre una semirejilla $Y$ puede globalizarse a una acción completa que preserva el orden sobre una semirejilla más grande $X$.
• Este resultado (Teorema 4.17) es esencial para construir el monoide ambiente $P_\ell(T, X)$ a partir de un monoide de Ehresmann izquierdo dado.

D. Los Monoides $P_\ell(T, X)$ y $Q_\ell(T, X, Y)$

• $P_\ell(T, X)$: El análogo de "producto semidirecto" para monoides de Ehresmann izquierdo. Se construye a partir de un monoide $T$ y una semirejilla $X$ con una acción que preserva el orden. Posee una base propia $H_P = \{te : t \in T, e \in X\}$.
• $Q_\ell(T, X, Y)$: Un subsemigrupo de $P_\ell(T, X)$ generado por $H_Q = \{te \in H_P : e \in Y \text{ y } t \cdot e \in Y\}$, donde $Y$ es una subsemirejilla de $X$ que satisface condiciones específicas (A y B). Estos desempeñan el papel de los semigrupos $P$ de McAlister.

---

3. Contribuciones y Resultados Clave

1. Introducción de la Base Propia

El artículo define el concepto de base propia para monoides de Ehresmann izquierdo. Este concepto captura la noción abstracta de "propiedad" (análogo a los semigrupos inversos $E$-unitarios) en un contexto donde falla la identidad de abundancia.

2. Estructura de Monoides con una Base Propia

Los autores demuestran que cualquier monoide de Ehresmann izquierdo con una base propia es necesariamente $\ast$-de Ehresmann izquierdo. Esto les permite utilizar la segunda operación unaria $\ast$ para definir formas canónicas únicas y analizar la estructura del monoide.

3. El Teorema Estructural Principal (Teorema 8.1)

El resultado central del artículo establece una caracterización estructural:

Teorema: Un monoide biunario $Q$ es un monoide de Ehresmann izquierdo con una base propia si y solo si $Q$ es isomorfo a un subsemigrupo biunario $Q_\ell(T, X, Y)$ de algún $P_\ell(T, X)$.

Este teorema refleja el resultado clásico para semigrupos inversos (donde los semigrupos inversos propios son isomorfos a semigrupos $P$).

• $P_\ell(T, X)$ desempeña el papel del producto semidirecto $X \rtimes G$.
• $Q_\ell(T, X, Y)$ desempeña el papel del semigrupo $P$.
• El isomorfismo se construye mapeando la base propia de $Q$ al conjunto generador de $Q_\ell$.

4. Existencia de Bases Propias

Los autores demuestran que:

• Los propios monoides $P_\ell(T, X)$ poseen una base propia ($H_P$).
• Los submonoides $Q_\ell(T, X, Y)$ poseen una base propia ($H_Q$).
• Los monoides de Ehresmann izquierdo libres poseen una base propia, lo que implica que son isomorfos a algún $Q_\ell(T, X, Y)$.

5. Resultado de Globalización

El artículo proporciona una prueba rigurosa de que una acción parcial fuerte que preserva el orden de un monoide sobre una semirejilla puede globalizarse a una acción completa sobre una semirejilla. Este resultado es de interés independiente en la teoría de semigrupos y la teoría del orden.

---

4. Significado e Impacto

• Cambio de Paradigma: El artículo adapta con éxito la teoría estructural de los semigrupos inversos a la clase más compleja de monoides de Ehresmann izquierdo, a pesar de la ausencia de la identidad de abundancia. Mueve el campo de la dependencia de árboles etiquetados (utilizados para objetos libres) hacia una teoría de descomposición basada en semirejillas y acciones de monoides.
• Unificación: Unifica el estudio de los monoides de Ehresmann izquierdo libres, los monoides de restricción y los monoides de Ehresmann izquierdo generales bajo un único marco estructural ($Q_\ell(T, X, Y)$).
• Nuevas Herramientas: La introducción de la operación $\ast$ y el concepto de base propia proporciona nuevas herramientas algebraicas para analizar semigrupos no regulares.
• Futuras Direcciones: Los autores esbozan explícitamente preguntas abiertas sobre la extensión de esta teoría a semigrupos (sin identidad) y la relación entre su enfoque de "base propia" y el enfoque categórico de semigrupos de Ehresmann propios desarrollado por Kudryavtseva y Laan.

En resumen, este artículo proporciona el teorema estructural fundamental de tipo "McAlister" para los monoides de Ehresmann izquierdo, estableciendo que aquellos con una base propia son estructuralmente equivalentes a subsemigrupos específicos de productos semidirectos que preservan el orden, completando así un capítulo importante en la teoría de semigrupos con una semirejilla de idempotentes.