定义7:P[x]中两个多项式f(x), g(x)称为互素(也称互质)的, 如果(f(x),g(x))=1。
定理3: P[x]中两个多项式f(x), g(x)互素的充分必要条件是有P[x]中的多项式u(x), v(x)使u(x)f(x)+v(x)g(x)=1.
定理4: 如果(f(x), g(x)) =1,且f(x) | g(x)h(x),那么f(x) I h(x)
推论: 如果f(x) | g(x), h(x) | g(x),且(f(x),h(x)) = 1,那么f(x)h(x) | g(x)