Una congruenza polinomiale, o congruenza algebrica, è una congruenza del tipo a k x n + a k − 1 x n − 1 + ⋯ + a 1 x + a 0 ≡ 0 mod n {\displaystyle a_{k}x^{n}+a_{k-1}x^{n-1}+\cdots +a_{1}x+a_{0}\equiv 0\mod n} dove n è un qualsiasi intero maggiore o uguale a 2. Wikipedia