Endlicher Körper

In der Algebra, einem Teilgebiet der Mathematik, ist ein endlicher Körper oder Galoiskörper (nach Évariste Galois) ein Körper mit einer endlichen Anzahl von Elementen, d. h. eine endliche Menge, auf der zwei als Addition und Multiplikation verstandene Grundoperationen definiert sind, sodass die Menge zusammen mit diesen Operationen alle Anforderungen eines Körpers erfüllt.

Endliche Körper spielen eine wichtige Rolle in der Kryptographie und der Codierungstheorie (Vorwärtsfehlerkorrektur, zum Beispiel beim Reed-Solomon-Code). Daneben sind sie grundlegend für das Studium der Primideale im Ring der ganzen Zahlen einer endlichen Körpererweiterung von <math>\Q</math> im Rahmen der algebraischen Zahlentheorie. Man vergleiche hierzu auch Verzweigung im Kontext von Erweiterungen von Dedekindringen.

Außerdem sind endliche Körper in der Geometrie als Koordinatenbereiche endlicher Geometrien von Bedeutung. Sie sind allgemeiner Koordinatenbereiche von Ebenen und Räumen in der synthetischen Geometrie. Mit Hilfe der Addition und Multiplikation in einem endlichen Körper werden hier Verknüpfungen mit schwächeren algebraischen Eigenschaften definiert, die aus dem Körper z. B. einen Ternär- oder Quasikörper machen. Auf diesen verallgemeinerten Körpern können dann projektive und affine Ebenen konstruiert werden.

Die Anzahl der Elemente eines endlichen Körpers ist immer eine Primzahlpotenz. Für jede Primzahl <math>p</math> und jede positive natürliche Zahl <math>n</math> existiert (bis auf Isomorphie) genau ein Körper mit <math>p^n</math> Elementen, der mit <math>\mathbb F_{p^n}</math> oder <math>\operatorname{GF}(p^n)</math> bezeichnet wird. <math>\mathbb F_p=\operatorname{GF}(p)</math> ist der Körper der Restklassen ganzer Zahlen modulo <math>p</math>.

E. H. Moore prägte wohl 1893 den englischen Begriff Galois field zu Ehren von Évariste Galois, der bereits mit gewissen imaginären Zahlen modulo <math>p</math> gerechnet hat.

Der Satz von Wedderburn sagt aus, dass die Multiplikation in einem endlichen Schiefkörper notwendig kommutativ ist. Das heißt, dass endliche Schiefkörper stets endliche Körper sind.

Einführung

In der Mathematik bezeichnet ein Körper eine Menge, innerhalb der, einfach gesprochen, mit den vier Grundrechenarten gerechnet werden kann. Dabei sollen die aus der Schulmathematik bekannten Regeln des Kommutativgesetzes (Vertauschbarkeit bei „Plus“ und „Mal“), Assoziativgesetzes (Vertauschbarkeit von Klammern bei „nur Plus“ oder „nur Mal“) und Distributivgesetzes („Ausklammern“ und „Ausmultiplizieren“) gelten. Außerdem muss stets das Element <math>0</math> (neutrales Element der Addition) und <math>1</math> (neutrales Element der Multiplikation) Teil eines Körpers sein. Insbesondere soll durch jede Zahl ungleich der <math>0</math> dividiert werden können. Wichtige Beispiele sind der Körper der reellen Zahlen (Bezeichnung: <math>\R</math>) oder der Körper der rationalen Zahlen (Bezeichnung: <math>\Q</math>).

Eine Fragestellung aus der Algebra ist, wie Körper aussehen können, also in welchen Typen von Mengen ein „abgeschlossenes Rechnen“ möglich ist. Bemerkenswert in diesem Kontext ist, dass auch Körper <math>\mathbb{K}</math> mit nur endlich vielen Elementen existieren. Das Rechnen in diesen Bereichen weicht, obwohl die Gesetze letztlich die gleichen sind, von der „klassischen Anschauung“ ab. Das beginnt damit, dass die Elemente<ref group="Anm.">Die neutralen Elemente der Addition bzw. Multiplikation werden in allgemeinen Körpern weiterhin meistens mit <math>0</math> und <math>1</math> bezeichnet. Entsprechend können erneut die Benennungen <math>2 := 1+1, 3 := 1+1+1</math> usw. durch arabische Ziffern benutzt werden, obwohl sich das Rechnen in anderen Körpern in manchen Fällen von jenem aus den reellen Zahlen „unterscheidet“. Streng genommen müssten daher Notationen wie <math>0_{\mathbb{K}}, 1_{\mathbb{K}}, 2_{\mathbb{K}}, \ldots</math> benutzt werden, um die Zugehörigkeit zum Körper <math>\mathbb{K}</math> zu erklären.</ref>

