🔢 mathematics

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

Diese Arbeit beweist in ZFC, dass jede torsionsfreie abelsche Gruppe der Kardinalität $\mathfrak c$ eine Hausdorff-kompakte, abzählbar kompakte Gruppentopologie ohne nicht-triviale konvergente Sequenzen zulässt, und liefert damit eine negative Antwort auf Wallaces Frage, indem sie ein kommutatives, tikonoffes, abzählbar kompaktes topologisches Semigruppe mit beidseitiger Kancellation konstruiert, das keine Gruppe ist.

Ursprüngliche Autoren: Juliane Trianon Fraga, Vinicius de Oliveira Rodrigues

Veröffentlicht 2026-08-19

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Juliane Trianon Fraga, Vinicius de Oliveira Rodrigues

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

In der Welt der Mathematik gibt es eine weite Landschaft aus Formen und Strukturen, die sich wie Zahlen verhalten, aber ihren eigenen internen Regeln folgen. Dazu gehören „Gruppen“, Sammlungen von Objekten, die auf eine bestimmte Weise kombiniert werden können, ähnlich wie das Addieren von Zahlen, wobei die Objekte selbst komplexe Muster oder unendliche Listen sein können. Wenn man diesen Gruppen eine „Topologie“ gibt, verleiht man ihnen ein Gefühl von Nähe und Distanz, was es Mathematikern ermöglicht, über Sequenzen von Objekten zu sprechen, die sich einem bestimmten Punkt immer weiter annähern, bis sie schließlich dort ankommen. Diese Verschmelzung von Algebra und Geometrie schafft „topologische Gruppen“, die zentral für das Verständnis von Symmetrie und Kontinuität im Universum sind. Ein besonders hartnäckiges Rätsel in diesem Feld hat sich mit „zählbar kompakten“ Gruppen befasst. Dies sind Strukturen, in denen jede unendliche Liste von Punkten einen Cluster von Punkten in der Nähe haben muss, was sicherstellt, dass der Raum niemals in das Chaos abdriftet. Jahrzehntelang fragten sich Mathematiker, ob eine bestimmte Art dieser Gruppen, die keine sich wiederholenden Zyklen aufweisen und eine perfekte Kompensation von Operationen erlauben, existieren könnte, ohne dass eine Sequenz von Punkten tatsächlich zu einem Grenzwert konvergiert. Sollte eine solche Gruppe existieren, würde sie eine langjährige Annahme darüber, wie diese mathematischen Welten beschaffen sein müssen, brechen.

Seit fast fünfundsiebzig Jahren blieb eine Frage, die ein Mathematiker namens A. D. Wallace aufgeworfen hatte, unbeantwortet. Er fragte, ob eine bestimmte Art mathematischer Struktur, bekannt als Semigruppe, die kompakt genug ist, um Punkte vom Weglaufen abzuhalten, und die perfekte Kompensation von Operationen erlaubt, nicht notwendigerweise eine vollwertige Gruppe sein muss. In einfacheren Worten: Wenn Sie ein System haben, in dem Sie Elemente kombinieren und diese Kombinationen perfekt rückgängig machen können, und das System dicht gepackt ist, muss es dann automatisch eine Gruppe sein? Die Antwort war „Ja“, wenn das System perfekt kompakt war, aber niemand wusste, ob die etwas schwächere Bedingung der „zählbaren Kompaktheit“ ausreichte, um dasselbe Ergebnis zu erzwingen. Frühere Versuche, ein Gegenbeispiel zu finden, erforderten die Annahme zusätzlicher, unbewiesener Regeln über die Natur der Unendlichkeit, was die Frage unter den Standardregeln der Mathematik offenließ.

Ein Team von Forschern hat dieses Problem nun unter Verwendung der Standardregeln der Mathematik gelöst, ohne zusätzliche Annahmen zu benötigen. Sie haben bewiesen, dass ein solches Gegenbeispiel existiert. Speziell konstruierten sie ein mathematisches Objekt, das in fast jeder Hinsicht wie eine Gruppe agiert – es ist torsionsfrei, was bedeutet, dass kein Element in einem Zyklus wiederholt wird, und es ist zählbar kompakt, was bedeutet, dass es dicht geppackt ist. Es ist jedoch keine Gruppe, weil es eine entscheidende Eigenschaft vermissen lässt: Es enthält keine nicht-trivialen Sequenzen, die gegen einen Grenzwert konvergieren. In dieser Struktur können Sie eine unendliche Anzahl distinkter Punkte auflisten, und sie werden niemals an einem Ziel fest werden, egal wie man sie betrachtet. Diese Entdeckung bestätigt, dass die Antwort auf Wallaces Frage „Nein“ lautet. Ein System kann dicht gepackt sein und eine perfekte Kompensation erlauben, ohne eine vollwertige Gruppe zu sein.

