Корневые многочлены

Размещено на http://www.allbest.ru/

УДК 519.642.8	UDC 519.642.8
КОРНЕВЫЕ МНОГОЧЛЕНЫ	ROOT POLYNOMIALS
Сергеев Александр Эдуардович к.ф.-м.н, доцент	Sergeev Alexander Eduardovich Cand.Phys.-Math.Sci., associate professor
Сергеев Эдуард Александрович к.ф.-м.н, доцент Кубанский Государственный Университет, Краснодар, Россия	Sergeev Eduard Alexandrovich Cand.Phys.-Math.Sci., associate professor Kuban State University, Krasodar, Russia
В статье получен явный вид корневых многочленов для циклических многочленов третьей степени над полями характеристики 2. Приводится также обзор известных результатов по корневым многочленам над произвольными полями	The article obtained the explicit form of root polynomials for cyclic polynomials of degree three over fields of characteristic 2. We also give an overview of known results on the root polynomials over arbitrary fields
Ключевые слова: нормальный многочлен, корневой многочлен, циклический многочлен	Keywords: normal polynomial, root polynomial, cyclic polynomial

Корневые многочлены

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

Пусть нормальный многочлен над , т.е.

Где

для всех где многочлены из степени, меньшей .

Многочлены однозначно определены многочленом . Если он неприводим в , то их называют корневыми многочленами для

Заметим, что

образуем множество корневых многочленов

Пусть степень равная будет больше двух и формально вещественное поле. В этом случае H. Kleiman [3] доказал следующие теоремы.

Теорема 1. Нормальный многочлен

с коэффициентами в формально вещественном поле однозначно определяется множеством

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

Пусть круговой многочлен порядка следовательно, степень многочлена больше или равна 4.

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

Теорема 3. Пусть поле характеристики 0. Пусть неприводимый над многочлен и все корни многочлена являются линейными функциями от одного корня Тогда поле разложения многочлена есть циклическое расширение поля и поле содержит первообразный корень -ой степени из единицы.

H. Muthsam доказал следующее утверждение [4].

Теорема 4. Пусть формально вещественное поле, неприводимый нормальный многочлен степени из корни которого линейно независимы над Тогда множество корневых многочленов для однозначно определяет

K. Girstmair [1] исследовал нормальные многочлены третьей степени (т.е. циклические многочлены) над полями характеристики неравной 2 и 3.

Пусть

циклический многочлен из с дискриминантом и корневыми многочленами:

Где

.

Тогда справедлива теорема [3]:

Теорема 5. Циклический кубический многочлен однозначно определяется своими корневыми многочленами.

Если для простоты обозначим нетривиальный корневой многочлен в виде

то коэффициенты циклического многочлена

можно найти из соотношений:

С этими условиями справедлива теорема [3].

Теорема 6. Пусть поле характеристики, неравной 2 и 3, и не содержащее корней третьей степени из единицы. Тогда квадратный многочлен

Где

,

является корневым многочленом некоторого циклического кубического многочлена только если элемент

есть квадрат в поле

В этом случае существуют два многочлена

с корневым многочленом :

и коэффициенты определяются с помощью и из соотношений (теорема 5).

Построение корневых многочленов для некоторого кубического циклического многочлена над полем характеристики 2

Пусть поле и

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

, , (1)

где из поля .

Нетрудно доказать, что в случае неприводимости многочлена коэффициенты и неравны нулю, при этом многочлены и имеют вид:

, , (2)

и их называют корневыми многочленами для циклического многочлена .

Пусть дискриминант многочлена

,

то есть:

В случае циклического многочлена дискриминант

и для поля характеристики неравной 2 и 3, Girstmair [1] доказал, что в равенствах (1) и (2) имеем:

(3)

Формулы (3) дают явный вид корневых многочленов для но эти формулы не имеют смысла, если поле имеет характеристику 2 или 3.

Рассмотрим далее случай, когда поле имеет характеристику 2 и в существуют циклические многочлены третьей степени.

