Endlicher Körper

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

In der Algebra ist ein endlicher Körper oder Galoiskörper (benannt nach dem Mathematiker Evariste Galois) ein Körper mit nur endlich vielen Elementen. Endliche Körper spielen eine wichtige Rolle in der Kryptographie und der Codierungstheorie (Vorwärtsfehlerkorrektur, zum Beispiel Reed-Solomon-Code).

Inhaltsverzeichnis

1 Katalog
2 Beispiele
- 2.1 Charakteristik 2
- 2.2 Charakteristik 3
3 Eigenschaften
4 Anwendungen

[Bearbeiten] Katalog

Zu jedem Körper $K$ gibt es einen eindeutig bestimmten unitären Ringhomomorphismus

$\begin{matrix}\mathbb Z\to K,\quad n&\mapsto&\underbrace{1_K+\ldots+1_K}&\mathrm{f\ddot ur}\ n\in\mathbb N.\\&&n\ \mathrm{Summanden}\end{matrix}$

Ist $K$ endlich, so kann die Abbildung nicht injektiv sein, somit gibt es eine kleinste positive ganze Zahl im Kern, d.h. eine Zahl $p$ , so dass in $K$

$p=1+1+\ldots+1=0$

gilt. Man kann zeigen, dass $p$ eine Primzahl sein muss. Man nennt sie die Charakteristik von $K$ .

Für jede Primzahl $p$ ist der Restklassenring $\mathbb Z/p\mathbb Z$ ein Körper der Charakteristik $p$ und wird mit dem Symbol $\mathbb F_p$ bezeichnet. Die alternative Schreibweise $GF(p)$ (vom englischen Galois field) ist veraltet.

Jeder endliche Körper der Charakteristik $p$ enthält $\Bbb F_p$ (bzw. eine isomorphe Kopie desselben) als Unterkörper. Er ist damit insbesondere ein Vektorraum über $\mathbb F_p$ und als solcher isomorph zu $\mathbb F_p^n$ für eine natürliche Zahl $n$ . Damit enthält er genau $p n$ Elemente. Man kann zeigen, dass es bis auf Isomorphie genau einen Körper mit $q = p n$ Elementen gibt; dieser wird dann mit $\Bbb F_q=\Bbb F_{p^n}$ bezeichnet (veraltete Alternativschreibweise $GF(q)$ ).

$\mathbb F_q$ ist stets eine einfache Erweiterung von $\mathbb F_p$ , d.h. es gibt ein irreduzibles Polynom $f\in\mathbb F_p[X]$ vom Grad $n$ , so dass $\mathbb F_q\cong\mathbb F_p[X]/(f)$ ist. Derartige irreduzible Polynome sind stets Faktoren von $X q - X$ ; vergleiche Adjunktion (Algebra).

[Bearbeiten] Beispiele

[Bearbeiten] Charakteristik 2

Im Restklassenkörper $\mathbb F_2=\{0,1\}$ der ganzen Zahlen modulo 2 gilt $1 + 1 = 0$ . Die Verknüpfungstabellen sehen so aus:

Addition:

+	0	1
0	0	1
1	1	0

Multiplikation:

*	0	1
0	0	0
1	0	1

Das Polynom $f = T 2 + T + 1$ ist irreduzibel über $\mathbb F_2$ . Der Körper $\mathbb F_4\cong\mathbb F_2[T]/(f)$ kann als die Menge ${0,1, t, t + 1}$ beschrieben werden (dabei ist $t$ das Bild von $T$ in $\mathbb F_4$ ). Die Rechenregeln ergeben sich aus $1 + 1 = 0$ und $t 2 + t + 1 = 0$ , beispielsweise

$t\cdot t = t^2 = -(t+1) = t+1$
$t^3 = t\cdot t^2 = t(t+1) = t^2+t = -1 = 1.$
Aus $t (t + 1) = 1$ folgt auch $t - 1 = t + 1.$

Man beachte, dass der Körper $\mathbb F_4$ nichts mit dem Restklassenring $\mathbb Z/4\mathbb Z$ zu tun hat, in dem z.B. $1+1\not=0$ ist und der den Nullteiler 2 enthält ( $2\cdot 2\equiv 0\;\mathrm{mod}\,4$ ).

Der nächstgrößere Oberkörper von $\mathbb F_2$ ist $\mathbb F_8$ , der z.B. vom Polynom $T 3 + T + 1$ erzeugt wird, also $\mathbb F_8\cong\mathbb F_2[T]/(T^3+T+1).$

Seine Elemente sind

{0,1, t, t + 1, t 2, t 2 + 1, t 2 + t, t 2 + t + 1}

mit $t 3 = t + 1.$ Dieser Körper ist aber kein Oberkörper von $\mathbb F_4$ , weil seine Elementanzahl keine Potenz von 4 ist.

[Bearbeiten] Charakteristik 3

Der Restklassenkörper modulo 3

$\mathbb F_3=\mathbb Z/3\mathbb Z= \{0, 1, 2\}$

hat diese Verknüpfungstabellen:

Addition:

+	0	1	2
0	0	1	2
1	1	2	0
2	2	0	1

Multiplikation:

