1. Une construction d'extensions faiblement non ramifiées d'un anneau de valuation
- Author
-
Moret-Bailly, Laurent, Institut de Recherche Mathématique de Rennes (IRMAR), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-Centre National de la Recherche Scientifique (CNRS)-INSTITUT AGRO Agrocampus Ouest, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Univ Rennes, CNRS, IRMAR - UMR 6625, F-35000 Rennes, France, Centre Henri Lebesgue, programme ANR-11-LABX-0020-0, ANR-15-CE40-0012,GéoLie,Méthodes géométriques en théorie de Lie(2015), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-INSTITUT AGRO Agrocampus Ouest, Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-AGROCAMPUS OUEST, AGROCAMPUS OUEST, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Université de Rennes 2 (UR2), Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), and Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-INSTITUT AGRO Agrocampus Ouest
- Subjects
Algebra and Number Theory ,[MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC] ,MSC: 13F30 ,12J10 ,Commutative Algebra (math.AC) ,Mathematics - Commutative Algebra ,Mathematics - Algebraic Geometry ,13F30, 12J10 ,FOS: Mathematics ,separable field extension ,weakly unramified extension ,Geometry and Topology ,[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG] ,Valuation ring ,Algebraic Geometry (math.AG) ,Mathematical Physics ,Analysis - 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$., Comment: 11 pages, in French. Published in Rend. Sem. Mat. Univ. Padova (Online first)
- Published
- 2022