Endlicher Körper

Ein endlicher Körper ist ein Körper mit endlich vielen Elementen; für jede Primzahlpotenz gibt es genau einen solchen Körper mit einer reichhaltigen und rechnerisch nützlichen Struktur.

Definition

Ein endlicher Körper ist ein Körper, der endlich viele Elemente enthält; seine Ordnung ist notwendigerweise eine Potenz einer Primzahl, und er wird als Zerfällungskörper eines geeigneten Polynoms über dem Primkörper konstruiert.

Scope

Dieses Thema behandelt die Charakteristik und den Primunterkörper, die Klassifizierung endlicher Körper nach Primzahlpotenzordnung, die zyklische Struktur der multiplikativen Gruppe, den Frobenius-Automorphismus, die Unterkörperstruktur und die Konstruktion endlicher Körper als Zerfällungskörper und Quotienten von Polynomringen.

Core questions

• Welche Ordnungen kann ein endlicher Körper haben?
• Wie werden endliche Körper einer gegebenen Ordnung klassifiziert?
• Welche Struktur hat die multiplikative Gruppe eines endlichen Körpers?
• Wie organisieren der Frobenius-Automorphismus und Unterkörper einen endlichen Körper?

Key theories

Klassifikation endlicher Körper

Für jede Primzahlpotenz existiert bis auf Isomorphie genau ein endlicher Körper dieser Ordnung, realisiert als Zerfällungskörper des Polynoms, dessen Wurzeln genau seine Elemente sind.

Zyklische multiplikative Gruppe

Die von Null verschiedenen Elemente eines endlichen Körpers bilden eine zyklische Gruppe unter Multiplikation, sodass der Körper ein primitives Element besitzt, das alle von Null verschiedenen Elemente als Potenzen erzeugt.

Frobenius-Automorphismus

Das Potenzieren mit der charakteristischen Primzahl ist ein Körperautomorphismus, die Frobenius-Abbildung, die die zyklische Galois-Gruppe eines endlichen Körpers über seinem Primkörper erzeugt und seine Unterkörperstruktur bestimmt.

Clinical relevance

Endliche Körper sind grundlegend für die Kodierungstheorie und Kryptographie, wo Reed-Solomon- und andere Fehlerkorrekturcodes, elliptische Kurven-Kryptosysteme und der Advanced Encryption Standard alle über endlichen Körpern berechnet werden, sowie für die Kombinatorik durch endliche Geometrien und Differenzmengen.

History

Galois führte Körper von Primzahlpotenzordnung bei der Untersuchung von Kongruenzen ein, daher werden endliche Körper auch Galois-Körper genannt. E. H. Moore bewies 1893, dass jeder endliche Körper bis auf Isomorphie durch seine Ordnung bestimmt ist, und Dickson entwickelte ihre Theorie im frühen zwanzigsten Jahrhundert umfassend.

Key figures

• Évariste Galois
• E. H. Moore
• Leonard Eugene Dickson

Seminal works

• dummit2004
• lang2002
• hungerford1974

Frequently asked questions

Warum muss ein endlicher Körper eine Primzahlpotenzordnung haben?

Ein endlicher Körper enthält einen kleinsten Unterkörper, der isomorph zu den ganzen Zahlen modulo einer Primzahl ist, seine Charakteristik, und ist ein endlichdimensionaler Vektorraum über diesem Unterkörper. Seine Größe ist daher diese Primzahl, potenziert mit der Dimension, eine Primzahlpotenz.

Sind zwei endliche Körper gleicher Größe wirklich identisch?

Ja, bis auf Isomorphie. Für jede Primzahlpotenz gibt es einen eindeutigen endlichen Körper dieser Ordnung, weshalb sie eindeutig durch ihre Größe bezeichnet werden. Verschiedene Konstruktionen, wie z. B. verschiedene irreduzible Polynome, ergeben isomorphe Körper.