Файл: Учебнометодический комплекс Для студентовбакалавров, обучающихся по направлению.doc

§2. Отношение делимости в кольце Р[х] и его свойства.

Определение 1. Многочлен f(х) Î Р[х] делится на многочлен g(x) Î P[x], g(x)  0, если  h(x) Î P[x]: f(x)=g(x)h(x), f(x) - делимое, g(x) -делитель, h(x) - частное.

Задача 1. Выяснить, делится ли многочлен:

f(x) = 3х⁵ - 9х⁴ + х³ – x²- x на g(x) = x²- х –

в кольце Q[x].

Решение.

Многочлен f(x) будет делиться на g(x), если r(х) = 0. Деление многочлена выполняется «углом», как деление многозначных чисел.



0 = r(x).

Ответ: f(x)=g(x) • (3х³- х²+2х)

Задача 2. Найти, при каких значениях (а) и (b) многочлен f(x) делится на многочлен g(x), где f(x) = 2х⁴ + Зх³ – 2x² + ах +b, g(x) = 2х² - 3х +2

Решение.
Делим f(x) на g(x)



Приравниваем остаток к нулю, получим: (а + )х + (b - 5) = 0 <=>

Ответ: а = -3/2, b = 5

Свойства отношения делимости в кольце Р[x].

Свойство 1. В кольце Р[х] любоймногочлен f(x) делится на   0, Р. Действительно:



Свойство 2. Если (f(x)/h(x))&(g(x)/h(x))=>(f(x) ± g(x))/h(x).

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

Т.к. f(x) /h(x) => s(x)P[x]: f(x)=h(x)s(x)

Т.к. g(x) /h(x) => u(x)P[x]: g(x)=h(x)u(x)

f(x) g(x)=h(x)[ ]=h(x)m(x)=>(f(x)±g(x))/h(x)

Свойство 3. Если (f(x) / g(x)) & (g(x) / f(x)) => f(x)=cg(x),

где с Р.

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

Т .к. f(x) /g(x) => f(x)= g(x)h(x), где h(x) P[x]

Т.к. g(x) /f(x) => g(x)=f(x)s(x), где s(x) P [x]

---

f(x)=f(x) => f(x) = f(x)u(x) => cm u(x)=0 => u(х) = с,

где с  Р, т.е. f (x)=g(x)c. Многочлены f(x) и g(x) называют ассоциированными.

Свойство 4. Если (f(x) / g(x)) & h(x)  P => (f(x)h(x)) / g(x). Докажите это свойство самостоятельно.

§3. Деление с остатком в кольце P[x].

Определение 1. Многочлен f(x)  P[x] делится на многочлен g(x)  0 из этого же кольца с остатком, если h(x) и r(х) из Р[х]: f(x)= g(x) h(x)+r(x), где cm r(x)
Теорема 1. Для любой пары многочленов f(x) и g(x) из кольца Р[х], где g(x)  0, ! пара многочленов h(x) и r(х) из

Р[х]: f(x)=g(x) h(x)+r(x), причём cm r(x) < cm g(x)  r(x)=0

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

Докажем существование такой пары многочленов.

Пусть f(x) = a_nxⁿ+a_n-1 x^n-1+...+ а₁x+ а₀

g(x) = b_sх^s+b_s-1 х^s-1+…+b₁x+b₀

При этом возможны два случая:

1-й случай: f(x) = 0 или cm f(x) < cm g(x), тогда

f(x) = g(x) • 0 + f(x)и искомые многочлены будут равны:

h(x) = 0, r(x) = f(x)

2-й случай: cm f(x)  cm g(x), и пусть cm f(x) = n, т.е. а_n  0,

cm g(x)=s, т.е. b_s  0

Тогда, вычтем из многочлена f(x) многочлен Получим: (1)

cm f₁(x) < cm f(x), т.к. в процессе вычитания член a_nxⁿ будет уничтожен.

Если cm f₁(x) > cm g(x), то опять повторим процедуру понижения степени

