
Методы по алгебре Липницкий, БГУИР (Мет пособие) / lipnickiy_v_a_sovremennaya_prikladnaya_algebra_matematichesk
.pdf
|
|
|
|
|
|
|
государственныйш |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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 |
|
n−k |
|
|
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 ,1≤ k < 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(α) |
содержитрадиоэлектроникивсевозможные выражения |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
а |
|
|
|
|
|
|
е |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
Белорусский |
|
|
|
|
|
|
|
|
|
|
|
и |
|
|||||||||||||
|
|
|
|
|
е |
|
|
|
|
|
P элемент с минимальным над |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
алгебраический над |
|
P полиномом степени |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
ф |
|
|
|
|
т |
|
|
|
|
|
|
0 |
|
|
|
|
1 |
|
|
|
|
|
|
n−1 |
|
|
|
|
i |
|
|
|
|
|
университет |
|
|
|
|
|
|
т |
|
|
|
|
||||||||||||
n >1. |
Пусть |
|
P(α) −минимальное подполе поля |
|
|
F, |
|
содержащее |
ыP |
|
|
и |
α. |
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[P(α) : P] = n, |
а поле P(α) имеетВследующую |
|
||||||||||||||||||||||||||||||||||
Тогда степень расширения |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
структуруК |
: P(α) ={a |
|
+ a α +... + a α |
|
; a P, 0 ≤ i ≤ n −1}. |
|
|
м |
а |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
вида |
a0 |
+ a1α +... + an−1α |
n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
е |
д |
|
е |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
с коэффициентами |
|
ai |
P, |
|
не вызывает сомнений. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а |
ф |
|
|
т |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
К |
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7 |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
м |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и
и

