Das Wiegold-Problem und freie Produkte von linksordnbaren Gruppen

Grundinformationen

• Papier-ID: 2510.26073
• Titel: Das Wiegold-Problem und freie Produkte von linksordnbaren Gruppen
• Autoren: Lvzhou Chen (Purdue University) und Yash Lodha (Purdue University)
• Klassifizierung: math.GR (Gruppentheorie), math.GT (Geometrische Topologie)
• Veröffentlichungsdatum: 30. Oktober 2025 (arXiv-Preprint)
• Papierlink: https://arxiv.org/abs/2510.26073

Zusammenfassung

Der Normalrang (normal rank) oder das Gewicht (weight) einer Gruppe größer als 1 bedeutet, dass kein einzelnes Element die Gruppe normal erzeugen kann. Das 1976 von Wiegold gestellte Problem fragt, ob es endlich erzeugte perfekte Gruppen mit Normalrang größer als 1 gibt. Dieses Papier beweist, dass das freie Produkt beliebiger nichttrivialer linksordnbarer Gruppen einen Normalrang größer als 1 besitzt, und löst damit das Wiegold-Problem durch die Bildung freier Produkte endlich erzeugter perfekter linksordnbarer Gruppen. Die Autoren erhalten Schätzungen des Normalrangs durch topologische Argumente und beweisen eine Spektrallückeneigenschaft einer unsignierten Version der stabilen Kommutatortorsionslänge. Ein Schlüsselelement des Beweises ist eine raffinierte neue Konstruktion von Familien von Linksordnungen auf dem freien Produkt zweier linksordnbarer Gruppen.

Forschungshintergrund und Motivation

1. Kernproblem

Ein grundlegendes Konzept in der Gruppentheorie ist der Normalrang (normal rank) einer Gruppe, definiert als die Kardinalität der minimalen Menge von Elementen, die die Gruppe normal erzeugen. Für das freie Produkt $G = A \star B$ von Gruppen ist eine lange ungelöste Frage: Unter welchen Bedingungen ist der Normalrang größer als 1?

2. Bedeutung des Problems

• Theoretische Bedeutung: Das 1976 von Wiegold gestellte Problem (Problem FP14 in BMS02, Problem 5.52 in KM23) fragt, ob es endlich erzeugte perfekte Gruppen (perfect groups, d.h. Gruppen, die gleich ihrer Kommutatoruntergruppe sind) mit Normalrang größer als 1 gibt. Dieses Problem hat seit seiner Formulierung wenig Fortschritt gemacht.
• Topologische Anwendungen: Der Normalrang steht in enger Beziehung zur Topologie von 3-Mannigfaltigkeiten. Der Normalrang von $\pi_1(M)$ ist eine untere Schranke für die Dehn-Chirurgie-Zahl (Dehn surgery number) einer 3-Mannigfaltigkeit $M$. Das Lickorish-Wallace-Theorem besagt, dass jede geschlossene orientierte zusammenhängende 3-Mannigfaltigkeit durch Dehn-Chirurgie an einer $n$-Komponenten-Verschlingung erhalten werden kann, wobei der minimale Wert von $n$ die Dehn-Chirurgie-Zahl ist.
• Verwandte Vermutungen:
  • Gordon-Vermutung: Für freie Produkte $G = \star_{i \in I} A_i$ mit $|I| \geq 3$ ist der Normalrang immer größer als 1
  • Scott-Wiegold-Vermutung: Spezialfall, wenn die Faktoren endliche zyklische Gruppen sind (bereits von Howie bewiesen)
  • Drei-Summen-Vermutung: Die Dehn-Chirurgie-Zahl der zusammenhängenden Summe von drei 3-Mannigfaltigkeiten (nicht $S^3$) ist größer als 1

3. Einschränkungen bestehender Methoden

• Für das freie Produkt $G = A \star B$ können Torsionselemente (torsion) dazu führen, dass der Normalrang 1 ist. Zum Beispiel in $G = \mathbb{Z}/2 \star \mathbb{Z}/3$ erzeugt $w = ab$ normal die ganze Gruppe.
• Seit den 1980er Jahren sind bekannte Ergebnisse auf stärkere Bedingungen angewiesen: Jeder freie Faktor muss lokal indizierbar (locally indicable) sein, d.h. jede nichttriviale endlich erzeugte Untergruppe surjiziert auf $\mathbb{Z}$. Aber solche Gruppen können nicht perfekt sein.
• Es wird vermutet, dass das Ergebnis unter Torsionsfreiheit (torsion-free) gilt, aber es fehlen Beweistechniken.

