最大公因式

一元多项式环：

所有系数在数域P中的一元多项式的全体，称为数域P上的一元多项式环，记为P[x]，P称为P[x]的系数域。

带余除法：

对于P[x]中任意两个多项式f(x)与g(x)，其中g(x)≠0，一定有P[x]中的多项式q(x), r(x)存在，使f(x) = q(x)g(x)+r(x)成立，其中f(x)的次数<g(x)的次数，或者r(x)=0，并且这样的q(x), r(x)是唯一决定的。

整除：

数域P上的多项式g(x)称为整除f(x)，如果有数域P上的多项式h(x)使等式f(x)=g(x)h(x)成立，用“g(x)|f(x)”表示g(x)整除f(x)。

对于数域P上的任意两个多项式f(x), g(x)，其中g(x)≠0，g(x)|f(x)的充要条件是g(x)除f(x)的余式r(x)=0.

整除的性质：

1、如果f(x)|g(x) , g(x)|f(x)，那么f(x) = cg(x)，其中c≠0.

2、如果f(x)|g(x) , g(x)|h(x)，那么f(x)|h(x).（整除的传递性）

3、如果f(x)整除几个多项式，那么整除这些多项式组成的线性组合多项式。

最大公因式：

设f(x), g(x)是P[x]中两个多项式，P[x]中多项式d(x)称为f(x), g(x)的一个最大公因式，如果满足下面条件：

1、d(x)是f(x), g(x)的公因式。

2、f(x), g(x)的公因式全是d(x)的因式。

公因式性质：

如果有等式f(x) = q(x)g(x)+r(x)成立，那么f(x), g(x)和g(x), r(x)有相同的公因式。

辗转相除（欧几里得算法）：

对于数域P上的任意两个多项式f(x), g(x)，在P[x]中存在一个最大公因式d(x)，且可以表成f(x), g(x)的一个组合，即有P[x]种多项式u(x), v(x)使d(x)=u(x)f(x)+v(x)g(x).

互素：

1、数域P上的任意两个多项式f(x), g(x)的充要条件是有P[x]种的多项式u(x), v(x)使u(x)f(x)+v(x)g(x)=1.

2、如果（f(x),g(x)）=1，且f(x)|g(x)h(x)，那么f(x)|h(x).

 

转载于:https://www.cnblogs.com/bangemantou/archive/2013/03/13/2957584.html