From 4ddba23dab7256d71bfbae278b6c9aceca028136 Mon Sep 17 00:00:00 2001
From: Stefan Kebekus <stefan.kebekus@math.uni-freiburg>
Date: Tue, 12 Dec 2023 10:40:57 +0100
Subject: [PATCH] Fix minor typo

---
 15.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/15.tex b/15.tex
index 81fffbb..d779774 100644
--- a/15.tex
+++ b/15.tex
@@ -140,12 +140,12 @@ charakterisieren.
     Körpererweiterung $L/K$ ist normal.
     
   \item\label{Satz_algebraische_Koerpererweiterung_Aussage_2} Es existiert eine
-    Familie $(f_{λ})_{λ∈Λ}$ von Polynomen, $f_{λ}∈ K[x]$, sodass $L$ aus $K$
-    durch Adjunktion sämtlicher Nullstellen der $f_{λ}$ im algebraischen
-    Abschluss $\overline{L}$ von $L$ entsteht.
+    Familie $(f_{λ})_{λ∈Λ}$ von Polynomen, $f_λ ∈ K[x]$, sodass $L$ aus $K$
+    durch Adjunktion sämtlicher Nullstellen der $f_λ$ im algebraischen Abschluss
+    $\overline{K} = \overline{L}$ entsteht.
     
   \item\label{Satz_algebraische_Koerpererweiterung_Aussage_3} Für jeden
-    $K$-Morphismus $σ: L → \overline{L}$ gilt, dass $σ(L) = L$ ist.  Das heißt:
+    $K$-Morphismus $σ: L → \overline{K}$ gilt, dass $σ(L) = L$ ist.  Das heißt:
     $σ$ induziert einen $K$-Automorphismus von $L$.
   \end{enumerate}
 \end{satz}