1 files changed, 57 insertions, 0 deletions
diff --git a/vorlesungen/slides/4/polynomefp.tex b/vorlesungen/slides/4/polynomefp.tex
new file mode 100644
index 0000000..fe514dd
--- /dev/null
+++ b/vorlesungen/slides/4/polynomefp.tex
@@ -0,0 +1,57 @@
+%
+% polynomefp.tex
+%
+% (c) 2021 Prof Dr Andreas Müller, OST Ostschweizer Fachhochschule
+%
+\begin{frame}[t]
+\frametitle{Polynome über $\mathbb{F}_p[X]$}
+\setlength{\abovedisplayskip}{5pt}
+\setlength{\belowdisplayskip}{5pt}
+\vspace{-15pt}
+\begin{columns}[t,onlytextwidth]
+\begin{column}{0.48\textwidth}
+\begin{block}{Polynomring}
+$\mathbb{F}_p[X]$ sind Polynome
+\[
+p(X)
+=
+a_0+a_1X+\dots+a_nX^n
+\]
+mit $a_i\in\mathbb{F}_p$.
+ObdA: $a_n=1$
+
+\end{block}
+\begin{block}{Irreduzible Polynome}
+$m(X)$ ist irreduzibel, wenn es keine Faktorisierung
+$m(X)=p(X)q(X)$ mit $p,q\in\mathbb{F}_p[X]$ gibt
+\end{block}
+\begin{block}{Rest modulo $m(X)$}
+$X^{n+k}$ kann immer reduziert werden:
+\[
+X^{n+k} = -(a_0+a_1X+\dots+a_{n-1}X^{n-1})X^k
+\]
+\end{block}
+\end{column}
+\begin{column}{0.48\textwidth}
+\begin{block}{Körper $\mathbb{F}_p/(m(X))$}
+Wenn $m(X)$ irreduzibel ist, dann ist
+$\mathbb{F}_p[X]$ nullteilerfrei.
+\medskip
+
+$a\in \mathbb{F}_p[X]$ mit $\deg a < \deg m$, dann ist
+\begin{enumerate}
+\item
+$\operatorname{ggT}(a,m) = 1$
+\item
+Es gibt $s,t\in\mathbb{F}_p[X]$ mit
+\[
+s(X)m(X)+t(X)a(X) = 1
+\]
+(aus dem euklidischen Algorithmus)
+\item
+$a^{-1} = t(X)$
+\end{enumerate}
+\end{block}
+\end{column}
+\end{columns}
+\end{frame}