Теорема о подполях конечных полей.

Если kGF(), то kGF(), причем m | n. Обратно, для всякого делителя m числа n в поле GF() существует единственное подполе из элементов.

Доказательство.

Поскольку k имеет характеристику p оно состоит из q = элементов. Поле GF() можно рассматривать как расширение степени l поля k и, следовательно оно состоит из элементов, так что n = ml. Обратно, поскольку kGF(), всякий его элемент удовлетворяет уравнению = x. Это уравнение имеет не более корней в поле GF(), и значит если такое подполе существует, его элементы определяются однозначно. Остается доказать, что при n = ml уравнение = x имеет ровно корней в GF(). Проверим, что. Обозначим и заметим, что число целое. Имеем: .Так как y =1 корень числителя, то деление выполняется нацело. Поскольку в поле GF() многочлен распадается, то же верно и для его делителя и потому этот многочлен имеет корней.

Теорема о действии автоморфизма Фробениуса.

Автоморфизм Фробениуса Ф: циклически переставляет корни любого неприводимого многочлена степени n над GF(p).

Доказательство.

Пусть s заданный многочлен и a один из его корней. Тогда Ф Достаточно проверить, что все элементы a, Ф(a), , Ф попарно различны. Допустим, что Ф(a)= Ф(a), то есть, где i<j<n. Обозначим v = i- j+n. Возводя обе части полученного равенства в степень, получаем: . Таким образом a содержится в поле разложения многочлена, то есть в GF(). Поскольку v<n это невозможно.