4. Forschungsmotivation dieses Papiers

Dieses Papier löst das Problem unter der Bedingung der Linksordnbarkeit (left-orderability). Eine Gruppe $G$ ist linksordnbar, wenn es eine Totalordnung $<$ gibt, so dass $f < g$ impliziert $hf < hg$. Diese Bedingung:

• ist stärker als Torsionsfreiheit
• ist schwächer als lokale Indizierbarkeit
• umfasst reiche Gruppenklassen: freie Gruppen, Flächengruppen, Zopfgruppen, Fundamentalgruppen hyperbolischer 3-Mannigfaltigkeiten usw.
• es gibt viele Beispiele endlich erzeugter perfekter linksordnbarer Gruppen

Kernbeiträge

1. Lösung des Wiegold-Problems: Beweis der Existenz endlich erzeugter (sogar endlich präsentierter) perfekter Gruppen mit Normalrang größer als 1 (Satz A).
2. Normalrang-Schätzungen für freie Produkte: Beweis, dass das freie Produkt $G = A \star B$ beliebiger nichttrivialer linksordnbarer Gruppen Normalrang größer als 1 hat (Satz B). Genauer: Für jedes $w \in G$, das nicht zu einem Element in $A$ konjugiert ist, induziert die natürliche Einbettung $A \hookrightarrow A \star B$ eine Injektion $A \hookrightarrow (A \star B)/\langle\langle w \rangle\rangle$.
3. Spektrallückeneigenschaft: Etablierung einer Spektrallückeneigenschaft der unsignierten Version der stabilen Kommutatortorsionslänge (Satz C). Für eine randunzusammendrückbare $w$-zulässige Fläche $S$ (ohne 2-Sphären- oder Scheiben-Komponenten) gilt $-\chi(S) \geq \deg(S)$.
4. Konstruktion relativer Stapel: Entwicklung des Konzepts und der Existenztheorie relativer Stapel (relative stacking) (Satz E), eine raffinierte Methode zur Konstruktion spezieller Linksordnungen auf freien Produkten.
5. Dynamische Anordnungsmethode: Einführung der Technik der dynamischen Anordnungen (dynamical arrangements), die systematisch Gruppenoperationen konstruiert, die spezifische Gleichungen und Ungleichungen erfüllen.

Methodische Erläuterung

Aufgabendefinition

Ziel: Beweis, dass für das freie Produkt $G = A \star B$ linksordnbarer Gruppen $A, B$, wenn $w \in G$ nicht zu einem Element in $A$ konjugiert ist, das Bild von $A$ in der Quotientengruppe $(A \star B)/\langle\langle w \rangle\rangle$ nichttrivial ist.

Strategie: Annahme, dass es $a \in A \setminus \{id\}$ gibt, so dass $a \in \langle\langle w \rangle\rangle$, d.h. es existiert eine Gleichung: $a = (g_1 w^{n_1} g_1^{-1})(g_2 w^{n_2} g_2^{-1}) \cdots (g_k w^{n_k} g_k^{-1})$ wobei $k \in \mathbb{Z}^+$, $g_i \in G$, $n_i \neq 0$. Durch topologische und dynamische Systemargumente wird ein Widerspruch hergeleitet.

Modellarchitektur

Der Beweis besteht aus zwei Hauptteilen:

1. Topologisches Argument (Satz D)

Definition zulässiger Flächen: Gegeben $w \in G$ wird eine Abbildung $f: S \to X$ (wobei $X$ ein $K(G,1)$-Raum ist) $w$-zulässige Fläche genannt, wenn:

• jede Randkomponente entweder die Konjugationsklasse von $w^n$ ($n \neq 0$) oder eine Konjugationsklasse in $A_i$ darstellt
• mindestens eine $w$-Randkomponente vorhanden ist

Grad: Eine $w$-Randkomponente, die $w^n$ darstellt, hat Grad $|n|$, der Grad $\deg(S)$ einer Fläche $S$ ist die Summe der Grade aller $w$-Randkomponenten.

Randunzusammendrückbarkeit: Eine Fläche $(f,S)$ ist randdrückbar (boundary compressible), wenn es eine eingebettete Teilfläche $P \subset S$ gibt, die zu einer Hose (pair of pants) homöomorph ist, deren zwei Ränder auf dem $w$-Rand jeweils $w^n$ und $w^{-m}$ darstellen und deren dritter Rand im Inneren von $S$ den Wert $w^{m-n}$ darstellt.

