\ifx\danslelivre\undefined
\documentclass[9pt]{../configuration/smfart}
\input{../configuration/commun}
\input{../configuration/smf}
\input{../configuration/adresse}
\input{../configuration/gadgets}
\input{../configuration/francais}
\input{../configuration/numerotation}
\input{../configuration/formules}
\input{../configuration/encoredesmacros}
\synctex=1
\usepackage{stmaryrd}
\usepackage{graphics}
\usepackage[usenames,dvipsnames]{xcolor}
\usepackage{srcltx}
\usepackage{tikz}
\usetikzlibrary{matrix}
\usetikzlibrary{calc}

\title{Théorie de Kummer et Artin-Schreier-Witt}

\externaldocument{extensions-algebriques}
\externaldocument{correspondance-galois}
\externaldocument{formes-tordues}
\externaldocument{spectre}
\externaldocument{verselles}
\externaldocument{corps-finis}
\externaldocument{entiers}
\externaldocument{categories}

%\textwidth16cm
%\hoffset-1.5cm
\usepackage[a4paper,left=2cm,right=2cm,marginpar=0.2cm,marginparsep=0.6cm,vmargin=2.4cm]{geometry}

\begin{document}
\begin{center}
Théories de Kummer, Artin-Schreier et Artin-Schreier-Witt
\end{center}
\tableofcontents
\else
\chapter{Théories de Kummer, Artin-Schreier et Artin-Schreier-Witt}
\fi

%%% À faire :
% — séries formelles : produits et sommes infinies.


\section{Théorie de Kummer}

\subsection{Introduction}Nous allons
étudier les extensions galoisiennes cycliques d'ordre $n$
d'un corps $k$, sous l'hypothèse que ce dernier contienne
exactement $n$ racines $n$-ièmes de l'unité. Quatre méthodes au moins
permettent de démontrer le point clef :
\begin{enumerate}
\item (algèbre linéaire) utiliser la diagonalisabilité
d'un automorphisme d'ordre $n$ agissant sur un $k$-espace vectoriel de
dimension finie ;
\item (géométrique) utiliser le théorème de la base normale
(\refext{Versel}{theoreme base normale}) et l'existence d'un isomorphisme
(\refext{Versel}{KAS I})
\[ k[x_{i ∈ 𝐙/n}][\det(x_{i+j})^{-1}] ≃ k[t_{i ∈ 𝐙/n}^{±1}] ;
\]
\item (résolvantes) utiliser les \emph{résolvantes de Lagrange} ;
\item (cohomologique) utiliser la notion de $𝐙/n$-torseur,
leur description comme groupe de cohomologie (\refext{Formes}{H1G=TorsG})
et enfin le calcul de ce groupe via le théorème $90$ de Hilbert
(\refext{Formes}{Hilbert 90}).
\end{enumerate}

Afin de donner la possibilité au lecteur d'aborder ce chapitre
après la seule lecture des chapitres [Alg] et [CG] (cf. \emph{leitfaden})
nous utiliserons ici les méthodes (i) et (iii), la première
étant, loin s'en faut, la plus rapide de toutes. La seconde (iii),
également assez courte, introduit un concept important dans les
calculs (cf. \refext{Calculs}{}).
L'approche reposant sur (ii) étant traitée en détail
dans \refext{Versel}{KAS I} nous n'en parlerons pas dans ce chapitre.
Le lecteur curieux pourra cependant essayer de comprendre sa parenté avec (i).
Nous ferons en temps utile quelques remarques — que le lecteur pressé pourra
passer — sur la méthode cohomologique qui, d'en d'autres contextes,
s'avère la plus féconde.

\subsection{Extension de groupe $𝐙/n$ : énoncés}

\begin{théorème2}\label{extension cyclique=Kummer}
Soient $n$ un entier et $k$ un corps contenant $n$ racines
$n$-ièmes de l'unité. Soit $K\bo k$ une extension galoisienne
de groupe cyclique d'ordre $n$.
\begin{enumerate}
\item Il existe un élément $a ∈ k^×$ tel que $K$ soit un corps de décomposition du polynôme $X^n-a$.
\item Si $b$ est un autre élément jouissant de la même propriété,
les sous-groupes $A=⟨a⟩$ et $B=⟨b⟩$ de $k^× ∩ {K^×}^n$ ont même image
dans le quotient $(k^× ∩ {K^×}^n)/{k^×}^n$.
\end{enumerate}
\end{théorème2}


\begin{remarques2}
\begin{itemize}
\item L'hypothèse faite sur $k$ entraîne que $n$ est premier
à son exposant caractéristique.
\item Sans hypothèse sur $k$, on peut donner une description des extensions de groupes
$𝐙/n$ pour $2 ≤ n ≤ 4$ (cf. \refext{Versel}{equation verselle C2},
\ref{equation verselle C3} et \ref{equation verselle C4}).
\item Le critère d'égalité $⟨\sur{a}⟩=⟨\sur{b}⟩$ dans le quotient $(k^× ∩ {K^×}^n)/{k^×}^n$
équivaut à l'existence d'un entier $r$ premier à $n$ et
d'un élément $x ∈ k^×$ tels que $a=b^r x^n$.
\end{itemize}
\end{remarques2}

Ce théorème admet la réciproque suivante.

\begin{proposition2}\label{extension Kummerienne est de groupe cyclique}
Soient $n$ un entier, $k$ un corps contenant $n$ racines
$n$-ièmes de l'unité, $a$ un élément de $k^×$
et enfin $f=X^n-a ∈ k[X]$.
\begin{enumerate}
\item Le polynôme $f$ est \emph{séparable}.
\item Soit $α$ une racine de $f$ dans un corps de décomposition $K$ de $f$.
Pour tout élément $σ$ de $\Gal(K\bo k)$, l'élément $σ(α)/α$ appartient à $μ_n(k)$ et est indépendant du choix
de $α$. L'application $\Gal(K\bo k) → μ_n(k)$, $σ ↦ σ(α)/α$, est un morphisme injectif, appelé
\emph{caractère de Kummer}\index{caractère de Kummer}. En particulier, $K\bo k$ est galoisienne
de groupe cyclique d'ordre divisant $n$.
\item Le groupe $\Gal(K\bo k)$ est d'ordre exactement $n$ lorsque $f$
est irréductible, ce qui se produit si et seulement si
$a$ n'est une puissance $ℓ$-ième dans $k$ pour aucun diviseur premier
de $n$.
\end{enumerate}
\end{proposition2}

\subsection{Démonstrations}

\subsubsection{Démonstration de la proposition \ref{extension Kummerienne est de groupe cyclique}}
Commençons par vérifier la séparabilité du polynôme $f$. Une manière
de procéder est d'utiliser le critère \refext{Alg}{critère
différentiel de séparabilité polynôme}. La dérivée
de $f$ est $nX^{n-1}$ ; l'entier $n$ étant inversible, le pgcd
de $f$ et $f ′$ est donc $1$.
Soit $K$ un corps de décomposition de $f$. Notons $Π$ son groupe
de Galois et fixons une racine $α$ de $f$ dans $K$, c'est-à-dire
une racine $n$-ième de $a$. Le polynôme $f$ se décompose alors
dans $K[X]$ en un produit
\[
f(X)=∏_{ζ ∈ μ_n(k)} (X-ζ α)
\]
ce qui revient à dire que l'ensemble
des racines $n$-ièmes de $a$ est $\{ ζ α\}_{ζ}$.
Soit $σ ∈ Π$. Il résulte de l'observation précédente
qu'il existe une (unique) racine de l'unité $ζ_{σ}$ telle
que
\[
σ(α)=ζ_σ α.
\]
Comme $τ(ζ)=ζ$ pour chaque $τ ∈ Π$ et chaque $ζ ∈ μ_n(k) ⊆k$,
on a
\[
ζ_{τ σ}α = τ σ(α)=ζ_σ ζ_τ α :
\]
l'application $σ ∈ Π ↦ ζ_σ
∈ μ_n(k)$ est un morphisme de \emph{groupes}. Ce morphisme
est indépendant du choix de $α$ car si $β=ζ α$ est une autre racine,
$σ(β)/β=σ(ζ)/ζ ⋅ σ(α)/α=σ(α)/α$ car $ζ$ appartient à $k$.
D'autre part, le groupe $μ_n(k)$ est cyclique
(\refext{Fin}{cyclicite-groupe-multiplicatif-corps}), d'ordre $n$
par hypothèse. Montrons que le caractère de Kummer est \emph{injectif} ;
cela démontrera que $Π$, étant isomorphe à un sous-groupe
de $μ_n(k)$, est cyclique d'ordre divisant $n$. Il suffit
de démontrer que si $σ(α)=τ(α)$, alors $σ=τ$. Or
$k(\{ζ α\}_ζ)=k(α)$ de sorte que $K$ est en fait
engendré sur $k$ par $α$. Les $k$-automorphismes de $K$ sont
donc caractérisés par l'image de $α$. Ceci achève la démonstration
de (i) et (ii).

Étudions maintenant à quelle condition l'extension $K\bo k$
est de degré exactement $n$. L'égalité $K=k(α)$ montre
que $[K:k]$ est le degré du polynôme minimal de $α$
sur $k$. Celui-ci divise $f=X^n-a$ ; il est donc de degré $n$
si et seulement si il est égal à $f$ c'est-à-dire
si et seulement si $f$ est irréductible sur $k$.
Soit $σ$ un \emph{générateur} de $Π$. Il résulte
de l'isomorphisme $Π=⟨σ⟩ ⥲ ⟨ζ_σ⟩⊆μ_n(k)$
que $f$ est réductible si et seulement si
$ζ_σ$ est d'ordre $r$ divisant strictement $n$.
La chaîne d'égalités $σ(α^r)=σ(α)^r=ζ_σ^r α^r=α^r$
montre que $α^r$ appartient alors à $k^×$. Comme
$a=(α^r)^{\frac{n}{r}}$, $a$ est dans ce cas une puissance
$\frac{n}{r}$-ième. À plus forte raison, c'est une puissance
$ℓ$-ième pour un diviseur premier $ℓ$ de $n$.
Réciproquement, si $a=b^ℓ$ pour $ℓ$ divisant $n$,
il est clair que l'image $Π$ dans $μ_n(k)$ est contenu
dans $μ_n(k)^ℓ$ ; c'est un sous-groupe strict de $μ_n(k)$.

\begin{exercice2}
Donner une seconde démonstration du critère d'irréductibilité
de $f$ en décomposant $f$ en produit de polynômes irréductibles
dans $k[X]$ et en considérant les coefficients constants de ces
polynômes.
\end{exercice2}

Nous allons maintenant donner quatre démonstration
de l'énoncé \ref{extension cyclique=Kummer} (i), présentées
par degré croissant de technicité.

\subsubsection{Première démonstration de \ref{extension
cyclique=Kummer} (i)}

Soient $K\bo k$ et $n$ comme dans l'énoncé. Notons $Π$
le groupe de Galois de $K\bo k$, supposé cyclique d'ordre $n$,
et fixons un générateur $σ$. Considéré comme
endomorphisme $k$-linéaire de $K$ dans $K$,
son polynôme minimal est $X^n-1$. Cela résulte
du fait que $σ^n=\Id_K$ et que $n$ est minimal pour
cette propriété. Les racines de $X^n-1$
étant simples et contenues dans $k$, l'endomorphisme
$σ$ est \emph{diagonalisable}. Ses valeurs propres
sont des racines $n$-ième de l'unité, dont au moins
l'une d'entre elles est primitive, sans quoi $σ$ serait
d'ordre divisant strictement $n$. Soit $ζ$ une telle
valeur propre et $α ∈ K-\{0\}=K^×$ un vecteur propre.
Par définition $σ(α)=ζα$. L'orbite de $α$ sous $Π=⟨σ⟩$
est d'ordre $n$ de sorte que $K=k(α)$. D'autre part,
$σ(α^n)=α^n$ si bien que $a:=α^n$ appartient à $k^×$.

\subsubsection{Seconde démonstration de \ref{extension
cyclique=Kummer} (i)}

Soit $K\bo k$ et $n$ comme dans l'énoncé. Notons $Π$
son groupe de Galois, supposé cyclique d'ordre $n$,
et fixons un générateur $σ$.
Pour chaque élément $x$ de $K$ on notera $x_i$ l'élément $σ^i(x)$,
où $i$ est un entier relatif quelconque. Suivant Lagrange
\cite[§54-]{Reflexions@Lagrange}\footnote{Les résultats de ce grand mémoire,
exposant la théorie de Galois « avant la lettre », montrent
que les extensions considérées dans ce chapitre sont appelées
« kummériennes » à tort. Voir par exemple \cite{cyclotomie@Weil}.}
introduisons, pour chaque $ζ ∈ μ_n(k)$, les \emph{résolvantes}
\[
(ζ,x)=∑_{0 ≤ i <n} ζ^i x_i.
\]
Nous connaissons déjà l'une d'entre elles : $(1,x)=\Tr_{K\bo k}(x)$ ;
elle appartient à $k$.
Par construction $σ ⋅ (ζ,x)=ζ^{-1}(ζ,x)$. Il en résulte
que $(ζ,x)^n$ est invariant par $σ$ et appartient donc à $k$.
Fixons dorénavant une racine primitive $n$-ième $ζ$ de l'unité.
Si $x ∈ K$ est tel que $α=(ζ,x)$ soit non nul, on a alors $K=k(α)$
— car $α$ a une orbite d'ordre $n$ sous l'action de $σ$ —  et $α^n ∈ k$.
L'existence d'un tel $x$ résulte de l'indépendance linéaire
des automorphismes $σ^i$, $0 ≤ i <n$, cf. \refext{CG}{indépendance linéaire des automorphismes}.

Lorsque $n$ est premier, on peut même s'affranchir de la référence
à \emph{loc. cit.} En effet, lorsque $x$ appartient à $K-k$,
l'égalité
\[
∑_{ζ ∈ μ_n(k)} ζ^{-1}(ζ,x)=n ⋅ x,
\]
dont le terme de droite n'appartient pas à $k$,
montre qu'il existe une racine de l'unité $ζ$, nécessairement
différente de $1$, telle que la résolvante $(ζ,x)$ n'appartienne
pas à $k$. Elle est en particulier non nulle et $ζ$
est une racine primitive car $n$ est supposé premier.

\subsubsection{Troisième démonstration de \ref{extension
cyclique=Kummer} (i)}\label{Kummer 3}

Soit $K\bo k$ et $n$ comme dans l'énoncé. Notons $Π$
son groupe de Galois, supposé cyclique d'ordre $n$,
et fixons un générateur $σ$. Fixons également
une racine primitive $n$-ième $ζ$ de l'unité dans $k$.
Soit $c:Π → μ_n(k)$ l'unique (iso)morphisme de groupes
envoyant $σ$ sur $ζ$. C'est en particulier un
$1$-cocycle à valeurs dans le groupe multiplicatif de $K^×$
(\refext{Formes}{généralités 1-cocycles}).
D'après le théorème de Hilbert $90$ (\ref{Hilbert 90}),
un tel cocycle est \emph{trivial} : il existe $α ∈ K^×$
tel que $c(τ)=α^{-1} ⋅ {^τ α}$. En particulier $σ(α)=ζ ⋅ α$.
On a alors $α^n ∈ k^×$ et $K=k(α)$. CQFD.

\begin{remarque2}
On remarquera que le lemme \refext{CG}{indépendance linéaire des
automorphismes}, qui apparaît de façon cruciale dans la seconde
démonstration, intervient également
dans la première démonstration du théorème de Hilbert 90
(\refext{Formes}{H90 via Poincaré}).
\end{remarque2}

\subsubsection{Quatrième démonstration de \ref{extension
cyclique=Kummer} (i) (esquisse)}\label{Kummer 4}

Soit $K\bo k$ et $n$ comme dans l'énoncé. Notons $Π$
son groupe de Galois, supposé cyclique d'ordre $n$,
et fixons un générateur $σ$. Fixons également un générateur $ζ$ de $μ_n(k)$.
L'isomorphisme $ι:Π ⥲ μ_n(k)$, $σ ↦ ζ$ (ou plutôt son inverse) et l'action naturelle de $Π$
font de $K$ un $μ_n(k)$-torseur sur $k$, trivialisé par $K\bo k$
(\refext{Formes}{extension galoisienne groupe G est un
G-torseur}). L'ensemble $\mathrm{Tors}(K\bo k,μ_n(k))/∼$
des classes d'isomorphismes de tels torseurs est naturellement isomorphe au groupe
de cohomologie $H¹(K\bo k,μ_n(k))=\Hom(Π,μ_n(k))$ ;
cet isomorphisme envoyant $[K]$ sur $ι$.
Le point clef est que l'on peut \emph{calculer} le groupe
$H¹(K\bo k,μ_n(k))$. En effet, la suite exacte de $Π$-modules abéliens
\[
1 → μ_n(k) → K^× \dessusdessous{x ↦ x^n}{→} {K^×}^n → 1
\]
induit une suite exacte
\[
H⁰(K\bo k,K^×) → H⁰(K\bo k,{K^×}^n) \dessusdessous{δ}{→} H¹(K\bo k,μ_n(k)) → H¹(K\bo k,K^×).
\]
D'après le théorème de Hilbert $90$ (\refext{Formes}{Hilbert 90}),
le groupe $H¹(K\bo k,K^×)$ est trivial. D'autre part,
$H⁰(K\bo k,K^×)$ est, par définition, $\Fix_Π(K^×)$, lui-même égal
à $k^×$ et $H⁰(K\bo k,{K^×}^n)=k^× ∩ {K^×}^n$ pour la même raison.
Le morphisme cobord induit donc un isomorphisme
\[
(k^× ∩ {K^×}^n)/{k^×}^n ⥲ H¹(K\bo k,μ_n(k)) ≃ \mathrm{Tors}(K\bo k,μ_n(k))/∼.
\]
Par définition du cobord (\refext{formes}{}), il envoie
la classe d'un élément $a$ de $k^× ∩ {K^×}^n$
sur le caractère de Kummer $χ_a: σ ↦ \frac{σ(a^{1/n})}{a^{1/n}}$
appartenant à $\Hom(Π,μ_n(k))$. Ainsi, il existe $a$ tel que
$ι$ soit égal au caractère de Kummer $χ_a$.
Ceci signifie que $ι(σ)=ζ$ est égal à $\frac{σ(α)}{α}$
où $α$ est une racine $n$-ième quelconque de $a$ dans $K$.
CQFD.

\begin{remarques2}
\begin{itemize}
\item Le lecteur constatera que cette méthode donne aussi
une démonstration de \ref{extension cyclique=Kummer} (ii).
\item On peut vérifier que le morphisme composé
\[(k^× ∩ {K^×}^n)/{k^×}^n → \mathrm{Tors}(K\bo k,μ_n(k))/∼\]
envoie la classe de $a$ sur la classe du $μ_n(k)$-torseur
$k[X]/(X^n-a)$. % \XXX à faire
\end{itemize}
\end{remarques2}

\subsubsection{Démonstration de \ref{extension cyclique=Kummer} (ii)}

Soit $K\bo k$, $n$, $a$ et $b$ comme dans l'énoncé. Notons $Π$
son groupe de Galois, supposé cyclique d'ordre $n$,
et fixons un générateur $σ$. Choisissons également des racines
$n$-ièmes $α$ et $β$ de $a$ et $b$ dans $K$ respectivement.
Ces éléments étant primitifs pour l'extension $K\bo k$,
il existe deux racines \emph{primitives} $n$-ièmes de l'unité
$ζ_a$ et $ζ_b$ telles que $σ(α)=ζ_a ⋅ α$ et $σ(β)=ζ_b ⋅ β$.
Soit $r ∈ 𝐍$, nécessairement premier à $n$, tel que $ζ_β=ζ_α^r$. On
a donc $σ(β^r)=ζ_a β^r$ et, par conséquent, $σ(\frac{α}{β^r})=\frac{α}{β^r}$.
Ainsi, $x=\frac{α}{β^r}$ appartient à $k$. Sa puissance $n$-ième
vaut $a/b^r$ et appartient à ${k^×}^n$. CQFD.