Die Forscher erreichten dies, indem sie eine massive, unendliche Sammlung von Zahlen aufbauten und eine sehr spezifische Art und Weise definierten, den Abstand zwischen ihnen zu messen. Sie begannen mit einer freien abelschen Gruppe, was im Wesentlichen eine Sammlung von Vektoren mit ganzzahligen Koordinaten ist, und gestalteten sorgfältig eine Topologie, oder eine Regel für Nähe, die verhindert, dass eine Sequenz konvergiert, sofern sie sich nicht schließlich nicht mehr verändert. Sie verwendeten eine Technik unter Einbeziehung von „Ultrafiltern“, was ausgeklügelte Werkzeuge sind, um zu entscheiden, welche unendlichen Mengen von Zahlen „groß“ genug sind, um relevant zu sein, um sicherzustellen, dass jede mögliche unendliche Liste von Punkten einen Häufungspunkt in der Nähe hat, was die Kompaktheitsbedingung erfüllt. Gleichzeitig stellten sie jedoch sicher, dass keine Liste distinkter Punkte tatsächlich einen Grenzwert erreichen konnte, wodurch die Eigenschaft „keine konvergenten Sequenzen“ gewahrt blieb. Dieses delikate Gleichgewicht wurde vollständig innerhalb des Standardrahmens der Mathematik vollzogen, was beweist, dass die Existenz eines solchen Objekts eine fundamentale Tatsache ist und keine Möglichkeit, die von zusätzlichen Hypothesen abhängt.

Die Implikationen dieser Konstruktion strahlen in mehrere andere Bereiche der Mathematik aus. Da das von ihnen gebaute Objekt eine Gruppe mit diesen spezifischen Eigenschaften ist, kann es verwendet werden, um andere Strukturen zu erschaffen, die zuvor nur unter unsicheren Bedingungen bekannt waren. Beispielsweise zeigten die Forscher, dass diese Gruppe eine Substruktur enthält, die als „Wallace-Semigruppe“ fungiert, ein kommutatives System mit zweiseitiger Kompensation, das zählbar kompakt, aber keine Gruppe ist. Dies klärt eine Debatte, die seit Jahrzehnten fortbestand. Darüber hinaus liefert ihre Arbeit ein konkretes Beispiel für eine „paratopologische Gruppe“, eine Struktur, bei der die Operation des Kombinierens von Elementen stetig ist, die Umkehroperation jedoch nicht. Dies beantwortet Fragen darüber, ob solche unvollkommenen Gruppen dicht gepackt sein können. Sie zeigten auch, dass diese Gruppe verwendet werden kann, um ein „monothetisches“ Monoid zu bauen, ein System, das durch ein einzelnes Element erzeugt wird, welches zählbar kompakt, aber keine Gruppe ist.

Die Arbeit befasst sich auch mit einer Frage über die Größe dieser mathematischen Räume. Die Forscher bewiesen, dass in der spezifisch von ihnen konstruierten Gruppe jede unendliche abgeschlossene Menge von Punkten so groß sein muss wie das gesamte Kontinuum der reellen Zahlen. Dies bedeutet, dass es keine „kleinen“ unendlichen Cluster im Inneren verbirgt; wenn eine Menge unendlich und abgeschlossen ist, ist sie maximal groß. Dieses Ergebnis löst eine spezifische Untersuchung über die Dichte von Punkten in solchen Gruppen. Durch die Konstruktion dieses Objekts haben die Autoren nicht nur eine berühmte Frage beantwortet, sondern auch ein vielseitiges Werkzeug bereitgestellt, das Lösungen für mehrere andere offene Probleme in der Topologie und Algebra generiert. Ihre Arbeit steht als definitiver Beweis dafür, dass das mathematische Universum diese schwer fassbaren, dicht gepackten Strukturen enthält, die der Intuition trotzen, dass Dichte und Kompensation immer zu einer Gruppe führen müssen. Die Existenz dieser Objekte ist nun eine geklärte Tatsache, die auf den Standardaxiomen der Mathematik gründet und die Landschaft dessen, was über das Verhalten unendlicher algebraischer Systeme bekannt ist, verändert hat.

Technische Zusammenfassung: Das Wallace-Problem und abzählbar kompakte torsionsfreie abelsche Gruppen in ZFC

