Een langlopende open vraag binnen de groepentheorie is beantwoord door de wiskundige Marc Lackenby. Hij heeft aangetoond dat elke eindige groep een specifieke vorm van presentatie bezit, waarbij het verwijderen van een enkele relatie leidt tot een oneindige groep.
In de wereld van de abstracte algebra is de structuur van groepen een fundamenteel studieobject. Een centraal concept hierbij is de 'presentatie' van een groep, bestaande uit een verzameling generatoren en relaties. Een specifieke vorm hiervan wordt een 'just finite' presentatie genoemd. Volgens een publicatie op arxiv.org spreekt men van een just finite presentatie wanneer een eindige groep zodanig is gedefinieerd dat het weglaten van een willekeurige relatie uit de verzameling resulteert in een presentatie voor een oneindige groep.
Oplossing van een historisch vraagstuk
Het vraagstuk of elke eindige groep inderdaad over een dergelijke presentatie beschikt, was al geruime tijd een onbeantwoord probleem binnen de wiskunde. Het stond specifiek vermeld als probleem 21.10 in het zogenaamde Kourovka Notebook, een verzameling van openstaande problemen in de groepentheorie. In zijn recente onderzoek heeft Marc Lackenby deze conjectuur bevestigend opgelost.
De resultaten van dit onderzoek zijn inmiddels geaccepteerd voor publicatie in het Journal of Group Theory. De meest recente versie van het artikel, gedateerd op 4 november 2026, bevat verbeteringen en aanpassingen naar aanleiding van feedback van recensenten. Het document beslaat in totaal zeven pagina's en biedt de formele bewijsvoering voor de stelling dat elke eindige groep een just finite presentatie toelaat, zoals beschreven in de .
De rol van kunstmatige intelligentie
Een opvallend aspect van dit wetenschappelijke succes is de methodiek die is gebruikt om tot het resultaat te komen. In de opmerkingen bij de publicatie op vermeldt de auteur dat hij significante ondersteuning heeft ontvangen van een AI-co-mathematicus. Deze specifieke tool is ontwikkeld door Google DeepMind.
Dit markeert een interessante verschuiving in de theoretische wiskunde, waarbij geavanceerde AI-systemen niet langer enkel worden gebruikt voor computationele taken, maar actief bijdragen aan het oplossen van complexe theoretische bewijzen. De integratie van AI in dit proces heeft bijgedragen aan de uiteindelijke resolutie van het probleem uit het Kourovka Notebook.
Wetenschappelijke context en classificatie
Het werk van Lackenby bevindt zich op het snijvlak van verschillende disciplines. De publicatie is gecategoriseerd onder Group Theory (math.GR) en Artificial Intelligence (cs.AI). Daarnaast zijn er specifieke MSC-klassen aan het werk gekoppeld, waaronder 20F05 en 20D99, wat duidt op de diepe theoretische inbedding in de algebraïsche structuren.
Hoewel de technische details van het bewijs complex zijn, is de implicatie voor de groepentheorie duidelijk: er is nu een universele zekerheid over het bestaan van just finite presentaties voor alle eindige groepen. Voor verdere details over de wiskundige bewijsvoering kan men de volledige PDF raadplegen via de .
De publicatiegeschiedenis laat zien dat de eerste versie van het artikel op 11 mei 2026 werd ingediend, waarna het proces van revisie en acceptatie leidde tot de definitieve versie begin november 2026. Hiermee is een belangrijke stap gezet in het begrijpen van de relatie tussen eindige en oneindige groepen binnen de presentatietheorie.