Einfache Normalform: Jede $w$-zulässige Fläche kann in einfache Normalform vereinfacht werden, d.h. Zerlegung in die Vereinigung von Scheibenstücken (disk-pieces) und Ringstücken (annulus-pieces). Jedes Stück $P$ hat:

• Valenz $d(P)$: Anzahl der Segmente des polygonalen Randes
• Vorzeichenwechselzahl $sc(P)$: Anzahl der konsistenten Segmente (consistent segments)

Euler-Charakteristik-Formel: Für eine Fläche $S$ in einfacher Normalform: $-\chi(S) = \sum_P \left[\frac{d(P)}{2} - \chi(P)\right]$

2. Dynamisches Systemargument (Satz E)

Definition relativer Stapel: Für ein zyklisch reduziertes Wort $w = a_1b_1 \cdots a_nb_n$ bilden eine Operation $\sigma: G \to \text{Homeo}^+(R)$ und ein Punkt $x \in \mathbb{R}$ einen relativen Stapel, wenn die Bahn von $x$ unter $w$$\Omega(w,x) = \{x \cdot \sigma(a_1b_1 \cdots a_ib_i) \mid 1 \leq i \leq n\} \cup \{x \cdot \sigma(a_1b_1 \cdots a_i) \mid 1 \leq i \leq n\}$stabil ist, d.h.:

1. Jedes Element in $\Omega(w,x)$ erscheint genau einmal
2. $x \cdot \sigma(w) = x$

Existenz: Für $w$, das keine echte Potenz ist (not a proper power), existiert ein relativer Stapel.

Technische Innovationen

1. $\hat{\lambda}$-Orientierung und Vorzeichenwechsel

Aus dem relativen Stapel erhält man eine Bewertung $\lambda: J_w \to \mathbb{R}$ (wobei $J_w$ die Menge der Verbindungspunkte auf $S^1_w$ ist), die auf den Flächenrand zurückgezogen wird zu $\hat{\lambda}: J_S \to \mathbb{R}$. Dies definiert die $\hat{\lambda}$-Orientierung jedes Bogens $\gamma \in F$.

Schlüsselles Lemma 4.5: Die Gesamtzahl der inkonsistenten Segmente (inconsistent segments) ist mindestens $2\deg(S)$, daher ist die Gesamtzahl konsistenter Segmente höchstens $(|w|-2)\deg(S)$.

Schlüsselles Lemma 4.6: Für jedes Stück $P$ ist die Vorzeichenwechselzahl $sc(P)$ gerade, und für Scheibenstücke gilt $sc(P) > 0$.

Folgerung 4.7: $sc(P) \geq 2\chi(P)$.

2. Beweis der Spektrallückeneigenschaft

Kombination der obigen Lemmata: $-\chi(S) = \sum_P \left[\frac{d(P)}{2} - \chi(P)\right] \geq \frac{1}{2}\sum_P [d(P) - sc(P)]$$\geq \frac{1}{2}[|w|\deg(S) - (|w|-2)\deg(S)] = \deg(S)$

3. Konstruktion dynamischer Anordnungen

Verkettungsintervalle (catenation): Geordnete Tupel $(I_1, J_1, \ldots, I_n, J_n)$, wobei jedes Intervall die Länge 2 hat, Endpunkte auf $\mathbb{Z}$ liegen und spezifische Verkettungsbedingungen erfüllt sind.

Lemmata 5.9 und 5.10: Für ein reduziertes Wort $w = a_1b_1 \cdots a_kb_k$ und Verkettungsintervalle kann man eine Operation konstruieren, so dass das Bild eines spezifischen Punktes unter $w$ in angegebenen Bereichen liegt.

Systematische Lösung: Durch Aufblasung (blow-up)-Konstruktion wird die Lösung von Gleichungs- und Ungleichungssystemen auf die Konstruktion von Operationen mit spezifischen Inklusions- und Disjunktheitsbedingungen reduziert.

Lemma 5.3: Wenn endliche Systeme $\Lambda_1, \ldots, \Lambda_m$ jeweils lösbar sind, dann ist ihr kombiniertes System $\Xi(\Lambda_1, \ldots, \Lambda_m)$ lösbar.

4. Existenzbeweis relativer Stapel

