🔢 mathematics

On unsolvable equations of prime degree

Diese Arbeit präsentiert einen prägnanten neuen Beweis für Kroneckers Theorem bezüglich der reellen Wurzeln auflösbarer irreduzibler Gleichungen primen Grades und korrigiert Ungenauigkeiten, die in modernen Darstellungen von Webers ursprünglichem Beweis gefunden wurden.

Ursprüngliche Autoren: Juliusz Brzeziński, Jan Stevens

Veröffentlicht 2026-06-03

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Juliusz Brzeziński, Jan Stevens

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

Stellen Sie sich vor, Sie versuchen, ein riesiges, komplexes Rätsel zu lösen. In der Welt der Mathematik sind diese Rätsel Gleichungen. Seit Jahrhunderten verfügten Mathematiker über einen speziellen Satz von Werkzeugen namens „Radikale“ (wie Quadratwurzeln, Kubikwurzeln usw.), mit denen sie Gleichungen bestimmter Größen lösen konnten (quadratische, kubische und quartische Gleichungen).

Aber dann stellte sich eine große Frage: Können wir jede Gleichung mit denselben Werkzeugen lösen?

Dieses Papier, geschrieben von Juliusz Brzeziński und Jan Stevens, befasst sich mit einer speziellen Art von Rätsel: Gleichungen vom Primgrad (wie 3, 5, 7, 11...). Insbesondere untersuchen sie Gleichungen, die nicht in kleinere Teile zerlegt werden können (sogenannte irreduzible Gleichungen).

Hier ist die Geschichte dessen, was sie herausgefunden haben, einfach erklärt:

1. Die „reellen“ vs. die „imaginären“ Wurzeln

Jede Gleichung hat Lösungen, sogenannte „Wurzeln“. Einige dieser Wurzeln sind reelle Zahlen (wie 2, -5 oder $\pi$ ), die man auf einer Standard-Zahlenlinie eintragen kann. Andere sind komplexe Zahlen (die die imaginäre Einheit $i$ beinhalten), die in einer anderen, „unsichtbaren“ Dimension existieren.

Vor langer Zeit machte ein Mathematiker namens Leopold Kronecker eine faszinierende Beobachtung über diese Gleichungen primären Grades:

Wenn man eine Gleichung hat, die mit Radikalen lösbar ist, und sie einen ungeraden Primzahlgrad (wie 5 oder 7) besitzt, dann sind entweder ALLE ihre Wurzeln reell oder NUR EINE ist reell.

Es gibt keinen Mittelweg. Man kann keine Gleichung haben, bei der 3 Wurzeln reell und 2 imaginär sind. Es ist alles oder nichts.

2. Die „elementare“ Detektivarbeit

Normalerweise erfordert der Beweis dafür ein massives, hochtechnisches Toolkit namens Galois-Theorie (was wie ein Generalschlüssel zum Universum der Algebra ist). Die Autoren wollten dies jedoch mit einem einfacheren, „elementareren“ Satz von Werkzeugen beweisen – so als würde man ein Geheimnis mit einer Lupe statt mit einem Supercomputer lösen.

Sie betrachteten einen Beweis von Heinrich Weber aus über einem Jahrhundert zuvor. Weber versuchte, dies mit einfacher Logik zu zeigen, aber sein Beweis enthielt eine versteckte Falle.

Die Falle (Der „undichte Eimer“):
Webers Beweis setzte voraus, dass jedes Mal, wenn man ein neues Werkzeug (ein Radikal) zu seiner Lösungskette hinzufügt, es ein „sauberes“ Werkzeug ist. Aber manchmal sind die Werkzeuge, die man hinzufügt, „undicht“ oder „kaputt“ (mathematisch gesehen sind dies reduzible Radikale).

Die Analogie: Stellen Sie sich vor, Sie bauen einen Turm aus Blöcken. Weber nahm an, dass jeder Block ein perfekter, solider Würfel ist. Aber manchmal greifen Sie versehentlich nach einem Block, der bereits rissig oder hohl ist. Wenn Sie auf einem rissigen Block aufbauen, könnte der ganze Turm wackeln oder auf eine Weise zusammenbrechen, die Weber nicht erwartet hatte.
Die Konsequenz: Da Weber diese „rissigen Blöcke“ nicht berücksichtigte, hatte sein Beweis eine logische Lücke. Spätere Lehrbücher kopierten seinen Beweis und verbreiteten den Fehler.

3. Die Lösung der Autoren

Brzeziński und Stevens traten an, um das Leck zu flicken. Sie warfen Webers Idee nicht weg; sie verstärkten lediglich das Fundament.

Sie entwickelten einen neuen, kürzeren Beweis, der sowohl die „perfekten Blöcke“ (irreduzible Radikale) als auch die „rissigen Blöcke“ (reduzible Radikale) korrekt behandelt.

