🔢 mathematics

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

Dit artikel bewijst in ZFC dat elke torsievrije Abelische groep van kardinaliteit $\mathfrak c$ een Hausdorffel, telbaar compacte groepstopologie zonder niet-triviale convergente rijen toelaat, waarmee het een negatief antwoord geeft op de vraag van Wallace door een commutatieve Tychonoff telbaar compacte topologische semigroep met tweezijdige annulering te construeren die geen groep is.

Oorspronkelijke auteurs: Juliane Trianon Fraga, Vinicius de Oliveira Rodrigues

Gepubliceerd 2026-08-19

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Juliane Trianon Fraga, Vinicius de Oliveira Rodrigues

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

In de wereld van de wiskunde bestaat een uitgestend landschap van vormen en structuren die zich gedragen als getallen, maar hun eigen interne regels volgen. Tot deze behoren "groepen", verzamelingen van objecten die op een specifieke manier gecombineerd kunnen worden, vergelijkbaar met het optellen van getallen, maar waarbij de objecten zelf complexe patronen of oneindige lijsten kunnen zijn. Wanneer deze groepen een "topologie" krijgen, verkrijgen ze een gevoel van nabijheid en afstand, waardoor wiskundigen kunnen praten over sequenties van objecten die steeds dichter bij een specifiek punt komen, om daar uiteindelijk aan te komen. Deze versmelting van algebra en meetkunde creëert "topologische groepen", die centraal staan in het begrijpen van symmetrie en continuïteit in het universum. Een bijzonder hardnekkig puzzelstuk in dit veld heeft betrekking op "telbaar compacte" groepen. Dit zijn structuren waarin elke oneindige lijst van punten een cluster van punten in de buurt moet hebben, wat ervoor zorgt dat de ruimte nooit afdwaalt in chaos. Decennialang vro wonderden wiskundigen zich af of een specifiek type van deze groepen, die geen herhalende cycli hebben en perfecte annulering van operaties toestaan, zou kunnen bestaan zonder dat er een sequentie van punten daadwerkelijk naar een limiet convergeert. Als een dergelijke groep zou bestaan, zou het een langdurige aanname over hoe deze wiskundige werelden moeten functioneren, doorbreken.

Bijna vijfenzeventig jaar lang bleef een vraag van de wiskundige A. D. Wallace onbeantwoord. Hij vroeg of een specifiek soort wiskundige structuur, bekend als een semigroep, die compact genoeg is om punten ervan weer te houden weg te dwalen en die perfecte annulering van operaties toestaat, noodzakelijkerwijs een volwaardige groep moet zijn. In simpelere termen: als je een systeem hebt waar je elementen kunt combineren en die combinaties perfect kunt ongedaan maken, en het systeem is dicht gepakt, moet het dan automatisch een groep zijn? Het antwoord was bekend als "ja" als het systeem perfect compact was, maar niemand wist of de iets zwakkere voorwaarde van "telbare compactheid" voldoende was om hetzelfde resultaat af te dwingen. Eerdere pogingen om een tegenvoorbeeld te vinden vereisten het aannemen van extra, onbewezen regels over de aard van de oneindigheid, waardoor de vraag open bleef binnen de standaardregels van de wiskunde.

Een team van onderzoekers heeft dit probleem nu opgelost met behulp van alleen de standaardregels van de wiskunde, zonder dat daarvoor extra aannames nodig waren. Ze bewezen dat een dergelijk tegenvoorbeeld inderdaad bestaat. Specifiek construeerden zij een wiskundig object dat op bijna elk gebied zich gedraagt als een groep — het is torsievrij, wat betekent dat geen enkel element in een cyclus herhaalt, en het is telbaar compact, wat betekent dat het dicht gepakt is. Het is echter geen groep omdat het een cruciale eigenschap mist: het bevat geen niet-triviale sequenties die naar een limiet convergeren. In deze structuur kun je een oneindig aantal verschillende punten opsommen, en ze zullen nooit tot rust komen bij een enkele bestemming, hoe je het ook bekijkt. Deze ontdekking bevestigt dat het antwoord op Wallace's vraag "nee" is. Een systeem kan dicht gepakt zijn en perfecte annulering toestaan zonder een volledige groep te zijn.

