Malnormal Subgroups of Finitely Presented Groups

Dit artikel bewijst verfijningen van de stellingen van Higman, Clapham en Ol'shanskii door te tonen dat recursief gepresenteerde groepen en bepaalde tellbare groepen kunnen worden ingebed in finiet gepresenteerde groepen met specifieke eigenschappen zoals malnormaliteit, de congruentie-uitbreidingseigenschap en controleerbare woordproblemen.

De kern

Titel: De Onzichtbare Muur en de Slimme Machine: Een Verhaal over Groepen en Puzzels

Stel je voor dat wiskundige groepen niet als saaie formules zijn, maar als enorme, ingewikkelde puzzelboxen. In deze boxen zijn er regels (de "relaties") die zeggen hoe de stukjes met elkaar mogen bewegen. Soms zijn deze boxen zo groot en complex dat je nooit kunt weten of een bepaalde puzzeloplossing überhaupt bestaat. Dit noemen wiskundigen het "Woordprobleem": Is dit stukje gelijk aan niets, of niet?

De auteur van dit artikel, Francis Wagner, heeft een nieuwe manier bedacht om deze onbegrijpelijke, enorme puzzelboxen in een kleinere, beheersbare doos te stoppen, zonder dat ze hun geheimen verliezen. Hij doet dit met een techniek die hij "Noisy S-machines" noemt. Laten we dit uitleggen met een paar simpele metaforen.

1. De Grote Uitdaging: De "Higman-Embedding"

Stel je voor dat je een heel groot, rommelig magazijn hebt (een wiskundige groep die we niet goed begrijpen). Je wilt dit magazijn verplaatsen naar een strakke, moderne fabriek (een "eindig gepresenteerde groep").

• Het oude probleem: In het verleden hebben wiskundigen bewezen dat je dit kunt doen, maar de nieuwe fabriek zag er vaak raar uit. De stukjes uit het oude magazijn zaten erin, maar ze waren vervormd, of ze botsten met elkaar op een manier die de structuur verpestte.
• De nieuwe oplossing: Wagner zegt: "Nee, we kunnen dit veel beter doen." Hij laat zien dat je het oude magazijn kunt verplaatsen naar de nieuwe fabriek, maar dan op een manier dat:
  1. Het er perfect uitziet (geen vervorming).
  2. Het een onafhankelijke afdeling wordt die niemand anders kan aanraken zonder dat het duidelijk is (dit heet een "malnormal" ondergroep).
  3. Als je een regel in het oude magazijn verandert, kun je die verandering ook in de nieuwe fabriek doorvoeren zonder de hele fabriek om te gooien (dit heet de "congruence extension property").
  4. Als je in het oude magazijn niet wist of een puzzel op te lossen was, weet je dat ook niet in de nieuwe fabriek (en andersom).

2. De Magische Machine: De "Noisy S-machine"

Hoe bouwt Wagner deze perfecte fabriek? Hij gebruikt een computerprogramma dat hij een "S-machine" noemt.

• De originele S-machine: Dit is als een slimme robot die instructies volgt om woorden (puzzelstukjes) om te vormen. Als de robot zegt "verander A in B", dan gebeurt dat. Dit werkt heel netjes, maar het heeft een nadeel: de regels zijn zo strak dat de robot niet genoeg "ruimte" laat om de onafhankelijkheid van de groep te garanderen.
• De "Noisy" (Ruizige) versie: Dit is de genialiteit van Wagner. Hij laat de robot een beetje ruis toe.
  • De Metafoor: Stel je voor dat je een brief schrijft. Normaal gesproken schrijf je gewoon de tekst. Maar Wagner laat de robot tussendoor een beetje "ruis" toevoegen, zoals een handtekening of een speciaal stempel dat alleen bij die specifieke regel hoort.
  • Waarom? Deze "ruis" zorgt ervoor dat als iemand probeert de brief te vervalsen (een wiskundige manipulatie), de ruis het onmogelijk maakt om de brief terug te brengen naar de originele vorm zonder de hele machine te vernietigen. Dit creëert die "onafhankelijke afdeling" (malnormaliteit) die we nodig hebben.
  • De controle: Het mooie is dat Wagner deze ruis zo slim heeft ontworpen dat hij de grote structuur van de fabriek niet verstoort. De ruis is als een onzichtbare muur: je kunt erdoorheen kijken, maar je kunt er niet doorheen breken.

3. De Resultaten: Waarom is dit belangrijk?

Wagner bewijst drie grote dingen met zijn nieuwe machine:

1. De Perfecte Vertaling: Elke groep die je met een computer kunt beschrijven (een "recursively presented group"), kun je nu vertalen naar een eindige, nette groep, waarbij de "ruis" zorgt voor perfecte onafhankelijkheid.
2. De Afstandsmeter: Hij laat zien dat de "afstand" tussen twee punten in het oude magazijn precies hetzelfde blijft in de nieuwe fabriek. Het is alsof je een landkaart van een berggebied overbrengt naar een plattegrond, maar de loopafstand tussen twee dorpen blijft exact hetzelfde. Dit is heel zeldzaam en moeilijk te bereiken.
3. Het Woordprobleem: Als je in het oude magazijn niet wist of een zin waar of onwaar was, weet je dat ook niet in de nieuwe fabriek. En als je het wel wist, weet je het daar ook. De machine behoudt de "oplosbaarheid" van de puzzel.

4. Samenvatting in Eén Zin

Francis Wagner heeft een nieuwe, slimme "ruis-motor" ontworpen die het mogelijk maakt om chaotische, onbegrijpelijke wiskundige groepen veilig en onaanraakbaar in een strakke, eindige fabriek te plaatsen, zonder hun innerlijke geheimen of afstanden te veranderen.

Kortom: Hij heeft een manier gevonden om een rommelige schuur in een glazen vitrine te zetten, waarbij de schuur zijn eigen sleutels behoudt en niemand anders erin kan komen zonder dat je het direct ziet.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Malnormal Subgroups of Finitely Presented Groups" van Francis Wagner, geschreven in het Nederlands.

Titel: Malnormale ondergroepen van eindig gepresenteerde groepen

Auteur: Francis Wagner
Kernonderwerp: Groepentheorie, Algoritmische Groepentheorie, Higman-embeddings, S-machines.

---

1. Probleemstelling en Achtergrond

Het artikel adresseert een fundamenteel vraagstuk binnen de groepentheorie: de relatie tussen algebraïsche eigenschappen van groepen en hun algoritmische eigenschappen. De uitgangspunten zijn:

