多项式x4 + 1在Z [x]中不可约，但在局部可约，即，它对所有素数p取模p。 在本文中，我们研究了这种现象，并证明了对于任何复合自然数N，Z [x]中都有一元不可约多项式，这些多项式可模化每个素数。