*	1	2
0	0	0
1	1	2
2	2	1

Die ersten Oberkörper von $\mathbb F_3$ können so dargestellt werden:

$\mathbb F_9\cong\mathbb F_3[T]/(T^2+1)$

$\mathbb F_{27}\cong\mathbb F_3[T]/(T^3-T+1)$

[Bearbeiten] Eigenschaften

Sei $p$ eine Primzahl und $q = p n$ mit $n\in\mathbb{N}$ .

Die multiplikative Gruppe $\mathbb{F}_q^{*}$ eines endlichen Körpers $\mathbb{F}_q$ hat die Ordnung $q - 1$ , insbesondere gilt $x q - 1 = 1$ für jedes $x\in\mathbb F_q^*.$ $\mathbb F_q^*$ besteht also aus allen $(q - 1)$ -ten Einheitswurzeln. Die Gruppe der Einheitswurzeln einer bestimmten Ordnung ist stets zyklisch und hat als Erzeuger die primitiven Einheitswurzeln (auch "Primitivwurzeln"), die genau die $\varphi(q-1)$ verschiedenen Nullstellen des $(q - 1)$ -ten Kreisteilungspolynoms sind; dabei ist $\varphi$ die Eulersche φ-Funktion.
Aus $x q - 1 = 1$ für alle $x\in\mathbb F_q^*$ folgt:

x q = x

für alle $x\in\mathbb F_q.$

Zu jedem Teiler k von gibt es genau einen Zwischenkörper von , der isomorph zu ist. Man könnte auch sagen, dass der Verband der Zwischenkörper von isomorph zum Teilerverband von m ist.
- Ist nämlich $K$ ein Teilkörper von $\mathbb{F}_{q^m}$ , so ist $K$ ein $\mathbb F_q$ -Vektorraum, also ist die Anzahl der Elemente von $K$ eine Potenz von $q$ . Andererseits ist $\mathbb{F}_{q^m}$ ein Vektorraum über $K$ , und es folgt $| K | = q k$ mit $k$ teilt $m$ . $K$ ist also isomorph zu $\mathbb{F}_{q^k}$ .
- Ist umgekehrt $k$ ein Teiler von $m$ , so ist das Polynom $f(X)=X^{q^k}-X$ Teiler des Polynoms $X^{q^m}-X$ , dessen Nullstellen alle verschieden sind. Deshalb hat $f (X)$ genau $q k$ verschiedene Nullstellen in $\mathbb F_{q^m},$ und die Menge der Nullstellen bildet einen Zwischenkörper von $\mathbb F_{q^m}|\mathbb F_q,$ der isomorph zu $\mathbb F_{q^k}$ ist.
Die Abbildung $F_q\colon \mathbb{F}_{q^m}\to \mathbb{F}_{q^m}, x\mapsto x^q$ ist ein bijektiver Körperhomomorphismus, sie wird Frobenius-Automorphismus oder einfach Frobenius genannt. Der Fixkörper von $F q$ ist isomorph zu $\mathbb{F}_q$ . Die $m$ -fache Verkettung $F_q^m$ ist die Identität auf $\mathbb F_{q^m}.$
Da jede endliche Erweiterung von $\mathbb F_q$ höchstens einen Körper enthält, der isomorph zu $\mathbb F_{q^m}$ ist, sind Erweiterungen endlicher Körper stets normal.
$\mathbb F_{q^m}$ ist der Zerfällungskörper des separablen Polynoms $X^{q^m}-X$ über $\mathbb F_q$ , also sind Erweiterungen endlicher Körper auch stets separabel; endliche Körper sind also vollkommen.
Die Galoisgruppe $\mbox{Gal}(\mathbb{F}_{q^m}/\mathbb{F}_q)$ ist zyklisch und hat die Ordnung $m$ . Sie hat einen kanonischen Erzeuger, den Frobenius-Automorphismus $F q$ .
Kein endlicher Körper ist algebraisch abgeschlossen: Das Polynom $1 + \prod_{a \in \mathbb{F}_q} (X-a)=X^q-X+1$ hat keine Nullstelle im Körper $\mathbb{F}_q$ .

[Bearbeiten] Anwendungen

Wenn wir einen Erzeuger x der multiplikativen Gruppe von $\Bbb F_q$ mit $q = p n$ festhalten, dann gibt es für jedes a ungleich 0 aus K eine eindeutig bestimmte Zahl m aus {0, 1, ... q-2} mit a = x^m. Die Zahl m heißt diskreter Logarithmus von a zur Basis x. Obwohl man x^m für jedes m relativ leicht berechnen kann, ist die Aufgabe, zu gegebenem a den diskreten Logarithmus m zu finden, nach dem gegenwärtigen Wissensstand für große Zahlen p und n ein extrem rechenaufwendiger Vorgang. Deshalb findet der diskrete Logarithmus Anwendung in der Kryptographie.

Endliche Körper werden auch in der Codierungstheorie benutzt: Viele Codes sind Teilräume von endlichdimensionalen Vektorräumen über endlichen Körpern.

Von „http://de.wikipedia.org../../../e/n/d/Endlicher_K%C3%B6rper_73c3.html“

Kategorie: Algebra