Конечное поле

Конечное поле — это поле с конечным числом элементов; для каждой простой степени существует ровно одно такое поле, обладающее богатой и вычислительно полезной структурой.

Definition

Конечное поле — это поле, содержащее конечное число элементов; его порядок обязательно является степенью простого числа, и оно строится как поле разложения подходящего полинома над простым полем.

Scope

Эта тема охватывает характеристику и простое подполе, классификацию конечных полей по порядку, являющемуся степенью простого числа, циклическую структуру мультипликативной группы, автоморфизм Фробениуса, структуру подполей и построение конечных полей как полей разложения и факторколец полиномиальных колец.

Core questions

• Какие порядки может иметь конечное поле?
• Как классифицируются конечные поля данного порядка?
• Какова структура мультипликативной группы конечного поля?
• Как автоморфизм Фробениуса и подполя организуют конечное поле?

Key theories

Классификация конечных полей

Для каждой степени простого числа существует, с точностью до изоморфизма, ровно одно конечное поле этого порядка, реализуемое как поле разложения полинома, корни которого являются в точности его элементами.

Циклическая мультипликативная группа

Ненулевые элементы конечного поля образуют циклическую группу по умножению, поэтому поле имеет примитивный элемент, порождающий все ненулевые элементы как степени.

Автоморфизм Фробениуса

Возведение в степень, равную характеристике простого числа, является автоморфизмом поля, отображением Фробениуса, которое порождает циклическую группу Галуа конечного поля над его простым полем и управляет структурой его подполей.

Clinical relevance

Конечные поля являются основополагающими для теории кодирования и криптографии, где коды Рида-Соломона и другие коды с исправлением ошибок, криптосистемы на эллиптических кривых и усовершенствованный стандарт шифрования (Advanced Encryption Standard) используют вычисления над конечными полями, а также для комбинаторики через конечные геометрии и разностные множества.

History

Галуа ввел поля порядка, являющегося степенью простого числа, при изучении сравнений, поэтому конечные поля также называют полями Галуа. Э. Х. Мур доказал в 1893 году, что каждое конечное поле определяется с точностью до изоморфизма своим порядком, а Диксон extensively развил их теорию в начале двадцатого века.

Key figures

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

Seminal works

• dummit2004
• lang2002
• hungerford1974

Frequently asked questions

Почему конечное поле должно иметь порядок, являющийся степенью простого числа?

Конечное поле содержит наименьшее подполе, изоморфное целым числам по модулю простого числа, его характеристике, и является конечномерным векторным пространством над этим подполем. Следовательно, его размер равен этому простому числу, возведенному в степень размерности, то есть степени простого числа.

Два конечных поля одинакового размера действительно одинаковы?

Да, с точностью до изоморфизма. Для каждой степени простого числа существует единственное конечное поле этого порядка, поэтому они однозначно обозначаются своим размером. Различные конструкции, такие как различные неприводимые полиномы, дают изоморфные поля.