🔢 mathematics

Maximal subgroups of free projection- and idempotent-generated semigroups with applications to partition monoids

Este artículo establece presentaciones generales para subgrupos maximales de semigrupos libres de proyección e idempotentes y las aplica a los monoides de partición, revelando que mientras los primeros producen grupos simétricos $S_r$ , los últimos producen productos directos $Z \times S_r$ debido a una conexión con los monoides de partición retorcidos.

Autores originales: James East, Robert D. Gray, P. A. Azeef Muhammed, Nik Ruskuc

Publicado 2026-07-20

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: James East, Robert D. Gray, P. A. Azeef Muhammed, Nik Ruskuc

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina un mundo construido enteramente de formas que pueden encajarse, deslizarse unas sobre otras y, a veces, quedarse pegadas en su lugar para siempre. En el reino de las matemáticas, este es el universo de los semigrupos. Piensa en un semigrupo como una pista de baile gigante y caótica donde cada bailarín (un elemento) tiene un movimiento específico que puede realizar. Algunos bailarines son especiales: si realizan su movimiento dos veces, terminan exactamente donde empezaron. Estos se llaman idempotentes. Son como los botones de "pausa" de la pista de baile; una vez que los presionas, la acción se congela.

Ahora, imagina que quieres construir la pista de baile definitiva, la más flexible posible, utilizando solo estos bailarines de "pausa". No quieres añadir movimientos ni reglas adicionales que no sean estrictamente necesarias. Esto crea un "semigrupo libre generado por idempotentes". Esta es una construcción matemática que pregunta: "Si solo tengo estos botones de congelación, ¿qué tipo de estructuras complejas puedo construir?".

Pero hay un giro. Algunas de estas pistas de baile tienen una propiedad de espejo especial. Si miras a un bailarín en el espejo, este realiza un movimiento que deshace el original. Esto es una involución, y convierte la pista de baile en un "*-semigrupo regular". En este mundo espejado, los bailarines de "pausa" tienen un primo más simple y rígido llamado proyección. La gran pregunta que los matemáticos se han estado haciendo es: "Si construimos nuestra pista de baile usando solo las proyecciones rígidas, ¿se ve igual que la construida con los idempotentes flexibles? Y, ¿qué sucede con los grupos de bailarines que se quedan atrapados en un bucle, girando en círculos perfectos?". Estos bucles giratorios se llaman subgrupos maximales, y averiguar su forma es como descubrir el ADN secreto de la pista de baile.

Este artículo es una inmersión profunda en esa misma pregunta, mirando específicamente a una famosa pista de baile llamada el monoide de partición (denotado como $P_n$ ). Los autores, James East, Robert D. Gray, P.A. Azeef Muhammed y Nik Ruškuc, se propusieron comparar dos formas diferentes de construir esta estructura: una utilizando los flexibles botones de "pausa" (idempotentes) y otra utilizando los rígidos botones de "espejo" (proyecciones).

Descubrieron que, aunque las dos pistas de baile se ven casi idénticas desde la distancia, tienen una diferencia secreta y fundamental en la forma en que sus bailarines giran.

Cuando construyeron la pista usando las proyecciones rígidas (el semigrupo libre generado por proyecciones, $PG(P)$), los bucles giratorios resultaron ser exactamente lo que se esperaba: el grupo simétrico $S_r$ . En lenguaje sencillo, esto es simplemente el conjunto de todas las formas posibles de reorganizar $r$ elementos. Si tienes 3 bailarines, hay 6 formas en las que pueden intercambiar lugares. La matemática aquí es limpia, ordenada y coincide perfectamente con el monoide de partición original.

Sin embargo, cuando construyeron la pista usando los idempotentes flexibles (el semigrupo libre generado por idempotentes, $IG(E)$), algo extraño sucedió. Los bucles giratorios no eran solo reorganizaciones. Eran las reorganizaciones más un reloj infinito, un tic-tac eterno en el fondo. Matemáticamente, esto es el producto directo de los enteros ( $\mathbb{Z}$ ) y el grupo simétrico ( $S_r$ ).

Los autores explican esta parte "extra" infinita conectándola con una versión misteriosa y retorcida del monoide de partición llamada el monoide de partición retorcido ( $P^\Phi_n$ ). Imagina que cada vez que dos bailarines colisionan en esta nueva pista, un pequeño contador en medio de la sala aumenta o disminuye dependiendo de cuántas piezas "flotantes" de la pista de baile quedan en el aire. Este contador nunca se detiene; puede subir hasta el infinito o bajar hasta el infinito negativo. El artículo demuestra que la versión "libre" de la pista de baile de los idempotentes hereda naturalmente este reloj que hace tic, a pesar de que el monoide de partición $P_n$ original lo olvida por completo.