<math>1 = 1, \qquad 1+1 = 2, \qquad 1+1+1=3, \qquad 1+1+1+1=4, \qquad \cdots </math>

nicht alle verschieden sein können, da <math>\mathbb{K}</math> nur endlich viele Elemente hat. Da man stets <math>0 \not= 1</math> hat (sonst wäre <math>\mathbb{K} = \{0\}</math>, und diesen trivialen Fall schließt man aus), gibt es damit eine kleinste natürliche Zahl <math>p</math>, sodass

<math> \underbrace{1 + 1 + \cdots + 1}_{p-\text{mal}} = 0</math>

in <math>\mathbb{K}</math> erstmals erfüllt ist.<ref group="Anm.">Da es nur endlich viele Elemente im Körper gibt, kommt irgendwann der Punkt, dass die Folge <math>1, 1+1, 1+1+1, \dotsc</math> irgendeiner Wiederholung unterworfen ist. Etwa könnte <math>1+1+1+1+1+1+1 = 1+1</math> gelten. Da in Körpern nun aber auch die Subtraktion erlaubt ist, folgte damit <math>1+1+1+1+1 = 0</math>.</ref> Diese Kennzahl wird Charakteristik des Körpers <math>\mathbb{K}</math> genannt, also <math>\mathrm{char}(\mathbb{K}) = p</math>. Sie ist stets eine Primzahl,<ref>Siegfried Bosch: Algebra, Springer Spektrum, 8. Auflage, S. 87–88.</ref> denn wäre zum Beispiel <math>\mathrm{char}(\mathbb{K}) = 2 \cdot 3</math> zusammengesetzt, so müsste <math>2 \cdot 3 = 0</math> sein, und es wäre bereits <math>2=1+1=0</math> oder <math>3=1+1+1=0</math>, also <math>\mathrm{char}(\mathbb{K}) \leq 3</math>, was der Annahme <math>\mathrm{char}(\mathbb{K})=6</math> wegen der Minimalität der Charakteristik direkt widerspräche.

Um das Rechnen in endlichen Körpern genau zu verstehen, ist der Umgang mit Resten bei Divisionsaufgaben notwendig. Nichttriviale Reste entstehen bei Divisionen, die nicht aufgehen. Etwa ist <math>19</math> geteilt durch <math>5</math> gleich <math>3</math> mit Rest <math>4</math>. In den einfachsten Beispielen endlicher Körper wird mit genau diesen Resten gerechnet. Dies kann anhand eines Beispiels demonstriert werden: Es gibt genau fünf mögliche Reste bei der Division durch <math>5</math>, und diese korrespondieren zu

<math> \left\{\overline{0}, \overline{1}, \overline{2}, \overline{3}, \overline{4}\right\} = \{0 + 5\Z, 1 + 5\Z, 2 + 5\Z, 3 + 5\Z, 4 + 5\Z\}</math>

mit <math>\Z =</math> Menge der ganzen Zahlen, und <math>5\Z = \{\ldots, -10, -5, 0, 5, 10, \ldots\}</math> (d. h. alle ganzen Vielfache der Zahl <math>5</math>). Dabei bedeuten die Über-Striche, dass alle Zahlen, die bei Division mit <math>5</math> den entsprechenden Rest haben, gemeinsam bzw. gebündelt betrachtet werden. Etwa besteht

<math> \overline{4} := 4 + 5\Z = \{\ldots, -6, -1, 4, 9, 14, 19, \ldots \}</math>

aus genau jenen Zahlen, die bei Division mit <math>5</math> den Rest <math>4</math> haben. Die Zahlen von <math>0</math> bis <math>4</math> sind ferner lediglich Repräsentanten einer ganzen Restklasse,<ref>Friedrich Ischebeck: Einladung zur Zahlentheorie, BI Wissenschaftsverlag, S. 53.</ref> zum Beispiel gelten die Gleichheiten