\subsection{Amplification : extension abéliennes d'exposant divisant $n$}

Une extension $K\bo k$ est dite abélienne d'exposant divisant $n$
si elle est galoisienne de groupe abélien tué par $n$.
La généralisation suivante de \ref{extension Kummerienne est de groupe cyclique}
permet de construire de telles extensions.

\begin{lemme2}
Soient $n$ un entier et $k$ un corps contenant $n$ racines
$n$-ièmes de l'unité. Soit $A$ une partie $k^×$.
Tout corps de décomposition de la famille de polynômes
$X^n-a$, $a ∈ A$, est une extension abélienne de $k$ d'exposant
divisant $n$.
\end{lemme2}

On note habituellement $k(A^{1/n})$ un tel corps de décomposition
et $A^{1/n}$ l'ensemble de ses éléments $α$ tels que $α^n$ appartienne à $A$.

\begin{démo}
Comme on l'a vu en \emph{loc. cit.}, les polynômes $X^n-a$ sont
séparables de sorte que l'extension $k(A^{1/n})\bo k$ est galoisienne.
Notons $Π$ son groupe de Galois. Fixons $α ∈ A^{1/n}$.
Pour chaque $σ$ dans $Π$, il existe $ζ_{σ,α}$ dans $μ_n(k)$ tel que $σ(α)=ζ_{σ,α} α$.
La chaîne d'égalités
\[
τ σ (α)=τ(ζ_{σ,α} α)=ζ_{σ,α} τ(α)=ζ_{σ,α} ζ_{τ,α} α =ζ_{τ,α} ζ_{σ,α} α,
\]
valable pour chaque $α$, montre que $σ$ et $τ$ commutent.
D'autre part les égalités $σ^n(α)=ζ_{σ,α}^n α=α$, valables
pour chaque $α$, montrent que $σ^n=1$. CQFD.
\end{démo}

Ici encore, le fait remarquable est que toutes les extensions
abéliennes d'exposant divisant $n$ sont obtenues ainsi.

\begin{théorème2}\label{Kummer général}
Soient $n$ un entier, $k$ un corps contenant $n$ racines
$n$-ièmes de l'unité et $Ω$ une clôture algébrique de $k$.
\begin{enumerate}
\item L'application $A ↦ K_A=k(A^{1/n})$ est une bijection
croissante entre l'ensemble des sous-groupes de $k^×$
contenant ${k^×}^n$ et l'ensemble des sous-extensions
abéliennes de $Ω$ d'exposant divisant $n$. La bijection
réciproque est donnée par $K ↦ A_K={K^×}^n ∩ k^×$.
\item Soit $A$ un sous-groupe de $k^×$ contenant ${k^×}^n$.
Le morphisme
\[
\Gal(k(A^{1/n})\bo k) → \Hom(A/{k^×}^n,μ_n(k))
\]
\[
σ ↦ \big( a \mod{} {k^×}^n ↦ σ(a^{1/n})/a^{1/n}\big)
\]
est un isomorphisme. En particulier
\[
[k(A^{1/n}):k]=(A:{k^×}^n).
\]
\end{enumerate}
\end{théorème2}

\subsection{Digression : dualité des $𝐙/n$-modules}

Soit $n ≥ 1$ un entier. Pour tout $𝐙/n$-module $M$, notons
$D(M)$ le $𝐙/n$-module \emph{dual} $\Hom_{𝐙/n}(M,𝐙/n)$.

\begin{lemme2}\label{Zsurn dual nul implique nul}
Un $𝐙/n$-module $M$ de dual nul est nul.
\end{lemme2}

\begin{démo}
Si $M$ est monogène, c'est évident. Considérons le cas général.
Supposons $M$ non nul et considérons les paires $(N, φ)$
où $N$ est un sous-module non nul de $M$ et $φ:N → 𝐙/n$ est un morphisme
non nul. De telles paires existent (cas monogène non nul). Il en existe une maximale
pour l'inclusion des modules et le prolongement des formes linéaires.
Notons-la $(M ′,φ ′)$. Si $M=M ′$, on a construit un élément non nul
du dual et la conclusion est assurée. Supposons par l'absurde
qu'il existe un élément $m$ de $M - M ′$. Soit $r ≥ 2$ le plus petit
entier tel que $r m $ appartienne à $M ′$ ; il divise $n$. Posons $x=φ(rm) ∈ 𝐙/n$.
Comme $(n/r) (rm)=0$, on a $(n/r)x=0$ d'où $x ∈ r 𝐙/n$. Soit $y ∈
𝐙/n$ tel que $x=ry$. On peut étendre $φ ′$ en $φ:M ′ + 𝐙/n ⋅ m → 𝐙/n$
en posant $φ(m ′ + s m)=φ(m ') + s y$. Absurde.
\end{démo}

\begin{lemme2}\label{bidualité Zsurn modules finis}
Soit $M$ un $𝐙/n$-module \emph{fini}.
\begin{enumerate}
\item $ ♯ D(M) = ♯ M$.
\item Le morphisme d'évaluation (ou « bidualité ») $M → D(D(M))$
est un isomorphisme.
\end{enumerate}
\end{lemme2}

\begin{démo}
On se ramène au cas où $M$ est cyclique car la dualité
commute aux sommes directes finies. Le résultat est évident dans
ce cas : si $r$ divise $n$, $D(𝐙/r)$ est naturellement isomorphe à la
$r$-torsion de $𝐙/n$, elle-même isomorphe à $𝐙/r$.
\end{démo}

\begin{remarque2}
Nous n'utiliserons le premier lemme que dans le cas particulier où $M$ est
\emph{fini}. Dans ce cas, il résulte du second lemme.
Notons cependant qu'une démonstration possible
du théorème de structure des groupes abéliens finis repose
de façon cruciale sur une variante du lemme \ref{Zsurn dual nul implique nul}.
\end{remarque2}

\subsection{Démonstration}Nous allons démontrer ici le théorème \ref{Kummer
général}. Commençons par le cas des extensions finies. Soit $K$ une sous-extension de
$Ω \bo k$, abélienne \emph{finie} d'exposant divisant $n$.
Considérons le morphisme $A_K \bo {k^×}^n → \Hom(\Gal(K\bo k),μ_n)$
envoyant la classe de $a ∈ A_K$ sur le caractère de Kummer correspondant :
$σ ↦ σ(a^{1/n})/a^{1/n}$. Ce morphisme est injectif car
si $σ(a^{1/n})=a^{1/n}$ pour tout $σ$, on a $a^{1/n} ∈ k$,
c'est-à-dire $a ∈ {k^×}^n$. Ce morphisme est également \emph{surjectif}.
En effet, si $χ$ est un caractère du groupe de Galois,
il existe un $α ∈ K^×$ tel que $χ(σ)=σ(α)/α$ (cf. \ref{Kummer 3}).
Sa puissance $n$-ième $α^n$ appartient nécessairement à $k^×$,
d'où $α ∈ A_K$. (L'isomorphisme
$A_K \bo {k^×}^n → \Hom(\Gal(K\bo k),μ_n)$ est également
démontré en \ref{Kummer 4}, si l'on se souvient de
l'identification entre $\Hom(\Gal(K\bo k),μ_n)$ et $H¹(K\bo k,μ_n)$.)
Notons en particulier que les groupes $A_K \bo {k^×}^n$ et $\Gal(K\bo k)$
ont même cardinal ; on utilise ici l'égalité $♯ \Gal(K\bo k) = ♯ D\big(\Gal(K\bo k)\big)$
(\ref{bidualité Zsurn modules finis}).
Soit $K ′=k(A_{K}^{1/n})$. On a trivialement $K ′ ⊆ K$ et par conséquent $A_{K ′} ⊆ A_K$.
Cette dernière inclusion est une égalité car $A_{K ′}$ contient visiblement $A_K$.
Les groupes $\Gal(K\bo k)$ et $\Gal(K ′ \bo k)$ ayant même cardinal — celui de
$A_K \bo {k^×}^n$ —, on a également $K = K ′$.
Ceci montre que toute sous-extension abélienne finie d'exposant divisant $n$ de
$Ω$ est de la forme $k(A^{1/n})$, où $A$ est comme dans l'énoncé.
Notons $D_μ=\Hom(\tiret,μ)$. L'isomorphisme $A_K \bo {k^×}^n ⥲ D_μ(\Gal(K\bo k))$
induit un isomorphisme $D_μD_μ(\Gal(K\bo k)) ⥲ D_μ(A_K \bo {k^×}^n)$.
On vérifie immédiatement que l'isomorphisme composé
$\Gal(K\bo k) ⥲ D_μD_μ(\Gal(K\bo k)) ⥲ D_μ(A_K \bo {k^×}^n)$
n'est autre que l'application $σ ↦ (a \mod {{k^×}}^n ↦ σ(a^{1/n})/a^{1/n})$.
Pour achever la démonstration du théorème dans le cas fini,
il faut vérifier que si $A$ est comme en (i) et $K_A:=k(A^{1/n})$,
on a l'égalité entre $A$ et $A_{K_A}:={K_A^×}^n ∩ k^×$.
L'inclusion $A ⊆ A_{K_A}$ est claire. Considérons la suite exacte \[
1 → A/{k^×}^n → A_{K_A}/{k^×}^n → A_{K_A}/A → 1
\]
ainsi que la suite exacte induite par dualité
\[
1 → D_μ(A_{K_A}/A) → D_μ(A_{K_A}/{k^×}^n) →  D_μ(A/{k^×}^n)
\]
où la seconde flèche est le morphisme de restriction.
Le morphisme composé $\Gal(K_A\bo k) ⥲  D_μ(A_{K_A}/{k^×}^n) → D_μ(A/{k^×}^n)$
a pour noyau l'ensemble des automorphismes agissant trivialement sur $A^{1/n}$,
c'est-à-dire l'identité de $K_A$. Il en résulte que $D_μ(A_{K_A}/{k^×}^n) →
D_μ(A/{k^×}^n)$ est injectif et, finalement, $D_μ(A_{K_A}/A)=\{1\}$.
D'après \ref{Zsurn dual nul implique nul} ci-dessus, on a donc
$A=A_{K_A}$. CQFD.

Cas général. Soit $K\bo k$ comme en (i). Le morphisme $\Gal(K\bo k) → D_μ(A_K
\bo {k^×}^n)$ est un isomorphisme : cela résulte d'un passage à la limite
sur les sous-extensions finies de $K$. L'inclusion \emph{a priori} $k(A_K
^{1/n}) ⊆ K$ est une égalité ; cela résulte du fait que le corps $k(A_K ^{1/n})$
contient, d'après ce qui précède, toutes les sous-$k$-extensions finies de $K$.
Enfin, la démonstration ci-dessus de l'égalité $A = A_{K_A}$ s'étend
au cas général, lemme \ref{Zsurn dual nul implique nul} étant valable
sans hypothèse de finitude.

