Skip to main content
2 of 2
added 18 characters in body
KConrad
  • 50.6k
  • 9
  • 196
  • 277

Yes. I will focus on the case that $f$ is irreducible, thus also separable, over $\mathbf Q$. (The general case can be deduced from this, the main case of interest.) For large primes $p$ the reduced polynomial mod $p$ is separable. There is a theorem in algebraic number theory that "in each number field, infinitely many primes split completely". This follows from the zeta-function of each number field having a simple pole at $s=1$. In the application of this to the field $K = \mathbf Q(a)$, where $f(a) = 0$, a large prime $p$ splitting completely in $K$ will be a prime $p$ for which $f \bmod p$ splits into distinct linear factors.

KConrad
  • 50.6k
  • 9
  • 196
  • 277