7
$\begingroup$

I'm very bad in computations of this kind :/. I don't know tricks for computing the discriminant of a polynomial, only the definition and using the resultant, but it's very complicated to do only with that tools. I need some help please ._.

I have to prove that the discriminant of $\Phi_p$ is $ (-1)^{\frac{p-1}{2}}p^{p-2}$ I don't know if it's neccesary to assume that $p$ is prime.

1 Answers 1

18

In what follows I will assume that $p$ is an odd prime. Let $\zeta$ be a primitive $p$-th root of unity and denote its conjugates by $\zeta_1,\ldots,\zeta_{p-1}$, so we have $$\Phi_p(X) = \frac{X^p-1}{X-1} = \prod_{i=1}^{p-1} (X-\zeta_i).$$ The discriminant of $\Phi_p$ then can be computed as $$\Delta = \prod_{i$\zeta$ and take norms to get $$N(\zeta-1) N(\Phi_p'(\zeta)) = N(p \zeta^{-1}) = p^{p-1}.$$ The norm $N(\zeta-1)$ is given by $$N(\zeta-1) = \prod_i (\zeta_i - 1) = \prod_i (1 -\zeta_i) = p$$ as we see by setting $X = 1$ in $$\Phi_p(X) = \prod_i (X-\zeta_i) = 1 + X + \ldots + X^{p-1}.$$ Altogether, this shows $$\Delta = (-1)^{(p-1)/2} p^{p-2}.$$

  • 0
    Yes, thanks, I fixed it2017-11-14