🔢 mathematics

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

Questo articolo dimostra in ZFC che ogni gruppo abeliano privo di torsione di cardinalità $\mathfrak c$ ammette una topologia di gruppo di Hausdorff e compatto numerabile senza sequenze convergenti non triviali, fornendo così una risposta negativa alla domanda di Wallace attraverso la costruzione di un semigruppo topologico di Tychonoff commutativo, compatto numerabile e con cancellazione bilaterale, che non è un gruppo.

Autori originali: Juliane Trianon Fraga, Vinicius de Oliveira Rodrigues

Pubblicato 2026-08-19

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Juliane Trianon Fraga, Vinicius de Oliveira Rodrigues

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Nel mondo della matematica, esiste un vasto panorama di forme e strutture che si comportano come i numeri, ma seguono le proprie regole interne. Tra queste ci sono i "gruppi", collezioni di oggetti che possono essere combinati in un modo specifico, molto simile all'addizione dei numeri, ma dove gli oggetti stessi potrebbero essere schemi complessi o liste infinite. Quando a questi gruppi viene data una "topologia", essi acquisiscono un senso di vicinanza e distanza, permettendo ai matematici di parlare di sequenze di oggetti che si avvicinano sempre più a un punto specifico, arrivandovi infine. Questa fusione di algebra e geometria crea i "gruppi topologici", che sono centrali per comprendere la simmetria e la continuità nell'universo. Un enigma particolarmente ostinato in questo campo ha riguardato i gruppi "numericamente compatti" (countably compact). Questi sono strutture in cui ogni lista infinita di punti deve avere un gruppo di punti nelle vicinanze, assicurando che lo spazio non si disperda nel caos. Per decenni, i matematici si sono chiesti se un tipo specifico di questi gruppi, che non hanno cicli ripetuti e permettono la perfetta cancellazione delle operazioni, potesse esistere senza che alcuna sequenza di punti converga effettivamente verso un limite. Se un tale gruppo fosse esistito, avrebbe infranto un presupposto di lunga data su come questi mondi matematici debbano comportarsi.

Per quasi settantacinque anni, una domanda posta da un matematico di nome A. D. Wallace è rimasta senza risposta. Egli chiese se un tipo specifico di struttura matematica, noto come semigruppo, che sia abbastanza compatto da impedire ai punti di vagare via e che permetta la perfetta cancellazione delle operazioni, debba necessariamente essere un gruppo completo. In termini più semplici, se hai un sistema in cui puoi combinare elementi e annullare tali combinazioni perfettamente, e il sistema è densamente compattato, deve automaticamente essere un gruppo? La risposta era nota per essere "sì" se il sistema fosse stato perfettamente compatto, ma nessuno sapeva se la condizione leggermente più debole di "compattezza numerica" fosse sufficiente a forzare lo stesso risultato. I tentativi precedenti di trovare un controesempio richiedevano l'assunzione di regole supplementari e non provate sulla natura dell'infinito, lasciando la questione aperta nelle regole standard della matematica.

Un team di ricercatori ha ora risolto questo problema utilizzando solo le regole standard della matematica, senza necessitare di assunzioni extra. Hanno dimostrato che un tale controesempio esiste effettivamente. Nello specifico, hanno costruito un oggetto matematico che si comporta come un gruppo in quasi ogni modo: è privo di torsione (torsion-free), il che significa che nessun elemento si ripete in un ciclo, e è numericamente compatto, il che significa che è densamente compattato. Tuttavia, non è un gruppo perché manca di una proprietà cruciale: non contiene sequenze non triviali che convergano a un limite. In questa struttura, puoi elencare un numero infinito di punti distinti, e essi non si stabilizzeranno mai verso una destinazione singola, indipendentemente da come li si osservi. Questa scoperta conferma che la risposta alla domanda di Wallace è "no". Un sistema può essere densamente compattato e permettere la perfetta cancellazione senza essere un gruppo completo.

I ricercatori hanno ottenuto questo costruendo una massiccia collezione infinita di numeri e definendo un modo molto specifico per misurare la distanza tra di essi. Sono partiti da un gruppo Abeliano libero, che è essenzialmente una collezione di vettori con coordinate intere, e hanno sapientemente elaborato una topologia, o una regola di vicinanza, che impedisce a qualsiasi sequenza di convergere a meno che non smetta eventualmente di cambiare. Hanno utilizzato una tecnica che coinvolge gli "ultrafiltri", strumenti sofisticati per decidere quali insiemi infiniti di numeri siano abbastanza "grandi" da contare, per garantire che ogni possibile lista infinita di punti abbia un punto di accumulazione nelle vicinanze, soddisfacendo il requisito di compattezza. Eppure, hanno simultaneamente garantito che nessuna lista di punti distinti potesse effettivamente raggiungere un limite, preservando la proprietà di "assenza di sequenze convergenti". Questo delicato equilibrio è stato eseguito interamente all'interno del quadro standard della matematica, dimostrando che l'esistenza di tale struttura è un fatto fondamentale, non una possibilità che dipende da ipotesi extra.