Los autores están muy seguros de estos resultados. No solo conjeturaron o simularon; construyeron demostraciones matemáticas rigurosas utilizando una técnica llamada reescritura de Reidemeister–Schreier. Esto es como tomar un nudo complejo, etiquetar cada hebra y desenredarlo sistemáticamente para revelar la forma exacta de los bucles en su interior. Demostraron que para cualquier rango $r$ entre 0 y $n-2$ , el grupo basado en proyecciones es exactamente $S_r$ , mientras que el grupo basado en idempotentes es definitivamente $\mathbb{Z} \times S_r$ .

También descartaron la idea de que estas dos estructuras sean la misma. En otros mundos matemáticos (como el monoide de Temperley–Lieb), la versión de proyecciones y la versión de idempotentes son gemelos idénticos. Pero para el monoide de partición, los autores demostraron que son primos distintos. La versión de los idempotentes "libres" es estrictamente "más grande" y compleja debido a ese factor cíclico infinito $\mathbb{Z}$ .

Al final, el artículo resuelve un enigma de larga data: nos dice exactamente cómo lucen los "bucles giratorios" en estas estructuras libres. Revela que el simple acto de elegir construir con "espejos rígidos" frente a "pausas flexibles" cambia la naturaleza fundamental del grupo, añadiendo una dimensión infinita de tiempo a la mezcla. Este descubrimiento no solo ordena un problema matemático; sugiere que el "giro" del monoide de partición retorcido está en realidad escondido dentro del tejido mismo de la estructura de los idempotentes, esperando ser descubierto por cualquiera que sepa mirar.

Resumen Técnico: Subgrupos Maximales de Semigrupos Libres Generados por Proyecciones e Idempotentes con Aplicaciones a los Monoide de Particiones

Planteamiento del Problema
El artículo investiga la estructura de los subgrupos maximales dentro de dos clases específicas de semigpos libres: el semigrupo libre generado por idempotentes $IG(E)$ sobre un conjunto biordenado $E$ , y el semigrupo regular $*$ -libre generado por proyecciones $PG(P)$ sobre un álgebra de proyecciones $P$ . Si bien la relación entre la estructura de idempotentes de un semigrupo y sus subgrupos maximales está bien establecida, determinar los tipos de isomorfismo específicos de estos subgrupos para semigrupos concretos y complejos sigue siendo un desafío significativo.

Los autores se centran en el caso donde las estructuras subyacentes surgen del monoide de particiones $P_n$ . Específicamente, abordan el problema abierto de computar los subgrupos maximales de $IG(E(P_n))$ y $PG(P(P_n))$ para proyecciones e idempotentes de rango $r \le n-2$ . Una motivación central es comparar estos objetos libres con el semigrupo original $P_n$ y su submonoide de elementos generados por idempotentes, así como contrastar los resultados con casos conocidos como el monoide de transformaciones completas $T_n$ y el monoide de Temperley–Lieb $TL_n$ .

Metodología
El artículo emplea una combinación de teoría de semigrupos combinatorios, presentaciones de grupos y técnicas de reescritura topológica.

Reescritura de Reidemeister–Schreier: La herramienta principal para derivar presentaciones de subgrupos maximales es el proceso de reescritura de Reidemeister–Schreier, adaptado para semigrupos según lo desarrollado en [81]. Este método permite a los autores construir presentaciones de grupos a partir de presentaciones de semigrupos mediante el análisis de la acción del semigrupo sobre sus clases $H$ dentro de una clase $D$ regular.
Presentaciones Generales: Los autores establecen primero presentaciones generales para los subgrupos maximales de $PG(P) $e$ $e$ IG(E)$.
- Para $PG(P)$, derivan presentaciones basadas en "diamantes vinculados" (linked diamonds) y "cuadrados vinculados" (linked squares) de proyecciones, lo que refleja la topología combinatoria del álgebra de proyecciones.
- Para $IG(E)$, utilizan "cuadrados singulares" de idempotentes.
- Demuestran que $PG(P)$ es una imagen homomorfa natural de $IG(E)$, y sus presentaciones reflejan explícitamente esta relación de cociente.
Árboles de Expansión y Teoría de Grafos: Para simplificar las presentaciones, los autores utilizan árboles de expansión (spanning trees) del grafo de Graham–Houghton asociado con las clases $D$ relevantes. Al elegir árboles de expansión específicos, reducen el número de generadores y relaciones, aislando la estructura de grupo esencial.
Reducción a Monoides de Transformaciones: Un movimiento estratégico clave es reducir el problema para el monoide de particiones $P_n$ a los resultados conocidos para el monoide de transformaciones completas $T_n$ . Los autores construyen árboles de expansión específicos e identifican subconjuntos de idempotentes en $P_n$ que se comportan como los de $T_n$ , lo que les permite "importar" resultados relativos a los grupos simétricos $S_r$ .
Monoides de Particiones Retorcidos: Para explicar la aparición de un factor cíclico infinito en el caso de $IG(E)$, los autores conectan sus resultados con el monoide de particiones retorcido $P^\Phi_n$ , que comparte el mismo conjunto biordenado que $P_n$ pero retiene información sobre los "componentes flotantes" en los grafos de producto.

