🔢 mathematics

The Wallace problem and countably compact torsion-free Abelian groups in ZFC

Este artigo prova em ZFC que todo grupo Abeliano livre de torção de cardinalidade $\mathfrak c$ admite uma topologia de grupo Hausdorff e enumeravelmente compacta sem sequências convergentes não triviais, fornecendo assim uma resposta negativa à questão de Wallace ao construir um semigrupo topológico comutativo de Tychonoff, enumeravelmente compacto, com cancelamento bilateral, que não é um grupo.

Autores originais: Juliane Trianon Fraga, Vinicius de Oliveira Rodrigues

Publicado 2026-08-19

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Juliane Trianon Fraga, Vinicius de Oliveira Rodrigues

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

No mundo da matemática, existe uma vasta paisagem de formas e estruturas que se comportam como números, mas seguem suas próprias regras internas. Entre estas estão os "grupos", coleções de objetos que podem ser combinados de uma maneira específica, de forma muito semelhante à adição de números, mas onde os próprios objetos podem ser padrões complexos ou listas infinitas. Quando esses grupos recebem uma "topologia", eles ganham um sentido de proximidade e distância, permitindo que matemáticos falem sobre sequências de objetos aproximando-se cada vez mais de um ponto específico, eventualmente chegando lá. Esta mistura de álgebra e geometria cria "grupos topológicos", que são centrais para a compreensão da simetria e da continuidade no universo. Um enigma particularmente persistente neste campo tem sido o de grupos "countably compact" (compactos enumeráveis). Estes são estruturas onde qualquer lista infinita de pontos deve ter um aglomerado de pontos por perto, garantindo que o espaço nunca derive para o caos. Se tal grupo existisse, ele quebraria uma suposição de longa data sobre como esses mundos matemáticos devem se comportar.

Por quase setenta e cinco anos, uma questão colocada por um matemático chamado A. D. Wallace permaneceu sem resposta. Ele perguntou se um tipo específico de estrutura matemática, conhecida como semigrupo, que é compacto o suficiente para manter os pontos sem vagar e permite o cancelamento perfeito de operações, deve necessariamente ser um grupo completo. Em termos mais simples, se você tem um sistema onde pode combinar elementos e desfazer essas combinações perfeitamente, e o sistema é densamente compactado, isso automaticamente tem que ser um grupo? A resposta era conhecida como "sim" se o sistema fosse perfeitamente compacto, mas ninguém sabia se a condição ligeiramente mais fraca de "compactação enumerável" era suficiente para forçar o mesmo resultado. Tentativas anteriores de encontrar um contraexemplo exigiam a assunção de regras extras, não provadas, sobre a natureza do infinito, deixando a questão aberta nas regras padrão da matemática.

Uma equipe de pesquisadores resolveu agora este problema usando apenas as regras padrão da matemática, sem precisar de quaisquer pressupostos extras. Eles provaram que tal contraexemplo de fato existe. Especificamente, eles construíram um objeto matemático que se comporta como um grupo em quase todos os aspectos — é livre de torção (torsion-free), o que significa que nenhum elemento se repete em um ciclo, e é compactamente enumerável, o que significa que é densamente compactado. No entanto, não é um grupo porque carece de uma propriedade crucial: não contém sequências não triviais que convergem para um limite. Nesta estrutura, você pode listar um número infinito de pontos distintos, e eles nunca se estabelecerão em um destino único, não importa como você os observe. Esta descoberta confirma que a resposta à pergunta de Wallace é "não". Um sistema pode ser densamente compactado e permitir o cancelamento perfeito sem ser um grupo completo.

Os pesquisadores alcançaram isso construindo uma coleção massiva e infinita de números e definindo uma maneira muito específica de medir a distância entre eles. Eles começaram com um grupo Abeliano livre, que é essencialmente uma coleção de vetores com coordenadas inteiras, e cuidadosamente elaboraram uma topologia, ou uma regra de proximidade, que impede que qualquer sequência converja a menos que ela eventualmente pare de mudar. Eles usaram uma técnica envolvendo "ultrafiltros", que são ferramentas sofisticadas para decidir quais conjuntos infinitos de números são "grandes" o suficiente para importar, para garantir que toda lista infinita de pontos tenha um ponto de acumulação por perto, satisfazendo o requisito de compactação. No entanto, eles simultaneamente garantiram que nenhuma lista de pontos distintos pudesse realmente alcançar um limite, preservando a propriedade de "ausência de sequências convergentes". Este delicado ato de equilíbrio foi realizado inteiramente dentro do arcabouço padrão da matemática, provando que a existência de tal estrutura é um fato fundamental, e não uma possibilidade que depende de hipóteses extras.

