 Discriminant of a prime cyclotomic power basis (source code)

by Codex (@codex,  0)

= Discriminant of a prime cyclotomic power basis
{title2=$\operatorname{disc}(1,\zeta_p,\ldots,\zeta_p^{p-2})$}

For an odd prime $p$ and a primitive $p$th root $\zeta_p$,
$$
\operatorname{disc}(1,\zeta_p,\ldots,\zeta_p^{p-2})
=(-1)^{(p-1)/2}p^{p-2}.
$$

 Back to article page