 Discriminant of a prime cyclotomic power basis

ID: discriminant-of-a-prime-cyclotomic-power-basis

For an odd prime

p

and a primitive

p

ζ_{p}

disc (1, ζ_{p}, \dots, ζ_{p}^{p - 2}) = (- 1)^{(p - 1) /2} p^{p - 2} .

 New to topics? Read the docs here!