Материал: Методические указания для организации самостоятельной работы по дисциплине «Алгебра и геометрия». Майорова С.П., Завгородний М.Г

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

3. НЕПРИВОДИМЫЕ МНОГОЧЛЕНЫ НАД ПОЛЕМ. КАНОНИЧЕСКОЕ РАЗЛОЖЕНИЕ МНОГОЧЛЕНА

Основные теоретические сведения

Определение. Многочлен

f (x) P[x]

степени n 1

называется неприводимым над полем P , если не существует

многочленов

f1(x), f2 (x) P[x] таких, что

 

f (x)

f1(x) f2 (x) , где

0 deg fi n ,

i 1, 2 .

В противном случае многочлен называется приводимым над полем P . Многочлены нулевой степени и нулевой многочлен не относят ни к приводимым, ни к неприводимым многочленам.

Другими словами, многочлен неприводим над полем, если он не может быть разложен в произведение двух многочленов меньшей степени.

Понятие неприводимого многочлена существенно привязано к полю, над которым этот многочлен рассматривает-

ся. Например, многочлен

f (x) x2 3

можно рассматривать

и над полем

рациональных чисел,

и над полем

дей-

ствительных чисел. Над полем

он неприводим, так как не

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

многочлен

f (x) уже

приводим,

так

как

верно

разложение

f (x) (x 3)(x 3) .

Отметим, что многочлен первой степени, т.е. многочлен вида ax b , a 0 , является неприводимым над любым полем.

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

Теорема. Любой многочлен f (x) P[x] степени n 1

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

14

Следствие. Любой

многочлен

f (x) P[x]

степени

n 1 над полем P представляется в виде

 

 

f (x) a k1

(x) k2

(x)... km (x) ,

 

 

1

2

m

 

 

где a P \ {0} ; 1(x), 2 (x), ... ,

m (x)

- различные унитар-

ные неприводимые над полем P многочлены;

k1, k2

, ... , km -

натуральные числа.

 

 

 

 

 

Такое представление многочлена

f (x)

называется его

каноническим разложением над полем P .

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

например, многочлен

f (x) x4 4 можно рассматривать над

любым из полей ,

, , и над каждым из них f (x) разла-

гается в произведение неприводимых множителей. Однако разложения эти различны, а именно:

над полем

f (x) (x2 2)(x2 2) ,

 

 

 

 

 

 

 

 

 

 

 

 

 

)(x2 2) ,

над полем

f (x) (x

2)(x

2

 

 

 

 

 

 

 

 

 

 

над полем

f (x) (x 2)(x 2)(x i

2)(x i 2) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вопросы для самоконтроля

1)Какой многочлен называется неприводимым?

2)Докажите, что многочлен третьей степени, не имеющий корней в данном поле, неприводим.

3)Приведите пример приводимого многочлена четвертой степени в кольце [x] , не имеющего действительных

корней.

4)Что такое каноническое разложение многочлена?

5)Докажите, что многочлен второй или третьей степени приводим над полем P тогда и только тогда, когда он имеет корни в поле P . Покажите, что уже для многочленов четвертой степени этот факт неверен.

15

6)Как найти НОД нескольких многочленов, если известно каноническое разложение каждого из них?

7)Как найти НОД нескольких многочленов, если известно разложение одного из них на неприводимые множители?

Примеры решения задач

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

P

 

2 . Тогда в

P[x] неприводимы

многочлены x2 x 1,

x3 x 1 ,

x3 x2

1, так как они не

имеют корней в поле P

2

. Многочлен

x4 x2 1 также не

 

 

 

 

 

 

имеет корней в данном поле P ,

но он приводим, так его

можно разложить на множители:

x4 x2

1 (x2 x 1)2 .

Задачи и упражнения для самостоятельного решения

1) Даны многочлены x2 1,

x2 2 , x2

1,

x4 25 . Выяс-

ните, будут ли эти многочлены приводимы над полями

,, ? В случае положительного ответа запишите со-

отетствующее каноническое разложение многочлена.

2) В кольце

[x] найдите наибольший общий делитель мно-

гочленов:

а)

