整数

多项式

a|b⇔存在一个整数d，使得b = ad

f(x)|g(x)⇔存在一个多项式h(x)，使得g(x) = f(x)h(x)

a|b, a|c ⇒ a|(b + c)

h(x)|f(x), h(x)|g ⇒ h(x)|(f(x) + g(x))

a|b, c Î Z ⇒ a|bc

h(x)|f(x)，任意多项式g(x) ⇒ h(x)|f(x)g(x)