Proposition 5.5: Für ein nicht-echtes-Potenz-Wort $w$ und jedes echte Präfix $w_1$ existiert eine Operation $\tau$ und ein Punkt $x$, so dass $x \cdot \tau(w) = x$ aber $x \cdot \tau(w_1) \neq x$.

Der Beweis teilt sich in zwei Fälle:

• Fall 1: $w_1 = a_1b_1 \cdots a_k$
• Fall 2: $w_1 = a_1b_1 \cdots a_kb_k$ (erfordert $b_k \neq b_n$, nutzt die Nicht-echte-Potenz-Bedingung)

Durch sorgfältig gestaltete dynamische Anordnungen konstruiert man ein abgeschlossenes Intervall $I$, so dass $I \cdot \sigma(w) \subseteq I$ aber $(I \cdot \sigma(w_1)) \cap I = \emptyset$. Durch den Zwischenwertsatz erhält man den gewünschten Fixpunkt.

Experimentelle Einrichtung

Dieses Papier ist eine rein theoretische mathematische Arbeit und beinhaltet keine experimentelle Einrichtung, Datensätze oder numerische Experimente. Alle Ergebnisse werden durch rigorose mathematische Beweise erhalten.

Experimentelle Ergebnisse

Das Papier enthält keine experimentellen Ergebnisse; alle Schlussfolgerungen sind theoretische Sätze.

Verwandte Arbeiten

1. Ergebnisse für lokal indizierbare Gruppen

• Brodskĭı (1984), Howie (1981), Short (1983): Beweis unabhängig voneinander, dass Satz B gilt, wenn jeder freie Faktor lokal indizierbar ist. Aber lokal indizierbare Gruppen können nicht perfekt sein.

2. Ähnliche Ergebnisse für HNN-Erweiterungen

• Howie (Kervaire-Laudenbach) Vermutung: Für $G = A \star \mathbb{Z}$, wenn $p(w) \neq 0$ (wobei $p: G \to \mathbb{Z}$ die Projektion ist), dann erzeugt $w$ nicht normal $G$.
• Gerstenhaber-Rothaus (1962): Beweis wenn $A$ residuell endlich ist
• Klyachko (1993): Beweis wenn $A$ torsionsfrei ist
• Chen (2025): Neuer Beweis

3. Stabile Kommutatortorsionslänge

• Duncan-Howie (1991): Geschlechtsproblem für Einrelations-Unterprodukten
• Chen (2018), Chen-Heuer (2019), Heuer (2019): Spektrallückeneigenschaften in freien Produkten und Gruppengraphen
• Dieses Papier untersucht die unsignierte Grad-Version, die stärkere Linksordnbarkeitsbedingungen erfordert

4. 3-Mannigfaltigkeits-Topologie

• Gordon (1983): Vermutung über Dehn-Chirurgie-Zahlen
• Auckly (1997), Hom-Karakurt-Lidman (2016), Liu-Piccirillo (2024): Schranken für Dehn-Chirurgie-Zahlen
• L-Raum-Vermutung: Beziehung zwischen Linksordnbarkeit und Fundamentalgruppen von 3-Mannigfaltigkeiten

5. Andere Richtungen

• Osin-Thom (2013): Vermutete Verbindung zwischen Normalrang und erster $l^2$-Betti-Zahl
• Monod-Ozawa-Thom (2012): Wiegold-Problem-Version in irng

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Satz A: Es existieren endlich erzeugte (sogar endlich präsentierte) perfekte Gruppen mit Normalrang größer als 1. Dies löst vollständig das 1976 von Wiegold gestellte Problem.
2. Satz B: Das freie Produkt $G = A \star B$ beliebiger nichttrivialer linksordnbarer Gruppen hat Normalrang größer als 1.
3. Satz C: Etablierung der Spektrallückeneigenschaft: Für eine randunzusammendrückbare $w$-zulässige Fläche $S$ (ohne Sphären- oder Scheiben-Komponenten) gilt $-\chi(S) \geq \deg(S)$.
4. Folgerung 6.1: Wenn $u \in G = A \star B$ nicht zu einem Element in $A$ oder $B$ konjugiert ist und keine echte Potenz ist, dann hat das Bild von $u$ in $G/\langle\langle u^k \rangle\rangle$ für jedes $k \geq 2$ die Ordnung $k$.

Einschränkungen