<math> \cdots = \overline{-6} = \overline{-1} = \overline{4} = \overline{9} = \overline{14} = \overline{19} = \cdots.</math>

Die jeweiligen Repräsentanten ergeben bei Division durch <math>5</math> alle denselben Rest <math>4</math> und gehören so zur selben Restklasse. Man sieht damit, dass additive Vielfache von <math>5</math> in diesem Beispiel für die Zugehörigkeit zur gleichen Restklasse stets keine Rolle spielen. Mit anderen Worten: Während eine ganze Zahl stets erst durch ihre Zählgröße vollständig bestimmt ist, handelt es sich bei Restklassen um reduzierte Zahlen. Nur noch der Rest ist entscheidend, nicht mehr die Größe.

Mit Restklassen modulo <math>5</math> kann nun in den vier Grundrechenarten gerechnet werden. Dabei gelten im Grunde dieselben Regeln wie beim Rechnen in den ganzen Zahlen <math>\Z</math>: Zum Beispiel ist

<math>\overline{4}+\overline{4} = \overline{8} = \overline{3} \quad </math> (Bedeutung: Die Summe zweier beliebiger Zahlen mit Rest <math>4</math> bei Division durch <math>5</math> hat stets Rest <math>3</math> bei Division durch <math>5</math>, etwa <math>14 + 34 = 48</math> oder <math>29 + 4 = 33</math>.)

<math>\overline{4}-\overline{39} = \overline{-35} = \overline{0} \quad</math> (Bedeutung: Die Differenz zweier beliebiger Zahlen mit dem selben Rest, etwa <math>4</math>, bei Division durch <math>5</math>, ist stets durch <math>5</math> teilbar, hat also Rest <math>0</math>.)

<math>\overline{2} \cdot \overline{3} = \overline{6} = \overline{1}\quad </math> (Bedeutung: Das Produkt zweier beliebiger Zahlen mit Rest <math>2</math> bzw. <math>3</math> bei Division durch <math>5</math> hat stets Rest <math>1</math> bei Division durch <math>5</math>, etwa <math>12 \cdot 13 = 156</math> oder <math>2 \cdot 33 = 66.</math>)

Wichtig ist an dieser Stelle, zu zeigen, dass dies wohldefiniert ist, dass also bei der Auswahl anderer Repräsentanten stets das gleiche Ergebnis herauskommt. Da die Differenz zweier Repräsentanten aber stets durch <math>5</math> teilbar ist, liegt dies auf der Hand: Zum Beispiel ist (vgl. oberes Beispiel)

<math> \overline{14}+\overline{34} = \overline{48} = \overline{3}</math>

aber auch

<math> \overline{29}+\overline{4} = \overline{33} = \overline{3}.</math>

Ganz ähnliche Überlegungen gelten bei der Wohldefiniertheit der Multiplikation.

Auch die Division ist innerhalb von <math>\left\{\overline{0}, \overline{1}, \overline{2}, \overline{3}, \overline{4}\right\}</math> möglich (schließt man <math>\overline{0}</math> aus), denn um allgemein dividieren zu können, ist für jedes <math>a</math> lediglich die Existenz eines Inversen <math>b</math> mit

vonnöten (wie etwa <math>3</math> und <math>\tfrac13</math> im Fall der rationalen Zahlen). Für den Nachweis, dass es stets ein Inverses gibt, ist entscheidend, dass <math>5</math> eine Primzahl ist: Teilt eine Primzahl ein Produkt <math>mn</math> zweier ganzer Zahlen, muss bereits mindestens einer der Faktoren durch diese teilbar sein. Hat man dies zur Hand, ist die Argumentation die folgende: Für ein Element <math>\overline{a} \in \left\{\overline{1}, \overline{2}, \overline{3}, \overline{4}\right\}</math>, das man invertieren möchte, betrachtet man alle möglichen Vielfachen (ungleich Null):

<math>\overline{1} \cdot \overline{a}, \quad \overline{2} \cdot \overline{a}, \quad \overline{3} \cdot \overline{a}, \quad \overline{4} \cdot \overline{a}.</math>

