Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $w$ be a primitive $p^{th}$ root of unity, where $p$ is prime . Let $I,J \subset F_{p}$ where $F_{p}$ is a field of $p$ elements. Chebotarev's theorem states that if $I$ and $J$ have equal cardinality then the matrix $(w^{ij})_{i \in I, j\in J}$ has non-zero determinant.

What is the intuition behind this result? Note that it does not hold in general if $p$ is not prime. For example if $p=4$ then $I=\left\{0,2\right\}$ and $J=\left\{0,2\right\}$ gives a counterexample. Intuitively why doesn't it hold in general when $w$ is a primitive $n^{th}$ root of unity, $n$ being composite?

share|cite|improve this question
I only knew Chebotarev's density theorem but now I see there's a Chebotarev's theorem on roots of unity. Thanks for educating me. – lhf May 27 '11 at 16:38
Why do you ask why it doesn't hold? Do you have an actual counterexample? From a very quick google search, the paper… gives an analogue for composite n. – KCd May 27 '11 at 16:53
See the 4th page of the paper on Chebotarev by Lenstra and Stevenhagen for a description of Chebotarev's proof for roots of unity with prime order p, which involves p-adic completions. They give some intuition. – KCd May 27 '11 at 17:02
@lhf: I was also going to comment the same :). Good to see our minds thinking along the same lines. – user9413 May 27 '11 at 17:03
Myke: please put the counterexample into the question itself so readers will know there is something different in the case of prime vs. non-prime n. – KCd May 27 '11 at 17:49

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.