Is the mimal polynomial of an algebraic number separable modulo primes not dividing its discriminant? Let $K$ be an algebraic number field, $K=\Bbb{Q}(\alpha)$. Let $f \in \mathbb Z[X]$ be the minimal polynomial of $\alpha$. 
If $p$ does not divide $\operatorname{disc}(f)$, then $f$ mod $p$ is a separable polynomial in $(\Bbb{Z}/p\Bbb{Z})[X]$. Moreover the roots of $f \bmod Q$ are distinct, where $Q$ is a prime ideal of $\mathcal O_K$ (the ring of integers of $K$) above $p$.
Are these assertions true?
 A: The answer to both questions is yes. To see this, denote by $\overline{\phantom{x}}$ the natural map $\mathbf Z[X] \to (\mathbf Z / p \mathbf 
Z)[X]$. As the discriminant can be expressed as a polynomial in the coefficients of $f$ and $\overline{\phantom{x}}$ is a morphism of rings, we have $\overline{\operatorname{disc}(f)} = \operatorname{disc}(\overline f)$.
Thus if $p$ does not divide the discriminant of $f$, then $\operatorname{disc}(\overline f) \neq 0$. But the discriminant is also given by
$$ \operatorname{disc}(\overline f) = c \cdot \prod_{i \neq j} (\alpha_i - \alpha_j), $$
where $c \in \mathbf Z / p\mathbf Z$ and $\alpha_1,\dotsc,\alpha_r$ are the roots of $\overline f$ in some splitting field. Since the discriminant $\operatorname{disc}(\overline f)$ is nonzero, we conclude that the $\alpha_i$ have to be distinct. Thus $f$ is separable.
If $f \bmod Q$ would have a multiple root, then $\overline f \in (\mathbf Z/ p \mathbf Z)[X]$ would have a multiple root in a splitting field, contradicting the separability.
