No universal group in a cardinal

Deze paper introduceert de zogenaamde 'olive property' als nieuwe voldoende voorwaarde om het bestaan van universele groepen in bepaalde kardinalen uit te sluiten, zelfs voor klassen die de SOP₄-eigenschap niet bezitten.

De kern

Hier is een uitleg van Saharon Shelah's paper "No Universal Group in a Cardinal" in eenvoudig, alledaags Nederlands, vol met creatieve metaforen.

De Kernvraag: Is er één "Super-Organisatie" voor alles?

Stel je voor dat je een enorme bibliotheek hebt met boeken over groepen (in de wiskunde: verzamelingen met een specifieke manier om te combineren, zoals getallen die je kunt optellen of rotaties van een object).

De wiskundigen stellen zich de volgende vraag:

"Bestaat er één 'Super-Boek' (een universaal model) in een bepaalde grootte (cardinaliteit), waarin je elk ander boek over groepen kunt 'lezen' of in kunt 'passen'?"

Als zo'n Super-Boek bestaat, is het leven makkelijk. Je hoeft maar één ding te bouwen en je hebt alles in de hand. Als het niet bestaat, moet je oneindig veel verschillende boeken bouwen om alles te dekken.

De Regels van het Spel: GCH en Chaos

In de wiskunde geldt vaak een regel genaamd GCH (Generalized Continuum Hypothesis). Dit is als een "rustige, voorspelbare dag" in de wiskundige wereld. Als de getallen zich gedragen zoals we verwachten (de GCH-regels volgen), dan bestaat er vaak wel zo'n Super-Boek.

Maar, als de getallen zich chaotisch gedragen (de GCH-regels worden geschonden, bijvoorbeeld als er ineens veel meer getallen zijn dan je denkt), dan wordt het lastig.

• Voor simpele dingen (zoals een rij getallen die steeds groter wordt, een lineaire orde) weten we al lang: als het chaotisch is, bestaat er geen Super-Boek.
• De vraag was: geldt dit ook voor groepen? Groepen zijn complexer. Ze hebben meer regels en kunnen zich op meer manieren gedragen.

De Oplossing: De "Olijven-eigenschap" (The Olive Property)

Shelah introduceert in dit paper een nieuw concept dat hij de "Olijven-eigenschap" noemt.

De Metafoor:
Stel je voor dat je een olijfgaard hebt. Je wilt weten of je één enkele, perfecte olijf kunt vinden die alle mogelijke smaken van olijven in zich heeft (zout, zuur, bitter, mild).

• Als de olijfgaard "simpel" is, kun je misschien één perfecte olijf maken.
• Maar als de olijfgaard een Olijven-eigenschap heeft, betekent dit dat de olijven zo complex en tegenstrijdig zijn dat je nooit één enkele olijf kunt maken die alles in zich heeft.

Shelah bewijst dat de wereld van groepen precies deze Olijven-eigenschap heeft.

• Wat betekent dit? Het betekent dat groepen "te lastig" zijn. Ze zijn zo rijk aan verschillende structuren dat je in een chaotische wereld (waar de getallen niet volgens de standaardregels werken) nooit één enkele groep kunt vinden die alle andere groepen van die grootte kan bevatten.

Waarom is dit belangrijk? (De "SOP4" en "SOP3" regels)

Voorheen wisten wiskundigen dat als een theorie een bepaalde "gevaarlijke" eigenschap had (genaamd SOP4), er geen Super-Boek bestond.

• SOP4 is als een monster dat je direct herkent: "Dit is te wild, hier werkt geen Super-Boek."
• Groepen waren een raadsel. Ze waren niet zo wild als SOP4 (ze waren "NSOP4"), maar ze waren ook niet zo rustig als de simpele theorieën. Ze zaten in een grijs gebied.

Shelah's grote doorbraak is:

1. Hij definieert de Olijven-eigenschap. Dit is een iets "zachtere" versie van het monster (zwakker dan SOP4, maar sterker dan de rustige theorieën).
2. Hij bewijst dat groepen deze Olijven-eigenschap hebben.
3. Conclusie: Groepen zijn dus net als de chaotische lineaire orden. Als de getallenwereld niet perfect is (geen GCH), dan bestaat er geen universele groep.

Specifiek voor "Lokale" Groepen

