🔢 mathematics

Adolf Hurwitz and the Fundamental Theorem of Galois Theorie: The Königsberg Lectures of 1890-1891

Dit artikel analyseert de colleges van Adolf Hurwitz uit 1890-1891 over de theorie van algebraïsche vergelijkingen, waarin hij een heldere bewijsvoering van de fundamentele stelling van de Galoistheorie in de taal van substituties presenteert op basis van bewaarde collegeaantekeningen en zijn wiskundige dagboek.

Oorspronkelijke auteurs: Math Dicker

Gepubliceerd 2026-04-20

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Math Dicker

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

Adolf Hurwitz en de Sleutel tot de Vergelijkingen: Een Reis door de Wiskunde van 1890

Stel je voor dat wiskunde een enorme, donkere kelder is vol met oude, gecodeerde brieven. De belangrijkste brief is geschreven door een genie genaamd Évariste Galois. Hij stierf op 20-jarige leeftijd (in een duel, helaas), maar hij liet een geheim achter: hoe je wiskundige vergelijkingen kunt oplossen. Het probleem? Galoiss brief was zo moeilijk geschreven, vol met raadsels en rare symbolen, dat bijna niemand hem kon ontcijferen.

In dit artikel gaat de schrijver, Math Dicker, op zoek naar een gids die ons helpt deze brief te lezen. Die gids heet Adolf Hurwitz, een briljante wiskundige die in 1890-1891 colleges gaf in Königsberg (nu Kaliningrad).

Hier is wat het artikel vertelt, vertaald naar alledaags taal met een paar creatieve vergelijkingen:

1. De Vergeten Schat

Hurwitz gaf colleges over "Algebraïsche Vergelijkingen". In die tijd bestond de moderne taal van wiskunde (zoals we die nu kennen) nog niet echt. Hurwitz gebruikte de oude, klassieke manier van Galois: substituties.

Stel je voor dat je een puzzel hebt met vier stukjes: $x_1, x_2, x_3$ en $x_4$ . Je kunt deze stukjes op verschillende manieren door elkaar schudden. Galois bedacht dat als je deze stukjes op een bepaalde manier mengt, je een "code" kunt maken die je vertelt of de puzzel oplosbaar is of niet.

Hurwitz was een meester in het uitleggen van deze code. Hij keek niet alleen naar de antwoorden, maar naar de regels die de antwoorden volgen.

2. De "Magische Sleutel" (De Fundamentele Stelling)

Het hart van het artikel is Hurwitz's bewijs van de Fundamentele Stelling van de Galoistheorie. Wat zegt deze stelling eigenlijk?

Stel je voor dat je een kamer hebt met een deur.

Aan de ene kant van de deur zit een groep van mensen (de substituties) die de kamer in en uit kunnen lopen.
Aan de andere kant zit een verzameling geheimen (de getallen die je kunt berekenen zonder de deur te openen).

De stelling zegt: Elke groep mensen die samenwerkt, correspondeert precies met één specifiek geheim. En andersom: als je een geheim kent, weet je precies welke groep mensen het kan ontsleutelen.

Hurwitz bewees dit in zijn dagboek (een soort wiskundig dagboek dat nog steeds bestaat in Zürich). Hij deed dit niet door droge formules te gooien, maar door een slimme truc te gebruiken:

De Truc: Hij nam vier getallen en maakte er één groot getal van door ze te vermenigvuldigen met willekeurige cijfers (zoals $1 \cdot x_1 + 2 \cdot x_2 + 3 \cdot x_3 + 4 \cdot x_4$ ).
Hij noemde dit een "V".
Vervolgens bedacht hij een formule die hem vertelde: "Als ik V heb, kan ik precies terugrekenen wat de oorspronkelijke getallen $x_1, x_2, x_3, x_4$ waren."

Dit klinkt als magie, maar het is puur logica. Het is alsof je een soep hebt gemaakt van groenten. Normaal kun je de groenten niet meer terugvinden, maar Hurwitz bedacht een manier om de soep zo te maken dat je, als je de soep proeft, precies kunt zeggen: "Ah, hier zat een wortel, hier een aardappel en hier een ui."

3. Waarom is dit belangrijk?

Vóór Hurwitz was Galoiss werk een gesloten boek voor veel mensen. Het was te abstract. Hurwitz pakte het werk van Galois, legde het uit in zijn colleges in Königsberg, en bewees het op een manier die helder en schoon was.

De Brug: Het artikel zegt dat Hurwitz een brug slaat tussen Galoiss originele, verwarrende ideeën en de moderne wiskunde.
De Leraar: Hurwitz was niet alleen een wiskundige, maar een fantastische leraar. Hij zag dat zijn studenten de oude manier van Galois moesten begrijpen om de diepte van de theorie te zien.

