# Série de Hahn

En mathématiques, une série de Hahn (parfois appelée série de Hahn–Maltsev–Neumann) est une série formelle généralisant la notion de série de Puiseux ; les séries de Hahn acceptent des exposants arbitraires de l'indéterminée, tant que l'ensemble de ces exposants est un sous-ensemble bien ordonné du groupe (valué) de ces exposants (typiquement $\mathbb {Q}$ ou $\mathbb {R}$). Ces séries furent introduites par Hans Hahn en 1907 dans la démonstration de son théorème de plongement, puis étudiées par lui en tant que corps dans son approche du dix-septième problème de Hilbert ; vers 1950, elles furent généralisées encore par Anatoli Maltsev et Bernhard Neumann au cas non commutatif.

## Définition

L'ensemble des séries de Hahn $K\left[\left[T^{\Gamma }\right]\right]$ (d'indéterminée T), sur un corps K, avec un groupe ordonné d'exposants Γ , est l'ensemble des expressions de la forme
    $f=\sum _{e\in \Gamma }c_{e}T^{e}$
avec $c_{e}\in K$, telles que le support de f, $\operatorname {supp} f:=\{e\in \Gamma :c_{e}\neq 0\}$, est bien ordonné. On définit la somme et le produit de $f=\sum _{e\in \Gamma }c_{e}T^{e}$ et de $g=\sum _{e\in \Gamma }d_{e}T^{e}$ par
    $f+g=\sum _{e\in \Gamma }(c_{e}+d_{e})T^{e}$
et
    $fg=\sum _{e\in \Gamma }\sum _{e'+e''=e}c_{e'}d_{e''}T^{e}$
