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}