A further study of quandles and quandle rings

Stel je een wereld voor waarin de regels van de algebra niet altijd goed samenwerken. In de standaard wiskunde die je op school leert, maakt het bij vermenigvuldigen niet uit welke volgorde je gebruikt ($3 \times 4$ is hetzelfde als $4 \times 3$), en als je iets genoeg met zichzelf vermenigvuldigt, krijg je meestal een voorspelbaar resultaat. Maar er is een wildere tak van de wiskunde genaamd "knoopentheorie", die bestudeert hoe touwen in de ruimte in de knoop kunnen raken. Om het puzzelstukje op te lossen of twee knopen eigenlijk hetzelfde zijn (slechts anders gedraaid), hebben wiskundigen een speciaal soort algebraïsche structuur uitgevonden genaamd een quandle. Zie een quandle als een verzameling magische knoppen. Wanneer je één knop ($x$) gebruikt met een andere knop ($y$), verandert $x$ in een nieuwe staat ($x * y$). Deze knoppen volgen drie strikte regels die de fysieke bewegingen nabootsen die je kunt maken met een geknoopte draad zonder deze door te knippen. Ze zijn niet-associatief, wat betekent dat de volgorde waarin je de knoppen indrukt de uitkomst verandert, wat ze lastig maar ongelooflijk krachtig maakt voor het ontwarren van wiskundige knopen.

Stel je nu voor dat je deze magische knoppen neemt en een heel nieuw soort getallensysteem bouwt op basis van hen, een zogenaamde quandle-ring. Het is alsof je een kaartspel (de quandle) neemt en jezelf toestaat om ze te mengen, op te tellen en op complexe manieren te vermenigvuldigen. Wiskundigen zijn geobsedeerd door het vinden van "idempotenten" in deze ringen. Een idempotent is een speciaal getal dat, wanneer je het met zichzelf vermenigvuldigt, precies hetzelfde blijft ($x^2 = x$). In normale getallensystemen zijn de enige idempotenten meestal 0 en 1. Maar in deze quandle-ringen is de vraag: zijn er andere verborgen getallen die zo werken? Het vinden van deze is als het ontdekken van geheime codes in een videogame; ze zouden wiskundigen kunnen helpen om nog betere instrumenten te bouken om knopen van elkaar te onderscheiden. Dit artikel duikt diep in deze ringen om te zien waar deze geheime getallen zich verschuilen, waar ze niet zijn, en hoe de "nul-delers" (getallen die vermenigvuldigd met elkaar nul opleveren) in een prachtig, symmetrisch patroon zijn gerangschikt.

De auteurs van dit artikel, Gregory Churchill, Indu Rasika Churchill, Neranga Fernando en Bhitali Kousik, zetten zich scharpe om verschillende specifieke typen van deze quandle-ringen te onderzoeken. Ze begonnen met het bekijken van "core quandles", die zijn opgebouwd uit groepen symmetrieën (zoals de rotaties en spiegelingen van een regelmatige veelhoek). Ze pakten een grote vraag aan: bepaalt de complexiteit van de onderliggende groep de complexiteit van de quandle? Ze ontdekten dat voor de symmetrieën van een veelhoek (de diadrische groep), het antwoord afhangt van of het aantal zijden oneven of even is. Als het aantal zijden oneven is, splitst de quandle zich in twee verschillende "banen" (groepen knoppen die elkaar kunnen bereiken); als het even is, splitst het zich in vier. Deze ontdekking hielp hen te bewijzen dat een eerdere aanname over hoe deze quandles zijn opgebouwd, onjuist was.

Vervolgens zochten ze naar die ongrijpbare "niet-triviale idempotenten". Ze toonden aan dat hoewel sommige oneindige quandle-ringen deze geheime getallen zeker hebben, anderen dat misschien niet hebben. Ze losten specifiek twee langlopende puzzels op over de ringen gebouwd van een vijfzijdige veelhoek (de diadische quandle van orde 5) en een commutatieve quandle met 5 elementen. Met behulp van een krachtige computeralgebraïsche techniek genaamd Gröbner-basissen (denk aan een supergeorganiseerde manier om een massaal stelsel vergelijkingen op te lossen), bewezen ze dat voor de ring van gehele getallen, de enige idempotenten in deze specifieke gevallen de "triviale" zijn (de basisbouwstenen). Met andere woorden, er zijn geen verborgen codes in deze specifieke ringen; de enige getallen die hetzelfde blijven wanneer ze worden gekwadrateerd, zijn de getallen waarmee je begon.

Het artikel gaat vervolgens over naar "uitgebreide quandle-ringen", die er als het ware op lijken om een speciale "universele" knop toe te voegen. Hier onderzochten ze "eenheden" (getallen die een inverse hebben, zoals 2 en 0,5 inversen zijn in de normale wiskunde) en "nilpotente" elementen (getallen die verdwijnen naar nul als je ze genoeg met zichzelf vermenigvuldigt). Ze vonden duidelijke regels voor wanneer deze uitgebreide ringen eenheden hebben en bewezen dat de ringen gebouwd van "triviale quandles" (waar de knoppen elkaar niet echt veranderen) niet "nil clean" zijn. Dit is een chique manier om te zeggen dat je niet elk getal in deze ringen kunt afbreken tot een eenvoudige som van een "blijvend-hetzelfde" getal en een "verdwijnend" getal.

Een van de meest visueel opvallende delen van hun werk betreft "nul-deler grafieken". Stel je een kaart voor waarbij elk getal dat met een ander getal kan vermenigvuldigen om nul te maken een stad is, en een weg verbindt twee steden als ze elkaar opheffen. De auteurs tekenden deze kaarten voor diverse quandle-ringen en vonden een prachtige "spiegelymmetrie". Als er een stad is met 3 wegen die eruit gaan en 1 weg die erin komt, is er een andere stad met 1 weg die eruit gaat en 3 wegen die erin komen. Het is als een perfecte reflectie in een draaiascultuur. Ze bewezen dat als je deze twee "spiegel" getallen bij elkaar optelt, het resultaat nooit een nul-deler is, wat een nette en verrassende eigenschap is.

Ten slotte keken de auteurs naar priem en semi-priem ringen (ringen die geen "verborgen" nul-kwadraat idealen hebben) en vonden dat als de grootte van de quandle deelbaar is door een priemgetal, de ring niet priem is. Ze toonden ook aan hoe men een specifieke polynoom (een chique algebraïsche formule met twee variabelen) kan schrijven die de volledige vermenigvuldigingstabel van een commutatieve quandle van een bepaalde grootte kan recreëren, waardoor het hele concept in feite in één enkele vergelijking wordt omgezet.

Samenvattend stelt dit artikel niet alleen vragen; het geeft antwoorden met rigoureuze bewijzen. Het sluit het bestaan van niet-triviale idempotenten in specifieke op gehele getallen gebaseerde quandle-ringen uit, corrigeert misvattingen over de rang van core quandles, en onthult een prachtige, symmetrische structuur in de manier waarop nul-delers met elkaar interageren. Hoewel ze niet beweren dat ze elk mysterie in de knopentheorie hebben opgelost, hebben ze een duidelijker, gedetailleerderere kaart van het algebraïsche landschap geschetst, waarbij ze precies laten zien waar de geheimen liggen en waar de paden leeg zijn.