Вопрос 37.1. Существование и единственность конечного поля заданной мощности. Свойства конечных полей Конечные поля.

Опр. поле Р – конечное, если |P|<.

У тверждение. Пусть Р – конечное поле, тогда:

1. Р – расширение конечной степени простого поля /р, р – простое число.

2. |P|=рⁿ, где [P:P₀]=n, Р₀ – простое поле, |P₀|=p, р – простое число.

3. char(P)=char(P₀)=p (p – простое число)

4. Р – минимальное поле разложения F(x)=x^p-x над Р₀ (простым полем).

Д оказательство. 1) |P|<, P₀<P, P₀ – простое подполе, тогда |P₀|<   р – простое число, такое что P₀= /р и | P₀|=p

2 ) т. к. |P|< и по свойству 2, то Р= P₀(М) – конечное расширение, т.е. |M|< [P:P₀]<, т.е. Р – линейное пространство над Р₀ конечной размерности, т.е.  wP: w=a₁₁+…+ a_n_n, a_iP₀, _i , но тогда |P|=|P₀|ⁿ, где n=dim( )=[P:P₀]=n, т.е. |P|=pⁿ, где р=|P₀|.

3 ) char(P)=char(P₀), где Р>P₀, P₀ – простое подполе и р=char(P₀)=char( /p)

4) Рассмотрим Р^*=Р\{0}. Но Р^*() – абелева группа, причем |Р^*()|=рⁿ-1, т.е. аР^*: =1, т.е. а – корень уравнения -1=0. Тогда аР является корнем уравнения -x=0. Но число корней -x=0  рⁿ  все корни -x=0 различны и их ровно рⁿ штук. Тогда Р – минимальное поле разложения -x.ЧТД

Т еорема. р – простого и n ! Р – конечное поле, т.ч. |P|=рⁿ (с точностью до изоморфизма)

Д оказательство Рассмотрим F(x)= -x над полем P₀, т.ч. P₀  /р. Пусть Р – минимальное поле разложения многочлена F(x), т.е. множество М={|F()=0}P. Докажем, что М – поле, т.е. достаточно показать, что a,bМ: abM и a+bM.

а) Покажем, что abM. Рассмотрим

б) Покажем, что a+bM, т.е. надо показать , для этого покажем, что . Применим метод математической индукции.

1. n=0 – утверждение верно

2. допустим верно для всех k меньших некоторого n.

3. Покажем, что при этих допущениях верно и при n.



(последнее равенство имеет место быть, так как (Это легко видеть, если расписать по определению))

Таким образом М – поле. Но МР, где Р – минимальное поле разложения  М=Р.

Осталось показать, что |P|=pⁿ, т.е. у многочлена F(x) нет кратных корней. Воспользуемся критерием: f(x) не имеет кратных корней  НОД(f(x),f’(x))=1, т.е. найдем

НОД( -x, -1)=НОД( -x, -1)=1  кратных корней нет и |P|=pⁿ.

Докажем единственность. Пусть |P₁|=|P₂|=pⁿ. Но P₁,P₂ – минимальные поля разложения F(x)= -x  (по теореме о мин. поле разложения многочлена) P₁P₂.

Утверждение. Пусть Р – конечное поле, тогда Р^*=Р\{0} – циклическая группа. (без доказательства)

Опр. Пусть Р – конечное поле,  - примитивный элемент Р, если <>=Р^*.

То есть все поле, кроме нулевого элемента, должно порождаться этим примитивным элементом.

У тверждение.  конечного поля Р и n f(x)P[x], т.ч. f(x) – неприводим и deg(f(x))=n.