Het paper gaat ook in op een subgroep: lokaal eindige groepen (groepen die uit eindige stukjes bestaan).
Shelah toont aan dat zelfs voor deze specifieke groepen, als de getallenwereld chaotisch is (bijvoorbeeld in een groot getal $\lambda$ dat net iets groter is dan een macht van een ander getal), er geen enkele "Super-Lokaal-Eindige-Groep" bestaat die alles kan bevatten.

Samenvatting in één zin

Saharon Shelah laat zien dat de wereld van wiskundige groepen zo complex en weerbarstig is dat, als de fundamentele regels van de getallenwereld een beetje uit het lood slaan, het onmogelijk is om één enkele "Meester-Groep" te bouwen die alle andere groepen in zich draagt; je bent gedwongen om een oneindige verzameling van verschillende groepen te bouwen.

De "Olijven-eigenschap" is het bewijs dat de groepen te rijk en te divers zijn om ooit in één enkel vat te worden gegoten.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "NO UNIVERSAL GROUP IN A CARDINAL" (SH1029) van Saharon Shelah, vertaald en samengevat in het Nederlands.

Titel: Geen universeel groep in een cardinaliteit

Auteur: Saharon Shelah
Datum: 27 maart 2013 (laatste revisie 24 januari 2024)
Onderwerp: Modeltheorie, Groepentheorie, Classificatietheorie, Kardinaalrekenkunde

---

1. Het Probleem en Achtergrond

De kernvraag in deze studie is het karakteriseren van de cardinaalgetallen $\lambda$ waarvoor een bepaalde klasse van modellen (bijvoorbeeld de klasse van alle groepen) een universeel lid bezit. Een model $M$ van kardinaliteit $\lambda$ is universeel voor een klasse $\mathcal{K}$ als elk ander model in $\mathcal{K}$ met kardinaliteit $\lambda$ in $M$ kan worden ingebed.

• Gevallen met GCH: Als de Generalized Continuum Hypothesis (GCH) geldt (of $\lambda = 2^{<\lambda}$), bestaan universele modellen voor veel klassen, inclusief modellen van complete theorieën $T$ (mits $\lambda > |T|$).
• Gevallen zonder GCH: Als de GCH faalt, is de situatie complexer. Voor "simpele" klassen (zoals de theorie van dichte lineaire ordeningen) is bekend dat er geen universeel model bestaat als $\lambda$ "ver weg" ligt van GCH (bijv. $\mu^+ < \lambda < 2^\mu$).
• De Open Vraag: Waar staat de klasse van groepen?
  • Het is bekend dat de theorie van groepen de eigenschap SOP$_3$ (Strict Order Property 3) heeft, maar NSOP$_4$ is (geen SOP$_4$).
  • Eerdere resultaten suggereerden dat SOP$_4$ nodig was om het bestaan van een universeel model te ontkrachten in cardinaalgetallen waar de GCH faalt.
  • De vraag was: Is er een zwakkere voorwaarde dan SOP$_4$ die voldoende is om het bestaan van een universeel groep te ontkrachten, en geldt deze voor de klasse van groepen?

2. Methodologie: De "Olive Property"

Shelah introduceert een nieuwe sufficientievoorwaarde, genaamd de "Olive Property" (Olijf-eigenschap). Deze eigenschap is zwakker dan SOP$_4$, maar sterker dan NSOP$_3$, en is specifiek ontworpen om het niet-bestaan van universele modellen aan te tonen in cardinaalgetallen waar de kardinaalrekenkunde "niet dicht bij GCH" ligt.

Definitie van de Olive Property:
Een theorie $T$ heeft de olive property als er formules $(\varphi_0, \varphi_1, \psi)$ en een model $C$ bestaan die voldoen aan:

1. Constructie: Voor elke rij functies $\bar{f} = \langle f_\alpha : \alpha < \lambda \rangle$ (waarbij $f_\alpha: \alpha \to \{0,1\}$) kan een model $M$ en een rij elementen $\bar{a}_\alpha$ worden geconstrueerd zodanig dat de formules $\varphi_0$ en $\varphi_1$ worden vervuld op basis van de waarden van $f_\alpha$.
2. Beperking (De "Olijf"): Er bestaat geen configuratie van elementen in een model die een specifiek "verboden" patroon van relaties vormt. Dit patroon is zo ontworpen dat het de constructie van een universeel model verhindert door een soort "pigeonhole-principe" in combinatie met het "gissen van clubs" (club guessing).

