Choose compatible primitive roots of unity . The partial sums form a Cauchy sequence. Each generates : for a nonidentity cyclotomic automorphism with , the first changed term has valuation , strictly below every later changed term. Thus the conjugate distance is at least . The tail bound is , strictly smaller. If the limit were algebraic, Krasner's lemma would place every one of these unbounded-degree cyclotomic fields in one finite extension, a contradiction.

Articles by others on the same topic (0)

There are currently no matching articles.