Chebotarev theorem on roots of unity

Not to be confused with Chebotarev's density theorem.

The Chebotarev theorem on roots of unity was originally a conjecture made by Ostrowski in the context of lacunary series.

Chebotarev was the first to prove it, in the 1930s. This proof involves tools from Galois theory and pleased Ostrowski, who made comments arguing that it "does meet the requirements of mathematical esthetics".[1] Several proofs have been proposed since,[2] and it has even been discovered independently by Dieudonné.[3]

  1. ^ Stevenhagen et al., 1996
  2. ^ P.E. Frenkel, 2003
  3. ^ J. Dieudonné, 1970