summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (eramangarria) <Fabrice.Orgogozo+git@gmail.com>2013-04-11 15:09:49 (GMT)
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2013-04-11 15:09:49 (GMT)
commit527f6bc3bb4e5a313fda476a7553b978d8df1e7e (patch)
tree5c815d6a43c4f646d1bc9384a14dee43a540bb0d
parent43a6a38af0a4108adc934f16ecc936e46cc05253 (diff)
downloadgalois-527f6bc3bb4e5a313fda476a7553b978d8df1e7e.zip
galois-527f6bc3bb4e5a313fda476a7553b978d8df1e7e.tar.gz
galois-527f6bc3bb4e5a313fda476a7553b978d8df1e7e.tar.bz2
[radicaux] modification de la correction précédente
-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}$.