Sie zeigten, dass selbst wenn man einen „rissigen Block“ (ein reduzibles Radikal) verwendet, um die Gleichung zu lösen, die Regel weiterhin gilt: Man erhält entweder alle reellen Wurzeln oder nur eine.
Sie nutzten einen cleveren Trick unter Verwendung der komplexen Konjugation (stellen Sie sich vor, Sie betrachten die Gleichung in einem Spiegel). Indem sie prüften, wie sich die Gleichung im Spiegel verhält, konnten sie beweisen, dass, wenn zwei Wurzeln reell sind, der „Spiegel“ erzwingt, dass alle anderen Wurzeln ebenfalls reell sind.

4. Warum das wichtig ist (Das „Und was nun?“)

Das Papier erklärt, dass diese Regel ein mächtiges Werkzeug ist, um zu beweisen, dass einige Gleichungen mit Radikalen unlösbar sind.

Der Test: Wenn Sie eine Gleichung 5. Grades (eine Quintik) finden, die drei reelle Wurzeln und zwei imaginäre Wurzeln hat, wissen Sie sofort, dass sie nicht mit Radikalen lösbar ist.
Das Beispiel: Die Autoren weisen auf die Gleichung $X^5 - 4X - 2 = 0$ hin. Wenn man sie grafisch darstellt, sieht man, dass sie die reelle Achse dreimal schneidet. Da sie mehr als eine reelle Wurzel, aber nicht alle reellen Wurzeln besitzt, bricht sie die Regel von Kronecker. Daher ist es mathematisch unmöglich, eine Formel für ihre Wurzeln unter Verwendung von Standard-Radikalen aufzustellen.

Zusammenfassung

Betrachten Sie dieses Papier als eine Reparaturcrew, die eine berühmte Brücke repariert:

Die Brücke: Eine Regel (Kroneckers Theorem), die uns sagt, welche mathematischen Rätsel lösbar sind und welche nicht.
Der Riss: Ein Fehler in einem alten Bauplan (Webers Beweis), der „kaputte Werkzeuge“ (reduzible Radikale) ignorierte.
Die Reparatur: Die Autoren haben die Brücke geflickt und gezeigt, dass die Regel auch dann gilt, wenn man „kaputte Werkzeuge“ verwendet.
Das Ergebnis: Wir können nun mit Zuversicht sagen: „Dieses spezifische Rätsel ist unlösbar“, ohne die fortschrittlichste, komplexeste mathematische Maschinerie zu benötigen, sondern allein durch das Zählen, wie viele seiner Lösungen „reell“ sind.

Dieses Papier ist eine historische Detektivgeschichte, die einen jahrhundertealten mathematischen Fehler bereinigt und einen klaren, einfachen Weg bietet, unlösbare Gleichungen zu identifizieren.

Technische Zusammenfassung: Über unlösbare Gleichungen primären Grades

Problemstellung
Die Arbeit befasst sich mit dem Problem der Konstruktion spezifischer Beispiele für polynomielle Gleichungen primären Grades, die nicht durch Radikale lösbar sind. Während die allgemeine Unlösbarkeit von Gleichungen fünften Grades und höherer eine Standardresultat der Galois-Theorie ist, konzentrieren sich die Autoren auf die Bereitstellung eines relativ elementaren Beweises für ein spezifisches Kriterium: den Kroneckerschen Satz. Dieser Satz besagt, dass für ein irreduzibles Polynom ungeraden Primärgrades mit Koeffizienten in einem Unterfeld der reellen Zahlen, falls die Gleichung durch Radikale lösbar ist, entweder alle seine Wurzeln reell sind oder genau eine Wurzel reell ist. Folglich dient jedes solche irreduzible Polynom, das mehr als eine reelle Wurzel und mindestens ein Paar komplex konjugierter Wurzeln besitzt, als konkretes Beispiel für eine unlösbare Gleichung.

Methodik und Vorbemerkungen
Die Autoren wählen einen „elementaren“ Ansatz, definiert durch den Verzicht auf das volle Instrumentarium des Fundamentalsatzes der Galois-Theorie (speziell die Galois-Korrespondenz zwischen normalen Untergruppen und normalen Erweiterungen). Stattdessen stützt sich der Beweis auf:

Grundlagen der Körpertheorie: Eigenschaften einfacher Erweiterungen, das Turmgesetz und die Struktur von Zerfällungskörpern.
Galois-Gruppen als Automorphismengruppen: Verwendung der Definition der Galois-Gruppe als Gruppe der Automorphismen eines Zerfällungskörpers, die den Basiskörper festhalten, ohne die tiefgreifenden Strukturtheoreme der Lösbarkeit heranzuziehen.
Radikalerweiterungen: Analyse von Ketten einfacher Radikalerweiterungen $K = K_0 \subset K_1 \subset \dots \subset K_n = L$ , wobei $K_i = K_{i-1}(\alpha_i)$ und $\alpha_i^{q_i} = a_i \in K_{i-1}$ .
Konjugationsinvarianz: Eine kritische methodische Ergänzung ist die Konstruktion von Ketten von Radikalerweiterungen, die unter der komplexen Konjugation invariant sind. Die Autoren beweisen (Lemma 11), dass für jede Radikalerweiterung eines konjugationsinvarianten Körpers eine verfeinerte Kette existiert, in der jeder Zwischenkörper ebenfalls konjugationsinvariant ist. Dies beinhaltet die Behandlung sowohl irreduzibler Radikale als auch „reduzierbarer Radikale“ (bei denen $X^q - a$ über dem Basiskörper reduzierbar ist).

