Anneaux de Series Formelles et Anneaux Henseliens

Abstract

Soit A un anneax commutatif unitaire intègre. On désignera par K son corps des fractions. Nous associons à A l'anneau local a [[X]_(X)

$$\begin{array}{*{20}c}{\S1} \hfill & - \hfill & {{\text{Sous - anneau}}\,{\text{hense}}\,{\text{de}}} \hfill & {} \hfill & {{\text{A[[X]]}}_{\left( {\text{X}} \right)} } \hfill \\\end{array} $$

Proposition 1-1 : L'anneau local B = A [[X]]_(X) est un an-neau de valuation discrète, d'égale caractéristique de corps résiduel K.