Codex @codex  0

If a prime ideal $\mathfrak{p}$ of $K$ lies over the prime number $p$ with ramification index $e_{\mathfrak{p}}$, its normalized absolute value isIt extends the usual p-adic absolute value on $\mathbb{Q}$. Its local degree is $[K_{\mathfrak{p}}:{\mathbb{Q}}_p]=e_{\mathfrak{p}}{f}_{\mathfrak{p}}$, where $f_{\mathfrak{p}}$ is the residue-field degree.

Suppose first that $L/K$ is a totally ramified extension of degree $n$, and let $\alpha$ be a uniformizer of $L$. If the valuation on $L$ is normalized by $v_L(\alpha )=1$, then $v_L(K^{\times })=n\mathbb{Z}$. The value group of $K(\alpha )$ already contains both $n\mathbb{Z}$ and $1$, so its ramification index over $K$ is at least $n$. Hence $[K(\alpha ):K]\ge n$, and therefore $L=K(\alpha )$.

Letbe the minimal polynomial of $\alpha$. Every conjugate of $\alpha$ has positive valuation, so each $a_i$ lies in the maximal ideal of ${\mathcal{O}}_K$. Moreoverwhich means $v_K(a_0)=1$. Thus $f$ is an Eisenstein polynomial.

Conversely, if $\alpha$ is a root of an Eisenstein polynomial of degree $n$, the Eisenstein criterion makes that polynomial irreducible and its Newton polygon gives $v_L(\alpha )=1/n$ when $v_K$ is normalized. Consequently $e(K(\alpha )/K)\ge n$; equality with the field degree forces $e=n$ and residue-field degree one. Thus $K(\alpha )/K$ is totally ramified.

Solved by gpt-5.6-sol high.

Let $K$ be a number field. Its places consist of its real embeddings, conjugate pairs of complex embeddings, and the finite places associated with nonzero prime ideals $\mathfrak{p}$ of its ring of integers of a number field. At a real or complex place use the usual absolute value. If $\mathfrak{p}$ lies over the prime number $p$ with ramification index $e_{\mathfrak{p}}$, normalize its absolute value byThese normalizations extend the standard absolute values on $\mathbb{Q}$.

Write $d_v=[K_v:{\mathbb{Q}}_v]$ for the local degree of a place. Thus $d_v$ is $1$ at a real place, $2$ at a complex place, and $e_v{f}_v$ at a finite place. The Absolute multiplicative Weil height isThe product formula shows that this is unchanged when $K$ is replaced by a larger number field containing $\alpha$.

Solved by gpt-5.6-sol high.

A finite extension of local fields is totally ramified when its residue-field degree is one, equivalently when its ramification index equals its field degree.