x3 (x3 2)2 (x2 3)

и x(x2 1)2 (x3 2) ;

б) (x4 4)(x2

2) и (x2 2)2 (x4

4) ;

в) (x 1)125 (x 2)107 (x 3)92 и

 

x9 x8 5x7 x6 11x5 13x4 7x3 15x2 4 .

3)Пусть A - множество корней многочлена f и B - множество корней многочлена g . Справедливы ли следующие

утверждения:

а) Если A B , то наибольший общий делитель мно-

гочленов f и g равен 1.

б) Если наибольший общий делитель многочленов f и g равен 1, то A B ?

16

4.НЕПРИВОДИМЫЕ МНОГОЧЛЕНЫ НАД ПОЛЕМ ДЕЙСТВИТЕЛЬНЫХ ЧИСЕЛ

Основные теоретические сведения

Рассмотрим сначала многочлены с комплексными коэффициентами. Описание неприводимых многочленов над

полем дает следующая теорема.

Теорема. Над полем

комплексных чисел неприводи-

мы все многочлены первой степени, и только они. Следствие. Каноническое разложение многочлена

f (x) a

xn a

 

xn 1

... a x a

 

[x]

n

n 1

 

 

1

0

 

 

над полем имеет вид

f (x) a

(x c )k1

(x c

)k2 ... (x c )ks ,

 

 

 

 

n

1

 

2

s

где c1, c2 ,..., cs - различные комплексные корни многочлена;

k1 k2 ... ks n .

Рассмотрим теперь [x] - кольцо многочленов над по-

лем действительных чисел. С помощью последней теоремы можно описать все неприводимые многочлены над полем .

Напомним, что дискриминантом многочлена ax2 bx c [x] ,

a 0 , называется число D b2 4ac , и многочлен не имеет корней в поле тогда и только тогда, когда D 0 .

Теорема. Над полем действительных чисел непри-

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

 

Следствие 1. Каноническое разложение многочлена

 

 

f (x) a xn a

xn 1

... a x a

 

[x]

 

 

 

 

 

n

n 1

 

 

1

 

0

 

 

 

 

над полем

имеет вид

 

 

 

 

 

 

 

 

 

 

 

f (x) a (x c )k1

...(x c )ks

(x2

p x q )m1...(x2 p x q )mr ,

 

n

1

 

 

s

 

1

1

 

 

 

l

l

 

 

p2 4q 0

 

 

 

k ... k

 

2m

... 2m

 

n ;

где

( i 1, r );

s

 

 

i

i

 

 

 

 

 

1

 

 

1

r

 

c1,

c2 , ... , cs - различные действительные корни f (x) .

 

 

17

Следствие 2. Любой многочлен нечетной степени над полем имеет действительные корни.

Укажем некоторые свойства корней многочленов с действительными коэффициентами.

Теорема. Если комплексное число z a bi является корнем многочлена f (x) с действительными коэффициен-

тами, то сопряженное с ним число z a bi также будет корнем этого многочлена.

Вопросы для самоконтроля

1)Какие многочлены неприводимы над полем комплексных чисел?

2)Какой вид имеет каноническое разложение многочлена n -й степени над полем комплексных чисел?

3)Какие многочлены неприводимы над полем действительных чисел?

4)Какой вид имеет каноническое разложение многочлена n -й степени над полем действительных чисел?

5)Докажите, что в кольце [x] нет неприводимых многочленов нечетной степени.

6)Приведите пример многочлена четвертой степени над полем действительных чисел, не имеющего корней в этом поле.

7)Покажите, что кольцо [x] многочленов с действительными коэффициентами не является полем.

Примеры решения задач

Задача 1. Найти многочлен наименьшей степени с действительными коэффициентами, который имеет следующие

корни:

2 i , 3

- простые корни, 1 i - корень кратности 2.

Решение. Искомый многочлен обозначим через f (x) .

Так как

f (x)

[x] , то вместе с корнем 2 i комплексно

сопряженное число 2 i также является корнем этого многочлена. Поэтому f (x) g(x) , где

18

Источник: https://studfile.net/preview/16563524/