\subsection{Cas où les racines de l'unité ne sont pas dans $k$}

Commençons par les deux lemmes élémentaires suivants.

\begin{lemme2}\label{Xl-a irréductible}
Soient $k$ un corps, $ℓ$ un nombre premier et $a$ un
élément de $k$. Si le polynôme $X^ℓ-a$ est réductible
sur $k$, il existe un élément $b$ de $k$ tel
que $a=b^ℓ$.
\end{lemme2}

\begin{démo}
Soient $Ω$ une clôture algébrique de $k$ et $α$ une racine $ℓ$-ième
de $a$ dans $Ω$. Les racines dans $Ω$ d'un diviseur $g$ de $f$ dans $k[X]$
s'écrivant sous la forme $ζ α$, où $ζ$ parcourt une partie
$S⊆μ_ℓ(Ω)$ de cardinal $\deg(g)$, son coefficient $g(0)$
est égal — au signe près — au produit $ξ α^{\deg(g)}$,
où $ξ=∏_{ζ ∈ S} ζ$ appartient à $μ_ℓ(Ω)$. Par élévation à
la puissance $ℓ$, on voit que $a^{\deg(g)}$ appartient à ${k^×}^ℓ$.
La conclusion résulte alors du fait que si $g$ est un diviseur strict de $f$,
on a $\deg(g)< ℓ$ de sorte que $d=\deg(g)$ et $ℓ$ sont premiers entre eux
si bien que, pour chaque élément  $x$ de $k^×$, les conditions
$x^d ∈ {k^×}^ℓ$ et $x ∈ {k^×}^ℓ$ sont équivalentes.
\end{démo}

\begin{lemme2}\label{y=x puissance r fois lambda}
Soient $k$ un corps, $ℓ$ un nombre premier inversible
sur $k$ et $K=k(x)$ une extension monogène de $k$ de degré $ℓ$ telle
que $x^ℓ$ appartienne à $k$.
Si $y$ est un autre élément de $K$ tel que $y^ℓ$ appartienne à $k$, il
existe un unique entier $r ∈ [0,ℓ-1]$ tel que $y/x^r$ appartienne à $k$.
\end{lemme2}

\begin{démo}
Soient $Ω$ une clôture algébrique de $K$, $ζ$ une racine \emph{primitive}
$ℓ$-ième de l'unité dans $Ω$ et $σ:K → Ω$ l'unique $k$-plongement
envoyant $x$ sur $ζx$. Considérons maintenant $σ(y)$. Puisque $σ(y^ℓ)=y^ℓ$ — car
$y^ℓ$ est un élément de $k$ —, on peut écrire $σ(y)$ sous la forme $ξ y$,
où $ξ$ est une racine $ℓ$-ième de l'unité. Cette racine s'écrit donc
sous la forme $ξ=ζ^r$ pour un unique $r ∈ [0,ℓ-1]$. Il en résulte
que l'élément $y/x^r$ est laissé invariant par $σ$. Or
le sous-corps $\{z ∈ K: σ(z)=z\}$ de $K$ ne contient pas $x$
donc est égal à $k$ pour des raisons de degré, $[K:k]$
ayant pour seuls diviseurs $1$ et $ℓ$. Ainsi
le quotient $y/x^r$, qui appartient à ce sous-corps, est un élément de $k$.
\end{démo}

\begin{théorème2}[Martin Kneser \cite{Lineare@Kneser}]\label{théorème Kneser}
Soient $K\bo k$ une extension algébrique séparable et $A$ un sous-groupe de $K^×$
tel que l'indice $(k^×⟨A⟩:k^×)$ de $k^×$ dans le sous-groupe
de $K^×$ engendré par $k^×$ et $A$ soit fini.
Les conditions suivantes sont équivalentes :
\begin{enumerate}
\item l'inégalité \emph{a priori} $[k(A):k] ≤ (k^×⟨A⟩:k^×)$ est une
\emph{égalité} ;
\item
\begin{enumerate}
\item pour tout nombre premier $ℓ$, toute racine $ℓ$-ième
de l'unité dans $k^×⟨A⟩$ est en fait dans $k^×$ et,
\item toute racine primitive quatrième de l'unité $√{-1}$
dans $K$ telle que $1+√{-1}$ appartienne à $k^×⟨A⟩$
est en fait dans $k^×$.
\end{enumerate}
\end{enumerate}
\end{théorème2}

\begin{corollaire2}[Capelli]\label{théorème Capelli}
Soient $k$ un corps et $n ≥ 2$ un entier. Un polynôme $X^n-a$ dans $k[X]$
est irréductible si et seulement l'élément $a$ appartient à $k^×$
mais à aucun des sous-groupes ${k^×}^ℓ$ pour $ℓ$ premier divisant $n$,
ni à $-4 {k^×}⁴$ si $n$ est divisible par quatre.
\end{corollaire2}

\begin{démo}
Les conditions sont nécessaires car $X^{ℓm}-b^ℓ$ (resp.
$X^{4m}+4b⁴$) est divisible par $X^m-b$ (resp. $X^{2m}-2bX^m+2b²$).
Démontrons la suffisance. Soient $K$ un corps de rupture
de $X^n-a$, $α$ une racine $n$-ième de $a$ dans $K$ et $A=⟨ α ⟩$
le sous-groupe multiplicatif engendré, de sorte que $K=k(A)$.
D'après le théorème précédent, l'irréductibilité de $X^n-a$
— qui est équivalente à l'égalité $[K:k]=n$ — a lieu
si et seulement si les critères (a) et (b) sont satisfaits
et si de plus l'inégalité \emph{a priori} $(k^×⟨A⟩:k^×) ≤ n$ (cf. ci-après) est une
égalité. Le groupe $A$ étant monogène engendré par $α$, l'indice
$(k^×⟨A⟩:k^×)$ est l'ordre de la classe de $α$ dans $K^×/k^×$.
Cet ordre divise $n$ et s'il en était un diviseur strict,
il existerait un diviseur premier $ℓ$ de $n$ tel que $α^{n/ℓ}$ appartienne
à $k^×$ ; ceci contredit l'hypothèse. Il nous reste à vérifier les critères (a)
et (b). Soient $ℓ$ un nombre premier et $ζ_ℓ$ une racine $ℓ$-ième de l'unité
appartenant au groupe $k^×⟨A⟩$ de sorte que l'on a une égalité $ζ_ℓ=λ α^r$ pour certains $λ ∈ k^×$ et $r ∈ [0,n-1]$.
Supposons que le nombre premier $ℓ$ divise $n$ mais pas $r$ ; il
divise donc l'entier $m=n/(n,r)$ où $(n,r)$ est le pgcd de $n$ et $r$. En élevant
l'égalité $ζ_ℓ=λ α^r$ à la puissance $m$, on obtient $1=λ^m a^{r/(n,r)}$ d'où en
particulier $a^{r/(n,r)} ∈ {k^×}^ℓ$ car ${k^×}^m$ est contenu dans ${k^×}^ℓ$.
Puisque $ℓ$ est premier à $r/(n,r)$, on en
tire $a ∈ {k^×}^ℓ$, ce qui est contraire à l'hypothèse. Ainsi $ℓ$ ne divise pas
$m$ et l'égalité $ζ_ℓ^m=λ^m a^{r/(n,r)} ∈ k^×$ entraîne l'appartenance
de $ζ_ℓ$ à $k^×$. Vérifions maintenant le critère (b) en supposant
que $1+√{-1}$ appartienne à $k^×⟨A⟩$. (On suppose en particulier
que la caractéristique de $k$ est différente de deux, sans quoi il n'y a rien à
démontrer.) Écrivons comme précédemment
\[1+√{-1}=λ α^r\] et posons $m=n/(n,r)$.

\begin{itemize}
\item [Cas où quatre divise $m$.] On obtient par élévation à la puissance $m$ l'égalité
\[
(-4)^{m/4}λ^{-m}= a^{r/(n,r)}.
\]
\begin{itemize}
\item [Cas où $m/4$ est pair.] Le terme de gauche est un carré. Comme $r/(n,r)$ est
impair, on a $a ∈ {k^×}²$ et une contradiction.
\item [Cas où $m/4=2k+1$.] L'égalité $(-4)^{m/4}=-4 ⋅ (2^k)^4$
jointe à l'égalité ci-dessus montre que $a^{r/(n,r)}$ appartient à $-4 {k^×}⁴$.
Or, il résulte de notre hypothèse que si $s$ est un entier tel que
$4|ns$ et $a^s ∈ -4 {k^×}⁴$ alors $4|s$. En effet on aurait
dans le cas contraire soit $4|n$ et $a ∈ -4 {k^×}⁴$ (ce qui est exclu)
soit $2|n$ et $a² ∈ -4 {k^×}⁴$. Cette dernière possibilité est
également exclue car on aurait alors $√{-1} ∈ k$ et enfin $a ∈ {k^×}²$.
Appliquant cette observation à $s=r/(n,r)$, on constate que
l'élément $a^{r/(n,r)}$ ne peut appartenir à l'ensemble $-4 {k^×}⁴$
si quatre ne divise pas $r/(n,r)$. Contradiction.
\end{itemize}
\item [Cas où quatre ne divise pas $m$.]
Puisque $(1+√{-1})^m=λ^m a^{r/(n,r)}$ appartient à $k$,
il en est de même de $√{-1}$ compte tenu du fait que
$2^{-[m/2]}(1+√{-1})^m$ appartient à l'ensemble
$\{±√{-1},±1±√{-1}\}$.
\end{itemize}
\end{démo}

%La démonstration suivante est tirée de \cite[chap. 2]{Polynomials@Schinzel}.
%La démonstration originale est identique.

\begin{démo}[Démonstration du théorème \ref{théorème Kneser}]
(i) ⇒ (ii). Commençons par observer que $A$ étant un groupe et \emph{a fortiori}
un monoïde, le corps $k(A)$ est l'ensemble des combinaisons linéaires d'éléments
de $A$. Il en résulte que la dimension $[k(A):k]$ est le nombre maximal d'éléments
de $A$ linéairement indépendants sur $k$. D'autre part, il est clair
que des éléments de $A$ linéairement indépendants sur $k$ ne sont pas
homothétiques deux-à-deux donc appartiennent à des classes modulo $k^×$
distinctes. En conséquence, on a l'inégalité
\[
[k(A):k] ≤ (k^×⟨A⟩ : k^×).
\]
Soit $x$ un élément $K^×$ appartenant au sous-groupe $k^×⟨A⟩$.
En factorisant les deux termes de l'égalité $[k(A):k]=(k^×⟨A⟩:k^×)$
on obtient l'égalité :
\[
[k(A):k(x)]⋅[k(x):k]=\big(k^×⟨A⟩:k^×⟨⟨x⟩⟩\big) ⋅ \big(k^×⟨⟨x⟩⟩:k^×\big).
\]
L'inégalité ci-dessus, appliquée au corps $k(x)$ engendré par $x$, montre que l'on a la
majoration $[k(A):k(x)] ≤  \big(k^×⟨A⟩:k(x)^×\big)$. Comme d'autre part
on a l'inclusion $k^×⟨⟨x⟩⟩ ⊆ k(x)^×$, on en déduit l'inégalité
\[
[k(A):k(x] ≤ \big(k^×⟨A⟩:k^×⟨⟨x⟩⟩\big).
\]
Pour que l'égalité ci-dessus soit satisfaite, il est donc nécessaire
que l'inégalité \emph{a priori}
\[
[k(x):k] ≤ \big(k^×⟨⟨x⟩⟩:k^×\big)
\]
soit une égalité. Le terme de droite
coïncide avec l'ordre de $x \mod k^×$ dans $K^×/k^×$.

(a) Supposons maintenant que $x$ soit une racine $ℓ$-ième
de l'unité. Le terme de droite de l'inégalité ci-dessus est donc un diviseur du nombre premier $ℓ$
tandis que le terme de gauche est majoré par $ℓ-1$. Il en résulte que ces entiers sont égaux à un,
c'est-à-dire que la racine de l'unité $x$ appartient à $k^×$.

(b) Supposons maintenant que $x-1$ soit une racine quatrième
de l'unité. Observons que ce cas ne peut se produire que lorsque le corps $k$
est de caractéristique différente de deux. Si la racine en question
n'est pas primitive, $x=2$ et il n'y a rien à démontrer.
Dans le cas contraire, on a $x²=2(x-1)$ et $x⁴=-4$.
L'indice $\big(k^×⟨⟨x⟩⟩:k^×\big)$ est donc égal à $1$ ou $4$ suivant
que $x$, ou $x-1$ — cela revient au même —, appartiennent à $k$ ou non.
D'autre part, $[k(x):k]$ est égal à $1$ ou $2$ suivant que $x$,
ou $x-1$ — cela revient au même —, appartiennent à $k$ ou non.
Le cas d'égalité se produit donc si et seulement si la racine primitive
quatrième de l'unité $x-1$ appartient à $k$.

(ii) ⇒ (i). Commençons par constater que l'on peut supposer l'indice
$(k^×⟨A⟩:k^×)$ être une puissance d'un nombre premier $ℓ$.
En effet, si l'on considère pour chaque $ℓ$ l'image inverse $T_ℓ$
du $ℓ$-Sylow $S_ℓ$ de $k^×⟨A⟩/k^×$ dans $k^×⟨A⟩$, et que l'on démontre
l'égalité $[k(T_ℓ):k]=(k^×⟨T_ℓ⟩:k^×)\,(=♯S_ℓ)$, on aura
la divisibilité $♯ S_ℓ | [k(A):k]$ pour chaque nombre premier $ℓ$ et finalement
la relation $(k^×⟨A⟩ : k^×) | [k(A):k]$. On peut alors conclure
en utilisant la majoration $[k(A):k] ≤ (k^×⟨A⟩ : k^×)$ démontrée ci-dessus.

Plaçons nous dorénavant dans le cas où $(k^×⟨A⟩:k^×)$ est une puissance
d'un nombre premier $ℓ$. Considérons une filtration
\[
k^×=G₀ ⊆ G₁ ⊆ … ⊆ G_r=k^×⟨A⟩
\]
à quotients d'ordre $ℓ$ et posons $k_n=k(G_n)$ pour $n ∈ [0,r]$.

Nous allons démontrer par récurrence sur l'entier $n ∈ [0,r]$ les faits suivants :
\begin{itemize}
\item [$(C_n)$ :] $[k_n:k_{n-1}]=ℓ$ si $n>0$ ;
\item [$(D_n)$ :] un élément $x$ de $k_n$ appartient à $G_n$ lorsque les
conditions suivantes sont satisfaites :
\begin{itemize}
\item [si $ℓ≠2$ :] $x^ℓ$ appartient à $G_n$ ;
\item [si $ℓ=2$ :] $x²$ appartient à $G_n$ et, d'autre part, soit
$x$ appartient à $k^×⟨A⟩$ soit $√{-1}$ n'appartient pas à $k_n$.
\end{itemize}
\end{itemize}
Les énoncés $C₀$ et $D₀$ sont trivialement vrais. Supposons donc $n>0$.

Démonstration de l'implication : $(D_{n-1})$ entraîne $(C_n)$.
Soit $g_n ∈ G_n$ tel que $G_n=G_{n-1}⟨g_n⟩$. Par construction $g_n^ℓ$ appartient
au groupe $G_{n-1}$.  Les corps $k_n$ et $k_{n-1}(g_n)$ étant
égaux, il en résulte que le degré du corps $k_n$ sur $k_{n-1}$ est
inférieur ou égal à $ℓ$, avec inégalité si et seulement si
le polynôme $X^ℓ -g_n^ℓ$ est réductible sur $k_{n-1}$. On vérifie immédiatement
(cf. lemme \ref{Xl-a irréductible} supra) que cela force l'existence
d'un élément $x$ de $k_{n-1}$ tel que $x^ℓ=g_n^ℓ$.

\begin{itemize}
\item [Supposons $ℓ≠2$.] Étant égal à $g_n^ℓ$, l'élément $x^ℓ$ appartient à $G_{n-1}$.
D'après $(D_{n-1})$, l'élément $x$ appartient également à $G_{n-1}$.
D'autre part, le quotient $g_n/x$ est une racine $ℓ$-ième de l'unité appartenant
à $G_n$ donc, par l'hypothèse (i), à $k^×$. En conséquence, $g_n$ appartient à
$G_{n-1}$. Absurde.

\item [Supposons $ℓ=2$.] Dans ce cas, $x²$ appartient à $G_{n-1}$, $x=±g_n$ donc
appartient à $k^×⟨A⟩$ donc, par $(D_{n-1})$, $x$ appartient également
à $G_{n-1}$. Comme $g_n=±x$ et $\{±1\}$ est contenu dans $k^× =G₀$,
on a $g_n ∈ G_{n-1}$. Absurde.
\end{itemize}

Démonstration de l'implication : $(D_{n-1})$ et $(C_n)$ entraînent $(D_n)$.

\begin{itemize}
\item [Supposons $ℓ≠2$.]
Considérons un élément $x$ de $k_n$ tel que
$x^ℓ$ appartienne à $G_n$. Il existe donc un entier $s ∈ [0,ℓ-1]$
et un élément $h ∈ G_{n-1}$ tels que $x^ℓ=g_n^s h$.

\begin{itemize}
\item [Cas $s=0$.] On peut conclure en utilisant le lemme \ref{y=x puissance r fois lambda}.
En effet, comme $x^ℓ$ appartient à $k_{n-1}$ et $x$ appartient à
$k_n=k_{n-1}(g_n)$, il existe un entier $r$ tel que $x g_n^{-r}$
appartienne à $k_{n-1}$. D'autre part $(x g_n^{-r})^ℓ=h (g_n^ℓ)^{-r}$ appartient
à $G_{n-1}$, il résulte de $(D_{n-1})$ que $x g_n^{-r}$ appartient à $G_{n-1}$.
CQFD.
\item [Cas $s≠0$.] Nous allons montrer que ce cas ne se produit pas.
Notons $N$ la norme de $k_n$ à $k_{n-1}$ et observons d'ores et déjà
que $N(g_n)=g_{n}^ℓ$ car le polynôme minimal de $g_n$ sur $k_{n-1}$ est
$X^ℓ-g_n^{ℓ}$, de degré impair. L'égalité $x^ℓ=g_n^s h$ devient donc, par application de $N$
et réécriture immédiate : ${g_{n}^ℓ}^s=(N(x)/h)^ℓ$. Le terme de droite
est un élément de ${k_{n-1}^{×}}^ℓ$. Si $s$ est non nul, il est premier à $ℓ$,
de sorte que l'on a également $g_{n}^ℓ =y^ℓ$ pour un $y$ dans $k_{n-1}^{×}$.
Comme $y^ℓ$ appartient à $G_{n-1}$ il résulte de $(D_{n-1})$
que $y$ appartient à $G_{n-1}$. Comme $g_n/y$ est une racine $ℓ$-ième
de l'unité appartenant à $G_n$ elle appartient à $k^×=G₀$ d'après
l'hypothèse (a). Finalement $g_n$ appartient $G_{n-1}$. Absurde.
\end{itemize}

\item[Supposons $ℓ=2$.] Considérons un élément $x$ de $k_n$ tel que
$x²$ appartienne à $G_n$. Il existe donc un entier $s ∈ \{0,1\}$
et un élément $h ∈ G_{n-1}$ tels que $x²=g_n^s h$.
\begin{itemize}
\item[Cas $s=0$.] Même démonstration que ci-dessus. Observer
que si $x$ appartient à $k^×⟨A⟩$ (resp. $√{-1}$ n'appartient
pas à $k_n$), alors $xg_n^{-1}$ appartient à $k^×⟨A⟩$ (resp. $√{-1}$ n'appartient
pas à $k_{n-1}$).
% changer l'étude de cas.
\item[Cas $s=1$.] Notons $N$ la norme de $k_n$ à $k_{n-1}$ et observons d'ores et déjà
que $N(g_n)=-g_{n}²$ car le polynôme minimal de $g_n$ sur $k_{n-1}$ est
$X²-g_n²$, de degré pair.  L'égalité $x²=g_n h$ devient donc $N(x)²=-g_n² h²$ par application
de $N$, d'où $g_n h=(±N(x))√{-1}$.
Les deux éléments $h,N(x)$ appartenant à $k_{n-1}$ et $g_n$ à $k_n-k_{n-1}$,
il en résulte que $√{-1}$ appartient à $k_n-k_{n-1}$. En conséquence,
l'extension quadratique $k_n \bo k_{n-1}$ est engendrée par $√{-1}$.
On peut donc écrire l'élément $x$ de $k_n$ sous la forme $λ+μ √{-1}$
où $λ$ et $μ$ appartiennent à $k_{n-1}$. Par élévation au carré,
on obtient $x²=(λ²-μ²)+(2 λ μ) √{-1}$. Comme d'autre part $x²=g_n h$
appartient à la droite $k_{n-1} ⋅ √{-1}$ (cf. \emph{supra}),
on a $λ=± μ$, c'est-à-dire :
\[
x=λ(1±√{-1}).
\]
En élevant à la puissance quatrième, on obtient $x⁴=(-4) ⋅ λ ⁴$. Comme $x²$
appartient à $G_n$, son carré $x^4$ appartient à $G_{n-1}$, de même que $λ⁴$.
(Rappelons que $-4 ∈ k^×=G₀$.)
En appliquant l'hypothèse de récurrence $(D_{n-1})$ à l'élément $λ²$,
et en se souvenant que $√{-1}$ n'appartient pas à $k_{n-1}$,
on en déduit que $λ²$ appartient au groupe $G_{n-1}$. Une nouvelle
application de l'hypothèse de récurrence montre que $λ$ appartient également
à $G_{n-1}$. Si $x=λ(1±√{-1})$ appartient à $k^×⟨A⟩$, on a donc
$1±√{-1}$ dans $k^×⟨A⟩$. D'après l'hypothèse (b), on a alors
$√{-1}$ dans $k^×$ et finalement $x$ dans $G_{n-1}$. CQFD.
\end{itemize}
\end{itemize}
\end{démo}

\section{Théorie d'Artin-Schreier}

\subsection{Introduction}
Nous allons étudier les extensions galoisiennes cycliques d'ordre $p$
d'un corps $k$ de caractéristique le nombre premier $p$.
Ici encore, différentes méthodes permettent de démontrer le point clef :
\begin{enumerate}
\item (algèbre linéaire) trigonaliser un endomorphisme
unipotent d'ordre $p$ agissant sur un $k$-espace vectoriel
de dimension finie ;
\item (géométrique) utiliser le théorème de la base normale
(\refext{Versel}{theoreme base normale}) et l'existence d'un morphisme
$𝐙/p$-équivariant (\refext{Versel}{KAS I})
\[ k[x_{i ∈ 𝐙/p}][\det(x_{i+j})^{-1}] → k[y]
\]
où $𝐙/p$ agit sur $y$ (resp. les $x_i$) par translation (resp. translation
des indices) ;
%\item (résolvantes) utiliser les \emph{résolvantes de Lagrange} ;
\item (cohomologique) utiliser la notion de $𝐙/p$-torseur,
leur description comme groupe de cohomologie (\refext{Formes}{H1G=TorsG})
et enfin le calcul de ce groupe reposant sur \refext{Formes}{H1Ga=0}.
\end{enumerate}

\begin{remarque2}
Les résultats qui vont suivre peuvent être vus comme des analogues
« additifs » partiels de la théorie de Kummer. (« Partiels »
car l'étude des extensions abélienne d'ordre $p^r$ d'un corps de
caractéristique $p$ ne sera faite que dans une section ultérieure.)
Ceci est manifeste à la lecture des énoncés \ref{extension cyclique=Kummer}
et \ref{extension Z sur p-AS}.
Cela transparaît également ainsi. Si l'on note $σ$ un générateur du groupe de Galois, la méthode (i)
exposée ci-dessous prend pour point de départ la réécriture de l'équation $σ^p=1$
en $σ=1+𝔫$ où $𝔫^p=0$ : on ne considère plus une matrice \emph{diagonalisable}
inversible, dont les puissances $i$-ièmes se calculent par élévation
à la puissance $i$ des coefficients diagonaux dans une base adaptée,
mais une matrice \emph{unipotente} $1+𝔫$,
dont les puissances $i$-ièmes se calculent via la multiplication
par l'entier $i$ d'une matrice nilpotente $N$ telle
que $1+𝔫=e^N$ (cf. exercice \ref{explog=identité} \emph{infra}).
De même, les méthodes (ii) et (iv) font intervenir
non plus le groupe multiplicatif $\Gm$ (représenté
par l'algèbre $k[t,t^{-1}]$) mais le groupe additif $\Ga$ (représenté
par l'algèbre $k[y]$).
\end{remarque2}

\begin{exercice2}\label{explog=identité}
Soient $p$ un nombre premier et $k$ un corps de caractéristique $p$.
Vérifier que l'exponentielle tronquée $\exp_{<p}(x)=∑_{i=0}^{p-1} \frac{x^i}{i!}$
et le logarithme tronqué $\log_{<p}(x)=-∑_{i=1}^{p-1}\frac{(1-x)^i}{i}$
définissent des bijections réciproques entre l'ensemble des matrices
nilpotentes et l'ensemble des matrices unipotentes de $𝐌_p(k)$.
\end{exercice2}

\subsubsection{}Afin de donner la possibilité au lecteur d'aborder ce chapitre
après la seule lecture des chapitres [Alg] et [CG] (cf. \emph{leitfaden})
nous commencerons par exposer la méthode (i) ainsi que l'argument
original de Emil Artin et Otto Schreier, qui sont aussi, loin s'en faut,
les plus rapides de toutes. L'approche reposant sur (ii) étant traitée en détail
dans \refext{Versel}{KAS I} et étendue au cas des extensions
de groupe $𝐙/p^r$ lorsque $r$ est un entier quelconque dans la section
suivante, nous n'en parlerons pas dans cette section-ci.
Le lecteur curieux pourra cependant essayer de comprendre sa parenté avec (i).
Nous ferons en temps utile quelques remarques — que le lecteur pressé pourra
passer — sur la méthode cohomologique qui, d'en d'autres contextes,
s'avère la plus féconde.

\subsection{Extensions de groupe $𝐙/p$ ; énoncés}
\begin{théorème2}[\cite{Kennzeichnung@AS}, théorème 1]\label{extension Z sur p-AS}
Soit $k$ un corps de caractéristique $p>0$ et soit $K\bo k$
une extension galoisienne de groupe cyclique d'ordre $p$.
\begin{enumerate}
\item Il existe un élément $a$ de $k$ tel que $K$ soit un corps
de décomposition du polynôme $X^p-X-a$.
\item Si $b$ est un autre élément jouissant de la même propriété,
les sous-groupes (additifs) $A=⟨a⟩$ et $B=⟨b⟩$ de $k ∩ ℘(K)$ ont même image
dans le quotient $k ∩ ℘(K) / ℘(k)$.
\end{enumerate}
\end{théorème2}

On rappelle \XXX qu'une algèbre de caractéristique $p$ étant donnée, on note
$℘$ l'application $𝐅_p$-linéaire $x ↦ x^p-x$ (morphisme
d'Artin-Schreier).

Ce théorème admet la réciproque suivante.

\begin{proposition2}\label{extension AS est de groupe Z sur p}
Soient $k$ un corps de caractéristique $p>0$, $a$ un élément de $k$,
$f=X^p-X-a ∈ k[X]$ et $K$ un corps de décomposition de $f$ sur $k$.
\begin{enumerate}
\item Le polynôme $f$ est \emph{séparable}.
\item Soit $α$ une racine de $f$ dans $K$
Pour tout élément $σ$ de $\Gal(K\bo k)$, l'élément
$σ(α)-α$ appartient au sous-corps $𝐅_p$ de $k$ et est indépendant
du choix de $α$. L'application $\Gal(K\bo k) → 𝐅_p$, $σ ↦ σ(α)-α$
est un morphisme \emph{injectif}, appelé \emph{caractère
d'Artin-Schreier}\index{caractère d'Artin-Schreier}. En particulier,
l'extension $K\bo k$ est galoisienne de groupe trivial ou cyclique d'ordre $p$.
\item Le groupe $\Gal(K\bo k)$ est d'ordre $p$ si et seulement si
$f$ est irréductible, ce qui se produit si et seulement si
$a$ n'appartient pas au sous-$𝐅_p$-espace vectoriel $℘(k)$ de $k$.
Dans ce cas, si $α$ est une racine de $f$, tout autre élément primitif
$β ∈ K$ également racine d'un polynôme de la forme $X^p-X-b$, où $b ∈ k$,
s'écrit $β=i α + λ$ où $i$ est un entier non nul inférieur à $p$ et
$λ$ appartient à $k$.
\end{enumerate}
\end{proposition2}

Comme nous l'avons déjà fait dans le chapitre \XXX nous
noterons parfois $\root ℘ \of a$ une racine quelconque de l'équation
$X^p-X=a$.

\begin{lemme2}\label{trace dans AS}
$\Tr_{K\bo k}(α^i)=0$ pour $0 ≤ i <p-1$ et $\Tr_{K\bo k}(α^{p-1})=-1$
\end{lemme2}

\begin{démo}
En effet, $\Tr_{K\bo k}(α^i)=∑_{λ ∈ 𝐅_p}(α + λ)^i$ et
$∑_{λ ∈ 𝐅_p} λ^i=0$ si $0 ≤ i < p-1$ et $-1$ si $i=p-1$. (On utilise
le fait que le groupe multiplicatif $𝐅_p^×$ est cyclique d'ordre $p-1$.)
\end{démo}

\subsection{Démonstrations}
\subsubsection{Démonstration de la proposition \ref{extension AS est de groupe Z sur p}}
La séparabilité du polynôme $f$ résulte du fait
que sa dérivée est $-1$, trivialement première à $f$.
Soit $K$ un corps de décomposition de $f$. Notons $Π$ son groupe
de Galois et fixons une racine $α$ de $f$ dans $K$ de sorte
que $℘(α)=a$.
L'application $℘$ étant additive de noyau $𝐅_p$,
le polynôme $f$ se décompose alors dans $K[X]$ en un produit
\[
f(X)=∏_{β ∈ \root℘\of a} (X-β)= ∏_{ζ ∈ 𝐅_p} (X-(ζ + α)).
\]
Soit $σ ∈ Π$. Il résulte de l'observation précédente
qu'il existe un (unique) élément $ζ_σ$ de $𝐅_p ⊆ k$ tel
que
\[
σ(α)=ζ_σ + α.
\]
Comme $τ(ζ)=ζ$ pour chaque $τ ∈ Π$ et chaque $ζ ∈ 𝐅_p ⊆k$,
on a
\[
ζ_{τ σ}α = τ σ(α)=ζ_σ + ζ_τ + α :
\]
l'application $σ ∈ Π ↦ ζ_σ
∈ 𝐅_p$ est un morphisme de \emph{groupes}. Ce morphisme
est indépendant du choix de $α$ car si $β=ζ + α$ est une autre racine,
$σ(β)-β=(σ(ζ)-ζ) + (σ(α)-α)=σ(α)-α$ car $ζ$ appartient à $k$.
Montrons que le caractère d'Artin-Schreier est \emph{injectif} ;
cela démontrera que $Π$, étant isomorphe à un sous-groupe
de $𝐅_p$, est soit trivial soit cyclique d'ordre $p$. Il suffit
de démontrer que si $σ(α)=τ(α)$, alors $σ=τ$. Or
$k(\{ζ + α\}_{ζ ∈ 𝐅_p})=k(α)$ de sorte que $K$ est en fait
engendré sur $k$ par $α$. Les $k$-automorphismes de $K$ sont
donc caractérisés par l'image de $α$. Ceci achève la démonstration
de (i) et (ii). Considérons maintenant le troisième point.
La première partie de l'énoncé est conséquence immédiate du fait
que $f$ est scindé dans tout corps de rupture.
Soit maintenant $β$ un élément primitif racine d'un polynôme d'Artin-Schreier
comme dans l'énoncé et soit $σ$ un générateur de $Π$. Il existe un entier $i$ tel que
$σ(β)=β+i$. Il en résulte que $β-i α$ est $σ$-invariant donc dans $k$. CQFD.

\subsubsection{Première démonstration de \ref{extension Z sur p-AS} (i)}
Soit $K\bo k$ comme dans l'énoncé, de groupe
de Galois noté $Π$, supposé cyclique d'ordre $p$.
Fixons un générateur $σ$. Considéré comme
endomorphisme $k$-linéaire de $K$ dans $K$,
son polynôme minimal est $X^p-1$. Cela résulte
du fait que $σ^p=\Id_K$ et que $p$ est minimal pour
cette propriété. L'égalité $X^p-1=(X-1)^p$ dans l'anneau
$k[X]$ de caractéristique $p$ montre que $𝔫=σ-\Id_K$ est un endomorphisme
nilpotent du $k$-espace vectoriel $K$ de dimension $p$.
Le noyau de $𝔫$ n'est autre que $\Ker(σ-\Id_K)=\Fix_Π(K)=k$ : c'est une
droite\footnote{On peut en déduire que l'indice de nilpotence de $n$ est exactement $p$.
Ceci résulte également du fait qu'une relation
$0=(σ-\Id_K)^r=∑₀^r {r \choose i} σ^i $ (où $r<p$) contredirait
l'indépendance linéaire des éléments de $Π$ (\refext{CG}{indépendance linéaire
des automorphismes}).}. La dimension de $K$ sur $k$ étant $p ≥ 2$,
il en résulte qu'il existe un élément $α$ de $K$ tel que $𝔫²(α)$
soit nul mais pas $𝔫(α)$. En d'autres termes, $𝔫(α)=σ(α)-α$
appartient à $k=\Ker(𝔫)-\{0\}$. Quitte à multiplier $α$ par
un scalaire de $k$, on a donc démontré l'existence d'un
élément $α$ de $K$ tel que $σ(α)=1+α$.
L'orbite de $α$ sous $Π=⟨σ⟩$ est d'ordre $p$ de sorte que $K=k(α)$.
Enfin, $σ(α^p-α)=(1+α)^p-(1+α)=0$ de sorte que $a:=℘(α)$ appartient
à $k$. CQFD.

\subsubsection{Seconde démonstration de \ref{extension Z sur p-AS} (i)}\label{AS 2}
Soit $K\bo k$ comme dans l'énoncé et soit
$σ$ un générateur de son groupe de Galois, supposé cyclique d'ordre $p$.
Soit $x ∈ K$ tel que $K=k(x)$ et posons pour chaque $i ∈ [0,p-1]$,
$x_i :=σ^i(x)$. Les $x_i$ étant deux-à-deux distincts, il résulte
du théorème de Vandermonde que le déterminant $\det(x_i^j)_{0 ≤ i,j ≤ p-1}$
est non nul. En particulier, il existe un entier $r ∈ [0,p-1]$ tel
que la somme $s=∑_{0 ≤ i ≤ p-1} x_i^r$ soit non nulle.
Posons $α=\frac{-1}{s} ∑_{0 ≤ i ≤ p-1} i x_i^r$. On vérifie immédiatement
que $σ(α)=α+1$. On conclut comme ci-dessus. Cet argument
est l'argument original de E. Artin et O. Schreier.

\subsubsection{Troisième démonstration de \ref{extension Z sur p-AS} (i)}\label{AS 3}

Soit $K\bo k$ comme dans l'énoncé. Notons $Π$
son groupe de Galois, supposé cyclique d'ordre $p$,
et fixons un générateur $σ$.
Soit $c:Π → 𝐅_p$ l'unique (iso)morphisme de groupes
envoyant $σ$ sur $1$. C'est en particulier un
$1$-cocycle à valeurs dans le groupe additif de $K$
(\refext{Formes}{généralités 1-cocycles}).
D'après \refext{Formes}{H1Ga=0}, un tel cocycle est \emph{trivial} : (en
notations additives) il existe $α ∈ K$
tel que $c(τ)=-α + {^τ α}$. En particulier $σ(α)=1+α$.
On a alors $℘(α)∈ k$ et $K=k(α)$. CQFD.

\subsubsection{Quatrième démonstration de \ref{extension Z sur p-AS} (i) (esquisse)}\label{AS 4}

Soit $K\bo k$ comme dans l'énoncé. Notons $Π$ son groupe de Galois, supposé
cyclique d'ordre $p$, et fixons un générateur $σ$.
L'isomorphisme $ι:Π ⥲ 𝐙/p$, $σ ↦ 1$ (ou plutôt son inverse) et l'action naturelle de $Π$
font de $K$ un $𝐙/p$-torseur sur $k$, trivialisé par $K\bo k$
(\refext{Formes}{extension galoisienne groupe G est un
G-torseur}). L'ensemble $\mathrm{Tors}(K\bo k,𝐙/p)/∼$
des classes d'isomorphismes de tels torseurs est naturellement isomorphe au groupe
de cohomologie $H¹(K\bo k,𝐙/p)=\Hom(Π,𝐙/p)$ ;
cet isomorphisme envoyant $[K]$ sur $ι$.
Le point clef est que l'on peut \emph{calculer} le groupe
$H¹(K\bo k,𝐙/p)$. En effet, la suite exacte de $Π$-modules abéliens
\[
0 → 𝐙/p → K \dessusdessous{x \dessusdessous{℘}{↦} x^p-x}{→} ℘(K) → 0
\]
induit une suite exacte
\[
H⁰(K\bo k,K) → H⁰(K\bo k,℘(K)) \dessusdessous{δ}{→} H¹(K\bo k,𝐙/p) → H¹(K\bo k,K).
\]
D'après \refext{Formes}{H1Ga=0}, le groupe $H¹(K\bo k,K)$ est trivial. D'autre part,
$H⁰(K\bo k,K)$ est, par définition, $\Fix_Π(K)$, lui-même égal
à $k$ et $H⁰(K\bo k,℘(K))=k ∩ ℘(K)$ pour la même raison.
Le morphisme cobord induit donc un isomorphisme
\[
(k ∩ ℘(K))/℘(k) ⥲ H¹(K\bo k,𝐙/p) ≃ \mathrm{Tors}(K\bo k,𝐙/p)/∼.
\]
Par définition du cobord (\refext{formes}{}), il envoie
la classe d'un élément $a$ de $k ∩ ℘(K)$
sur le caractère d'Artin-Schreier $χ_a: σ ↦ σ(\root ℘\of a)-\root ℘\of a$
(où $\root ℘\of a$ est une racine quelconque de $℘(X)=a$) appartenant à
$\Hom(Π,𝐙/p)$. Ainsi, il existe $a$ tel que
$ι$ soit égal au caractère d'Artin-Schreier $χ_a$.
Ceci signifie que $ι(σ)=1$ est égal à $σ(α)-α$
où $α=\root ℘\of a$.
CQFD.

\begin{remarques2}
\begin{itemize}
\item Le lecteur constatera que cette méthode donne aussi
une démonstration de \ref{extension Z sur p-AS} (ii).
\item On peut vérifier que le morphisme composé
\[(k ∩ ℘(K))/℘(k) → \mathrm{Tors}(K\bo k,𝐙/p)/∼\]
envoie la classe de $a$ sur la classe du $𝐙/p$-torseur
$k[X]/(X^p-X-a)$. % \XXX à faire
\end{itemize}
\end{remarques2}

\subsubsection{Démonstration de \ref{extension Z sur p-AS} (ii)}
Soient $K\bo k$, $a$ et $b$ comme dans l'énoncé. Notons $Π$
le groupe de Galois de l'extension $K\bo k$, supposé cyclique d'ordre $p$.
Choisissons également des racines $℘$-ièmes $α$ et $β$ de $a$ et $b$ dans $K$ respectivement.
Ces éléments étant primitifs pour l'extension $K\bo k$,
il existe deux éléments non nuls $ζ_a$ et $ζ_b$ de
du sous-corps premier $𝐅_p$ tels que $σ(α)=ζ_a + α$ et $σ(β)=ζ_b + β$.
Soit $r ∈ 𝐍$, nécessairement premier à $p$, tel que $ζ_β=r ζ_α$. On
a donc $σ(rβ)=ζ_a + rβ$ et, par conséquent, $σ(α - β^r)=α - β^r$.
Ainsi, $x=α-rβ$ appartient à $k$. En appliquant le morphisme
$℘$ à cette identité, on obtient $℘(x)=a-rb ∈ ℘(k)$ où $r$ est inversible
dans $k$. La conclusion en résulte aussitôt.

\subsection{Amplification : extensions abéliennes d'exposant $p$}

Rappelons qu'une extension $K\bo k$ est dite abélienne d'exposant divisant $p$
si elle est galoisienne de groupe abélien tué par $p$.
La généralisation suivante de \ref{extension AS est de groupe Z sur p}
permet de construire de telles extensions.

\begin{lemme2}
Soient $k$ un corps de caractéristique $p>0$ et $A$ une partie $k$.
Tout corps de décomposition de la famille de polynômes
$X^p-X-a$, $a ∈ A$, est une extension abélienne de $k$ d'exposant
divisant $p$.
\end{lemme2}

On note habituellement $k(\root ℘ \of A)$ un tel corps de décomposition
et $\root ℘ \of A$ l'ensemble de ses éléments $α$ tels que $α^p-α$ appartienne à $A$.

\begin{démo}
Comme on l'a vu en \emph{loc. cit.}, les polynômes $X^p-X-a$ sont
séparables de sorte que l'extension $k(\root ℘ \of A)\bo k$ est galoisienne.
Notons $Π$ son groupe de Galois. Fixons $α ∈ \root ℘ \of A$.
Pour chaque $σ$ dans $Π$, il existe $ζ_{σ,α}$ tel que $σ(α)=ζ_{σ,α} + α$.
La chaîne d'égalités
\[
τ σ (α)=τ(ζ_{σ,α} + α)=ζ_{σ,α} + τ(α)=ζ_{σ,α} +  ζ_{τ,α} + α =ζ_{τ,α} + ζ_{σ,α} + α,
\]
valable pour chaque $α$, montre que $σ$ et $τ$ commutent.
D'autre part les égalités $σ^p(α)=pζ_{σ,α}+α=α$, valables
pour chaque $α$, montrent que $σ^p=1$. CQFD.
\end{démo}

Ici encore, le fait remarquable est que toutes les extensions
abéliennes d'exposant divisant $p$ sont obtenues ainsi.

\begin{théorème2}\label{AS général}
Soit $k$ un corps de caractéristique $p>0$ et soit $Ω$ une clôture algébrique de $k$.
\begin{enumerate}
\item L'application $A ↦ K_A=k(\root ℘ \of A)$ est une bijection
croissante entre l'ensemble des sous-groupes de $k$
contenant $℘(k)$ et l'ensemble des sous-extensions
abéliennes de $Ω$ d'exposant divisant $p$. La bijection
réciproque est donnée par $K ↦ A_K=℘(K) ∩ k$.
\item Soit $A$ un sous-groupe de $k$ contenant $℘(k)$.
Le morphisme
\[
\Gal(k(\root ℘ \of A)\bo k) → \Hom(A/℘(k),𝐙/p)
\]
\[
σ ↦ \big( a \mod{} ℘(k) ↦ σ(\root ℘ \of a) - \root ℘ \of a\big)
\]
est un isomorphisme. En particulier
\[
[k(\root ℘ \of A):k]=(A: ℘(k)).
\]
\end{enumerate}
\end{théorème2}

\subsubsection{Démonstration du théorème \ref{AS général}}
(\emph{Mutatis mutandis}, la démonstration est identique à celle
de \ref{Kummer général}.)
Soit $K$ une sous-extension de $Ω \bo k$, abélienne \emph{finie} d'exposant
divisant $p$. Considérons le morphisme $A_K \bo ℘(k) → \Hom(\Gal(K\bo k),𝐙/p)$
envoyant la classe de $a ∈ A_K$ sur le caractère
d'Artin-Schreier correspondant :
$σ ↦ σ(\root ℘ \of a) - \root ℘ \of a$. Ce morphisme est
injectif car si $σ(\root ℘ \of a)=\root ℘ \of a$ pour tout $σ$, on a
$\root ℘ \of a ∈ k$, c'est-à-dire $a ∈ ℘(k)$. Ce morphisme est également
\emph{surjectif}. En effet, si $χ$ est un caractère du groupe de Galois
à valeurs dans $𝐅_p$, il existe d'après \ref{AS 3} un $α ∈ K$ tel que $χ(σ)=σ(α)-α$.
Sa puissance $℘$-ième appartient nécessairement à
$k$, d'où $α ∈ A_K$. (L'isomorphisme
$A_K \bo  ℘(k) → \Hom(\Gal(K\bo k),𝐙/p)$ est également
démontré en \ref{AS 4}, si l'on se souvient de
l'identification entre $\Hom(\Gal(K\bo k),𝐙/p)$ et $H¹(K\bo k,𝐙/p)$.)
Notons en particulier que les groupes $A_K \bo  ℘(k)$ et $\Gal(K\bo k)$
ont même cardinal ; on utilise ici l'égalité $♯ \Gal(K\bo k) = ♯ D\big(\Gal(K\bo k)\big)$
(\ref{bidualité Zsurn modules finis}).

Soit $K ′=k(\root ℘ \of A_{K})$. On a trivialement $K ′ ⊆ K$ et par conséquent $A_{K ′} ⊆ A_K$.
Cette dernière inclusion est une égalité car $A_{K ′}$ contient visiblement $A_K$.
Les groupes $\Gal(K\bo k)$ et $\Gal(K ′ \bo k)$ ayant même cardinal — celui de
$A_K \bo ℘(k)$ —, on a également $K = K ′$.
Ceci montre que toute sous-extension abélienne finie d'exposant divisant $p$ de
$Ω$ est de la forme $k(\root ℘ \of A)$, où $A$ est comme dans l'énoncé.
Notons $D_p=\Hom(\tiret,𝐙/p)$. L'isomorphisme $A_K \bo ℘(k)  ⥲ D_p(\Gal(K\bo k))$
induit un isomorphisme $D_pD_p(\Gal(K\bo k)) ⥲ D_p(A_K \bo ℘(k) )$.
On vérifie immédiatement que l'isomorphisme composé
$\Gal(K\bo k) ⥲ D_pD_p(\Gal(K\bo k)) ⥲ D_p(A_K \bo ℘(k))$
n'est autre que l'application $σ ↦ (a \mod ℘(k) ↦ σ(\root ℘ \of a) - \root ℘ \of a)$.
Pour achever la démonstration du théorème dans le cas fini,
il faut vérifier que si $A$ est comme en (i) et $K_A:=k(\root ℘ \of A)$,
on a l'égalité entre $A$ et $A_{K_A}:=℘(K_A) ∩ k$.
L'inclusion $A ⊆ A_{K_A}$ est claire. Considérons la suite exacte \[
1 → A/℘(k)  → A_{K_A}/℘(k) → A_{K_A}/A → 1
\]
ainsi que la suite exacte induite par dualité
\[
1 → D_p(A_{K_A}/A) → D_p(A_{K_A}/℘(k)) →  D_p(A/℘(k))
\]
où la seconde flèche est le morphisme de restriction.
Le morphisme composé $\Gal(K_A\bo k) ⥲  D_p(A_{K_A}/℘(k)) → D_p(A/℘(k))$
a pour noyau l'ensemble des automorphismes agissant trivialement sur $\root ℘ \of A$,
c'est-à-dire l'identité de $K_A$. Il en résulte que $D_p(A_{K_A}/℘(k)) →
D_p(A/℘(k))$ est injectif et, finalement, $D_p(A_{K_A}/A)=\{0\}$.
D'après \ref{Zsurn dual nul implique nul} ci-dessus, on a donc
$A=A_{K_A}$. CQFD.

Cas général. Soit $K\bo k$ comme en (i). Le morphisme $\Gal(K\bo k) → D_p(A_K
\bo ℘(k))$ est un isomorphisme : cela résulte d'un passage à la limite
sur les sous-extensions finies de $K$. L'inclusion \emph{a priori} $k(\root ℘
\of A_K ) ⊆ K$ est une égalité ; cela résulte du fait que le corps $k(\root ℘
\of A_K)$ contient, d'après ce qui précède, toutes les sous-$k$-extensions finies de $K$.
Enfin, la démonstration ci-dessus de l'égalité $A = A_{K_A}$ s'étend
au cas général, lemme \ref{Zsurn dual nul implique nul} étant valable
sans hypothèse de finitude.

\subsection{Amplification : extension de groupe $𝐙/p²$}

\subsubsection{}Soit $p$ un nombre premier et soit $K \bo k$ une extension
galoisienne de groupe de Galois $Π$ cyclique d'ordre $p²$. Ce groupe
possède un unique sous-groupe d'ordre $p$. La sous-extension
correspondante de $K\bo k$ est de la forme $k(x)$ où
$x$ est racine d'une équation $x^p-x=a$ où $a$ appartient à $k$.
De même, l'extension $K\bo k(x)$, étant
galoisienne d'ordre $p$, est engendrée par un élément
$y$ satisfaisant une équation $y^p-y=b$ où $b$
est un élément de $k(x)$, que l'on peut donc écrire
sous la forme $b=q(x)$ pour un unique polynôme $q$
à coefficients dans $k$ de degré inférieur ou égal à $p-1$.

Soit $σ$ un générateur de $Π$. Le groupe de Galois
de $k(x)\bo k$ est constitué des restrictions à
$k(x)$ des éléments $\Id,σ,σ², … ,σ^{p-1}$ de $Π$.
La racine conjuguée $σ(x)$ de $x$ est égale à $x+ζ$ où $ζ ∈ 𝐅_p-\{0\}$.
Quitte à remplacer $σ$ par une puissance d'ordre premier à $p$
(un autre générateur de $Π$) on peut supposer que $σ(x)=x+1$.
Appliquant $σ$ à l'équation $y^p-y=q(x)$, on obtient
donc $σ(y)^p-σ(y)=q(x+1)$. D'après \ref{extension AS est de groupe Z sur
p} (iii), il existe un élément $ψ ∈ 𝐅_p-\{0\}$ et un polynôme $s ∈ k[X]$
de degré strictement inférieur à $p$ tels que $σ(y)=ψ ⋅ y + s(x)$.
Il en résulte par récurrence sur $i$ que l'on a l'égalité
\[
σ^i(y)=ψ^i y + ψ^{i-1} s(x) + ψ^{i-2} s(x+1) + \cdots + s(x+i-1).
\]
D'autre part, $σ^p$ fixe $k(x)$ donc appartient au groupe
de Galois de l'extension d'Artin-Schreier $k(y)\bo k(x)$ si bien
qu'il existe un $φ ∈ 𝐅_p-\{0\}$ pour lequel $σ^p(y)=y+φ$.
En comparant cette égalité avec l'égalité
précédente pour $i=p$, on trouve :
\[
ψ^p y + ψ^{p-1} s(x) + \cdots + s(x+p-1)=y+φ.
\]
On en tire $ψ^p=1$, d'où $ψ=1$, et $s(x) + \cdots + s(x+p-1)=φ$.
Prenant la trace de $k(x)$ à $k$ et utilisant les égalités
$\Tr_{k(x)\bo k}(x^i)=0$ pour $0 ≤ i <p-1$ et $\Tr_{k(x)\bo k}(x^{p-1})=-1$
(cf. \ref{trace dans AS} \emph{supra}),
on en déduit que $s(x)=-φ x^{p-1} + (\textrm{termes de plus bas degré})$.
Quitte à remplacer $y$ par $-y/φ$, on peut donc supposer :
\begin{enumerate}
\item $σ(y)=y+x^{p-1}+t(x)$, où $t ∈ k[X]$ est de degré strictement inférieur
à $p-1$ ;
\item $σ^p(y)=y-1$.
\end{enumerate}