• De Higman-inbeddingstheorema (1961): Een eindig gegenereerde groep is recursief gepresenteerd dan en slechts dan als deze inbedbaar is in een eindig gepresenteerde groep.
• Bestaande verfijningen: Eerdere werken (van Clapham, Ol'shanskii, Sapir, etc.) hebben deze stelling verfijnd om specifieke eigenschappen te behouden, zoals de beslisbaarheid van het Woordprobleem, bi-Lipschitz-inbeddingen (quasi-isometrie), en de behoud van asfericiteit of het Conjugatieprobleem.
• Het open probleem: Een specifieke vraag, geformuleerd door D. Osin (en eerder door Sapir), was of er een malnormale verfijning van de Higman-inbedding bestaat. Een ondergroep $G \leq H$ heet malnormaal als voor alle $h \in H \setminus G$, de doorsnede $(h^{-1}Gh) \cap G = \{1\}$ is. Malnormaliteit is een cruciale eigenschap in de theorie van hyperbolische groepen en relatief hyperbolische groepen.

Het doel van dit artikel is om een constructie te leveren die de Higman-inbedding combineert met de eigenschap van malnormaliteit, terwijl tegelijkertijd andere belangrijke eigenschappen (zoals de congruentie-uitbreidingseigenschap, de vervorming van de groep, en de beslisbaarheid van het Woordprobleem) worden behouden of gecontroleerd.

---

2. Methodologie: "Noisy" S-Machines

De kern van de bewijstechniek ligt in de ontwikkeling en toepassing van een veralgemening van S-machines, oorspronkelijk geïntroduceerd door Sapir, Birget en Rips.

• S-machines: Dit zijn computationele modellen die zijn ontworpen om eindig gepresenteerde groepen te construeren met specifieke algebraïsche en geometrische eigenschappen. Ze simuleren Turing-machines via groepspresentaties.
• De Innovatie: "Noisy" S-machines: De auteur introduceert een nieuwe klasse van veralgemeende S-machines, genaamd "noisy S-machines".
  • In traditionele S-machines worden tape-woorden herschreven via automorfismen van vrije groepen.
  • In "noisy" machines wordt tijdens de berekening "ruis" (noise) geïntroduceerd. Dit gebeurt door specifieke automorfismen toe te passen die extra letters (de "ruis") toevoegen aan de tape-woorden, gecodeerd met een marker van de toegepaste regel.
  • Deze ruis is essentieel: het voorkomt dat elementen van de ingebedde ondergroep geconjugeerd worden tot elkaar door elementen buiten de ondergroep, wat de malnormaliteit garandeert.
  • Tegelijkertijd wordt de ruis zo gecontroleerd dat de geometrische eigenschappen (zoals de vervorming) nog steeds beheersbaar blijven.

De Constructie:
De auteur bouwt een complexe machine $M_L$ op door meerdere submachines te combineren:

1. $M_1^A$: Een machine die de malnormaliteit waarborgt door de invoerletters te manipuleren met de "ruis".
2. $M_2^L$: Een machine die een recursieve taal $L$ simuleert (gebaseerd op een Turing-machine).
3. Compositie: Deze machines worden samengevoegd tot $M_3^L$, $M_4^L$, en uiteindelijk een cyclische machine $M_L$ die parallelle berekeningen uitvoert.
4. Groepspresentatie: Aan deze machine wordt een eindig gepresenteerde groep $G(\Omega(M_L))$ gekoppeld. De relaties van de groep simuleren de berekeningen van de machine.

---

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert twee hoofdresultaten, samengevat in Stelling A en Corollarium B.

Stelling A (De Hoofdstelling)

Een eindig gegenereerde groep $R$ is recursief gepresenteerd dan en slechts dan als er een inbedding $R \hookrightarrow H$ bestaat met de volgende eigenschappen:

1. Eindige presentatie: $H$ is een eindig gepresenteerde groep.
2. Malnormaliteit: $R$ is een malnormale ondergroep van $H$.
3. Congruentie-uitbreidingseigenschap (CEP): $R$ voldoet aan de CEP in $H$ (elke epimorfe afbeelding van $R$ kan worden uitgebreid tot een epimorfe afbeelding van $H$). Dit is een nieuwe verfijning van de Higman-stelling.
4. Quasi-isometrie: De restrictie van de woordnorm van $H$ tot $R$ is equivalent aan de woordnorm van $R$ (de inbedding is bi-Lipschitz).
5. Woordprobleem: Het Woordprobleem voor $H$ is beslisbaar dan en slechts dan als het Woordprobleem voor $R$ beslisbaar is.

Corollarium B (Voor aftelbare groepen)

Voor elke aftelbare groep $G$ en elke berekenbare lengtefunctie $\ell: G \to \mathbb{N}$, bestaat er een inbedding $G \hookrightarrow H$ in een eindig gepresenteerde groep $H$ waarbij:

• $G$ malnormaal is in $H$.
• $G$ voldoet aan de CEP.
• De restrictie van de woordnorm van $H$ tot $G$ is equivalent aan de gegeven functie $\ell$.
  Dit verfijnt eerdere resultaten van Ol'shanskii over het realiseren van vervorming.

---

4. Technische Bewijsstrategie

Het bewijs is zeer technisch en maakt gebruik van Van Kampen-diagrammen over de groepspresentaties. De auteur analyseert de structuur van deze diagrammen om de gewenste eigenschappen te bewijzen:

• Malnormaliteit: Bewezen door aan te tonen dat er geen "annulair diagram" (annular diagram) bestaat dat een niet-triviale conjugatie tussen elementen van $R$ en elementen buiten $R$ zou kunnen vertegenwoordigen. De "ruis" in de "noisy" S-machines zorgt ervoor dat dergelijke diagrammen leiden tot een contradictie (geen malnormale ondergroep zou bestaan).
• Dehn-functie en Woordprobleem: De auteur introduceert een gewichtsfunctie op de cellen van de diagrammen om een bovengrens te vinden voor het oppervlak (area) van diagrammen.
  • Als het Woordprobleem voor $R$ beslisbaar is, is de Dehn-functie van de constructie begrensd door een berekenbare functie, wat impliceert dat het Woordprobleem voor $H$ ook beslisbaar is.
  • Als het Woordprobleem voor $R$ onbeslisbaar is, is dat direct overgeërfd door $H$.
• CEP: De constructie wordt zo ontworpen dat de relaties in $H$ de structuur van $R$ zodanig respecteren dat elke quotiënt van $R$ kan worden uitgebreid naar een quotiënt van $H$.
• Vervorming (Distortion): Door de specifieke opzet van de "noisy" regels en de analyse van de lengte van paden in de diagrammen, wordt bewezen dat de vervorming van $R$ in $H$ lineair is (bi-Lipschitz), of dat een specifieke vervorming kan worden gerealiseerd in het geval van Corollarium B.

---

5. Betekenis en Impact

Dit artikel is een significante doorbraak in de algoritmische groepentheorie:

1. Oplossing van een open probleem: Het beantwoordt de vraag van Osin en Sapir over de existentie van een malnormale Higman-inbedding.
2. Unificatie van eigenschappen: Het is de eerste constructie die malnormaliteit, CEP, quasi-isometrie en behoud van het Woordprobleem in één enkele inbedding combineert. Eerdere resultaten behielden meestal slechts één of twee van deze eigenschappen.
3. Nieuw technisch gereedschap: De introductie van "noisy S-machines" opent nieuwe wegen voor het construeren van groepen met specifieke geometrische eigenschappen. Het toont aan dat "ruis" in de berekening niet noodzakelijk destructief is, maar juist nuttig kan zijn om algebraïsche eigenschappen (zoals malnormaliteit) af te dwingen.
4. Toepassingen: De resultaten hebben implicaties voor de studie van relatief hyperbolische groepen, de vervorming van ondergroepen, en de classificatie van eindig gepresenteerde groepen op basis van hun algoritmische complexiteit.

Samenvattend biedt dit werk een krachtig en flexibel raamwerk om willekeurige recursief gepresenteerde groepen in te bedden in eindig gepresenteerde groepen met een zeer hoge graad van controle over hun algebraïsche en meetkundige gedrag.