From 02a3009d53bf992553e33fa1f0b8382c9bb176de Mon Sep 17 00:00:00 2001 From: Fabrice Orgogozo Date: Thu, 29 Mar 2012 15:00:53 +0200 Subject: [Fin] minoration uniforme proportion polyn^omes irr'eductibles dans F_p Utile pour montrer que presque tous les polyn^omes de degr'e fix'e et `a coefficients entiers sont irr'educibles. --- chapitres/corps-finis.tex | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) (limited to 'chapitres/corps-finis.tex') 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é} -- cgit v1.2.1