СРАВНЕНИЕ ПО ДВОЙНОМУ МОДУЛЮ

( р, f(x))- соотношение между целочисленными многочленами а(х) и b(x) вида

a(x)-b(x)=f(x)g(x) + ph(x),
где р - простое число, a f(x) = xⁿ+a₁x^n-1+. ..+a_n, g(x) и h(x) - многочлены с целыми рациональными коэффициентами. Иными словами, многочлены а(х)и b(х)с целыми рациональными коэффициентами наз. сравнимыми по двойному модулю ( р,f(x)), если их разность а(х)-b (х)делится на f(х)по модулю р. Для обозначения сравнимости а(x) и b(х)по двойному модулю ( р,f (х)) используется символ

введенный, как и само понятие лС. по д. м.