🔢 mathematics

A necessary condition for solvability by radicals

Dit notitie, bedoeld als hand-out voor de MAT401-cursus aan de Universiteit van Toronto, presenteert een bewijs van een noodzakelijke voorwaarde voor de oplosbaarheid van algebraïsche vergelijkingen door radicalen op basis van Galoistheorie.

Oorspronkelijke auteurs: Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

Gepubliceerd 2026-04-13

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

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

De Kernvraag: Kunnen we de vergelijking oplossen?

Stel je voor dat je een ingewikkelde puzzel hebt: een wiskundige vergelijking (zoals $x^5 + x + 1 = 0$ ). De vraag is: kunnen we het antwoord vinden door alleen maar optellen, aftrekken, vermenigvuldigen, delen en wortels trekken?

Wiskundigen noemen dit "oplosbaar door radicalen" (radicalen zijn wortels, zoals $\sqrt{2}$ of $\sqrt[3]{5}$ ).

Deze tekst is een bewijs dat zegt: "Als je een vergelijking op deze manier kunt oplossen, dan moet de onderliggende structuur van de vergelijking een heel specifiek, 'netjes' patroon hebben."

De Reis in Stappen

Het artikel neemt je mee door een reeks logica die lijkt op het bouwen van een toren of het ontrafelen van een doos met doosjes.

1. De Wiskundige "Spiegelwereld" (Galois-theorie)

Om te begrijpen of een vergelijking oplosbaar is, kijken wiskundigen niet alleen naar de getallen, maar naar de symmetrieën tussen de oplossingen.

De Analogie: Stel je voor dat je een groep vrienden hebt die allemaal elkaars spiegelingen zijn. Als je twee vrienden verwisselt, verandert er niets in de "sfeer" van de groep.
In de wiskunde noemen we deze verzameling van mogelijke verwisselingen een Galois-groep.
Het artikel zegt: Als je de vergelijking op kunt lossen met wortels, dan moet deze groep van vrienden een heel specifieke rangschikking hebben. Ze moeten in een hiërarchie staan die makkelijk te doorgronden is.

2. De "Oplosbare" Groep

Wat betekent "oplosbaar" voor zo'n groep?

De Analogie: Denk aan een Russisch poppetje (Matroesjka).
- Je hebt een grote pop.
- Je opent hem en er zit een kleinere pop in.
- Die opent je weer, en er zit een nog kleinere in.
- Uiteindelijk kom je bij een popje dat alleen uit zichzelf bestaat (geen verdere lagen).
Als je een vergelijking kunt oplossen met wortels, betekent dit dat de "Galois-groep" (de vrienden) zich laat opbreken in steeds kleinere, simpele groepjes.
De tekst bewijst dat als je de vergelijking kunt oplossen, je deze "poppen" altijd kunt openen tot je bij simpele, uitwisselbare groepjes komt (commutatieve groepen). Als de groep te chaotisch is (te veel lagen die niet netjes opengaan), kun je de vergelijking niet oplossen met wortels.

3. De "Wortel-Toren" (Radicalen)

Het artikel beschrijft hoe je een vergelijking oplost: je bouwt een toren van velden (verzamelingen van getallen).

Stap 1: Je begint met de basisgetallen.
Stap 2: Je voegt een wortel toe (bijv. $\sqrt{2}$ ).
Stap 3: Je voegt nog een wortel toe aan het nieuwe getal (bijv. $\sqrt{1+\sqrt{2}}$ ).
Dit is de "keten van radicalen".

Het probleem is dat deze toren vaak niet "normaal" is. Dat betekent dat als je een wortel toevoegt, je soms per ongeluk andere wortels moet toevoegen om de structuur heel te houden.

De Analogie: Als je een raam breekt om een wortel toe te voegen, moet je misschien het hele raamkozijn vervangen om het weer veilig te maken.

4. De "Normale" Oplossing

De auteur (Khovanskii) toont aan dat we elke "rommelige" toren van wortels kunnen ombouwen naar een normale toren.

In deze normale toren zijn alle tussenstappen "splitting fields" (verdelingsvelden). Dat klinkt ingewikkeld, maar betekent simpelweg: als je één wortel toevoegt, heb je alle bijbehorende wortels al in je verzameling.
Het artikel bewijst dat als je een vergelijking kunt oplossen, je altijd zo'n nette, normale toren kunt bouwen.

5. Het Eindresultaat: De Symmetrie is de Sleutel

Het bewijs loopt als volgt:

Als je een vergelijking oplost met wortels, bouw je een toren van getallen.
We kunnen die toren "normaliseren" tot een nette structuur.
In deze nette structuur zijn de stappen tussen de lagen heel simpel (ze zijn "commutatief", wat betekent dat de volgorde van bewerkingen er niet toe doet).
Omdat elke stap simpel is, is de hele structuur (de Galois-groep) oplosbaar.
Conclusie: Als je een vergelijking op kunt lossen met wortels, dan moet de Galois-groep oplosbaar zijn.

Waarom is dit belangrijk?

Dit artikel geeft een noodzakelijke voorwaarde.
Het zegt: "Als de Galois-groep van je vergelijking niet oplosbaar is (te chaotisch, geen nette poppen), dan is het onmogelijk om de vergelijking op te lossen met wortels."

Dit is de reden waarom er geen formule bestaat voor vergelijkingen van de vijfde graad (zoals $x^5 + x + 1 = 0$ ). Hun "symmetrie-groep" is te wild en te complex om in die nette, oplosbare poppen te passen. Je kunt ze niet "oplossen" met de standaard rekenoperaties en wortels.

Samenvattend in één zin

Om een wiskundige vergelijking op te lossen met wortels, moet de onderliggende symmetrie van de oplossingen net zo netjes en hiërarchisch zijn als een reeks Russische poppetjes; als de symmetrie te chaotisch is, is het onmogelijk.

Titel: Een noodzakelijke voorwaarde voor oplosbaarheid door radicalen

Auteur: Askold Khovanskii
Context: Hand-out voor de cursus MAT401 "Polynoomvergelijkingen en velden", Universiteit van Toronto (voorjaar 2026).

1. Het Probleem

Het centrale probleem dat in deze notatie wordt aangepakt, is het vaststellen van een noodzakelijke voorwaarde voor de oplosbaarheid van algebraïsche vergelijkingen door radicalen (d.w.z. met behulp van wortels, optellen, aftrekken, vermenigvuldigen en delen).

Hoewel de sufficientie (dat een oplosbare Galois-groep impliceert dat de vergelijking oplosbaar is door radicalen) vaak wordt bewezen met lineaire algebra, richt dit paper zich specifiek op de omgekeerde richting: als een vergelijking oplosbaar is door radicalen, wat impliceert dit dan voor de structuur van de bijbehorende Galois-groep? Het doel is een rigoureus bewijs te leveren dat de Galois-groep van de splitsingsveld van zo'n vergelijking oplosbaar (solvable) moet zijn.

2. Methodologie

De auteur hanteert een strikt algebraïsche aanpak gebaseerd op de Galois-theorie. De methodologie bestaat uit de volgende stappen:

Fundamenten van Galois-theorie: Het paper begint met een overzicht van basisdefinities en stellingen uit de cursusliteratuur (referentie [1]), waaronder:
- Definitie van normale velduitbreidingen en splitsingsvelden.
- De relatie tussen de orde van de Galois-groep en de graad van de uitbreiding.
- De correspondentie tussen tussenvelden en ondergroepen van de Galois-groep.
- De eigenschap dat de restrictie van automorfismen tot een normaal tussenveld een homomorfisme induceert.
Definitie van Radicaaluitbreidingen:
- Er wordt een keten van radicaaluitbreidingen gedefinieerd ( $K = R_0 \subset R_1 \subset \dots \subset R_n$ ), waarbij elke stap $R_i$ wordt verkregen door een element $a_i$ toe te voegen waarvoor $a_i^{k_i} \in R_{i-1}$ .
- Een cruciaal probleem wordt geïdentificeerd: een dergelijke keten is niet noodzakelijk een normale uitbreiding, waardoor de Galois-groep niet direct gedefinieerd is voor de hele keten.
Normalisatie van de Ketens:
- Om de Galois-theorie toepasbaar te maken, introduceert de auteur het concept van een "genormaliseerde set van normale radicaaluitbreidingen".
- In plaats van te werken met de oorspronkelijke keten $R_i$ $R_{i}$ , construeert men een genormaliseerde keten $E_0 \subset E_1 \subset \dots \subset E_{n+1}$ $E_{0} \subset E_{1} \subset \dots \subset E_{n + 1}$ waarbij:
  - $E_1$ het splitsingsveld is van $x^N - 1$ (wortels van eenheid), met $N$ als het kleinste gemene veelvoud van de exponenten in de oorspronkelijke keten.
  - Elke volgende stap $E_{i+1}$ het splitsingsveld is van een polynoom dat voortkomt uit de orbieten van de elementen onder de Galois-groep van de vorige stap.
