summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2015-03-12 09:42:07 (GMT)
committerFabrice (Polytechnique) <Fabrice.Orgogozo+git@gmail.com>2015-03-12 09:42:07 (GMT)
commit3fcf1b61b4fe6563e651cfab5585d717f3f6ab50 (patch)
treeb14e37dde4f1dc4d39c2e2ee4d0ec79eaf470f45
parente2e1db33fb7779034c732edcadf53527fc35c420 (diff)
downloadgalois-3fcf1b61b4fe6563e651cfab5585d717f3f6ab50.zip
galois-3fcf1b61b4fe6563e651cfab5585d717f3f6ab50.tar.gz
galois-3fcf1b61b4fe6563e651cfab5585d717f3f6ab50.tar.bz2
[CF] ajout jolie proposition
-rw-r--r--chapitres/corps-finis.tex7
1 files changed, 7 insertions, 0 deletions
diff --git a/chapitres/corps-finis.tex b/chapitres/corps-finis.tex
index 45b1563..320c9e0 100644
--- a/chapitres/corps-finis.tex
+++ b/chapitres/corps-finis.tex
@@ -677,6 +677,13 @@ La conclusion résulte alors des inégalités
$\frac{p-2}{p-1} ≥ ½$ et $1-\frac{2}{p} ≥ ⅓$.
\end{démo}
+\begin{proposition2}
+La proportion de polynômes (unitaires) de degré $d$ sans
+facteur carré est $1-q^{-1}$.
+\end{proposition2}
+
+\commentaire{Via la fonction zêta… Voir par exemple [Rosen]}
+
\subsection{Critères d'irréductibilité}
\begin{proposition2}[critère d'irréductibilité de Rabin]\label{critere-rabin}