Technische hulpmiddelen:

• Club Guessing: De bewijzen maken gebruik van verzamelingstheoretische principes (zoals $Qr_1(\chi_2, \chi_1, \lambda)$) die betrekking hebben op het bestaan van sequenties van clubs die bepaalde eigenschappen "gissen" in cardinaalgetallen.
• HNN-uitbreidingen en vrije amalgering: In het bewijs voor groepen worden geavanceerde constructies uit de groepentheorie gebruikt om de vereiste modellen te bouwen die voldoen aan de olive property, maar geen universeel model toelaten.

3. Belangrijkste Resultaten

A. De Klasse van Groepen heeft de Olive Property

Het centrale resultaat van het artikel is Theorema 2.1:

De klasse van alle groepen heeft de olive property (specifiek de $(\eta, \bar{k}, m)$-olive property met $\eta=\langle 0,1,0 \rangle$).

Dit betekent dat de theorie van groepen, ondanks dat ze NSOP$_4$ is, toch voldoende "compliceerd" is om het bestaan van een universeel model te blokkeren onder bepaalde omstandigheden.

B. Niet-bestaan van Universele Groepen

Op basis van de olive property en de verzamelingstheoretische voorwaarden ($Qr_1$), leidt Shelah af:

• Als $\lambda$ een reguliere kardinaal is en er geldt $\mu^+ < \lambda < 2^\mu$ (waarbij $\mu$ een regelmatige kardinaal is), dan bestaat er geen universeel groep van kardinaliteit $\lambda$.
• Dit geldt ook voor de klasse van lokaal eindige groepen (locally finite groups).
• Conclusie 2.17: Als $\aleph_2 \le \lambda = \text{cf}(\lambda) < 2^{\aleph_0}$, dan is er geen universeel model voor de klasse van lokaal eindige groepen.

C. Amenability van Groepen

Het artikel weerlegt een eerdere bewering (in eerdere versies van Shelah's werk) dat de klasse van groepen "amenabel" zou zijn.

• Claim 2.18: Er bestaat een groep $G_0$ zodanig dat als $G \supseteq G_0$, de theorie $Th(G)$ niet amenabel is.
• Dit betekent dat er geen universeel model bestaat in cardinaalgetallen waar de GCH faalt, zelfs in forcing-uitbreidingen van het universum.

4. Significatie en Impact

1. Oplossing van Open Vragen: Het artikel beantwoordt Vraag 0.4 uit de inleiding: De klasse van groepen staat "slecht" wat betreft het bestaan van universele modellen. Ze gedragen zich in dit opzicht vergelijkbaar met lineaire ordeningen (die SOP$_4$ hebben), ondanks dat groepen NSOP$_4$ zijn.
2. Nieuwe Classificatie: De introductie van de Olive Property biedt een nieuw instrument in de classificatietheorie. Het toont aan dat SOP$_4$ niet de scherpste grens is voor het falen van universele modellen; er is een "tussenzone" (zoals bij groepen) waar de eigenschap al faalt.
3. Verbinding tussen Modeltheorie en Groepentheorie: Het werk verbindt abstracte modeltheoretische eigenschappen met concrete constructies in de groepentheorie (via HNN-uitbreidingen en vrije producten), wat laat zien dat de structuur van groepen complex genoeg is om "pathologische" gedragingen in grote cardinaalgetallen te vertonen.
4. Verzamelingstheoretische Voorwaarden: Het artikel verduidelijkt precies onder welke verzamelingstheoretische aannames (zoals het falen van GCH op specifieke manieren) universele modellen falen, en toont aan dat zelfs onder zwakkere aannames dan voorheen bekend, het falen optreedt.

Conclusie

Saharon Shelah bewijst dat de klasse van groepen (en lokaal eindige groepen) geen universeel lid heeft in cardinaalgetallen $\lambda$ waar $\mu^+ < \lambda < 2^\mu$ voor een regelmatige $\mu$. Dit wordt bereikt door de introductie van de "Olive Property", een nieuwe sufficientievoorwaarde die zwakker is dan SOP$_4$ maar sterk genoeg om het bestaan van universele modellen te ontkrachten. Dit resultaat corrigeert eerdere aannames over de "amenability" van groepen en verrijkt de classificatietheorie met een nieuwe, krachtige tool.