diff --git a/ws2019/la/uebungen/la10.pdf b/ws2019/la/uebungen/la10.pdf index 365e9a3..9e4e369 100644 Binary files a/ws2019/la/uebungen/la10.pdf and b/ws2019/la/uebungen/la10.pdf differ diff --git a/ws2019/la/uebungen/la10.tex b/ws2019/la/uebungen/la10.tex index 0569565..de0b60f 100644 --- a/ws2019/la/uebungen/la10.tex +++ b/ws2019/la/uebungen/la10.tex @@ -122,18 +122,14 @@ $\implies \text{ker } \left.p\right|_{K[x]_{< n}} = \{0\} $. Sei nun $A \in K[x] / f K[x]$. Dann ex. ein $g \in K[x]$ mit $A = g + f K[x]$. - Definiere nun rekursiv durch Polynomdivision: - \[ - g_k := q_{k+1} \cdot f + g_{k+1} - .\] - mit $g_1 := g$. Dabei gilt nach VL $\text{deg}(g_{k+1}) < \text{deg}(g_k)$. Wähle - das erste $g_k$, sodass gilt $\text{deg}(g_k) < n$. Damit folgt + Teile nun $g$ durch $f$ mit Rest. Dann ex. $q, r \in K[x]$, s.d. \begin{align*} - &g = g_1 = q_1 \cdot f + \ldots + q_{k} \cdot f + g_k = (q_1 + \ldots + q_k) \cdot f + g_k \\ - \implies &g - g_k = \underbrace{(q_1 + \ldots + q_k) \cdot f}_{\in f K[x]} + &g = q \cdot f + r \\ + \implies &g- r = \underbrace{q \cdot f}_{\in f K[x]}\\ + \implies& g \sim r .\end{align*} - $\implies$ $g \sim g_k$ und wegen $\text{deg}(g_k) < n$ folgt $g_k \in K[x]_{< n}$.\\ - $\implies \left.p\right|_{K[x]_{