aboutsummaryrefslogtreecommitdiffstats
path: root/buch/chapters/30-endlichekoerper
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--buch/chapters/30-endlichekoerper/galois.tex9
-rw-r--r--buch/chapters/30-endlichekoerper/wurzeln.tex52
2 files changed, 31 insertions, 30 deletions
diff --git a/buch/chapters/30-endlichekoerper/galois.tex b/buch/chapters/30-endlichekoerper/galois.tex
index 055a4f9..fbacba6 100644
--- a/buch/chapters/30-endlichekoerper/galois.tex
+++ b/buch/chapters/30-endlichekoerper/galois.tex
@@ -3,6 +3,7 @@
%
% (c) 2020 Prof Dr Andreas Müller, Hochschule Rapperswil
%
+% !TeX spellcheck = de_CH
\section{Galois-Körper
\label{buch:section:galoiskoerper}}
\rhead{Galois-Körper}
@@ -257,11 +258,11 @@ alle diese möglichen Auftrennungen zu verschiedenen Perlenketten
führen.
Zwei Trennstellen, die $k$-Perlen auseinander liegen, führen nur dann
zur gleichen Perlenkette, wenn die geschlossenen Ketten durch Drehung
-um $k$ Perlen ineinander umgehen.
+um $k$ Perlen ineinander übergehen.
Dies bedeutet aber auch, dass sich das Farbmuster alle $k$-Perlen
wiederholen muss.
Folglich ist $k$ ein Teiler von $p$.
-$p$ Verschiedene Perlenketten entstehen also immer genau dann, wenn $p$
+$p$ verschiedene Perlenketten entstehen also immer genau dann, wenn $p$
eine Primzahl ist.
Wir schliessen daraus, dass $a^p-a$ durch $p$ teilbar ist, genau dann,
@@ -485,7 +486,7 @@ Wir wissen aus Satz \ref{buch:endliche-koerper:satz:binom}, dass
Wir müssen zeigen, dass $(a+b)^{p^k}=a^{p^k}+b^{p^k}$ gilt.
Wir verwenden vollständige Induktion,
\eqref{buch:endliche-koerper:eqn:a+b^p} ist die Induktionsverankerung.
-Wir nehmen jetzt im Sinne der Induktionsannahme, dass
+Wir nehmen jetzt im Sinne der Induktionsannahme an, dass
\eqref{buch:endliche-koerper:eqn:a+b^p^k} für ein bestimmtes $k$ gilt.
Dann ist
\[
@@ -517,7 +518,7 @@ In $\mathbb{F}_p$ gilt
\[
\binom{p^k}{m}=0
\]
-für beliebige $k>0$ und $0<m<p$.
+für beliebige $k>0$ und $0<m<p^k$.
\end{satz}
\subsubsection{Frobenius-Automorphismus}
diff --git a/buch/chapters/30-endlichekoerper/wurzeln.tex b/buch/chapters/30-endlichekoerper/wurzeln.tex
index 3be5d60..5dc3fc2 100644
--- a/buch/chapters/30-endlichekoerper/wurzeln.tex
+++ b/buch/chapters/30-endlichekoerper/wurzeln.tex
@@ -3,6 +3,7 @@
%
% (c) 2021 Prof Dr Andreas Müller, Hochschule Rapperswil
%
+% !TeX spellcheck = de_CH
\section{Wurzeln
\label{buch:section:wurzeln}}
\rhead{Wurzeln}
@@ -68,7 +69,7 @@ Koeffizienten in $\Bbbk$ ist, dessen Nullstelle $\alpha$ hinzugefügt
werden sollen.
Das Ziel ist natürlich, dass diese Erweiterung vollständig beschrieben
werden kann durch das Polynom, ganz ohne Bezug zum Beispiel auf einen
-numerischen Wert der Nullstelle, der ohnehin nur in $\mathbb(C)$ sinnvoll
+numerischen Wert der Nullstelle, der ohnehin nur in $\mathbb{C}$ sinnvoll
wäre.
Nehmen wir jetzt an, dass sich das Polynom $f$ faktorisieren lässt.
@@ -80,7 +81,7 @@ verschwinden, also $g(\alpha)=0$ oder $h(\alpha)=0$.
Ohne Beschränkung der Allgemeinheit kann angenommen werden, dass
$g(\alpha)=0$.
Die Operation des Hinzufügens der Nullstelle $\alpha$ von $f$
-muss also genauso gut mit $g$ ausgeführt werden.
+muss also genauso gut mit $g$ ausgeführt werden können.
Indem wir diese Überlegung auf $g$ anwenden können wir schliessen,
dass es ein Polynom $m\in\Bbbk[X]$ kleinstmöglichen Grades geben muss,
welches $\alpha$ als Nullstelle hat.
@@ -105,7 +106,7 @@ positiven zu unterscheiden.
Das Polynom kann in $\mathbb{Q}$ nicht faktorisiert werden, denn die
einzig denkbare Faktorisierung ist $(X-\sqrt{2})(X+\sqrt{2})$, die
Faktoren sind aber keine Polynome in $\mathbb{Q}[X]$.
-Also ist ein irreduzibles Polynom über $X^2-2$.
+Also ist $f(X) = X^2 - 2$ ein irreduzibles Polynom über $\mathbb Q$.
Man kann das Polynom aber auch als Polynom in $\mathbb{F}_{23}[X]$
betrachten.
@@ -201,7 +202,7 @@ a_0 + a_1\alpha + a_2\alpha^2 + \dots a_k\alpha^k
gebildet werden.
Aus der Bedingung $m(\alpha)=0$ folgt aber, dass
\begin{equation}
-\alpha^n = -a_{n-1}\alpha^{n-1} -\dots - a_2\alpha^2 - a_1\alpha-a_0.
+\alpha^n = -m_{n-1}\alpha^{n-1} -\dots - m_2\alpha^2 - m_1\alpha - m_0.
\label{buch:endlichekoerper:eqn:reduktion}
\end{equation}
Alle Potenzen mit Exponenten $\ge n$ in
@@ -214,9 +215,9 @@ Als Menge ist daher
\Bbbk(\alpha)
=
\{
-a_0+a_1\alpha+a_2\alpha^2+\dots+a_{n-1}\alpha^{n-1}\;|\; a_i\in\Bbbk\}.
-\}
+a_0+a_1\alpha+a_2\alpha^2+\dots+a_{n-1}\alpha^{n-1}\;|\; a_i\in\Bbbk\}
\]
+ausreichend.
Die Addition von solchen Ausdrücken und die Multiplikation mit Skalaren
aus $\Bbbk$ machen $\Bbbk(\alpha)\cong \Bbbk^n$ zu einem Vektorraum,
die Operationen können auf den Koeffizienten komponentenweise ausgeführt
@@ -227,8 +228,8 @@ Die schwierige Operation ist die Multiplikation mit $\alpha$.
Dazu stellen wir zusammen, wie die Multiplikation mit $\alpha$ auf den
Basisvektoren von $\Bbbk(\alpha)$ wirkt:
\[
-\alpha\cdot\colon
-\Bbbk^n\to\Bbbk
+\alpha\colon
+\Bbbk^n\to\Bbbk^n
:
\left\{
\begin{aligned}
@@ -249,12 +250,12 @@ M_{\alpha}
0 & & & & &-m_0 \\
1 & 0 & & & &-m_1 \\
& 1 & 0 & & &-m_2 \\
- & & 1 &\ddots& &-m_3 \\
- & & &\ddots& 0 &\vdots \\
- & & & & 1 &-m_{n-2}\\
- & & & & &-m_{n-1}
-\end{pmatrix}
+ & & 1 &\ddots& &\vdots \\
+ & & &\ddots& 0 &-m_{n-2}\\
+ & & & & 1 &-m_{n-1}
+\end{pmatrix}.
\]
+%TODO: Was ist hier die Aussage?
Aufgrund der Konstruktion die Lineare Abbildung $m(M_\alpha)$,
die man erhält, wenn
man die Matrix $M_\alpha$ in das Polynom $m$ einsetzt, jeden Vektor
@@ -336,7 +337,7 @@ Körpers $\Bbbk(\alpha)$ in der Matrizenalgebra $M_n(\Bbbk)$.
\subsubsection{Inverse}
Im Moment wissen wir noch nicht, wie wir $\alpha^{-1}$ berechnen sollten.
-Wir können aber auch die Matrizendarstellung verwenden können.
+Wir können aber auch die Matrizendarstellung verwenden.
Für Matrizen wissen wir selbstverständlich, wie Matrizen invertiert
werden können.
Tatsächlich kann man die Matrix $M_\alpha$ direkt invertieren:
@@ -365,20 +366,19 @@ wie man durch Ausmultiplizieren überprüfen kann:
-1 & 0 & 0 & & 0 & 0
\end{pmatrix}
\begin{pmatrix}
-0 & & & & &-m_0 \\
-1 & 0 & & & &-m_1 \\
- & 1 & 0 & & &-m_2 \\
- & & 1 &\ddots& &-m_3 \\
- & & &\ddots& 0 &\vdots \\
- & & & & 1 &-m_{n-2}\\
- & & & & &-m_{n-1}
+ 0 & & & & &-m_0 \\
+ 1 & 0 & & & &-m_1 \\
+ & 1 & 0 & & &-m_2 \\
+ & & 1 &\ddots& &\vdots \\
+ & & &\ddots& 0 &-m_{n-2}\\
+ & & & & 1 &-m_{n-1}
\end{pmatrix}
=
\begin{pmatrix}
1&0&0&\dots&0&0\\
0&1&0&\dots&0&0\\
0&0&1&\dots&0&0\\
-\vdots&\vdots&\vdots&\vdots&\vdots\\
+\vdots&\vdots&\vdots&\ddots&\vdots\\
0&0&0&\dots&1&0\\
0&0&0&\dots&0&1
\end{pmatrix}
@@ -400,7 +400,7 @@ Aus den Einträgen der ersten Spalte kann man jetzt die Koeffizienten
\[
b_0=(B)_{11},
b_1=(B)_{21},
-b_2=(B)_{11},\dots,
+b_2=(B)_{31},\dots,
b_{n-1}=(B)_{n,1}
\]
ablesen und daraus das Element
@@ -433,7 +433,7 @@ Die Inverse kann man bestimmen, indem man den
Gauss-Algorithmus in $\mathbb{F}_{7}$ durchführt.
Die Arithmetik in $\mathbb{F}_{7}$ ist etwas ungewohnt, insbesondere
die Pivot-Division ist etwas mühsam, daher sind in
-Abbildung~\label{buch:endlichekoerper:fig:additionmultiplikation}
+Abbildung~\ref{buch:endlichekoerper:fig:additionmultiplikation}
die Additions- und Multiplikationstabellen zusammengestellt.
\begin{figure}
\begin{center}
@@ -679,7 +679,7 @@ Sei der Grad von $f$ mindestens so gross wie der von $m$, also
$l=\deg f\ge \deg m=n$.
Indem man mit $\alpha^{l-n}$ multipliziert, erhält man die Relation
\[
-\alpha^l + m_{n-1}\alpha^{l-1} + m_{n-2}\alpha^{l-2}+\dots +a_1\alpha^{l-n+1} + a_0\alpha^{-l-n} = 0.
+\alpha^l + m_{n-1}\alpha^{l-1} + m_{n-2}\alpha^{l-2}+\dots +a_1\alpha^{l-n+1} + a_0\alpha^{l-n} = 0.
\]
Ist $f_l$ der führende Koeffizient des Polynoms $f$, dann ist
@@ -714,7 +714,7 @@ gefunden haben.
Diese Form des Reduktionsalgorithmus ist besonders leicht durchzuführen
in einem Körper $\mathbb{F}_2$, da dort die Addition und die Subtraktion
-der Koeffizienten dasselbe ist.
+der Koeffizienten übereinstimmen.
Die Multiplikation mit $X$ ist nichts anders als ein Shift der
Koeffizienten.