summaryrefslogtreecommitdiffstats
path: root/chapitres/corps-finis.tex
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2012-02-28 14:25:08 +0100
committerFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2012-02-28 14:25:08 +0100
commit3dcb883627eaa61bf85f4dddb5aa8c52ba431aa2 (patch)
tree509f0620ea592ca074e69c913c8a3ff405b169d2 /chapitres/corps-finis.tex
parentf615e5445f1e5579bbbb5463d5ba1d0e1cd68b16 (diff)
downloadgalois-3dcb883627eaa61bf85f4dddb5aa8c52ba431aa2.tar.gz
galois-3dcb883627eaa61bf85f4dddb5aa8c52ba431aa2.tar.bz2
galois-3dcb883627eaa61bf85f4dddb5aa8c52ba431aa2.zip
[Fin] modification triviale à modification précédente
Diffstat (limited to 'chapitres/corps-finis.tex')
-rw-r--r--chapitres/corps-finis.tex4
1 files changed, 3 insertions, 1 deletions
diff --git a/chapitres/corps-finis.tex b/chapitres/corps-finis.tex
index c1c4776..30e9b32 100644
--- a/chapitres/corps-finis.tex
+++ b/chapitres/corps-finis.tex
@@ -605,7 +605,9 @@ Il suffit en effet de montrer que pour chaque entier $r$,
on a l'inégalité
$\displaystyle ∑_{d|r \atop μ(r/d)=1} q^d ≠ ∑_{d|r \atop μ(r/d)=-1} q^d$.
Or, cela résulte de l'unicité de la décomposition d'un entier en
-base $q$. On verra en \ref{cyclicite-groupe-multiplicatif-corps} un résultat
+base $q$, elle-même s'observant par exemple par réduction modulo la plus
+petite puissance de $q$ apparaissant dans l'une des deux
+sommes. On verra en \ref{cyclicite-groupe-multiplicatif-corps} un résultat
plus fin : l'existence d'éléments ou de polynômes
\emph{primitifs}.