Power Semigroups and Two Rigidity Theorems for Groups

Resumo Técnico: Semigrupos de Potência e Dois Teoremas de Rigidez para Grupos

Enunciado do Problema
O artigo aborda o problema do isomorfismo para semigrupos de potência. Dado um semigrupo $H$, seja $P(H)$ o "semigrupo de potência grande" (o conjunto de todos os subconjuntos não vazios de $H$ sob multiplicação de conjuntos) e $P_{fin}(H)$ o "semigrupo de potência finitária" (o conjunto de todos os subconjuntos finitos não vazios de $H$). As questões centrais investigadas são:

1. Rigidez Global: Se $H$ pertence a uma classe específica de semigrupos $\mathcal{O}$ e $P(H) \cong P(K)$ para algum semigrupo $K$, segue que $K \in \mathcal{O}$ e $H \cong K$?
2. Rigidez Finitária: De forma semelhante, se $P_{fin}(H) \cong P_{fin}(K)$, segue que $K \in \mathcal{O}$ e $H \cong K$?

Embora se saiba que a classe de todos os grupos é globalmente determinada (ou seja, $P(H) \cong P(K) \implies H \cong K$ para grupos), o comportamento do semigrupo de potência finitária $P_{fin}(H)$ para grupos infinitos é menos compreendido. O artigo foca especificamente na rigidez de $P_{fin}(H)$ quando $H$ é um subgrupo aditivo dos números racionais $\mathbb{Q}$.

Metodologia
Os autores empregam uma combinação de teoria estrutural de semigrupos, teoria combinatória dos números e geometria diofantina.

• Análise Estrutural de Isomorfismos: No cenário infinitário (Seção 2), os autores analisam isomorfismos globais $f: P(H) \to P(K)$. Eles introduzem o conceito de elementos "estáveis por unidade" em semigrupos de potência para provar que qualquer isomorfismo global entre monoides restringe-se a um isomorfismo entre seus respectivos grupos de unidades. Este resultado estrutural permite deduzir que, se $H$ é um grupo e $P(H) \cong P(K)$, então $K$ também deve ser um grupo.
• Conexões Combinatórias: No cenário finitário (Seções 3 e 4), a prova baseia-se no estabelecimento de uma conexão entre a estrutura de $P_{fin}(H)$ e a sequência de Fibonacci. Especificamente, os autores provam que o número de soluções $X \in P_{fin}(H)$ para a equação $\{0, 1\} + X = \{0, 1, \dots, n\}$ (onde $H$ contém um elemento de ordem infinita) é exatamente o $n$-ésimo número de Fibonacci, $F_n$.
• Teoria da Representação e Limites Diofantinos: Os autores definem "representações binárias assinadas indexadas" (somas da forma $\sum 2^{e_i}\epsilon_i$). Eles utilizam um resultado profundo da geometria diofantina — o teorema de Evertse–Schlickewei–Schmidt sobre soluções não degeneradas de equações lineares em grupos multiplicativos — para mostrar que, para qualquer comprimento $k$ fixo, apenas finitos números de Fibonacci $F_n$ admitem uma representação binária assinada indexada de comprimento no máximo $k$.
• Redução à Trivialidade: A prova do teorema principal procede por contradição. Assumindo que $P_{fin}(H) \cong P_{fin}(K)$ onde $H \le \mathbb{Q}$, os autores primeiro estabelecem uma divisão estrutural $K \cong L \times H$, onde $L$ é um submonoide com um grupo de unidades trivial. Eles então demonstram que, se $L$ fosse não trivial, o tamanho de certos conjuntos em $P_{fin}(K)$ seria limitado, levando a uma contradição com as propriedades de crescimento dos números de Fibonacci e os resultados de finitude derivados do teorema de Evertse–Schlickewei–Schmidt.

Principais Contribuições e Resultados

1. Teorema 1.3 (Rigidez Infinitária): Os autores fornecem uma prova de que, se $H$ é um grupo e $K$ é um semigrupo tal que $P(H) \cong P(K)$, então $H \cong K$. Isto é estabelecido como um corolário de um resultado mais geral (Teorema 2.3): todo isomorfismo global de um monoide $H$ para um monoide $K$ restringe-se a um isomorfismo global do grupo de unidades $H^\times$ para $K^\times$.
2. Teorema 1.4 (Rigidez Finitária para Subgrupos de $\mathbb{Q}$): O artigo prova que, se $H$ é um subgrupo aditivo dos números racionais $\mathbb{Q}$ e $K$ é um semigrupo tal que $P_{fin}(H) \cong P_{fin}(K)$, então $H \cong K$. Isto resolve o problema da rigidez finitária para a classe de grupos isomorfos a subgrupos de $\mathbb{Q}$ (que inclui $\mathbb{Z}$, $\mathbb{Q}$ e grupos como $\mathbb{Z}[1/p]$).
3. Lema Combinatório (Proposição 3.2): O artigo estabelece uma nova ligação entre semigrupos de potência e a sequência de Fibonacci, mostrando que o número de soluções para uma equação específica de adição de conjuntos em um monoide com um elemento de ordem infinita é dado pelos números de Fibonacci.
4. Finitude de Representações (Lema 3.4): Os autores provam que, para qualquer $k$ fixo, existem apenas finitos $n$ tais que o número de Fibonacci $F_n$ possui uma representação binária assinada indexada de comprimento no máximo $k$. Este resultado é derivado do teorema de Evertse–Schlickewei–Schmidt.

Significância e Alegações
O artigo afirma resolver o problema do isomorfismo finitário para uma classe fundamental de grupos infinitos (subgrupos de $\mathbb{Q}$), um caso observado como "consideravelmente mais difícil" que o caso infinitário. A significância reside na metodologia: a prova do teorema de rigidez finitária depende, de uma "maneira circuitória", de um caso especial do teorema de Evertse–Schlickewei–Schmidt, um resultado da teoria de equações lineares em grupos multiplicativos. Isto conecta a teoria estrutural dos semigrupos de potência com resultados profundos da geometria diofantina.

Os autores declaram explicitamente que a prova para o caso finitário não pode ser derivada dos resultados infinitários porque o grupo de unidades de um monoide infinito não precisa pertencer ao semigrupo de potência finitária, impedindo a aplicação direta dos argumentos de estabilidade de unidade usados na Seção 2.

Direções Futuras
O artigo conclui conjecturando que a Questão 1.2(2) (rigidez finitária) tem uma resposta positiva para a classe de todos os grupos. Os autores sugerem que o próximo passo lógico é resolver a questão para grupos abelianos livres de torção, observando que seu resultado atual cobre o caso específico de subgrupos de $\mathbb{Q}$. Eles também colocam uma questão aberta sobre se um isomorfismo entre semigrupos de potência finitária de monoides deve restringir-se a um isomorfismo entre seus respectivos grupos de unidades finitários.