🔢 mathematics

A necessary condition for solvability by radicals

Dieses als Handout für den Kurs MAT401 an der University of Toronto erstellte Papier liefert einen auf der Galoistheorie basierenden Beweis für eine notwendige Bedingung zur Lösbarkeit algebraischer Gleichungen durch Radikale.

Ursprüngliche Autoren: Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

Veröffentlicht 2026-04-13

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Askold Khovanskii (Department of Mathematics, University of Toronto, Canada)

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

🧩 Die große Suche: Warum manche Gleichungen nicht zu knacken sind

Stell dir vor, du hast ein riesiges, verschlossenes Schloss (eine mathematische Gleichung). Dein Ziel ist es, den Code zu finden, um es zu öffnen. In der Mathematik nennen wir das „Lösen nach Radikalen". Das bedeutet: Du darfst nur bestimmte Werkzeuge benutzen – Wurzeln ziehen (wie $\sqrt{2}$ ), addieren, subtrahieren, multiplizieren und dividieren.

Der Text von Askold Khovanskii erklärt uns eine wichtige Regel: Nicht jedes Schloss kann mit diesen Werkzeugen geöffnet werden. Aber wie wissen wir, ob es geht oder nicht? Dafür braucht man eine Art „Spionage-Team", das die Struktur des Schlosses untersucht. Dieses Team heißt Galois-Gruppe.

Hier ist die Geschichte, wie das funktioniert, Schritt für Schritt:

1. Das Schloss und seine Geheimnisse (Die Galois-Theorie)

Stell dir vor, deine Gleichung hat mehrere Lösungen (Wurzeln). Diese Lösungen sind wie Schwestern in einer Familie. Sie sehen sich ähnlich, haben aber unterschiedliche Namen.

Die Galois-Gruppe ist wie ein Club von Zauberern. Diese Zauberer können die Namen der Schwestern austauschen (vertauschen), ohne dass die grundlegenden Regeln der Familie (die Koeffizienten der Gleichung) kaputtgehen.
Wenn die Zauberer die Schwestern in einer bestimmten Reihenfolge austauschen können, ohne das Schloss zu beschädigen, ist die Gruppe „normal".
Die große Erkenntnis: Die Anzahl der Zauberer und wie sie sich verhalten, verrät uns alles über die Struktur des Schlosses.

2. Die Treppe nach oben (Radikale Erweiterungen)

Um eine Gleichung zu lösen, bauen wir oft eine Treppe.

Bodenstufe: Wir starten mit unseren bekannten Zahlen (z. B. ganzen Zahlen).
Nächste Stufe: Wir fügen eine neue Wurzel hinzu (z. B. $\sqrt{2}$ ). Jetzt haben wir eine neue Welt von Zahlen.
Weiter oben: Wir fügen noch eine Wurzel hinzu (z. B. $\sqrt[3]{5}$ ).
Das Ziel: Oben auf der Treppe liegt die Lösung unserer Gleichung.

Wenn wir eine solche Treppe bauen können, nennen wir die Gleichung „lösbar".

3. Das Problem: Die Treppe ist wackelig

Das Problem bei dieser Treppe ist, dass sie oft nicht „gerade" ist. Wenn wir eine neue Wurzel hinzufügen, entstehen manchmal unvorhergesehene neue Zahlen, die wir nicht geplant hatten. Das macht es für die Zauberer (die Galois-Gruppe) schwer, die Struktur zu verstehen. Die Gruppe ist dann nicht definiert oder zu chaotisch.

4. Die Lösung: Den „Normalen" Bau (Die Normalisierung)

Hier kommt die geniale Idee des Autors ins Spiel. Er sagt: „Okay, die Treppe ist wackelig. Baue uns eine normale, stabile Treppe daneben!"

