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.
Articles by others on the same topic
There are currently no matching articles.