Интерполяционная формула Лагранжа.

Теорема. (Интерполяционная формула Лагранжа.) Пусть ; , ,…, − различные, и , ,…, − любые элементы поля . Тогда существует в точности один многочлен степени такой, что для , ,…, . Этот многочлен имеет вид

Доказательство. Так как при и , то для .

Пусть − другой многочлен, обладающий теми же свойствами, что и . Тогда многочлен степени имеет корней. Значит, − нулевой многочлен, и − единственный многочлен с требуемыми свойствами. ∎

Другие формулы. Если − конечное поле, то

Дискретное преобразование Фурье. Если , ,…, , где − элемент порядка мультипликативной группы поля , , то

 

Поле отношений. ( вкратце )

Имеется много общих свойств между кольцами и . Наша дальнейшая цель вложить в поле, так же, как вкладывается в .

Пусть − целостное кольцо. Рассмотрим множество пар (, ) ∈ , где . Пары (, ) будем называть дробями и обозначать через (что более привычно). На множестве дробей определим отношение равенства:

Нетрудно проверить, что данное отношение обладает следующими свойствами:

Первые два свойства очевидны. Докажем третье свойство:

Таким образом, отношение равенства является отношением эквивалентности на множестве и, следовательно, определяет разбиение этого множества на непересекающиеся классы. Класс эквивалентности, содержащий дробь , обозначим через . Так что

На множество классов, которое обозначим через , можно перенести обычные операции сложения и умножения:

Нетрудно показать, что эти операции определены корректно, т.е. не зависят от выбора представителей классов, а именно:

Нетрудно проверить также, что множество относительно введённых операций сложения и умножения дробей образует поле. Чтобы оно содержало кольцо нужно отождествить некоторые дроби с элементами из . Это достигается следующим образом. Элементу отнесём дроби , где − любой элемент из (на самом деле элементу будет отнесена одна дробь, поскольку все дроби равны). Далее квадратные скобки в записи будем опускать.

Поле (, +, ∙) называется полем отношений, или полем частных кольца . Таким образом, доказано существование объемлющего поля для целостного кольца. Заметим, что кольцо могло и не содержать единицу, а в поле частных она появится. (Пример: , где , .)

Конструкция полей отношений часто используется в математике. Например, поле рациональных чисел есть не что иное, как поле отношений кольца . Нетрудно проверить также, что , если − поле.

Другой важный пример полей отношений даёт кольцо , где – поле (в более общем случае ,…, − кольцо многочленов от переменных). Поле отношений кольца называется полем рациональных дробей от переменной с коэффициентами в и обозначается через (квадратные скобки меняются на круглые).

Поле бесконечно и имеет характеристику, совпадающую с характеристикой поля . Каждая рациональная дробь записывается в виде , где , − многочлены из , − ненулевой многочлен; называется числителем, а − знаменателем дроби . Дробь не меняется, если числитель и знаменатель умножить на один и тот же ненулевой многочлен или сократить на общий множитель. Значение не зависит от представления дроби в виде отношения (частного) двух многочленов и . Рациональная дробь называется несократимой, если её числитель взаимно прост со знаменателем. Любая рациональная дробь однозначно представляется несократимой дробью , где и − частные от деления и на их наибольший общий делитель нод , . Старший коэффициент знаменателя можно вынести и его обратное значение присоединить к числителю. Несократимая дробь со знаменателем, являющимся унитарным многочленом, называется нормализованной. Если deg , т.е. степень числителя меньше степени знаменателя, то несократимая дробь называется правильной.

 

Теорема. Каждая рациональная дробь из представима в виде суммы многочлена и правильной лроби.

Доказательство. Использовать теорему о делении с остатком. ∎

Определение. Правильная рациональная дробь из называется простейшей, если , , где − неприводимый многочлен, и deg .

Теорема. Каждая правильная рациональная дробь из может быть разложена в сумму простейших дробей, причём единственным способом.

Конкретно, если – каноническое разложение многочлена в произведение неприводимых сомножителей , , (многочлены , , , − унитарные), то

для некоторых , .

Доказательство. Опускается. ∎

Элементы теории полей.

Если − подполе поля , то называют расширением поля . Далее запись означает, что − расширение поля . Если − подполе поля , а − подполе поля , т.е. , то называют промежуточным полем расширения . Цепочку расширений

,

где − промежуточное поле расширения , , называют - этажной башней полей.

Любое расширение можно рассматривать как векторное пространство над полем (относительно сложения в и умножения на элементы поля ). Размерность этого пространства называют степенью расширения и обозначают . Если эта степень конечна, то расширение называют конечным, в противном случае − бесконечным. Всякий базис поля как векторного пространства над называют базисом расширения .

Теорема. Пусть − промежуточное поле расширения . Расширение конечно тогда и только тогда, когда конечны расширения и . В случае их конечности

,

причём если ,…, − базис расширения и ,…, − базис расширения , то элементы , , , составляют базис расширения .

Доказательство. Предположим сначала, что расширения и конечны. Тогда любой элемент записывается в виде

В свою очередь,

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

т.е. − линейная комбинация над элементов . Предположим, что элементы линейно зависимы над , т.е. при некоторых , не равных нулю одновременно. Тогда

для всех 1 ≤ ≤ , 1 ≤ j ≤ , поскольку элементы ,…, линейно независимы над , а элементы ,…, линейно независимы над . Другими словами, элементы составляют базис расширения и .

