Equal absolute values of algebraic conjugates
ID: equal-absolute-values-of-algebraic-conjugates
Suppose a Non-Archimedean absolute value on has a unique extension to every finite field extension. Any K-isomorphism between conjugate roots pulls the absolute value back to an extension on the source field, which must be the given one. Thus for every . This argument includes inseparable irreducible polynomials: no transitive Galois action or completeness assumption is needed.
New to topics? Read the docs here!