КОРНИ МНОГОЧЛЕНОВ. ПРОИЗВОДНЫЕ И КРАТНЫЕ КОРНИ
            Допустим p =   некоторый многочлен над k и . Значением многочлена p в точке a называется элемент поля k,   равный . Он обозначается p(a) 
              является гомоморфизмом   Ядро этого гомоморфизма состоит из всех многочленов, для которых p(a) = 0, то есть a является их корнем 
Если   | p , то a называется корнем кратности не ниже n. Введем понятие производной многочлена p. По определению это многочлен . Имеют место обычные правила вычисления производной: ; 
В частности, если p ( a ) = 0, но , то корень a - простой (то есть не кратный).   наличие у   многочлена корня a кратности не ниже n влечет наличие   у его производной того же корня кратности не ниже ( n -1) 
Элемент   будет корнем многочлена p тогда и только тогда, когда (x - a) | p. Отсюда непосредственно вытекает, что неприводимый многочлен степени больше 1 не имеет корней. Поскольку ядро I - идеал, содержащий (x-a) и не совпадающий с k [ x ] ( x - a + ), а каждый идеал в k[x] - главный, то I=(x-a) 
Многочлен степени n имеет не более n корней с учетом их кратности. Число n называется кратностью корня a если   | p , но   не делит p . Предположим, что - множество всех корней многочлена p с указанными кратностями . При a b НОД( , ) =1, многочлен p делится на   и потому deg ( p ) 
Делимость многочленов 
Способ деления «углом» используется в арифметических действиях над коэффициентами. Он применяется к многочленам над любым полем k 
  Делимость многочленов позволяет для   двух ненулевых многочленов p , s k [ x ] получить такие многочлены   q и r =0( s делит p ), либо deg ( r )< deg ( s ), что p = q * s + r 
  Многочлен называется унитарным, если его старший коэффициент равен 1 
Для любых двух ненулевых многочленов p и q над полем k можно найти такие многочлены u и v над тем же полем, что ОНД( p , q )= u * p + v * q 
            Возьмем многочлены u и v такие, что сумма w = u * p + v * q имела наименьшую степень. Можно при этом считать w унитарным многочленом 
Производим деление с остатком: p = s * w + r . После чего находим: r = p - s * w = p - s *( u * p + v * q ) = (1- s * u )* p +(- s * v ) q = U * p + V * q 
  R должно равняться нулю 
Докажем, что w | q . Так как W = ОНД( p , q )., то по определению w | W . Также W | p , W | q W | w . Значит многочлены w и W унитарные. Поэтому W = w 
Для любого числа многочленов ОНД можно доказать, что   для подходящих многочленов 
Данная формула сохраняется для бесконечного множества многочленов. В связи с тем, что их ОНД является ОНД некоторого их конечного подмножества 
ОНД   ненулевых многочленов p и s   называется такой унитарный многочлен ОНД( p , s ), что выполняются следующие условия: 
  q | p, q | s   q | ОНД ( p, s) 
ОНД ( p, s) | p;   ОНД ( p, s) | s 
Всякий идеал в кольце многочленов над полем является главным. В самом деле, пусть p - ОНД всех многочленов, входящих в идеал I. Тогда   , где . По определению идеала отсюда вытекает, что , а значит, I =(p) 
Для ненулевого многочлена р со старшим коэффициентом а   ОНД (р, 0) = ОНД (0, р) = р/а; ОНД (0, 0)=0 
Разложение на множители 
       Неприводимый многочлен в кольце k [ x ] является аналогом простого числа в кольце Z . Каждый ненулевой многочлен p = можно разложить в произведение: p = * , где все многочлены   неприводимы над k и имеют старший коэффициент равный 1 
Предположим, что k некоторое поле, p , q , s - многочлены над k . Если p = q * s , причем оба многочлена q и s имеют степень меньшую, чем p , то многочлен p называется приводимым. Иначе неприводим 
Кратными называются множители одинаковые. Объединяя кратные множители получим: p = 
Свойства неприводимых многочленов . 
1 . Если p |   и p неприводим, то либо p |   либо p | . Действительно, в противном случае НОД(p, ) = НОД(p, ) =1 и потому по основной теореме теории делимости   ; , откуда:   и значит, ,       то есть      НОД(p, )=1 и, следовательно, deg (p )=0 
2. Если p- неприводимый многочлен и d =ОНД(p, q) 1, то p | q 
В самом деле, p = d*s и если deg(s )>0, то это противоречит неприводимости p, а если deg(s )=0, то d | q p | q 
Приведем несколько примеров 
Многочлен   неприводим над полем Q рациональных чисел. Многочлен   над полем R вещественных чисел приводим если . В данном выражении второй множитель имеет отрицательный дискриминант. По этой причине невозможно разложить его над R . Получаем над полем C комплексных чисел: , где = - кубический корень из 1 
Понятие приводимости существенно зависит от того над каким полем рассматривается многочлен 
. Множитель x является кратным, остальные - простые. Следует отметить, что по определению многочлены первой степени неприводимы над любым полем