- Deze constructie garandeert dat elke stap een normale uitbreiding is, waardoor de Galois-groep voor elke stap wel gedefinieerd is.
Groepsstructuren en Commutativiteit:
- Er worden lemmata bewezen die de structuur van de Galois-groepen van specifieke polynomen analyseren:
  - Voor $x^n - 1$ : De Galois-groep is isomorf met een ondergroep van de multiplicatieve groep $U(n)$ (commutatief).
  - Voor $x^n - a$ (als $K$ alle $n$ -de eenheidswortels bevat): De Galois-groep is isomorf met een ondergroep van de cyclische groep $\mathbb{Z}_n$ (commutatief).
- Hieruit volgt dat de Galois-groepen van de genormaliseerde keten commutatief zijn.

3. Belangrijkste Bijdragen

De kernbijdrage van het paper ligt in de constructieve overgang van een willekeurige keten van radicaaluitbreidingen naar een genormaliseerde keten van normale uitbreidingen, en het gebruik daarvan om de solvabiliteit van de Galois-groep af te leiden.

Constructie van Normalisatie (Stelling 7.2): Het bewijs dat voor elke keten van radicaaluitbreidingen een genormaliseerde keten van normale uitbreidingen bestaat die de oorspronkelijke keten bevat. Dit lost het probleem op dat radicaaluitbreidingen niet automatisch normaal zijn.
Koppeling van Orbieten aan Polynomen: Het gebruik van de orbiet van een element onder de Galois-groep om een polynoom te definiëren waarvan de splitsingsveld de volgende stap in de genormaliseerde keten vormt.
Commutativiteit van Stapsgewijze Groepen: Het aantonen dat de Galois-groepen van de individuele stappen in de genormaliseerde keten commutatief zijn (Lemmata 8.2, 8.3, 8.4).

4. Resultaten

Het hoofdstuk resulteert in de volgende stelling:

Stelling 9.1 (Noodzakelijke Voorwaarde):
Als een polynoomvergelijking $P(x) = 0$ over een veld $K$ met karakteristiek 0 oplosbaar is door radicalen, en $E$ het splitsingsveld van $P$ is, dan is de Galois-groep $G(E, K)$ oplosbaar (solvable).

Logica van het bewijs:

Als de vergelijking oplosbaar is door radicalen, bestaat er een keten $R_n$ die het splitsingsveld $E$ bevat.
Door normalisatie bestaat er een keten van normale uitbreidingen $E_0 \subset E_1 \subset \dots \subset E_{n+1}$ die $R_n$ (en dus $E$ ) bevat.
De Galois-groep van de totale uitbreiding $G(E_{n+1}, K)$ heeft een rij van ondergroepen waarbij de quotiëntgroepen (de Galois-groepen van de individuele stappen) commutatief zijn.
Een groep met een rij van ondergroepen met commutatieve quotiënten is per definitie een oplosbare groep.
Omdat $E$ een normaal tussenveld is van $E_{n+1}$ , is $G(E, K)$ een quotiëntgroep van $G(E_{n+1}, K)$ .
Omdat een quotiëntgroep van een oplosbare groep zelf ook oplosbaar is, is $G(E, K)$ oplosbaar.

5. Betekenis

Dit paper is significant voor de volgende redenen:

Didactische Waarde: Het biedt een gestructureerde, stap-voor-stap afleiding van een fundamenteel resultaat in de abstracte algebra, specifiek gericht op studenten van de cursus MAT401. Het vermijdt complexe bewijzen die in standaardtekstboeken vaak worden overgeslagen of als "bekend" worden beschouwd.
Technische Rigor: Het lost het technische probleem op van het ontbreken van normaliteit in standaard radicaaluitbreidingen door de constructie van een "genormaliseerde" keten. Dit maakt het mogelijk om de volledige kracht van de Galois-correspondentie toe te passen op het probleem van oplosbaarheid door radicalen.
Fundamenteel Inzicht: Het bevestigt de diepe link tussen de algebraïsche structuur van een vergelijking (oplosbaarheid door radicalen) en de groepstheoretische structuur van zijn symmetrieën (oplosbaarheid van de Galois-groep). Dit is de kern van de onoplosbaarheid van de algemene vergelijking van graad 5 of hoger (waarbij de symmetriegroep $S_n$ niet oplosbaar is voor $n \geq 5$ ).

Samenvattend biedt Khovanskii een helder en zelfstandig bewijs dat de oplosbaarheid door radicalen impliceert dat de bijbehorende Galois-groep een oplosbare groep is, met een speciale focus op de noodzaak van normalisatie van de uitbreidingsketens.