🔢 mathematics

Power Semigroups and Two Rigidity Theorems for Groups

Este artículo establece que dos grupos son isomorfos si sus semigrupos de potencias son isomorfos, y extiende este resultado de rigidez al caso finitario para subgrupos aditivos de los racionales mediante el aprovechamiento del teorema de Evertse–Schlickewei–Schmidt.

Autores originales: Shuolin Liu, Salvatore Tringali

Publicado 2026-06-02

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Shuolin Liu, Salvatore Tringali

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 que tienes una caja de piezas de Lego. En el mundo de las matemáticas, esta caja se llama un Grupo (llamémoslo $H$ ). Tiene reglas específicas sobre cómo encajan sus piezas.

Ahora, imagina que tomas cada posible montón de piezas que puedes formar con esa caja y lo pones en una nueva caja más grande. Esta nueva caja se llama Semigrupo de Potencia (llamémoslo $P(H)$ ). La regla para esta nueva caja es simple: si tomas un montón de la izquierda y un montón de la derecha, los machacas para formar un montón nuevo y más grande.

La gran pregunta que se hacen los autores, Shuolin Liu y Salvatore Tringali, es: Si solo ves la "caja de montones" ( $P(H)$ ), ¿puedes averiguar exactamente cómo era la "caja de piezas" ( $H$ ) original?

En otras palabras, si dos cajas de piezas diferentes producen cajas de montones que se ven exactamente iguales (matemáticamente idénticas), ¿significa eso que las cajas de piezas originales también eran idénticas?

Los dos descubrimientos principales

El artículo demuestra dos cosas, una que es relativamente sencilla y otra que es increíblemente difícil.

1. El resultado del "Montón Infinito" (El fácil)

La afirmación: Si observas la caja que contiene todos los posibles montones (incluso los infinitos), y encuentras que dos grupos diferentes producen cajas de montones idénticas, entonces los grupos originales deben ser idénticos.

La analogía: Imagina que tienes un espejo mágico que te muestra cada combinación posible de tus piezas de Lego. Si dos personas distintas te muestran sus espejos mágicos y los reflejos son indistinguibles, los autores demuestran que esas dos personas debieron empezar con exactamente el mismo conjunto de piezas.

Cómo lo hicieron: Encontraron una "huella dactilar" especial en la caja de montones. Dentro de la caja de montones, hay ciertos montones especiales que actúan como la "identidad" (la mano vacía o la pieza única que no cambia nada cuando se añade). Demostraron que si tienes un mapa entre dos cajas de montones, este mapa debe preservar estos "montones de identidad" especiales. Dado que estos montones de identidad corresponden directamente a las piezas originales, el mapa obliga a que los grupos originales sean los mismos.

2. El resultado del "Montón Finito" (El difícil)

La afirmación: Esta es la parte truculenta. ¿Qué pasa si solo observas montones hechos con un número finito de piezas? (Esto se llama el "semigrupo de potencia finitaria"). Los autores demuestran que si el grupo original es un tipo específico de sistema numérico (un subgrupo de los números racionales, como las fracciones), entonces la misma regla se cumple: si las cajas de montones finitos son idénticas, los grupos originales son idénticos.

La analogía: Ahora, imagina que solo tienes permitido mirar montones con, digamos, 10 piezas o menos. ¿Puedes seguir sabiendo si las cajas de piezas originales eran las mismas? Los autores dicen sí, pero solo si las piezas originales eran fracciones (como 1/2, 3/4, etc.).

¿Por qué es esto tan difícil?
Cuando te limitas a montones finitos, pierdes parte de la información "global" que hizo que la primera prueba fuera fácil. Es como intentar adivinar la forma de un edificio entero mirando solo unos pocos ladrillos dispersos.

El arma secreta:
Para resolver esto, los autores tuvieron que usar una herramienta muy poderosa, casi mágica, de otra rama de las matemáticas llamada Teoría de Números (específicamente, un teorema de Evertse, Schlickewei y Schmidt).

Aquí está la metáfora creativa de su lógica:

Sospecharon que si los grupos originales fueran diferentes, la "caja de montones finitos" tendría una estructura extraña y caótica.
Tradujeron esta estructura en un problema matemático sobre los números de Fibonacci (la famosa secuencia: 1, 1, 2, 3, 5, 8...).
Se preguntaron: "¿Podemos escribir estos números de Fibonacci como una suma de potencias de 2 (como $2^3 + 2^0$ ) usando solo un número pequeño y fijo de términos?"
Demostraron que para la mayoría de los números de Fibonacci, la respuesta es no. Se necesitan cada vez más términos a medida que los números crecen.
Sin embargo, si la "caja de montones finitos" proviniera de una estructura extraña, no perteneciente a un grupo, obligaría a que los números de Fibonacci se escribieran de una manera que viola esta regla.
Como la regla del "teorema mágico" dice que esta violación es imposible, la "estructura extraña" no puede existir. Por lo tanto, el grupo original debe ser el "bueno" (un grupo).

Resumen

El Problema: ¿Puedes identificar un grupo simplemente mirando la colección de todos sus subconjuntos?
Resultado 1: Sí, si observas todos los subconjuntos (incluso los infinitos).
Resultado 2: Sí, si observas subconjuntos finitos, siempre que el grupo esté compuesto por fracciones (números racionales).
El Giro: Probar la segunda parte requirió conectar la forma de los "montones de subconjuntos" con el comportamiento de los números de Fibonacci y utilizar un teorema profundo sobre cómo se pueden sumar los números.

El artículo esencialmente dice: "La estructura de un grupo es tan rígida que, incluso si la escondes dentro de una caja de todas sus combinaciones posibles, la caja revela sus secretos".

Resumen Técnico: Semigrupos de Potencia y Dos Teoremas de Rigidez para Grupos

Planteamiento del Problema
El artículo aborda el problema del isomorfismo para los semigrupos de potencia. Dado un semigrupo $H$ , sea $P(H)$ el "semigrupo de potencia grande" (el conjunto de todos los subconjuntos no vacíos de $H$ bajo la multiplicación de conjuntos) y $P_{fin}(H)$ el "semigrupo de potencia finitaria" (el conjunto de todos los subconjuntos finitos no vacíos de $H$ ). Las cuestiones centrales investigadas son:

Rigidez Global: Si $H$ pertenece a una clase específica de semigrupos $\mathcal{O}$ y $P(H) \cong P(K)$ para algún semigrupo $K$ , ¿se sigue que $K \in \mathcal{O}$ y $H \cong K$ ?
Rigidez Finitaria: Del mismo modo, si $P_{fin}(H) \cong P_{fin}(K)$ , ¿se sigue que $K \in \mathcal{O}$ y $H \cong K$ ?

Si bien se sabe que la clase de todos los grupos está globalmente determinada (es decir, $P(H) \cong P(K) \implies H \cong K$ para grupos), el comportamiento del semigrupo de potencia finitaria $P_{fin}(H)$ para grupos infinitos es menos comprendido. El artículo se dirige específicamente a la rigidez de $P_{fin}(H)$ cuando $H$ es un subgrupo aditivo de los números racionales $\mathbb{Q}$ .

Metodología
Los autores emplean una combinación de teoría de semigrupos estructurales, teoría de números combinatoria y geometría diofántica.

Análisis Estructural de Isomorfismos: En el entorno infinitario (Sección 2), los autores analizan los isomorfismos globales $f: P(H) \to P(K)$ . Introducen el concepto de elementos "estables respecto a la unidad" en los semigrupos de potencia para demostrar que cualquier isomorfismo global entre monoides se restringe a un isomorfismo entre sus respectivos grupos de unidades. Este resultado estructural les permite deducir que si $H$ es un grupo y $P(H) \cong P(K)$ , entonces $K$ también debe ser un grupo.
Conexiones Combinatorias: En el entorno finitario (Secciones 3 y 4), la demostración se basa en establecer una conexión entre la estructura de $P_{fin}(H)$ y la sucesión de Fibonacci. Específicamente, los autores demuestran que el número de soluciones $X \in P_{fin}(H)$ a la ecuación $\{0, 1\} + X = \{0, 1, \dots, n\}$ (donde $H$ contiene un elemento de orden infinito) es exactamente el número de Fibonacci $F_n$ .
Teoría de Representación y Cotas Diofánticas: Definen "representaciones binarias con signo indexadas" (sumas de la forma $\sum 2^{e_i}\epsilon_i$ ). Utilizan un resultado profundo de la geometría diofántica —el teorema de Evertse–Schlickewei–Schmidt sobre soluciones no degeneradas de ecuaciones lineales en grupos multiplicativos— para mostrar que, para cualquier longitud $k$ fija, solo un número finito de números de Fibonacci $F_n$ admiten una representación binaria con signo indexada de longitud a lo sumo $k$ .
Reducción a la Trivialidad: La demostración del teorema principal procede por contradicción. Asumiendo que $P_{fin}(H) \cong P_{fin}(K)$ donde $H \le \mathbb{Q}$ , los autores establecen primero una división estructural $K \cong L \times H$ , donde $L$ es un submonoide con un grupo de unidades trivial. Luego demuestran que si $L$ fuera no trivial, el tamaño de ciertos conjuntos en $P_{fin}(K)$ estaría acotado, lo que conduciría a una contradicción con las propiedades de crecimiento de los números de Fibonacci y los resultados de finitud derivados del teorema de Evertse–Schlickewei–Schmidt.