1. Bedingungseinschränkungen: Die Ergebnisse erfordern, dass die freien Faktoren linksordnbar sind. Obwohl dies eine breite Klasse von Gruppen umfasst, deckt es nicht alle torsionsfreien Gruppen ab.
2. Anzahl der freien Produkte: Satz B behandelt nur den Fall zweier Faktoren. Für drei oder mehr Faktoren bleibt die Gordon-Vermutung offen.
3. Rechtsordnbarkeitsproblem: Frage 6.2 fragt, ob die Quotientengruppe $G/\langle\langle w \rangle\rangle$ torsionsfrei oder rechtsordnbar ist (wenn $w$ keine echte Potenz ist). Dies wurde von Howie (1982) im lokal indizierbaren Fall gelöst, bleibt aber im linksordnbaren Fall unbekannt.
4. Konstruktivität: Der Existenzbeweis für relative Stapel ist konstruktiv, aber der Konstruktionsprozess ist komplex und nicht leicht explizit zu realisieren.

Zukünftige Richtungen

1. Frage 1.1: Ist der Normalrang des freien Produkts von $n$ nichttrivialen linksordnbaren Gruppen mindestens $n$? Eine positive Antwort würde implizieren, dass die Dehn-Chirurgie-Zahl der zusammenhängenden Summe von $n$ 3-Mannigfaltigkeiten mindestens $n$ ist.
2. Frage 6.2: Untersuchung der Torsionsfreiheit und Rechtsordnbarkeit der Quotientengruppe $G/\langle\langle w \rangle\rangle$ unter Linksordnbarkeitsannahmen.
3. Verallgemeinerung auf Gruppengraphen: Verallgemeinerung der Methoden relativer Stapel und dynamischer Anordnungen auf allgemeinere Gruppengraph-Einstellungen (graphs of groups).
4. Verbindung zu $l^2$-Betti-Zahlen: Erkundung der Möglichkeit der Osin-Thom-Vermutung im Fall linksordnbarer Gruppen.
5. Rechnerische Aspekte: Entwicklung von Algorithmen zur Bestimmung, ob ein Element im freien Produkt linksordnbarer Gruppen normal erzeugt.

Tiefgreifende Bewertung

Stärken

1. Großer Durchbruch: Lösung eines fast 50 Jahre alten offenen Problems (Wiegold-Problem), ein wichtiger Fortschritt in der Gruppentheorie.
2. Methodische Innovation:
   • Das Konzept relativer Stapel wandelt das algebraische Problem geschickt in ein dynamisches Systemproblem um
   • Die Technik dynamischer Anordnungen bietet ein neues Werkzeug zur systematischen Konstruktion von Gruppenoperationen
   • Perfekte Kombination topologischer Argumente (Euler-Charakteristik-Schätzungen) mit dynamischen Systemargumenten (Konstruktion von Gruppenoperationen)
3. Technische Tiefe:
   • Die Einführung der $\hat{\lambda}$-Orientierung und die Analyse der Vorzeichenwechselzahl zeigen tiefe geometrische Einsichten
   • Die Aufblasung und systematische Lösungsmethode (Lemma 5.3) haben Universalität
   • Die sorgfältige Analyse beider Fälle (Präfixe endend in $A$ oder $B$) zeigt Rigorosität
4. Breite Auswirkungen:
   • Liefert viele neue Beispiele perfekter Gruppen mit Normalrang größer als 1
   • Direkte Anwendungen auf 3-Mannigfaltigkeits-Topologie (Dehn-Chirurgie-Zahlen)
   • Die Methode relativer Stapel könnte auf andere gruppentheoretische Probleme anwendbar sein
5. Schreibqualität: Die Papierstruktur ist klar, mit schrittweisem Übergang von einfachen Beispielen (Beispiel 5.8) zur allgemeinen Situation, was das Verständnis erleichtert.

Schwächen

1. Technische Komplexität:
   • Der Existenzbeweis für relative Stapel (Abschnitt 5) enthält viele technische Details, besonders die Behandlung von Fall 2
   • Die Konstruktion dynamischer Anordnungen erfordert sorgfältige Gestaltung von Verkettungsintervallen, mangelt es an Intuitivität
   • Einige Lemmata (wie Lemma 4.3) haben zwar korrekte, aber sehr technische Beweise
2. Bedingungseinschränkungen:
   • Linksordnbarkeit ist eine mittlere Bedingung zwischen Torsionsfreiheit und lokaler Indizierbarkeit; idealerweise würde man nur Torsionsfreiheit benötigen
   • Behandelt nur zweifaktorige freie Produkte; der Mehrfaktor-Fall bleibt offen
