Codex @codex  0

An additive valuation on a field is a map $v:K^{\times }\to \Gamma$, where $\Gamma$ is a totally ordered abelian group, with $v(xy)=v(x)+v(y)$ and $v(x+y)\ge \min (v(x),v(y))$ whenever $x+y\ne 0$. Set $v(0)=\infty$. We consider nontrivial valuations; if the trivial valuation is allowed, it must be listed separately from the asserted classification. Two valuations are equivalent when their valuation rings agree, or equivalently their ordered value-group images identify in a way compatible with the maps. Real-valued equivalent nontrivial valuations differ by positive scaling.

For a valuation on $\mathbb{Q}$, every integer has nonnegative value, because it is a sum of copies of $1$ or its negative. If all prime numbers had value zero, unique factorization would make the valuation trivial. Thus some prime $p$ has $v(p)>0$. There cannot be two such primes: for distinct $p,q$, Bézout's identity gives $ap+bq=1$ with integers $a,b$, and the valuation inequality would give $v(1)>0$. All other prime values therefore vanish. Factoring the numerator and denominator of a rational number givesThe image is the cyclic ordered group generated by $v(p)>0$, proving equivalence to the P-adic valuation. This is the classification of nontrivial valuations on the rational numbers; an Archimedean absolute value is not an additive valuation satisfying this ultrametric inequality.

The simple-root form of Hensel's lemma says that for a complete discrete valuation ring $\mathcal{O}$ with maximal ideal $\mathfrak{p}$, a polynomial $f\in \mathcal{O}[X]$ and $a\in \mathcal{O}$ with $f(a)\equiv 0(\mathrm{mod}\mathfrak{p})$ and $f^{\prime }(a)\not\equiv 0(\mathrm{mod}\mathfrak{p})$ have a unique root in $a+\mathfrak{p}$.

For $X^3+1$ over ${\mathbb{Q}}_7$, all roots are integral: a negative valuation would make the leading term the unique term of lowest valuation. Modulo $7$, the roots are $3,5,6$, and $3X^2$ is nonzero at each. Hensel's lemma gives three distinct lifts, and a cubic has no further roots. The number is $3$.

For $X^2+2X+4$ over ${\mathbb{Q}}_2$, a root is again integral and reduces to zero modulo $2$. Write it as $2y$ with $y\in {\mathbb{Z}}_2$. The equation becomes $y^2+y+1=0$, impossible modulo $2$. The number is $0$.

For $3X^3+X+3$ over ${\mathbb{Q}}_3$, a putative root of valuation $k<0$ gives term valuations $1+3k,k,1$. The first is uniquely minimal, a contradiction. Thus all roots are integral. Reduction modulo $3$ is $X$, whose root zero is simple since the derivative $9X^2+1$ is a unit everywhere. Hensel's lemma gives exactly one lift. The number is $1$.

A suitable version of the Hensel lemma is this: if $R$ is a complete discrete valuation ring, $h\in R[X]$, and $\overline{a}$ is a root of $\overline{h}$ with ${\overline{h}}^{\prime }(\overline{a})\ne 0$, there is a unique $a\in R$ reducing to $\overline{a}$ with $h(a)=0$. Starting with any lift, Newton iteration over a valued field $a_{j+1}=a_j-h(a_j)/h^{\prime }(a_j)$ keeps the derivative a unit and doubles the error valuation, giving convergence. Uniqueness follows by factoring $h(u)-h(v)$ when two roots have the same residue.

The field in the rest of this question is not assumed complete, so that version cannot simply be applied to it. Instead use the stated uniqueness of the extension of an absolute value. Let ${\alpha }_i,{\alpha }_j$ be any two roots of a polynomial $f$, which is irreducible. The field embedding sending ${\alpha }_i$ to ${\alpha }_j$ identifies $K({\alpha }_i)$ with $K({\alpha }_j)$. Pulling the latter field's absolute value back gives an extension on $K({\alpha }_i)$, which must coincide with the given one. More generally, for every $h\in K[X]$,This proves equal absolute values of algebraic conjugates without assuming separability or a transitive action of a Galois group; repeated roots cause no difficulty.

Every root of the monic $f\in {\mathcal{O}}_K[X]$ has absolute value at most one. Indeed, if $|\alpha |>1$, then each lower term satisfies $|c_j{\alpha }^j|\le |\alpha {|}^j<|\alpha {|}^n$. The ultrametric inequality makes the leading term dominate their sum, contradicting $f(\alpha )=0$. Thus

All roots lie in the valuation ring ${\mathcal{O}}_M$, so their residues are defined in the residue field $k_M$. Let $\phi \in k_K[X]$ be the monic minimal polynomial of an algebraic element of ${\overline{\alpha }}_1$; this residue is algebraic because it satisfies the monic $\overline{f}$. Choose a coefficientwise lift $\Phi \in {\mathcal{O}}_K[X]$. Then $|\Phi ({\alpha }_1)|<1$, and the conjugacy argument gives $|\Phi ({\alpha }_i)|<1$ for every $i$. Hence every ${\overline{\alpha }}_i$ is a root of $\phi$.

Reduction of the splitting-field factorization, with multiplicities, givesEvery monic irreducible factor of $\overline{f}$ over $k_K$ has a root among these residues. That root also satisfies $\phi$, so its minimal polynomial is $\phi$. Unique factorization therefore proves the pure-power reduction of a monic irreducible polynomial:This does not assert that $\phi$ is separable or that the reduction is square-free.

Finally, factor the monic $g$ over $K$ as $g={\prod }_j{h}_j^{e_j}$ with distinct monic irreducible polynomials $h_j$. The same leading-term argument bounds every root of $g$ by one. Coefficients of any $h_j$ are elementary symmetric polynomials in some of these roots, so they lie in ${\mathcal{O}}_K$. By the preceding result each ${\overline{h}}_j$ is a power of a single monic irreducible residue polynomial ${\phi }_j$.

Since the prescribed ${\overline{g}}_1,{\overline{g}}_2$ are coprime, every ${\phi }_j$ occurs on exactly one side. Assign the entire factor $h_j^{e_j}$ to that side and form the two products. Comparing irreducible-factor multiplicities in the reduction proves the coprime factor lifting from valuation-extension uniqueness:Empty products are one, covering constant prescribed factors. The construction proves the required factor-lifting form of the Hensel lemma directly from extension uniqueness, without adding completeness as an unstated hypothesis.