Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Методы по алгебре Липницкий, БГУИР (Мет пособие) / lipnickiy_v_a_sovremennaya_prikladnaya_algebra_matematichesk

.pdf
Скачиваний:
85
Добавлен:
15.06.2014
Размер:
2.76 Mб
Скачать

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4. ТЕОРИЯ ПОЛЕЙ И КОНЕЧНЫХ ПОЛЕЙ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

 

й

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.1. Характеристика поля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

с

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

Белорусский

 

 

 

 

 

 

ы

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

из

 

общего

 

 

многообразия

 

 

коммутативных

 

колец

 

 

 

Поля

выделяются

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

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

 

все

 

ненулевые

 

элементы,

отсутствием

 

делителей

 

нуля,

отсутствиеми

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

й

собственных идеалов. аНеотъемлимым атрибутом, важнейшим из свойств

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

каждого поля является его характеристика.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

Если в поле

P

 

существует такое натуральное

 

n,

 

 

 

Определение 4.1.1.

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

к

 

 

Теорема 4.1.1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если характеристика поля отличнарадиоэлектроникиот нуля, то она

 

что равнаенулю сумма

n

 

 

единиц ( n

раз складывается с самим собой

1

 

 

а

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

ы

 

ито

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

отличнам

от нуля, то говорят, что характеристикауниверситетполя P равна 0.

 

 

 

нейтральныйф

элемент

 

относительно

 

 

умножения):

 

1

+1

+... +

1 = 0,

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

т

 

 

 

 

 

наименьшееа

n

с таким свойством называется характеристикой поля

P

 

 

и

 

обозначается

через

charP.

 

Если в поле

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

P любая конечная сумма единиц

 

является числом простым.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

д

 

е

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

Предположим,

что

поле

 

 

 

 

 

 

 

P

 

 

имеет

конечную

 

характеристику

 

n,

причем

 

n = km число составноеф т. По определению это

 

означает, что в поле

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P некоторые конечные суммыаиз одной единицы равны

 

нулю, причем наименьшая из таких сумм содержит

 

n

 

 

 

слагаемых, n единиц.

 

Эту, равную нулю, сумму

 

 

 

 

n

 

 

 

единиц

 

можном

,

 

 

пользуясь

свойством

 

ассоциативности сложения сгруппировать в

m

 

групп по

 

k

единиц в каждой.

 

Сумма

 

k единиц - это какой-то ненулевой элемент

 

 

 

b P.

Таким образом,

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

элементов

 

b,

 

то есть

 

равная нулю сумма

n

 

единиц равна сумме m

 

 

 

 

 

 

 

 

 

 

 

 

b

информатики

и

 

 

 

 

k

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

произведению

 

на сумму из

 

 

 

 

 

единиц, равную какому-то отличному от

 

нуля элементу

c P.

 

 

 

 

 

 

 

 

 

 

 

е

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

bc = 0

для ненулевых

 

Значит, мы имеем произведение

 

 

 

b,c P.

Это противоречит отсутствию делителей нуля в поле (см. следствие из

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ненулевымрадиоэлектроникиэлементом, в частности, единицей – нейтральнымгосударственныйэлементомш

 

теоремы 3.4.1). Следовательно,

 

 

 

charPк

= n

не может быть составным числом.

 

 

 

Белорусский

 

 

 

 

 

 

ы

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема доказана.

 

 

 

 

 

 

 

 

 

 

 

группой

порядка

 

 

p,

 

 

 

 

порожденной

 

любыме

следовательноуниверситет, циклической

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

т

P = Z / pZ,

 

 

p простое число,

характеристикаи

 

 

 

Пример 4.1.1. В поле

 

 

 

 

относительнодумножения. Согласно

 

теореме

2.4.2

 

о

 

 

структуреинформатикициклических

й

равна

 

p. В самом деле, Z / pZ является аддитивной группой из

p элементов и,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроникиполя P ,

 

 

 

с

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

если все его

 

 

мОпределение 4.1.2. Поле

 

 

называется подполем

 

 

 

 

 

 

а

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

и

 

 

групп

 

ф

е

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

В

 

т

и

 

 

 

Z / pZ ={1, 1 + 1

= 2,..., 1 + 1 +... + 1 = p 1, 1 + 1 +

... + 1 =

0}.ыЭто

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

означает, что char(Z / pZ ) = p.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

Пример 4.1.2. Поля

 

Q, R, C имеют, очевидно, характеристикуа0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

элементы принадлежат полю

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

е

 

 

 

 

 

 

 

 

 

 

 

P .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ф

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 4.1.2.

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

P

имеет характеристику

p,

 

то и

 

 

 

 

 

Если подполе поля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

й

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

поле

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

P

 

имеют ту же

 

 

имеет ту же характеристику. Все подполя поля

 

 

характеристику.

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

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

следует из

кединственности нейтрального элемента в

 

 

 

 

 

БелорусскийТеорема

4.1.3.

 

а

Пусть

 

 

 

P произвольное

поле

 

положительной

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ы

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

группе и, следовательно, из единственности единицы в любом поле.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

В

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0.

С их точ-

 

 

 

 

 

Со школьной скамьи мы привыкли к полям характеристики

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

ки зрения арифметика полей положительной характеристики весьма экзотична.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информаики

и

 

 

 

 

й

характеристики

 

 

м

Пусть

 

 

n произвольное целое число и

 

r остаток от

 

 

p.

 

 

 

 

 

деления

 

n

д

 

 

 

p.

 

Тогда для каждого элемента

a P

 

имеет место

 

 

 

 

 

на

 

 

 

 

 

равенствое:

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

с

 

 

 

 

к

 

 

 

na = ra.

В частности,

 

при

n

= pq

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

произведение

 

na = pqa = 0.

 

 

 

 

 

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

 

Произведение

 

na = a + a +Белорусский... + a = a(1 +1 +... +1) сумма

 

 

 

 

а

фp = 2,

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

ы

 

 

 

 

 

 

 

 

Если

 

 

 

то при

n = 2k

 

произведение

na

 

= 2ka

= 0,

 

а при

n = 2kи+1

 

 

К

 

 

 

 

 

 

 

 

 

na = (2k

+1)a = a.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

т

 

 

 

 

 

 

произведениеа

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

равных

 