(dans cette dernière expression, la somme$\sum _{e'+e''=e}\cdot$ (prise sur les couples $(e',e'')$ tels que $c_{e'}\neq 0$ et $d_{e''}\neq 0$) est finie, parce que à $e$ fixé, si on prend les $e'$ en ordre croissant, la suite des $e''$ est décroissante, et donc finie puisque le support est bien ordonné) ; avec ces définitions, $K\left[\left[T^{\Gamma }\right]\right]$ est un corps.
Par exemple, $X=T^{-1/p}+T^{-1/p^{2}}+T^{-1/p^{3}}+\cdots$ est une série de Hahn (sur n'importe quel corps) puisque l'ensemble des rationnels $\left\{-{\frac {1}{p}},-{\frac {1}{p^{2}}},-{\frac {1}{p^{3}}},\ldots \right\}$ est bien ordonné (et isomorphe à $\mathbb {N}$) ; ce n'est pas une série de Puiseux, parce que la suite des dénominateurs des exposants n'est pas bornée ; si le corps de base K est de caractéristique p, cette série vérifie l'équation $X^{p}-X=T^{-1}$, et est donc algébrique sur $K(T)$.

## Propriétés
### Propriétés de la valuation

La valuation $v(f)$ d'une série de Hahn non nulle $f=\sum _{e\in \Gamma }c_{e}T^{e}$ est définie comme le plus petit élément du support de $f$, autrement dit le plus petit $e\in \Gamma$ tel que $c_{e}\neq 0$ ; cela fait de $K[[T^{\Gamma }]]$ un corps valué où l'intersection de toute suite décroissante de boules est non vide (on dit que $K[[T^{\Gamma }]]$ est sphériquement complet). Si $K$ est de caractéristique nulle, $(K[[T^{\Gamma }]],v)$ est (à isomorphisme près) la seule extension sphériquement complète de $K$ ayant $\Gamma$ pour groupe de valuation. La valuation $v$ définit une topologie sur $K\left[\left[T^{\Gamma }\right]\right]$, et si $\Gamma \subseteq \mathbb {R}$, v correspond à une valeur absolue ultramétrique $|f|=\exp(-v(f))$, pour laquelle $K\left[\left[T^{\Gamma }\right]\right]$ est un espace métrique complet. Cependant, contrairement aux séries de Puiseux, les sommes formelles ne convergent pas en général : dans le cas de la série $T^{-1/p}+T^{-1/p^{2}}+T^{-1/p^{3}}+\cdots$, par exemple, les valeurs absolues des termes tendent vers 1 (puisque leurs valuations tendent vers 0), et donc la série diverge grossièrement (on dit parfois que ces séries sont « pseudo-convergentes »).

### Propriétés algébriques

Si K est algébriquement clos (mais pas nécessairement de caractéristique nulle) et si Γ est divisible, alors $K\left[\left[T^{\Gamma }\right]\right]$ est algébriquement clos. Ainsi, la clôture algébrique de $K((T))$ est contenue dans ${\overline {K}}[[T^{\mathbb {Q} }]]$, où ${\overline {K}}$ est la clôture algébrique de $K$ ; lorsque $K$ est de caractéristique nulle, cette clôture algébrique s'identifie au corps K⟪T⟫ des séries de Puiseux et il est possible de décrire cette clôture algébrique en caractéristique non nulle comme un sous-ensemble de $K\left[\left[T^{\Gamma }\right]\right]$.
Si K est un corps ordonné, $K\left[\left[T^{\Gamma }\right]\right]$ peut être totalement ordonné en posant T infiniment petit, c'est-à-dire positif et plus petit que tous les éléments positifs de K, ce qui revient à utiliser l'ordre lexicographique sur les coefficients des séries. Si K est réel clos et si Γ est divisible, $K\left[\left[T^{\Gamma }\right]\right]$ est également réel clos. Ce résultat permet d'analyser le Corps des nombres surréels, lequel est isomorphe, en tant que corps ordonné, au corps des séries de Hahn à coefficients réels et à groupe d'exposants les nombres surréels eux-mêmes, avec l'indéterminée identifiée à $\omega$.

## Familles sommables
### Définitions

On peut définir une notion de famille sommable dans $K\left[\left[T^{\Gamma }\right]\right]$ : si $(f_{i})_{i\in I}$ est une famille de séries de Hahn (et donc $f_{i}\in K\left[\left[T^{\Gamma }\right]\right]$), on dit que $(f_{i})_{i\in I}$ est sommable si l'ensemble $\bigcup \limits _{i\in I}\operatorname {supp} f_{i}\subset \Gamma$ est bien ordonné, et si chaque ensemble $\{i\in I\ |\ e\in \operatorname {supp} f_{i}\}$ pour $e\in \Gamma$ est fini ; on peut alors définir la somme $\sum \limits _{i\in I}f_{i}$ comme la série de Hahn $\sum \limits _{i\in I}f_{i}:=\sum \limits _{e\in \Gamma }(\sum \limits _{i\in I}f_{i}(e))T^{e}$.
Si $(f_{i})_{i\in I}$ et $(g_{i})_{i\in I}$ sont sommables, il en est de même des familles $(f_{i}+g_{i})_{i\in I}$ et $(f_{i}g_{j})_{(i,j)\in I\times I}$, et l'on a $\sum \limits _{i\in I}f_{i}+g_{i}=\sum \limits _{i\in I}f_{i}+\sum \limits _{i\in I}g_{i}$ et$\sum \limits _{(i,j)\in I\times I}f_{i}g_{j}=(\sum \limits _{i\in I}f_{i})(\sum \limits _{i\in I}g_{i})$.
Cette notion de sommabilité ne correspond pas à la convergence pour la topologie de la valuation sur $K\left[\left[T^{\Gamma }\right]\right]$. Par exemple, dans $\mathbb {Q} \left[\left[T^{\mathbb {Q} }\right]\right]$, la famille$(T^{\frac {n}{n+1}}+T^{n+1})_{n\in \mathbb {N} }$ est sommable, mais la suite $(\sum \limits _{k\leq n}T^{\frac {k}{k+1}}+T^{k+1})_{n\in \mathbb {N} }$ ne converge pas.

### Évaluation des fonctions analytiques

Soit $a\in \mathbb {R}$ et ${\mathcal {A}}_{a}$ l'anneau des fonctions à valeurs réelles analytiques dans un voisinage de $a$.
Si $K$ est une extension de $\mathbb {R}$, on peut évaluer tout élément $f$ de ${\mathcal {A}}_{a}$ en chaque série de $K\left[\left[T^{\Gamma }\right]\right]$ de la forme $a+\varepsilon$, avec la valuation de $\varepsilon$ strictement positive, car la famille $({\frac {f^{(n)}(a)}{n!}}\varepsilon ^{n})_{n\in \mathbb {N} }$ est toujours sommable, ce qui permet de poser $f(a+\varepsilon ):=\sum \limits _{n\in \mathbb {N} }{\frac {f^{(n)}(a)}{n!}}\varepsilon ^{n}$. Cela définit un morphisme d'anneaux ${\mathcal {A}}_{a}\longrightarrow K\left[\left[T^{\Gamma }\right]\right]$.

## Séries de Hahn–Witt

La construction des séries de Hahn peut se combiner avec celle des vecteurs de Witt (du moins sur un corps parfait) pour obtenir des séries de Hahn–Witt : par exemple, sur un corps fini K de caractéristique p (ou sur sa clôture algébrique), le corps des séries de Hahn–Witt avec groupe d'exposants Γ (contenant les entiers) est l'ensemble des sommes (formelles) $\sum _{e\in \Gamma }c_{e}p^{e}$, où les $c_{e}$ sont à présent les images par les caractères de Teichmüller (en) des éléments de K, l'addition et la multiplication de ces séries se faisant comme pour les vecteurs de Witt usuels (qui correspondent au cas où Γ est le groupe des entiers). Si Γ est le groupe des rationnels ou des réels, et si K est la clôture algébrique du corps fini à p éléments, cette construction donne un corps ultramétrique complet et algébriquement clos contenant les p-adiques, et donc une description plus ou moins explicite du corps $\mathbb {C} _{p}$.

## Exemples

* Le corps $K((T))$ des séries formelles de Laurent sur $K$ est isomorphe à $K[[T^{\mathbb {Z} }]]$.
* Le corps de Levi-Civita peut être vu comme un sous-corps de $\mathbb {R} [[T^{\mathbb {Q} }]]$, avec une contrainte supplémentaire : l'ensemble des coefficients linférieurs à un coefficient donné $c_{q}$ doit être fini.
* Le corps des transséries (en) $\mathbb {T}$ est une union directe de corps de Hahn (et une extension du corps de Levi-Civita). La construction de $\mathbb {T}$ revient à prendre la limite inductive des $T_{0}=\mathbb {R}$, $T_{n+1}=\mathbb {R} \left[\left[\varepsilon ^{T_{n}}\right]\right]$.
* Le Corps des nombres surréels est isomorphe, en tant que corps ordonné, au corps des séries de Hahn à coefficients réels et à groupe d'exposants les nombres surréels eux-mêmes, avec l'indéterminée identifiée à $\omega$.