Die Restklasse <math>\overline{0}</math> taucht in dieser Liste nicht auf, denn keine der Zahlen <math>1a, 2a, 3a, 4a</math> ist durch <math>5</math> teilbar.<ref group="Anm.">Es ist keine der Zahlen <math>1,2,3</math> und <math>4</math> durch <math>5</math> teilbar. Nach Voraussetzung ist <math>a</math> nicht durch <math>5</math> teilbar, denn <math>\overline{a} \not= \overline{0}</math>. Da <math>5</math> eine Primzahl ist, ist demnach keines der Produkte <math>1a, 2a, 3a, 4a</math> durch <math>5</math> teilbar.</ref> Ferner sind alle Einträge der Liste paarweise verschieden, denn es ist <math>\overline{m} \cdot \overline{a} = \overline{n} \cdot \overline{a}</math> gleichbedeutend damit, dass <math>(\overline{m} - \overline{n}) \cdot \overline{a} = \overline{0}</math>, ergo <math>5|(m-n)a</math>. Da <math>a</math> nicht durch <math>5</math> teilbar ist, muss <math>m-n</math> durch <math>5</math> teilbar sein. Die Differenz <math>m-n</math> liegt nach Wahl der obigen Repräsentanten <math>1 \leq m,n \leq 4</math> im Intervall <math>-3 \leq m-n \leq 3</math>, und nur die <math>0</math> ist dort durch <math>5</math> teilbar. Also ist <math>m = n</math>. Es muss also die Restklasse <math>\overline{1}</math> irgendwo in der obigen Liste auftauchen und ein Inverses ist gefunden.<ref group="Anm.">Da die vier Elemente <math>\overline{1} \cdot \overline{a}, \overline{2} \cdot \overline{a}, \overline{3} \cdot \overline{a}, \overline{4} \cdot \overline{a}</math> alle verschieden sind, als Liste aber nur Elemente von <math>\left\{ \overline{1}, \overline{2}, \overline{3}, \overline{4} \right\}</math> enthält, muss auch das Element <math>\overline{1}</math> vorhanden sein.</ref> Zum Beispiel ist <math>\overline{2}</math> ein Inverses zu <math>\overline{3}</math> modulo <math>5</math>, da <math>\overline{2} \cdot \overline{3} = \overline{6} = \overline{1}</math>.<ref group="Anm.">Es übernimmt <math>\overline{2}</math> quasi die Rolle der „Zahl <math>\tfrac{\overline{1}}{\overline{3}}</math>“ in <math>\mathbb{F}_5</math>.</ref> Da im Wesentlichen „weiterhin in den ganzen Zahlen gerechnet wird“, bleiben Kommutativgesetz, Assoziativgesetz und Distributivgesetz erhalten, womit die Restklassenmenge <math>\mathbb{F}_5 := \left\{\overline{0}, \overline{1}, \overline{2}, \overline{3}, \overline{4}\right\}</math> in der Tat einen Körper bildet.

Diese ganze Argumentation beschränkt sich nicht auf die Primzahl <math>5</math>, sondern es kann zu jeder Primzahl <math>p</math> ein entsprechender endlicher Körper angegeben werden:

<math> \mathbb{F}_2 = \left\{\overline{0}, \overline{1}\right\}, \qquad \mathbb{F}_3 = \left\{\overline{0}, \overline{1}, \overline{2}\right\}, \qquad \mathbb{F}_5 = \left\{\overline{0}, \overline{1}, \overline{2}, \overline{3}, \overline{4}\right\}, \qquad \mathbb{F}_7 = \left\{\overline{0}, \overline{1}, \overline{2}, \overline{3}, \overline{4},\overline{5},\overline{6}\right\}, \qquad \mathbb{F}_{11} = \left\{\overline{0}, \overline{1}, \overline{2}, \overline{3}, \overline{4},\overline{5},\overline{6},\overline{7},\overline{8},\overline{9},\overline{10}\right\}, \qquad \ldots</math>

usw. Dabei müssen die durch die Über-Striche angedeuteten Restklassen natürlich stets auf die betroffene Primzahl angewendet werden.<ref>Jürgen Neukirch: Algebraische Zahlentheorie. Springer-Verlag, Berlin/Heidelberg 1992, S. 91.</ref>