a.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

одинаковых слагаемых,

 

 

В силу закона дистрибутивности эта

 

сумма представима в виде произведения

 

a

 

 

 

 

 

 

 

 

д

n

единицм

. В силу

 

 

на сумму из

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

ев последней сумма

 

ассоциативности сложения и определения характеристики

 

каждых

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p единиц равна нулю. Отсюда и вытекает утверждение теоремы.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

n

 

n

 

k

 

nk

 

 

k

 

 

 

 

 

 

Мы хорошо

знаем

формулу

бинома

К

 

 

 

 

 

(a + b)

 

= ∑Cn a

 

b .

 

 

 

 

 

Ньютонаа:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =0

 

 

 

 

 

 

 

 

 

(Здесь уместно отметить факт исторической

мнесправедливости: формула,

 

носящая имя Ньютона, была известна ещё в Х в., например, знаменитому

 

среднеазиатскому поэту и философу Омару Хайяму). В полях характеристики

 

(a + b)

 

= a

 

 

 

+ bгосударственный; (a b) =шa

 

кb .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

при

n = pk

формула бинома Ньютона выглядит совершенно по-другому.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

и

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a,b P

 

 

 

 

 

Теорема

4.1.4.

 

 

Пусть

 

charP = p > 0.

Тогда

для

любых

 

 

 

 

 

 

 

 

p

 

 

p

 

 

 

 

p

 

 

 

 

 

 

 

 

p

 

 

p

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(a + b)

 

= a

 

 

+ b

 

;

 

 

(a b)

 

 

= a

еb

 

;

 

а

 

для

 

каждого

 

целого

 

 

 

k 1

 

 

 

 

 

 

pk

 

 

 

pk

 

 

pk

 

 

 

 

pk

 

 

pk

 

 

 

pk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C =

 

 

 

 

 

 

 

 

 

 

 

.

Числитель данной дроби делится на

 

p,

 

Белорусский

 

 

 

 

 

 

ы

 

 

 

 

и

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

p

 

 

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

 

 

Заметим,

 

что

 

все

биномиальные

 

коэффициенты

 

 

 

 

 

университет

 

 

 

а

1 2 ... k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

Cp ,1k < p,

 

 

 

 

 

 

 

В

 

т

 

 

 

 

 

числами и вычисляются по формулеи

:

 

 

 

являются

целыми

 

 

 

простоты этогод

числа. Следовательно,

Cn

делится на

p.

информатикиТогда, согласно

й

 

k

 

 

p( p 1)

...

 

