summaryrefslogtreecommitdiffstats
path: root/chapitres/KASW.tex
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com>2011-02-21 13:46:59 +0100
committerFabrice (Polytechnique) <Fabrice.Orgogozo@gmail.com>2011-02-21 13:46:59 +0100
commitb1f99148d3eaf0750a1f1d203bd75865b68f9d55 (patch)
tree81bc9d5d7caee23e90e253fede3cec3fb1337b9a /chapitres/KASW.tex
parent028f2bb5a9d19ae4d2fc67a2c14164a2de90bc1e (diff)
downloadgalois-b1f99148d3eaf0750a1f1d203bd75865b68f9d55.tar.gz
galois-b1f99148d3eaf0750a1f1d203bd75865b68f9d55.tar.bz2
galois-b1f99148d3eaf0750a1f1d203bd75865b68f9d55.zip
[KASW] coquille
Diffstat (limited to 'chapitres/KASW.tex')
-rw-r--r--chapitres/KASW.tex6
1 files changed, 3 insertions, 3 deletions
diff --git a/chapitres/KASW.tex b/chapitres/KASW.tex
index fe0c6c4..609016d 100644
--- a/chapitres/KASW.tex
+++ b/chapitres/KASW.tex
@@ -898,9 +898,9 @@ Ce théorème admet la réciproque suivante.
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$
-de $f$. Pour tout élément $σ$ de $\Gal(K\bo k)$, l'élément
+\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