1. Das Problem und der Kontext
Die Arbeit befasst sich mit zwei miteinander verknüpften, langjährigen Problemen der topologischen Algebra und der mengentheoretischen Topologie, die beide seit Jahrzehnten in der Zermelo-Fraenkel-Mengenlehre mit dem Auswahlaxiom (ZFC) offen standen.

Das Wallace-Problem: Im Jahr 1955 fragte A. D. Wallace, ob jede Hausdorff-kompakte, abzählbar kompakte topologische Halbgruppe mit zweiseitiger Kancellation eine topologische Gruppe sein muss. Ein Gegenbeispiel ist als „Wallace-Halbgruppe“ bekannt. Konsistente Konstruktionen solcher Halbgruppen existierten unter zusätzlichen mengentheoretischen Hypothesen (z. B. der Kontinuumshypothese oder der Martin-Hypothese), doch die Existenz einer Wallace-Halbgruppe in ZFC blieb eine offene Frage über 73 Jahre hinweg.
Die Existenz nicht-torsionsfreier abzählbar kompakter Gruppen: Ein verwandtes Problem, das von van Douwen und Comfort aufgeworfen wurde, betrifft die Existenz einer abzählbar kompakten topologischen Gruppe ohne nicht-triviale konvergente Folgen, die keine Torsionsgruppe ist. Vor dieser Arbeit waren ZFC-Konstruktionen von abzählbar kompakten Gruppen ohne nicht-triviale konvergente Folgen auf Torsionsgruppen beschränkt. Insbesondere war unbekannt, ob die freie abelsche Gruppe auf $\mathfrak{c}$ Erzeugern, $Z(\mathfrak{c})$ , oder die additive Gruppe der reellen Zahlen, $\mathbb{R}$ , solche Topologien in ZFC zulassen.

2. Methodik
Die Autoren konstruieren die erforderlichen Topologien unter Verwendung einer Kombination aus algebraischer Einbettung, uniformer endlicher Approximation und einer transfiniten rekursiven Konstruktion mittels „Block-Ultrafiltern“.

Algebraische Reduktion: Die Autoren etablieren zunächst, dass jede torsionsfreie abelsche Gruppe $G$ der Kardinalität $\mathfrak{c}$ als Untergruppe der direkten Summe $Q(\mathfrak{c})$ eingebettet werden kann, sodass $Z(\mathfrak{c}) \leq G \leq Q(\mathfrak{c})$ . Dies ermöglicht es ihnen, das Problem im Kontext von Vektorräumen über $\mathbb{Q}$ mit einer spezifischen Basiskonstruktion zu behandeln.
Uniformes endliches Kronecker-Lemma: Ein zentrales technisches Werkzeug ist eine uniforme endliche Version des Kronecker-Theorems (Lemma 3.1). Dieses Lemma stellt sicher, dass man für jede endliche Menge von Elementen in einer abelschen Gruppe und jeden Zielwert in der Kreisgruppe $\mathbb{T}$ einen Homomorphismus zu $\mathbb{T}$ finden kann, der diese Ziele approximiert, vorausgesetzt, die Ziele erfüllen bestimmte ganzzahlige Relationen mit beschränkten Koeffizienten. Dies stützt sich auf den Satz von Stone-Weierstrass und Arzelà-Ascoli-Kompaktheitsargumente.
Begrenzte Löschung und Unabhängigkeit: Um die unendliche Konstruktion zu handhaben, verwenden die Autoren ein kombinatorisches Löschargument (Lemma 4.4). Gegeben sei eine endliche Menge $A$ und eine große Menge $X$ ; sie identifizieren eine große Teilmenge $Y \subseteq X$ , die hinsichtlich beschränkter ganzzahliger Relationen von $A$ „unabhängig“ ist. Dies ermöglicht die Konstruktion von Homomorphismen, die auf $Y$ klein sind, während sie Werte auf $A$ bewahren.
Block-Ultrafilter und transfinite Rekursion: Die Konstruktion erfolgt durch die Enumeration aller injektiven Folgen in $G$ als $(s_\alpha)_{\alpha < \mathfrak{c}}$ . Für jede Sequenz definieren die Autoren eine „Block“-Struktur auf den natürlichen Zahlen $\mathbb{N}$ und assoziieren einen freien Ultrafilter $p_\alpha$ . Sie konstruieren rekursiv eine Folge von Homomorphismen $\psi_l: G \to \mathbb{T}$ , die punktweise gegen einen Grenz-Homomorphismus $\psi$ konvergieren. Die Konstruktion stellt sicher, dass für jedes $x \in G \setminus \{0\}$ ein Homomorphismus $\psi_x$ existiert, sodass $\psi_x(x) \neq 0$ , und dass für jede Sequenz $s_\alpha$ das Ultrafilter-Limit der Sequenz unter der konstruierten Topologie gegen ein spezifisches nicht-null Element (speziell einen Basisvektor $e_{\iota(\alpha)}$ ) konvergiert. Die endgültige Topologie $\tau_G$ ist die Initialtopologie, die durch die Familie dieser Homomorphismen $\{\psi_x : x \in G \setminus \{0\}\}$ induziert wird, welche $G$ in das Produkt $\mathbb{T}^{G \setminus \{0\}}$ abbilden.