( p k +

1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

к

ни один из множителей знаменателя не может быть делителем

 

в силу

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

с

 

 

 

 

 

 

 

 

 

 

м

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

ф

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

ынулю, что

 

теореме 1.3,

 

 

соответствующие слагаемые бинома Ньютона равны

 

 

 

 

а

 

 

 

 

 

первую формулу

 

для

 

бинома

Ньютона в характеристикеВ т

 

 

p.

 

доказывает

 

 

 

 

 

 

 

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

Остальные формулы доказываются аналогично.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 4.1.3. Пусть

 

P поле характеристики

 

p

и

 

 

м

 

 

 

 

P

 

в

 

 

 

 

 

 

 

g вложение

 

 

поле

 

 

P% = P[x]/ < p(x) >

(см.

пример

2.8.6)

для

неприводимогод

полинома

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

ф

е

т

е

 

 

 

 

 

 

 

 

 

 

 

 

 

p(x) P[x]. Тогда, согласно теореме 4.1.2,

P

 

 

 

 

 

 

 

 

 

 

 

 

 

p.

 

 

 

 

также поле характеристики

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

а

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметим,

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что существуют бесконечные по количеству элементов поля

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

конечной характеристики. Примером такого поля является поле рациональных

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

функций,

то

 

есть

дробей

 

 

 

 

 

 

 

 

, где

f (x)

 

 

 

и

 

 

 

 

g(x) 0 полиномы

из

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

g(x)

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

Белорусский

 

 

 

ы

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.2. Подполя и минимальные подполя

 

 

 

 

 

 

 

 

 

 

 

(Z / pZ )[x]

, с естественными операциями сложения и умножения дробей.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

и

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обычнодполе имеет достаточно большой спектр подполей.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример

 

 

4.2.1.

 

 

Поле

рациональных

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

поля

 

 

 

 

 

 

 

 

чисел

 

 

 

Q

подполес

 

бесконечно много промежуточных подполей. ДляБелорусскийкаждого простого числа

p

 

 

 

а

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

ы

 

 

 

 

 

вещественныхф

 

чисел

R,

 

 

 

а

 

оно

в

свою

очередь

 

 

 

является

подполем

поляи

 

К

 

 

 

 

 

чисел

C.

Между

 

 

C

и

Q,

между

 

 

R

 

и

Q

Всуществуетт

 

комплексныха

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

полином

 

x2

p

неприводим

над

Q,

 

согласно

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

критерию

Эйзенштейна

 

(теорема 3.5.5

 

; впрочем,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

е

 

,

что

 

 

 

p

 

не

 

 

можно и непосредственно убедитьсяд

 

 

 

 

 

являяется рациональным числом);

 

 

 

 

 

 

ф

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

непосредственнными вычислениями можно

 

убедиться,

что

 

множество

 

 

 

 

K ={a + b

 

 

а

 

 

а

является

 

полем.

 

 

Это

 

 

 

 

 

 

p; a,b Q}

 

 

 

 

 

 

 

 

подполе поля

 

 

 

R,

содержащее

Q

в качествеК

своего подполя. Аналогично

 

образует поле множество

 

 

F ={a + bi; a,b Q}

мкомплексных рациональных

 

чисел. Оно содержит

Q и принадлежит полю комплексных чисел C.

 

 

 

 

 

 

 

 

P .

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

На многообразии всех подполей данного поля определено отношение

 

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

 

 

 

 

 

 

 

 

 

 

информатики

и

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Также имеет место

 

 

 

 

 

 

 

 

 

 

е

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 4.2.1.

Пересечение подполей поля

 

P

является подполем поля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

свойства групп.

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлек

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство следует из соответствующегок

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

ы

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

Определение 4.2.2.

 

Минимальным, или простым,

называется поле,

не

 

 

 

университет

 

В

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

содержащее собственных подполей.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

0

и 1.

 

Следовательнод

,

 

 

P

 

содержит циклическую аддитивнуюинформатикисгруппу,

й

 

 

Теорема

 

4.2.2.

Поле

 

рациональных

чисел

 

 

 

Q минимальное

 

 

поле

 

 

 

 

 

 

 

 

 

 

а

Z/pZа– минимальное поле характеристики

р.

 

 

 

 

 

 

 

 

 

е

характеристики 0;

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

P подполе поля

Q.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P.

 

Доказательствороники. Пусть

 

 

 

Оно содержит обязательно

 

Этомозначает, что

Q = P,

то есть что

Q минимальноерадиоэлектроникиполе.

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

ы

 

 

 

 

 

произведениеК

целого числа

 

k

 

на рациональное числоуниверситет1/ n принадлежит полю

 

порожденнуюе

 

числом

1,

то есть группу целых чисел

 

Z.

 

В таком случаеиP

 

 

 

ф

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

т

 

 

 

содержит обратныет

относительно умножения ко всем целым числам, то есть все

 

рациональныеа

 

числа вида

 

1/ n.

Но тогда любое рациональное число

 

k / n

как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

а

 

 

 

 

 

 

 

 

 

Пусть P подполе поля

 

Z / pZ.

 

 

 

 

 

 

 

 

 

 

 

д

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

0

 

и 1.

 

 

 

 

 

 

Оно содержит обязательно

 

 

 

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P содержит циклическую аддитивную группу, порожденную

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

а

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

Теорема доказана.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следовательно, совпадаетинформатикис нимс .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

числом 1,

то есть группу

 

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е=

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

<

1

>={1,

 

1

+

1

=

2,...,1 + 1 + ... +

1

p 1,

1

+

1

+ ... +

1

=

0}, состоящую из

 

 

 

элементов.

Это означает, что

P

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z / pZ и,

 

 

 

 

 

 

содержит все элементы поля

 

 

 

 

е

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

характеристикиБелорусский поля P.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

В любомы

полеи

Р

имеется в точности одно минимальное

 

 

 

 

 

Теорема 4.2.3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

 

 

 

 

 

 

F,

то F

 

принадлежалогосударственныйбы M , но тогдаш

 

содержало собственное подполе

 

 

 

 

подполе,

 

 

изоморфное

 

 

либот

 

Q,

 

 

либо

 

 

Z

/ pZ

 

 

 

в зависимости

 

от

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

и

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Докажем существование минимального поля. Пусть

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M

 

всех подполей данного поля

 

 

P.

Если бы

 

K

 

K пересечение множествам

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

с

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

существовало несколько различных минимальныхБелорусскийподполей, то их пересечение

 

 

 

 

 

 

ф

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F,

поэтому

 

K = F,

и

 

пересечение подполей не может быть большим, чем

 

 

 

 

что

 

 

 

 

а

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K.

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

ы

 

 

 

 

 

 

доказывает минимальность поля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

Докажем

 

единственность

 

минимального поля.

 

Если

 

быВв полет

 

 

P

 

было

м

 

 

 

 

 

меньшим

 

 

подполем,

 

что

 

противоречило

 

бы

 

 

 

 

а

 

 

 

 

 

 

 

бы

 

 

 

 

 

 

 

 

минимальности

 

пересекающихся подполей.

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

е

д

е

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть характеристика поля

равна нулю. Согласно теореме 4.1.2 ее

 

минимальное подполе

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

 

т

 

 

1% нейтральный

 

 

 

K имеет ту же характеристику. Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

элемент этого поля относительно умножения. По определению характеристики

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

циклическая

группа

 

 

 

 

 

<1 >,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

элементом

относительно

 

 

 

 

 

 

 

порожденная

 

этим

 

 

сложения,

 

бесконечна и изоморфна группе

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

целых чисел относительно

 

сложения. Построим ненулевой гомоморфизм

 

ϕ : Q K

 

по следующему

 

правилу:

 

ϕ(0) = 0;

ϕ(1) =

%

 

ϕ

 

 

 

%

+

%

 

 

%

 

 

 

 

 

 

 

 

 

n

 

единиц поля

 

K.

Из

 

 

1;

 

(n) =1

1 +... +1 сумма из

 

 

 

последнего

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следует,

 

 

 

 

 

 

 

 

 

 

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

соотношения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

полагая

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

=ϕ

(m) /ϕ(n).

 

Такое определение корректно –

 

ϕ(1/ n) =1/информатикиϕ(n); ϕ(mс/ n)

 

 

ϕ(n + m) =ϕ(n) +ϕ(m), ϕ(nm) =ϕ

 

 

 

й

 

 

 

для любых целых

 

n, m.

 

 

При этом

 

(n)ϕ(m)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

и

 

 

n,

иначе получили бы противоречие

 

ϕ(n) 0 для каждого целого ненулевого

 

 

 

с равенством

 

 

charP = 0.

 

Продлим гомоморфизм

ϕ

 

с кольца

 

Z

на

 

Q,

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ϕ(q + q ) =ϕ(q ) +ϕ(q ),

то есть ϕ ненулевой

 

q ,q БелорусскийQ ϕ(q q ) =ϕ(q )ϕ(q );

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

ϕ

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

нетрудно убедиться, чтоыпод действием

 

 

 

 

все эквивалентные дроби имеют

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

простаят

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

и

 

 

 

 

одинаковый образ. ТогдаВ

проверка показывает, что для произвольных

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

 

 

 

 

 

 

 

 

 

1

 

2

 

 

 

 

 

 

 

1

2

 

 

 

 

 

1

 

2

 

 

 

 

 

 

1

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

гомоморфизм поля

м

 

 

в поле

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

Q

 

 

 

 

 

K. Согласно следствию 2 из теоремы 3.8.1

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K,

 

 

 

 

 

 

 

 

 

 

Q.

 

 

 

 

 

 

радиоэлектроники

 

K

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

изоморфное

 

 

 

 

 

 

 

имеем:

 

ϕ(Q)

подполе поля

 

 

 

В силу минимальности

 

 

 

минимальноеа

подполе

 

 

K

 

 

имеет ту же

характеристикуБелорусский .

По

определению

 

 

 

 

 

 

 

 

 

 

 

 

 

т

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

ы

 

 

 

 

 

 

ϕ(Q) = K еизоморфизм полей.

 

 

 

 

P

равна

 

p > 0.

 

 

 

 

 

 

 

 

 

 

В

 

 

 

и

 

 

 

 

а

 

 

 

 

 

 

 

характеристика поля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пустьф

 

 

Согласно теоремет4.1.2 ее

 

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

циклическая

группа

<1% >,

 

 

порожденная

 

этим

а

 

 

 

 

 

 

характеристики

 

 

 

 

 

 

элементом

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

м

 

 

 

 

Z / pZ

 

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

 

 

классов

 

вычетов

 

по

 

модулю

 

 

 

 

p.

Построим

ненулевойе е

 

гомоморфизм

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ф

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ϕ : Z / pZ K

 

 

информатики

и

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

 

%

 

%

 

 

 

 

 

 

%

 

 

 

по следующему правилу: ϕ(0) = 0; ϕ(1) =1; ϕ(n) =1 +1 +... +1

 

сумма из

n

единиц поля

K

 

е

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n,1 n p 1.

Из

 

для каждого натурального

 

 

последнего

 

 

 

 

 

 

 

 

 

 

 

 

соотношения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следует,

 

 

 

 

 

 

 

 

 

 

 

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для

 

 

 

 

 

произвольных

 

 

 

 

 

 

 

 

 

е

ϕ(n + m) =ϕ

(n)

+ϕ(m), ϕ(nmс) =ϕ(n)ϕ(m)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

классов

 

 

K

 

 

мыБелорусскийимеем равенство:

 

 

ϕ(Z / pZ ) = K,

 

что и означает изоморфизм полей

K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

ы

 

 

 

 

2 из теоремы 3.8.1 полный образ

 

ϕ(Z / pZ )

 

n, m Z / pZ. Согласно следствиюи

 

 

есть подполе поля

 

K,Визоморфноет

полю

 

 

Z / pZ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

В силу минимальности поля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

и

 

 

 

й

и

 

Z / pZ.

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема полностью доказана.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

д

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

с

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

ы

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т4.3. Векторные пространства и расширения полей

 

 

 

 

 

 

 

 

К

а

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

В

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение и основные свойства векторных пространств над полем R

 

переносятсям

 

на

 

произвольные

поля.

 

При

 

этом

 

 

векторное

пространствоа

над

 

конечным полем имеет свои особенности.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 4.3.1. Пусть V – n-мерное линейное пространство над полем

 

 

F(q)

из

 

 

q элементов. Тогда V состоит из

q

n

 

 

векторове .

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство индукцией по размерности

 

фn

пространстват

 

 

V .

 

При

 

n =1

 

 

 

 

все

 

векторы коллинеарны

одному

К

 

 

 

 

 

 

а

 

 

 

 

 

вектору, то

 

есть

 

 

 

 

 

 

 

ненулевомуа

 

 

 

отличаются от него множителем из

 

F (q),

 

 

следовательно,

мощность

 

 

V

 

= q.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Предположим, что для

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

V

 

=

 

Vk

 

= q

, докажем, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n = k 1 мощность

 

 

 

 

 

 

 

 

 

V

 

 

 

= qk +1.

 

Действительно, все векторы пространства

V

 

 

размерности

 

k +1

 

 

 

 

 

 

 

 

 

 

 

значении

 

xk +1

 

государственныйимеется по предположениюш

индукции

 

 

q

 

 

различных таких

 

 

 

k +1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k +1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

представляют

 

 

 

 

собой

 

 

 

и

всевозможные

 

 

 

 

 

 

 

 

линейные

 

 

комбинации

 

 

x1e1 + x2e2

+... + xk ek

+ xk +1ek +1

 

 

 

 

 

 

векторов

 

 

 

 

 

 

 

фиксированного

 

 

 

 

 

 

базиса

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k +1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e1 ,e2 ,...,ek +1 Vk +1

 

с

 

 

 

 

 

 

 

 

 

е

 

 

 

 

xi

 

F (q).

 

 

 

При

каждом конкретном

 

 

 

коэффициентами

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

имеется всего

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

образом,

 

в пространстве

 

V

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

линейных комбинаций. Такимс

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

k

 

 

 

 

 

университет

 

 

 

 

 

ыи требовалось доказать.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

q = q

 

 

 

векторов, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

и

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 4.3.1.В

 

Если

 

Р

 

является подполем поля

F,

 

 

то

 

F

 

называют расширениемаполя Р.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

Очевидно,

 

 

м

 

 

расширение

произвольного

 

 

поля

 

 

 

является

 

 

 

 

 

 

 

 

любое

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

с

 

 

к

векторным пространством над

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

ы

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

4.3.2. Расширение

F

 

 

 

поля

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определениее

 

 

 

 

 

 

 

 

 

 

называется конечным

 

 

 

 

 

 

 

 

 

ф

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

F

В

 

 

т

 

 

 

Р

 

(степени

 

n),

если размерность векторного пространства

 

над полем

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

конечна (и равна n). Степень расширения принято обозначать через [F : P].

 

 

 

К

 

Пример 4.3.1.

 

Уже первокурсники знают,

 

что поле комплексныха

 

чисел

 

является расширением степени два поля вещественных чисел.

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из теоремы 4.3.1 получаем, что расширение

 

 

F

 

д

 

 

 

 

 

n

 

конечного

 

 

 

 

 

 

 

 

 

 

степени

 

 

поля

F(q)

 

из

q

элементов состоит из

q

n

 

элементове.

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ф

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

Теорема 4.3.2

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если поле

 

 

F

 

 

 

есть

 

 

 

(о башне расширений полей).

 

 

 

 

 

 

расширение поля Р степени

 

 

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m, то

H

 

 

n, а поле H – расширение F степени

 

 

есть расширение Р степени

 

 

 

 

е

иmn.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[H : P] =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

к,...,

f

 

базис пространства

 

F

 

 

над полем

 

 

 

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

Пусть

 

 

f

, f

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

1

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P,

 

пусть

 

h1

 

информатики

 

 

 

 

 

 

 

 

 

 

 

 

 

 

H

 

 

над полем

 

F.

 

 

Система

 

 

 

,h2 ,..., hm

базис пространства

 

 

 

 

 

 

 

элементов поля

H

 

В

ы

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

h1 f1

h2 f1 ...

 

hm f1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

h f

 

h

f

 

...

 

h

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

1

 

 

2

2

 

2

 

 

m

 

2

 

 

 

 

государственныйш

е

 

 

 

 

е

д

 

е

м

 

 

 

 

 

 

 

 

 

...

 

 

... ... ...

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h1 fn h2 fn ...

 

hm fn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

линейнофнезависимат

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

над полем P, является системой образующих линейногои

 

 

а

 

 

 

 

H

над полем

 

P.

 

Иными словами – это базис

 

H

ы

 

 

 

P.

 

пространства

 

 

 

 

над

 

К

 

 

 

а

 

 

[H : P] = mn.

 

Теорема доказана.

Белорусский

 

 

 

 

В

 

 

т

 

 

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

Если степень расширения

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

Следствие.

 

[F :университетP] = q число простое, то

 

поле

F

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

не содержит подполей, промежуточных между F

и

мP.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

Упражнение 4.3.1. Выяснить, может ли расширение степени два поля

 

(поля Q )

быть подполем расширения того же поля

 

 

е

 

 

е

Q ) степени 3?

 

 

 

