Une construction d'extensions faiblement non ramifi\'ees d'un anneau de valuation

Abstract

\'Etant donn\'e un anneau de valuation $V$, de corps r\'esiduel $F$ et de groupe des valeurs $\Gamma$, on donne une condition suffisante pour qu'un anneau local dominant $V$ soit un anneau de valuation de groupe $\Gamma$. Lorsque $V$ contient un corps $k$, ce r\'esultat est appliqu\'e \`a la construction d'un anneau de valuation contenant $V$ et une extension donn\'ee $k'$ de $k$, de groupe $\Gamma$ et de corps r\'esiduel engendr\'e par $k'$ et $F$. Cela s'av\`ere possible, notamment, lorsque $k'$ ou $F$ est s\'eparable sur $k$. Given a valuation ring $V$, with residue field $F$ and value group $\Gamma$, we give a sufficient condition for a local ring dominating $V$ to be a valuation ring with the same value group. When $V$ contains a field $k$, we apply this result to the problem of constructing a valuation ring $W$ containing $V$ and a prescribed extension $k'$ of $k$, with value group $\Gamma$ and residue field generated by $k'$ and $F$; this is possible in particular when either $k'$ or $F$ is separable over $k$.