4. De "Tijdmachine"

Het artikel is gebaseerd op oude manuscripten die in een bibliotheek in Zürich liggen. Het is alsof we een tijdmachine hebben gebruikt om Hurwitz's colleges van 1890 en zijn dagboek van 1909 te bekijken.

In 1909, bijna 20 jaar later, keek Hurwitz terug op zijn oude colleges. Hij vond zijn eigen bewijs zo mooi en elegant, dat hij het opnieuw opschreef in zijn dagboek. Hij schreef zelfs een noot in de marge van zijn oude college-notities: "Kijk, dit is het bewijs."

Conclusie: Wat leren we hieruit?

Dit artikel is een eerbetoon aan een man die een moeilijk geheim ontcijferde en het voor ons allemaal begrijpelijk maakte.

Galois was de uitvinder van de code.
Hurwitz was de vertaler die de code in heldere taal uitlegde.
De stelling zegt dat er een perfecte, onlosmakelijke band is tussen de manier waarop je dingen kunt verplaatsen (substituties) en de getallen die je kunt berekenen.

Het is een verhaal over genialiteit, over het delen van kennis, en over hoe een leraar van 130 jaar geleden ons vandaag nog steeds helpt om de diepste mysteries van de wiskunde te begrijpen. Hurwitz liet zien dat je geen genie hoeft te zijn om Galois te begrijpen; je hebt alleen een goede gids nodig, en Hurwitz was die gids.

Probleemstelling

Het artikel adresseert de historische en didactische uitdaging die voortvloeit uit het bestuderen van Évariste Galois' originele Mémoire sur les conditions de résolubilité des équations par radicaux (1832). Galois' werk is berucht om zijn moeilijk toegankelijke formulering en abstracte redenering. Hoewel moderne presentaties van de Galoistheorie vaak gebruikmaken van de taal van velden (Körper) en automorfismen, behield Galois de taal van substituties (permutaties) en rationale functies.
Het centrale probleem is hoe men Galoistheorie op een manier kan presenteren die zowel historisch trouw is aan de originele ideeën als wiskundig helder voor hedendaagse studenten. De auteur onderzoekt hoe Adolf Hurwitz (1859–1919) dit probleem oploste door zijn lezingen over de theorie van algebraïsche vergelijkingen te analyseren, specifiek die gegeven in Königsberg (1890–1891) en later in Zürich (1909).

Methodologie

De auteur baseert zijn analyse op een grondig onderzoek van primaire bronnen uit de collectie van de ETH-bibliotheek in Zürich:

Lectuurnotities (Hs 582:66): De manuscripten van Hurwitz' college "Theorie der algebraischen Gleichungen" uit het wintersemester 1890–1891 in Königsberg.
Wiskundig Dagboek (Hs 582:23): Specifiek pagina 153 van dagboek 23, gedateerd 1 juli 1909, waarin Hurwitz een bewijs van het fundamentele stelling van Galoistheorie noteerde.
Contextuele Analyse: Het plaatsen van deze bronnen in de historische context van de 19e-eeuwse substitutietheorie en de invloed van Eugène Netto's Substitutionentheorie.

De methode bestaat uit het reconstrueren van Hurwitz' bewijsvoering stap voor stap. De auteur vertaalt Hurwitz' notities naar een moderne, maar toegankelijke wiskundige taal, waarbij de kern van het argument behouden blijft. Het bewijs wordt geconcretiseerd voor een polynoom van graad 4 met wortels $x_1, x_2, x_3, x_4$ over het grondveld $\mathbb{Q}$ , om de complexiteit te reduceren zonder de essentie te verliezen.

Belangrijkste Bijdragen

Het artikel biedt drie hoofdbijdragen:

Historische Reconstructie: Het toont aan dat Hurwitz, ondanks dat hij in de 20e eeuw leefde, de theorie van Galois volledig binnen de klassieke 19e-eeuwse traditie van substituties onderwees, zonder de moderne concepten van veldautomorfismen te gebruiken. Dit creëert een directe brug naar Galois' originele Mémoire.
Technische Reconstructie van het Bewijs: Het artikel levert een gedetailleerde, stap-voor-stap reconstructie van Hurwitz' bewijs van het fundamentele stelling. Dit bewijs is uniek omdat het de correspondentie tussen rationaliteitsdomeinen (subvelden) en substitutiegroepen construeert via specifieke lineaire combinaties van wortels.
Didactische Inzicht: Het onthult Hurwitz' methode om complexe abstracte concepten (zoals de onoplosbaarheid van vergelijkingen van de vijfde graad en de structuur van Galois-groepen) te verduidelijken door gebruik te maken van "rationale functies" en "resolventen".