Beispiel: Der Körper mit 2 Elementen

Die Restklassen modulo 2 bilden den Körper <math>\mathbb F_2 = \operatorname{GF}(2)</math> mit zwei Elementen. <math display="inline">0</math> repräsentiere die Restklasse <math>2 \Z</math> der geraden Zahlen, <math>1</math> die Restklasse <math>1 + 2 \Z</math> der ungeraden Zahlen. Für die Addition gilt:

<math>0+0=0,\qquad 0+1=1,\qquad 1+0=1,\qquad 1+1=0</math>

Für die Multiplikation gilt:

Klassifikation endlicher Körper

Ist <math>\mathbb K</math> ein endlicher Körper, so ist der Kern des Ringhomomorphismus <math>f\colon \Z\to \mathbb K</math>, <math>n \mapsto n \cdot 1</math> stets von der Form <math>p \Z</math> mit einer gewissen Primzahl <math>p</math>, d. h., er besteht aus allen Vielfachen von <math>p</math>. Dabei beachte man, dass 1 keine Primzahl ist. Diese Primzahl <math>p</math> heißt die Charakteristik von <math>\mathbb K</math>. Das Bild von <math>f</math> ist nach dem Homomorphiesatz für Ringe isomorph zum Restklassenkörper <math>\Z/p\Z</math> und heißt der Primkörper von <math>\mathbb K</math>. Als endlicher Erweiterungskörper ist <math>\mathbb K</math> zugleich ein <math>n</math>-dimensionaler Vektorraum über seinem Primkörper. Somit hat <math>\mathbb K</math> genau <math>q=p^n</math> Elemente.

In einem Körper <math>\mathbb{K}</math> mit Charakteristik <math>p>0</math> ist die Abbildung

<math>\mathcal F\colon \mathbb K \to \mathbb K: x \mapsto x^p</math>

wegen

ein Homomorphismus additiver Gruppen.

Die übrigen nach der binomischen Formel auf der rechten Seite auftretenden Summanden fallen weg wegen <math>\tbinom pi \equiv 0 \bmod p </math> für <math>1\le i<p</math>. <math>\mathcal F</math> trägt zu Ehren Ferdinand Georg Frobenius’ den Namen Frobeniushomomorphismus, der ein Automorphismus ist und deshalb auch Frobeniusautomorphismus genannt wird. Der Primkörper wird durch <math>\mathcal F</math> punktweise fixiert (in der Tat ist z. B. <math>4^7 - 4</math> ein Vielfaches von 7). Ebenso ist <math>\mathcal F^n = \mathrm{id}</math> auf jedem Körper mit <math>q=p^n</math> Elementen. Andererseits besitzt <math>x^{p^n}-x</math> als Polynom vom Grad <math>p^n</math> höchstens <math>p^n</math> verschiedene Nullstellen. Diese sind alle durch die Elemente von <math>\mathbb K</math> erfasst.

Hieraus lässt sich folgern:

Für jede Primzahl <math>p</math> und jede natürliche Zahl <math>n</math> gibt es bis auf Isomorphie genau einen Körper <math>\mathbb F_q</math> mit <math>q=p^n</math> Elementen.
Dieser stellt eine Galois-Erweiterung seines Primkörpers dar.
Die Galoisgruppe ist zyklisch von Ordnung <math>n</math> und wird von <math>\mathcal F</math> erzeugt.

Weitere Eigenschaften endlicher Körper:

Alle Elemente außer 0 der additiven Gruppe eines endlichen Körpers der Charakteristik <math>p</math> haben Ordnung <math>p.</math>
Wie bei jeder endlichen separablen Körpererweiterung gibt es stets ein primitives Element, also ein <math>x\in\mathbb F_q</math> derart, dass der Erweiterungskörper durch Adjunktion nur dieses einen Elements entsteht. Ist <math>f\in\mathbb F_p[X]</math> das Minimalpolynom von <math>x ,</math> so hat <math>f</math> den Grad <math>n</math> und es gilt <math>\mathbb F_q \cong \mathbb F_p[X]/(f)</math>. Ferner ist <math>\mathbb F_q</math> stets bereits der Zerfällungskörper von <math>f</math>, d. h., <math>f</math> zerfällt über <math>\mathbb F_q</math> vollständig in Linearfaktoren.
Ist <math>m</math> ein Teiler von <math>n</math>, so ist <math>\mathbb F_{p^m} \subset \mathbb F_{p^n}</math> eine Galois-Erweiterung vom Grad <math>n/m</math>. Die zugehörige Galois-Gruppe ist ebenfalls zyklisch und wird von der <math>m</math>-ten Potenz <math>\mathcal F^m</math> des Frobeniusautomorphismus erzeugt.