3. Zentrale Beiträge und Ergebnisse
Der primäre Beitrag ist die Klärung der Existenzfragen in ZFC ohne zusätzliche mengentheoretische Annahmen.

Theorem 1.1: In ZFC besitzt jede torsionsfreie abelsche Gruppe der Kardinalität $\mathfrak{c}$ $c$ eine Hausdorff-kompakte, abzählbar kompakte Gruppentopologie, in der jede konvergente Folge schließlich konstant ist (d. h. es gibt keine nicht-trivialen konvergenten Folgen).
- Dies löst das Tkachenko-Problem für die freie abelsche Gruppe $Z(\mathfrak{c})$ auf.
- Es löst die Frage für die Baer-Specker-Gruppe $Z^\omega$ auf.
- Es löst die Frage für die additive Gruppe der reellen Zahlen $\mathbb{R}$ (über den Isomorphismus $Q(\mathfrak{c}) \cong \mathbb{R}$ ) auf.
Korollar 1.3 (Die Wallace-Halbgruppe): Durch Spezialisierung der Konstruktion auf den nicht-negativen Kegel $P$ von $Z(\mathfrak{c})$ beweisen die Autoren die Existenz in ZFC einer kommutativen Tychonoff-kompakten, abzählbar kompakten topologischen Halbgruppe mit zweiseitiger Kancellation, die keine Gruppe ist. Dies liefert eine negative Antwort auf Wallace's Frage von 1955.
Weitere Konsequenzen: Die Arbeit zeigt, dass das Haupttheorem mehrere andere Ergebnisse impliziert, die zuvor nur unter zusätzlichen Hypothesen bekannt waren:
- Die Existenz in ZFC einer Tychonoff-kompakten, abzählbar kompakten topologischen Halbgruppe, die eine Kopie der biklischen Halbgruppe enthält.
- Die Existenz in ZFC einer funktionalen Hausdorff-kompakten, abzählbar kompakten paratopologischen Gruppe, die keine topologische Gruppe ist (Beantwortung von Gurans Fragen).
- Die Existenz in ZFC einer Hausdorff-kompakten, abzählbar kompakten monothetischen topologischen Monoid, die ein Untermonoid einer topologischen Gruppe ist, aber keine Gruppe.
- Die Existenz einer abzählbar kompakten freien abelschen Gruppe, in der jede unendliche abgeschlossene Teilmenge die Kardinalität mindestens $\mathfrak{c}$ hat.

4. Bedeutung
Die Arbeit beansprucht, ein 73 Jahre altes offenes Problem bezüglich der Wallace-Halbgruppe vollständig innerhalb von ZFC gelöst zu haben. Vor dieser Arbeit war die Existenz solcher Halbgruppen nur unter stärkeren mengentheoretischen Axiomen bekannt. Durch die Konstruktion einer torsionsfreien abzählbar kompakten Gruppe ohne nicht-triviale konvergente Folgen in ZFC schließen die Autoren die Lücke zwischen topologischer Gruppentheorie und Halbgruppentheorie und zeigen, dass das „Wallace-Phänomen“ kein Artefakt spezifischer mengentheoretischer Modelle ist, sondern ein Merkmal von ZFC selbst. Die Arbeit vereinigt und klärt zudem mehrere verwandte Fragen zur Struktur abzählbar kompakter Gruppen, paratopologischer Gruppen und geeigneter Mengen und zeigt auf, dass das Hindernis für das Vorhandensein dieser Strukturen in ZFC nicht in den Axiomen selbst, sondern im Fehlen einer spezifischen Konstruktionstechnik lag.

Die Autoren merken explizit an, dass ihre Konstruktion auf der Injektivität der Kreisgruppe $\mathbb{T}$ in der Kategorie der abelschen Gruppen und einem sorgfältigen Zusammenspiel zwischen kombinatorischen Löschargumenten und analytischer Approximation mittels trigonometrischer Polynome beruht. Das Ergebnis wird als definitive Lösung der genannten Probleme präsentiert, ohne Rückgriff auf die Kontinuumshypothese oder die Martin-Hypothese.

Mehr davon