Всякий многочлен 3-ей степени над полем с помощью соответствующей линейной подстановки может быть приведен к виду:

. (4)

В работе [2] было доказано, что неприводимый над многочлен вида (4) имеет циклическую группу Галуа над полем характеристики 2, только если уравнение (5):

(5)

имеет корни в поле .

Найдем в этом случае явный вид корневых многочленов. Пусть произвольный корень многочлена

,

характеристика поля равна 2 и группа Галуа многочлена циклическая третьего порядка. Тогда многочлен примет вид:

. (6)

Пусть остальные два корня и многочлена представляются в виде:

(7)

где коэффициенты а и являются корнями многочлена

Поэтому, справедливы следующие соотношения:

(8)

Из (8) ввиду неприводимости многочлена над полем имеем:

Откуда

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

Так как

,

то, имеем:

Учитывая соотношения

получаем следующее равенство:

Отсюда имеем систему уравнение:

(9)

Из третьего уравнения системы получаем

,

и так как то из второго уравнения системы (9) имеем:

Тогда, из первого уравнения системы (9) следует равенство

Упрощая последнее равенство, получаем:

(10)

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

Или

В первом случае

и тогда, многочлен имеет вид:

(11)

В этом случае корневыми многочленами являются:

корневой многочлен циклический степень

. (12)

Если многочлен вида (11) при данных неприводим над то это циклический многочлен.

Во втором случае, когда

Имеем

,

и многочлен принимает вид:

(13)

В этом случае корневыми многочленами являются:

(14)

Если многочлен вида (13) при данных неприводим над то это циклический многочлен.

Таким образом, мы получили следующую теорему:

Теорема 1. Над полем характеристики 2, допускающим циклические расширения степени 3 циклические многочлены третьей степени имеют вид (11) или (13), при этом для многочленов вида (11) корневые многочлены описываются равенствами (12), а для многочленов вида (13) корневые многочлены определяются равенствами (14).

Рассмотрим некоторые примеры.

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

Тогда

Этот многочлен неприводим над так как элементы не являются его корнями. Поэтому этот многочлен является циклическим и его корневые многочлены имеют вид:

.

Нетривиальные автоморфизмы поля разложения многочлена над определяются отображениями:

Пример 2. Пусть поле

,

Тогда из (13) имеем:

Этот многочлен неприводим в , так как элементы не являются корнями этого многочлена, следовательно, это циклический многочлен с корневыми многочленами:

Если один корень многочлена то два других корня этого многочлена есть:

и нетривиальные автоморфизмы поля разложения многочлена над определяются отображениями:

где

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

Пусть

неприводимый над полем циклический многочлен и его корни, т.е. где его корневые многочлены.

Так как

То

откуда получаем

и значит, корни многочлена Тогда:

(15)

Упрощая равенство (15), получаем:

Откуда

Итак, в рассматриваемом случае (когда все три корневых многочлена у циклические), имеем:

и уравнение

имеет корень в поле

Поле

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

,

очевидно, не имеет корней в поле Таким образом, циклические многочлены третьей степени с коэффициентами из имеют один линейный корневой многочлен и два многочлена 2-ой степени, так как, очевидно, двух линейных корневых многочленов и одного 2-ой степени не может быть у циклического многочлена 3-ей степени над полем любой характеристики.

Литература

1. Girstmair K. On root polynomials of cyclic cubic equation // Arch. Math. Vol. 36, 1981. p. 313 - 326.

2. Сергеев А.Э. О задаче И. Капланского // Известия вузов; Северо-кавказский регион. Естественные науки. 2001. № 1. с. 14 - 17.

3. Kleiman H. Methods for uniquely determining Galois polynomials and related theorems // Monatshefte fur Mathematik, 73, 1969, p. 63 - 68.

4. Muthsam H. Eine bemerkung uber die wurzelpolynome Galoiisscher gleichungen// Monatshefte fur Mathematik, 83, 1977, p. 155 - 157.

Размещено на Allbest.ru

...