summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--chapitres/corps-finis.tex31
1 files changed, 31 insertions, 0 deletions
diff --git a/chapitres/corps-finis.tex b/chapitres/corps-finis.tex
index 4a8491c..1081cd5 100644
--- a/chapitres/corps-finis.tex
+++ b/chapitres/corps-finis.tex
@@ -627,6 +627,37 @@ 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}.
+On peut préciser le corollaire précédent sous la forme
+suivante.
+
+\begin{corollaire2}
+\label{estimation-uniforme-proportion-polynomes-irreductibles-dans-Fp}
+Soit $p ≥ 3$ un nombre premier et soit $d ≥ 1$ un nombre
+entier. La proportion des polynômes de degré $d$ dans
+$𝐅_p[X]$ qui sont \emph{irréductibles} est au moins
+égale à $\frac{1}{3d}$.
+\end{corollaire2}
+
+\begin{démo}
+On a vu que le nombre d'éléments primitifs de $𝐅_{p^d}$
+sur $𝐅_p$ est minoré
+\[
+p^d-∑_{m|d \atop m ≠ d} p^m ≥ p^d - ∑_{m=1}^{d-1}p^m >
+p^d-\frac{p^d}{p-1}=p^d ⋅ \frac{p-2}{p-1}.
+\]
+Le nombre de polynômes irréductibles \emph{unitaires}
+de degré $d$ est donc minoré par un $d$-ième
+de cette quantité, et celui des polynômes irréductibles
+non nécessairement unitaires (donc de coefficient
+dominant arbitraire dans $𝐅_p^×$) par
+$p-1$ fois cette dernière quantité.
+Ainsi, la proportion recherchée est minorée par
+\[
+\frac{1}{d}\frac{p^d(p-2)}{p^{d+1}} = \frac{1-2/p}{d} ≥
+\frac{1-2/3}{d}=\frac{1}{3d}.
+\]
+
+\end{démo}
\subsection{Critères d'irréductibilité}