Er konstruiert eine neue Treppe, die fast genauso aussieht wie die ursprüngliche, aber mathematisch perfekt aufgebaut ist (eine „normale Erweiterung").
Auf dieser perfekten Treppe können die Zauberer (die Galois-Gruppe) ihre Arbeit gut verrichten. Sie können genau zählen, wie viele Schritte es gibt und wie sie sich verhalten.

5. Der Schlüssel zum Erfolg: Die Kommutativität

Jetzt schauen wir uns die einzelnen Stufen dieser perfekten Treppe an.

Auf jeder einzelnen Stufe passiert etwas sehr Spezifisches: Wir fügen eine Wurzel hinzu.
Der Text beweist, dass auf jeder dieser Stufen die Zauberer sehr freundlich sind. Sie tauschen die Elemente so aus, dass die Reihenfolge egal ist. In der Mathematik nennen wir das kommutativ (wie beim Händeschütteln: A schüttelt B die Hand, und B schüttelt A die Hand – das Ergebnis ist dasselbe).
Wenn jede einzelne Etage der Treppe aus solchen „freundlichen, kommutativen" Gruppen besteht, dann ist die gesamte Treppe lösbar.

6. Das Fazit: Der notwendige Test

Der Text kommt zu einem entscheidenden Schluss (Theorem 9.1):

Wenn eine Gleichung mit Wurzeln lösbar ist, dann MUSS ihre Galois-Gruppe „lösbar" sein.

Was bedeutet das in Alltagssprache?
Stell dir die Galois-Gruppe als ein riesiges, komplexes Netzwerk von Regeln vor.

Wenn dieses Netzwerk zu chaotisch ist (z. B. wie ein Wirrwarr aus Knoten, die man nicht entwirren kann), dann gibt es keine Treppe, die zu einer Lösung führt.
Wenn das Netzwerk jedoch aus einfachen, ordentlichen Schichten besteht (wie die Stufen einer Treppe, die man leicht entwirren kann), dann kann man die Gleichung lösen.

Die Analogie zum Schluss:
Stell dir vor, du willst einen riesigen, verschlungenen Knoten (die Gleichung) entwirren.

Der Autor sagt: „Bevor du anfängst zu ziehen, schau dir den Knoten genau an."
Wenn der Knoten so verwickelt ist, dass er keine einfachen, geraden Schlingen hat (wenn die Galois-Gruppe nicht „lösbar" ist), dann kannst du ihn mit deinen Händen (den Radikalen) niemals entwirren. Es ist physikalisch unmöglich.
Aber wenn der Knoten aus einfachen, ineinandergreifenden Schleifen besteht, dann hast du eine Chance.

Zusammengefasst:
Dieser Text ist wie ein Sicherheitscheck für Mathematiker. Bevor man versucht, eine Gleichung zu lösen, muss man prüfen, ob die „innere Struktur" (die Galois-Gruppe) überhaupt den Weg zu einer Lösung erlaubt. Ist die Struktur zu kompliziert, muss man aufhören zu suchen – die Lösung existiert mit den erlaubten Werkzeugen einfach nicht.

Titel und Kontext

Titel: Eine notwendige Bedingung für die Lösbarkeit durch Radikale (A necessary condition for solvability by radicals)
Autor: Askold Khovanskii
Kontext: Handout für den Kurs MAT401 „Polynomiale Gleichungen und Körper" an der University of Toronto (Frühjahr 2026).
Ziel: Der Beweis einer notwendigen Bedingung für die Lösbarkeit algebraischer Gleichungen durch Radikale unter Verwendung der Galois-Theorie.

1. Problemstellung

Das zentrale Problem der Arbeit ist die Charakterisierung der Lösbarkeit von Polynomgleichungen $P(x) = 0$ über einem Körper $K$ (mit Charakteristik 0) durch Radikale.

Definition: Eine Gleichung ist „lösbar durch Radikale", wenn ihre Nullstellen in einem Körper liegen, der durch eine Kette von Körpererweiterungen gewonnen werden kann, bei denen jeweils ein Element adjungiert wird, dessen Potenz im vorherigen Körper liegt (Radikalerweiterung).
Herausforderung: Die direkte Analyse von Ketten radikalischer Erweiterungen ist schwierig, da diese Erweiterungen im Allgemeinen nicht normal sind. Ohne Normalität ist die Galois-Gruppe nicht definiert, was den Einsatz der mächtigen Werkzeuge der Galois-Theorie erschwert.
Ziel des Beweises: Zu zeigen, dass wenn eine Gleichung durch Radikale lösbar ist, die Galois-Gruppe ihres Zerfällungskörpers eine auflösbare Gruppe (solvable group) sein muss.

2. Methodik

Die Methodik basiert auf einer systematischen Anwendung der Galois-Theorie, um eine Brücke zwischen der algebraischen Struktur der Radikalerweiterungen und der Gruppentheorie zu schlagen. Der Ansatz gliedert sich in folgende Schritte:

A. Grundlagen der Galois-Theorie (Abschnitte 1–4)

Der Autor legt zunächst die notwendigen Definitionen und Theoreme dar, die im Kurs MAT401 behandelt wurden:

Normale Erweiterungen: Zerfällungskörper separabler Polynome.
Galois-Gruppe: Die Gruppe aller Automorphismen eines normalen Erweiterungskörpers, die den Grundkörper punktweise fixieren.
Fundamentale Sätze:
- Die Ordnung der Galois-Gruppe entspricht dem Grad der Erweiterung ( $[E:K] = \#G$ ).
- Korrespondenz zwischen Zwischenkörpern und Untergruppen.
- Wenn ein Zwischenkörper $B$ selbst eine normale Erweiterung von $K$ ist, dann ist die zugehörige Untergruppe ein Normalteiler, und die Faktorgruppe ist isomorph zur Galois-Gruppe von $B/K$ .
Orbit-Formel: Die Konstruktion des Minimalpolynoms eines Elements $a$ über $K$ als Produkt über die Orbit-Elemente der Galois-Gruppe.

B. Normalisierung von Radikalketten (Abschnitte 6–7)

Dies ist der methodische Kern der Arbeit. Da eine beliebige Kette radikalischer Erweiterungen $R_0 \subset \dots \subset R_n$ nicht normal ist, konstruiert Khovanskii eine Normalisierung:

Idee: Man ersetzt die gegebene Kette durch eine Kette von normalen radikalischen Erweiterungen $E_0 \subset E_1 \subset \dots \subset E_{n+1}$ .
Konstruktion:
1. $E_1$ wird als Zerfällungskörper von $x^N - 1$ über $K$ definiert, wobei $N$ das kleinste gemeinsame Vielfache der Exponenten der Radikale ist (Einführung aller notwendigen Einheitswurzeln).
2. Für jeden Schritt der ursprünglichen Kette, bei dem ein Element $a$ adjungiert wird mit $a^k \in R_{i-1}$ , wird in der normalisierten Kette der Zerfällungskörper eines Polynoms konstruiert, das alle konjugierten Wurzeln von $a$ enthält.
Ergebnis: Es existiert eine Kette normaler Erweiterungen, die die ursprüngliche Radikalkette enthält und für die die Galois-Gruppe wohldefiniert ist.

C. Analyse der Galois-Gruppen (Abschnitte 8–9)

Der Autor analysiert die Struktur der Galois-Gruppen der einzelnen Schritte in der normalisierten Kette:

Schritt 1 (Einheitswurzeln): Die Galois-Gruppe des Zerfällungskörpers von $x^N - 1$ ist isomorph zu einer Untergruppe der multiplikativen Gruppe $U(N)$ und damit kommutativ.
Schritt 2 (Radikale mit Einheitswurzeln): Wenn der Grundkörper bereits alle $n$ -ten Einheitswurzeln enthält, ist die Galois-Gruppe einer Erweiterung durch Adjunktion einer Wurzel von $x^n - a$ isomorph zu einer Untergruppe der zyklischen Gruppe $\mathbb{Z}_n$ und somit ebenfalls kommutativ.
Schlussfolgerung: Jeder Schritt in der normalisierten Kette führt zu einer kommutativen Faktorgruppe.

3. Schlüsselbeiträge und Ergebnisse

Hauptresultat (Satz 9.1)

Satz: Wenn eine Polynomgleichung $P(x)=0$ über einem Körper $K$ der Charakteristik 0 durch Radikale lösbar ist und $E$ der Zerfällungskörper von $P$ ist, dann ist die Galois-Gruppe $G(E, K)$ eine auflösbare Gruppe.

Beweislogik:

Aus der Lösbarkeit durch Radikale folgt die Existenz einer Radikalkette $R_n$ mit $E \subset R_n$ .
Durch Theorem 7.2 existiert eine Normalisierung dieser Kette als Kette normaler Erweiterungen $K = E_0 \subset E_1 \subset \dots \subset E_{n+1}$ mit $E \subset E_{n+1}$ .
Nach Lemma 8.2 und Lemma 8.4 sind die Galois-Gruppen der einzelnen Schritte $G(E_{i+1}, E_i)$ kommutativ.
Nach Korollar 5.4 impliziert eine Kette normaler Erweiterungen mit kommutativen Faktorgruppen, dass die gesamte Galois-Gruppe $G(E_{n+1}, K)$ auflösbar ist.
Da $E$ ein normaler Zwischenkörper von $K \subset E_{n+1}$ ist, ist $G(E, K)$ eine Faktorgruppe von $G(E_{n+1}, K)$ (nach Korollar 2.5).
Da eine Faktorgruppe einer auflösbaren Gruppe selbst auflösbar ist, ist $G(E, K)$ auflösbar.

Technische Feinheiten

Der Autor vermeidet die direkte Behandlung nicht-normaler Erweiterungen, indem er stattdessen mit der Normalisierung arbeitet. Dies erlaubt die Anwendung des Fundamentalsatzes der Galois-Theorie in seiner vollen Stärke.
Die Arbeit nutzt explizit die Eigenschaft, dass die Adjunktion von Einheitswurzeln (Schritt 1 der Normalisierung) notwendig ist, um die Kommutativität der nachfolgenden Galois-Gruppen sicherzustellen (Lemma 8.3).

4. Signifikanz und Bedeutung

Theoretische Fundierung: Das Papier liefert einen rigorosen und auf den Grundlagen der Galois-Theorie basierenden Beweis für die notwendige Bedingung der Lösbarkeit durch Radikale. Es zeigt klar, dass die algebraische Struktur der Lösbarkeit (Radikale) direkt in die gruppentheoretische Struktur (Auflösbarkeit) übersetzt wird.
Didaktischer Wert: Als Handout für einen fortgeschrittenen Kurs (MAT401) demonstriert es, wie man komplexe Konzepte (Normalisierung von Ketten) systematisch aufbaut, um ein klassisches Problem (Galois-Theorie der Quintischen) zu lösen.
Abgrenzung: Der Autor erwähnt explizit, dass die hinreichende Bedingung (dass eine auflösbare Galois-Gruppe die Lösbarkeit durch Radikale impliziert) in einem separaten Handout behandelt wird, das auf linearer Algebra basiert. Dieser Beitrag konzentriert sich strikt auf die Richtung: Lösbar $\implies$ Auflösbar.
Vollständigkeit: Durch die Definition der „Normalisierung einer Radikalkette" (Definition 7.1 und Theorem 7.2) schließt das Papier eine Lücke in der Argumentation, die oft in vereinfachten Darstellungen übersprungen wird: Wie man von einer willkürlichen Radikalkette zu einer Kette normaler Erweiterungen gelangt, um die Galois-Gruppentheorie anwenden zu können.

Zusammenfassend stellt dieses Dokument einen präzisen, logisch aufgebauten Beweis dar, der die tiefe Verbindung zwischen der Theorie der Körpererweiterungen und der Gruppentheorie nutzt, um die Grenzen der algebraischen Lösbarkeit von Gleichungen zu definieren.