Multiplikative Gruppe und diskreter Logarithmus

Die multiplikative Gruppe <math>\mathbb{F}_q^*</math> (oder auch <math>\mathbb{F}_q^\times</math>) des endlichen Körpers <math>\mathbb{F}_q</math> besteht aus allen Elementen des Körpers mit Ausnahme der Null. Die Gruppenoperation ist die Multiplikation des Körpers.

Die multiplikative Gruppe ist eine zyklische Gruppe mit <math>q - 1</math> Elementen. Da deshalb für alle Elemente <math>x</math> dieser Gruppe <math>x^{q-1} = 1</math> gilt, ist jedes Element eine <math>(q-1)</math>-te Einheitswurzel des Körpers. Diejenigen Einheitswurzeln, die Erzeuger der multiplikativen Gruppe sind, werden als primitive Einheitswurzeln oder Primitivwurzeln bezeichnet. Es sind dies die <math>\varphi(q-1)</math> verschiedenen Nullstellen des <math>(q-1)</math>-ten Kreisteilungspolynoms. (<math>\varphi</math> bezeichnet die eulersche φ-Funktion.)

Ist <math>x</math> eine Primitivwurzel der multiplikativen Gruppe <math>\mathbb{F}_q^*</math>, dann lässt sich die multiplikative Gruppe als Menge <math>\left\{x^0, x^1, x^2, \dotsc, x^{q-2} \right\}</math> darstellen. Ein solches <math>x</math> wird daher auch als Erzeuger oder Generator bezeichnet. Für jedes Element <math>a</math> gibt es eine eindeutig bestimmte Zahl <math>m \in \{0, 1, 2, \dotsc, q-2 \}</math> mit <math>a = x^m</math>. Diese Zahl <math>m</math> heißt diskreter Logarithmus von <math>a</math> zur Basis <math>x</math>. Obwohl sich <math>x^m</math> für jedes <math>m</math> problemlos berechnen lässt, ist die Aufgabe, zu gegebenem <math>a</math> den diskreten Logarithmus <math>m</math> zu finden, nach gegenwärtigem Wissensstand für große Zahlen <math>q</math> ein extrem rechenaufwändiger Vorgang. Deshalb findet der diskrete Logarithmus Anwendung in der Kryptographie, etwa beim Diffie-Hellman-Schlüsselaustausch.

Weitere Beispiele

Der Körper <math>\mathbb{F}_{p^n}</math> kann mit Hilfe des Primkörpers <math>\mathbb{F}_p \cong \Z/p\Z</math> konstruiert werden: Da <math>\mathbb{F}_p[X]</math> ein Hauptidealring ist, erzeugt jedes irreduzible Element ein maximales Ideal. Für ein irreduzibles Polynom <math>f(X) \in \mathbb{F}_p[X]</math> vom Grad <math>n</math> ist der Faktorring <math>\mathbb{F}_p[X] / (f(X))</math> damit ein Körper mit <math>p^n</math> Elementen.

Der Körper mit 4 Elementen

Für den Fall <math>p^n=2^2</math> wird ein irreduzibles Polynom 2-ten Grades über <math>\mathbb{F}_2</math> gesucht. Es existiert nur ein einziges, nämlich <math>f(X) = X^2 + X + 1</math>. Die Elemente des Körpers <math>\mathbb{F}_4</math> sind die Restklassen des Faktorrings <math>\mathbb{F}_2[X] / (f(X))</math>. Die <math>X</math> enthaltende Restklasse sei mit <math>x</math> bezeichnet, so dass <math>x</math> Nullstelle von <math>f(X)</math> in <math>\mathbb{F}_2[X]</math> ist. Die andere Nullstelle ist dann <math>x+1 ,</math> denn es ist