3. Berechenbarkeit:
   • Obwohl die Konstruktion theoretisch ist, gibt es keine Diskussion, wie man praktisch berechnet oder verifiziert, ob eine gegebene Gruppe die Bedingungen erfüllt
   • Die explizite Konstruktion relativer Stapel könnte in konkreten Beispielen extrem komplex sein
4. Verallgemeinerbarkeit:
   • Unklar, ob die Methode auf HNN-Erweiterungen über allgemeinere Gruppengraph-Einstellungen hinaus verallgemeinert werden kann
   • Die Beziehung zur signierten Version der stabilen Kommutatortorsionslänge könnte weiter erforscht werden

Einfluss

1. Theoretische Bedeutung:
   • Löst ein langfristiges offenes Problem, wird in Gruppentheorie-Lehrbüchern zitiert
   • Die Methoden relativer Stapel und dynamischer Anordnungen könnten zu Standardwerkzeugen für die Untersuchung von Gruppenoperationen werden
   • Bietet neue Perspektive auf die Untersuchung des Normalrangs
2. Anwendungswert:
   • Direkte Beiträge zur Forschung über Dehn-Chirurgie-Zahlen in der 3-Mannigfaltigkeits-Topologie
   • Könnte Inspiration für verwandte Probleme wie die L-Raum-Vermutung bieten
   • Die konstruierten Beispiele perfekter linksordnbarer Gruppen können für andere Forschungen verwendet werden
3. Reproduzierbarkeit:
   • Der Beweis ist vollständig theoretisch und kann schrittweise verifiziert werden
   • Die Hauptsätze sind klar formuliert und leicht zu zitieren
   • Technische Details sind zwar komplex, aber vollständig

Anwendungsszenarien

1. Gruppentheoretische Forschung:
   • Untersuchung des Normalrangs von freien Produkten, HNN-Erweiterungen und Gruppengraphen
   • Konstruktion von Gruppen mit spezifischen Eigenschaften
   • Untersuchung der Strukturtheorie linksordnbarer Gruppen
2. Geometrische Topologie:
   • Schätzung der Dehn-Chirurgie-Zahlen von 3-Mannigfaltigkeiten
   • Untersuchung von L-Räumen und linksordnbaren Fundamentalgruppen
   • Analyse von Flächenuntergruppen und Einrelations-Gruppen
3. Dynamische Systeme:
   • Konstruktion von Gruppenoperationen mit spezifischen dynamischen Eigenschaften
   • Untersuchung von Homöomorphismusgruppen der reellen Linie
   • Analyse der Beziehung zwischen Ordnungsstruktur und Gruppenoperationen
4. Kombinatorische Gruppentheorie:
   • Untersuchung von Gleichungs- und Ungleichungssystemen in Gruppen
   • Analyse von Varianten des Wortproblems und Konjugationsproblems
   • Konstruktion von Gegenbeispielen und pathologischen Beispielen

Literaturverzeichnis

Das Papier zitiert umfangreiche Literatur; wichtige Referenzen sind:

1. Wiegold-Problem: BMS02 Baumslag-Myasnikov-Shpilrain, KM23 Kourovka Notebook
2. Lokal indizierbare Gruppen: Bro84 Brodskĭı, How81 Howie, Sho83 Short
3. Linksordnbare Gruppen: DNR14 Deroin-Navas-Rivas Übersicht, GS87 Ghys-Sergiescu, HL19, HL25 Hyde-Lodha
4. Stabile Kommutatortorsionslänge: Cal09 Calegari, Che18, Che20, Che25 Chen, DH91 Duncan-Howie
5. 3-Mannigfaltigkeits-Topologie: Gor83 Gordon, LP24 Liu-Piccirillo
6. Stapel-Methoden: LW17 Louder-Wilton, Mil21 Millard

Zusammenfassung: Dies ist ein hochqualitatives theoretisches Papier, das ein wichtiges offenes Problem löst und innovative Techniken wie relative Stapel und dynamische Anordnungen einführt, die Topologie, dynamische Systeme und Gruppentheorie geschickt verbinden. Obwohl die technischen Details komplex sind, haben die Methoden Universalität und Tiefe und haben wichtige Auswirkungen auf Gruppentheorie und geometrische Topologie. Der Hauptbeitrag des Papiers liegt nicht nur in der Lösung des Wiegold-Problems, sondern auch in der Entwicklung neuer Werkzeuge, die auf ein breiteres Spektrum von Problemen anwendbar sein könnten.