Soit $u ∈ k[X]$ un polynôme de degré inférieur ou égal à $p-1$
tel que $u(X+1)-u(X)=t(X)$. (Un tel polynôme existe et est unique
à une constante additive près.) Il résulte de l'égalité $σ(u(x))=u(x+1)$
que l'on peut supposer, en remplaçant $y$ par $y+u(x)$, que l'on a $t=0$, c'est-à-dire :
\[
σ(y)=y+x^{p-1}.
\]
Appliquons $σ$ à l'équation $y^p-y=q(x)$. On en tire :
\[
q(x+1)=(y+x^{p-1})^p-(y+x^{p-1})=q(x)+(x+a)^{p-1}-x^{p-1},
\]
soit : $q(x+1)-q(x)=(x+a)^{p-1}-x^{p-1}$.
On a donc montré que toute extension de $k$ de groupe $𝐙/p²$
est obtenue par extensions successives d'Artin-Schreier d'un type
particulier : $x^p-x=a$ puis $y^p-y=q(x)$ où $q(x+1)-q(x)=(x+a)^{p-1}-x^{p-1}$.

\subsubsection{Réciproque} Soit $k$ un corps de caractéristique $p$ et soit $Ω$
une clôture algébrique de $k$. Considérons :
\begin{enumerate}
\item $a ∈ k-℘(k)$ ;
\item $x ∈ Ω$ une racine du polynôme irréductible $X^p-X-a ∈ k[X]$ ;
\item $q ∈ k[X]$ un polynôme de degré inférieur ou égal à $p-1$
satisfaisant l'équation aux différences
\[
q(x+1)-q(x)=(x+a)^{p-1}-x^{p-1}.
\]
\end{enumerate}

Posons
\[
P(Y)=∏_{ζ ∈ 𝐅_p} \big(Y^p-Y-q(x+ζ)\big) ∈ Ω[X].
\]

\begin{lemme2}
Le polynôme $P$ est séparable, appartient à $k[X]$ et y est irréductible.
\end{lemme2}

\begin{démo}
L'appartenance de $P$ à $k[X]$ est claire : ses coefficients sont visiblement
dans $k(x)$ et $P$ est invariant par $\Gal(k(x)\bo k)=⟨ σ:x ↦ x+1 ⟩$.
Soit $y$ une racine de $P$ et soit $b=y^p-y$. Les polynômes
$Y^p-Y-b$ étant séparables (pour chaque $b$), il suffit
de vérifier que les coefficients constants $q(x+ζ)$
des facteurs de $P$ sont deux-à-deux distincts.
Or, l'ensemble des $q(x+ζ)$ est l'orbite sous $\Gal(k(x)\bo k)$
de l'élément $q(x)$. Cet élément n'appartient pas à $k$ car $q$ n'est pas
constant ($a≠0$). Démontrons enfin l'irréductibilité de $P$ sur $k$.
Soit $y$ une racine de $Y^p-Y-q(x)$. Par construction $q(x)$ appartient
à $k(y)$. Or, puisque $q(x)$ n'est pas dans $k$, $k(q(x))=k(x)$
pour des raisons de degré. Il en résulte que $k(x)$ est contenu dans $k(y)$.
Montrons que cette inclusion est \emph{stricte}. Supposons
$y=r(x)$ où $r$ est un polynôme de $k[X]$ de degré inférieur
ou égal à $p-1$. Il résulte de l'égalité $x^p=x+a$
que $y^p=r^{(p)}(x+a)$ où $r^{(p)}$ est le polynôme obtenu à partir
de $r$ par élévation des coefficients à la puissance $p$.
Considérons le coefficient de $x^{p-1}$ des termes extrêmes
de la double égalité $q(x)=y^p-y=r^{(p)}(x+a)-r(x)$.
On obtient $a$ à gauche (cela résulte de l'équation aux différences
satisfaite par $q$) et $c^p-c$ à droite, où $c$ est le coefficient
de $x^{p-1}$ dans $r(x)$. C'est absurde car $a$ n'appartient par hypothèse
pas à $℘(k)$. Ainsi, l'inclusion $k(x) ⊆ k(y)$ est stricte et $y$ est donc de
degré $p²$ sur $k$. CQFD.
\end{démo}

\begin{lemme2}
Soit $y ∈ Ω$ une racine du polynôme $P$ dans $Ω$.
L'extension $k(y)\bo k$ est galoisienne de groupe cyclique d'ordre $p²$.
\end{lemme2}

\begin{démo}
Commençons par observer que si pour chaque $ζ ∈ 𝐅_p$,
on note $y_ζ$ une racine de $Y^p-Y-q(x+ζ)$ dans $Ω$,
l'ensemble des racines de $P$ est le sous-ensemble
$\{y_ζ + ψ : (ζ,ψ) ∈ (𝐅_p)²\}$ de $Ω$. On veut montrer
qu'il est contenu dans $k(y₀)$. (On peut supposer $y=y₀$.)
Or, il résulte de l'identité $(x+ζ)^{p(p-1)}=(x+a+ζ)^{p-1}$ et
de l'équation aux différences satisfaite par $q$ que si $y_ζ$ est une racine
comme ci-dessus, $y_ζ + (x+ζ)^{p-1}$ est une racine de $Y^p-Y-q(x+ζ+1)$.
Il est donc clair que l'ensemble des racines de $P$ est contenu dans $k(y₀)$.

Comme on vient de le voir, $y+x^{p-1}$ est une racine de $P$.
Notons $σ$ l'unique $k$-automorphisme de $K=k(y)$ envoyant $y$ sur $y+x^{p-1}$.
Le groupe de Galois $Π$ de $K$ sur $k$ étant d'ordre $p²$, il nous suffit
de montrer que $σ^p$ est non trivial pour s'assurer que $Π$ est cyclique.
Calculons : $σ(y)^p=(y+x^{p-1})^p=y^p+(x^p)^{p-1}=y^p+(x+a)^{p-1}$.
Il en résulte que $σ(q(x))=σ(y^p-y)$ est égal à $q(x)+(x+a)^{p-1}-x^{p-1}=q(x+1)$.
Comme $k(q(x))=k(x)$, on en déduit que $σ(x)=x+1$.
Ceci nous permet de vérifier par récurrence les égalités :
\[
σ^i(y)=y+x^{p-1}+(x+1)^{p-1}+\cdots+(x+i-1)^{p-1}.
\]
En particulier, $σ^p(y)=y+\Tr_{k(x)\bo k}(x^{p-1})=y-1≠y$.
CQFD.
\end{démo}

En résumé, nous avons démontré le théorème suivant.

\begin{théorème2}[\cite{Kennzeichnung@AS}, théorème 3]\label{AS Z sur p carré}
Soient $k$ un corps de caractéristique $p>0$, $a ∈ k- ℘(k)$,
$Ω$ une clôture algébrique de $k$ et $x$ une racine du polynôme
$X^p-X-a$ dans $Ω$. Pour tout polynôme $q_{AS} ∈ k[X]$
tel que $q_{AS}(X+1)-q_{AS}(X)=(X+a)^{p-1}-X^{p-1}$, et toute
racine $y_{AS}$ du polynôme $Y^p-Y-q_{AS}(x)$, la sous-extension
$k(y_{AS})$ de $Ω$ contient $k(x)$ et est galoisienne de groupe
cyclique d'ordre $p²$ sur $k$. Réciproquement toute telle extension est obtenue
de cette manière. De plus, $σ(x)=x+1$ et $σ(y_{AS})=y_{AS}+x^{p-1}$. \XXX
\end{théorème2}

Ces résultats ont été généralisés dans \cite{Cyclic@Albert}
au cas des extensions de groupe $𝐙/p^n$ avec $n ≥ 1$ quelconque.
Peu après (1937), la construction A. Adrian Albert fut grandement simplifiée
par Ernst Witt, qui introduisit les vecteurs portant désormais son
nom et faisant l'objet de la section suivante.

\begin{corollaire2}
Toute extension galoisienne de groupe $𝐙/p$ d'un corps de caractéristique $p>0$
est contenue dans extension de groupe $𝐙/p²$.
\end{corollaire2}

\begin{remarque2}
Ce fait — remarquable — est un cas particulier de la nullité
des $H^i(G_k,𝐙/p)$ pour $i>1$ cf. \refext{versel}{démo cohomologique extensions
quaternioniques}, particulièrement \refext{versel}{obstruction cohomologique
relèvement} et \refext{versel}{lemme relèvement et cohomologie}). \XXX
\end{remarque2}

\begin{corollaire2}
Le groupe de Galois absolu d'un corps de caractéristique positive
est sans torsion. En particulier, il est infini dès lors qu'il est non trivial.
\end{corollaire2}

\begin{démo}
\XXX
\end{démo}



\section{¶ Vecteurs de Witt et théorie d'Artin-Schreier-Witt}\label{vecteurs Witt et ASW}

Nous avons donné en \refext{Versel}{KAS I} une démonstration
du théorème d'Artin-Schreier s'appuyant d'une part
sur le théorème de la base normale et, d'autre part, sur la structure
des unités des anneaux $A[X]/X^p$, où $A$ est une $𝐅_p$-algèbre
variable. Cet argument étant de nature générale, on se convainc aisément
du fait — dont on trouvera tous les détails ci-dessous —
que l'étude de la structure des groupes $U_{p^r}(A)=(A[X]/{X^{p^r}})^×$
est la clef de voute d'une méthode menant à la description
des extensions galoisiennes de groupe $𝐙/p^r$ ($r ≥ 1$ quelconque)
d'un corps de caractéristique $p>0$.

Oubliant momentanément notre motivation initiale, nous allons commencer par
introduire les (gros) vecteurs de Witt sans référence à un nombre premier $p$.
Nous reviendrons ensuite progressivement au thème central de ce chapitre.
Au prix d'une certaine longueur, nous avons essayé de rendre la présentation aussi naturelle que possible
et d'éviter le recourt à des définitions ou constructions \emph{ad hoc}.

\subsection{(Gros) vecteurs de Witt : définitions et premières propriétés}\label{gros Witt}
\subsubsection{Notations}
Pour chaque entier $n ≥ 0$ et chaque anneau $A$, notons $A_n$
le quotient $A[X]/X^{n+1}$ de l'anneau de polynômes $A[X]$.
On s'intéresse à la structure des unités de $A_n$, pour $A$ variable,
c'est-à-dire à la structure du \emph{foncteur en groupes abéliens} $U_n$, envoyant
un anneau $A$ sur le groupe multiplicatif $A_n^×$ des unités de $A_n$
et un morphisme d'anneaux $A → B$ sur le morphisme induit $A_n^× → B_n^×$.
Un premier « dévissage » est aisé : le foncteur $U_n$
est isomorphe au foncteur $W_n × \Gm$, où $W_n$ (resp. $\Gm$) envoie un anneau $A$ sur le groupe abélien
$\Ker(A_n^× → A^×)=1+X A_n$ (resp. $A^×$). En effet, pour chaque anneau $A$,
on dispose d'un isomorphisme canonique
\[A_n^× → (1+XA_n) × A^×\]
\[f ↦ (f/f(0),f(0)).\]
\begin{remarque2}
Plus généralement, si $F$ est un \emph{foncteur} des anneaux
vers les groupes commutatifs, on pourrait considérer les « courbes de longueurs
$n$ sur $F$ » définies par la formule $C_nF(A)=\Ker(F(A_n)→ F(A))$. Le cas
considéré ici est celui du foncteur « groupe multiplicatif » $\Gm$.
Pour $n=1$, on obtient l'« espace tangent » à $F$ en l'identité,
qui est une généralisation de la construction de l'algèbre de Lie
d'un groupe algébrique.
\end{remarque2}
Il est également commode de « passer à la limite sur $n$ » c'est-à-dire de considérer les anneaux de \emph{séries
formelles}\index{séries formelles} \[A_∞=A[[X]]=\{a₀+a₁X+a₂X²+\cdots \}\]
et le foncteur
\[
W_∞:A ↦ 1+X A[[X]]=\Ker(A_∞^× → A^×)
\]
correspondant.

\subsubsection{Digression sur les séries formelles}

Topologie, convergence de sommes et de produits infinis.

\XXX 

\begin{définition2}
On appelle \emph{foncteur des vecteurs de Witt} (resp. des \emph{vecteurs
de Witt tronqués à l'ordre $n$}) le foncteur $W_∞$ (resp. $W_n$).
\end{définition2}

Soit $n ∈ 𝐍 ∪ \{∞\}$. Les groupes $W_n(A)$ étant abéliens, et également
amenés à être munis (cf. \emph{infra}) d'une structure d'anneau, nous noterons
$⊕$ leur loi de groupe. Ainsi, nous appellerons par exemple
« multiplication par un entier $r$ » le morphisme $[r]:(W_n(A),⊕) → (W_n(A),⊕)$, $f ↦ f^r$
(pour $A$ variable).

\subsubsection{}Considérons la filtration descendante $(\mathrm{Fil}^iW_n)_{0 < i ≤ n+1}$ ($i
∈ 𝐍$) de $W_n$ définie par les sous-groupes $\mathrm{Fil}^iW_n(A)=1+X^i A_n$.
On a $\mathrm{Fil}^1W_n=W_n$ et $⋂_i \mathrm{Fil}^iW_n=\{1\}$.
Pour chaque $i>0$, les applications évidentes $\mathrm{Fil}^iW_n(A) → A$, $1+a X^i+\cdots
↦ a$ induisent un isomorphisme $\mathrm{Fil}^iW_n/\mathrm{Fil}^{i+1}W_n
→ \Ga$, où l'on rappelle que l'on note $\Ga$ le foncteur
envoyant un anneau $A$ sur le groupe additif $(A,+)$.
Le foncteur en groupes commutatifs $W_n$ est donc extension successive
du groupe additif $\Ga$. On dit que $W_n$ est (un foncteur en groupes) « unipotent ».
Bien entendu, les extensions ne sont \emph{a priori} pas
nécessairement triviales de sorte qu'il se pourrait
que $W_n$ ne soit pas isomorphe, comme foncteur en groupes, à $\Ga^n$.
Notons cependant qu'il en est ensemblistement ainsi :
l'application envoyant $1+a₁X+a₂X²+\cdots ∈ W_n(A)$ sur $(a₁,a₂,
\cdots) ∈ A^n$ est bijective pour chaque $A$.
La remarque suivante fournit, à $A$ fixé, quantité
d'autres bijections entre $W_n$ vu comme foncteur en \emph{ensembles}
et le foncteurs en ensembles $𝐀^n:A ↦ A^n$. En caractéristique nulle, il en existe
qui sont des \emph{isomorphismes} de groupes (cf. \ref{Wn en caractéristique
nulle}).

\begin{remarque2}\label{groupe unipotent est ensemblistement trivial}
Soit $W$ un groupe abstrait et $(\mathrm{Fil}^iW)_{0 ≤ i < r}$ une filtration décroissante finie
sur $W$ telle que $F⁰W=W$ et $\mathrm{Fil}^rW=\{1\}$, à gradués
$\mathrm{gr}^{\mathrm{Fil}}_i(W)=\mathrm{Fil}^iW/\mathrm{Fil}^{i+1}W$ isomorphes à un
même groupe $G$. Chaque choix de sections \emph{ensemblistes} $s_i$ aux morphismes
$\mathrm{Fil}^i(W) ↠ \mathrm{gr}^{\mathrm{Fil}}_i(W)⥲ G$ induit une bijection $G^r ⥲ W$,
$(g₀, …,g_{r-1}) ↦ s₀(g₀)\cdots s_{r-1}(g_{r-1})$.
\end{remarque2}

\begin{proposition2}\label{Wn en caractéristique nulle}
La restriction $W_{n|𝐐}$ du foncteur en groupes $W_n$ aux $𝐐$-algèbres est isomorphe
au foncteur $\Ga^n$. En particulier, il existe pour chaque $𝐐$-algèbre $A$ un
isomorphisme de groupes $(W_n(A), ⊕) ⥲ (A^n,+)$.
\end{proposition2}

(Pour une généralisation, cf. \ref{structure Wn sur Z(p)}.)
C'est là un fait général\footnote{« Tout groupe algébrique
unipotent sur un corps de caractéristique nulle est isomorphe
à une puissance du groupe additif ».} dont nous allons donner
ici une démonstration \emph{ad hoc}, reposant sur un lemme
qui sera utile pour notre étude. (Rappelons
que l'on s'intéresse particulièrement aux $W_n(A)$ lorsque
$A$ est une \emph{$𝐅_p$-algèbre}.)

\begin{lemme2}\label{bijections entre Wn et An}
Soit $n ∈ 𝐍 ∪ \{∞\}$.
\begin{enumerate}
\item Tout élément $f=1+∑_{i=1}^{n} a_i x^i$ de $W_n(A)$ s'écrit
de manière unique sous la forme $∏_{i=1}^{n}(1-α_i x^i)$
où chaque $α_i$ est un élément de $A$ obtenu
en évaluant en $(a₁, …,a_i)$ des polynômes à coefficients entiers
indépendants de l'anneau $A$.
\item Soient $k$ un anneau, $u ∈ k^×$ et $E=1+uX+\cdots ∈ k[[X]]$ une série
formelle. Pour toute $k$-algèbre $A$, chaque élément $f=1+∑_{i=1}^{n} a_i x^i$ de $W_n(A)$
s'écrit de manière unique sous la forme $∏_{i=1}^{n}E(α_i x^i)$
où chaque $α_i$ est un élément de $A$ obtenu en évaluant en $(a₁, …,a_i)$ des polynômes à coefficients
dans $k$ indépendants de la $k$-algèbre $A$.
\end{enumerate}
\end{lemme2}

Remarquons que les applications $α ↦ E(\frac{α}{u} x^i)$ sont des sections
(fonctorielles, ensemblistes) du morphisme $\mathrm{Fil}^iW_n/\mathrm{Fil}^{i+1}W_n → \Ga$.
L'énoncé (ii), dont (i) est le cas particulier $k=𝐙$ et $E(X)=1-X$, est
donc une variante de la remarque \ref{groupe unipotent est
ensemblistement trivial}.

\begin{démo}
(i) Supposons $n$ fini.
L'égalité $1+a₁x+a₂x²+ \cdots + a_n x^n=(1-α₁x)(1-α₂x²)\cdots(1+α_n x^n)$
se réécrit sous la forme
\[
a_r=∑_{1 ≤i₁<i₂< \cdots < i_s ≤ r \atop i₁+2 i₂ + \cdots s i_s=r} (-1)^s α_{i₁}
\cdots α_{i_s}.
\]
L'unique solution est donnée par les formules (récursives) :
\[
α_r=a_r - ∑_{1 ≤i₁<i₂< \cdots < i_s<r \atop i₁+2 i₂ + \cdots s i_s=r} (-1)^s α_{i₁}
\cdots α_{i_s}.
\]
Le cas $n=∞$ se démontre de même. (ii)
Supposons $n$ fini.
On suffit de montrer par récurrence sur $r ≤ n$ que
tout élément $f ∈ W_n(A)$ s'écrit $E(α₁X) \cdots E(α_r X^r) g_r$
où $g_r ∈ \mathrm{Fil}^{r+1}W_n(A)$, et les $α_i$ sont comme dans l'énoncé.
Cela résulte du fait que pour chaque $α ∈ A$, le quotient
d'une série $g=1+αX^{r+1}+ β X^{r+2}+\cdots $ par $E(\frac{α}{u} X^{r+1})$ appartient
à $ \mathrm{Fil}^{r+2}W_n(A)$ et que son coefficient en $X^{r+2}$
est un polynôme en $α$ et $β$ à coefficients dans $k$. (Ce polynôme
ne dépend que de $r$ et des coefficients de $E$.) Le cas $n=∞$ se démontre de même.
\end{démo}

\begin{démo}[Démonstration de la proposition \ref{Wn en
caractéristique nulle}]
On applique le lemme à $k=𝐐$ et $E(X)=\exp(X)$
en observant que $\exp(α_i X^i) ⊕ \exp(β_i X^i)=\exp((α_i+β_i) X^i)$.
\end{démo}

Si l'on ne restreint plus $W_n$ aux $𝐐$-algèbres
la structure du groupe $W_n$ est plus compliquée. Nous allons maintenant l'étudier
pour une classe d'anneaux contenant les $𝐅_p$-algèbres.

\begin{exercice2}
Montrer qu'en caractéristique $p>0$, il n'existe
pas de série $E(X)=1+uX+\cdots$ telle que $E(aX)E(bX)=E((a+b)X)$.
\end{exercice2}

\subsection{Verschiebung, Frobenius, séries $p$-typiques et
exponentielle de Artin-Hasse}
\subsubsection{}Considérons maintenant le foncteur $W_∞$, qui est la limite des
tronqués $W_n$. On souhaite en comprendre la structure, en tant que foncteur
en groupes abéliens ; il est donc naturel de considérer le groupe (non commutatif)
de ses endomorphismes. Si l'on parvient par exemple à construire
un idempotent non trivial $e$ de $\End(W_∞)$, on en déduira
une décomposition non triviale $W_∞=\Ker(e)×\Im(e)$. (Réciproquement,
toute décomposition non triviale de $W_n$ est obtenue ainsi.)
À cette fin, considérons, pour chaque entier $r ≥ 1$ et chaque anneau $A$,
le morphisme d'anneaux $φ_{r,A}:A[[X]] → A[[X]]$ défini par $X ↦ X^r$. Ce morphisme fait que $A[[X]]$
un module libre de rang $r$ sur lui-même. (Il n'en est pas ainsi
des morphismes semblables de $A_n$ dans $A_n$ lorsque $n≠∞$.)
On en déduit des endomorphismes $V_r:W_∞ → W_∞$
(V pour « Verschiebung »\footnote{Mot allemand signifiant « décalage ».}), envoyant $f =1+a₁X+a₂X²+\cdots ∈ W_∞(A)$ sur $φ_{r,A}(f)=f(X^r)$ et $F_r:W_∞ → W_∞$
(F pour « Frobenius », cf. \emph{infra}),
envoyant $f$ sur $\N(f(X))$, où $\N:A[[X]]^× → A[[X]]^×$ désigne la norme
déduite de $φ_{r,A}$ (cf. \refext{Alg}{trace-et-norme}).
Le fait que le terme constant de $\N(f(X))$ soit un, c'est-à-dire
que $\N(f(X))$ — \emph{a priori} dans $A[[X]]^×$ — soit dans
$1+XA[[X]]=W_∞(A)$ résulte de l'égalité $\N(f(X))(0)=\N(f(0))$
où le terme de droite est la norme de $A[[X]]/(X^r)$ à $A$
de l'élément $f(0)=1$ de $A[[X]]/(X^r)$ (cf. \refext{Alg}{cb-trace}).

La proposition ci-dessus établit des relations entre ces endomorphismes ;
elle nous permettra de construire un idempotent non trivial de $\End(W_∞)$.

\begin{proposition2}\label{relations V et F}
Soient $r$ et $s$ des entiers non nuls. Les identités suivantes sont valables dans $W_∞$ :
\begin{enumerate}
\item $F_r V_r=[r]$ ;
\item $F_s F_t =F_{st}$ ;
\item $V_s V_t =V_{st}$ ;
\item $F_r V_s=V_s F_r$ si $r$ et $s$ sont premiers entre eux.
\item $V_r F_r (\mathrm{Fil}^s) ⊆ \mathrm{Fil}^s$.
\end{enumerate}
\end{proposition2}

\begin{démo}
(i) C'est un cas particulier de la dernière formule de \refext{Alg}{trivialités sur trace et norme}.
(ii) C'est une cas particulier de la transitivité de la norme (\refext{Alg}{composition-trace-norme}).
(iii) Résulte de la formule $(X^s)^t=X^{st}$.
(iv) Résulte des deux formules :
\[
V_s (1-α X^n)= 1-α  X^{ns}
\]
et
\[
F_r (1-α  X^n) = (1- α ^{r/(r,n)} X^{n/(r,n)})^{(r,n)}
\]
où $(r,n)$ désigne le pgcd de $r$ et $n$.
La première formule est évidente. La seconde se ramène, d'après (ii) et (i), au cas particulier où
$r$ et $n$ sont premiers entre eux : on veut montrer l'égalité
\[
N_{A[[X]]\bo A[[X^r]]}(1-α X^r)=(1-α^r X^{rn}),
\]
où $A[[X^r]] → A[[X]]$ est l'inclusion.
Pour chaque entier $0 ≤ i ≤ r$ notons $n_i$ le reste de la division euclidienne
de $in$ par $r$ et $e_i=X^{n_i}$. Les entiers $n$ et $r$ étant premiers
entre eux, la famille $e₀, …,e_{r-1}$ est une base de $A[[X]]$ sur $A[[X^r]]$.
D'autre part, la multiplication par $1- α X^n$ envoie $e_i$ sur $e_i - α x^{β_i}
e_{i+1}$ où $β_i=n+(n_i - n_{i+1})$. On vérifie sans peine que le déterminant
d'une telle application $A[[X^r]]$-linéaire est $1+(-1)^{r-1}∏_{i=0}^{r-1}
(-αX^{β_i})=1-α^r X^{rn}$. CQFD.
(v). Résulte du lemme \ref{bijections entre Wn et An} et des formules
ci-dessus. [À un passage à la limite près.] \XXX
\end{démo}

\begin{corollaire2}\label{Frobenius sur Witt en caractéristique p}
Soient $p$ un nombre premier et $f=1+∑_{i>0} a_i X^i ∈ W_∞(A)$ où
$A$ est une $𝐅_p$-algèbre. Alors,
\[
F_p(f)=1+∑_{i>0} a_i^p X^i :
\]
le morphisme de Frobenius d'indice $p$ agit par élévation
à la puissance $p$ des coefficients.
\end{corollaire2}

\begin{démo}
Il résulte de \ref{bijections entre Wn et An} qu'il suffit de démontrer que
pour chaque entier $n ≥ 1$, on a $F_p(1-α X^n)=1-α^p X^n$. Or,
d'après la formule $F_r (1-α  X^n) = (1- α ^{r/(r,n)} X^{n/(r,n)})^{(r,n)}$
démontrée ci-dessus, on a $F_p(1-α X^n)=(1-α^p X^n)$ si $p$ ne divise pas $n$
et $F_p(1-α X^n)=(1-α X^{n/p})^p$ si $p$ divise $n$. On observe
alors qu'en caractéristique $p>0$, on a $(1-α X^{n/p})^p=1-α^p X^n$.
\end{démo}

\subsubsection{}Soit $n ∈ A^×$. Le groupe $W_∞(A)$ n'a pas de $n$-torsion car
l'égalité $(1+f)^n=1$ se réécrit $nf+{n \choose 2}f²+\cdots=0$ d'où $f=0$
(regarder le terme de plus bas degré de $f$.
D'autre part, le groupe $W(A)$ est $n$-divisible : tout élément
$1+f$ de $W_∞(A)$ s'écrit — de manière unique d'après ce qui précède —
sous la forme $(1+g)^n$. Il suffit en effet de poser
$g=∑_{i>0} {1/n \choose i } f^i$. Ainsi, la structure de groupe abélien,
c'est-à-dire de $𝐙$-module sur $W_∞(A)$ s'étend (de façon unique) en
une structure de $𝐙[1/n]$-module. Soit $p$ un nombre premier ou bien égal
à un. Notons $𝐙_{(p)}$ le sous-anneau $𝐙[1/n:(n,p)=1]$ de $𝐐$. (Par exemple,
$𝐙_{(1)}=𝐐$). Un anneau commutatif dans lequel chaque entier premier à $p$
est inversible est naturellement une $𝐙_{(p)}$-algèbre, et réciproquement.

Il résulte immédiatement de la formule \ref{relations V et F} (i)
que pour chaque nombre $ℓ$ inversible
sur les algèbres considérées, l'opérateur $ε_ℓ=[ℓ]^{-1}V_ℓ F_ℓ $ est un
endomorphisme idempotent et des formules (ii--iv) que $ε_ℓ ε_{ℓ ′}=ε_{ℓ ℓ ′}=ε_{ℓ ′}ε_ℓ $ lorsque
$ℓ$ et $ℓ ′$ sont premiers entre eux. Soit $p$ un nombre
premier ou bien égal à un et soit $L$ un ensemble fini de nombres premiers $ℓ$ différents
de $p$. Le produit fini $e_L=∏_{ℓ ∈ L} (1-ε_ℓ)$ des
idempotents $1-ε_ℓ$ est un idempotent de $\End(W_{∞|𝐙_{(p)}})$.
Développant le produit, on trouve :
\[
e_L=∑_{\mathrm{supp}(r) ⊆ L} μ(r) ε_r,
\]
où le support $\mathrm{supp}(r)$ d'un entier $r$ est l'ensemble
des nombres premiers le divisant et où $μ$ est la fonction de Möbius
(cf. \refext{CF}{definition-fonction-de-Moebius}).
Faisant tendre l'ensemble fini $L$ vers l'ensemble infini $𝒫-\{p\}$
des nombres premiers différents de $p$, on est naturellement conduit
à considérer l'idempotent $e_p$ de la proposition suivante.

\begin{proposition2}\label{construction idempotents de EndWinfini}
Soit $p$ un nombre premier ou bien égal à un. Considérons le foncteur
$W_{∞|𝐙_{(p)}}$, restriction de $W_∞$ aux $𝐙_{(p)}$-algèbres.
\begin{enumerate}
\item La somme
\[e_p=∑_{(r,p)=1} \frac{μ(r)}{r} V_r F_r,\] où $μ$ est la fonction
de Möbius, est bien définie et est un projecteur de $W_{∞|𝐙_{(p)}}$, d'image $W_∞^{(p)}$
égale à $\displaystyle ⋂_{(r,p)=1 \atop r>1} \Ker F_r$ et de noyau
le sous-groupe $\displaystyle \widehat{∑}_{(r,p)=1 \atop r>1} \Im V_r$ des
sommes éventuellement infinies d'éléments dans les images des $V_r$ ($(r,p)=1$,
$r>1$).
\item Pour $n$ parcourant l'ensemble des entiers premiers à $p$,
les endomorphismes $e_{p,n}=\frac{1}{n}V_n e_p F_n$ constituent
une famille totale de projecteurs orthogonaux de $W_∞$.
\item Les opérateurs $V_p$ et $F_p$ commutent à $e_p$ et induisent
des opérateurs sur $W_∞^{(p)}$.
\end{enumerate}
\end{proposition2}

\subsubsection{}\label{p-typiques}Les éléments de $W_{∞|𝐙_{(p)}}$ dans $⋂_{(r,p)=1}\Ker
F_r=W_∞^{(p)}$ sont dit « $p$-typiques »\index{$p$-typique}.
Il résulte de la proposition précédente que l'étude de la structure du groupe $A[[X]]^×$, où $A$
est une $𝐙_{(p)}$-algèbre, se ramène à l'étude du groupe
$W_∞^{(p)}(A)$ des éléments $p$-typiques.

La démonstration qui suit est une conséquence formelle des résultats de la
proposition \ref{relations V et F} et de l'identité $∑_{d|n} μ(d)=0$ si $n>1$.

