Körpertheorie und Galoistheorie
Die Körpertheorie untersucht die Arithmetik von Körpern und deren Erweiterungen, und die Galoistheorie stellt ein präzises „Wörterbuch“ zwischen Körpererweiterungen und Symmetriegruppen her, wodurch klassische Fragen zur Lösung polynomialer Gleichungen beantwortet werden.
Definition
Ein Körper ist ein kommutativer Ring, in dem jedes von Null verschiedene Element ein multiplikatives Inverses besitzt. Die Körpertheorie untersucht Körper und die Erweiterungen zwischen ihnen; die Galoistheorie analysiert eine normale, separable Erweiterung mittels ihrer Automorphismengruppe, der Galoisgruppe.
Scope
Dieser Bereich umfasst Körpererweiterungen und deren Grade, algebraische und transzendente Elemente, Zerfällungskörper und algebraische Abschlüsse, Separabilität und Normalität, die Galois-Korrespondenz zwischen Zwischenkörpern und Untergruppen, die Lösbarkeit durch Radikale sowie die Struktur endlicher Körper. Sie bildet den Abschluss einer ersten Graduierten-Algebra-Sequenz.
Sub-topics
Core questions
- Welchen Grad und welche Struktur hat eine gegebene Körpererweiterung, und ist sie algebraisch oder transzendent?
- Wie klassifiziert die Galoisgruppe einer Erweiterung ihre Zwischenkörper?
- Wann kann eine polynomiale Gleichung durch Radikale gelöst werden?
- Welche endlichen Körper gibt es und wie werden sie konstruiert?
Key theories
- Fundamentalsatz der Galoistheorie
- Für eine endliche Galois-Erweiterung besteht eine inklusionsumkehrende Bijektion zwischen den Zwischenkörpern und den Untergruppen der Galoisgruppe, wobei normale Untergruppen normalen Teilerweiterungen entsprechen.
- Lösbarkeit durch Radikale
- Ein Polynom ist genau dann durch Radikale lösbar, wenn seine Galoisgruppe eine auflösbare Gruppe ist; dieses Kriterium erklärt die Unmöglichkeit einer allgemeinen Radikalformel für Gleichungen fünften und höheren Grades.
- Klassifikation endlicher Körper
- Für jede Primzahlpotenz existiert bis auf Isomorphie genau ein endlicher Körper dieser Ordnung, und seine multiplikative Gruppe ist zyklisch; endliche Körper bilden einen Turm, der durch die Teilbarkeit ihrer Grade bestimmt wird.
Clinical relevance
Die Galoistheorie löste das jahrtausendealte Problem der Lösung polynomialer Gleichungen und die klassischen Konstruktionsprobleme mit Zirkel und Lineal. Endliche Körper sind unverzichtbar in der Codierungstheorie, Kryptographie und Pseudozufallszahlengenerierung, und die umfassendere Theorie bildet die Grundlage der algebraischen Zahlentheorie.
History
Aufbauend auf Abels Beweis, dass die allgemeine Gleichung fünften Grades nicht durch Radikale lösbar ist, führte Galois in den 1830er Jahren die Gruppe einer Gleichung und die Korrespondenz ein, die heute seinen Namen trägt. Steinitz legte 1910 die moderne abstrakte Theorie der Körper vor, und Artin formulierte die Galoistheorie neu in Bezug auf Automorphismengruppen und lineare Unabhängigkeit von Charakteren.
Key figures
- Évariste Galois
- Niels Henrik Abel
- Ernst Steinitz
- Emil Artin
- Leopold Kronecker
Related topics
Seminal works
- lang2002
- dummit2004
- artin2011
Frequently asked questions
- Warum kann die allgemeine Gleichung fünften Grades nicht durch Radikale gelöst werden?
- Nach Galois' Kriterium ist die Lösbarkeit durch Radikale äquivalent dazu, dass die Galoisgruppe auflösbar ist. Die symmetrische Gruppe auf fünf Elementen, die als Galoisgruppe einer allgemeinen Gleichung fünften Grades auftritt, ist nicht auflösbar, daher existiert keine allgemeine Radikalformel.
- Was genau ordnet die Galois-Korrespondenz einander zu?
- Sie paart jeden Körper, der zwischen dem Basiskörper und dem Oberkörper liegt, mit der Untergruppe von Automorphismen, die ihn fixieren, wobei Inklusionen umgekehrt werden. Dies wandelt schwierige Fragen über Körper in leichter handhabbare Fragen über endliche Gruppen um.