Algebraischer Abschluss

Algebraischer Erweiterungskörper
(Weitergeleitet von Algebraisch abgeschlossen)

Ein Körper heißt algebraisch abgeschlossen, wenn jedes nicht-konstante Polynom mit Koeffizienten in eine Nullstelle in hat. Ein Körper ist ein algebraischer Abschluss von , wenn er algebraisch abgeschlossen ist und ein algebraischer Erweiterungskörper von ist. Da ein algebraischer Abschluss bis auf Isomorphie eindeutig ist, spricht man häufig auch von dem algebraischen Abschluss. Das Auffinden von Nullstellen von Polynomen ist eine wichtige mathematische Aufgabenstellung, in einem algebraischen Abschluss kann zumindest deren Existenz gesichert werden. Tatsächlich kann man zeigen, dass es zu jedem Körper einen algebraischen Abschluss gibt.

Definitionen

Bearbeiten

  bezeichne wie üblich den Polynomring über  .

Allgemein heißt ein Körper   algebraisch abgeschlossen, wenn eine der folgenden äquivalenten Aussagen gilt:

  • Jedes Polynom aus   hat eine Nullstelle in  .
  • Jedes Polynom aus   zerfällt in Linearfaktoren, also Polynome vom Grad 1.
  •   hat keine echten algebraischen Erweiterungen.
  • Jedes irreduzible Polynom in   hat Grad 1.

Ein algebraischer Abschluss   eines Körpers   kann nun auf zweierlei Art definiert werden:

  •   ist ein algebraischer Erweiterungskörper von  , in dem jedes Polynom aus   eine Nullstelle hat.
  •   ist ein algebraischer Erweiterungskörper von  , in dem jedes Polynom aus   eine Nullstelle hat.

Die zweite Bedingung ist eine scheinbar stärkere Aussage, sie erweist sich aber als zur ersten äquivalent.

Existenz

Bearbeiten

Zu einem einzelnen Polynom aus   kann man leicht eine algebraische Erweiterung   finden, in der das Polynom eine Nullstelle hat. Mit dem Lemma von Zorn kann man eine algebraische Erweiterung finden, in der alle nicht-konstanten Polynome aus   eine Nullstelle haben.[1] Dies ist dann nach obiger Bemerkung ein algebraischer Abschluss von  .

Es gelang Ernst Steinitz im Jahre 1910 als Erstem zu zeigen, dass jeder Körper einen algebraisch abgeschlossenen Oberkörper und somit auch einen algebraischen Abschluss hat. Dabei benutze Steinitz das Auswahlaxiom, welches äquivalent zum oben erwähnten Lemma von Zorn ist.[2] Der Beweis für die Existenz benötigt notwendigerweise transfinite Methoden wie zum Beispiel das Auswahlaxiom: Sind die Axiome der Mengenlehre konsistent, dann sind auch die Axiome der Mengenlehre (ohne Auswahlaxiom) zusammen mit dem Satz „Es gibt einen Körper, der keinen algebraischen Abschluss hat“ konsistent.[3]

Eindeutigkeit

Bearbeiten

Ebenfalls mit dem zornschen Lemma kann man zeigen, dass zwei algebraische Abschlüsse zueinander  -isomorph sind, das heißt, für algebraische Abschlüsse   von   gibt es einen Körperisomorphismus  , der eingeschränkt auf   die Identität ist. Allerdings gibt es keinen kanonischen, also keinen ausgezeichneten Isomorphismus, sondern im Allgemeinen sehr viele gleichberechtigte. Ein algebraischer Abschluss zu sein, ist demnach keine universelle Eigenschaft.

Der algebraische Abschluss von   hat dieselbe Mächtigkeit wie  , falls   unendlich ist, und ist abzählbar, falls   endlich ist. Ein algebraisch abgeschlossener Körper kann hingegen nicht endlich sein: Ist der Körper endlich mit   Elementen   und   das Produkt aller Linearfaktoren, so hat das Polynom   keine Nullstelle.

Beispiele

Bearbeiten
  • Der Fundamentalsatz der Algebra besagt, dass der Körper der komplexen Zahlen   algebraisch abgeschlossen und somit ein algebraischer Abschluss der reellen Zahlen   ist. Ist   ein anderer algebraischer Abschluss von   und sind   und   die Lösungen von   in  , so gibt es zwei  -Isomorphismen von   nach  . Entweder wird   auf   oder auf   abgebildet. Beide Möglichkeiten sind gleichberechtigt.
  • Es gibt viele abzählbare algebraisch abgeschlossene echte Oberkörper der algebraischen Zahlen in  . Sie sind algebraische Abschlüsse transzendenter Erweiterungen von  .
  • Für einen endlichen Körper   der Primzahl-Ordnung   ist der algebraische Abschluss ein abzählbar unendlicher Körper der Charakteristik   und enthält für jede natürliche Zahl   einen Teilkörper der Ordnung  , er besteht sogar aus der Vereinigung dieser Teilkörper.

Bedeutung

Bearbeiten

Die Bedeutung des algebraischen Abschlusses besteht im Auffinden der Nullstellen von Polynomen. Im algebraischen Abschluss hat jedes Polynom  -ten Grades genau   Nullstellen, die mit Vielfachheiten zu zählen sind. Es wird allerdings nichts darüber ausgesagt, wie diese konkret zu finden sind, siehe dazu den Artikel Nullstelle.

Einzelnachweise

Bearbeiten
  1. Kurt Meyberg, Algebra II, Carl Hanser Verlag (1976), Satz 6.10.6
  2. Ernst Steinitz: Algebraische Theorie der Körper. In: Journal für Reine und Angewandte Mathematik, Band 137, 1910, S. 167–309
  3. Thomas Jech: The Axiom of Choice. North Holland, 1973, ISBN 0-7204-2275-2, S. 147.