De onderzoekers bereikten dit door een enorme, oneindige collectie getallen op te bouwen en een zeer specifieke manier te definiëren om de afstand tussen hen te meten. Ze begonnen met een vrije Abelse groep, wat in essentie een collectie vectoren met gehele coördinaten is, en ontwierpen zorgvuldig een topologie, of een regel voor nabijheid, die voorkomt dat een sequentie convergeert tenzij deze uiteindelijk stopt met veranderen. Ze gebruikten een techniek waarbij "ultrafilters" betrokken waren, wat geavanceerde instrumenten zijn om te beslissen welke oneindige verzamelingen getallen "groot" genoeg zijn om ertoe te doen, om te garanderen dat elke mogelijke oneindige lijst van punten een accumulatiepunt in de buurt heeft, wat aan de compactheidseis voldoet. Tegelijkertijd zorgden ze er echter voor dat geen enkele lijst van verschillende punten daadwerkelijk een limiet kon bereiken, waardoor de eigenschap van "geen convergerende sequenties" behouden bleef. Deze delicate evenwichtsoefening werd volledig uitgevoerd binnen het standaardkader van de wiskunde, waarmee werd bewezen dat het bestaan van een dergelijke structuur een fundamentele feitelijkheid is, en geen mogelijkheid die afhangt van extra hypothesen.

De implicaties van deze constructie resoneren door verschillende andere gebieden van de wiskunde. Omdat het object dat zij gebouwd hebben een groep is met deze specifie-ke eigenschappen, kan het worden gebruikt om andere structuren te creëren die voorheen alleen onder onzekere omstandigheden werden vermoed te bestaan. Zo toonden de onderzoekers aan dat deze groep een substructuur bevat die fungeert als een "Wallace-semigroep", een commutatief systeem met tweezijdige annulering dat telbaar compact is maar geen groep. Dit beslecht een debat dat decennia heeft voortgeduurd. Verder biedt hun werk een concreet voorbeeld van een "paratopologische groep", een structuur waarbij de operatie van het combineren van elementen continu is, maar de omgekeerde operatie niet. Dit beantwoordt vragen over de vraag of dergelijke imperfecte groepen dicht gepakt kunnen zijn. Ze hebben ook aangetoond dat deze groep kan worden gebruikt om een "monotetische" monoïde te bouwen, een systeem gegenereerd door één enkel element, dat telbaar compact is maar geen groep.

Het artikel behandelt ook een vraag over de grootte van deze wiskundige ruimtes. De onderzoekers bewezen dat in de specifieke groep die zij construeerden, elke oneindige gesloten verzameling punten even groot moet zijn als het gehele continuüm van de reële getallen. Dit betekent dat er geen "kleine" oneindige clusters verborgen zitten; als een verzameling oneindig en gesloten is, is zij maximaal groot. Dit resultaat lost een specifieke vraag op over de dichtheid van punten in dergelijke groepen. Door dit object te construeren, hebben de auteurs niet alleen een beroemde vraag beantwoord, maar hebben zij ook een veelzijdige tool geleverd die oplossingen genereert voor verschillende andere openstaande problemen in de topologie en algebra. Hun werk vormt een definitief bewijs dat het wiskundige universum deze ongrijpbare, dicht gepakte structuren bevat die de intuïtie tarten dat dichtheid en annulering altijd tot een groep moeten leiden. Het bestaan van deze objecten is nu een vaststaand feit, gegrond in de standaard axioma's van de wiskunde, wat het landschap van de kennis over het gedrag van oneindige algebraïsche systemen verandert.

Technische Samenvatting: Het Wallace-probleem en Telbaar Compacte Torsievrije Abelse Groepen in ZFC