Обратно, если , то и , поскольку − подпространство в . Если , , − базис пространства над , то произвольный элемент будет линейной комбинацией элементов , , с коэффициентами из и, ввиду , тем более с коэффициентами из . Поэтому . ∎

Определение. Пусть − расширение поля , . Элемент называется алгебраическим над (относительно) , если он является корнем некоторого ненулевого многочлена . Элемент , не являющийся алгебраическим над , называется т рансцендентным над . Расширение называется алгебраическим, если всякий элемент из алгебраичен над .

Теорема. Всякое конечное расширение алгебраично над .

Доказательство. Пусть . Тогда степени , , , , любого элемента

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

при некоторых , не равных нулю одновременно. Так что − корень некоторого ненулевого многочлена . Значит, − алгебраический элемент над . ∎

Определение. Пусть − расширение поля и − алгебраический элемент над . Выберем среди всех ненулевых многочленов , для которых , нормированный многочлен наименьшей степени. Он называется минимальным многочленом элемента относительно поля . Под степенью элемента над полем понимается степень его минимального многочлена.

Отметим следующие свойства минимального многочлена :

1) если и , то ;

2) − неприводимый в многочлен.

Действительно, 1) если , то − остаток от деления на − имел бы своим корнем, что противоречит выбору , так как в этом случае − ненулевой многочлен и deg . Далее, 2) если допустить, что , где , и , , то является корнем либо , либо , что также противоречит выбору .

Определение. Пусть − подполе поля и − любое подмножество в . Определим поле как пересечение всех подполей поля , содержащих одновременно и ; оно называется расширением поля , полученным присоединением элементов множества . Если

, , − конечное множество, то будем писать , , . Если состоит из одного элемента , то поле называется простым расширением поля , а − образующим (или порождающим) элементом этого расширения.

Теорема. Пусть , − любые подмножества расширения поля . Тогда

.

Доказательство. Поле содержит поле и множество , а следовательно, и поле . Обратно, поле содержит множество , а следовательно, поле . ∎

Следствие. Пусть , , . Тогда

, , ).

Замечание. Отметим, что поле , , образовано в точности дробями

где , − многочлены от переменных c коэффициентами из поля и , , ) ≠ 0.

Уместно пояснить также, что записи , , и , , отличаются тем, что круглые скобки обозначают всегда расширение до поля, т.е. образование всех рациональных выражений (дробей), а квадратные обозначают расширение до кольца, т.е. образование всех целых выражений ,…, . ∎

Изучим строение простых расширений поля . Далее два расширения и поля будем называть эквивалентными (относительно ), если существует изоморфизм , переводящий элементы поля в себя.

Теорема. Пусть − расширение поля , содержащее трансцендентный элемент относительно поля . Тогда поле эквивалентно полю рациональных дробей от переменной с коэффициентами в .

Доказательство. Напомним, что элементами поля являются дроби , где , и − ненулевой многочлен. При этом дроби и являются равными, т.е. представляют один и тот же элемент поля , если − нулевой многочлен. Поскольку для ненулевых многочленов, то для дроби имеет смысл значение . Разные дроби (как разные элементы поля ) имеют разные значения в . Действительно, если = , то , откуда следует, что

− нулевой многочлен, и дроби и представляют один и тот же элемент поля . Таким образом, между дробями и значениями можно установить взаимно однозначное соответствие. Оно сохраняется и при операциях сложения и умножения:

Поскольку поле состоит в точности из элементов , где , и − ненулевой многочлен, то поля и изоморфны. Установленный изоморфизм переводит элементы поля в себя. Поэтому поля и эквивалентны. ∎

Теорема. Пусть − расширение поля , содержащее алгебраический элемент над , и пусть − минимальный многочлен элемента степени . Тогда:

1) простое алгебраическое расширение эквивалентно факторкольцу ;

2) [ ] = и {1, , …, − базис векторного пространства над ;

3) каждый элемент алгебраичен над , и его степень − делитель числа .

Доказательство. 1) Рассмотрим отображение , определяемое следующим образом: = для любого ∈ . Очевидно, что является гомоморфизмом колец, и Ker = { ∈ }= (). Пусть − образ отображения , т.е. множество значений многочленов ∈ при . Отметим, что

и .

Согласно теореме о гомоморфизмах колец имеем . Так как – поле (см.), то и – поле, но тогда, по определению простого расширения, . Очевидно, что поля и не только изоморфны, но и эквивалентны.

2) Так как , то любой элемент можно записать в виде для некоторого . Пусть − остаток от деления на . Тогда = . Так как , то является линейной комбинацией элементов , , , с коэффициентами из . Остаётся показать, что элементы , , , линейно независимы над . Для этого предположим противное: пусть

,

где и не все . Полагая , имеем: − ненулевой многочлен, и , но это противоречит выбору минимального многочлена . Следовательно, элементы , , , линейно независимы над и

3) Так как − конечное расширение поля , то любой элемент алгебраичен над . Пусть − степень элемента над . Тогда, учитывая теорему и тот факт, что − подполе поля , имеем

,

откуда следует, что . ∎

Теорема. Пусть и − два расширения поля , и пусть и − алгебраические над полем элементы, имеющие олин и тот же минимальный многочлен степени . Тогда отображение