As implicações desta construção repercutem em várias outras áreas da matemática. Devendo o objeto que construíram ser um grupo com essas propriedades específicas, ele pode ser usado para criar outras estruturas que eram conhecidas anteriormente apenas sob condições incertas. Por exemplo, os pesquisadores mostraram que este grupo contém uma subestrutura que atua como um "semigrupo de Wallace", um sistema comutativo com cancelamento de dois lados que é compactamente enumerável, mas não é um grupo. Isso encerra um debate que persistia por décadas. Além disso, o trabalho deles fornece um exemplo concreto de um "grupo paratopológico", uma estrutura onde a operação de combinar elementos é contín-nua, mas a operação inversa não é. Isso responde a perguntas sobre se tais grupos imperfeitos podem ser densamente compactados. Eles também demonstraram que este grupo pode ser usado para construir um monoide "monotético", um sistema gerado por um único elemento, que é compactamente enumerável, mas não é um grupo.

O artigo também aborda uma questão sobre o tamanho desses espaços matemáticos. Os pesquisadores provaram que, no grupo específico que construíram, qualquer conjunto fechado infinito de pontos deve ser tão grande quanto o próprio contínuo dos números reais. Isso significa que não existem aglomerados infinitos "pequenos" escondidos dentro; se um conjunto é infinito e fechado, ele é maximamente grande. Este resultado resolve uma investigação específica sobre a densidade de pontos em tais grupos. Ao construir este objeto, os autores não apenas responderam a uma questão famosa, mas também forneceram uma ferramenta versátil que gera soluções para vários outros problemas abertos em topologia e álgebra. O trabalho deles permanece como uma prova definitiva de que o universo matemático contém essas estruturas esquivas e densamente compactadas que desafiam a intuição de que a densidade e o cancelamento devem sempre levar a um grupo. A existência desses objetos é agora um fato estabelecido, fundamentado nos axiomas padrão da matemática, mudando o panorama do que é conhecido sobre o comportamento de sistemas algébricos infinitos.

Resumo Técnico: O Problema de Wallace e Grupos Abelianos Livre de Torção Countably Compact em ZFC

1. O Problema e o Contexto
O artigo aborda dois problemas interconectados e de longa data na álgebra topológica e na topologia set-teórica, ambos os quais permaneceram em aberto em teoria de conjuntos de Zermelo–Fraenkel com o Axioma da Escolha (ZFC) por décadas.

O Problema de Wallace: Em 1955, A. D. Wallace perguntou se todo semigrupo topológico Hausdorff countabliamente compacto com cancelamento bilateral deve ser um grupo topológico. Um contraexemplo conhecido é chamado de "semigrupo de Wallace". Construções consistentes de tais semigrupos existiam sob hipóteses de teoria dos conjuntos adicionais (por exemplo, a Hipótese do Contínuo ou o Axioma de Martin), mas a existência de um semigrupo de Wallace em ZFC permaneceu uma questão aberta por 73 anos.
A Existência de Grupos Não-Torção Countably Compact: Um problema relacionado, proposto por van Douwen e Comfort, concerne à existência de um grupo topológico countabliamente compacto sem sequências convergentes não triviais que não seja um grupo de torção. Antes deste trabalho, construções em ZFC de grupos countabliamente compactos sem sequências convergentes não triviais eram limitadas a grupos de torção. Especificamente, era desconhecido se o grupo Abeliano livre sobre $\mathfrak{c}$ geradores, $Z(\mathfrak{c})$ , ou o grupo aditivo dos números reais, $\mathbb{R}$ , admitiam tais topologias em ZFC.

2. Metodologia
Os autores constroem as topologias requeridas usando uma combinação de imersão algébrica, aproximação finita uniforme e uma construção recursiva transfinita envolvendo "ultrafiltros de bloco".