\begin{démo}[Démonstration de \ref{construction idempotents de EndWinfini}]
(i) Le fait que la somme $e_p$ soit bien définie résulte de
l'inclusion \ref{relations V et F} (v).
Soit $s>1$ un entier premier à $p$. Calculons $F_s e_p$.
Par définition et découpage de l'ensemble de sommation, on a :
\[F_s e_p = ∑_{(r,p)=1} \frac{μ(r)}{r} F_s V_r F_r=
∑_{(d,p)=1} ∑_{(r,s)=d \atop (r,p)=1}  \frac{μ(r)}{r} F_{s/d} F_d V_d V_{r/d}
F_r.\]
En appliquant la formule $F_d V_d=[d]$, on obtient :
\[ F_s e_p= ∑_{(d,p)=1} ∑_{(r,s)=d \atop (r,p)=1}  \frac{μ(r)}{r/d} F_{s/d} V_{r/d} F_r.\]
Utilisant la relation de commutation $F_{s/d} V_{r/d}=V_{r/d} F_{s/d}$ (car $r/d$ et $s/d$ sont
premiers entre eux) et l'identité $F_{s/d} F_r=F_{sr/d}$, on trouve :
\[ F_s e_p= ∑_{(d,p)=1} ∑_{(r,s)=d \atop (r,p)=1}  \frac{μ(r)}{r/d} V_{r/d} F_{sr/d}.\]
Enfin, une réécriture de la somme, où l'on pose $t=r/d$, donne
\[ F_s e_p = ∑_{(t,s)=1 \atop (t,p)=1} \frac{1}{t} V_s F_{st} \big(\underbrace{∑_{u|s}
μ(tu)}_{=0}\big)=0.\]
L'endomorphisme $e_p$ s'écrivant $1+e_p ′$ où $e_p ′$ est une somme
de multiples à gauche de $F_s$ ($s>1$, premier à $p$), on en déduit immédiatement l'égalité
$e_p²=e_p$ et l'égalité $W_∞^{(p)}=⋂_{(r,p)=1}\Ker F_r$.
On vérifie comme ci-dessus que, dualement, on a $e_p V_{s}=0$
pour chaque $s>1$. Il en résulte que $\widehat{∑}_{(r,p)=1 \atop r>1} \Im V_r$ est contenu
dans le noyau de $e_p$. Réciproquement, le fait que $e ′_p$ soit
une somme de multiples à droite de $V_s$ ($s>1$, premier à $p$),
montre que tout élément du noyau est une somme (éventuellement infinie)
d'élément dans les images des endomorphismes $V_r$.
(ii) Les égalités $e_{p,n}²=e_{p,n}$ résultent de $\frac{1}{n²}F_n
V_n=\frac{1}{n}$. Soient $n,m$ deux entiers premiers à $p$ et calculons
$e_{p,n}e_{p,m}$. Notons $d$ le pgcd de $n$ et $m$ et $n ′ =n/d$ (resp.
$m ′ =m/d$. On a alors $e_{p,n}e_{p,m}=V_n e_p V_{m ′} F_{n ′} e_p F_m$.
Or, on a vu que si $n ′>1$, $F_{n ′} e_p$. De même $e_p V_{m ′}=0$ si $m ′ >1$.
Ainsi, $e_{p,n}e_{p,m}=0$ à moins que $n=m$.
Pour conclure, il nous faut vérifier que $∑_{(n,p)=1} e_{p,n}=\Id$.
Or,
\[ ∑_{(n,p)=1} e_{p,n}=∑_{(n,p)=1 \atop (r,p)=1} \frac{μ(r)}{rn} V_n V_r F_r F_n,\]
que l'on peut réécrire, compte-tenu des égalités $V_n V_r=V_{nr}$ et $F_r
F_n=F_{rn}$, sous la forme :
\[
∑_{(n,p)=1} e_{p,n}=∑_m \frac{1}{m} V_m F_m \big( ∑_{d|m} μ(d)\big)=\frac{1}{1}V₁ F₁=\Id.
\]
(iii) Résulte de \ref{relations V et F} (iv).
\end{démo}

\begin{définition2}
La série formelle $e_p\big((1-X)^{-1}\big)= ∏_{(r,p)=1} (1-X^r)^{-μ(r)/r}$
est appelée $p$-\emph{exponentielle de Artin-Hasse}\index{exponentielle de
Artin-Hasse}, ou simplement \emph{exponentielle de Artin-Hasse}. On la note $E_p$.
\end{définition2}

Cette fonction (ou plutôt son inverse) fut introduite
par les mathématiciens allemands Emil Artin et Helmut Hasse, en 1928
dans leur article « Die beiden Ergänzungssätze zum Reziprozitätsgesetz der
$ℓ^n$-ten Potenzreste im Körper der $ℓ^n$-ten Einheitswurzeln »\footnote{…\XXX}.
Il résulte de la formule d'inversion de Möbius,
$∑_d μ(d)=1$ (resp. $∑_d μ(d)=0$) lorsque $n$ est une puissance de $p$
(resp. lorsque $n$ n'est pas une puissance de $p$), où $d$ parcourt les diviseurs de
$n$ premiers à $p$, que l'on a
\[
E_p(X)=\exp(∑_{n ∈ p^𝐍} \frac{X^n}{n}) ∈ 𝐙_{(p)}[[X]].
\]

En particulier, $E_1(X)=\exp(X)$, ce qui justifie la terminologie.
(Pour $p>1$, la formule ci-dessus se réécrit :
$E_p(X)=\exp(X+X^p/p+X^{p²}/p²+\cdots\big)$.

On dispose de l'analogue suivant du lemme \ref{bijections entre Wn et An}
pour les images des idempotents $e_{p,n}$, qui s'applique
en particulier à $W_∞^{(p)}$.

\begin{proposition2}
Soient $p$ un nombre premier ou bien égal à un et $n$ un nombre entier premier à $p$.
Pour toute $𝐙_{(p)}$-algèbre $A$,
l'application
\[A^{p^𝐍} → W_∞(A)\]
\[(α_r)_{r ∈ p^𝐍} ↦ ∏_{r ∈ p^𝐍} E_p(α_r X^{n ⋅ r})\]
induit une injection d'image le sous-groupe $e_{p,n}(W_∞)$.
\end{proposition2}

Utilisant \ref{construction idempotents de EndWinfini} (ii),
on retrouve le fait (\ref{bijections entre Wn et An} (ii))
que tout élément de $W_∞(A)$ — où $A$ est une $𝐙_{(p)}$-algèbre — s'écrit de manière unique
sous la forme $∏_{n ≥ 1} E_p(α_n X^n)$. Le fait nouveau,
remarquable pour $p>1$, lié au choix de $E_p$ (exponentielle
de Artin-Hasse), est que les séries formelles de la forme $∏_{r ∈ p^𝐍}
E_p(α_r X^{n ⋅ r})$ ($n$ fixé) sont stables par produit (la somme $⊕$ dans $W_∞$).
(Si $p=1$ c'est clair : $E_1(αX^n) E_1(β X^n)=E_1\big((α+β)X^n\big)$.)
\begin{démo}
L'injectivité est un cas particulier de \ref{bijections entre Wn et An} (ii).

Cas $n=1$. Soient $α ∈ A$ et $m ≥ 1$. Calculons $e_p(f)$ où $f=1- α X^m$. Si $m$
n'appartient pas à $p^𝐍$, $f ∈ \Im V_{m ′}$ pour un diviseur $m ′>1$ de $m$
premier à $p$. En conséquence $e_p(f) ∈ \Im (e_p V_{m ′})=\{0\}$ (notations
additives) d'après la démonstration de la proposition précédente. Dans le cas
contraire, $m=p^r$ et $f=V_p^r(1- αX)$ de sorte que $e_p(f)=V_p^r e_p(1-αX)=V_p^r
E_p(αX)=E_p(αX^{p^r})$. Ceci suffit pour conclure.

Cas $n ≥ 1$. L'image de $e_{p,n}$ est contenu dans $\Im V_n$. Il suffit
donc de calculer $e_{p,n}(1-α X^{nm})$ pour $m ≥ 1$. On a
$\frac{1}{n}F_n(1-α X^{nm})=(1-α X^m)$ (cf. \ref{relations V et F}, démonstration
de (iii)) de sorte que $e_{p,n}((1-α X^{nm})=V_n e_p(1-α X^m)$.
On s'est ramené au calcul précédent.
\end{démo}

Il résulte de la proposition que le foncteur $e_{p,1}(W_{∞|𝐙_{(p)}})=W_∞^{(p)}$
des éléments $p$-typiques est ensemblistement isomorphe au foncteur
en ensembles $𝐀^𝐍$ lorsque $p>1$ et à $𝐀¹$ lorsque $p=1$.


\begin{remarque2}
Nous verrons ci-après qu'il existe une structure d'anneau sur $W_∞$ vérifiant
les propriétés suivantes : $(1-X)^{-1}$ est l'unité
de la multiplication (que nous noterons $\varodot$) ;
l'application $e_p$ est un endomorphisme de \emph{anneau} $(W_∞, ⊕,\varodot)$
(restreint aux $𝐙_{(p)}$-algèbres). L'exponentielle de Artin-Hasse
est donc l'idempotent correspondant
à $e_p$ : $W_∞^{(p)}=W_{∞|𝐙_{(p)}} \varodot E_p ⊆ W_{∞|𝐙_{(p)}}$.
\end{remarque2}

\subsubsection{}\label{p-coordonnées de Witt}
Lorsque $p>1$, on appelle \emph{$p$-coordonnées de Witt}\index{$p$-coordonnées de Witt}
d'une série formelle $p$-typique $f$ à coefficients
dans une $𝐙_{(p)}$-algèbre $A$ les coefficients $(α_{p^r})_r ∈ A^𝐍$ tels que
\[
f=∏_{r ≥ 0} E_p(α_{p^r} X^{p^r}).
\]
Lorsque $p=1$, on peut également définir la notion de $1$-coordonnée de Witt
d'une série formelle $1$-typique $f$ : c'est l'unique coefficient
$α ∈ A$ tel que $f=\exp(aX)$. Notons la formule : $αX=X \frac{f ′}{f}$.
Lorsque $p>1$, le lien entre les $p$-coordonnées de Witt et la dérivée
logarithmique est moins transparent. Il fait l'objet du paragraphe
\ref{composantes fantômes}. Signalons cependant que l'on a constaté
ci-dessus que chaque $p$-coordonnée est un polynôme universel à coefficients
dans $𝐙_{(p)}$ en les coefficients de la série $f$.

\subsubsection{}

Fixons un entier $n ∈ 𝐍 $ et $p$ un nombre premier ou égal à un.
Pour tout entier $i$ premier à $p$ et inférieur ou égal à $n$,
notons $q_i$ le plus grand entier de $p^𝐍$ tel que $i q_i ≤  n$.
Il résulte de \ref{bijections entre Wn et An} (ii)
que pour toute $𝐙_{(p)}$-algèbre $A$, tout élément
$f_n ∈ W_n(A)$ s'écrit de manière unique sous la forme
\[
f_n= ∏_{i ≤ n \atop (i,p)=1} ∏_{q ∈ p^𝐍 \atop q ≤ q_i} E_p(α_{i,q} X^{i q}),
\]
où les $α_{i,q}$ sont obtenus en évaluant
des polynômes à coefficients dans $𝐙_{(p)}$ en les coefficients (usuels)
de $f_n$, et où $E_p(α_{i,q} X^{i q})$ désigne abusivement
son image dans $W_n(A)$. Comme déjà signalé ci-dessus le fait remarquable est que
pour chaque $i$ l'ensemble des polynômes de la forme $∏_q E_p(α_{i,q} X^{i q})$,
où $q$ partout l'ensemble des éléments de $p^𝐍$ inférieurs ou égaux à $q_i$,
est un \emph{sous-groupe} — momentanément noté $W_{n,p,i}$ —  de $W_n(A)$ :
c'est l'image de $e_{p,i}(W_{∞|𝐙_{(p)}})$ dans le quotient $W_{n|𝐙_{(p)}}$
de $W_{∞|𝐙_{(p)}}$.

\begin{lemme2}
La classe d'isomorphisme de $W_{n,p,i}$ ne dépend que de $q_i$.
\end{lemme2}

\begin{démo}
Commençons par observer que l'application de réduction modulo $X^{i q_i +1}$,
$W_{n,p,i} → W_{i q_i,p,i}$ est un isomorphisme. Elle est clairement
surjective ; elle est injective par unicité des paramètres $α_{i,q}$.
Enfin la substitution $X ↦ X^i$ induit un isomorphisme
$W_{q_i,p,1} ⥲ W_{i q_i,p,i}$.
\end{démo}

Soit $q$ une puissance de $p$. On note $W_{[q]}$ le groupe
$W_{q,p,1}$ des séries $p$-typiques tronquées à l'ordre $q$.
C'est un sous-groupe de $W_{q|𝐙_{(p)}}$. (Notons que
$W_{[1]}=\Ga$\footnote{Aussi bien dans le cas $1=1^1$ que dans le
cas $1=p^0$ avec $p>1$.}) Nous sommes maintenant enfin en mesure d'énoncer
une généralisation de la proposition \ref{Wn en caractéristique nulle}.

\begin{théorème2}[\cite{GACC@Serre}, chap. V, §16]\label{structure Wn sur Z(p)}
Soient $n ≥ 1$ un entier et $p$ un nombre premier ou égal à un.
Le foncteur en groupes abéliens $U_{n|𝐙_{(p)}}$, envoyant
une $𝐙_{(p)}$-algèbre $A$ sur le groupe des unités de l'anneau $A[X]/X^{n+1}$,
est isomorphe au produit de $\Gm$ par les $W_{[q_i]}$
où $i$ parcourt l'ensemble des entiers inférieurs ou égaux à $n$ et premiers à $p$
et où $q_i$ désigne le plus grand élément de $p^𝐍$ tel que $i q_i ≤  n$.
\end{théorème2}

Rappelons (\ref{vecteurs Witt et ASW}, introduction) que l'on souhaite comprendre
la structure des unités des anneaux $A[X]/X^{p^r}$ lorsque $A$ est une
$𝐅_p$-algèbre. On peut expliciter le théorème précédent
de la façon suivante.

\begin{corollaire2}\label{structure Un sur Fp}
Soient $r ≥ 1$ un entier et $p$ un nombre premier.
Le foncteur envoyant une $𝐙_{(p)}$-algèbre $A$
sur le groupe des unités de $A[X]/X^{p^r}$ est isomorphe
au produit
\[
∏_{q|p^{r-1}} \big(W_{[q]|𝐙_{(p)}}\big)^{n_{r,q}} × \Gm,
\]
où :
\begin{enumerate}
\item le foncteur $W_{[q]|𝐙_{(p)}}$ envoie une $𝐙_{(p)}$-algèbre $A$
sur le groupe multiplicatif des éléments $f ∈ A[X]/X^{q+1}$
de la forme
\[E_p\big((α₁,α_p, α_{p²},… ,α_q).X):=∏_{q ′ | q} E_p(α_{q ′} X^{q ′ }) \mod
X^{q+1}\] où les $α_{q ′}$ sont dans $A$ ;
\item la multiplicité $n_{r,q}$ vaut $p-1$ si $q=p^{r-1}$
et $\frac{p^r}{q}+\frac{p^{r-2}}{q}$ si $q$ divise strictement $p^{r-1}$.
\end{enumerate}
\end{corollaire2}

\begin{démo}
Cela résulte du théorème précédent et du fait
que le cardinal de l'ensemble des entiers $i$ premiers à $p$
tels que $\frac{p^{r-1}}{q} ≤ i ≤ \frac{{p^r}}{q}$ est égal
à $n_{r,q}$.
\end{démo}

Insistons sur le fait que tout $𝐅_p$-algèbre peut être munie
d'une structure de $𝐙_{(p)}$-algèbre et ce de manière unique.
Le champ d'application du corollaire précédent est donc plus vaste
que nous n'en avons besoin.

\begin{proposition2}
Il existe des polynômes à coefficients dans $𝐙_{(p)}$
et tels que $+_W$ définie par $α +_W β = ...$
satisfasse $E_p(α.X) ⊕ E_p(β.X)=E_p((α +_W β).X)$. \XXX
\end{proposition2}

[pas nécessaire]

\begin{remarque2}
En fait les polynômes sont à coefficients dans $𝐙$ (car dans
$𝐙[1/p]$). \XXX
\end{remarque2}




\subsection{Exemple : $p$-vecteurs de Witt tronqués à l'ordre deux}\label{exemple W2}
\subsubsection{}Soit $p>0$ un nombre premier. Calculons le produit de deux polynômes tronqués
$E_p((α₁,α_p).X)$ et $E_p((β₁,β_p).X)$ dans $W_{[p]}(𝐐[α₁,α_p,β₁,β_p])$.
Modulo $X^{p+1}$, la série
\[
E_p\big((α₁,α_p).X\big)×E_p\big((β₁,β_p).X\big)=\exp\Big((α₁+β₁)X+(α_p+β_p+\frac{α_1^p+β_1^p}{p})X^p
+ \cdots\Big)
\]
est congrue à $\exp(γ₁X+\frac{γ_p}{p}X^p+\cdots)$,
où $γ₁=α₁+β₁$ et $γ_p=α_p+β_p+\frac{α_1^p+β_1^p-(α₁+β₁)^p}{p}$.
Notons que le terme de droite est un polynôme à coefficients
\emph{entiers} (donc \emph{a fortiori} dans $𝐙_{(p)}$) en les variables $α₁,α_p,β₁,β_p$.
La formule précédente décrit la loi de groupe du foncteur $W_{[p]|𝐙_{(p)}}$.
En réduisant modulo $p$ cette identité, on en déduit que la restriction
de ce même foncteur aux $𝐅_p$-algèbres
est isomorphe au foncteur en groupes $A ↦ (A²,⊕_{[p]})$
où l'addition $⊕_{[p]}$ est définie par la formule :
\[
(a,a ′) ⊕_{[p]} (b, b ′)=\big(a+b,a ′ + b ′ - ∑_{i=1}^{p-1}
\frac{(-1)^i}{i} a^i b^{p-i}\big).
\]
Lorsque $a$ est inversible, la seconde coordonnée se réécrit $a ′ + b ′ + a^p
\log_{<p}(\frac{a+b}{a})$, où
\[\log_{<p}(x)=-∑_{i=1}^{p-1}\frac{(1-x)^i}{i} \text{ (cf. \ref{explog=identité}).} \]
On en déduit immédiatement que l'opposé de l'élément $(a,b)$ pour
l'addition $⊕_{[p]}$ est $(-a,-b-a^p\log_{<p}(0))=(-a,-b)$.
Le morphisme $F_p$ est $(a, a ′) ↦ (a^p,{a ′}^p)$ et la translation
par $(1,0)$ est $τ:(a,b) ↦ (a,b) ⊕ (1,0)=(a+1,b+\log_{<p}(a+1))$.

\subsubsection{}
Comme attendu, on observe que pour chaque $𝐅_p$-algèbre
$A$, le groupe $W_{[p]}(A)$ est extension du groupe additif $(A,+)$ par
lui-même : la projection $(a,a ′) ↦ a$ est un morphisme surjectif
de groupes, de noyau le sous-groupe $\{(0,a ′):a ′ ∈ A\}$ de $(A²,⊕_{[p]})$,
naturellement isomorphe à $(A,+)$ par le morphisme $a ′ ↦ (0,a ′)$.

\subsubsection{}
Soient $(a,b)$ deux éléments de $k$ de caractéristique $p>0$
et soit $Ω$ une clôture séparable de $k$.
L'équation $℘(x,y)=(a,b)$ en les inconnues $(x,y)$,
où $℘=F_p \ominus \Id$, est équivalente aux deux équations :
\[
℘(x)=a
\]
et
\[
℘(y)=(-1)^{p+1} x^p \log_{<p}(-\frac{a}{x}) + b.
\]
Ces équations ont des solutions dans $Ω$ car elles
sont séparables. Notons $q_W$ — $W$ pour \emph{Witt} — le terme
de droite de la seconde équation. C'est un polynôme
en $x$ de terme constant $b$ de degré visiblement
inférieur ou égal à $p$. Si le couple $(x_W,y_W) ∈ Ω²$ est une solution de
ces équations, le couple $τ(x_W,y_W)=(x_W+1,y_W+\log_{<p}(x_W+1))$
est également solution : cela résulte du fait
que $℘$ est additif, de noyau contenant $(1,0)$.
Ceci se traduit par l'égalité dans $Ω$
\[
℘\big(\log_{<p}(x_W+1))=q_W(x_W+1)-q_W(x_W),
\]
ou encore, dans $k[x]$,
\[
∑_{i=1}^{p-1} \frac{(-1)^{i+1}}{i} ⋅ \big((x+a)^i-x^i\big)
= Δ \Big( (-1)^{p} ∑_{i=1}^{p-1} \frac{1}{i} x^{p-i}(x+a)^i  \Big)
\]
% p=13
% R.<x,a>=GF(p)['x','a']
% q = (-1)^(p)*sum([x^(p-k) * (x+a)^k / k for k in range(1,p)])
% Dq=q.subs({x:x+1})-q
% plog = sum([((x+a)^k-x^k) * (-1)^(k+1) / k for k in range(1,p)])
qu'il serait laborieux de vérifier par un calcul direct.
(On note $Δ:k[x] → k[x]$ l'opérateur $P(x) ↦ P(x+1)-P(x)$.)
Le terme dominant du polynôme de gauche est visiblement
$(-1)^p a x^{p-2}=-a x^{p-2}$. Il en résulte que
$q_W$ est un polynôme de degré $p-1$ de coefficient
dominant $a$. En recopiant la démonstration du
théorème \ref{AS Z sur p carré}, on vérifierait
les faits suivants :

— le polynôme $∏_{ζ ∈ 𝐅_p} \big(Y^p-Y-q_W(x+ζ)\big)$ est irréductible
sur $k$ ;

— l'extension $k(℘^{-1}(a,b)\bo k)$ est galoisienne
de groupe cyclique d'ordre $p²$,
engendré par l'automorphisme $y_W ↦ y_W + \log_{<p}(x_W+1)=
y_W+x^{p-1}+t(x)$ où $x_W$ et $y_W$ sont comme ci-dessus, $y_W$
étant nécessairement un élément primitif de l'extension,
et $t$ est un polynôme de degré strictement inférieur
à $p-1$ ;

— si $u ∈ k[x]$ satisfait $Δu=t$, $y_{AS}:=y_W+u(x)$
est racine d'une équation $℘(y_{AS})=q_{AS}(x)$, où
$q_{AS}$ est comme en \ref{AS Z sur p carré}. Et réciproquement.

On constate donc que l'équation d'Artin-Schreier $℘(x,y)=(a,b)$
permet de décrire toutes les équations de degré $p²$
d'un corps de caractéristique $p>0$.
Nous allons voir dans la section suivante que ceci
est un fait général dont il est possible
de donner une démonstration conceptuelle.

\begin{exercice2}
Montrer que pour chaque nombre premier $p$,
le groupe $W_{[p]}(𝐅_p)$ est isomorphe à $𝐙/p²$.
\end{exercice2}

\subsection{Vecteurs de Witt tronqués à coefficients dans une $𝐅_p$-algèbre}

Dans ce paragraphe et le suivant, on fixe un nombre premier $p>0$,
$r ≥ 0$ un entier et $q=p^r$ une puissance de $p$.
On note $W$ la restriction du foncteur $W_{[q]}$ aux $𝐅_p$-algèbres.

\subsubsection{}Les endomorphismes $F_p$ et $V_p$ de $W_∞^{(p)}$
induisent des endomorphismes de $W$ \XXX. Si
$f ∈ W(A)$ a pour coordonnées de Witt $α=(α₁,α_p, …,α_q)$
— c'est-à-dire si $f$ est représenté par la série $E_p(α.X)$ —
les coordonnées de $F_p(f)$ (resp. $V_p(f)$) sont $\Frob_p(α)=(α_1^p,α_p^p, …,α_q^p)$
(resp. $v_p(α)=(0,α₁,α_p, …,α_{q/p})$).


\begin{proposition2}\label{calcul W(Fp)}
Le groupe $W(𝐅_p)$ est isomorphe au groupe cyclique $𝐙/p^{r+1}$.
\end{proposition2}

\begin{démo}
Le groupe $W(𝐅_p)$ est de cardinal $pq=p^{r+1}$. Pour
montrer qu'il est cyclique, il suffit
de démontrer que la classe de $E_p(X)$ dans
$W(𝐅_p)$ n'est pas de $q$-torsion.
Or, la série $E_p(X)^q=E_p(X^q)$ est non triviale
modulo $X^{q+1}$. CQFD.
\end{démo}

\subsubsection{}Soit $K$ une $𝐅_p$-algèbre.
Le noyau de l'endomorphisme $℘_W=F_p \ominus \Id$ de $W(K)$
est l'ensemble des éléments de coordonnées de Witt
$α ∈ K^{r+1}$ satisfaisant l'équation $\Frob_p(α)=α$ (cf. \emph{supra}).
Il contient donc le sous-groupe $W(𝐅_p)≃𝐙/p^{r+1}$
car $\Frob_p$ agit trivialement sur $𝐅_p$.
Réciproquement, si $K$ est intègre,
$\Ker\,℘_W(K)=W(𝐅_p)$ car les seules racines dans $K$ de l'équation $X^p=X$
sont les éléments du sous-corps $𝐅_p$ de $K$.
Nous avons démontré la première moitié de la proposition suivante.

\begin{proposition2}\label{noyau p-Weierstrass-Witt}
Soit $K$ une $𝐅_p$-algèbre.
\begin{enumerate}
\item Si $K$ est intègre, le noyau $\Ker\,℘_W(K)$ de $℘_W:W(K) → W(K)$ est le sous-groupe
cyclique $W(𝐅_p)$ de $W(K)$.
\item Le foncteur
$A ↦ \Ker\,℘_W(A)$ est représentable
par une $K$-algèbre diagonale de rang $p^{r+1}$.
\end{enumerate}
\end{proposition2}

\begin{démo}
(ii) Le foncteur $ \Ker\,℘_W$ est isomorphe
au foncteur $A ↦ \Hom_{K\traitdunion\Alg}(K[X]/(X^p-X),A)^{r+1}$
Ce dernier est représentable par la $K$-algèbre
diagonale $K[X]/(X^p-X)^{r+1} ≃ (K^p)^{r+1}$.
(Il résulte de cet argument, que la conclusion
de (i) est également valable sous la seule
hypothèse que $A$ est \emph{connexe},
cf. \refext{Spec}{produit=somme}.)
\end{démo}

\subsubsection{}Nous allons maintenant considérer l'image de $℘_W$.
Auparavant, introduisons quelques notations.
Comme on l'a vu, le foncteur $W$ est (ensemblistement)
représentable par la $𝐅_p$-algèbre $M=𝐅_p[X_{q ′|q}]$,
la bijection étant donnée par les coordonnées de Witt :
à $f ∈ W(K)$ de coordonnées de Witt $(α₁, …,α_q)$
on associe le morphisme $φ_f:M → K$ envoyant $X_{q ′}$
sur $α_{q ′}$. D'autre part, il résulte du lemme de Yoneda
(\refext{Cat}{lemme-de-yoneda}) que l'endomorphisme $℘_W$ du foncteur $W → W$
correspond à un endomorphisme $℘^M$ de l'algèbre $M$.
Soient $f ∈ W(K)$ et $A$ une $K$-algèbre. La fibre $℘_W^{-1}(f)(A)$ du morphisme
$℘_W:W(A) → W(A)$ au-dessus de l'image de $f$ dans $W(A)$ est naturellement
en bijection avec l'ensemble des $A$-points
de la $K$-algèbre $M(f):=M ⊗_{℘^M,M,φ_f} K$ (\refext{Tens}{}). En d'autres termes,
le foncteur $A ↦ ℘_W^{-1}(f)(A)$ est représentable
par la $K$-algèbre $M(f)$.

\begin{proposition2}\label{séparabilité p-Weierstrass-Witt}
Soit $K$ un \emph{corps} de caractéristique $p>0$.
Pour tout $f ∈ W(K)$ la $K$-algèbre $M(f)$ est \emph{étale}
de rang $p^{r+1}$. En particulier, si $K$ est séparablement
clos, le morphisme $℘_W:W(K) → W(K)$ est \emph{surjectif}.
\end{proposition2}

\begin{démo}
Commençons par montrer la surjectivité de $℘_W:W(K) → W(K)$ lorsque $K$
est séparablement clos. Il suffit de démontrer la surjectivité du morphisme
$F_p \ominus \Id : W_∞(K) → W_∞(K)$ sous cette hypothèse ; l'énoncé désiré
s'en déduisant par passage au quotient \XXX.
Par récurrence et d'après \ref{bijections entre Wn et An},
il suffit de démontrer que pour chaque $α ∈ K$ et chaque entier $i ≥ 1$,
il existe $β ∈ K$ tel que le quotient $(1-α X^i)/℘(1-β X^i)$
appartienne à $\mathrm{Fil}^{i+1}W_∞(K)$. Cela résulte
de l'égalité
\[
\frac{(1-α X^i)(1-β X^i)}{1-β^p X^i}=1+(β^p-β-α)X^i+ \cdots.
\]
On observera que les coefficients $β$ sont obtenus par résolutions
successives d'équations d'Artin-Schreier.

Soit maintenant $f ∈ W(K)$, où $K$ n'est plus supposé
séparablement clos. Soit $Ω$ une clôture séparable de $K$
et soit $f_Ω$ l'image de $f$ dans le sur-groupe $W(Ω)$ de $W(K)$.
Les $Ω$-algèbres $M(f_Ω)$ et $M(f) ⊗_K Ω$ sont canoniquement
isomorphes. Le caractère étale d'une algèbre sur un corps
se testant après extension algébrique séparable, et
le rang étant invariant par une telle extension,
on peut supposer $K$ séparablement clos.
D'après ce qui précède, il existe alors un
élément $g ∈ W(K)$ tel que $℘(g)=f$. La translation $t_g:W → W$, $x ↦ x + g$,
induit un isomorphisme de foncteurs entre $℘^{-1}(0)$ et $℘^{-1}(f)$
d'où un $K$-isomorphisme entre $M(0)$ et $M(f)$. La conclusion
résulte de la proposition \ref{noyau p-Weierstrass-Witt}.
\end{démo}

Plus généralement, on peut démontrer la proposition suivante.

\begin{proposition2}\label{revêtement ASW}
L'extension $M_{[q]} → M_{[q]}$ définie par $℘^{M_{[q]}}$ est
\emph{galoisienne de groupe $W_{[q]}(𝐅_p)$}.
\end{proposition2}

\begin{démo}
\XXX
\end{démo}

\begin{exercice2}
Pour tout $r+1$-uplet $α$ de $𝐅_p^{r+1}$, notons $\gtilde{α}$
l'unique relèvement de $α$ dans $[0,p-1]^{r+1} ⊆ 𝐙^{r+1}$.
Montrer que l'application $W(𝐅_p) → 𝐙/p^{r+1}$,
$E_p(α.X) ↦ ∑_{i=0}^{r} \gtilde{α_{p^i}}p^i \mod p^{r+1}$, est un isomorphisme de groupes.
\XXX % pas clair
\end{exercice2}

\subsection{Extensions galoisiennes de groupe $𝐙/p^{r+1}$}

\begin{théorème2}\label{ASW}
Soit $k$ un corps de caractéristique $p>0$,
$r ≥ 0$ un entier et $q=p^r$ la puissance de $p$
correspondante. Soit $Ω$ une clôture algébrique de $k$.
\begin{enumerate}
\item Pour toute extension galoisienne $K\bo k$ de groupe
cyclique d'ordre $p^{r+1}$, il existe un
élément $f ∈ W_{[q]}(k)$ tel que
$K$ soit $k$-isomorphe au plus petit sous-corps
$k(√[℘]{f})$ de $Ω$ tel que les
solutions de l'équation $℘(g)=f$ dans $W_{[q]}(Ω)$ appartiennent
à $W_{[q]}(k(√[℘]{f}))$.
\item Soit $f ∈ W_{[q]}(k)$. L'extension $k(√[℘]{f}) \bo k$
est galoisienne cyclique d'ordre divisant $p^{r+1}$
avec égalité si et seulement si le premier coefficient
de Witt de $f$ n'appartient pas à $℘(k)$. D'autre
part, $k(√[℘]{f})$ est le sous-corps de $Ω$ engendré
par les coefficients de Witt d'un élément
quelconque $g$ de $W_{[q]}(Ω)$ satisfaisant l'équation $℘(g)=f$.
\end{enumerate}
\end{théorème2}

\subsubsection{Démonstration de \ref{ASW} (ii)}

Soit $f$ comme dans l'énoncé. Notons $k\sep$ la clôture
séparable de $k$ dans $Ω$. D'après \ref{séparabilité p-Weierstrass-Witt},
il existe $g₀ ∈ ℘^{-1}(f)(k\sep)$. Pour chaque $ζ ∈ W_{[q]}(𝐅_p)$,
posons $g_ζ:=g₀ ⊕ ζ ∈ W_{[q]}(k\sep)$. D'après \ref{noyau p-Weierstrass-Witt},
les solutions de $℘(g)=f$ dans $W_{[q]}(Ω)$ sont les $(g_ζ)_ζ$.
(Ici, comme dans l'énoncé, on note abusivement $f$ l'image
de l'élément $f ∈ W_{[q]}(k)$ par l'injection canonique
$W_{[q]}(k) ↪ W_{[q]}(Ω)$.) Il en résulte que $k(√[℘]{f})$ est le sous-corps
de $Ω$ engendré par les coefficients de Witt de $g₀$ (par exemple)
et d'autre part que le corps $k(√[℘]{f})$ est contenu dans $k\sep$ :
l'extension $k(√[℘]{f})\bo k$ est donc
algébrique \emph{séparable}. Montrons qu'elle est \emph{normale}.
Soit $σ : Ω → Ω$ un $k$-automorphisme. En appliquant
$σ$ à l'égalité $℘(g₀)=f$ on obtient, par commutation
évidente de $σ$ avec $℘$, l'égalité $℘\big(σ (g₀)\big)=f$
d'où $σ (g₀)=g_{ζ_σ}$ pour un unique $ζ_σ ∈ W(𝐅_p)$.
Il en résulte que $σ (g_ζ)=g_ζ ⊕ ζ_σ$ pour tout $ζ$ car $σ$ commute
à l'addition dans les vecteurs de Witt tronqués et
agit trivialement sur $W_{[q]}(𝐅_p)$.
Ainsi, $σ$ préserve $K=k(√[℘]{f})$, de sorte
que l'extension $K \bo k$ est galoisienne,
et $σ ∈ G=\Gal(K\bo k) ↦ ζ_σ ∈ W_{[q]}(𝐅_p)$
est une injection. D'après \ref{calcul W(Fp)},
$G$ est donc cyclique de cardinal divisant $p^{r+1}$.

Soit $f ′$ (resp. $g₀ ′$) l'image de $f$ (resp. $g₀$) dans $W_{[1]}(k) = k$
($W_{[1]}(K) = K$) par la surjection canonique $W_{[q]} ↠W_{[1]}$.
Le morphisme $℘$ commute à cette projection de sorte que
$℘_{W_{[1]}}(g₀ ′)=f ′ $. Le corps $K$ contient donc le sous-corps
$K ′ =k(√[℘]{f ′})$, galoisien sur $k$. D'autre part,
l'action d'un élément $σ ∈ G$ sur $K ′$ se factorise
à travers le quotient $W_{[q]}(𝐅_p) ↠ W_{[1]}(𝐅_p)=𝐅_p$ :
la réduction de l'égalité $σ(g₀)= g₀ ⊕_{W_{[q]}(K)} ζ_σ$
dans $W_{[1]}(K)$ se réécrit : $σ(g ′₀)=g ′₀ + ζ_σ ′$
où $ζ_σ ′$ est l'image de $ζ_σ$ dans $𝐅_p$.
Ainsi, l'image de $G$ dans l'unique quotient
d'ordre $p$ de $W_{[q]}(𝐅_p) ≃ 𝐙/p^{r+1}$
coïncide avec l'image du groupe de Galois de l'extension
d'Artin-Schreier $K ′ \bo k$. Ce groupe est trivial
si et seulement si $f ′ ∈ ℘(k)$, cf. \ref{extension AS est de groupe Z
sur p}. On achève la démonstration
en observant qu'un sous-groupe de $𝐙/p^{r+1}$ est strict
si et seulement si son image dans $𝐙/p$ est triviale.

\subsubsection{Première démonstration de \ref{ASW} (i) : méthode verselle}

Nous allons utiliser la même méthode qu'en \refext{Versel}{AS via
groupes algébriques}, qui repose de façon cruciale sur
\emph{op. cit.}, \ref{base normale géométrique}
et la proposition \ref{noyau p-Weierstrass-Witt} ci-dessus.
Notons respectivement $E_{[q]}$ et $B_{[q]}$ les $𝐅_p$-algèbres
$E(𝐙/p^{r+1})$ et $B(𝐙/p^{r+1})$ de \refext{Versel}{notations base
normale géométrique}. Soit $K\bo k$ une extension galoisienne
de groupe cyclique d'ordre $p^{r+1}$. D'après
\refext{Versel}{base normale géométrique}, il existe un $k$-morphisme
$B_{[q]} → k$ tel que $K$ soit $k$-isomorphe au produit tensoriel
$E_{[q]} ⊗_{B_{[q]}} k$. Comme on l'a vu, cela est équivalent
à l'existence (\emph{a priori} plus faible) d'un carré
commutatif

\begin{center}\begin{tikzpicture}[auto]
 \matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]
{ K \pgfmatrixnextcell E_{[q]} \\ k \pgfmatrixnextcell B_{[q]}\\};
 \draw[<-] (diag-1-1) --  (diag-2-1);
 \draw[<-] (diag-1-2) -- (diag-2-2);
 \draw[<-] (diag-1-1) --  (diag-1-2);
 \draw[<-] (diag-2-1) -- (diag-2-2);
 \end{tikzpicture}
 \end{center}

Il résulte de \refext{Versel}{unités algèbre
de groupe et EG} et du fait que l'on est en caractéristique $p>0$
que l'algèbre $E_{[q]}$ représente le foncteur $A ↦
(A[X]/X^{p^{r+1}})^×$, l'action naturelle de $𝐙/p^{r+1}$
sur $E_{[q]}$ correspondant à la multiplication par $1+X$.
D'après \ref{structure Un sur Fp}, $E_{[q]}^{\japmath{田}}$
se surjecte sur le foncteur $W_{[q]}$ par \XXX.

Admettons un instant qu'il existe un morphisme
$B_{[q]}^{\japmath{田}} → W_{[q]}$ faisant commuter
le diagramme ci-dessous.

\begin{center}\begin{tikzpicture}[auto]
 \matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]
{ E_{[q]}^{\japmath{田}} \pgfmatrixnextcell W_{[q]} \\ B_{[q]}^{\japmath{田}} \pgfmatrixnextcell W_{[q]}\\};
 \draw[->] (diag-1-1) --  (diag-2-1);
 \draw[->] (diag-1-2) -- node{$℘_{W_{[q]}}$} (diag-2-2);
 \draw[->>] (diag-1-1) --  (diag-1-2);
 \draw[->,dotted] (diag-2-1) -- (diag-2-2);
 \end{tikzpicture}
 \end{center}

En retournant les flèches — c'est-à-dire en passant aux $𝐅_p$-algèbres
représentant ces foncteurs — et en recollant ce diagramme avec le
précédent, on en déduit l'existence d'un carré commutatif :

\begin{center}\begin{tikzpicture}[auto]
 \matrix(diag)[matrix of math nodes,column sep=4em,row sep=5ex]
{ K \pgfmatrixnextcell M_{[q]} \\ k \pgfmatrixnextcell M_{[q]}\\};
 \draw[<-] (diag-1-1) --  (diag-2-1);
 \draw[<-] (diag-1-2) -- node{$℘^{M_{[q]}}$} (diag-2-2);
 \draw[<-] (diag-1-1) --  (diag-1-2);
 \draw[<-] (diag-2-1) -- node{$f$} (diag-2-2);
 \end{tikzpicture}
 \end{center}

On en déduit un morphisme de $k$-algèbres $M(f) →
K$ ; d'après \ref{revêtement ASW} et \refext{Versel}{Gal-G est un
groupoide} le morphisme $M(f) → K$ est un isomorphisme.

\begin{proposition2}
On a $F_p(E_p(-X)f)=E_p(-X)F_p(f)$ et la multiplication
par $E_p(-X)$ correspond à l'action d'un générateur
de $𝐙/p^r$ sur $E(𝐙/p^r)$. En conséquence, on a
un carré commutatif avec $B(𝐙/p^r) → E(𝐙/p^r)$ (morphisme
canonique) et $℘=F_p \ominus \Id : W_{[q]} → W_{[q]}$.
\end{proposition2}

\subsubsection{Seconde démonstration de \ref{ASW} (i) : méthode cohomologique}


\subsection{Composantes fantômes, structure d'anneau}\label{composantes fantômes}

\subsubsection{}Bien que l'exponentielle d'une série formelle $f ∈ W_∞(A)$ ne
soit pas définie en général — à cause des divisions par $n!$ —, on peut malgré
tout considérer sa dérivée logarithmique  On appelle \emph{morphisme fantôme} le morphisme
\[\japmath{鬼}: W_∞ → \Ga^∞\]
\[f ↦ X \frac{f ′}{f}.\]

\begin{proposition2}
morphisme ; injectif si sans $𝐙$-torsion, bijectif si $𝐐$-algèbre. Si
$𝐙_{(p)}$-algèbre $e_p$ « correspond » à $(a₁,a₂, …) ↦ (a_1,0, …,a_p,0,
…,a_{p²}, …)$.
\[\japmath{鬼}\big(∏(1-α_i t^i)\big)=\big(∑_{d|n} d α_{n/d}\big).\]
\end{proposition2}

\subsection{Algèbres simples-centrales de degré $p^r$}

\XXX

\begin{center}
Note bibliographique % cf. Serre, « Groupes algébriques et corps de classe »
\end{center}

Références : Serre, Groupes algébriques et corps de classe (chap. V,
§14--16) ; Demazure, Lectures on $p$-divisible groups (chap. III) ;
Hazewinkel, Witt vectors (Handbook of algebra, vol. 6) ;
Witt, Vektorkalkül und Endomorphismen der Einspotenzreihengruppe (Œuvres, № 24),
Bourbaki, Algèbre commutative (exercices), et surtout :
S. Bloch, Algebraic K-theory and crystalline cohomology (PMIHÉS 47).
Pour des vecteurs de Witt non-commutatifs, cf. Goerss, Lannes et Morel,
« Vecteurs de Witt non commutatifs et représentabilité de l'homologie modulo $p$ »

Voir aussi les articles de Witt, très bien écrits.

\ifx\danslelivre\undefined
\bibliography{../configuration/bibliographie-livre}
\bibliographystyle{../configuration/style-bib-livre}
\end{document}
\fi