(2) , где cm f₂(x) < cm f₁(x)

Если cm f₂(x)  cm g (x), то опять повторим процедуру понижения степени до тех пор пока не получим многочлен f_k(x), степень которого будет меньше ст. g(x), т.е. равенство:

Складывая почленно равенства (1),(2).... ,(k), получим:

Обозначим f_k(x)= r(x), т.к. его степень меньше cm g(x), тогда f(x)=g(x)h(x) + r(x) (**)

Докажем единственность такого представления:

Предположим противное, пусть

f(x)=g(x) h(x)+r(x),

где

cm r(х) < cm g(x)  r(x) = 0

и

f(x) = g(x)h₁(x)+r₁(x),

где

cm r₁(х) < cm g(x)  r₁(x)=0

Тогда, g(x) [h(x) – h₁(x)]= r₁(x) - r (x), cm g(x) + cm [h(x) – h₁(x)] = =cm (r₁(x) - r(х)), т.е. cm g(x)  cm (r₁(x) - r(x)), что противоречит определению отношения делимости многочленов с остатком. Следовательно, (h

---

₁(x) = h₂(х)) & (r₁(x) = r(x)). Таким образом, отношение делимости в кольце Р[х] обладает почти теми же свойствами, что и в кольце Z,однако есть и небольшие различия, например, кольцо Р[х] более богато обратимыми элементами, чем кольцо Z.

Так, относительно операции умножения в кольце Z всего два обратимых элемента 1, -1, а в кольце Р[х] это все многочлены нулевой степени, т.е. элементы поля Р.

Понятия HОД(f, g) и HOK(f, g) определяются с точностью до постоянного множителя (с), а в кольце Z с точностью до знака.

Действительно, если даны два многочлена f(x) и g(x), а d₁(x) и d₂(x) их НОД, то (d₁(x) /d₂(x)) & (d₂(x) /d₁(x)) => d₁(x) = cd₂(x) (см. св - во 3), т.е. НОК и НОД определяются с точностью до множителя из поля Р. Так же как и в кольце Z на основе доказанной выше теоремы можно записать алгоритм Евклида: для f(x), g(x)P[x], g(x)  0 и доказать, что последний остаток r_n(х)  0 в этом алгоритме будет НОД(f(x), g(x)), что одновременно доказывает и существование НОД(f, g) для  f, g  P[x].

Задача 1. В кольце Z₅[х] найти НОД(f, g) и HOK[f, g], если

f(x) = x² + x + , g(x) = x³ –

Решение. Для нахождения НОД(f, g)используем алгоритм Евклида. Делим "углом"' g(x) на f(х)


Итак HOД(f, g) =

Для нахождения HOK[f, g] воспользуемся формулой

итак, HOK[f, g] =

Замечание. В процессе выполнения алгоритма Евклида не только сами многочлены f(x) и g(x), но и получаемые остатки можно умножать на любые числа (не равные нулю), чтобы в частном получались только целые коэффициенты. При этом, конечно, частное искажается, остаток от деления остается с точностью до ассоциированности.

---

Однако, этого делать нельзя, когда решаем

Задачу 2. В кольце Q[x] с помощью алгоритма Евклида найти линейное представление НОД(f, g), если

f(x) = x⁵ - 5x⁴ - 2х³ + 12х - 2х + 12

g(x)= х³ – 5x² – 3x + 17

Решение.

Найти линейное представление - это значит найти многочлены u(х) и v(x): d(x) = f(x)u(x) + g(x)v(x). Делим f(х) на g(x):



0=r₃(x)

Итак, HOД(f, g)=2

Теперь запишем процесс деления многочленов в виде равенств:

f(x) = g(x)•(x² + l) + (x - 5), g(x) = (x - 5)•(x² - 3) + 2

Выразим из последнего равенства (f,g) = 2 2 = g(x) - (x - 5)•(x² - 3) (*)

Из первого равенства выразим остаток r(х) = (х - 5), х - 5 = f(x) - g(x)(x²- 1) и подставим в равенство (*).