Wesentliche Beiträge und Korrekturen
Der primäre Beitrag der Arbeit ist ein korrigierter und vereinheitlichter Beweis des Kroneckerschen Satzes, der historische Ungenauigkeiten in früheren „elementaren“ Beweisen adressiert, insbesondere jene von Heinrich Weber und Heinrich Dörrie.

Identifizierung des Fehlers: Die Autoren verfolgen einen spezifischen Fehler in den Beweisen von Weber und Dörrie, der auf der Annahme beruht, dass der Grad der Radikalerweiterung ( $q$ ) gleich dem Grad des Polynoms ( $p$ ) sein muss, wenn das Polynom zum ersten Mal reduzierbar wird. Diese Annahme versagt, wenn das Radikal reduzierbar ist (d. h. $X^q - a$ besitzt eine Wurzel im Basiskörper). In solchen Fällen kann der Erweiterungsgrad $q$ sich von $p$ unterscheiden, wodurch das Standardargument, dass $q=p$ gilt, zusammenbricht.
Behandlung reduzierbarer Radikale: Die Arbeit adressiert explizit den Fall reduzierbarer Radikale. Sie zeigt auf, dass die Erweiterung die Adjunktion einer primitiven Wurzel der Einheit und potenziell einer reellen Wurzel $\rho = \sqrt[q]{a\bar{a}}$ beinhaltet.
Vereinheitlichte Beweisstrategie: Die Autoren liefern einen Beweis, der sowohl die Fälle irreduzibler als auch reduzierbarer Radikale behandelt.
- Fall I (Irreduzibles Radikal): Wenn $X^q - a$ irreduzibel ist, impliziert Nagells Lemma $q=p$ . Die Galois-Gruppe ist zyklisch von der Ordnung $p$ . Wenn zwei Wurzeln reell sind, erzwingt die Automorphismenstruktur, dass alle Wurzeln reell sind.
- Fall II (Reduzierbares Radikal): Wenn $X^q - a$ reduzierbar ist, ist die Erweiterung normal und zyklisch. Die Autoren nutzen die Eigenschaft der reellen Zahl $\rho = \alpha\bar{\alpha}$ , um zu zeigen, dass, falls eine Wurzel reell ist, die Konjugationsinvarianz des Körpers und die Transitivität der Galois-Gruppe implizieren, dass alle Wurzeln reell sind.

Ergebnisse
Die Arbeit etabliert Theorem 14 (Kroneckerscher Satz): Sei $K$ ein konjugationsinvariantes Unterfeld von $\mathbb{C}$ . Wenn ein irreduzibles Polynom $f(X) \in K[X]$ ungeraden Primärgrades $p$ mit reellen Koeffizienten durch Radikale lösbar ist, dann ist entweder genau eine Wurzel oder alle Wurzeln des Polynoms reell.

Der Beweis bestätigt, dass die Existenz eines irreduziblen Polynoms ungeraden Primärgrades mit ganzzahligen Koeffizienten, das sowohl reelle als auch nicht-reelle Wurzeln besitzt (z. B. $X^5 - 4X - 2$ ), impliziert, dass die Gleichung nicht durch Radikale lösbar ist.

Bedeutung und Ansprüche
Die Autoren rahmen die Bedeutung der Arbeit bescheiden im Kontext der mathematischen Pädagogik und historischen Korrektur ein:

Pädagogischer Wert: Der Beweis bietet einen Weg zum Verständnis der Unlösbarkeit der Quintik, der weniger Hintergrundwissen erfordert als ein vollständiger Kurs in Galois-Theorie, und eignet sich somit für fortgeschrittene Bachelor-Algebrakurse, die Körpererweiterungen, aber nicht die volle Galois-Korrespondenz behandeln.
Historische Korrektur: Die Arbeit klärt, dass moderne Lehrbuchdarstellungen von Webers Beweis (oft abgeleitet von Dörries Triumph der Mathematik) Ungenauigkeiten bezüglich reduzierbarer Radikale enthalten. Die Autoren liefern die notwendigen Korrekturen, um die „elementare“ Natur des Beweises zu retten, ohne auf die volle Kraft der Galois-Theorie zurückgreifen zu müssen.
Vereinigung: Durch die Unterscheidung der Fälle basierend auf der Reduzierbarkeit des Radikals und den Eigenschaften von $\rho$ liefern die Autoren ein vollständiges Argument, das die kreisförmige Argumentation früherer Versionen des Beweises vermeidet.

Die Arbeit schlägt keine neuen Anwendungen oder zukünftige Forschungsrichtungen vor, sondern zielt darauf ab, das theoretische Fundament eines klassischen Ergebnisses der algebraischen Lösbarkeit zu festigen.

1. Die „reellen“ vs. die „imaginären“ Wurzeln

2. Die „elementare“ Detektivarbeit

3. Die Lösung der Autoren

4. Warum das wichtig ist (Das „Und was nun?“)

Zusammenfassung

Mehr davon