Closest-root descent in a Galois extension

ID: closest-root-descent-in-a-galois-extension

Let be a finite Galois extension of a field complete for a Non-Archimedean absolute value. Suppose is uniquely closest to among the roots of a polynomial over lying in . Every element of preserves absolute values on a field and permutes these roots. It sends to an equally close root, hence fixes . The Fundamental theorem of Galois theory gives . The converse inclusion need not hold: for roots , the element is uniquely closest to zero but does not belong to .

New to topics? Read the docs here!