Contribuciones Clave y Resultados

Teorema 1.3 (Rigidez Infinitaria): Los autores proporcionan una prueba de que si $H$ es un grupo y $K$ es un semigrupo tal que $P(H) \cong P(K)$ , entonces $H \cong K$ . Esto se establece como un corolario de un resultado más general (Teorema 2.3): todo isomorfismo global de un monoide $H$ a un monoide $K$ se restringe a un isomorfismo global del grupo de unidades $H^\times$ al de $K^\times$ .
Teorema 1.4 (Rigidez Finitaria para Subgrupos de $\mathbb{Q}$ ): El artículo demuestra que si $H$ es un subgrupo aditivo de los números racionales $\mathbb{Q}$ y $K$ es un semigrupo tal que $P_{fin}(H) \cong P_{fin}(K)$ , entonces $H \cong K$ . Esto resuelve el problema de la rigidez finitaria para la clase de grupos isomorfos a subgrupos de $\mathbb{Q}$ (que incluye a $\mathbb{Z}$ , $\mathbb{Q}$ , y grupos como $\mathbb{Z}[1/p]$ ).
Lema Combinatorio (Proposición 3.2): El artículo establece un vínculo novedoso entre los semigrupos de potencia y la sucesión de Fibonacci, mostrando que el número de soluciones a una ecuación de suma de conjuntos específica en un monoide con un elemento de orden infinito viene dado por los números de Fibonacci.
Finitud de Representaciones (Lema 3.4): Los autores demuestran que para cualquier $k$ fijo, existen solo un número finito de $n$ tales que el número de Fibonacci $F_n$ tiene una representación binaria con signo indexada de longitud a lo sumo $k$ . Este resultado se deriva del teorema de Evertse–Schlickewei–Schmidt.

Significancia y Reivindicaciones
El artículo afirma resolver el problema del isomorfismo finitario para una clase fundamental de grupos infinitos (subgrupos de $\mathbb{Q}$ ), un caso señalado como "considerablemente más difícil" que el caso infinitario. La significancia reside en la metodología: la prueba del teorema de rigidez finitaria depende, de una manera "circuitaria", de un caso especial del teorema de Evertse–Schlickewei–Schmidt, un resultado de la teoría de ecuaciones lineales en grupos multiplicativos. Esto conecta la teoría estructural de los semigrupos de potencia con resultados profundos de la geometría diofántica.

Los autores declaran explícitamente que la prueba para el caso finitario no puede derivarse de los resultados infinitarios porque el grupo de unidades de un monoide infinito no necesariamente pertenece al semigrupo de potencia finitaria, lo que impide la aplicación directa de los argumentos de estabilidad de la unidad utilizados en la Sección 2.

Direcciones Futuras
El artículo concluye con la conjetura de que la Pregunta 1.2(2) (rigidez finitaria) tiene una respuesta positiva para la clase de todos los grupos. Los autores sugieren que el siguiente paso lógico es resolver la cuestión para los grupos abelianos libres de torsión, señalando que su resultado actual cubre el caso específico de los subgrupos de $\mathbb{Q}$ . También plantean una pregunta abierta sobre si un isomorfismo entre semigrupos de potencia finitos de monoides debe restringirse a un isomorfismo entre sus respectivos grupos de unidades finitos.

Los dos descubrimientos principales

1. El resultado del "Montón Infinito" (El fácil)

2. El resultado del "Montón Finito" (El difícil)

Resumen

Más como este