From f2454006fa4e2a0b4093507300fab8a29e3b5901 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20M=C3=BCller?= Date: Mon, 8 Mar 2021 09:40:32 +0100 Subject: final preparation --- vorlesungen/slides/4/polynomefp.tex | 21 +++++++++++++-------- 1 file changed, 13 insertions(+), 8 deletions(-) (limited to 'vorlesungen/slides/4/polynomefp.tex') diff --git a/vorlesungen/slides/4/polynomefp.tex b/vorlesungen/slides/4/polynomefp.tex index fe514dd..1db50e1 100644 --- a/vorlesungen/slides/4/polynomefp.tex +++ b/vorlesungen/slides/4/polynomefp.tex @@ -18,40 +18,45 @@ p(X) a_0+a_1X+\dots+a_nX^n \] mit $a_i\in\mathbb{F}_p$. -ObdA: $a_n=1$ +\uncover<2->{ObdA: $a_n=1$}% \end{block} +\uncover<3->{% \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} +\end{block}} +\uncover<4->{% \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{block}} \end{column} \begin{column}{0.48\textwidth} +\uncover<5->{% \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 +\uncover<6->{$a\in \mathbb{F}_p[X]$ mit $\deg a < \deg m$, dann ist} \begin{enumerate} -\item +\item<7-> $\operatorname{ggT}(a,m) = 1$ -\item +\item<8-> Es gibt $s,t\in\mathbb{F}_p[X]$ mit \[ s(X)m(X)+t(X)a(X) = 1 \] (aus dem euklidischen Algorithmus) -\item +\item<9-> $a^{-1} = t(X)$ \end{enumerate} -\end{block} +\uncover<9->{$\Rightarrow$ $\mathbb{F}_p[X]/(m(X))$ ist ein Körper +mit genau $p^n$ Elementen} +\end{block}} \end{column} \end{columns} \end{frame} -- cgit v1.2.1