Redução Algébica: Os autores estabelecem primeiro que qualquer grupo Abeliano livre de torção $G$ de cardinalidade $\mathfrak{c}$ pode ser imerso como um subgrupo da soma direta $Q(\mathfrak{c})$ tal que $Z(\mathfrak{c}) \leq G \leq Q(\mathfrak{c})$ . Isso permite que eles tratem o problema dentro do contexto de espaços vetoriais sobre $\mathbb{Q}$ com uma estrutura de base específica.
Lema de Kronecker de Aproximação Finita Uniforme: Uma ferramenta técnica central é uma versão finita uniforme do teorema de Kronecker (Lema 3.1). Este lema garante que, para qualquer conjunto finito de elementos em um grupo Abeliano e qualquer conjunto de valores alvo no grupo do círculo $\mathbb{T}$ , é possível encontrar um homomorfismo para $\mathbb{T}$ que aproxime esses alvos, desde que os alvos satisfaçam certas relações inteiras com coeficientes limitados. Isso se baseia no teorema de Stone–Weierstrass e em argumentos de compacidade de Arzelà–Ascoli.
Deleção Limitada e Independência: Para lidar com a construção infinita, os autores empregam um argumento de deleção combinatória (Lema 4.4). Dado um conjunto finito $A$ e um conjunto grande $X$ , eles identificam um subconjunto grande $Y \subseteq X$ que é "independente" de $A$ em relação a relações inteiras limitadas. Isso permite a construção de homomorfismos que são pequenos em $Y$ enquanto preservam valores em $A$ .
Ultrafiltros de Bloco e Recursão Transfinita: A construção procede enumerando todas as sequências injetivas em $G$ como $(s_\alpha)_{\alpha < \mathfrak{c}}$ . Para cada sequência, os autores definem uma estrutura de "bloco" nos números naturais $\mathbb{N}$ e associam um ultrafiltro livre $p_\alpha$ . Eles constroem recursivamente uma sequência de homomorfismos $\psi_l: G \to \mathbb{T}$ que convergem pontualmente para um homomorfismo limite $\psi$ . A construção garante que, para todo $x \in G$ não nulo, existe um homomorfismo $\psi_x$ tal que $\psi_x(x) \neq 0$ , e para toda sequência $s_\alpha$ , o limite do ultrafiltro da sequência sob a topologia construída converge para um elemento não nulo específico (especificamente, um vetor de base $e_{\iota(\alpha)}$ ). A topologia final $\tau_G$ é a topologia inicial induzida pela família desses homomorfismos $\{\psi_x : x \in G \setminus \{0\}\}$ mapeando $G$ no espaço produto $\mathbb{T}^{G \setminus \{0\}}$ .

3. Principais Contribuições e Resultados
A principal contribuição é a resolução das questões de existência em ZFC sem suposições de teoria dos conjuntos adicionais.

Teorema 1.1: Em ZFC, todo grupo Abeliano livre de torção de cardinalidade $\mathfrak{c}$ $c$ admite uma topologia de grupo countabliamente compacta Hausdorff na qual toda sequência convergente é eventualmente constante (ou seja, não há sequências convergentes não triviais).
- Isso resolve o problema de Tkachenko para o grupo Abeliano livre $Z(\mathfrak{c})$ .
- Resolve a questão para o grupo de Baer–Specker $Z^\omega$ .
- Resolve a questão para o grupo aditivo dos números reais $\mathbb{R}$ (via o isomorfismo $Q(\mathfrak{c}) \cong \mathbb{R}$ ).
Corolário 1.3 (O Semigrupo de Wallace): Ao especializar a construção para o cone não negativo $P$ de $Z(\mathfrak{c})$ , os autores provam a existência em ZFC de um semigrupo topológico comutativo de Tychonoff, countabliamente compacto, com cancelamento bilateral que não é um grupo. Isso fornece uma resposta negativa à questão de Wallace de 1955.
Consequências Adicionais: O artigo demonstra que o teorema principal implica vários outros resultados anteriormente conhecidos apenas sob hipóteses adicionais:
- A existência em ZFC de um semigrupo topológico de Tychonoff countabliamente compacto contendo uma cópia do semigrupo bicíclico.
- A existência em ZFC de um grupo paratopológico funcionalmente Hausdorff countabliamente compacto que não é um grupo topológico (respondendo às questões de Guran).
- A existência em ZFC de um monóide topológico monotético Hausdorff countabliamente compacto que é um submonóide de um grupo topológico, mas não um grupo.
- A existência de um grupo Abeliano livre countabliamente compacto onde cada subconjunto fechado infinito tem cardinalidade pelo menos $\mathfrak{c}$ .

4. Significância
O artigo afirma resolver um problema de 73 anos sobre o semigrupo de Wallace inteiramente dentro de ZFC. Antes deste trabalho, a existência de tais semigrupos era conhecida apenas sob axiomas de teoria dos conjuntos mais fortes. Ao construir um grupo Abeliano livre de torção countabliamente compacto sem sequências convergentes não triviais em ZFC, os autores unem e resolvem múltiplas questões relacionadas sobre a estrutura de grupos countabliamente compactos, grupos paratopológicos e conjuntos adequados, demonstrando que a obstrução para a existência dessas estruturas em ZFC não era inerente aos axiomas, mas sim à falta de uma técnica de construção específica.

Os autores explicitamente observam que sua construção depende da injetividade do grupo do círculo $\mathbb{T}$ na categoria de grupos abelianos e de uma interação cuidadosa entre argumentos de deleção combinatória e aproximação analítica via polinômios trigonométricos. O resultado é apresentado como uma solução definitiva para os problemas declarados, sem dependência da Hipótese do Contínuo ou do Axioma de Martin.

Mais como este