Elements that are powers of infinitely many degrees in a local field
ID: elements-that-are-powers-of-infinitely-many-degrees-in-a-local-field
For a non-Archimedean local field , an element of is an th power for infinitely many positive integers exactly when it belongs to . Valuations prove necessity; for sufficiency, choose infinitely many coprime to the residue characteristic and to , for which exponentiation by is an automorphism of the unit group.
New to topics? Read the docs here!