1. Het Probleem en de Context
Het artikel behandelt twee onderling verbonden, langlopende problemen in de topologische algebra en de verzamelingstheoretische topologie, die beide decennialang openstonden in de Zermelo–Fraenkel verzamelingenleer met het Keuzeaxioma (ZFC).

Het Wallace-probleem: In 1955 vroeg A. D. Wallace zich af of elke Hausdorff telbaar compacte topologische semigroep met tweezijdige annulatie een topologische groep moet zijn. Een tegenvoorbeeld staat bekend als een "Wallace-semigroep". Consistente constructies van dergelijke semigroepen bestonden onder aanvullende verzamelingstheoretische hypothesen (bijv. de Continuümhypothese of Martin's Axiom), maar de existentie van een Wallace-semigroep in ZFC bleef een open vraag gedurende 73 jaar.
De Existentie van Niet-torsie Telbaar Compacte Groepen: Een gerelateerd probleem, geformuleerd door van Douwen en Comfort, betreft de existentie van een telbaar compacte topologische groep zonder niet-triviale convergente rijen die geen torsiegroep is. Vóór dit werk waren de ZFC-constructies van telbaar compacte groepen zonder niet-triviale convergente rijen beperkt tot torsiegroepen. Specifiek was het onbekend of de vrije Abelse groep op $\mathfrak{c}$ generatoren, $Z(\mathfrak{c})$ , of de optellende groep van de reële getallen, $\mathbb{R}$ , dergelijke topologieën toeliet in ZFC.

2. Methodologie
De auteurs construeren de vereiste topologieën met behulp van een combinatie van algebraïsche inbedding, uniforme eindige benadering en een transfiniete recursieve constructie met behulp van "blok-ultrafilters".

Algebraïsche Reductie: De auteurs stellen eerst vast dat elke torsievrije Abelse groep $G$ van kardinaliteit $\mathfrak{c}$ ingebed kan worden als een ondergroep van de directe som $Q(\mathfrak{c})$ zodat $Z(\mathfrak{c}) \leq G \leq Q(\mathfrak{c})$ . Dit stelt hen in staat om het probleem te behandelen binnen de context van vectorruimten over $\mathbb{Q}$ met een specifieke basisstructuur.
Uniforme Eindige Kronecker-lemma: Een centraal technisch instrument is een uniforme eindige versie van de stelling van Kronecker (Lemma 3.1). Dit lemma waarborgt dat voor elke eindige verzameling elementen in een Abelse groep en elke doelwaarde in de cirkelgroep $\mathbb{T}$ , men een homomorfisme naar $\mathbb{T}$ kan vinden dat deze doelwaarden benadert, mits de doelwaarden bepaalde gehele relaties met begrensde coëfficiënten voldoen. Dit steunt op de stelling van Stone–Weierstrass en de Arzelà–Ascoli compactheidsargumenten.
Begrensde Deletie en Onafhankelijkheid: Om de oneindige constructie te hanteren, gebruiken de auteurs een combinatorisch deletie-argument (Lemma 4.4). Gegeven een eindige verzameling $A$ en een grote verzameling $X$ , identificeren zij een grote deelverzameling $Y \subseteq X$ die "onafhankelijk" is van $A$ met betrekking tot begrensde gehele relaties. Dit maakt de constructie van homomorfismen mogelijk die klein zijn op $Y, terwijl ze waarden op $A$ behouden.
Blok-ultrafilters en Transfiniete Recursie: De constructie verloopt via het enumereren van alle injectieve rijen in $G$ als $(s_\alpha)_{\alpha < \mathfrak{c}}$ . Voor elke rij definiëren de auteurs een "blok"-structuur op de natuurlijke getallen $\mathbb{N}$ en associëren zij een vrije ultrafilter $p_\alpha$ . Zij construeren recursief een reeks homomorfismen $\psi_l: G \to \mathbb{T}$ die puntgewijs convergeren naar een limiet-homomorfisme $\psi$ . De constructie zorgt ervoor dat voor elke niet-nul $x \in G$ er een homomorfisme $\psi_x$ bestaat waarvoor $\psi_x(x) \neq 0$ , en dat voor elke rij $s_\alpha$ de ultrafilterlimiet van de rij onder de geconstrueerde topologie convergeert naar een specifiek niet-nul element (specifiek een basisvector $e_{\iota(\alpha)}$ ). De uiteindelijke topologie $\tau_G$ is de initiële topologie geïnduceerd door de familie van deze homomorfismen $\{\psi_x : x \in G \setminus \{0\}\}$ die $G$ afbeelden in de productruimte $\mathbb{T}^{G \setminus \{0\}}$ .

3. Belangrijkste Bijdragen en Resultaten
De primaire bijdrage is de oplossing van de existentievragen in ZFC zonder aanvullende verzamelingstheoretische aannames.

Stelling 1.1: In ZFC laat elke torsievrije Abelse groep van kardinaliteit $\mathfrak{c}$ $c$ een Hausdorff telbaar compacte groptopologie toe waarin elke convergente rij uiteindelijk constant is (d.w.z. er zijn geen niet-triviale convergente rijen).
- Dit lost het Tkachenko-probleem op voor de vrije Abelse groep $Z(\mathfrak{c})$ .
- Dit lost de vraag op voor de Baer–Specker groep $Z^\omega$ .
- Dit lost de vraag op voor de optellende groep van de reële getallen $\mathbb{R}$ (via de isomorfie $Q(\mathfrak{c}) \cong \mathbb{R}$ ).
Corollary 1.3 (De Wallace-semigroep): Door de constructie te specialiseren naar de niet-negatieve kegel $P$ van $Z(\mathfrak{c})$ , bewijzen de auteurs de existentie in ZFC van een commutatieve Tychonoff telbaar compacte topologische semigroep met tweezijdige annulatie die geen groep is. Dit levert een negatief antwoord op de Wallace-vraag uit 1955.
Verdere Gevolgen: Het artikel demonstreert dat de hoofdstelling verschillende andere resultaten impliceert die voorheen alleen bekend waren onder aanvullende hypothesen:
- De existentie in ZFC van een Tychonoff telbaar compacte topologische semigroep die een kopie bevat van de bicyclische semigroep.
- De existentie in ZFC van een functioneel Hausdorff telbaar compacte paratopologische groep die geen topologische groep is (antwoord op de vragen van Guran).
- De existentie in ZFC van een Hausdorff telbaar compacte monotetische topologische monoïde die een submonoïde is van een topologische groep maar geen groep.
- De existentie van een telbaar compacte vrije Abelse groep waar elke oneindige gesloten deelverzameling een kardinaliteit van ten minste $\mathfrak{c}$ heeft.

4. Betekenis
Het artikel beweert een 73 jaar oud openstaand probleem betreffende de Wallace-semigroep volledig binnen ZFC te hebben beslecht. Vooraf aan dit werk was de existentie van dergelijke semigroepen alleen bekend onder sterkere verzamelingstheoretische axioma's. Door een torsievrije telbaar compacte groep zonder niet-triviale convergente rijen in ZFC te construeren, overbruggen de auteurs de kloof tussen topologische groentheorie en semigroeptheorie, waarbij zij aantonen dat het "Wallace-fenomeen" niet een artefact is van specifieke verzamelingenmodellen, maar een kenmerk van ZFC zelf. Het werk verenigt en lost meerdere gerelateerde vragen op betreffende de structuur van telbaar compacte groepen, paratopologische groepen en geschikte verzamelingen, en toont aan dat de obstructie voor het bestaan van deze structuren in ZFC niet inherent was aan de axioma's, maar aan het gebrek aan een specifieke constructietechniek.

De auteurs merken expliciet op dat hun constructie steunt op de injectiviteit van de cirkelgroep $\mathbb{T}$ in de categorie van Abelse groepen en een zorgvuldige interactie tussen combinatorische deletie-argumenten en analytische benadering via trigonometrische polynomen. Het resultaat wordt gepresenteerd als een definitieve oplossing voor de gestelde problemen, zonder beroep te doen op de Continuümhypothese of Martin's Axiom.

Meer zoals dit