🔢 mathematics

Implication semilattice of 990 quasigroup equational laws

In dit artikel worden de implicaties en equivalentieklassen van 990 equatiwetten voor quasigroepen, die Ernst Schröder 135 jaar geleden bestudeerde, volledig in kaart gebracht, waarbij ook de door hem geïdentificeerde niet-distributieve roosterstructuur als een klein deel van het geheel wordt bevestigd.

Oorspronkelijke auteurs: Bruno Le Floch

Gepubliceerd 2026-04-01

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Bruno Le Floch

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat wiskunde een gigantische bibliotheek is, vol met boeken over hoe dingen met elkaar kunnen worden "vermenigvuldigd". Meestal denken we aan vermenigvuldiging zoals in de basisschool: $2 \times 3$ is hetzelfde als $3 \times 2$ , en $(2 \times 3) \times 4$ is hetzelfde als $2 \times (3 \times 4)$ . Dit noemen we associatief en commutatief.

Maar in deze paper duiken we de bibliotheek in bij een heel speciaal, wat exotischere sectie: de quasigroups.

Wat is een Quasigroup? (De "Magische" Verdelingsmachine)

Stel je een machine voor die twee getallen invoert en één getal uitvoert (vermenigvuldiging). Bij een normale groep (zoals getallen) kun je altijd terugrekenen: als je weet wat het resultaat is en één van de invoergetallen, kun je het andere invoergetal vinden.

Een quasigroup is zo'n machine, maar dan zonder de regel dat $(A \times B) \times C$ hetzelfde moet zijn als $A \times (B \times C)$ . Het is een "niet-associatieve" wereld. Om het nog interessanter te maken, heeft deze machine ook twee speciale "terugknoppen":