Resultaten en Technische Kern

Het hart van het artikel is de reconstructie van Hurwitz' bewijs voor het fundamentele stelling van Galoistheorie. De logische opbouw is als volgt:

Constructie van Resolventen:
Hurwitz begint met een polynoom $f(x)$ met wortels $x_1, \dots, x_4$ . Hij definieert een lineaire combinatie $V_1 = n_1x_1 + n_2x_2 + n_3x_3 + n_4x_4$ met gehele getallen $n_i$ zodanig dat de 24 waarden die ontstaan door permutaties van de wortels op $V_1$ toe te passen, allemaal verschillend zijn. Deze waarden worden $V_1, \dots, V_{24}$ genoemd.
Definitie van de Groep $G$ :
Hij beschouwt het irreducibele polynoom $G(v)$ waarvan $V_1$ een wortel is. De wortels van $G(v)$ zijn een subset van de $V_i$ 's, namelijk $V_1, \dots, V_m$ . De bijbehorende substituties $S_i$ die $V_1$ permuteren naar $V_i$ vormen een groep $G$ .
Het Fundamentele Stelling (De Vier Eigenschappen):
Hurwitz bewijst dat er een bijectieve correspondentie is tussen een rationaliteitsdomein $R$ (een subveld van het splijtingsveld) en de groep $G$ . Dit wordt geformaliseerd in vier stellingen:
1. Invariantie impliceert Rationaliteit: Elke rationale functie $\phi(x_1, \dots, x_4)$ die invariant is onder de substituties van $G$ , heeft een waarde die tot $R$ behoort.
2. Rationaliteit impliceert Invariantie: Elke rationale functie waarvan de waarde in $R$ ligt, is invariant onder de substituties van $G$ .
3. Groepsstructuur: De verzameling $G$ vormt een groep.
4. Karakterisering: Een substitutie $S$ behoort tot $G$ dan en slechts dan als elke rationale functie met waarden in $R$ invariant is onder $S$ .
Het Bewijsmechanisme:
Het bewijs maakt gebruik van een hulpstelling (Auxiliary Lemma). Hurwitz toont aan dat als $\phi(x_1, \dots, x_n) = \Phi(V_1)$ , dan geldt voor elke substitutie $S_i$ dat $S_i(\phi) = \Phi(V_i)$ .
- Voor stelling (I) gebruikt hij het gemiddelde van de waarden over de groep om te tonen dat het resultaat rationaal is.
- Voor stelling (II) volgt uit de irreducibiliteit van $G(v)$ dat als $\Phi(V_1)$ rationaal is, dan moet $\Phi(V_i)$ gelijk zijn aan dezelfde waarde voor alle $i$ , wat invariantie impliceert.
- Voor stelling (III) (de groepsstructuur) toont hij aan dat de compositie van twee substituties in de verzameling weer een substitutie in de verzameling is, door te laten zien dat de toepassing van substituties op de wortels $V_i$ weer leidt tot een wortel van $G(v)$ .

Significantie

Het artikel heeft een hoge waarde voor zowel de geschiedenis van de wiskunde als voor de didactiek:

Toegang tot Galois: Het maakt Galoistheorie toegankelijker voor studenten die moeite hebben met de moderne abstracte algebra, door de theorie te presenteren in de taal van substituties en expliciete berekeningen, zoals Galois het oorspronkelijk bedoelde.
Hurwitz als Docent: Het illustreert Hurwitz' uitzonderlijke gave als docent om complexe theorieën helder en elegant te presenteren. Zijn Königsberg-lectures (1890) en het dagboeknotitie (1909) tonen een consistente visie die de originele ideeën van Galois respecteert zonder ze te vervormen.
Historische Continuïteit: Het artikel benadrukt dat de overgang van de 19e-eeuwse substitutietheorie naar de 20e-eeuwse veldtheorie niet abrupt was, maar dat figuren als Hurwitz een cruciale brug slaan tussen deze twee paradigma's. Het bewijs van Hurwitz is "subtiel, beknopt en elegant" en demonstreert dat de fundamentele inzichten van Galois ook zonder de moderne notatie van veldautomorfismen volledig kunnen worden begrepen en bewezen.

Kortom, het artikel onthult dat Hurwitz' Königsberg-lectures een "illuminerende brug" vormen tussen Galoistheorie en haar latere exposities, en biedt een waardevol alternatief perspectief op een van de meest fundamentele stellingen in de algebra.