Algebraic closure of the p-adic numbers is not complete
ID: algebraic-closure-of-the-p-adic-numbers-is-not-complete
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.
New to topics? Read the docs here!