P (поля

 

 

 

 

 

Упражнение 4.3.2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Какие подполя содержит расширение 127-й степени

 

поля

Z / 2Z ?,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а расширение 4-й степени того же поляа?

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.4. Алгебраические элементы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и алгебраические расширения полей

 

 

 

 

 

 

 

 

 

 

 

 

Определение

 

4.4.1.

 

 

и

 

 

 

 

 

 

α F расширения

 

поля

 

Р

 

является

 

 

 

 

 

Элемент

 

 

 

 

алгебраическим над полем

P,

 

еслийсуществует полином

f (x) P[x],

 

корнем

 

которого является

α,

то есть

 

е

и= 0. В противном случае

 

α

 

 

называют

 

 

f (α)

 

 

 

 

трансцендентнымгосударственныйнад Р элементомш к

.

 

Поле

F

называется алгебраическим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

является алгебраическим

 

расширением поля

Р,

 

если всякий элемент из F

 

 

 

над полем Р.

 

 

 

 

 

 

ы

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

Пример 4.4.1. ВсемВ

хорошот

 

известно, что числа

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π, e трансцендентные

й

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

над

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

π ,

 

0,123456789… -

 

 

Q

 

вещественные ачисла. К ним относятся числа

 

 

число,

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

содержащее после запятой последовательно записанные числа

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

натурального

 

 

 

 

 

 

 

 

 

другие.

 

Известно,

 

что

мощность

 

 

 

 

 

 

 

ряда,

многие

 

 

 

 

 

множество

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

чиселе

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

Q

 

вещественныхе

– континуум, а множество всех алгебраических над

 

чисел – счетноет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ы

 

 

и

 

. Поэтому трансцендентных вещественных чисел существенно

 

 

 

ф

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

т

 

 

 

большеа

, чем вещественных алгебраических, чем рациональных чисел.

 

 

 

 

 

 

К

 

 

 

а

 

 

 

 

 

 

Всякое

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

а

 

поля

Р

 

 

Теорема

 

4.4.1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

конечное расширениеуниверситетпроизвольного

 

 

являетсям

алгебраическим над

 

 

P.

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

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

 

[F : P] = n >1. Пусть

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

α дпроизвольный элемент

 

 

 

F,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P.

 

 

 

 

 

 

 

 

1,α,α

2

 

е n

е

 

n +1

 

 

 

 

 

 

 

поля

 

не принадлежащий

 

 

 

Система

 

 

 

из

 

векторов

 

 

 

 

 

 

 

,...,α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ф

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

0

 

1

 

 

 

 

 

 

 

n

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

линейного

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

над полем

 

P обязательно линейно

 

 

 

 

n мерного пространства F

 

 

 

 

 

0

 

 

 

1

 

 

 

 

 

информатикиn

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

зависима.

 

 

Поэтому

 

 

найдутся

 

е

 

 

 

элементы

 

 

 

c0 ,c1 ,...,c n P,

 

 

 

 

 

что

 

 

 

 

 

 

 

такие

 

 

 

 

 

 

 

 

 

 

c + c α +... + c α

n

 

= 0.

 

 

 

 

 

 

Это

 

 

 

 

и

 

 

что

 

 

 

 

α корень

 

полинома

 

 

 

 

 

 

 

 

 

 

 

означает,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то

есть

 

α F алгебраический над

 

P

 

f (x) = c

+ c x +

... + c x P[сx],

 

 

 

 

 

 

 

 

Следствиеуниверситет2.

 

 

 

 

 

 

ы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

й

 

 

Степень расширения [R : Q] = +∞.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

элемент.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

алгебраическимгосударственныйнад полемш

 

комплексное

 

число

 

 

 

 

 

z = a + bi

 

 

является

 

 

 

 

 

Следствие 1.

Если расширениет

 

F

 

поля

 

P

 

содержит трансцендентные

 

над полем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

P элементы, то степень этого расширения бесконечна.

 

 

 

 

 

 

 

 

вещественных чисел

R.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

м4.4.1.

Показать непосредственно, что каждое конкретное

 

 

 

Упражнение

 

 

 

 

 

 

е

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

с

 

к

максимальный идеал кольца P[x].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

Pыэлементи .

 

 

 

Теоремаф

 

 

4.4.2.

 

 

 

 

Пусть

 

α алгебраический

 

над

полем

 

 

К

 

 

 

 

 

 

 

 

 

 

 

α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J

 

 

 

полиномов

 

 

f (x) P[x],

 

для

 

которых

 

 

 

f (α) = 0,т

есть

 

Множествоа

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Легко проверяется,

что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

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

 

 

множество полиномов с корнем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

Pм[x].

Согласно

 

α образует группу относительно сложения и идеал в кольце

 

 

теореме 3.6.2

идеал

 

 

J

α

главный. Пусть

J

α

 

 

 

 

 

 

е

 

 

Предположиме

,

 

что

 

 

 

 

 

 

=< g(x)

>.

 

 

g(x)

 

приводим,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

 

 

 

 

 

 

 

 

 

полиномов:

 

 

 

раскладывается в произведение неприводимыхт

 

 

 

 

 

 

 

 

 

 

 

t1

 

 

 

 

 

 

t2

 

 

 

 

 

 

 

 

 

ts

 

 

 

 

 

 

 

 

К

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g(x) = an p1 (x)

 

 

p2 (x)

... ps (x)

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то из

 

 

 

 

 

Поскольку в полеанет делителей нуля,

 

 

 

 

 

 

 

g(α) = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

i,1 i s,

 

 

 

 

 

 

 

 

условия:

 

 

следует, что для некоторого целого

pi (α) = 0.

 

Это означает,

что

 

 

pi (x)

принадлежит идеалу

 

 

Jα .

 

Степень полинома

 

 

 

pi (x)

 

меньше

 

deg(g(x)) .

Поэтому

 

pi (x)

 

может делиться на

 

g(x) только в том

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P.

Получено

 

случае, когда отличается от него лишь множителем из поля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Jα

максимальный идеал.

 

противоречие с предположением. Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P[x]

 

 

 

 

 

 

 

 

 

 

 

 

Следствие.

 

Пусть

f (x)

 

е

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с корнем

α

 

 

 

 

неприводимый полином из

 

 

 

из расширения

 

 

 

F

поля

P. Пусть для

g(x) P[x]

 

 

g(α) = 0.

 

Тогда

 

 

 

g(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

поля

 

P,

 

государственныйпусть α шF

 

 

 

Теоремарадиоэлектроники4.4.3. Пусть F – расширение

 

 

 

 

делится на

 

 

f

(x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

ы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

которогоуниверситетравен 1,

а одним из корней является элемент

α.

 

 

 

над

полем

 

P

 

 

 

Определение

4.4.2.

Пустьи

α F

алгебраический

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

над полем

 

 

P

 

 

 

 

и

 

 

 

элемент. Минимальным полиномом элемента

α

 

 

 

 

называется

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

Irr(α, P, x)

 

 

 

 

 

 

 

 

P[x] ,

 

 

 

 

 

информатики

 

 

 

 

 

й

неприводимый полином

 

в кольце

 

 

старший коэффициент

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

мДоказательство. Тот факт, что

P(α)

содержитрадиоэлектроникивсевозможные выражения

 

 

 

 

 

а

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

е

 

 

 

 

 

P элемент с минимальным над

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

алгебраический над

 

P полиномом степени

 

 

 

 

ф

 

 

 

 

т

 

 

 

 

 

 

0

 

 

 

 

1

 

 

 

 

 

 

n1

 

 

 

 

i

 

 

 

 

 

университет

 

 

 

 

 

 

т

 

 

 

 

n >1.

Пусть

 

P(α) минимальное подполе поля

 

 

F,

 

содержащее

ыP

 

 

и

α.

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[P(α) : P] = n,

а поле P(α) имеетВследующую

 

Тогда степень расширения

 

 

 

структуруК

: P(α) ={a

 

+ a α +... + a α

 

; a P, 0 i n 1}.

 

 

м

а

 

 

 

 

 

 

 

вида

a0

+ a1α +... + an1α

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

д

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с коэффициентами

 

ai

P,

 

не вызывает сомнений.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ф

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1,α,...,α

 

.

Произвольное

 

образом в виде линейныхинформатикикомбинаций элементов

 

 

 

Пусть

Irr(α, P, x)

= g(x)

= xn

 

+ c

 

xn1

+... + c x + c .

 

α

 

является корнем этого

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

й

 

и

 

 

 

1

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

полинома. Следовательно, αn

= −c

 

αn1

... c α c .

Тогда

 

αn+1 , αn+2

и так

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α,

еn1

 

 

 

 

 

 

 

 

 

1

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

далее, все степени элемента

 

 

 

к

 

 

 

 

 

 

 

n й,

выражаются аналогичным

 

 

 

 

большие

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

полиномоврадиоэлектроники(теорема 3.5.4), существуют такие полиномы

 

 

u(x), v(x),

 

 

чтое

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

посколькууниверситетg(x) неприводим.

 

 

Согласно критерию

взаимной

 

простоты

 

выражение

a0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

иn1

 

с коэффициентами

 

ai

 

P

есть значение

 

+ a1α +...ы+ an1α

 

 

 

 

 

 

ϕ(x)u(x) + g(x)v(x) =1.

 

 

 

Подставим в это равенство вместогосударственныйx значениешα.

 

полинома

 

ϕ(x) = a0

 

В

 

т

+ an1 x

n1

 

 

 

 

при

 

x =α.

 

НОД(ϕ(x), g(xи)) =1,

 

 

 

+ a1 x +

...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики1 с

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

д

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

1

 

 

 

 

 

 

n1

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

т

 

ϕ(α) u(α) =1.

 

 

 

 

Следовательно,

 

 

(ϕ(α))

 

 

 

 

 

 

и

 

Получим:

 

 

 

 

 

 

 

 

=u(α) = b0 +

 

 

 

 

 

 

а

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

В

 

 

т

 

 

 

+b1αа+... + bn1α

 

 

 

 

для

подходящих

 

 

bj

P, 0 j n 1.

 

 

Таким

 

образом,

 

 

К

м

 

 

 

K ={a

 

 

+ a α +... + a

 

 

 

n1

; a P, 0 i n

 

 

 

 

 

 

а

 

 

 

 

 

 

множество

 

 

 

 

α

 

 

1}

 

 

является полем,

 

содержащим P(α). Однако

 

 

P(α)

 

не может быть собственным подполем поля

 

K,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1,α,...,α

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д е

 

м

 

 

 

 

 

 

 

 

 

поскольку элементы

 

 

 

образуют линейно независимую систему

 

противном случае

 

 

 

 

α

 

 

 

было

бы

 

корнем

полиномае

 

степени,

 

меньшей

 

n = deg g(x) ). Следовательно,

P(α) = K,

 

 

 

 

 

 

 

ф

 

 

 

 

 

 

доказать.

 

 

 

 

 

 

 

 

что и требовалосьт

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 4.4.2.

 

 

C точки зрения теоремы

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а4.4.3 поле комплексных чисел

 

C алгебраическое расширение поля

 

 

R минимальноеК

поле,

содержащее

R

 

и алгебраическое над ним комплексное число

мα =i корень неприводимого

 

полинома x2 +1.

В полном согласии с утверждением теоремы 4.4.3

 

поле

C

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

имеет следующую структуру

 

C = R(i) ={a + bi; a,b R}.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 4.4.4.

 

В условияхи

теоремы 4.4.3 поле

 

 

P(α)

 

изоморфно полю –

 

многочленов на

 

информатикиg(x) = Irr(сα, P, x),

а с учетом примера 3.8.6 – из выражений

 

фактор-кольцу

 

P[x]/ < Irr(α, P, x)

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

Согласно

епримеруи

 

3.7.2 названное в теореме фактор-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

остатками от деления

 

кольцо состоит из классов смежности, порожденных

 

x

 

= −c

радиоэлектроникиx ... c x c .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Построим

 

 

 

 

 

отображениеш

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственный

 

чтое

 

 

 

 

 

 

 

1м

 

 

 

 

0

 

 

 

 

 

 

 

умножаются

 

с

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

выраженияуниверситетв

фактор-кольце

 

 

 

 

учетом

того,

 

 

вида:

 

a

 

+ a x +... + a

 

 

 

 

 

n1

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a P.

Класс

 

 

 

 

 

 

xы

 

 

для произвольных коэффициентов

 

 

 

 

 

 

0

 

 

1

 

 

 

 

 

n1

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

В

= x

n

+ cn1 x

n1

 

+... + c1 x + c0

= 0.

 

 

 

информатики

 

 

 

й

смежности

 

Irr(α, P, x)

 

 

 

 

 

 

Поэтому названные

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

n

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

мультипликативномум

 

свойству кольцевых гомоморфизмоврадиоэлектроники: для произвольных

 

 

 

 

 

 

а

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

по

 

 

следующему

 

 

 

 

 

 

 

ϕ : P(α) K = P[x]/ < Irr(α, P, x) >

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

правилу:

 

 

 

 

 

 

ф

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

университет

 

 

В

 

 

т

 

 

 

ϕ(a + a α +

... + a

α

 

 

 

 

) = a

 

+ a x +

... + a

 

x

 

.

Такое отображение является,

 

 

 

0

 

 

1

 

 

т

 

n1

 

 

 

 

 

 

 

 

0

 

 

 

1

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

очевидноа

, взаимно однозначным гомоморфизмом соответствующих

 

аддитивныхК

 

групп.

 

 

 

 

Отображение

 

 

 

 

 

ϕ

 

 

 

 

удовлетворяет атакже

и

 

z,t P(α)

 

ϕ(zt) =ϕ(z)ϕ(t),

 

 

поскольку

 

и

 

P(α)

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

K

 

 

 

 

 

 

 

 

идв фактор-кольце

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

е

т

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α

 

 

и

 

x

 

умножение подчинено одинаковому соотношению для степеней

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

соответственно. Поэтому

 

 

 

 

 

 

 

 

е

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ϕ изоморфизм полей, что и требовалось доказать.

 

 

 

 

 

 

 

 

 

Теорема

 

4.4.5.

 

 

 

 

Для

 

всякого

 

 

неприводимого

 

полинома

 

f (x) P[x]

 

степени

радиоэлектроникиn n1

 

 

 

 

 

с

 

 

 

к

 

 

 

 

 

 

 

 

 

P

 

степени

 

 

n,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

n

>1

 

 

существует расширение поля

 

 

 

 

 

содержащее

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

корень этого полинома.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

В

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

ы

 

 

 

 

 

 

 

f (x) = dn x

n

+ dn1 x

n1

+... + d0 P[x].Фактор-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

 

 

 

 

 

 

кольцо

 

 

 

 

 

 

K = P[x]/

< f

(x) >

 

 

состоит

 

 

из

 

 

всевозможных

выраженийи

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

й

a0 + a1 x +

... + an1 x

; ai P,

 

 

 

 

 

содержит

 

 

 

корень

 

 

 

 

 

 

 

 

x

 

полинома

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d

 

 

 

 

 

 

K

 

 

 

 

 

 

 

 

 

f (x) = dn x

+ dn1 x

 

 

+... + d0 .

 

 

Классы смежности

 

 

 

в поле

 

для всех

 

 

 

 

 

 

 

 

 

 

образуюте еполе,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

с

 

 

 

d P

изоморфное полю

P.

 

 

 

 

 

 

P символк

 

Присоединим к полю

α ,

 

 

 

 

ф

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ф

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

и

 

 

 

 

то есть трассмотрим группу

 

 

относительно сложения всевозможных

 

произвольного

 

 

 

 

 

 

элемента

 

 

фактор-кольца

 

 

университетK класса

В

смежности

 

 

 

 

К

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т

 

 

 

выраженийа

вида

 

 

a0 + a1α +... + an1α

 

 

 

с

произвольными

 

коэффициентами

 

ai P.

 

 

Построим изоморфизм аддитивных

групп

h : K Ф по правилу:

для

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

m(x) = a

 

+ a x +... + a

 

 

x

K

 

 

 

 

 

 

 

 

 

 

 

 

положим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

1

 

 

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n1

д

 

 

 

 

 

 

 

 

 

 

h(m(x)) = h(a0 + a1 x +... + an1 x

)

= a0

 

+ a1α +... + an1α

 

 

 

 

 

Группу

 

Ф

 

 

 

 

е= m(еα).

 

 

наделим

 

структурой

 

поля,

 

 

определив

на

 

 

ней

ф

 

 

 

т

 

 

 

 

по

формуле:

 

 

 

 

 

 

 

 

умножение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для произвольных

 

 

а

 

 

 

 

 

 

 

Ясно,

что

 

m (α)m (α) = h(

m

(x )

m

(x ))

 

 

 

 

m (α), m (α) Ф.

 

1

 

 

 

 

 

2

 

 

 

 

 

 

 

 

1

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

1

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

поля K и Ф изоморфны и Ф содержит кореньК

α

 

 

полинома f (x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание.

 

 

Тот факт, что поле P(α)

 

 

содержитм

корень

α

полинома

 

 

g(x) = Irr(α, P, x),

 

 

вовсе не означает, что

 

P(α) содержит все корни этого

 

Q(

 

 

2) ={a + b

 

 

2государственный+ c 4; a,b,c шQ}

ксодержит только первый из перечисленных

 

полинома.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3 2 = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 4.4.3.

 

 

 

Уравнениеи

 

 

не имеет рациональных корней

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

согласно

 

критерию

 

 

Эйзенштейна.

 

Это

 

уравнение

 

 

имеет

 

 

следующие

три

 

иррациональные

 

 

корня:

 

 

 

 

 

 

 

3

 

 

 

и

 

3)

3

2 / 2; (1 i

3)

3

2 / 2.

 

 

 

Поле

 

 

 

 

 

 

 

 

 

 

 

е2; (1 + i

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

ы

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

корней.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

4.4.3.

 

 

 

Расширение

 

F

 

 

 

поля

 

 

 

P

 

называется

иполем

 

 

 

 

 

 

 

 

 

Определение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

й

разложения полиномаВ f (x) P[x],

 

 

если

оно содержит

все

корни

этого

 

полинома.

 

 

 

 

 

 

 

 

 

м

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

Такое название мотивировано теоремой Безу о корнях полиномов – при

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

F

 

всех корней полинома

f (x)

 

 

радиоэлектроники

 

 

с

 

 

 

наличии в поле

 

 

 

последний раскладывается в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

ы

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

произведениее полиномов 1-й степени – двучленов вида

x α.

 

 

 

В

 

т

 

 

 

 

 

 

 

 

 

 

ф

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

Теоремат

4.4.6.

 

 

 

 

Для всякого полинома

 

 

f (x) P[x]

существует поле

 

 

 

 

аP конечное расширение поля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

F

P поле разложения полинома f (x).

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство применением теоремы 4.4.5 в сочетании с теоремой Безу.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

д

е

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

а

 

 

 

 

 

 

 

 

 

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4.5. Свойства конечных полей:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

существование и единственность

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

е

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

введены в математическую практику в

 

 

Конечные поля были впервыек

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

начале

 

 

XIX

в.

 

информатики

 

 

французским

математиком

 

Эваристом Галуа.

 

 

 

 

гениальным

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ы

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому конечные поля часто называют полями Галуа, а также на письме

 

обозначают через

 

 

 

В

 

 

 

т

 

 

 

 

 

 

 

 

элементов. Будем использовать и

 

 

 

GF (q)

поле Галуа из q

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

этого же поля F (q).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

более краткое обозначениеа

 

Из предыдущих результатов

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

й

данного разделарадиоэлектроникиследует

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

Теоремад

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

элементов имеет конечную

 

 

4.5.1.

Любое конечное поле GF (q)

 

 

 

 

 

 

 

 

 

 

е

 

 

е

 

p

> 0,

 

 

является

конечным

 

 

 

 

 

 

 

 

 

 

государственныйш

 

к

характеристику

 

 

 

 

расширениеминформатикиполя сZ / pZ,

 

 

 

 

ф

 

т

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

q

= p

 

 

элементов,

при

этом

 

 

 

k

 

степень

 

 

 

 

 

 

 

содержит

 

 

 

 

 

 

 

 

расширенияы

 

 

а

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

В

т

 

 

 

 

 

[GF (q) : Z / pZ ].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из теоремы Лагранжа о конечных группах следует, что всеаэлементы

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

GF (q)

 

 

 

 

 

 

 

 

универсиет

 

 

 

 

 

 

 

 

 

 

 

 

мультипликативной группы

 

 

 

 

 

 

 

 

 

 

 

 

 

1 = 0. На

 

 

удовлетворяют уравнению xq1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

самом деле имеет место

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

е

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 4.5.2 (о существовании и единственностие

конечного поля).

 

Для каждого простого число p и для любого натуральногот

 

n 1

 

существует

 

конечное поле из

 

q = p

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ф

 

 

 

 

 

 

 

 

с точностью до

 

 

 

 

 

 

элементов. Это поле единственноа

 

изоморфизма, состоит из корней уравнения

К

 

 

= 0

 

и только из них.

 

 

 

 

 

 

xq x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Если требуемое конечное поле существует, то его

 

элементы обязательно удовлетворяют уравнению

 

xq x = 0

 

в силу теоремы

 

Лагранжа и разложения

 

xq

x = x(xq1 1) = 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Докажем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

требуемого

конечного

 

поля.

 

Многочлен

 

 

 

 

 

существование

 

 

 

ϕ(x) = x

q

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

й

 

 

 

 

(Z / pZ )[x].

 

Согласно теореме

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

принадлежит кольцу полиномов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

и

F

поля

 

 

Z / pZ,

 

являющееся полем

 

4.6 существует конечное расширение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ϕ

 

 

 

 

 

 

 

Это

 

разложения данного полинома. Формальная производная

 

 

(x) = −1 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

 

 

 

 

что уравнение

 

xq

x = 0

 

не

 

означает, согласно следствию изитеоремы 3.6.3,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

имеет кратных корней. Следовательнот

, уравнение

 

 

x

x =

0

 

 

 

 

 

 

 

 

F

 

 

 

 

 

имеет в поле

 

 

в точности

q

 

 

 

 

 

В

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

множество всех этих

й

 

различных корней. Обозначим через

 

 

 

Белорусский

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0,1 Z / pZ.

 

Для произвольных

 

a, b S

согласно

 

корней.

 

 

S

содержит

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроникиq

 

 

q

 

 

 

q

 

 

 

 

 

 

 

 

 

q

 

 

 

 

q

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

= a

 

b ,

 

а по условию

a

 

 

= a, b

 

= b.

Следовательнок,

теореме 4.1.4 (a b)

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

q

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

(a b)

 

= aеb,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Согласно критерию подгруппы, это означаети

,

 

 

 

 

 

то есть a b S.

 

 

 

 

 

 

 

 

 

т

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ы

 

 

 

 

 

 

 

что множествоф

 

 

 

 

является группой относительно сложения. Аналогичнот

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

В

 

 

 

 

 

 

 

 

доказывается, что все ненулевые элементы множества

 

 

 

 

образуют группу

 

К

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом,

S

являетсяуниверситетполем,

 

 

 

 

 

q

 

относительно умножения.

 

полем из

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

q

x.

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

элементов – корней полинома

 

 

 

 

 

 

 

 

 

 

е

д

е

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и