Rechterdeling (//): "Welk getal moet ik rechts van $A$ zetten om $B$ te krijgen?"
Linkerdelen (\): "Welk getal moet ik links van $A$ zetten om $B$ te krijgen?"

In deze paper onderzoekt de auteur, Bruno Le Floch, een lijst van 990 mogelijke regels (wetten) die je op deze machines kunt toepassen.

De Historische Schat: Schröder's Lijst

Rond 1890 deed een wiskundige genaamd Ernst Schröder iets heel dappers. Hij probeerde een bewijs van de beroemde filosoof Peirce te ontkrachten. Peirce dacht dat alle "roosters" (lattices) in de wiskunde netjes en voorspelbaar waren (distributief). Schröder dacht: "Nee, ik ga een rare, onvoorspelbare structuur vinden."

Hij bedacht deze lijst van 990 regels en keek welke regels elkaar beïnvloeden. Hij vond een klein, raar rooster van 5 elementen, maar liet het werk onafgemaakt.

De Missie van deze Paper: De Grote Puzzel

Le Floch pakt Schröder's werk 135 jaar later weer op. Hij gebruikt moderne computers (zoals digitale detectives) om te kijken wat er gebeurt als je deze 990 regels met elkaar combineert.

Hij stelt zich de volgende vraag:
Als ik regel A en regel B samen heb, leidt dat automatisch tot regel C?

Dit is als een spelletje "Wie is de baas?":

Als je Regel A hebt, heb je dan ook Regel B?
Als je Regel A en Regel B hebt, krijg je dan een nieuwe, sterkere regel?

De Grote Ontdekkingen

Na duizenden berekeningen ontdekt Le Floch dat deze 990 regels niet allemaal even belangrijk zijn. Ze vallen in 114 verschillende groepen (variëteiten).

De Simpele Groep: Er zijn 47 regels die op zichzelf al een heel wereldje van quasigroups beschrijven. (Bijvoorbeeld: regels die zeggen dat vermenigvuldiging commutatief is, net als bij gewone getallen).
De Middelgrote Groep: Er zijn 50 groepen die je alleen kunt beschrijven als je twee regels samen neemt.
De Complexe Groep: Er zijn 15 groepen die drie regels nodig hebben.
De "Heilige Graal": Er is één heel speciale groep die vier regels nodig heeft om te worden beschreven. Dit is de enige die niet met minder kan.

De "Vier-Regel" Structuur (Het Kruisbestuiving)

De paper eindigt met een fascinatie voor die ene groep die vier regels nodig heeft. Stel je dit voor als een vierkant raamwerk. Als je één balk weghaalt, valt het raam in elkaar. Je hebt alle vier nodig om de structuur stabiel te houden.

De regels zijn als volgt (in wiskundig jargon, maar het idee is simpel):

Regel 1: Als je $x$ en $y$ verwisselt in een bepaalde deling, krijg je hetzelfde resultaat.
Regel 2: Als je $y$ en $z$ verwisselt in een andere deling, krijg je hetzelfde.
Regel 3 & 4: Nog twee vergelijkbare verwissel-regels.

Alleen als je alle vier deze regels tegelijkertijd toepast, ontstaat er een heel specifieke, rare vorm van wiskunde die Schröder eigenlijk zocht.

Waarom is dit belangrijk?

Vroeger dachten wiskundigen dat alle structuren netjes en logisch waren (zoals een goed georganiseerde bibliotheek). Schröder probeerde te bewijzen dat er ook "rommelige" bibliotheken bestaan waar de regels niet altijd opgaan.

Le Floch heeft nu de volledige kaart getekend van deze "rommelige bibliotheek". Hij heeft laten zien:

Welke regels elkaar uitsluiten.
Welke regels samenwerken.
En dat er precies 114 unieke manieren zijn om deze wiskundige wereld te bouwen met deze regels.

Samenvatting in één zin

Deze paper is als het voltooien van een 135 jaar oude puzzel: de auteur heeft alle 990 mogelijke regels voor een exotische wiskundige machine onderzocht, ontdekt dat ze in 114 verschillende categorieën vallen, en heeft de enige categorie gevonden die zo complex is dat je vier regels nodig hebt om hem te beschrijven.

Het is een eerbetoon aan een oude wiskundige droom, opgelost met de kracht van moderne computers en een beetje creatief denken over hoe dingen met elkaar verbonden zijn.

Titel: Implicatie-semi-rooster van 990 quasigroep-equationele wetten

1. Probleemstelling en Achtergrond

Het artikel pakt een historisch wiskundig vraagstuk op dat 135 jaar geleden werd geïnitieerd door Ernst Schröder. Schröder probeerde een claim van Charles Sanders Peirce te weerleggen dat alle roosters distributief zijn. Om dit te doen, bestudeerde hij een lijst van 990 equationale wetten (vergelijkingen) op quasigroepen.

Quasigroepen: Dit zijn algebraïsche structuren die lijken op groepen, maar waarbij de associativiteit niet vereist is. Ze zijn gedefinieerd door een verzameling met een binaire bewerking ( $*$ ) en twee geconjugeerde delingsbewerkingen ( $//$ en $\\$ ), zodanig dat de vermenigvuldigingen bijectief zijn.
De Wetten: Schröder overwoog vergelijkingen van de vorm $x?y?z = \alpha?\beta?\gamma$ , waarbij de operatoren ( $?$ ) onafhankelijk kunnen worden gekozen uit $\{*, //, \\}$ en de variabelen ( $\alpha, \beta, \gamma$ ) een permutatie zijn van $\{x, y, z\}$ . De associatie kan links- of rechtszijdig zijn.
Het Doel: Schröder identificeerde een vijf-elementen niet-distributief rooster binnen deze wetten, maar liet de volledige structuur van de implicaties tussen deze wetten onvoltooid. Het doel van dit paper is om deze zoektocht te voltooien en de volledige logische structuur van deze 990 wetten in kaart te brengen.

2. Methodologie

De auteur gebruikt geautomatiseerde theoremabewijzers en modelbouwers om de logische relaties tussen de wetten te analyseren. De aanpak is gebaseerd op het Equational Theories Project.

Hulpmiddelen:
- Prover9: Een automatisch theoremabewijzer om te bewijzen dat een verzameling wetten een andere wet impliceert.
- Mace4: Een modelbouwer om eindige tegenvoorbeelden (quasigroepen) te vinden die een implicatie weerleggen.
- Python-scripts: Schrijvers zoals Schroeder_implications.py en Schroeder_conjunctions.py die de interactie tussen de bewijzers automatiseren.
Strategie:
1. Voor elke implicatie tussen een verzameling wetten $A$ en een doelwet $E$ , wordt eerst gezocht naar een klein tegenvoorbeeld met Mace4.
2. Als geen tegenvoorbeeld wordt gevonden, wordt geprobeerd om een bewijs te vinden met Prover9 (met een korte time-out).
3. Als dit faalt, wordt een langere zoektocht naar tegenvoorbeelden uitgevoerd.
4. Een cruciale vereenvoudiging ten opzichte van eerdere projecten is dat alle niet-triviale implicaties in dit specifieke geval een eindig tegenvoorbeeld toelaten, wat de zoekruimte beheersbaar maakt.
Logische Structuur: De wetten worden geanalyseerd op basis van hun "goede deelverzamelingen" (logisch gesloten verzamelingen). Deze vormen een implicatie-semi-rooster onder de operaties:
- Som ( $A + B$ ): De kleinste logisch gesloten verzameling die $A$ en $B$ bevat.
- Product ($AB$): De verzamelingssnede $A \cap B$ .
- Implicatie ( $A \implies B$ ): Gedefinieerd als $B \subset A$ .

3. Belangrijkste Resultaten

De auteur heeft de volledige structuur van de 990 wetten in kaart gebracht en de volgende resultaten geconcretiseerd:

Aantal Variëteiten: Er zijn in totaal 114 verschillende quasigroepvariëteiten geïdentificeerd die kunnen worden beschreven door deelverzamelingen van de 990 Schröder-wetten.
Classificatie op Basis van Minimale Aantal Wetten: De variëteiten zijn ingedeeld op basis van het minimale aantal wetten dat nodig is om ze te karakteriseren:
- 1 variëteit: Vereist 0 wetten (de variëteit van alle quasigroepen).
- 47 variëteiten: Kunnen worden beschreven door één enkele vergelijking. Deze zijn gegroepeerd in 47 equivalentieklassen.
- 50 variëteiten: Vereisen twee vergelijkingen (en kunnen niet met één worden beschreven).
- 15 variëteiten: Vereisen drie vergelijkingen.
- 1 variëteit: Vereist vier vergelijkingen.
De Vier-Wetten Variëteit: De enige variëteit die vier vergelijkingen vereist, is van bijzonder belang. Deze wordt gedefinieerd door de conjunctie van:
1. $x * (y // z) = y * (x // z)$
2. $x * (y \\ z) = z * (y \\ x)$
3. $x // (y \\ z) = y // (x \\ z)$
4. $x \\ (y * z) = y \\ (x * z)$
  Deze structuur vormt een niet-distributief rooster, wat Schröders oorspronkelijke doel bevestigt.
Data en Reproductie: De auteur heeft alle implicaties, equivalenties en de volledige lijst van "lange klassen" (logisch gesloten verzamelingen) gepubliceerd in bijgevoegde bestanden (JSON en tekstbestanden), inclusief Python-scripts voor reproduceerbaarheid.

4. Significatie en Impact

Historische Voltooiing: Dit werk voltooit een onderzoek dat door Ernst Schröder in de jaren 1890 werd gestart maar nooit werd afgerond. Het biedt een compleet overzicht van de logische relaties tussen de door Schröder bedachte wetten.
Algebraïsche Structuur: Het paper levert een gedetailleerde kaart van de "implicatie-semi-rooster" van quasigroepen. Het onderscheidt zich van eerdere werken door de focus op quasigroepen in plaats van algemene magma's en door het gebruik van moderne geautomatiseerde redeneertools.
Verbinding met Distributiviteit: Het bevestigt en verduidelijkt Schröders oorspronkelijke bevinding dat de wetten een niet-distributief rooster vormen, wat een fundamenteel inzicht is in de algebraïsche eigenschappen van niet-associatieve structuren.
Openbare Data: Door het openbaar maken van de 114 variëteiten en de bijbehorende vergelijkingen, biedt het paper een waardevolle bron voor verdig onderzoek in de universele algebra en de theorie van quasigroepen. Het nodigt uit tot verdere interpretatie van deze variëteiten in meer conventionele wiskundige termen.

Samenvattend transformeert dit paper een historisch, onvoltooid project in een volledig gedefinieerd wiskundig object: een rooster van 114 quasigroepvariëteiten, afgeleid uit 990 mogelijke equationale wetten, met volledige bewijzen en tegenvoorbeelden.