|
|
|
|
|
|
|
|
|
|
|
государственныйш |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1,α,...,α |
|
. |
Произвольное |
|
||||||||||||||
образом в виде линейныхинформатикикомбинаций элементов |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Пусть |
Irr(α, P, x) |
= g(x) |
= xn |
|
+ c |
|
xn−1 |
+... + c x + c . |
|
α |
|
является корнем этого |
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n−1 |
|
й |
|
и |
|
|
|
1 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
полинома. Следовательно, αn |
= −c |
|
αn−1 |
−... − c α − c . |
Тогда |
|
αn+1 , αn+2 |
и так |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α, |
еn−1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
далее, все степени элемента |
|
|
|
к |
|
|
|
|
|
|
|
n −й, |
выражаются аналогичным |
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
большие |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
с |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
полиномоврадиоэлектроники(теорема 3.5.4), существуют такие полиномы |
|
|
u(x), v(x), |
|
|
чтое |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
Белорусский |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
|
|
|
|
|||||
посколькууниверситетg(x) −неприводим. |
|
|
Согласно критерию |
взаимной |
|
простоты |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
выражение |
a0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
иn−1 |
|
с коэффициентами |
|
ai |
|
P |
есть значение |
|
|||||||||||||||||||||||||||||||||||
+ a1α +...ы+ an−1α |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
ϕ(x)u(x) + g(x)v(x) =1. |
|
|
|
Подставим в это равенство вместогосударственныйx значениешα. |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
полинома |
|
ϕ(x) = a0 |
|
В |
|
т |
+ an−1 x |
n−1 |
|
|
|
|
при |
|
x =α. |
|
НОД(ϕ(x), g(xи)) =1, |
|
|||||||||||||||||||||||||||||||||||||||||
|
|
+ a1 x + |
... |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
м |
|
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
информатики−1 с |
|
|
й |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
е |
д |
е |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
радиоэлектроники |
|
|
|
|
|
|
к |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
1 |
|
|
|
|
|
|
n−1 |
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
ф |
|
т |
|
ϕ(α) u(α) =1. |
|
|
|
|
Следовательно, |
|
|
(ϕ(α)) |
|
|
|
|
|
|
и |
|
||||||||||||||||||||||||||||||||||
Получим: |
|
|
|
|
|
|
|
|
=u(α) = b0 + |
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
а |
|
|
|
n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
университет |
|
|
В |
|
|
т |
|
|
|
||||||||||||
+b1αа+... + bn−1α |
|
|
|
|
для |
подходящих |
|
|
bj |
P, 0 ≤ j ≤ n −1. |
|
|
Таким |
|
образом, |
|
|||||||||||||||||||||||||||||||||||||||||||
|
К |
м |
|
|
|
K ={a |
|
|
+ a α +... + a |
|
|
|
n−1 |
; a P, 0 ≤ i ≤ n |
|
|
|
|
|
|
а |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
множество |
|
|
|
|
α |
|
|
−1} |
|
|
является полем, |
|
|||||||||||||||||||||||||||||||||||||||||||||||
содержащим P(α). Однако |
|
|
P(α) |
|
не может быть собственным подполем поля |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
K, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1,α,...,α |
n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
д е |
|
м |
|
|
|
|
|
|
|
|
|||||||||||||
|
поскольку элементы |
|
|
|
образуют линейно независимую систему |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
(в |
противном случае |
|
|
|
|
α |
|
|
|
было |
бы |
|
корнем |
полиномае |
|
степени, |
|
меньшей |
|
||||||||||||||||||||||||||||||||||||||||
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 |
|
|
|
|
|
|
|
умножаются |
|
с |
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
выраженияуниверситетв |
фактор-кольце |
|
|
|
|
учетом |
того, |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
вида: |
|
a |
|
+ a x +... + a |
|
|
|
|
|
n−1 |
|
|
|
|
и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a P. |
Класс |
|
|||||||||||||||||
|
|
|
|
|
xы |
|
|
для произвольных коэффициентов |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
0 |
|
|
1 |
|
|
|
|
|
n−1 |
|
|
|
т |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
|
|
|
|
и |
|
|
|
||||||
|
|
|
|
|
|
|
|
д |
|
|
|
|
|
В |
= x |
n |
+ cn−1 x |
n−1 |
|
+... + c1 x + c0 |
= 0. |
|
|
|
информатики |
|
|
|
й |
||||||||||||||||||||||||||||||
смежности |
|
Irr(α, P, x) |
|
|
|
|
|
|
Поэтому названные |
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
к |
|||
|
n |
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
с |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
мультипликативномум |
|
свойству кольцевых гомоморфизмоврадиоэлектроники: для произвольных |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
а |
|
|
е |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Белорусский |
|
|
|
|
|
|
|
|
|
|
и |
|
|||||||||||
|
|
|
|
|
|
|
е |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
по |
|
|
следующему |
|
|
|
|
|
|
|
||||||||||||||
ϕ : P(α) → K = P[x]/ < Irr(α, P, x) > |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
правилу: |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
ф |
|
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n−1 |
|
|
университет |
|
|
В |
|
|
т |
|
|
|
||||||||||||||
ϕ(a + a α + |
... + a |
α |
|
|
|
|
) = a |
|
+ a x + |
... + a |
|
x |
|
. |
Такое отображение является, |
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
0 |
|
|
1 |
|
|
т |
|
n−1 |
|
|
|
|
|
|
|
|
0 |
|
|
|
1 |
|
|
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
очевидноа |
, взаимно однозначным гомоморфизмом соответствующих |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
аддитивныхК |
|
групп. |
|
|
|
|
Отображение |
|
|
|
|
|
ϕ |
|
|
|
|
удовлетворяет атакже |
и |
|
|||||||||||||||||||||||||||||||||||||||
z,t P(α) |
|
ϕ(zt) =ϕ(z)ϕ(t), |
|
|
поскольку |
|
и |
|
P(α) |
|
|
|
|
|
|
|
|
м |
|
|
|
|
|
|
K |
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
идв фактор-кольце |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ф |
е |
т |
е |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
8 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
К |
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
м |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и
и

|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
государственныйш |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α |
|
|
и |
|
x |
|
|
умножение подчинено одинаковому соотношению для степеней |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
информатики |
|
|
|
|
|
й |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
соответственно. Поэтому |
|
|
|
|
|
|
|
|
е |
|
|
и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
ϕ −изоморфизм полей, что и требовалось доказать. |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
Теорема |
|
4.4.5. |
|
|
|
|
Для |
|
всякого |
|
|
неприводимого |
|
полинома |
|
f (x) P[x] |
|
||||||||||||||||||||||||||||||||||||||||||||||
степени |
радиоэлектроникиn n−1 |
|
|
|
|
|
с |
|
|
|
к |
|
|
|
|
|
|
|
|
|
P |
|
степени |
|
|
n, |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
е |
||||||||||||||||||||||||||||||||||||||||
|
n |
>1 |
|
|
существует расширение поля |
|
|
|
|
|
содержащее |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
Белорусский |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
корень этого полинома. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
университет |
|
|
|
|
|
В |
|
|
|
т |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
государственныйш |
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
Доказательство. |
|
|
|
|
ы |
|
|
|
|
|
|
|
f (x) = dn x |
n |
+ dn−1 x |
n−1 |
+... + d0 P[x].Фактор- |
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
кольцо |
|
|
|
|
|
|
K = P[x]/ |
< f |
(x) > |
|
|
состоит |
|
|
из |
|
|
всевозможных |
выраженийи |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n−1 |
|
|
|
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
информатики |
|
|
|
й |
||||||||||
a0 + a1 x + |
... + an−1 x |
; ai P, |
|
|
|
|
|
содержит |
|
|
|
корень |
|
|
|
|
|
|
|
|
x |
|
полинома |
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
м |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
д |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d |
|
|
|
|
|
|
K |
|
|
|
|
|
|
|
||||||||
|
|
f (x) = dn x |
+ dn−1 x |
|
|
+... + d0 . |
|
|
Классы смежности |
|
|
|
в поле |
|
для всех |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
образуюте еполе, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
радиоэлектроники |
|
|
с |
|
|
|
|||||||||||||||||||||||||||||
d P |
изоморфное полю |
P. |
|
|
|
|
|
|
P символк |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Присоединим к полю |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
α , |
|
|
|
|
ф |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ф |
|
|
|
|
|
|
|
|
Белорусский |
|
|
|
|
|
|
|
|
и |
|
||||||||||||||||||
|
|
|
то есть трассмотрим группу |
|
|
относительно сложения всевозможных |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
произвольного |
|
|
|
|
|
|
элемента |
|
|
фактор-кольца |
|
|
университетK −класса |
В |
смежности |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
К |
|
|
|
|
|
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
т |
|
|
|
|||||||||
выраженийа |
вида |
|
|
a0 + a1α +... + an−1α |
|
|
|
с |
произвольными |
|
коэффициентами |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ai P. |
|
|
Построим изоморфизм аддитивных |
групп |
h : K →Ф по правилу: |
для |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
м |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
м |
|
|
|
|
|
|
|
|||
m(x) = a |
|
+ a x +... + a |
|
|
x |
K |
|
|
|
|
|
|
|
|
|
|
|
|
положим |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
|
|
n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n−1 |
д |
|
|
|
|
|
|
|
|
|
|
||||||||
h(m(x)) = h(a0 + a1 x +... + an−1 x |
) |
= a0 |
|
+ a1α +... + an−1α |
|
|
|
|
|
Группу |
|
Ф |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
е= 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. На |
|
||||||||||||||||||||||||||||||||||||||||
|
удовлетворяют уравнению xq−1 |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
радиоэлектроники |
|
|
|
|
|
|
|
|
|||||||||||
самом деле имеет место |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
д |
е |
м |
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
Теорема 4.5.2 (о существовании и единственностие |
конечного поля). |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
Для каждого простого число p и для любого натуральногот |
|
n ≥1 |
|
существует |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
конечное поле из |
|
q = p |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а |
ф |
|
|
|
|
|
|
|
|
с точностью до |
|
|||||||||||||||||||||||||
|
|
|
|
|
элементов. Это поле единственноа |
|
|||||||||||||||||||||||||||||||||||||||||||||||||
изоморфизма, состоит из корней уравнения |
К |
|
|
= 0 |
|
и только из них. |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
xq − x |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
м |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Доказательство. Если требуемое конечное поле существует, то его |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
элементы обязательно удовлетворяют уравнению |
|
xq − x = 0 |
|
в силу теоремы |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
Лагранжа и разложения |
|
xq |
− x = x(xq−1 −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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
К |
|
|
а |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
м |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и
и