Fundamentalsatz der Algebra

Der (Gauß-d’Alembertsche) Fundamentalsatz der Algebra besagt, dass jedes nicht konstante Polynom im Bereich der komplexen Zahlen mindestens eine Nullstelle besitzt. Dabei können die Koeffizienten des Polynoms beliebige komplexe Zahlen sein – insbesondere sind Polynome mit ganzen oder reellen Koeffizienten mit eingeschlossen.

Wendet man den Satz zum Beispiel auf das Polynom <math>z^4+15z^2+4</math> an, so folgt, dass die im Bereich der reellen Zahlen unlösbare Gleichung <math>z^4+15z^2+4 = 0</math> im Bereich der komplexen Zahlen mindestens eine Lösung besitzen muss.

Der Fundamentalsatz der Algebra sagt, dass die komplexen Zahlen algebraisch abgeschlossen sind oder – äquivalent – dass die reellen Zahlen reell abgeschlossen sind.

Die Namensgebung wurzelt in einem traditionellen Verständnis der Algebra als der Lehre von Gleichungen höheren Grades mittels „Buchstabenrechnen“.<ref>So schreibt Heinrich Weber 1895 im Vorwort seines – zunächst auf nur zwei Bände angelegten – Lehrbuchs der Algebra PDF bei resolver.sub.uni-goettingen.de: „Der grosse Stoff ist in zwei Bände vertheilt. Der erste Band enthält den elementaren Theil der Algebra, den man mit einem hergebrachten Ausdruck als Buchstabenrechnung bezeichnen kann, sodann Vorschriften über die numerische Berechnung der Gleichungswurzeln und die Anfänge der Galois’schen Theorie.“ So betrachtet Weber denn auch zu Beginn seines Lehrwerks, die Grundlagen (Erstes Buch) legend, im Ersten Abschnitt die Rationalen Functionen bringt in § 38 (des Dritten Abschnittes. Die Wurzeln) einen rein analytischen Beweis des Fundamentalsatzes, der dem hier gegebenen im Wesentlichen gleichkommt; der Achte Abschnitt (Der Sturm’sche Lehrsatz) des Zweiten Buches (Die Wurzeln) dieses ersten Bandes, gipfelt in § 98. Gauss’ erster Beweis des Fundamentalsatzes des Algebra mit Hilfe des Sturmschen Satzes. Dennoch ist bei Weber der Wandel des Verständnisses der Algebra deutlich spürbar, da er dem eben gebrachten Zitat aus dem Vorwort (S. v) folgende Sätze vorausschickt: „Zwei Dinge sind es, die für die neueste Entwickelung der Algebra ganz besonders von Bedeutung sind, das ist auf der einen Seite die immer mehr zur Herrschaft gelangende Gruppentheorie, deren ordnender und klärender Einfluss überall zu spüren ist, und sodann das Eingreifen der Zahlentheorie. Wenn auch die Algebra zum Theil über die Zahlentheorie hinausgeht, und in andere Gebiete, z. B. die Functionentheorie oder in ihren Anwendungen auch in die Geometrie hinüber greift, so ist doch die Zahlenlehre immer das vorzüglichste Beispiel für alle algebraischen Betrachtungen, und die Fragen der Zahlentheorie, die heute im Vordergrund des Interesses stehen, sind vorwiegend algebraischer Natur. Hierdurch war der Weg bezeichnet, den ich in meiner Arbeit zu gehen hatte.“ Bartel Leendert van der Waerden hingegen lässt sein einflussreiches Lehrbuch der „[Modernen] Algebra“ (Algebra I, 8. Auflage, 1971, siehe Literatur und Artikel zur Modernen Algebra) bereits – nach einem kurzen Kapitel über „Zahlen und Mengen“ – mit Betrachtungen zur Gruppentheorie beginnen. In § 80 (S. 252) lässt er deutlich anklingen, dass er den Namen „Fundamentalsatz der Lehre von den komplexen Zahlen“ treffender fände: „Der ‚Fundamentalsatz der Algebra‘, besser Fundamentalsatz der Lehre von den komplexen Zahlen, besagt […]“ Die erste Auflage dieses Buches erschien bereits 1930 – 22 Jahre nach Heinrich Webers drittem Band zur Algebra –, damals noch unter dem Titel Moderne Algebra. Nach eigenem Bekunden im Vorwort zur vierten Auflage entsprach van der Waerden dem Ratschlag einer Buchbesprechung Heinrich Brandts im Jahresbericht der DMV (1952, Band 55, siehe PDF bei gdz.sub.uni-goettingen.de oder PDF bei resolver.sub.uni-goettingen.de, PDF-Seite 178) und nannte sein zweibändiges Lehrwerk ab der vierten Auflage des ersten Bandes (1955) schlicht Algebra. Zur Vertiefung dieser geschichtlichen Aspekte sei auf die Artikel Moderne Algebra und Algebra verwiesen.</ref><ref>Wolfgang Krull beginnt sein Lehrbuch von 1953 mit den Worten: Die Algebra wird beherrscht von den vier Grundrechenarten Addition, Subtraktion, Multiplikation, Division. Der Leser geht am besten mit diesen Rechnungsarten zunächst so um, wie er es vom elementaren Buchstabenrechnen her gewohnt ist. Er beschließt es mit einem Anhang über den Fundamentalsatz der Algebra. Siehe {{#invoke:Vorlage:Literatur|f}}</ref>

Satz

Es sei

<math> P(z) = \sum_{k=0}^n a_k \cdot z^k </math>

ein Polynom vom Grad <math>\deg P =: n \in \N\backslash\{0\}</math> – also ein nicht konstantes Polynom – mit komplexen Koeffizienten <math>a_k \in \mathbb C</math>. Dann hat das Polynom eine komplexe Nullstelle, d. h., es gibt eine Zahl <math>z \in \mathbb C</math>, so dass <math>P(z) = 0</math> gilt. Genauer gilt, dass die Anzahl der Nullstellen, wenn sie mit der richtigen Vielfachheit gezählt werden, insgesamt gleich dem Grad des Polynoms ist.

Anmerkung zum Fall reeller Koeffizienten

Auch wenn <math>P</math> ein Polynom über den reellen Zahlen ist, wenn also alle Koeffizienten <math>a_k</math> in <math>\R</math> liegen, sind die zugehörigen Nullstellen nicht notwendigerweise reell. Es gilt aber: Ist <math>w</math> eine nichtreelle Nullstelle von <math>P</math>, so ist auch ihr komplex Konjugiertes <math>\bar{w}</math> eine Nullstelle von <math>P</math>. Ist <math>w</math> eine mehrfache Nullstelle von <math>P</math>, so hat <math>\bar{w}</math> dieselbe Vielfachheit. In der faktorisierten Schreibweise des Polynoms lassen sich daher die zugehörigen Linearfaktoren immer zu einem quadratischen Faktor <math>(z-w)(z-\bar{w})</math> zusammenfassen. Ausmultipliziert hat dieses Polynom zweiten Grades wieder rein reelle Koeffizienten:

<math>(z-w)(z-\bar{w}) = z^2 - (w+\bar{w})z + w\cdot\bar{w} = z^2 - 2\operatorname{Re}(w)\cdot z + |w|^2</math>

Daraus folgt im Umkehrschluss, dass jedes reelle Polynom sich in reelle Polynomfaktoren vom Grad eins oder zwei zerlegen lässt. In dieser Form wurde der Satz 1799 von Carl Friedrich Gauß im Rahmen seiner Doktorarbeit formuliert, die dieses Ergebnis bereits in ihrem lateinischen Titel Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse verkündet (deutsch: „Neuer Beweis des Satzes, dass jede ganze rationale algebraische Funktion in einer Variablen in reelle Faktoren ersten oder zweiten Grades zerlegt werden kann“).

Folgerung: Algebraische Abgeschlossenheit des komplexen Zahlkörpers

Von einem Polynom <math>f(z)</math> lässt sich der zu einer Nullstelle <math>z_0</math> mit <math>f(z_0)=0</math> gehörende Linearfaktor <math>(z-z_0)</math> abspalten: <math>f(z) = (z-z_0) \cdot f'(z)</math>. (Dazu kann beispielsweise die Horner-Ruffini-Methode verwendet werden.) Durch die Abspaltung ergibt sich ein im Grad um eins reduziertes Polynom <math>f'(z)</math>, für welches das Verfahren wiederholt werden kann. Per Induktion ist hiermit gezeigt: Jedes nicht konstante Polynom über <math>\mathbb{C}</math> zerfällt vollständig in ein Produkt aus Linearfaktoren:

<math>f(z) = \sum_{k=0}^n a_k \cdot z^k = a_n \cdot \prod_{i=1}^n (z-z_i)</math> ,

wobei die <math>z_i</math> die Nullstellen des Polynoms sind.

Der Fundamentalsatz der Algebra besagt also, dass der Körper <math>\Complex</math> der komplexen Zahlen algebraisch abgeschlossen ist.

Beispiel

Die Polynomgleichung

<math>P(x)=x^5-5x^4+17x^3-13x^2=0</math>

hat die Lösungen

<math>L=\{0^{(2)},1,2-3\text{i},2+3\text{i}\}</math> ,

die natürlich die Nullstellen des Polynomes sind. Die Lösung 0 wird dabei doppelt gezählt, wie anhand der Faktorisierung des Polynoms ersichtlich ist:

<math>P(x)=x\cdot x\cdot(x-1)\cdot(x-2+3\text{i})\cdot(x-2-3\text{i}) = x\cdot x\cdot(x-1)\cdot(x^2-4x+13)</math> .

Man verwendet auch die Sprechweise „0 tritt mit Vielfachheit 2 auf“, alle anderen Nullstellen treten mit Vielfachheit 1 auf. Dieses Beispiel zeigt auch, dass die Nullstellen im Allgemeinen nicht (alle) reell sind, selbst wenn das Polynom reelle Koeffizienten hat. Nichtreelle Nullstellen von Polynomen mit reellen Koeffizienten treten aber immer paarweise komplex konjugiert auf (in obigem Beispiel <math>2\pm 3i</math>).

Äquivalente Formulierungen

Der Satz lässt sich in äquivalenten Formulierungen aussprechen, die hier zusammenfassend aufgeführt seien:

• Jedes nicht-konstante reelle Polynom hat eine komplexe Nullstelle.
• Jedes nicht-konstante reelle Polynom zerfällt im Komplexen vollständig in Linearfaktoren.
• Jedes nicht-konstante komplexe Polynom hat eine Nullstelle.
• Jedes nicht-konstante komplexe Polynom zerfällt vollständig in Linearfaktoren.
• Irreduzible komplexe Polynome sind linear.
• Irreduzible reelle Polynome sind quadratisch oder linear. (Dies ist die Formulierung in Gauß’ Dissertation Demonstratio nova theorematis … von 1799.)
• Der Körper <math>\C</math> ist algebraisch abgeschlossen.
• Der Körper <math>\R</math> ist reell abgeschlossen.
• Der Körper <math>\C</math> besitzt keine echten endlichen Körpererweiterungen.
• Der Körper <math>\R</math> besitzt lediglich eine echte endliche Körpererweiterung, nämlich <math>\R[\mathrm{i}] = \C</math>.

Die Äquivalenz folgt mittels vollständiger Induktion, Körpertheorie, schlicht per Definition oder aber mit Hilfe der Theorie formal reeller Körper. Insbesondere dank der letzteren ist auch folgende Formulierung äquivalent:

• Der (angeordnete) Körper <math>\R = \R_{>0} \,\uplus\, \{0\} \,\uplus\, (-\R_{>0})</math> besitzt folgende beiden Eigenschaften:
  • Positive reelle Zahlen sind Quadrate.
  • Jedes reelle Polynom ungeraden Grades besitzt eine reelle Nullstelle.

Die Beweisvariante für reell abgeschlossene Körper durch Galois-Theorie zeigt, dass diese beiden Eigenschaften den Fundamentalsatz implizieren, und abstrahiert von der Grundidee des Gaußschen Beweises von 1815.

Beweise

Geschichte und Überblick

Erste Formulierungen des Fundamentalsatzes finden sich im 17. Jahrhundert (Peter Roth, Albert Girard, René Descartes). Peter Roth (1608) vermutete, dass Gleichungen <math>n</math>-ten Grades höchstens <math>n</math> Lösungen haben, und Francois Viète gab Beispiele von Gleichungen <math>n</math>-ten Grades mit der maximalen Anzahl von <math>n</math> Lösungen an. Albert Girard vermutete 1629 (L'invention en l'algèbre) als Erster, dass es immer <math>n</math> Lösungen gibt, und vermutete schon neben reellen auch komplexe Lösungen. Leonhard Euler gab eine Formulierung des Fundamentalsatzes als vollständige Faktorisierung im Komplexen im heutigen Sinn an.

Gemäß einer Arbeit von Eugen Netto und R. Le Vavasseur aus dem Jahre 1907 ist davon auszugehen, dass es schon damals etwa einhundert Beweise des Fundamentalsatzes gab.<ref>{{#invoke:Vorlage:Literatur|f}}</ref> Der erste veröffentlichte Beweis von Jean d’Alembert 1746 war von der Idee her korrekt, jedoch enthielt er Lücken, die erst mit den Methoden der Analysis des 19. Jahrhunderts geschlossen werden konnten. Eine vereinfachte und auch nach modernen Kriterien noch korrekte Version dieses Beweises wurde von Jean-Robert Argand 1814 angegeben.<ref group="Anm">Siehe Artikel Ungleichung von Argand!</ref> Weitere veröffentlichte Beweisversuche stammen von Euler (1749), Joseph-Louis Lagrange (1772), aufbauend auf dem Beweis von Euler, und Pierre Simon de Laplace (1795), der einen neuen Ansatz verfolgte unter Verwendung der Diskriminante des Polynoms.

Der erste vollständige Beweis für den Fundamentalsatz der Algebra wurde 1799 von Carl Friedrich Gauß im Rahmen seiner Dissertation angegeben (und eine Notiz dazu in seinem Tagebuch schon im Oktober 1797 eingetragen).<ref group="Anm">Allerdings vertritt Andreas Speiser im Jahre 1956 in einem Kommentar zum eulerschen Beweis von 1749 die Ansicht, dass dieser Beweis sehr wohl korrekt ist. Siehe: Reinhold Remmert: Fundamentalsatz der Algebra, Kapitel 4 : In: H.-D. Ebbinghaus, H. Hermes, Fr. Hirzebruch, Max Koecher, K. Mainzer, A. Prestel, R. Remmert: Zahlen. In: Grundwissen Mathematik I., 3., verbesserte Auflage. Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest 1992, ISBN 3-540-55654-0, Kapitel 4 , S. 86.</ref> Im Gegensatz zu seinen Vorgängern ging Gauß auch das Problem an, die Existenz der Wurzeln im Komplexen zu beweisen und nicht stillschweigend vorauszusetzen. Auch dieser Beweis enthält einige analytische Schwächen, die erst später beseitigt werden konnten. Der zweite Beweis, der von Gauß 1815 vorgestellt und ein Jahr später publiziert wurde, baut auf Ideen von Leonhard Euler auf. Dieser induktive Beweis benutzt als analytische Grundlage (nämlich als Induktionsanker), unbewiesen und ohne dass eine Beweisnotwendigkeit gesehen wurde, lediglich den Zwischenwertsatz der reellen Analysis, genauer den Spezialfall, dass jedes Polynom ungeraden Grades immer eine reelle Nullstelle hat. Aus Sicht der „Modernen Algebra“ gehört dieser Beweis in die algebraische Theorie formal reeller Körper bzw. reell abgeschlossener Körper: Siehe hierzu den Abschnitt „Induktiver Beweis mit algebraischen Methoden und dem Zwischenwertsatz“. Der Fundamentalsatz der Algebra erscheint aus dieser Perspektive in der Gestalt: Der Körper der reellen Zahlen <math>\R</math> ist reell abgeschlossen, das heißt, <math>\R[\sqrt{-1}]</math> ist algebraisch abgeschlossen.

Ein Beweis, der gleichzeitig ein effizientes Berechnungsverfahren beinhaltet, wurde 1859 (und nochmals 1891) von Karl Weierstraß veröffentlicht. Das darin enthaltene Verfahren wird heute als Durand-Kerner-Verfahren bezeichnet.

Inzwischen kennt man mehrere sehr unterschiedliche Beweise, die Begriffe und Ideen aus Analysis, Algebra oder Topologie beinhalten. Am kürzesten kann der Fundamentalsatz der Algebra nach Augustin-Louis Cauchy und Joseph Liouville mit Methoden der Funktionentheorie bewiesen werden. Eine annähernd direkte Plausibilität vermittelt die topologische Argumentation auf Basis der Umlaufzahl. Relativ elementar ist der analytische Beweis.

Der bewertungstheoretische Beweis (H. Brückner, 1990) führt den Fundamentalsatz mit Hilfe elementarer Überlegungen über Erweiterungen lokalkompakter Körper auf den Vollständigkeitssatz von A. Ostrowski (1916) zurück, der seinerseits elementar bewiesen wird. Dabei wird der enge Zusammenhang zwischen der Theorie archimedischer Bewertungen auf Körpern und der algebraischen Theorie formal reeller (speziell reell abgeschlossener) Körper erkennbar. Der Vollständigkeitssatz betrachtet insbesondere vollständige archimedisch bewertete Körper und impliziert den Fundamentalsatz in der Gestalt: Der Körper <math>\Complex</math> besitzt keine echte endliche Erweiterung, denn auf einen solchen ließe sich der Absolutbetrag fortsetzen – im Widerspruch zu Ostrowskis Vollständigkeitssatz.

Im Folgenden sei <math>f(z)=a_nz^n+\dotsb+a_1z+a_0</math> stets ein nichtkonstantes Polynom mit komplexen Koeffizienten und insbesondere <math>a_0,a_n\ne0</math>. Dieses sei als Funktion <math>f\colon\Complex\to\Complex</math> aufgefasst.

Rein analytischer Beweis

Dieser Beweis<ref>Man vergleiche auch Serge Langs Darstellung in seiner Linear Algebra sowie Heinrich Webers Darstellung in § 38 seines Lehrbuchs zur Algebra, Band I (siehe Literaturangaben). Auch der Beweis, den Camille Jordan in seinem Cours d'analyse, Tome I auf Seite 202 (Abschnitt III Fonctions rationnelles, Textziffern 209 bis 211) gibt, ist im Wesentlichen derselbe.</ref> wurde 1746 von Jean-Baptiste le Rond d’Alembert vorgeschlagen, jedoch erst 1814 von Jean-Robert Argand vervollständigt. Die zentrale Aussage dieses Beweises ist, dass zu jedem Punkt <math>z\in\Complex</math>, der keine Nullstelle ist, ein Punkt <math>z+w</math> in der Umgebung angegeben werden kann, der eine Verkleinerung im Betrag des Funktionswerts ergibt, <math>|f(z+w)|<|f(z)|</math>. Hat der Betrag der Funktionswerte also einen Minimalpunkt, so muss dieser ein Nullpunkt sein. Da die Menge <math>\{z\in\Complex\mid|f(z)|\le |f(0)|\}</math> kompakt ist und der Betrag verknüpft mit <math>f</math> stetig, gibt es immer einen solchen Minimalpunkt und damit eine Nullstelle.<ref group="Anm">Man beachte hier den Satz von Bolzano-Weierstraß oder Folgerungen daraus.</ref>

Zur zentralen Aussage entwickle man <math>f</math> in <math>z</math>, d. h.

<math>f(z+w)=b_0+b_1w+\dotsb+b_nw^n</math>.

Ist <math>b_0=0</math>, so ist <math>z</math> eine Nullstelle. Sonst wähle man das kleinste <math>k>0</math> mit <math>b_k\ne 0</math> und betrachte die beiden Ungleichungen für <math>s\ge 0</math>

<math>|b_0|\ge |b_k|\,s^k</math> und <math>|b_k|/2\ge |b_{k+1}|\,s+\dotsb+|b_n|\,s^{n-k}</math>.

Beide Ungleichungen sind für <math>s=0</math> erfüllt, und es gibt ein endliches, größtes <math>\bar s</math>, so dass sie auf dem gesamten Intervall <math>s\in[0,\bar s]</math> erfüllt sind. Für ein <math>s</math> aus diesem Intervall wähle man ein <math>w\in\Complex</math> mit <math>|w|=s</math> und so, dass mit einem reellen Faktor <math>1\ge c>0</math> die Beziehung <math>b_kw^k=-c\,b_0</math> gilt. Für den interessierenden Betrag des Funktionswertes gilt nun nach Dreiecksungleichung

<math>\begin{align}

|f(z+w)|&\le |b_0+b_kw^k|+\sum_{j>k}|b_j|\,|w|^j = (1-c)|b_0|+\sum_{j>k}|b_j|\,s^j\\ &=|b_0|-s^k\left(|b_k|-\sum_{j>k}|b_j|\,s^{j-k}\right)\le |f(z)|-\tfrac12\,|b_k|\,s^k. \end{align}</math>

Beweis mit Methoden der Topologie

Ein Beweis mit dieser Methode wurde 1799 von Gauß gegeben. Er zerlegte die Polynomfunktion in Real- und Imaginärteil, <math>f(x+\text{i}y)=u(x,y)+\text{i}v(x,y)</math>. Die Nullstellenmengen von <math>u</math> und <math>v</math> sind aus einzelnen eindimensionalen Bögen zusammengesetzt, die eine endliche Anzahl von Knotenpunkten in der Ebene verbinden. Von jedem Knotenpunkt geht eine gerade Anzahl von Bögen aus. Auf keinen Fall kann ein Bogen in einem Punkt einfach enden. Auf jedem Kreis mit genügend großem Radius gibt es <math>2n</math> Nullstellen von <math>u</math> und <math>2n</math> Nullstellen von <math>v</math>, die sich abwechseln. Jeder zusammenhängende Teil des Nullstellengraphen von <math>u</math> hat auf einem großen Kreis eine gerade Anzahl von Schnittstellen, die eine ungerade Anzahl von Schnittstellen des Nullstellengraphen von <math>v</math> einschließen. Damit muss ein Bogen des Graphen von <math>v</math> aus dem zusammenhängenden Teilstück des Graphen von <math>u</math> herausragen. Dies geht nur, wenn die Graphen von <math>u</math> und <math>v</math> sich schneiden, der Schnittpunkt aber ist eine Nullstelle von <math>f(z)</math>.

Datei:Plot cubic polynomial.svg

Zum Polynom <math>z^3+2z^2-z+1</math> ist das Bild des Kreises mit Radius 10 um den Ur­sprung dargestellt. Für jedes kubische Poly­nom kann mittels Betrags­abschätzung elemen­tar nach­ge­wiesen werden, dass die Bil­der ge­nügend großer Kreise Kurven sind, die den Ur­sprung drei­mal umrunden. Wird der Kreis bis zum Nullpunkt ver­klei­nert, zieht sich das vom Poly­nom er­zeugte Bild auf einen Punkt zu­sam­men, der gleich dem kon­stanten Term <math>a_0</math> ist (im Bei­spiel ist <math>a_0=1</math>).

Moderne Versionen dieses Beweises benutzen den Begriff der Windungszahl. Die darauf aufbauende Argumentation liefert zugleich eine direkte Plausibilität für die Richtigkeit des Fundamentalsatzes der Algebra. Siehe dazu auch die Abbildung.

Für den Beweis wird angenommen, dass das Polynom <math>f(z)</math> keine komplexen Nullstellen besitze. Dann kann für jedes <math>s>0</math> eine geschlossene, stetige Kurve

<math>\gamma_s\colon[0,2\pi]\to\Complex</math>, <math>\gamma_s(t)=\min(1,s)^{-n}\,f(s\,e^{\text{i}t})</math>

konstruiert werden, die die (skalierten) Funktionswerte des Polynoms auf dem Kreis mit Radius <math>s</math> durchläuft. Da kein Funktionswert Null ist, kann eine Umlaufzahl definiert werden. Da sich die Kurve bei Änderung des Parameters <math>s</math> stetig ändert, kann sich die Umlaufzahl nur ändern, wenn die sich ändernde Kurve den Nullpunkt überquert. Da nach Annahme die Funktion <math>f(z)</math> keine Nullstelle besitzt, ist eine solche Überquerung des Nullpunktes nicht möglich. Daher muss die Umlaufzahl für alle <math>s > 0</math> dieselbe sein.

Für sehr große Werte von <math>s</math> wird die Kurve der entsprechenden Kurve der <math>n</math>-ten Potenz, genauer des Polynoms <math>a_nz^n</math>, immer ähnlicher, die Umlaufzahl muss daher konstant <math>n</math> sein. Für sehr kleine Werte von <math>s</math> wird die Kurve der konstanten Kurve mit Wert <math>a_0</math> immer ähnlicher, also muss die – für alle <math>s > 0</math> konstante – Umlaufzahl gleichzeitig den Wert 0 besitzen. Dies ist gleichzeitig nur möglich, wenn <math>n = 0</math> gilt, das Polynom also konstant ist. Für Polynome höheren Grades führt dieses Argument zum Widerspruch, also muss es Nullstellen <math>z</math> mit <math>f(z)=0</math> geben.

Induktiver Beweis mit algebraischen Methoden und dem Zwischenwertsatz

Die Grundidee der Beweise dieses Abschnittes geht zurück auf Carl Friedrich Gauß (1815), dessen Beweis daher als erster dargestellt ist.<ref group="Anm">Gemäß Herbert Schröder („Der Fundamtentalsatz der Algebra […]“, siehe Literatur), Abschnitt 4.3.1 (Seite 79) griff Gauß Beweisansätze von Euler, Lagrange und Laplace auf und vereinfachte sie oder arbeitete sie zu Beweisen aus.</ref> Aus modernerer Sicht beruht er auf Argumenten aus der algebraischen Theorie der formal reellen Körper. Die nachfolgenden Beweisvarianten lassen dies erkennen und insbesondere, dass der Zwischenwertsatz, der einen topologischen Körper <math>K</math> benötigt, durch eine lediglich algebraische Voraussetzung ersetzt werden kann. Deren Gültigkeit für <math>\R</math> nachzuweisen, erfordert jedoch nicht-algebraische Methoden (wie den Zwischenwertsatz).

Beweis nach Gauß 1815

Ein solcher Beweis wurde 1815 von Gauß präsentiert. Es wird benutzt, dass nach dem Zwischenwertsatz jedes reelle Polynom ungeraden Grades mindestens eine Nullstelle hat sowie dass quadratische Gleichungen, auch mit komplexen Koeffizienten, elementar lösbar sind. Der Beweis erfolgt als vollständige Induktion über die Potenz des Faktors <math>2</math> im Grad des Polynoms.

Es sei zunächst <math>f(z)</math> quadratfrei und mit reellen Koeffizienten vorausgesetzt. Der Grad habe eine Faktorisierung <math>n=u\,2^e</math> mit <math>u</math> ungerade. Der Beweis erfolgt als vollständige Induktion über die Potenz <math>e</math> des Faktors <math>2</math> im Grad des Polynoms. Ist <math>e = 0</math>, so gibt es eine Nullstelle nach dem Zwischenwertsatz. Es sei nun im Induktionsschritt vorausgesetzt, dass <math>e\geq 1</math> und dass alle Polynome mit Graden <math>u'\,2^{e-1}</math> bei ungeradem <math>u'</math> mindestens eine Nullstelle besitzen.

Es sei, der Einfachheit halber, ein (abstrakter) Wurzel- oder Zerfällungskörper <math>\mathbb W\supset \R</math> des Polynoms <math>f(z)</math> konstruiert, in welchem es die paarweise verschiedenen (wiederum abstrakten) Nullstellen <math>z_1,\dotsc,z_n</math> hat,

<math>f(z)=(z-z_1)(z-z_2)\dotsm(z-z_n)</math>.

In <math>\mathbb W\times \mathbb W</math> sei die Menge der <math>\tfrac12 n(n-1)</math> Punkte <math>(z_j+z_k,z_j\,z_k)</math>, <math>j<k</math>, betrachtet. Da die abstrakten Nullstellen paarweise verschieden sind, gibt es nur eine endliche Anzahl von Geraden, die durch mindestens zwei dieser Punkte verlaufen, insbesondere auch nur eine endliche Anzahl reeller Anstiege <math>m</math> solcher Geraden, für welche die Differenz <math>z_j\,z_k-m\,(z_j+z_k)</math> zweimal denselben Wert annimmt. Für alle anderen Werte von <math>m</math> ist das Polynom

<math>g_m(x)=\prod_{j<k}(x-m\,(z_j+z_k)+z_j\,z_k)</math>

ebenfalls quadratfrei und symmetrisch in den abstrakten Nullstellen <math>z_1,\dotsc,z_n</math>. Daher können die Koeffizienten von <math>g_m(x)</math> als Polynome in <math>m</math> und den Koeffizienten von <math>f(z)</math> dargestellt werden, <math>g_m(x)</math> ist also für jedes reelle <math>m</math> ein Polynom mit reellen Koeffizienten und kann mittels Resultanten aus <math>f(z)</math> bestimmt werden. Der Grad von <math>g_m(x)</math> beträgt <math>2^{e-1}\,u(n-1)</math>, wobei <math>u(n-1)</math> eine ungerade Zahl ist, da ja <math>e\geq 1</math> (also ein gerades <math>n</math>) für den Induktionsschritt vorausgesetzt war. Nach Induktionsvoraussetzung gibt es wenigstens eine komplexe Nullstelle <math>x</math> mit <math>g_m(x)=0</math>. Aus den partiellen Ableitungen nach <math>m</math> und <math>x</math> in der Nullstelle können komplexe Zahlen <math>p</math> und <math>q</math> bestimmt werden, so dass mindestens eine der Nullstellen von <math>z^2+p\,z+q=0</math> eine Nullstelle von <math>f(z)</math> ist.

Hat <math>f(z)</math> auch echt komplexe Koeffizienten, so hat <math>\widetilde{f}(z)=\overline{f}(z)\,f(z)</math> nur reelle Koeffizienten. Jede Nullstelle des Produkts ist Nullstelle eines Faktors, somit also selbst oder als komplex konjugierte Zahl eine Nullstelle von <math>f(z)</math>. Ist das nun reelle Polynom nicht quadratfrei, so kann mit Polynomarithmetik (u. a. euklidischer Algorithmus) eine Faktorisierung in (nichtkonstante) quadratfreie Faktoren gefunden werden, von denen jeder mindestens eine Nullstelle enthält.

Beweisvariante für reell abgeschlossene Körper durch Galois-Theorie

Die Idee des folgenden Beweis geht auf den soeben dargestellten Beweis von Carl Friedrich Gauss aus dem Jahre 1815 zurück.<ref>Der Beweis entstammt den folgenden Quellen:

• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}</ref><ref>Siehe auch Bartel Leendert van der Waerden: Algebra 1, Kapitel XI Reelle Körper, § 81 Algebraische Theorie der reellen Körper. (Ironie der Geschichte: Die achte Auflage des ersten Bandes dieses Lehrbuches gipfelt geradezu traditionell in der Gaußschen Beweisidee des Fundamentalsatzes der Algebra, wiewohl der Satz nicht zuletzt dank der präsentierten modernen algebraischen Sicht seine vormals fundamentale Stellung in der Algebra eingebüßt hat.)</ref> Er ersetzt die Argumentationen aus der Theorie symmetrischer Polynome durch Argumente aus der Galois-Theorie. Der Zwischenwertsatz bleibt Grundlage für den Induktionsanker. Dabei wird erkennbar, dass lediglich eine algebraische Eigenschaft des Polynomringes <math>\R[X]</math> benötigt wird. Ihre Gültigkeit folgt aus dem Zwischenwertsatz unter Zugrundelegung der „gewöhnlichen“ Topologie, obschon sie selbst keine Topologie voraussetzt (siehe unten stehende Eigenschaft „B-W“).

Der Fundamentalsatz wird gezeigt in der Form: Ein reelles irreduzibles Polynom besitzt eine Nullstelle im Körper <math>\R[\sqrt{-1}] = \C</math> und zerfällt also über ihm. Da ein Körper der Charakteristik Null – wie bspw. <math>\R</math> – vollkommen ist, d. h. jedes über ihm irreduzible Polynom separabel ist, genügt zu zeigen: Ein reelles doppelwurzelfreies Polynom besitzt eine Nullstelle im Körper <math>\R[\sqrt{-1}] = \C</math>.

Zunächst bezeichne <math>K</math> einen Körper – später wird <math>K=\R</math> zu betrachten sein – und <math>f(X) \in K[X]</math> ein doppelwurzelfreies Polynom vom Grade <math>\deg f = n = 2^e u</math> mit ungeradem <math>u\in \N</math>, und seine paarweise verschiedenen Nullstellen in einem Zerfällungskörper <math>W/K</math> seien mit <math>\alpha=\alpha_1, \dots, \alpha_n</math> bezeichnet, so dass es in <math>W</math> in das Produkt <math>f(X) = \prod_{i=1}^n (X - \alpha_i)</math> zerfällt.

Wie oben wird Beweis durch Induktion nach <math>e</math> geführt. Dazu sei im Folgenden <math>e\geq1</math>, <math>\deg f</math> also gerade, und gemäß Induktionsannahme werde angenommen, dass jedes doppelwurzelfreies Polynom über <math>K</math> vom Grade <math>2^{e-1} u'</math> bei ungeradem <math>u'</math> eine Nullstelle in <math>K[\sqrt{-1}]</math> habe. Die Zurückführung auf die Induktionsannahme gelingt mit Hilfe der Galois-Theorie; zwei Varianten seien gezeigt:

Konstruktion eines quadratischen Polynoms über <math>K[\sqrt{-1}]</math>, das (gemäß Induktionsannahme) Nullstellen mit <math>f(X)</math> teilt

Variante A (mit Dirichletschem Schubfachschluss, nach Wolfgang Krull)	Variante B (mit Argumenten aus dem Beweis zum Satz vom primitiven Element, nach Hasse/Klobe)
Setzt man von vornherein voraus, dass <math>K</math> unendlich ist, so lässt sich (gemäß Wolfgang Krull) folgendermaßen argumentieren: Da <math>K</math> unendlich ist, lassen sich <math>N := \tbinom{n}{2}+1 </math> paarweise verschiedene Elemente <math>y_k\in K \; (1\leq k \leq N)</math> so wählen, dass jede der <math>N</math> Mengen <math> M_k := \{ \alpha_i \alpha_j + y_k (\alpha_i + \alpha_j) \in W \mid 1\leq i,j \leq n, i\neq j \}</math> genau <math>N-1</math> Elemente hat. Jedes Polynom <math>g_k(X) := \prod_{\beta\in M_k} (X - \beta)</math> verschwindet auf <math>M_k</math>, liegt – da die Galois-Gruppe <math>G(W/K)</math> auf <math>M_k</math> operiert (d. h., ihre Elemente permutiert<ref group="Anm">Sogar jede Permutation aus der symmetrischen Gruppe <math>S_n</math> operiert auf <math>M_k</math>. Hier lässt sich also wahlweise der Hauptsatz über elementarsymmetrische Funktionen oder der Hauptsatz der Galoistheorie zur Begründung heranziehen.</ref>) – in <math>K[X]</math> und besitzt seines Grades wegen nach Induktionsannahme eine Nullstelle <math>\gamma_k \in K[\sqrt{-1}]</math>. (Mit anderen Worten: Der Zerfällungskörper <math>W</math> enthält ein Element <math>\mathrm{i}</math> mit <math>\mathrm{i}^2 = -1</math>, und man denke sich <math>K[\sqrt{-1}] \simeq Z := K[\mathrm{i}] \subset W</math> eingebettet.)	Die Elemente <math>\alpha_i \alpha_j</math> sowie <math>\alpha_i + \alpha_j</math> und allgemeiner <math>\beta_{i,j} := x \alpha_i\alpha_j + y(\alpha_i + \alpha_j ) \in W</math> haben für <math>i\neq j</math> und beliebige <math>x, y \in K</math> höchstens den Grad <math>\tbinom{n}{2}</math> über <math>K</math>, denn ihr jeweiliges Minimalpolynom ist ein Teiler des Polynoms <math>g(X) := \prod_{1\leq i < j \leq n} (X - \beta_{i,j}) \in K[X]</math>, denn: Klar sind die Aussagen <math>\deg g(X) = \tbinom{n}{2}</math> und <math>g(\beta_{i,j}) = 0</math>. Die Behauptung, dass <math>g(X) \in K[X]</math> folgt aus der Tatsache, dass die Galois-Gruppe <math>G(W/K)</math> auf der Nullstellenmenge <math>M_g  := \{\beta_{i,j}\}</math> von <math>g(X)</math> (durch Permutation) operiert. Von nun an habe der Körper <math>K</math> unendlich viele Elemente, und es sei <math>y := 1</math> gesetzt. Dann kann <math>x\in K</math> derart gewählt werden, dass die <math>\beta_{i,j} </math> (für <math>i<j</math>) paarweise verschieden sind (natürlich ist stets <math>\beta_{i,j} = \beta_{j,i} </math>). Dann besitzt die Nullstellenmenge <math>M_g</math> von <math>g(X)</math> genau <math>\deg g(X) = \tbinom{n}{2}</math> Elemente, d. h., <math>g(X)</math> ist doppelwurzelfrei. Nach Induktionsannahme liegt also eine der Nullstellen <math>\beta_{i,j}</math> in der quadratischen Erweiterung <math>K[\sqrt{-1}] \subset W</math>.
Demnach sei für jedes <math>k= 1, \dots, N</math> eine Indexkombination <math>(i_k, j_k)</math> so gewählt, dass <math>\gamma_k = \alpha_{i_k} \alpha_{j_k} + y_k (\alpha_{i_k} + \alpha_{j_k}) </math>.	Ohne Einschränkung sei diese Nullstelle mit <math>\beta := \beta_{1,2}</math> indiziert, so dass <math>K[\beta] \subset K[\sqrt{-1}]</math>, also <math>Z := K[\beta] \in \{ K, K[\sqrt{-1}]\}</math>, je nachdem, ob <math>\beta\in K</math> oder nicht.
Nach Wahl von <math>N</math> und dem Dirichletschen Schubfachschluss müssen bei zweien der <math>\gamma_k</math> die Indexkombinationen <math>(i_k, j_k)</math> übereinstimmen. Ohne Einschränkung sei deshalb <math>\gamma_k = \alpha_1 \alpha_2 + y_k (\alpha_1 + \alpha_2)</math> für <math>k=1,2</math>.	Nach Wahl von <math>x</math> und wegen <math>\beta_{1,2}=\beta_{2,1}</math> lassen nur die Identität und die Transposition <math>\tau\colon \alpha_1 \longleftrightarrow \alpha_2</math> das Element <math>\beta</math> fest, und diese beiden lassen auch <math>p := \alpha_1 + \alpha_2</math> und <math>q := \alpha_1 \alpha_2</math> fest.
Dann liegen mit <math>\gamma_k</math> sowohl <math>p := \alpha_1 + \alpha_2 = \tfrac{\gamma_2 - \gamma_1}{y_2 - y_1}</math> als auch <math>q := \alpha_1 \alpha_2 = \tfrac{y_2 \gamma_1 - y_1 \gamma_2}{y_2 - y_1}</math> in <math> K[\sqrt{-1}]</math>.	Nach dem Hauptsatz der Galoistheorie ist also <math>K[\beta] = K[p, q]</math>.
Das Polynom <math>X^2 - pX + q\in Z[X]</math> hat (nach dem Vietaschen Wurzelsatz) die Nullstellen <math>\alpha_1</math> und <math>\alpha_2</math>. Es ist also ein quadratisches Polynom über einem Zwischenkörper <math>Z \subset K[\sqrt{-1}]</math> gefunden, welches mit <math>f(X)</math> zwei Nullstellen gemein hat.

Zur Vervollständigung des Induktionsbeweises bleibt zu zeigen, dass eine der beiden Nullstellen <math>\alpha_i</math> (und mithin beide) in <math>K[\sqrt{-1}]</math> liegen – und dass der Induktionsanker (bei <math>e=0</math>) wahr ist.

Dies ermöglichen die folgenden Eigenschaften, die für einen reell abgeschlossenen Körper kennzeichnend sind und welche der Körper <math>\R</math> erfüllt. Um die Gültigkeit dieser besonderen Eigenschaften für den Körper <math>K</math> hervorzuheben, notieren wir ihn fortan als <math>\mathbb{K} := K</math>.

• Eigenschaft „Pos“: Der Körper <math>\mathbb{K}</math> besitzt eine Anordnung, ist also ein angeordneter Körper.
  • Folgerung: Quadrate und Quadratsummen sind niemals negativ, insbesondere sind die Eins <math>1_\mathbb{K}</math> und ihre Vielfachen <math>n\cdot 1_\mathbb{K} \; (n\in\N)</math> positiv.
  • Folgerung: <math>\operatorname{Char} \mathbb{K} = 0</math>
  • Folgerung: <math>\mathbb{K}</math> ist vollkommen und unendlich.
  • Folgerung: Die Anordnung eines angeordneten Körpers induziert auf ihm eine Bewertung bzw. einen Betrag und somit die Struktur eines topologischen Körpers. (Diese Folgerung wird zum Beweis nicht benötigt. An die Stelle der Argumentation mit Hilfe des Zwischenwertsatzes tritt nämlich die rein algebraische Eigenschaft „B-W“.)
• Eigenschaft „P=Q“: Positive Elemente aus <math>\mathbb{K}</math> sind Quadrate.
  • Folgerung: Die Wurzeln eines quadratischen Polynoms über <math>\mathbb{K}</math> mit Diskriminante <math>D</math> liegen in <math>\mathbb{K}</math>, falls <math>D\geq 0</math>, andernfalls in <math>\mathbb{K}[\sqrt{-1}]</math>.
  • Folgerung: Jedes Element des Körpers <math>\mathbb{K}[\sqrt{-1}]</math> ist ein Quadrat.
  • Folgerung: Der Körper <math>\mathbb{K}[\sqrt{-1}]</math> besitzt keine quadratische Erweiterung.
  • Folgerung: Jedes quadratische Polynom zerfällt über <math>\mathbb{K}[\sqrt{-1}] \;\stackrel{\sim}{=}\; \mathbb{K}[X]/(X^2+1)</math>.
• Eigenschaft „B-W“: Polynome ungeraden Grades über <math>\mathbb{K}</math> haben (mindestens) eine Nullstelle in <math>\mathbb{K}</math>, spalten also einen Linearfaktor ab.
  • Anmerkung: Im Falle <math>\mathbb{K} = \R</math> folgt dies wegen <math>\textstyle\lim_{x\to\pm\infty} f(x) = \begin{cases} \pm\infty, & \text{bei positivem },\\ \mp\infty, & \text{bei negativem } \end{cases} </math> Leitkoeffizienten von <math>f</math> aus der Aussage des Nullstellensatzes von Bolzano-Weierstraß (Zwischenwertsatz) angewandt auf Polynome <math>f(X)</math> ungeraden Grades. (Dabei wird die Topologie zugrunde gelegt, welche die Anordnung mit sich bringt.)

Behauptung: <math>\mathbb{K}[\sqrt{-1}]</math> ist algebraisch abgeschlossen.

Beweis durch Induktion nach <math>e</math>: Den Induktionsanker bei <math>e=0</math> liefert Eigenschaft „B-W“. Für den Induktionsschritt liefert Eigenschaft „P=Q“, dass sich die Nullstellen <math>\alpha_1, \alpha_2</math> des quadratischen Polynom <math>X^2 - pX + q</math> in <math>\mathbb{K}[\sqrt{-1}]</math> befinden.

Anwendung: Für <math>\mathbb{K} = \R</math> ergibt sich der Fundamentalsatz der Algebra, sofern man die Eigenschaften „Pos“, „P=Q“ und (mit Hilfe des Zwischenwertsatzes) „B-W“ für <math>\R</math> bestätigt hat. Es lässt sich leicht zeigen, dass auch <math>\mathbb{K} := \{ x\in\R \mid x \text{ ist algebraisch über } \Q\} </math> die drei obigen Eigenschaften hat. Damit ist <math>\mathbb{K}[\sqrt{-1}]</math> der algebraische Abschluss von <math>\Q</math>.

Einordnung in die Theorie formal-reeller Körper

Ein Körper heißt formal-reell, wenn in ihm eine nicht-triviale Quadratsumme (d. h. eine Summe von Quadraten, die nicht sämtlich gleich <math>0^2</math> sind) niemals verschwindet. Ein formal-reeller Körper heißt reell abgeschlossen, wenn jede echte algebraische Körpererweiterung nicht formal-reell ist (d. h.: in jeder echten algebraischen Erweiterung gibt es nicht-triviale Quadratsummen, die verschwinden). Für angeordnete Körper <math>K</math> (Eigenschaft „Pos“) lässt sich zeigen: <math>K</math> hat die Eigenschaften „P=Q“ und „B-W“ genau dann, wenn <math>K</math> reell abgeschlossen ist. Ein reell abgeschlossener Körper gestattet nur eine echte algebraische Erweiterung, nämlich die quadratische Erweiterung <math>K[\sqrt{-1}]/K</math>, denn diese liefert – wie oben bewiesen – einen algebraisch abgeschlossenen Körper.

Beweisvariante nach Emil Artin durch Galois-Theorie und Sylow-Sätze

Auch die nun folgende Beweisvariante setzt für den Grundkörper <math>\mathbb{K}</math> die Eigenschaften „Pos“, „P=Q“ und „B-W“ reell abgeschlossener Körper voraus, die im vorigen Abschnitt aufgeführt und im Falle des Körpers <math>\R</math> der reellen Zahlen erfüllt sind. Sie ersetzt die Konstruktion des Zwischenkörpers <math>Z</math> dank der Galois-Theorie durch Existenzsätze aus der Gruppentheorie (Sylow-Sätze). Auf diese Weise tritt die Induktion nicht mehr in Erscheinung, da sie im Beweis der Sylow-Sätze aufgehoben ist. Die Grundideen dieses Beweises gehen, wie Serge Lang<ref>Beweisführung gemäß Serge Lang: Algebra, Chapter VIII Galois Theory, §2 Examples and Applications, Example 5, Seite 310f. Siehe auch {{#invoke:Vorlage:Literatur|f}}</ref> anmerkt, auf Carl Friedrich Gauss zurück (vgl. obigen Beweis nach Gauß 1815). Emil Artin habe ihn – im Wesentlichen unter Verwendung der Sylow-Sätze – variiert.

Es bezeichne <math>\mathbb{L} := \mathbb{K}[\mathrm{i}]</math> die durch Adjunktion von <math>\mathrm{i} := \sqrt{-1}</math> entstehende quadratische Erweiterung von <math>\mathbb{K}</math>.

Behauptung: Der Körper <math>\mathbb{L}</math> gestattet keine endlichen Erweiterungen <math>\mathbb{E}/\mathbb{L}</math> außer der trivialen <math>\mathbb{E} = \mathbb{L}</math>. Für <math>\mathbb{K} = \R</math> ergibt sich der Fundamentalsatz der Algebra.

Zum Beweis: Es sei also eine endliche Erweiterung <math>\mathbb{E}/\mathbb{L}</math> gegeben. Sie lässt sich, da <math>\mathbb{L}</math> vollkommen ist, einbetten <math>\mathbb{E}\subset \mathbb{W}</math> in eine Galois-Erweiterung <math>\mathbb{W}/\mathbb{K}</math> mit Galois-Gruppe <math>G = G(\mathbb{W}/\mathbb{K})</math>. Dabei ist bekanntlich auch <math>\mathbb{W}/\mathbb{L}</math> eine Galois-Erweiterung. Zu zeigen ist <math>\mathbb{W} = \mathbb{L}</math>.

• Der zu einer 2-Sylow-Gruppe <math>H \subset G</math> gehörige Fixkörper <math>Z</math> hat also ungeraden Grad über <math>\mathbb{K}</math>, wird also von einem primitiven Element erzeugt, dessen Minimalpolynom ungeraden Grad hat und wegen Eigenschaft „B-W“ (und nach Wahl von <math>H</math> als 2-Sylow-Gruppe) also linear ist! Daher sind <math>G=H</math> und <math>Z=\mathbb{K}</math>, und die Galois-Gruppe <math>G</math> ist ihre eigene 2-Sylow-Gruppe. – Wenn also <math>[\mathbb{W}:\mathbb{K}] = (G:1) =: 2^e\,u</math> mit ungeradem <math>u\in\N</math>, dann ist somit <math>u=1</math> gezeigt. Die Erweiterung <math>\mathbb{W}/\mathbb{K}</math> hat also den Grad <math>2^e</math>.
• Nun sei <math>G_1 \subset G</math> die zu <math>\mathbb{L}</math> gehörige Untergruppe von <math>G</math>, also die Galois-Gruppe <math>G(\mathbb{W}/\mathbb{L})</math>, so dass <math>(G:G_1) = [\mathbb{L}:\mathbb{K}] = 2</math> und <math>(G_1:1) = \left[\mathbb{W}:\mathbb{L}\right] = 2^{e-1}</math>.
• Ist <math>e\geq 2</math>, d. h. <math>\mathbb{W}\neq \mathbb{L}</math>, so ist <math>G_1\neq 1</math> und enthält eine maximale 2-Gruppe <math>H_1 \subsetneq G_1</math>, also der Ordnung <math>2^{e-2}</math>. (Für den Fall <math>(G_1:1) = 2</math> sei die triviale Möglichkeit <math>H_1 = \{1\}</math> gestattet.) Der zu <math>H_1</math> gehörige Fixkörper <math>Z_1\supset \mathbb{L}</math> hätte also den Grad <math>[Z_1 : \mathbb{L}] = (G_1 : H_1) = 2</math>, wäre somit eine quadratische Erweiterung von <math>\mathbb{L}</math>, was auf den Widerspruch der Eigenschaft „P=Q“ stößt.
• Es folgt insgesamt <math>e=1=u</math>, d. h. <math>\mathbb{W}=\mathbb{L}</math>, was zu beweisen war.

Beweis mit Hilfe des Satzes von Gelfand-Mazur

Der Fundamentalsatz der Algebra folgt aus dem Satz von Gelfand-Mazur (Lemma über das Spektrum), nämlich aus der Tatsache, dass das Spektrum eines Elementes <math>a\in A</math> einer komplexen Banachalgebra <math>A</math> mit Einselement nicht leer ist: Denn ein Polynom <math>f(X) \in \Complex[X]</math> vom Grade <math>\deg f(X) =: n</math> ist charakteristisches Polynom seiner Begleitmatrix <math>a \in A := \operatorname{Mat}(n\times n, \Complex)</math>. Dabei ist <math>A</math> ein (triviales, da endlichdimensionales) Beispiel einer Banachalgebra, und das Spektrum <math>\operatorname{Spec} (a)</math> der Matrix <math>a</math> besteht genau aus ihren Eigenwerten, das heißt aus den komplexen Nullstellen von <math>f(X)</math>. Dass diese Menge nicht leer ist, ist gerade die Aussage des Fundamentalsatzes der Algebra.

Beachtet man, dass eine endliche Körpererweiterung <math>A/\Complex</math> eine komplexe Bachachalgebra ist und somit die Voraussetzungen des Satzes von Gelfand-Mazur erfüllt, so erscheint der Fundamentalsatz der Algebra (gar als ein elementares Beispiel des Satzes von Gelfand-Mazur) in der Form: Der Körper <math>\Complex</math> besitzt keine echten endlichen Körpererweiterungen.

Notabene: Sowohl der Satz von Gelfand-Mazur als auch der Fundamentalsatz der Algebra können mit dem Satz von Liouville bewiesen werden. Zum Beweis des Satzes von Gelfand-Mazur können transfinite Methoden (Lemma von Zorn, Auswahlaxiom) in Gestalt des Satzes von Hahn-Banach genutzt werden. Für den Fundamentalsatz der Algebra freilich ist dies ein „überdimensioniertes“ Argument.

Der folgende bewertungstheoretische Beweis nach Helmut Brückner führt den Fundamentalsatz der Algebra nicht auf den Satz von Gelfand-Mazur zurück, sondern auf den schwächeren Vollständigkeitssatz von Ostrowski, der sich elementar beweisen lässt – wie sich übrigens auch der Satz von Gelfand-Mazur auf den elementar beweisbaren Satz von Gelfand-Tornheim zurückführen lässt.

Bewertungstheoretischer Beweis nach H. Brückner

Helmut Brückner bemerkte 1990, dass sich der Fundamentalsatz der Algebra mittels einer Beweisidee von Wulf-Dieter Geyer<ref name="GeyersHinweis">Den Vorschlag zum Beweis der Fortsetzbarkeit von Primstellen lokalkompakter Körper auf endliche Erweiterungen machte Wulf-Dieter Geyer auf einer Tagung in Brighton, Sussex UK, vom 1. bis zum 17. September 1965, die in den Tagungsband Eingang gefunden hat: John Cassels und Albrecht Fröhlich (Hrsgbr): Algebraic Number Theory. Proceedings of an Instructional Conference organized by the London Mathematical Society (a NATO Advanced Study Institute) with the Support of the International Mathematical Union. Academic Press, New York NY 1967, ISBN 0-12-163251-2. Siehe darin Chapter II Global Fields, section 10 Extension of Valuations, Seite 56. Diese Idee nutzt zum Beweis der Existenz einer Bewertung auf einem lokalkompakten Körper dessen Lokalkompaktheit aus.).</ref> und eines Rechenkniffs von Emil Artin<ref name="Artins Rechenkniff"/> auf den „Vollständigkeitssatz“ von A. Ostrowski<ref name="Ostrowski1916">Der von seinem Autor als „Vollständigkeitssatz“ bezeichnete Satz und sein Beweis befinden sich in der Originalarbeit von {{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Alexander M. Ostrowski|Alexander M. Ostrowski: }}{{#if:|{{#if:Über einige Lösungen der Funktionalgleichung φ(x)·φ(y) = φ(xy)|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Über einige Lösungen der Funktionalgleichung φ(x)·φ(y) = φ(xy)}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://www.archive.org/details/actamathematica40upps#697%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Über einige Lösungen der Funktionalgleichung φ(x)·φ(y) = φ(xy)}}}}|[{{#invoke:URLutil|getNormalized|1=https://www.archive.org/details/actamathematica40upps#697}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Über einige Lösungen der Funktionalgleichung φ(x)·φ(y) = φ(xy)}}}}]}}{{#if:| ({{{format}}}{{#if:Acta Mathematica 41 (1918)1916-04271–284{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://www.archive.org/details/actamathematica40upps#697%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://www.archive.org/details/actamathematica40upps#697}}%7C%7C}}}}{{#if:Über einige Lösungen der Funktionalgleichung φ(x)·φ(y) = φ(xy)|{{#if:{{#invoke:WLink|isValidLinktext|1=Über einige Lösungen der Funktionalgleichung φ(x)·φ(y) = φ(xy)|lines=0}}||}}}}{{#if: Acta Mathematica 41 (1918)| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Acta Mathematica 41 (1918)}}}}{{#if: | {{{hrsg}}}{{#if: 1916-04271–284|,|{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 1916-04| {{#if:{{#invoke:DateTime|format|1916-04|noerror=1}}
            |{{#invoke:DateTime|format|1916-04|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=1916-04|class=Zitationswartung}} }}{{#if: 271–284|,|{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 271–284| S. 271–284{{#if: |,|{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:271–2841916-04|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:16563||}}}}}}{{#if: 2023-01-06|;}}}}{{#if: 2023-01-06| {{#if:271–2841916-04{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-01-06 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-01-06|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-01-06|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:Acta Mathematica 41 (1918)1916-04271–284{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 1916-04271–284{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | {{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  ({{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           |  }} }}
   |  }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | 
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://www.archive.org/details/actamathematica40upps#697
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.archive.org/details/actamathematica40upps#697
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.archive.org/details/actamathematica40upps#697}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.archive.org/details/actamathematica40upps#697 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.archive.org/details/actamathematica40upps#697
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.archive.org/details/actamathematica40upps#697}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.archive.org/details/actamathematica40upps#697 }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://www.archive.org/details/actamathematica40upps#697
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.archive.org/details/actamathematica40upps#697
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.archive.org/details/actamathematica40upps#697}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.archive.org/details/actamathematica40upps#697 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.archive.org/details/actamathematica40upps#697
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.archive.org/details/actamathematica40upps#697}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.archive.org/details/actamathematica40upps#697 }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }} Satz und Beweis präsentierte auch Helmut Hasse in seiner Zahlentheorie, Akademie-Verlag, Berlin, 1949. Kapitel II, § 13 Die Typen archimedisch bewerteter vollständiger Körper, Seite 183. Eine topologisch-uniforme Beweisvariante des Vollständigkeitssatzes von Ostrowski veröffentlichten bereits 1931 {{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Reinhold Baer (Halle) und Helmut Hasse (Marburg)|Reinhold Baer (Halle) und Helmut Hasse (Marburg): }}{{#if:|{{#if:Zusammenhang und Dimension topologischer Körperräume|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Zusammenhang und Dimension topologischer Körperräume}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Zusammenhang und Dimension topologischer Körperräume}}}}|[{{#invoke:URLutil|getNormalized|1=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Zusammenhang und Dimension topologischer Körperräume}}}}]}}{{#if:| ({{{format}}}{{#if:Journal für die reine und angewandte Mathematik (Crelle-Journal), Band 167 (1931)1931-05-0540–45{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}}%7C%7C}}}}{{#if:Zusammenhang und Dimension topologischer Körperräume|{{#if:{{#invoke:WLink|isValidLinktext|1=Zusammenhang und Dimension topologischer Körperräume|lines=0}}||}}}}{{#if: Journal für die reine und angewandte Mathematik (Crelle-Journal), Band 167 (1931)| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Journal für die reine und angewandte Mathematik (Crelle-Journal), Band 167 (1931)}}}}{{#if: | {{{hrsg}}}{{#if: 1931-05-0540–45|,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 1931-05-05| {{#if:{{#invoke:DateTime|format|1931-05-05|noerror=1}}
            |{{#invoke:DateTime|format|1931-05-05|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=1931-05-05|class=Zitationswartung}} }}{{#if: 40–45|,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 40–45| S. 40–45{{#if: |,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:40–451931-05-05|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:16563||}}}}}}{{#if: 2023-01-04|;}}}}{{#if: 2023-01-04| {{#if:40–451931-05-05{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-01-04 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-01-04|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-01-04|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:Journal für die reine und angewandte Mathematik (Crelle-Journal), Band 167 (1931)1931-05-0540–45{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 1931-05-0540–45{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | {{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  ({{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           |  }} }}
   |  }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | 
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
       | {{#if:  | [3] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
      | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
       | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167 }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
       | {{#if:  | [4] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
      | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
       | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167 }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}, siehe dort den „Zusatz 1: Es gibt keinen bewerteten Körper <math>K</math>, der als Wertbereich den Körper <math>R</math> aller reellen Zahlen besitzt, und der den Körper <math>C</math> aller komplexen Zahlen in der üblichen Bewertung zum echten Unterkörper hat.“.</ref> zurückführen lässt.<ref>Der Beweis beschloss das WS1989/90 in einer Vorlesung am 8. Februar 1990 zur Zahlentheorie und erschien in den „Mitteilungen der Mathematischen Gesellschaft in Hamburg“ (Band XII Festschrift zum 300jährigen Bestehen der Gesellschaft. Zweiter Teil) 12 (2), Seiten 487–489 (1991) unter dem Titel „Ein elementarer Beweis der algebraischen Abgeschlossenheit des Körpers <math>\C</math> der komplexen Zahlen“ („eingegangen am 30. 4. 1990“).</ref>

Der erwähnte Vollständigkeitssatz von Ostrowski betrachtet vollständige archimedisch bewertete Körper und lautet: Jeder Körper, der bezüglich eines archimedischen Betrages vollständig ist, ist algebraisch und topologisch isomorph zum Körper der reellen Zahlen oder zum Körper der komplexen Zahlen. Mit anderen Worten: Es gibt keine echte Körpererweiterung der komplexen Zahlen, auf welche der komplexe Absolutbetrag archimedisch fortgesetzt werden könnte.<ref>In der genannten Originalarbeit wird der Vollständigkeitssatz so formuliert: Es gibt keinen archimedisch bewerteten Körper <math>K</math>, der einen Körper <math>\C</math> zum Unterkörper hat, ohne mit ihm identisch zu sein. Ostrowski beschließt seine Arbeit mit den Sätzen: „Nennen wir nach STEINITZ einen Körper algebraisch abgeschlossen, wenn in ihm jede algebraische Gleichung mit einer Unbekannten eine Lösung hat, so folgt insbesondere aus dem Vollständigkeitssatz: Jeder archimedisch bewertete perfekte und algebraisch abgeschlossene Körper lässt sich auf den Körper aller komplexer Zahlen so abbilden, dass dabei sowohl alle algebraischen als auch alle Limesrelationen bestehen bleiben. Damit ist eine merkwürdige Charakterisierung des Körpers aller komplexer Zahlen gewonnen.“ – Von dem „Vollständigkeitssatz“ ist ein anderer Satz von Ostrowski zu unterscheiden, der die möglichen Bewertungen auf <math>\Q</math> betrifft. Die Beweise beider Sätze hat Ostrowski 1918 in Artikel der Acta Mathematica (Band 41 (1918)) veröffentlicht, gemäß der Datumsangabe unter dem Artikel („Marburg an der Lahn, April 1916“) schon zwei Jahre früher gefunden. In der Literatur bezieht sich „Satz von Ostrowski“ häufiger auf den Satz über die rationalen Bewertungen, während der „Vollständigkeitssatz“ wohl seltener als „Satz von Ostrowski“ angesprochen wird. Der Grund dürfte darin zu suchen sein, dass er schon bald in der mächtigen Verallgemeinerung des Satzes von Gelfand-Mazur aufgegangen ist.</ref>

Der Fundamentalsatz der Algebra besagt, dass es keine echte endliche Körpererweiterung von <math>\C</math> gibt, und folgt daher aus dem oben erwähnten Satz von Ostrowski, sobald gezeigt ist, dass man einen archimedischen Betrag eines lokalkompakten Körpers (wie <math>\C</math>) auf eine endliche Erweiterung fortsetzen kann, was W.-D. Geyers<ref name="GeyersHinweis"/> Beweisidee, zusammen mit einem Rechenkniff Emil Artins<ref name="Artins Rechenkniff"/>, besorgt. Dies ist die Argumentation des Beweises von Helmut Brückner.

Fundamentalsatz der Algebra: Der Körper <math>\C</math> der komplexen Zahlen ist keiner echten endlichen Erweiterung fähig. Mit anderen Worten: Eine endliche Körpererweiterung <math>\mathbb{L}/\C</math> ist notwendig trivial (das heißt: <math>\mathbb{L}=\C</math>).

Der Beweis gliedert sich in zwei Abschnitte: Abschnitt (G&A) zeigt die Fortsetzbarkeit des Absolutbetrages gemäß der Idee von Wulf-Dieter Geyer, flankiert von Emil Artins Trick. Damit ist der Satz auf den Vollständigkeitssatz von Ostrowski zurückgeführt, welcher sodann in Abschnitt (O) bewiesen wird, ohne die Endlichkeitsbedingung zu nutzen. Beides zusammen genommen ergibt den Fundamentalsatz der Algebra.

(G&A): Im ersten Beweisschritt betrachte allgemeiner – anstelle von <math>\C</math> – einen (nicht notwendig archimedisch) bewerteten lokalkompakten Körper <math>(\mathbb{K}, |\cdot|)</math>, eine endliche Erweiterung <math>\mathbb{L}/\mathbb{K}</math> vom Grade <math>n := [\mathbb{L}:\mathbb{K}]</math> und zeige, dass durch <math>x \mapsto \Vert x\Vert := |N_{\mathbb{L}/\mathbb{K}} (x)|^{\frac{1}{n}}</math> der Absolutbetrag <math>\vert\cdot\vert</math> auf <math>\mathbb{K}</math> zu einem Absolutbetrag <math>\Vert\cdot\Vert</math> auf <math>\mathbb{L}</math> fortgesetzt wird.<ref name="Anm">Dabei bezeichne <math>N_{\mathbb{L}/\mathbb{K}}\colon \mathbb{L}\to\mathbb{K}</math> die Norm der Körpererweiterung <math>\mathbb{L}/\mathbb{K}</math>.</ref> Die Multiplikativität folgt aus dem Determinantenmultiplikationssatz, insbesondere die Homogenität (<math>\Vert z\,x\Vert = \vert z\vert \cdot \Vert x\Vert</math>) aus <math>N_{\mathbb{L}/\mathbb{K}} (z) = z^n</math> für <math>z\in\mathbb{K}</math>. Da auch positive Definitheit gegeben ist, bleibt die Dreiecksungleichung zu zeigen. Hierbei wird – getreu dem Hinweis von Wulf-Dieter Geyer<ref name="GeyersHinweis"/> – ausgenutzt, dass es sich um lokalkompakte Körper handelt.

• Es sei dazu <math>\Vert\cdot\Vert_0</math> die Maximumsnorm des komplexen Vektorraums <math>\mathbb{L}</math> bezüglich einer Basis.<ref group="Anm">Das heißt: Für eine <math>\mathbb{K}</math>-Basis <math>v_i</math> von <math>\mathbb{L}</math> setze <math>\left\Vert \sum_{i=1}^n x_i\, v_i \right\Vert_0 := \max_i\{\vert x_i\vert\}</math>.</ref> (Normen endlichdimensionaler Vektorräume über vollständigen Körpern sind äquivalent.) Dann ist <math>\Vert\cdot\Vert</math> bezüglich der durch diese Maximumsnorm induzierte Metrik stetig, und <math>Q := \{x\in\mathbb{L}, \Vert x\Vert_0 = 1 \}</math> ist kompakt. Nach dem Extremwertsatz (siehe auch Satz von Weierstrass) existieren also <math>a, b > 0</math> mit der Eigenschaft: <math>a \leq \Vert x\Vert \leq b</math> für jedes <math>x\in Q</math>.
• Hieraus und aus der Homogenität von <math>\Vert\cdot\Vert</math> folgt <math> a \, \Vert x\Vert_0 \leq \Vert x\Vert \leq b \, \Vert x\Vert_0 </math> für jedes <math>x\in \mathbb{L}</math>.
• Insbesondere für <math>\Vert x\Vert \leq 1</math> folgt daraus <math>\Vert 1+x \Vert \leq b \, \Vert 1+x \Vert_0 \leq b \, \left( \Vert1\Vert_0 + \Vert x\Vert_0\right) \leq b \, \left( \Vert1\Vert_0 + a^{-1}\right) =: c \geq 1</math>.
• Es folgt unmittelbar <math>\Vert x_1 + x_2\Vert \leq c \, \operatorname{max} \left( \Vert x_1 \Vert, \Vert x_2 \Vert \right) </math> für beliebige <math>x_1, x_2 \in \mathbb{L}</math>.

Gilt dies sogar für <math>c=1</math>, so liegt eine ultrametrische, d. h. nicht-archimedische Bewertung vor, für die neben der Dreiecksungleichung sogar die stärkere Ultradreiecksungleichung gilt. – Im Falle <math>c>1</math> lässt sich mit Hilfe einer Rechnung nach Emil Artin<ref name="Artins Rechenkniff">Vergleiche John Cassels/Albrecht Fröhlich: Algebraic Number Theory, Chapter II Global Fields, section 1 Valuations, Fußnote auf Seite 43. Siehe auch die (auf die Arbeit von A. Ostrowski aus dem Jahre 1918 Bezug nehmende) Originalarbeit von {{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Emil Artin|Emil Artin: }}{{#if:|{{#if:Über die Bewertungen algebraischer Zahlkörper|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Über die Bewertungen algebraischer Zahlkörper}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Über die Bewertungen algebraischer Zahlkörper}}}}|[{{#invoke:URLutil|getNormalized|1=https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Über die Bewertungen algebraischer Zahlkörper}}}}]}}{{#if:| ({{{format}}}{{#if:Journal für die reine und angewandte Mathematik, Band 167 (1931)1931-08-25157–159{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023}}%7C%7C}}}}{{#if:Über die Bewertungen algebraischer Zahlkörper|{{#if:{{#invoke:WLink|isValidLinktext|1=Über die Bewertungen algebraischer Zahlkörper|lines=0}}||}}}}{{#if: Journal für die reine und angewandte Mathematik, Band 167 (1931)| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Journal für die reine und angewandte Mathematik, Band 167 (1931)}}}}{{#if: | {{{hrsg}}}{{#if: 1931-08-25157–159|,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 1931-08-25| {{#if:{{#invoke:DateTime|format|1931-08-25|noerror=1}}
            |{{#invoke:DateTime|format|1931-08-25|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=1931-08-25|class=Zitationswartung}} }}{{#if: 157–159|,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 157–159| S. 157–159{{#if: |,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:157–1591931-08-25|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:16563||}}}}}}{{#if: 2023-01-04|;}}}}{{#if: 2023-01-04| {{#if:157–1591931-08-25{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-01-04 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-01-04|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-01-04|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:Journal für die reine und angewandte Mathematik, Band 167 (1931)1931-08-25157–159{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 1931-08-25157–159{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | {{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  ({{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           |  }} }}
   |  }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | 
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023
       | {{#if:  | [5] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023
      | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023
       | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023 }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023
       | {{#if:  | [6] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023
      | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023
       | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN243919689_0167&DMDID=DMDLOG_0023 }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }} Siehe auch Chapter 1 Valuations of a Field, Theorem 3 in {{#invoke:Vorlage:Literatur|f}}</ref> die Dreiecksungleichung folgern: Dies betrifft den archimedischen Fall, der Gegenstand des Fundamentalsatzes der Algebra ist.

• Induktiv ergibt sich <math>\left\Vert \sum_{i=1}^{2^r} x_i \right\Vert \leq c^r \, \operatorname{max} \left( \Vert x_i \Vert, i=1, \dots, 2^r \right)\leq c^r \cdot \sum_{i=1}^{2^r} \left\Vert x_i \right\Vert </math> für beliebige <math>x_i\in \mathbb{L}</math>.
• Für <math>m=2^r - 1</math> gilt also: <math>\Vert x+y\Vert^m = \Vert (x+y)^m\Vert = \left\Vert\sum_{i=1}^{m} \tbinom{m}{i} \, x^i \, y^{m-i} \right\Vert \leq c^r \cdot \sum \left\Vert \tbinom{m}{i} \, x^i \, y^{m-i} \right\Vert \leq c^r \cdot \sum \tbinom{m}{i} \, \Vert x\Vert^i \, \Vert y\Vert^{m-i} = c^r \left( \Vert x\Vert + \Vert y\Vert \right)^m </math>,
• und im Grenzübergang <math>m\to\infty</math> folgt die Dreiecksungleichung <math> \Vert x+y \Vert \leq \Vert x\Vert + \Vert y\Vert</math>, wie gewünscht.
• Damit ist gezeigt, dass die Erweiterung <math>\mathbb{L}/\mathbb{K}</math> eine Erweiterung archimedisch bewerteter vollständiger Körper ist.

(O): Im zweiten Beweisschritt betrachte nun speziell <math>\mathbb{K}=\C</math> und stelle zunächst fest, dass die Voraussetzungen des Vollständigkeitssatzes von A. M. Ostrowski für die Erweiterung <math>\mathbb{L}/\C</math> gemäß (G&A) zutreffen. Folglich ist der Fundamentalsatz der Algebra nun auf diesen zurückgeführt – genauer gesagt: auf die (schwierigere) Teilaussage, dass <math>(\C, |\cdot|)</math> keine echte vollständige archimedisch bewertete Körpererweiterung besitzt. Ihr Beweis benötigt die Endlichkeit der Erweiterung <math>\mathbb{L}/\C</math> nicht und soll nun – Ostrowskis Originalarbeit<ref name="Ostrowski1916"/> folgend – bewiesen werden. Ostrowski zeigt <math>\mathbb{L} = \C</math>, indem er die Annahme <math> \mathbb{L}\supsetneq \C</math> zu einem Widerspruch führt.

• Wegen <math>\Vert a\Vert + \vert z\vert \;\;\stackrel{\text{(i)}}{\geq}\;\; \Vert a - z \Vert \;\;\stackrel{\text{(ii)}}{\geq}\;\; \Big\vert\,\vert z\vert - \Vert a\Vert\,\Big\vert </math> gilt zunächst für jedes <math>a\in\mathbb{L}</math>
  • einerseits (i) <math>\Vert a\Vert \geq \inf_{z\in\C} \{\Vert a - z\Vert \} =: d_a</math> und
  • andererseits (ii) <math>\vert z\vert > 2\,\Vert a\Vert \Rightarrow \Vert a - z\Vert > \Vert a\Vert</math>.
• Folglich nimmt die stetige Funktion <math>\Complex \to \R_{\geq0}, \, z\mapsto \Vert a-z \Vert</math> nach dem Maximumprinzip ihr globales Infimum <math>d_a</math> auf dem Kompaktum <math>C := \{z\in\C, |z| \leq 2\Vert a\Vert\}</math> an: <math>d_a = \max_{z\in C} \{\Vert a - z\Vert\}</math>. Nach Definition hängt <math>d_{a}</math> nur von der „affinen Ebene“ <math>a+\C</math> in <math>\mathbb{L}</math> ab.
• Die „Sphäre“ <math>S_a := \{ s\in \C, \Vert a-s\Vert = d_a \}</math> ist also nicht leer, und bei geschickter Auswahl eines <math>a_0 \in a + \C</math> gilt sogar <math>0\in S_{a_0}</math> und <math>d_{a_0} = \Vert a_0\Vert</math>.
  • Denn für <math>s\in\C</math> gilt trivialerweise <math>S_{a-s} = S_a - s</math>. Speziell für <math>s\in S_a</math> und <math>a_0 := a - s</math> ergibt sich <math>0 \in S_{a_0}</math> und insgesamt <math>d_a = \Vert a_0\Vert \leq \Vert a_0 - z\Vert</math> für jedes <math>z\in\C</math>.

Von nun an sei gemäß Annahme ein <math>a\in \mathbb{L}\backslash \C</math> ausgewählt, das heißt, es sei <math>d := d_a >0</math> vorausgesetzt.<ref group="Anm">NB: <math>d_a\neq 0 \Leftrightarrow (a+\C) \cap \Complex = \empty</math>. Zur visuellen Motivation: Wenn man sich den Raum <math>\mathbb{L}</math> als einen euklidischen Anschauungsraum vorstellen dürfte, dann dürfte man sich <math>a</math> als einen Punkt über dem Punkt <math>s\in S_a</math>, insbesondere <math>a_0</math> über dem Nullpunkt <math>s_0 = 0\in S_{a_0}</math> vorstellen, so dass der minimale Abstand von jenem „außerhalb gelegenen, hypothetischen Punkt“ <math>a</math> zur komplexen Ebene durch das Lot auf <math>s\in S_a</math> realisiert wird. Die „Sphären“ <math>S_a</math> wird man sich zunächst als Kreislinien vorstellen wollen, die mutmaßlich auf einen Punkt zusammengezogen sind, doch diese dubiose Verstellung wird krachend widerlegt werden: Aufgrund der Annahme, dass <math>d>0</math> sei, werden die Punkte zu Kreisen aufgebläht werden, und die Kreise werden unbegrenzt große Kreise ziehen, so dass sie die ganze komplexe Ebene erfassen werden, die sich als Kugel (vom Radius <math>d</math>) um den fraglichen Punkt wölben müsste – im Widerspruch dazu, dass sie archimedisch metrisiert ist.</ref> Ziel ist es, hieraus den Widerspruch <math>S_{a} = \C</math> abzuleiten.

• Dazu zeige die Zwischenbehauptung: Für <math>s\in S_{a}</math> und <math>z\in B_0(d) := \{z\in\C, \, \Vert z\Vert < d\}</math> gilt <math>s + z \in S_{a}</math>.<ref group="Anm">Natürlich ist hierbei vor allem <math>z\neq 0</math> von Interesse, was aufgrund der Hypothese <math>d>0</math> möglich ist – und später zum Widerspruch führen wird. Für <math>d=0</math> sind die offene Kugel <math>B_0(d)</math> und die Zwischenbehauptung leer.</ref> Mit anderen Worten: <math>S_{a} + B_0(d) \subset S_{a}</math>.<ref group="Anm">Addiert man also die Kugel <math>B_0(d)</math> zur Sphäre <math>S_{a}</math>, so bleibt <math>S_{a}</math> unverändert! Man ahnt bereits, in welch arge räumliche Bedrängnis diese Behauptung den archimedischen Raum <math>\C</math> bringt. Sie betrifft jene dubiose „Sphäre“ <math>S_{a}\subset\C</math> um das hypothetische Element <math>a\in \mathbb{L}\backslash\C</math> und zwingt die komplexe Ebene zunehmend, sich zu verbiegen …</ref>
  • Zu ihrem Beweis werden die <math>k</math>-ten primitiven Einheitswurzeln <math>\zeta_k\in\C</math> (bspw. <math>\zeta_k = \mathrm{e}^{\frac{2\pi \mathrm{i}}{k}}</math>) herangezogen: Für <math>z\in B_0(d)</math> gilt

<math> d\cdot d^{k-1} \leq \underbrace{\Vert a - z\Vert}_{\geq d} \cdot \prod_{i=1}^{k-1} \underbrace{\Vert a - \zeta_k^i z\Vert}_{\geq d} \;\; \stackrel{!}{=} \;\; \Vert a^k - z^k \Vert \leq \Vert a\Vert^k + \Vert z\Vert^k = \Vert a\Vert^k\cdot \left( 1 + \left( \tfrac{\Vert z\Vert}{\Vert a\Vert} \right)^k \right) \;\; \stackrel{\text{oE}}{=} \;\; d^k\cdot \left( 1 + \left( \tfrac{\Vert z\Vert}{d} \right)^k\right)</math>.<ref group="Anm">Beim Gleichheitszeichen „<math>\stackrel{!}{=}</math>“ wird die Multiplikativität des Betrages ausgenutzt: Die Submultiplikativität der Norm einer komplexen Banachalgebra mit Eins ließe diese Abschätzung misslingen. Wie Ostrowskis Beweis für submultiplikative Normen abzuwandeln ist, zeigt Tornheim im Beweis des Satzes von Gelfand-Tornheim. Ferner nutzt die zugrunde liegende Identität <math>(a^k - \zeta_k^k \, z^k) = (a - z) \cdot \sum_{i=0}^{k-1} a^i\, (\zeta_k\,z)^{k-1-i}</math> aus, dass <math>a</math> mit <math>z</math> und jeder Einheitswurzel (also mit ganz <math>\C</math>) vertauschbar ist, d. h., dass <math>\C</math> im Zentrum von <math>\mathbb{L}</math> liegt, was durch die Kommutativität der Erweiterung <math>\mathbb{L}</math> gewährleistet ist, die schon bei der binomischen Formel in Artins Rechenkniff genutzt wurde.</ref>

Das Gleichheitszeichen „<math>\stackrel{\text{oE}}{=}</math>“ gilt nur nach Übergang vom allgemeinen <math>a</math> zu jenem <math>a_0 = a - s</math> mit <math>d = \Vert a_0\Vert</math>, der ohne Verlust des Allgemeinheit möglich ist, wie zuvor begründet.<ref group="Anm">Fortsetzung der Visualisierung: Der ausgewählte hypothetische Punkt soll also über dem Nullpunkt und damit zentral über den von den Einheitswurzeln aufgespannten <math>k</math>-Polygonen liegen, um diese optimale Abschätzung und damit den Widerspruch herbeizuführen.</ref>

Sodann ist gemäß Hypothese (<math>d\neq 0</math>) die Division durch <math>d^{k-1}</math> möglich. Beachtet man dabei die Auswahl von <math>z\in B_0(d)</math>, so erhält man insgesamt die Abschätzung mit Konvergenz <math>d \leq \Vert a_0 - z\Vert \leq d\left(1 + \left( \tfrac{\Vert z\Vert}{d} \right)^k \right) \;\;\stackrel{k\to\infty}{\longrightarrow}\;\;\ d</math>.<ref group="Anm">NB: Hier wird also ausgenutzt, dass Einheitswurzeln beliebig hohen Grades in <math>\mathbb{K} = \C</math> liegen. In <math>\R</math> liegen lediglich die zweiten Einheitswurzeln <math>\{\pm1\}</math>.</ref>

Der Grenzübergang erzwingt die Gleichheit <math>d = \Vert a_0 - z\Vert = \Vert a - (s+z) \Vert</math>, also <math>s+z\in S_{a}</math> (bzw. <math>z\in S_{a_0}</math>), wie behauptet.

• Aus dieser Behauptung folgt induktiv<ref group="Anm">Alternativ zur expliziten Induktion gibt es eine topologische Argumentation: Die Zwischenbehauptung zeigt, dass <math>S_a \subset \C</math> offen liegt. Offenkundig ist <math>S_a</math> aber auch abgeschlossen (und zudem beschränkt, also kompakt). Daraus folgt notwendig, dass <math>S_a = \C</math> kompakt ist, was auf Widerspruch stößt.</ref> <math>\Vert a_0 - mz\Vert = \Vert a - s - mz\Vert = d</math> für beliebiges <math>m\in\N</math> und <math>z\in B_0(d)</math>, das heißt <math>S_a + m\cdot B_0(d) \subset S_a</math> und mithin <math>\Complex = S_a</math>.<ref group="Anm">In Fortführung der Visualisierung: Die Kreise <math>m\cdot B_0(d)</math> überdecken die ganze komplexe Ebene: <math>\bigcup_{m\in\N} m\cdot B_0(d) = \C</math>, so dass also <math>\Complex \subset S</math>. Die komplexe Ebene wäre also als Kugel vom Radius <math>d</math> um den Mittelpunkt <math>a_0</math> vorzustellen, so dass zwei komplexe Zahlen <math>z_1, z_2</math> (nach Dreiecksungleichung) höchstens den Abstand <math>2d</math> hätten – im Widerspruch dazu, dass die komplexe Ebene archimedisch bewertet ist. Ganz zu schweigen davon, wie die räumliche Metrik der archimedischen Bewertung auf ganz <math>\mathbb{L}</math> vorzustellen wäre …</ref>
• Dies steht jedoch im Widerspruch zur Tatsache, dass <math>\Vert\cdot\Vert</math> ein archimedischer Betrag ist, für den gilt: <math>\Vert a_0 - mz\Vert \geq \Big\vert \Vert a_0\Vert - m\Vert z\Vert \Big\vert \;\; \stackrel{m\to\infty}{\longrightarrow} \;\; \infty</math>, sobald nur <math>z\neq 0</math>.

Somit ist die Annahme <math>d>0</math> widerlegt und der Beweis des Fundamentalsatzes der Algebra erbracht.

Anmerkung: Es kann leicht gezeigt werden, dass die in (G&A) angegebene Fortsetzung des Absolutbetrages die einzig mögliche ist.

Vollständigkeitssatz von Ostrowski und reell abgeschlossene Körper

Der Vollständigkeitssatz von Ostrowski besagt, dass ein vollständiger archimedisch bewerteter Körper <math>\mathbb{L}</math> entweder mit <math>\R</math> oder mit <math>\Complex</math> topologisch und algebraisch identifiziert werden kann. Um also den Beweis dieses Satzes zu vollenden, muss zunächst angemerkt werden, dass notwendig <math>\R\subset\mathbb{L}</math>, da <math>\R</math> der topologische Abschluss (Vervollständigung) des Primkörpers <math>\Q</math> eines archimedisch bewerteten Körpers ist. Also wähle man als Grundkörper <math>\mathbb{K}=\R</math> und mache sich klar, dass für die Erweiterung <math>\mathbb{L}</math> nur entweder (trivialerweise) <math>\R</math> oder (nach dem obigen Beweis) <math>\Complex</math> in Frage kommen, denn:

• Ist <math>X^2+1</math> über <math>\mathbb{L}</math> reduzibel, so liefert der bereits bewiesene Teil „(O)“ des Vollständigkeitssatzes <math>\Complex=\mathbb{L}</math>.
• Ist jedoch <math>X^2+1</math> über <math>\mathbb{L}</math> irreduzibel, so betrachte die quadratische Erweiterung <math>\mathbb{L}[\sqrt{-1}]/\mathbb{L}</math>:
  • Auf sie lässt sich die Bewertung <math>\Vert\cdot\Vert</math> von <math>\mathbb{L}</math> fortsetzen. Zur Begründung sei auf den Beweisteil „(G&A)“ verwiesen oder aber auf einen elementaren Hilfssatz für quadratische Erweiterungen vollständiger Körper, der sich in Ostrowskis Arbeit von 1918<ref name="Ostrowski1916"/> befindet.
  • Also liefert der bereits bewiesene Teil „(O)“ des Vollständigkeitssatzes <math>\Complex=\mathbb{L}[\sqrt{-1}]</math>.
  • Die Erweiterung <math>\Complex = \mathbb{L}[\sqrt{-1}] \supset \R</math> bietet aus Gradgründen keinen Platz für einen echten Zwischenkörper <math>\mathbb{L}</math>, so dass in diesem Falle <math>\mathbb{L} = \R</math> folgt.
• Damit ist insgesamt also <math>\mathbb{L} \in \{\Complex, \R\}</math> und der Vollständigkeitssatz von Ostrowski über vollständige archimedisch bewertete Körper bewiesen.

Welcher der beiden Fälle <math>\mathbb{L}=\R</math> oder <math>\mathbb{L}=\Complex</math> vorliegt, entscheidet sich somit an der Frage, ob eine (und damit jede) der folgenden, für den hier betrachteten (vollständigen archimedisch bewerteten) Körper <math>\mathbb{L}</math> äquivalenten Bedingungen<ref group="Anm">Im Allgemeinen sind diese Bedingungen für einen Körper nicht sämtlich äquivalent.</ref> erfüllt ist oder nicht:

• Der Körper <math>\mathbb{L}</math> enthält nicht jede Einheitswurzel.<ref group="Anm">In <math>\R</math> sind trivialerweise nur die zweiten Einheitswurzeln <math>\{\pm1\}</math> enthalten. Da für <math>\Complex</math> als reellen Vektorraum die Identität <math>\Complex = \R + z\,\R</math> gilt, sobald nur <math>z\in\Complex\backslash\R</math>, kann <math>\mathbb{L}</math> also entweder alle Einheitswurzeln oder nur die trivialen zweiten enthalten.</ref>
• Das Element <math>-1</math> ist in <math>\mathbb{L}</math> kein Quadrat.
• Das Element <math>-1</math> ist in <math>\mathbb{L}</math> keine Quadratsumme.
• In <math>\mathbb{L}</math> verschwindet eine Quadratsumme nur dann, wenn jeder Summand verschwindet.
• Das Polynom <math>X^2 + 1</math> ist über <math>\mathbb{L}</math> irreduzibel.
• Es gibt ein nicht-lineares, über <math>\mathbb{L}</math> irreduzibles Polynom.<ref group="Anm">Solch ein Polynom ist wegen des Vollständigkeitssatzes quadratisch.</ref>
• Der Körper <math>\mathbb{L}</math> ist formal reell.
• Der Körper <math>\mathbb{L}</math> ist reell abgeschlossen.
• Der Körper <math>\mathbb{L}</math> verfügt über eine Anordnung.
• Der Betrag <math>\Vert\cdot\Vert</math> auf <math>\mathbb{L}</math> wird von einer Anordnung auf <math>\mathbb{L}</math> induziert.
• Die „Einheits-Sphäre“ <math>\mathbb{S_L} := \{ y\in \mathbb{L}; \Vert y\Vert = 1\}</math> enthält nur zwei Elemente.<ref group="Anm">Es gilt dann notwendig <math>\mathbb{S_L} = \{\pm 1 \}</math>. – Beachte <math>\mathbb{S_L} = \ker \left( \mathbb{L}^\times \stackrel{\Vert\cdot\Vert}{\longrightarrow} \R_{>0} \right) </math>. Die Fallunterscheidung wird also am Aussehen der Einheitssphäre <math>\mathbb{S_L}</math> in der exakten Sequenz <math> 1 \rightarrow \mathbb{S_L} \hookrightarrow \mathbb{L}^\times \stackrel{\Vert\cdot\Vert}{\longrightarrow} \R_{>0} \rightarrow 1</math> erkennbar, die im Übrigen zerfällt und die Struktur von <math> \mathbb{L}^\times \simeq \mathbb{S_L} \times \R_{>0}</math> liefert.</ref>
• Bezogen auf die (sogar eindeutig) existierende Anordnung auf <math>\mathbb{L}</math> gelten die beiden Eigenschaften:
  • Eigenschaft „P=Q“: Positive Elemente sind Quadrate in <math>\mathbb{L}</math>.
  • Eigenschaft „B-W“: Polynome ungeraden Grades über <math>\mathbb{L}</math> haben eine Nullstelle in <math>\mathbb{L}</math>, spalten also einen Linearfaktor ab.
• Es gibt eine Einbettung <math>\mathbb{L} \hookrightarrow \R</math> topologischer (angeordneter) Körper.<ref group="Anm">Diese Einbettung ist sogar notwendig ein Isomorphismus und eindeutig bestimmt.</ref>

Hieran wird deutlich, wie eng der bewertungstheoretische Beweis nach H. Brückner und der Vollständigkeitssatz von Ostrowski mit der Theorie formal reeller Körper und der obigen Beweisvariante für reell abgeschlossene Körper durch Galois-Theorie zusammenhängen – und letztlich auch mit dem Beweis von Gauß von 1815, der auf Vorarbeiten von Euler, Laplace und Lagrange beruht und genau diese Argumente heranzieht.

Zusammenhang mit dem Satz von Gelfand-Mazur

Der erwähnte Vollständigkeitssatz von Ostrowski steht in engem Zusammenhang mit dem Satz von Gelfand-Mazur über die Tatsachen,

• dass das Spektrum einer komplexen Banach-Algebra mit Einselement nicht leer ist und
• dass eine komplexe Banach-Algebra, die ein Schiefkörper ist, mit dem Körper <math>\C</math> identifiziert werden kann.

Beide Sätze, sowohl der Satz von Gelfand-Mazur als auch der Fundamentalsatz der Algebra, lassen sich mit dem Satz von Liouville beweisen. Der Fundamentalsatz der Algebra ist eine elementare Anwendung des Satzes von Gelfand-Mazur, der Banachalgebren beliebiger Dimension betrachtet und daher zu seinem Beweis transfinite Methoden (Satz von Hahn-Banach) benötigt.

Der Satz von Gelfand-Mazur verallgemeinert den erwähnten Vollständigkeitssatz von Ostrowski auf komplexe Banachalgebren und liefert somit eine Verallgemeinerung in zweierlei Hinsicht: Banachalgebren müssen nicht kommutativ sein, und ihre Normen unterliegen schwächeren Anforderungen als Absolutbeträge von Körpern.<ref group="Anm">Normen müssen lediglich submultiplikativ, nicht notwendig multiplikativ (wie Absolutbeträge) sein.</ref>

Beweis mit Methoden der Funktionentheorie

Indirekter Beweis mit dem Satz von Liouville

Wegen <math>\textstyle\lim_{s\to\infty}\inf_{|z|=s}\left| f(z)\right| =\infty</math> existiert ein <math>R>0</math>, so dass <math>\left| f(0) \right| \leq \left| f(z) \right|</math> für alle <math>z\in\Complex</math> mit <math>|z|>R</math> gilt. Weil sowohl <math>f</math> und damit auch der Betrag <math>|f|</math> stetig sind, als auch die Kreisscheibe <math>\overline{U_R(0)}</math> kompakt ist, existiert nach dem Satz von Weierstrass eine Stelle <math>z_0\in\overline{U_R(0)}</math> mit minimalem Betrag des Funktionswertes, <math>C:=\left| f(z_0) \right| \leq \left| f(z) \right|</math> für alle <math>z\in\overline{U_R(0)}</math>. Nach Konstruktion ist <math>C=\left| f(z_0) \right|</math> sogar ein globales Minimum. Wäre <math>C</math> positiv, so wäre die reziproke Funktion <math>z\mapsto\tfrac{1}{f(z)}</math> holomorph auf <math>\Complex</math> und durch <math>\tfrac{1}{C}</math> beschränkt, also nach dem Satz von Liouville konstant. Somit wäre auch <math>f(z)</math> konstant, was der Voraussetzung widerspricht. Da <math>C \geq 0</math> folgt <math>C= \left| f(z_0)\right| = 0</math>, also existiert eine Nullstelle (in <math>z_0</math>).

Direkter Beweis mittels des Cauchyschen Integralsatzes

Der Fundamentalsatz der Algebra ist mit Hilfe elementarer Abschätzungen sogar direkt aus dem Cauchyschen Integralsatz ableitbar, und zwar wie folgt:<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Das Polynom <math>f</math> lässt sich in der Form <math> f(z) = z \cdot g(z) + a_0 </math> darstellen, wobei <math>g</math> ein weiteres Polynom ist.

Angenommen, <math> f(z) </math> hätte keine Nullstelle, so ließe sich für <math> z \in \Complex \setminus \{ 0 \} </math> stets schreiben

<math> \frac{1}{z} = \frac{f(z)}{ z \cdot f(z) } = \frac{g(z)}{f(z)} + \frac{a_0}{ z \cdot f(z) }</math>.

Nun bildet man für jedes <math>R \in \N </math> das Wegintegral der auf <math>\Complex \setminus \{ 0 \}</math> gebildeten Kehrwertfunktion <math> z \mapsto \tfrac{1}{z}</math> über den Kreislinienweg <math> {\gamma_R} (t)= R \cdot \exp (i \cdot t ) (t \in [0, 2 \pi ] ) </math> und erhält:

<math> 2 \pi i = \int\limits_{\gamma_R}\frac{1}{z} \,\mathrm dz = \int\limits_{\gamma_R} \frac{g(z)}{f(z)} \,\mathrm dz + a_0 \cdot \int\limits_{\gamma_R} \frac{1}{ z \cdot f(z) } \,\mathrm dz </math>.

Aufgrund der angenommenen Nullstellenfreiheit von <math> f(z) </math> ist

<math> z \mapsto\frac{g(z)}{f(z)} </math>

holomorph, womit sich infolge des Cauchyschen Integralsatzes weiter ergibt:

<math> 2 \pi i = 0 + a_0 \cdot \int\limits_{\gamma_R} \tfrac{1}{ z \cdot f(z) } \,\mathrm dz </math>

und daraus:

<math> 2 \pi \leq |a_0| \cdot \operatorname{L}({\gamma_R}) \cdot \max_{|z| = R } \frac{1}{ |z \cdot f(z)| } = |a_0| \cdot 2 \pi R \cdot \max_{|z| = R } \frac{1}{ |z | \cdot |f(z)| } = |a_0| \cdot 2 \pi \cdot \max_{|z| = R } \frac{1}{ |f(z)| } </math>  .

Dies gilt für jedes beliebige <math>R \in \R ^ {> 0}</math>.

Nun ist jedoch <math>\textstyle\lim_{|z| \to \infty}\ | f(z)| = \infty </math> und damit folgt aus der letzten Ungleichung unmittelbar:

<math> 2 \pi \leq 0 </math>,

was sicher falsch ist.

Damit ist die angenommene Nullstellenfreiheit von <math> f(z) </math> zum Widerspruch geführt und <math> f(z) </math> muss eine Nullstelle haben.

Beweisvariante mittels des Cauchyschen Integralsatzes

Eine Beweisvariante unter Verwendung des Cauchyschen Integralsatzes findet sich bei Bartel Leendert van der Waerden<ref>Siehe Kapitel XI (Relle Körper), § 81 (Der Körper der komplexen Zahlen). In diesem Paragraphen führt der Autor in die Theorie der reellen Körper nach Artin-Schreier ein und bringt den im Abschnitt „Beweisvariante durch Zwischenwertsatz und Galois-Theorie“ gezeigten algebraischen Beweis des Fundamentalsatzes. Zuvor allerdings zeigt er den bekannten funktionentheoretischen Beweis mit Hilfe des Satzes von Liouville als den wohl „einfachsten Beweis“ und lässt in einer kleingedruckten Textpassage den hier gebrachten Beweis folgen, eingeleitet mit den Worten: „Will man nur die ersten Elemente der Funktionentheorie voraussetzen, so kann man statt der Funktion <math>\phi(x)</math> […]“. Der Beweis greift den Beweisansatz zur Cauchyschen Integralformel auf, ergänzt um eine betragsmäßige Abschätzung für Polynomfunktionen. In späteren Auflagen (nach der 6. Auflage, spätestens mit der 8. Auflage) wurde diese kleingedruckte Passage jedoch zugunsten neuer Inhalte eliminiert. Eine Fußnote mit einem Verweis auf weitere Beweise blieb jedoch erhalten: „Einen anderen einfachen Beweis findet man z. B. bei C. Jordan: ‚Cours d'Analyse I‘, 3me éd., S. 202. Einen intuitionistischen Beweis gab Hermann Weyl: Math. Z. Bd. 20 (1914), S. 142.“ Der Jahrgang ist auf 1924 zu korrigieren: Gemeint ist offenbar Hermann Weyls Beitrag „Randbemerkungen zu Hauptproblemen der Mathematik“ aus der Mathematischen Zeitschrift, Bd. 20, (1924), Seite 142, siehe PDF bei gdz.sub.uni-goettingen.de, abgerufen am 29. Mai 2021. Marie Ennemond Camille Jordans Cours d'Analyse I ist hier zu finden: PDF bei gallica.bnf.fr, abgerufen am 29. Mai 2021. Siehe auch Katalogeinträge [1 catalogue.bnf.fr] oder [2 catalogue.bnf.fr] u. a. Ausgaben dortselbst. – Am Ende des XI. Kapitels notiert van der Waerden weitere Literaturhinweise, siehe Literatur.</ref>:

Unter der Annahme, dass <math>f(z)\neq 0 \; \forall z\in\Complex</math> für die Polynomfunktion <math>f</math> gelte, setze <math>\phi(z) := \tfrac{1}{f(z)}</math> und betrachte <math>\psi\colon \Complex \to \Complex</math> definiert durch <math> \psi(z) := \tfrac{\phi(z) - \phi(0)}{z}</math> für <math>z\neq 0</math> und stetig fortgesetzt bei <math>z=0</math> dank <math>\lim_{z\to 0}\psi(z) = \tfrac{\mathrm{d}\phi}{\mathrm{d}z}(0)</math>. Mit <math>f</math> sind – gemäß Annahme – auch <math>\phi</math> und <math>\psi</math> auf der gesamten Ebene <math>\Complex</math> holomorph, das heißt ganze Funktionen. Also verschwindet nach dem Cauchyschen Integralsatz das Weg-Integral über eine Kreislinie <math>\Kappa =\Kappa(R)</math> mit Radius <math>R</math> um den Nullpunkt, und mittels Kreislinienparametrisierung<ref group="Anm">Nämlich <math>[0,2\pi] \to \Kappa, \, \theta \mapsto z := Re^{i\theta}</math> mit <math>\mathrm{d}z = zi\,\mathrm{d}\theta</math></ref> kommt:

<math>

 0 = \oint_\Kappa \psi(z) \;\mathrm{d}z = \int_0^{2\pi}  \phi(Re^{i\theta}) \,i\; \mathrm{d}\theta  - \underbrace{\int_0^{2\pi} \phi(0) \,i\; \mathrm{d}\theta}_{= 2\pi i \,\phi(0)}

</math> Nun gibt es zu jedem beliebig gegebenem <math>\epsilon > 0</math> einen genügend großen Radius <math>R</math>, so dass für den Integranden <math> | \phi(Re^{i\theta}) | < \epsilon</math> auf <math>\Kappa</math> gilt, und für das Integral folglich <math> \left| 2\pi i \,\phi(0) \right| = \left| \int_0^{2\pi} \phi(Re^{i\theta})\,i\;\mathrm{d}\theta \right| < 2\pi \epsilon</math>. Hieraus folgt <math>\phi(0) = 0 </math>, was auf den Widerspruch <math>1 \stackrel{\text{Def }\phi}{=} f(0) \, \phi(0) = 0 </math> stößt.

Beweis mit Methoden der komplexen Geometrie

Wir fassen <math>f</math> als Abbildung des komplexen projektiven Raums <math>\mathbb P^1_{\Complex} \to \mathbb P^1_{\Complex}</math> auf, d. h. <math>\Complex \ni z \mapsto f(z) \in \Complex</math>, <math>\infty \mapsto \infty</math>. Die so definierte nicht-konstante Abbildung komplexer Mannigfaltigkeiten ist holomorph und damit offen (d. h., das Bild jeder offenen Teilmenge ist offen) nach dem Offenheitsprinzip. Da <math>\mathbb P^1_{\Complex}</math> kompakt und <math>f</math> stetig ist, ist das Bild <math>f(\mathbb P^1_{\Complex})</math> auch kompakt, insbesondere abgeschlossen in <math>\mathbb P^1_{\Complex}</math>. Damit ist das Bild bereits ganz <math>\mathbb P^1_{\Complex}</math>, denn <math>\mathbb P^1_{\Complex}</math> ist zusammenhängend. Insbesondere gibt es ein <math>z \in \Complex</math>, welches auf <math>0</math> abgebildet wird, d. h. eine Nullstelle von <math>f</math>.

Beweis mit Methoden der Differentialtopologie

Ähnlich wie im obigen Beweis aus der komplexen Geometrie fassen wir <math>f</math> als Selbstabbildung der Sphäre <math>\mathbb S^2</math> auf. So ist <math>f\colon\mathbb S^2\to\mathbb S^2</math> (reell) differenzierbar und die Menge der kritischen Punkte ist als Nullstellenmenge der Ableitung endlich, womit die Menge der regulären Werte zusammenhängend ist. Die Kardinalität <math>|f^{-1}(y)|</math> des Urbilds eines regulären Wertes <math>y\in\mathbb S^2</math> ist außerdem lokal konstant als Funktion in <math>y</math> (<math>f</math> ist injektiv auf Umgebungen von Punkten in <math>f^{-1}(y)</math>). Dies zeigt, dass <math>f</math> surjektiv ist, denn reguläre Werte werden somit stets angenommen und kritische Werte werden nach Definition angenommen.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Beweis mittels des Satzes von Rouché für holomorphe Funktionen

Die Funktion <math>F(z)=a_n z^n + a_{n-1} z^{n-1} + \dotsb + a_1 z + a_0 </math> wird dargestellt als <math>F(z)=f(z)+\phi(z)</math>. Wobei <math>f(z)=a_nz^n</math> und <math>\phi(z)=a_{n-1} z^{n-1} + \dotsb + a_1 z + a_0 </math>. Dann betrachten wir die Relation <math>\frac{\phi(z)}{f(z)}=\frac{a_{n-1}}{a_n} z^{-1} + \dotsb + \frac{a_{1}}{a_n} z^{-(n-1)} + \frac{a_{0}}{a_n} z^{-n} </math>. Es ist offensichtlich, dass ein <math>M>0</math> existiert, sodass für alle <math>|z|=R>M</math> gilt:

<math>

0< \left|\frac{\phi(z)}{f(z)}\right|_{|z|=R}<1 </math> Daher folgt aus dem Satz von Rouché, dass die Anzahl der Nullstellen der Funktion <math>F(z)</math> in dem Kreis <math>|z|=R</math> gleich der Anzahl der Nullstellen der Funktion <math>f(z)=a_nz^n</math> ist. Aber die Funktion <math>f(z)=a_nz^n</math> besitzt nur eine <math>n</math>-fache Nullstelle in <math>z=0</math>. Da <math>R>M</math> beliebig gewählt wurde, folgt die Behauptung des Fundamentalsatzes.

Verallgemeinerung des Fundamentalsatzes

Der Fundamentalsatz der Algebra lässt sich mit Hilfe topologischer Methoden unter Anwendung der Homotopietheorie und des Abbildungsgrades weiter verallgemeinern:<ref>Siehe Kap. 5, § 3 (Ein homotopietheoretischer Beweis des Gaußschen Fundamentalsatzes der Algebra) in: {{#invoke:Vorlage:Literatur|f}}</ref>

Jede stetige Funktion   <math>f \colon \Complex \to\Complex </math>, für die eine natürliche Zahl   <math> n > 0 </math>   und weiter eine komplexe Zahl   <math>c \neq 0 </math>   existieren derart, dass   <math>\textstyle\lim_{z \to \infty}\ \tfrac{f(z)}{ z ^n} = c </math>   erfüllt ist, hat eine Nullstelle.

Hieraus folgt der Fundamentalsatz, indem man zu einer komplexen Polynomfunktion   <math> z \mapsto f(z)=a_n z^n + a_{n-1} z^{n-1} + \dotsb + a_1 z + a_0 </math>     <math> (z \in \Complex) </math>   vom Grad   <math> n > 0 </math>   den Leitkoeffizienten als Konstante, also <math> c = a_n </math>   nimmt.

Literatur

Originalliteratur und Literatur vor 1932

• Carl Friedrich Gauß: Methodvs nova integralivm valores per approximationem inveniendi. Dieterich, Göttingen 1815, (Another new proof of the theorem that every integral rational algebraic function of one variable can be resolved into real factors of the first or second degree. (PDF; 190 kB) (engl. Übersetzung des Originals)). Korrigierter Link: PDF bei gallica.bnf.fr, abgerufen am 31. Mai 2021. Siehe auch Literatur im Artikel zur Gauß-Quadratur.
• Karl Weierstraß: Neuer Beweis des Satzes, dass jede ganze rationale Function einer Veränderlichen dargestellt werden kann als ein Product aus linearen Functionen derselben Veränderlichen. In: Sitzungsberichte der königlich preussischen Akademie der Wissenschaften zu Berlin. 1891 (Juni bis December), S. 1085–1101, bbaw.de. Korrigierte, aktuelle Links: digilab.bbaw.de, de.wikisource.de, www.biodiversitylibrary.org, zdb-katalog.de/title.xhtml, sämtlich abgerufen am 31. Mai 2021.
• Heinrich Weber: Lehrbuch der Algebra I. Friedrich Vieweg und Sohn, Braunschweig, 1895, PDF bei resolver.sub.uni-goettingen.de, abgerufen am 30. Mai 2021. Beweise des Fundamentalsatzes in § 38 (rein analytischer Beweis, vgl. den Abschnitt „Rein analytischer Beweis“) und in § 98 Gauss’ erster Beweis (mit Hilfe des Sturmschen Lehrsatzes).
• Marie Ennemond Camille Jordan: Cours d'Analyse, Tome I (Calcul Différentiel). 3me édition, Gauthier-Villars, 1909. Reproduktion: 1991 Éditions Jacques Gabay, ISBN 2-87647-018-7. Siehe PDF bei gallica.bnf.fr, abgerufen am 29. Mai 2021.
• Hermann Weyl: Randbemerkungen zu Hauptproblemen der Mathematik. In: Mathematischen Zeitschrift, Bd. 20, (1924), ab Seite 131. Siehe PDF bei gdz.sub.uni-goettingen.de, abgerufen am 29. Mai 2021. Darin ab Seite 142 ein intuitionistischer Beweis des Fundamentalsatzes (Abschnitt II Fundamentalsatz der Algebra und Grundlagen der Mathematik).
• {{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Alexander M. Ostrowski|Alexander M. Ostrowski: }}{{#if:|{{#if:Über einige Lösungen der Funktionalgleichung <math>\varphi(x).\varphi(y)=\varphi(xy)</math>|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Über einige Lösungen der Funktionalgleichung <math>\varphi(x).\varphi(y)=\varphi(xy)</math>}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://www.archive.org/details/actamathematica40upps#697%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Über einige Lösungen der Funktionalgleichung <math>\varphi(x).\varphi(y)=\varphi(xy)</math>}}}}|[{{#invoke:URLutil|getNormalized|1=https://www.archive.org/details/actamathematica40upps#697}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Über einige Lösungen der Funktionalgleichung <math>\varphi(x).\varphi(y)=\varphi(xy)</math>}}}}]}}{{#if:| ({{{format}}}{{#if:Acta Mathematica 41 (1918)1916-04271–284{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://www.archive.org/details/actamathematica40upps#697%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://www.archive.org/details/actamathematica40upps#697}}%7C%7C}}}}{{#if:Über einige Lösungen der Funktionalgleichung <math>\varphi(x).\varphi(y)=\varphi(xy)</math>|{{#if:{{#invoke:WLink|isValidLinktext|1=Über einige Lösungen der Funktionalgleichung <math>\varphi(x).\varphi(y)=\varphi(xy)</math>|lines=0}}||}}}}{{#if: Acta Mathematica 41 (1918)| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Acta Mathematica 41 (1918)}}}}{{#if: | {{{hrsg}}}{{#if: 1916-04271–284|,|{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 1916-04| {{#if:{{#invoke:DateTime|format|1916-04|noerror=1}}
            |{{#invoke:DateTime|format|1916-04|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=1916-04|class=Zitationswartung}} }}{{#if: 271–284|,|{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 271–284| S. 271–284{{#if: |,|{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:271–2841916-04|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:16563||}}}}}}{{#if: 2023-01-06|;}}}}{{#if: 2023-01-06| {{#if:271–2841916-04{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-01-06 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-01-06|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-01-06|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:Acta Mathematica 41 (1918)1916-04271–284{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 1916-04271–284{{#if: 2023-01-06 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | {{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  ({{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           |  }} }}
   |  }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | 
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://www.archive.org/details/actamathematica40upps#697
       | {{#if:  | [7] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.archive.org/details/actamathematica40upps#697
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.archive.org/details/actamathematica40upps#697}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.archive.org/details/actamathematica40upps#697 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.archive.org/details/actamathematica40upps#697
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.archive.org/details/actamathematica40upps#697}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.archive.org/details/actamathematica40upps#697 }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://www.archive.org/details/actamathematica40upps#697
       | {{#if:  | [8] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.archive.org/details/actamathematica40upps#697
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.archive.org/details/actamathematica40upps#697}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.archive.org/details/actamathematica40upps#697 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.archive.org/details/actamathematica40upps#697
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.archive.org/details/actamathematica40upps#697}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.archive.org/details/actamathematica40upps#697 }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}

• • Siehe auch {{#invoke:Vorlage:Handle|f|scheme=doi|class=plainlinks|parProblem=Problem|errCat=Wikipedia:Vorlagenfehler/Parameter:DOI|errClasses=error editoronly|errHide=1|errNS=0 4 10 100}} oder direkt im Project Euclid
• {{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Reinhold Baer (Halle) und Helmut Hasse (Marburg)|Reinhold Baer (Halle) und Helmut Hasse (Marburg): }}{{#if:|{{#if:Zusammenhang und Dimension topologischer Körperräume|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Zusammenhang und Dimension topologischer Körperräume}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Zusammenhang und Dimension topologischer Körperräume}}}}|[{{#invoke:URLutil|getNormalized|1=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Zusammenhang und Dimension topologischer Körperräume}}}}]}}{{#if:| ({{{format}}}{{#if:Journal für die reine und angewandte Mathematik (Crelle-Journal), Band 167 (1931)1931-05-0540–45{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}}%7C%7C}}}}{{#if:Zusammenhang und Dimension topologischer Körperräume|{{#if:{{#invoke:WLink|isValidLinktext|1=Zusammenhang und Dimension topologischer Körperräume|lines=0}}||}}}}{{#if: Journal für die reine und angewandte Mathematik (Crelle-Journal), Band 167 (1931)| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Journal für die reine und angewandte Mathematik (Crelle-Journal), Band 167 (1931)}}}}{{#if: | {{{hrsg}}}{{#if: 1931-05-0540–45|,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 1931-05-05| {{#if:{{#invoke:DateTime|format|1931-05-05|noerror=1}}
            |{{#invoke:DateTime|format|1931-05-05|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=1931-05-05|class=Zitationswartung}} }}{{#if: 40–45|,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 40–45| S. 40–45{{#if: |,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:40–451931-05-05|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:16563||}}}}}}{{#if: 2023-01-04|;}}}}{{#if: 2023-01-04| {{#if:40–451931-05-05{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-01-04 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-01-04|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-01-04|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:Journal für die reine und angewandte Mathematik (Crelle-Journal), Band 167 (1931)1931-05-0540–45{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 1931-05-0540–45{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | {{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  ({{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           |  }} }}
   |  }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | 
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
       | {{#if:  | [9] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
      | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
       | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167 }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
       | {{#if:  | [10] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
      | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167 Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167
       | {{#if:{{#invoke:URLutil|isWebURL|https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://gdz.sub.uni-goettingen.de/id/PPN243919689_0167 }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}

Literatur nach 1932

• {{#invoke:Vorlage:Literatur|f}}
• Saugata Basu, Richard Pollack, Marie-Françoise Roy: Algorithms in Real Algebraic Geometry (= Algorithms and Computation in Mathematics. Band 10). 2. Auflage. Springer, Berlin u. a. 2006, ISBN 3-540-33098-4.
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• Reinhold Remmert: Fundamentalsatz der Algebra, Kapitel 4 in:
  • {{#invoke:Vorlage:Literatur|f}}, online in der Hirzebruch Collection (Abruf 2023-02-15), DOI
• John Willard Milnor: Topology from the Differentiable Viewpoint. Revised Edition, based on notes by David W. Weaver, Princeton University Press, 1965, Princeton, New Jersey, ISBN 0-691-04833-9.
• Serge Lang: Linear Algebra. 1st edition, 1970, 2nd edition, Addison-Wesley, 1971, darin: Appendix 2: Odds and Ends, § 2 Algebraic Closure of the Complex Numbers, S. 374. 3rd edition: Springer, 1987, ISBN 0-387-96412-6, darin: Appendix I: Complex Numbers, S. 279f.
• {{#invoke:Vorlage:Literatur|f}}
• Bartel Leendert van der Waerden: Algebra I, unter Benutzung von Vorlesungen von E. Artin und E. Noether. 2.–6. Auflage (der Modernen Algebra) (1930 bis 1964), Springer-Verlag. In der 8. Auflage, 1971, Heidelberger Taschenbücher Band 12, ISBN 3-540-03561-3, ist der oben genannte Beweis nicht mehr enthalten. Für Einzelheiten zur Entwicklung dieses einflussreichen Lehrbuches sei auf den Artikel zur Modernen Algebra verwiesen.
  • Heinrich Brandt: Buchbesprechung zur Modernen Algebra von Bartel Leendert van der Waerden, die dieser im Vorwort zur vierten Auflage seines Buchs Algebra 1 erwähnt. Enthalten in: Jahresbericht der Deutschen Mathematiker Vereinigung (DMV), (1952, Band 55, siehe PDF bei gdz.sub.uni-goettingen.de oder PDF bei resolver.sub.uni-goettingen.de, abgerufen am 30. Mai 2021), PDF-Seite 178.
  • J[ohannes] G[ualtherus] van der Corput – zitiert nach Bartel Leendert van der Waerden, Algebra I, Ende des Kapitels XI (vgl. auch Publikationsliste auf matwbn.icm.edu.pl (PDF), Textziffern 107 und 108, abgerufen am 1. Juni 2021.) – :
    • Colloque international d'algèbre. Paris, Septembre 1949, Centre National Rech. scient. – oder ausführlicher
    • Scriptum 2 – La théorème fondamental de l'algèbre sans axiome de continuité. Math[ematisch] Centrum, Amsterdam 1950. Siehe auch PDF auf ir.cwi.nl, 3,5 MB bzw. den Katalog des heutigen Instituts, abgerufen am 1. Juni 2021.
• {{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:Herbert Schröder|Herbert Schröder: }}{{#if:|{{#if:Der Fundamentalsatz der Algebra. 1746 bis heute – eine andauernde Geschichte, mit einer kommentierten Bibliographie|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Der Fundamentalsatz der Algebra. 1746 bis heute – eine andauernde Geschichte, mit einer kommentierten Bibliographie}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Der Fundamentalsatz der Algebra. 1746 bis heute – eine andauernde Geschichte, mit einer kommentierten Bibliographie}}}}|[{{#invoke:URLutil|getNormalized|1=https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Der Fundamentalsatz der Algebra. 1746 bis heute – eine andauernde Geschichte, mit einer kommentierten Bibliographie}}}}]}}{{#if:| ({{{format}}}{{#if:2020-12-28{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}

          | )
          | {{#if:{{#ifeq:de|de||{{#if:|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download}}%7C%7C}}}}{{#if:Der Fundamentalsatz der Algebra. 1746 bis heute – eine andauernde Geschichte, mit einer kommentierten Bibliographie|{{#if:{{#invoke:WLink|isValidLinktext|1=Der Fundamentalsatz der Algebra. 1746 bis heute – eine andauernde Geschichte, mit einer kommentierten Bibliographie|lines=0}}||}}}}{{#if: | In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{{werk}}}}}}}{{#if: | {{{hrsg}}}{{#if: 2020-12-28|,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: 2020-12-28| {{#if:{{#invoke:DateTime|format|2020-12-28|noerror=1}}
            |{{#invoke:DateTime|format|2020-12-28|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2020-12-28|class=Zitationswartung}} }}{{#if: |,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2020-12-28|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:16563||}}}}}}{{#if: 2023-01-04|;}}}}{{#if: 2023-01-04| {{#if:2020-12-28{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2023-01-04 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2023-01-04|class=Zitationswartung}} }} {{#invoke:DateTime|format|2023-01-04|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:de|de||{{#if:|1}}}}|{{#if:2020-12-28{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:de|de|de}}|de||
          {{#invoke:Multilingual|format|{{{sprache}}}|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:de|de|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2020-12-28{{#if: 2023-01-04 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}|{{#if: |: {{
 #if: 
 | {{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  ({{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           |  }} }}
   |  }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | 
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download
       | {{#if:  | [11] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download
       | {{#if:  | [12] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download
      | {{#if:{{#invoke:URLutil|isWebURL|https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download
       | {{#if:{{#invoke:URLutil|isWebURL|https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://www.researchgate.net/publication/321867034_Der_Fundamentalsatz_der_Algebra_-_mit_einer_kommentierten_Bibliographie/link/5fe9f696299bf14088561d94/download }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}} {{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}

• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}

Weiterführende Literatur zur Theorie formal-reeller und reell abgeschlossener Körper

• Bartel Leendert van der Waerden: Algebra I unter Benutzung von Vorlesungen von E. Artin und E. Noether. 8. Auflage, 1971, Heidelberger Taschenbücher Band 12, ISBN 3-540-03561-3; Kapitel XI Reelle Körper.
• Emil Artin und Otto Schreier: Algebraische Konstruktion reeller Körper. In: Abh. Math. Sem. Hamburg, Bd. 5 (1926), S. 85–99. Siehe auch Artin-Schreier-Theorie.
• Emil Artin: Über die Zerlegung definiter Funktionen in Quadrate. In: Abh. Math. Sem. Hamburg, Bd. 5 (1926), S. 100–115.

Weblinks

[[b:{{#if:|{{{lang}}}:}}{{#if:Beweisarchiv: Funktionentheorie: Anwendungen im Umfeld des Cauchy'schen Integralsatzes: Fundamentalsatz der Algebra|Beweisarchiv: Funktionentheorie: Anwendungen im Umfeld des Cauchy'schen Integralsatzes: Fundamentalsatz der Algebra|Fundamentalsatz der Algebra}}|Wikibooks: {{#if:Beweis zum Fundamentalsatz der Algebra|Beweis zum Fundamentalsatz der Algebra|{{#if:Beweisarchiv: Funktionentheorie: Anwendungen im Umfeld des Cauchy'schen Integralsatzes: Fundamentalsatz der Algebra|Beweisarchiv: Funktionentheorie: Anwendungen im Umfeld des Cauchy'schen Integralsatzes: Fundamentalsatz der Algebra|Fundamentalsatz der Algebra}}}}]]{{#switch: 1

|1|= – Lern- und Lehrmaterialien |0|-= |X|x={{#switch: 0

      |0|4|10|12|14|100=}}

|#default= – {{{suffix}}}

}}{{#if: | ({{#invoke:Multilingual|format|{{{lang}}}|slang=!|shift=m}}) }}

{{#invoke:TemplatePar|check

  |opt= 1= 2= lang= suffix=
  |template=Vorlage:Wikibooks
  |cat=Wikipedia:Vorlagenfehler/Schwesterprojekt
  }}

Anmerkungen

<references group="Anm" />

Einzelnachweise

<references />