imported>Bernhard Ganter: Die letzte Textänderung von 2600:1010:A120:FD13:F43F:B2C5:1E6A:13C7 wurde verworfen und die Version 221359285 von 132.231.156.69 wiederhergestellt.

2025-01-11T20:44:45Z

Die letzte Textänderung von 2600:1010:A120:FD13:F43F:B2C5:1E6A:13C7 wurde verworfen und die Version 221359285 von 132.231.156.69 wiederhergestellt.

Neue Seite

Ein [[Körper (Algebra)|Körper]] <math>K</math> heißt '''algebraisch abgeschlossen''', wenn jedes nicht-konstante [[Polynom]] mit Koeffizienten in <math>K</math> eine Nullstelle in <math>K</math> hat. Ein Körper <math>L</math> ist ein '''algebraischer Abschluss''' von <math>K</math>, wenn er algebraisch abgeschlossen ist und ein [[algebraischer Erweiterungskörper]] von <math>K</math> ist. Da ein algebraischer Abschluss bis auf [[Isomorphismus|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 ==
<math>K[x]</math> bezeichne wie üblich den [[Polynomring]] über <math>K</math>.

Allgemein heißt ein Körper <math>K</math> ''algebraisch abgeschlossen'', wenn eine der folgenden äquivalenten Aussagen gilt:
* Jedes Polynom aus <math>K[x]\setminus K</math> hat eine Nullstelle in <math>K</math>.
* Jedes Polynom aus <math>K[x]\setminus K</math> zerfällt in [[Linearfaktor]]en, also Polynome vom [[Grad (Polynom)|Grad]] 1.
* <math>K</math> hat keine echten algebraischen Erweiterungen.
* Jedes [[Irreduzibles Polynom|irreduzible Polynom]] in <math>K[x]</math> hat Grad 1.

Ein ''algebraischer Abschluss'' <math>L</math> eines Körpers <math>K</math> kann nun auf zweierlei Art definiert werden:
* <math>L</math> ist ein algebraischer Erweiterungskörper von <math>K</math>, in dem jedes Polynom aus <math>K[x]\setminus K</math> eine Nullstelle hat.
* <math>L</math> ist ein algebraischer Erweiterungskörper von <math>K</math>, in dem jedes Polynom aus <math>L[x]\setminus L</math> eine Nullstelle hat.

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

== Existenz ==
Zu einem einzelnen Polynom aus <math>K[x]\setminus K</math> kann man leicht eine algebraische Erweiterung <math>L</math> 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 <math>K[x]</math> eine Nullstelle haben.<ref>Kurt Meyberg, ''Algebra II'', Carl Hanser Verlag (1976), Satz 6.10.6</ref> Dies ist dann nach obiger Bemerkung ein algebraischer Abschluss von <math>K</math>.

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.<ref>Ernst Steinitz: ''Algebraische Theorie der Körper''. In: ''Journal für Reine und Angewandte Mathematik'', Band 137, 1910, S. 167–309</ref> Der Beweis für die Existenz benötigt notwendigerweise transfinite Methoden wie zum Beispiel das Auswahlaxiom: Sind die [[Zermelo-Fraenkel-Mengenlehre|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.<ref>{{Literatur|Autor=[[Thomas Jech]]|Titel=The Axiom of Choice|Verlag=North Holland|ISBN=0-7204-2275-2|Jahr=1973|Seiten=147}}</ref>

== Eindeutigkeit ==
Ebenfalls mit dem zornschen Lemma kann man zeigen, dass zwei algebraische Abschlüsse zueinander <math>K</math>-isomorph sind, das heißt, für algebraische Abschlüsse <math>L,L'</math> von <math>K</math> gibt es einen Körperisomorphismus <math>\varphi \colon L \to L'</math>, der eingeschränkt auf <math>K</math> die [[Identische Abbildung|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 <math>K</math> hat dieselbe [[Mächtigkeit (Mathematik)|Mächtigkeit]] wie <math>K</math>, falls <math>K</math> unendlich ist, und ist [[Abzählbare Menge|abzählbar]], falls <math>K</math> endlich ist. Ein algebraisch abgeschlossener Körper kann hingegen nicht endlich sein: Ist der Körper endlich mit <math>q</math> Elementen <math>a_1, \dotsc, a_q</math> und <math display="inline">f := \prod_{k=1}^q (x-a_k)</math> das Produkt aller Linearfaktoren, so hat das Polynom <math>f+1</math> keine Nullstelle.

== Beispiele ==

* Der [[Fundamentalsatz der Algebra]] besagt, dass der Körper der [[Komplexe Zahlen|komplexen Zahlen]] <math>\mathbb C</math> algebraisch abgeschlossen und somit ein algebraischer Abschluss der [[Reelle Zahlen|reellen Zahlen]] <math>\mathbb R</math> ist. Ist <math>L</math> ein anderer algebraischer Abschluss von <math>\mathbb R</math> und sind <math>j_1</math> und <math>j_2 = -j_1</math> die Lösungen von <math>x^2 = -1</math> in <math>L</math>, so gibt es zwei <math>\mathbb R</math>-Isomorphismen von <math>L</math> nach <math>\mathbb C</math>. Entweder wird <math>j_1</math> auf <math>i</math> oder auf <math>-i</math> abgebildet. Beide Möglichkeiten sind gleichberechtigt.

* Ein algebraischer Abschluss der [[Rationale Zahlen|rationalen Zahlen]] <math>\mathbb Q</math> ist der Körper der [[Algebraische Zahl|algebraischen Zahlen]] <math>\mathbb A</math>.

* Es gibt viele abzählbare algebraisch abgeschlossene echte Oberkörper der algebraischen Zahlen in <math>\mathbb C</math>. Sie sind algebraische Abschlüsse [[Transzendente Erweiterung|transzendenter Erweiterungen]] von <math>\mathbb Q</math>.

* Für einen endlichen Körper <math>\mathbb F_p</math> der Primzahl-Ordnung <math>p</math> ist der algebraische Abschluss ein abzählbar unendlicher Körper der [[Charakteristik (Algebra)|Charakteristik]] <math>p</math> und enthält für jede natürliche Zahl <math>n</math> einen Teilkörper der Ordnung <math>p^n</math>, er besteht sogar aus der Vereinigung dieser Teilkörper.

== Bedeutung ==
Die Bedeutung des algebraischen Abschlusses besteht im Auffinden der Nullstellen von Polynomen. Im algebraischen Abschluss hat jedes Polynom <math>n</math>-ten Grades genau <math>n</math> 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 ==
<references />

[[Kategorie:Körpertheorie]]

Algebraischer Abschluss - Versionsgeschichte

imported>Bernhard Ganter: Die letzte Textänderung von 2600:1010:A120:FD13:F43F:B2C5:1E6A:13C7 wurde verworfen und die Version 221359285 von 132.231.156.69 wiederhergestellt.