Получим:

2 = g(x) - [f (x) - g(x)(x² + 1)](х² - 3)

2 = g(x) - f(х)(х² + 3) + g(x)(x² + 1)(х² - 3)

2 = g(x)[l + (х² + 1)(х² - 3)] + f (х)(3 - х²)

v(x) = l + (x²+l)(x² -3) = 1+х⁴ - 3х² + х² - 3=х⁴ - 2х² - 2

Ответ: u(x)=3 - x², v(x)=x⁴ – 2x² -2
Замечание. В этой задаче использовались неполные частные, поэтому нельзя домножать многочлены на множители из поля Q.

Определение 2. Многочлены f(x) и g(x) называются взаимно простыми, если (f, g)=c, где с  Р.

Чтобы снять неоднозначность, вводится понятие нормированного многочлена.

Определение 3. Многочлен f(x)  P[x] называется нормированным, если коэффициент при его старшем члене равен 1.

Например, f(x)=x⁵ + 3x⁴ - 2x² + 2. Тогда, если f(x) и g(x) нормированные и взаимно простые, то (f, g)=l.

Имеет место следующая теорема:

Критерий взаимной простоты: (f, g) = l   u, v  P[x]:

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

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

Необходимость. Так как многочлены f и g взаимно просты, то всегда можно записать: fu + gv = l (смотри алгоритм Евклида).

Докажем достаточность. Пусть fu + gv = l, докажем, что (f, g) = l. Предположим противное, пусть многочлены f(x) и g(x) не являются взаимно простыми, т.е. (f, g) = d  l. Тогда (f/d) & (g/d) => (fu+gv)/d => (l/d) => cm d(x) = 0 => (d = l).

---

§4. Приводимые и неприводимые многочлены

в кольце Р[х].

Определение 1. Многочлен f(x)  0 из Р[х] называется приводимым над полем Р, если его можно представить в виде произведения многочленов выше нулевой степени, т.е. f(x) = g(x)h(x), где cm g(x) < cm f(x) & cm g(x)  0, cm h(x) < cm f(x) &cm h(x)  0.

Определение 2. Многочлен f(x)P[x] называется неприводимым над полем P, если:

1. cm f(x) > 0,

2. f(x) не разлагается в произведение многочленов меньшей степени.

Пример 1. Многочлен f(x)=x² + 1 = (x - i)(x + i) приводим над полем С и неприводим над полем R и Q.

Многочлен h(x) = x² - 5x + 6 = (x - 3)(x - 2) приводим над Q, R и С.

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

1. единица;

2. простые числа;

3. составные числа,

то и множество Р[х] разбивается на три класса:

1. многочлены нулевой степени (а_iР);

2. приводимые многочлены;

3. неприводимые многочлены.

Замечание 2. Приводимость многочленов зависит от поля Р. (смотри прим. 1)

Также как в кольце Z, в кольце Р[х] можно доказать аналог основной теоремы арифметики.

Теорема f(x)  0, f(x)P[x], cm f(x)>0 разлагается в произведение неприводимых многочленов единственным способом, с точностью до порядка следования многочленов нулевой степени.

Доказать самостоятельно теорему и следствие из неё.

Следствие. Если f(x) = c₁p₁^1(x) p₂^2(x)... p_k^k(x),

g(x) = c₂p₁^1(x) p₂^2(x)...p_s^s(x), то

(f, g) = cp₁^1(x) p₂^2(x)...p_m^m(x), где _i = min(_i, _i)

[f, g] = c₃p₁^l(x) p₂^2(x)...p_n^n(x), где _i = mах(_i, _i)

Покажем, что задача о разложении многочлена на линейные множители (многочлены первой степени) сводится к задаче нахождения корней многочлена f(x) в поле Р.

Пусть f(x)=a_nxⁿ + a_n-1x^n-1 +...+ a₁x + a₀ и Р. Подставим вместо х в f(x) . Получим, f()=a_nⁿ + a

---