Das Produkt von <math>x, x+1 \in \mathbb{F}_4</math> berechnet sich beispielsweise dann als

<math>x \times (x + 1) = x^2 + x = 1 + x^2 + x + 1 = 1 + f(x) = 1</math>.

Die vollständigen Verknüpfungstafeln für Addition (+) und Multiplikation (×) in <math>\mathbb{F}_4</math> lauten:

+	0	1	x	x+1
0	0	1	x	x+1
1	1	0	x+1	x
x	x	x+1	0	1
x+1	x+1	x	1	0

×	1	x	x+1
0	0	0	0
1	1	x	x+1
x	x	x+1	1
x+1	x+1	1	x

Farblich hinterlegt ist der Unterkörper <math>\mathbb{F}_2</math>.

Der Körper mit 49 Elementen

Im Primkörper <math>\mathbb F_7 \cong \Z/7\Z</math> ist −1 kein Quadrat. Dies folgt aus dem 1. Ergänzungssatz zum quadratischen Reziprozitätsgesetz von Carl Friedrich Gauß oder – bei einer derart kleinen Primzahl – durch explizites Quadrieren aller sechs Elemente der multiplikativen Gruppe. So wie die komplexen Zahlen <math>\Complex</math> aus den reellen Zahlen durch Adjunktion einer Zahl <math>\mathrm i</math> mit <math>\mathrm i ^2= -1</math> entstehen, lässt sich auch <math>\mathbb F_{49}</math> aus <math>\mathbb F_7</math> durch Adjunktion einer „Zahl“ <math>j</math> mit <math>j^2 = -1 = 6</math> gewinnen; formal korrekt als <math>\mathbb F_{49} \cong \mathbb F_7[X]/(X^2+1).</math> Gleichzeitig ist <math>\mathbb F_{49} \cong\Z[\,\mathrm i\,]/(7)</math> auch ein Faktorring des Rings der ganzen Gaußschen Zahlen.

Der Körper mit 25 Elementen

In Charakteristik 5 ist −1 stets ein Quadrat: <math>2^2\equiv -1 \bmod 5</math>. Keine Quadrate modulo 5 sind jedoch die Zahlen 2 und 3. (In Charakteristik <math>p</math> mit <math>p>2</math> sind stets genau die Hälfte der Elemente der multiplikativen Gruppe <math>\mathbb F_q^*</math> Quadrate bzw. Nichtquadrate.) Man kann also den Körper mit 25 Elementen als <math>\mathbb F_5[X]/(X^2-2)</math>, also durch Adjunktion von <math>\sqrt 2</math> erhalten.

Zur historischen Entwicklung

Dass man mit Zahlen modulo einer Primzahl „wie mit rationalen Zahlen“ rechnen kann, hatte bereits Gauß gezeigt.<ref>Zur historischen Entwicklung vgl. man Wußing, S. 354 ff.</ref> Galois führte in die Rechnung modulo <math>p</math> imaginäre Zahlgrößen ein, ganz so wie die imaginäre Einheit <math>\mathrm i</math> in den komplexen Zahlen. Damit hat er wohl als erster Körpererweiterungen von <math>\mathbb F_p</math> betrachtet – wenn auch der abstrakte Körperbegriff erst 1895 durch Heinrich Weber eingeführt wurde und Frobenius als Erster diesen 1896 auf endliche Strukturen ausdehnte. Daneben bzw. zuvor hat offenbar Eliakim Hastings Moore 1893 bereits endliche Körper studiert und den Namen Galois field eingeführt.<ref>Vgl. Earliest Known Uses of Some of the Words of Mathematics (F). Abgerufen am 12. September 2009.</ref>

Literatur

Dieter Jungnickel: Finite fields: Structure and arithmetics. B.I. Wissenschaftsverlag, 1993, ISBN 3-411-16111-6.
Hans Kurzweil: Endliche Körper. Verstehen, Rechnen, Anwenden. Springer, ISBN 978-3-540-79597-1.

Zur historischen Entwicklung:

Hans Wußing: 6000 Jahre Mathematik. Bd. 1. Springer, Berlin 2008, ISBN 978-3-540-77189-0.

Anmerkungen

Einzelnachweise