Contribuciones Clave y Resultados

Presentaciones Generales: El artículo proporciona presentaciones de grupos explícitas para los subgrupos maximales de $PG(P) $e$ IG(E)$ en términos de generadores y relaciones derivados de diamantes vinculados, cuadrados vinculados y cuadrados singulares. Estas presentaciones revelan la naturaleza topológica de estos grupos como grupos fundamentales de complejos construidos a partir de las estructuras algebraicas subyacentes.
El Caso del Monoide de Particiones ( $P_n$ ): Los autores computan los subgrupos maximales para $P_n$ $P_{n}$ para rangos $0 \le r \le n-2$ $0 \leq r \leq n - 2$ :
- Teorema 1.1: El subgrupo maximal del semigrupo libre generado por proyecciones $PG(P(P_n))$ correspondiente a una proyección de rango $r \le n-2$ es isomorfo al grupo simétrico $S_r$ .
- Teorema 1.2: El subgrupo maximal del semigrupo libre generado por idempotentes $IG(E(P_n))$ correspondiente a un idempotente de rango $r \le n-2$ es isomorfo al producto directo $\mathbb{Z} \times S_r$ .
Caso de Rango 0: Para el rango $r=0$ , el subgrupo maximal de $PG(P(P_n))$ es trivial, mientras que el subgrupo maximal de $IG(E(P_n))$ es isomorfo al grupo cíclico infinito $\mathbb{Z}$ .
Rango $n-1$ y $n$ : El artículo señala que para $r=n-1$ , los subgrupos son grupos libres de rango explícitamente computable, y para $r=n$ , son triviales.

Significado y Reivindicaciones
El artículo afirma que estos resultados resuelven un problema abierto de larga data respecto a los subgrupos maximales de los semigrupos libres generados por idempotentes provenientes de monoides de diagramas.

Divergencia de los Monoides de Transformaciones: A diferencia del monoide de transformaciones completas $T_n$ , donde los subgrupos maximales de $IG(E(T_n))$ son isomorfos a $S_r$ (coincidiendo con los subgrupos de $T_n$ mismo), el monoide de particiones $P_n$ exhibe un comportamiento distinto. Los subgrupos maximales de $IG(E(P_n))$ contienen un factor cíclico infinito adicional $\mathbb{Z}$ . Los autores explican esto mediante una conexión con el monoide de particiones retorcido $P^\Phi_n$ , sugiriendo que la información de "retorcimiento" (el conteo de componentes flotantes) está intrínsecamente codificada en el conjunto biordenado de $P_n$ , aunque la multiplicación estándar de $P_n$ olvida este dato.
Descripción Estructural: La determinación de estos subgrupos maximales permite una descripción estructural completa de las clases $D$ $D$ regulares de $PG(P(P_n))$ $P G (P (P_{n}))$ y de la imagen homomorfa regular $RIG(E(P_n))$ $R I G (E (P_{n}))$ .
- $PG(P(P_n))$ se describe como "casi igual" a $P_n$ , diferenciándose solo en la inflación de los subgrupos maximales de la clase $D$ de rango $n-1$ (que se convierten en grupos libres) y la ausencia de bijecciones distintas de la identidad.
- $RIG(E(P_n))$ se describe como "casi igual" al monoide de particiones retorcido $P^\Phi_n$ .
Propiedades Algorítmicas: Los autores deducen que tanto $PG(P(P_n))$ como $RIG(E(P_n))$ poseen un problema de la palabra soluble, admiten sistemas de reescritura completos finitos y son residualmente finitos.
Problemas Abiertos: El artículo concluye planteando preguntas abiertas, tales como si cada grupo puede surgir como un subgrupo maximal de un semigrupo regular $*$ -libre generado por proyecciones, y si el semigrupo libre generado por idempotentes $IG(E(P_n))$ (que contiene elementos no regulares) tiene un problema de la palabra soluble.

El trabajo establece un marco riguroso para analizar los subgrupos maximales en objetos libres generados por idempotentes y proyecciones, destacando las sutiles pero profundas diferencias entre los objetos libres generados por monoides de diagramas frente a los monoides de transformaciones.

Más como este