blob: fe514dd7ab87b9aa64b310876e27cc0ba3648a97 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
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}
|
