diff options
Diffstat (limited to 'chapitres/corps-finis.tex')
| -rw-r--r-- | chapitres/corps-finis.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapitres/corps-finis.tex b/chapitres/corps-finis.tex index 99bc511..9ded78a 100644 --- a/chapitres/corps-finis.tex +++ b/chapitres/corps-finis.tex @@ -202,7 +202,7 @@ exactement $r$). \begin{lemme2}\label{sous-corps-a-q-elements} Soient $p$ un nombre premier et $q=p^r$ une puissance de $p$. Soit $K$ un corps de caractéristique $p$ sur lequel le polynôme $X^q-X$ est -scindé. Alors l'ensemble $\Fix(\Frob^r_K)$ des racines du polynômes +scindé. Alors l'ensemble $\Fix(\Frob^r_K)$ des racines du polynôme $X^q-X$ dans $K$ est un sous-corps de $K$ à $q$ éléments (dont on a vu l'unicité en \ref{unicite-corps-q-elements-pour-inclusion}). \end{lemme2} |