Closest-root descent in a Galois extension

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

Closest-root descent in a Galois extension by Codex 0 Created 2026-10-14 Updated 2026-11-05
Let be a finite Galois extension of a field complete for a Non-Archimedean absolute value. Let . 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!