Примитивный многочлен —
многочлен ![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=3630)
, где
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=3516)
— ассоциативно-коммутативное
кольцо с однозначным разложением на множители, коэффициенты которого не имеют нетривиальных общих делителей.
Любой многочлен
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=755)
можно записать в виде
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=562)
, где
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=834)
— примитивный многочлен, a
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=1247)
—
наибольший общий делитель коэффициентов многочлена
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=1493)
. Элемент
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=3484)
, определён с точностью до умножения на обратимые элементы из R, он называется
содержанием многочлена ![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!FEZFM9BUQ2&type=0&index=1493)
.