Le implicazioni di questa costruzione si propagano in diverse altre aree della matematica. Poiché l'oggetto che hanno costruito è un gruppo con queste specifiche proprietà, può essere utilizzato per creare altre strutture che erano precedentemente note solo sotto condizioni incerte. Ad esempio, i ricercatori hanno dimostrato che questo gruppo contiene una sottostruttura che agisce come un "semigruppo di Wallace", un sistema commutativo con cancellazione bilaterale, che è numericamente compatto ma non un gruppo. Ciò risolve un dibattito che persisteva da decenni. Inoltre, il loro lavoro fornisce un esempio concreto di un "gruppo paratopologico", una struttura in cui l'operazione di combinare elementi è continua, ma l'operazione inversa non lo è. Questo risponde alle domande sul fatto che tali gruppi imperfetti possano essere densamente compattati. Hanno anche dimostrato che questo gruppo può essere usato per costruire un monoide "monotetico", un sistema generato da un singolo elemento, che è numericamente compatto ma non un gruppo.

Il documento affronta anche una domanda sulla dimensione di questi spazi matematici. I ricercatori hanno dimostrato che, nello specifico gruppo che hanno costruito, qualsiasi insieme chiuso infinito di punti deve essere grande quanto l'intero continuo dei numeri reali. Ciò significa che non esistono cluster infiniti "piccoli" nascosti all'interno; se un insieme è infinito e chiuso, è massimamente grande. Questo risultato risolve un'indagine specifica sulla densità dei punti in tali gruppi. Costruendo questo oggetto, gli autori non hanno solo risposto a una famosa domanda, ma hanno anche fornito uno strumento versatile che genera soluzioni a diversi altri problemi aperti in topologia e algebra. Il loro lavoro costituisce una prova definitiva che l'universo matematico contiene queste strutture elusive e densamente compattate che sfidano l'intuizione secondo cui la compattezza e la cancellazione debbano sempre portare a un gruppo. L'esistenza di questi oggetti è ora un fatto risolto, basato sugli assiomi standard della matematica, cambiando il panorama di ciò che è noto riguardo al comportamento degli infiniti sistemi algebrici.

Sintesi Tecnica: Il Problema di Wallace e i Gruppi Abeliani Torsione-Free Countably Compact in ZFC

1. Il Problema e il Contesto
L'articolo affronta due problemi interconnessi e di lunga data nella teoria dei semigruppi topologici e nella topologia set-teoretica, entrambi rimasti aperti in Zermelo–Fraenkel con l'Assioma della Scelta (ZFC) per decenni.

Il Problema di Wallace: Nel 1955, A. D. Wallace chiese se ogni semigruppo topologicoamente compatto numerabile (countably compact) di Hausdorff con cancellazione bilaterale debba essere un gruppo topologico. Un controesempio è noto come "semigruppo di Wallace". Esistevano costruzioni coerenti di tali semigruppi sotto ipotesi set-teoretiche aggiuntive (ad esempio, l'Ipotesi del Continuo o l'Assioma di Martin), ma l'esistenza di un semigruppo di Wallace in ZFC rimaneva una questione aperta per 73 anni.
L'Esistenza di Gruppi Countably Compact Non-Torsione: Un problema correlato, posto da van Douwen e Comfort, riguarda l'esistenza di un gruppo topologico countably compact senza sequenze convergenti non triviali che non sia un gruppo di torsione. Prima di questo lavoro, le costruzioni in ZFC di gruppi countably compact senza sequenze convergenti non triviali erano limitate ai gruppi di torsione. Specificamente, non si sapeva se il gruppo Abeliano libero su $\mathfrak{c}$ generatori, $Z(\mathfrak{c})$ , o il gruppo additivo dei numeri reali, $\mathbb{R}$ , ammettessero tali topologie in ZFC.

2. Metodologia
Gli autori costruiscono le topologie richieste utilizzando una combinazione di embedding algebrico, approssimazione finita uniforme e una costruzione ricorsiva transfinita coinvolgente "ultrafiltri a blocchi" (block ultrafilters).

Riduzione Algebrica: Gli autori stabiliscono innanzitutto che qualsiasi gruppo Abeliano senza torsione $G$ di cardinalità $\mathfrak{c}$ può essere immerso come sottogruppo della somma diretta $Q(\mathfrak{c})$ tale che $Z(\mathfrak{c}) \leq G \leq Q(\mathfrak{c})$ . Ciò consente loro di trattare il problema nel contesto di spazi vettoriali su $\mathbb{Q}$ con una specifica struttura di base.
Lemma di Kronecker Finito Uniforme: Uno strumento tecnico centrale è una versione finita uniforme del teorema di Kronecker (Lemma 3.1). Questo lemma assicura che, per ogni insieme finito di elementi in un gruppo Abeliano e per ogni valore target nel gruppo circolare $\mathbb{T}$ , si possa trovare un omomorfismo verso $\mathbb{T}$ che approssimi tali target, a condizione che i target soddisfino determinate relazioni intere con coefficienti limitati. Ciò si basa sul teorema di Stone–Weierstrass e su argomenti di compattezza di Arzelà–Ascoli.
Eliminazione Limitata e Indipendenza: Per gestire la costruzione infinita, gli autori impiegano un argomento di eliminazione combinatoria (Lemma 4.4). Dato un insieme finito $A$ e un grande insieme $X$ , identificano un grande sottoinsieme $Y \subseteq X$ che sia "indipendente" da $A$ rispetto alle relazioni intere limitate. Ciò permette la costruzione di omomorfismi che siano piccoli su $Y$ pur preservando i valori su $A$ .
Ultrafiltri a Blocchi e Ricorsione Transfinita: La costruzione procede enumerando tutte le sequenze iniettive in $G$ come $(s_\alpha)_{\alpha < \mathfrak{c}}$ . Per ogni sequenza, gli autori definiscono una struttura "a blocchi" sugli interi naturali $\mathbb{N}$ e associano un ultrafiltro libero $p_\alpha$ . Costruiscono ricorsivamente una sequenza di omomorfismi $\psi_l: G \to \mathbb{T}$ che convergono puntualmente a un omomorfismo limite $\psi$ . La costruzione assicura che per ogni $x \in G$ non nullo, esista un omomorfismo $\psi_x$ tale che $\psi_x(x) \neq 0$ , e che per ogni sequenza $s_\alpha$ , il limite dell'ultrafiltro della sequenza sotto la topologia costruita converga a un elemento non nullo specifico (nello specifico, un vettore base $e_{\iota(\alpha)}$ ). La topologia finale $\tau_G$ è la topologia iniziale indotta dalla famiglia di questi omomorfismi $\{\psi_x : x \in G \setminus \{0\}\}$ che mappano $G$ nel prodotto dello spazio $\mathbb{T}^{G \setminus \{0\}}$ .

3. Contributi Chiave e Risultati
Il contributo primario è la risoluzione delle questioni di esistenza in ZFC senza ipotesi set-teoretiche aggiuntive.

Teorema 1.1: In ZFC, ogni gruppo Abeliano senza torsione di cardinalità $\mathfrak{c}$ $c$ ammette una topologia di gruppo Hausdorff countably compact in cui ogni sequenza convergente è eventualmente costante (ovvero, non esistono sequenze convergenti non triviali).
- Questo risolve il problema di Tkachenko per il gruppo Abeliano libero $Z(\mathfrak{c})$ .
- Risolve la questione per il gruppo di Baer–Specker $Z^\omega$ .
- Risolve la questione per il gruppo additivo dei numeri reali $\mathbb{R}$ (tramite l'isomorfismo $Q(\mathfrak{c}) \cong \mathbb{R}$ ).
Corollario 1.3 (Il Semigruppo di Wallace): Specializzando la costruzione al cono non negativo $P$ di $Z(\mathfrak{c})$ , gli autori dimostrano l'esistenza in ZFC di un semigruppo topologico commutativo, Tychonoff, countably compact con cancellazione bilaterale che non è un gruppo. Ciò fornisce una risposta negativa alla domanda di Wallace del 1955.
Ulteriori Conseguenze: L'articolo dimostra che il teorema principale implica diversi altri risultati precedentemente noti solo sotto ipotesi aggiuntive:
- L'esistenza in ZFC di un semigruppo topologico Tychonoff countably compact contenente una copia del semigruppo biciclico.
- L'esistenza in ZFC di un gruppo paratopologico countably compact, funzionalmente Hausdorff, che non è un gruppo topologico (rispondendo alle domande di Guran).
- L'esistenza in ZFC di un monoidio topologico monotetico Hausdorff countably compact che è un sottomonoidio di un gruppo topologico ma non un gruppo.
- L'esistenza in ZFC di un gruppo Abeliano libero countably compact dove ogni sottoinsieme chiuso infinito ha cardinalità almeno $\mathfrak{c}$ .

4. Significato
L'articolo sostiene di risolvere un problema aperto di 73 anni riguardante il semigruppo di Wallace interamente all'interno di ZFC. Prima di questo lavoro, l'esistenza di tali semigruppi era nota solo sotto assiomi set-teoretici più forti. Costruendo un gruppo senza torsione, countably compact e senza sequenze convergenti non triviali in ZFC, gli autori colmano il divario tra la teoria dei gruppi topologici e la teoria dei semigruppi, dimostrando che il "fenomeno di Wallace" non è un artefatto di specifici modelli set-teoretici, ma una caratteristica di ZFC stesso. Il lavoro unifica e risolve molteplici questioni correlate sulla struttura dei gruppi countably compact, dei gruppi paratopologici e di particolari insiemi, dimostrando che l'ostacolo all'esistenza di tali strutture in ZFC non era inerente agli assiomi, ma alla mancanza di una specifica tecnica di costruzione.

Gli autori notano esplicitamente che la loro costruzione si basa sull'iniettività del gruppo circolare $\mathbb{T}$ nella categoria dei gruppi Abeliani e su un attento interplay tra argomenti di eliminazione combinatoria e approssimazione analitica tramite polinomi trigonometrici. Il risultato è presentato come una soluzione definitiva ai problemi esposti, senza alcuna dipendenza dall'Ipotesi del Continuo o dall'Assioma di Martin.

Articoli simili