25
Единственность:
пусть
Н.О.К. единствен-
но с точностью до ассоциируемости.
Обозначение: – нормир. Многочлен.
Теорема 5.
.
(5)
Доказательство.
Пусть
. (6)
- кратное
Рассмотрим
Следовательно,
. Из (6)
следует
Взаимно простые многочлены.
Лемма. Н.О.К. произвольных взаимно простых многочленов равно их
произведению.
Теорема 6.
Теорема 7. Если взаимно прост с каждым из многочленов
, то он взаимно прост и с произведением
Доказательство.
(аналогично и с h).
любой общий
делитель должен делить и , но
Теорема 8. Если , но взаимно просты, то .
Теорема 9.
Если то
Определение. Н.О.Д. для
называют их общий делитель,
такой, что он делится на любой общий делитель.
Теорема. Н.О.Д.
Замечание. Теоремы 6-9 можно обобщить на случай системы много-
членов.
Do'stlaringiz bilan baham: