summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--chapitres/radicaux.tex6
1 files changed, 3 insertions, 3 deletions
diff --git a/chapitres/radicaux.tex b/chapitres/radicaux.tex
index fcdf1a8..00e8ab0 100644
--- a/chapitres/radicaux.tex
+++ b/chapitres/radicaux.tex
@@ -1119,10 +1119,10 @@ juste ?
\begin{proposition2}\label{resolution-equations-cycliques-cas-artin-schreier}
Soit $K$ un corps de caractéristique $p > 0$. Soit $\sigma$
-l'automorphisme de $K[Z_0,\ldots,Z_{n-1}]$ qui laisse invariant les
+l'automorphisme de $K[Z_0,\ldots,Z_{p-1}]$ qui laisse invariant les
coefficients et permute cycliquement les variables ($\sigma(Z_i) =
-Z_{i+1\pmod{n}}$). Si on introduit l'expression $A = \sum_{i=0}^{n-1}
-i Z_i$, alors $\sigma(A) = A-e_1$ où $e_1 = Z_0 + \cdots + Z_{n-1}$,
+Z_{i+1\pmod{p}}$). Si on introduit l'expression $A = \sum_{i=0}^{p-1}
+i Z_i$, alors $\sigma(A) = A-e_1$ où $e_1 = Z_0 + \cdots + Z_{p-1}$,
de sorte que $\sigma(A^p-A {e_1}^{p-1}) = A^p-A {e_1}^{p-1}$,
c'est-à-dire que le polynôme $A^p-A {e_1}^{p-1}$ est invariant par
permutation cyclique des variables $Z_0,\ldots,Z_{n-1}$.