In der Algebra ist ein quadratisch geschlossenes Feld ein kommutatives Feld, in dem jedes Element eine Quadratwurzel hat .
Für jedes Feld F sind die folgenden Eigenschaften äquivalent:
Jedes quadratisch geschlossene Feld ist gleichzeitig pythagoreisch und formal nicht real, aber das Gegenteil ist falsch (denken Sie an Felder mit Merkmal 2).
Sei E / F eine endliche Erweiterung, wobei E quadratisch geschlossen ist. Dann ist entweder -1 ein Quadrat in F und F ist quadratisch geschlossen, oder -1 ist kein Quadrat in F und F ist euklidisch (dies ist eine Folge des Diller-Dress-Theorems ).
Für Körper F , gibt es eine „ kleine “ quadratisch schloß Erweiterung von F . Diese Erweiterung, die für den Isomorphismus einzigartig ist , wird "der" quadratische Verschluss von F genannt . Wir können es als Teilfeld des „ algebraischen Verschlusses F alg von F “ konstruieren , indem wir die Vereinigung aller Windungen quadratischer Erweiterungen auf F in F alg nehmen . Wenn sich die Charakteristik von F von 2 unterscheidet, ist es daher die Vereinigung der 2 endlichen Erweiterungen von F in F alg , dh alle Galois-Erweiterungen des Grades gleich einer Potenz von 2.
Beispielsweise :