summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2015-07-29 21:38:52 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2015-07-29 21:38:52 (GMT)
commite197b1a7e12c6845c7e81b47375bca5d5b7d9263 (patch)
tree355bdf08d157598e537f06055bafeda92b5bf538
parentc633d3102ca6787953dc840dd888360b8371600b (diff)
downloadgalois-e197b1a7e12c6845c7e81b47375bca5d5b7d9263.zip
galois-e197b1a7e12c6845c7e81b47375bca5d5b7d9263.tar.gz
galois-e197b1a7e12c6845c7e81b47375bca5d5b7d9263.tar.bz2
[CF] coquille
-rw-r--r--chapitres/corps-finis.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/chapitres/corps-finis.tex b/chapitres/corps-finis.tex
index ae52d28..aa6d96a 100644
--- a/chapitres/corps-finis.tex
+++ b/chapitres/corps-finis.tex
@@ -946,7 +946,7 @@ où $\lfloor\tiret\rfloor$ désigne la partie entière).
\begin{proof}
D'après \ref{factorisation-x-q-r-x}, les facteurs irréductibles de
$X^{q^i}-X$ pour un $1\leq i<r$ ont pour degré les diviseurs de
-ce $i$, qui sont tonc toujours strictement inférieurs à $r$ : ceci
+ce $i$, qui sont donc toujours strictement inférieurs à $r$ : ceci
montre qu'un $h$ irréductible de degré $r$ est premier avec tous les
$X^{q^i}-X$ pour $1\leq i<r$ (et en particulier $1 \leq
i \leq \frac{r}{2}$). Réciproquement, si $h$ a un facteur