Теорема 1. Поле является полем разложения всякого неприводимого многочлена f(х) степени п над полем .
Следствие 1. Порядки всех корней неприводимого многочлена равны.
Назовем порядком многочлена f(x)ÎFp[x], f(0) ¹ 0 наименьшее натуральное е, при котором многочлен f(x) делит xе –1. Порядок обозначается ord(f(x)).
Следствие 2. Пусть f(x) – неприводимый многочлен степени п над полем Fp. Порядок этого многочлена совпадает с порядком любого его корня в мультипликативной группе поля разложения.