Primorielle

En théorie des nombres, la primorielle d'un entier naturel <math>n</math>, notée <math>n\#</math> ou <math>P(n)</math> Modèle:Refsou, est le produit des nombres premiers inférieurs ou égaux à <math>n</math>. Par exemple, la primorielle de 10 est :<math>10\#=7\#=2\times3\times5\times7=210.</math> Ces nombres ont été ainsi nommés par Harvey Dubner.

L'idée de multiplier des nombres premiers consécutifs apparaît dans la démonstration d'Euclide de l'infinité des nombres premiers ; on l'utilise pour montrer l'existence d'un nombre premier plus grand que tout nombre premier <math>p</math> donné : tout diviseur premier du nombre d'Euclide <math>p\#+1</math> est en effet strictement plus grand que <math>p</math>. Il est possible que <math>p\#+1</math> soit lui-même premier ; c'est alors un nombre premier primoriel.

Premières valeurs

Voici les premières valeurs des primorielles, en prenant par convention 0# = 1, sous forme de liste<ref>Pour une liste bien plus longue, voir la suite Modèle:OEIS2C ou Modèle:OEIS2C de l'OEIS, ou encore Modèle:Planetmath</ref> et de représentation graphique. La liste ne donne <math>n\#</math> que pour <math>n</math> premier puisque, par définition, la suite est constante entre deux premiers consécutifs.

Fichier:Primorial n plot.png

Progressions comparées de n! (en jaune) et n# (en rouge), à échelle logarithmique. On remarque la croissance linéaire de ln(n#).

Modèle:Mvar	Modèle:Mvar	Modèle:Math
1	2	2
2	3	6
3	5	30
4	7	210
5	11	Modèle:Val
6	13	Modèle:Val
7	17	Modèle:Val
8	19	Modèle:Val
9	23	Modèle:Val
10	29	Modèle:Val
11	31	Modèle:Val
12	37	Modèle:Val

Les indices <math>k \leqslant 12</math> pour lesquels <math>(p_k \#) -1</math> est premier sont 2, 3, 5, 6 et ceux pour lesquels <math>(p_k \# )+1</math> est premier sont 1, 2, 3, 4, 5, 11 (pour plus d'informations, voir l'article « Nombre premier primoriel » et ses liens externes).

Évaluations asymptotiques

• Paul Erdős a montré élémentairement en 1932 que <math>n\#\,\leqslant 4^n</math> (comme lemme dans sa preuve du postulat de Bertrand).

• Le logarithme de <math>n\#</math> , soit <math>\sum_{p\le n} \ln p</math> , est égal à <math>\theta(n)</math>, où <math>\theta</math> est la première fonction de Tchebychev. Le théorème des nombres premiers étant équivalent à la relation <math>\theta (n)\sim n</math>, on obtient : <math>n\#=\mathrm{e}^{n+o(n)}</math>, ce qui implique <math>\lim_{n \to \infty}\sqrt[n]{n\#} = \mathrm{e} </math>. Pour <math>n<10^{11}</math> les valeurs de <math>\sqrt[n]{n\#} </math> sont inférieures à <math>\mathrm{e}</math><ref>L. Schoenfeld: Sharper bounds for the Chebyshev functions <math>\theta(x)</math> and <math>\psi(x)</math>. II. Math. Comp. Vol. 34, No 134 (1976) 337–360; Modèle:P.. Cité dans: G. Robin: Estimation de la fonction de Tchebychef <math>\theta</math> sur le <math>k</math>-ième nombre premier et grandes valeurs de la fonction <math>\omega(n)</math>, nombre de diviseurs premiers de <math>n</math>. Acta Arithm. XLII (1983) 367–389 (PDF 731KB); Modèle:P.</ref>, mais on remarque ensuite des oscillations autour de <math>\mathrm{e}</math>.

• la somme des inverses des primorielles est finie :

<math>\sum_{p\text{ premier}} {1 \over p\#} = {1 \over 2} + {1 \over {2\times 3}} + {1 \over {2\times 3\times 5}} + \ldots = 0{,}7052301717918\ldots</math> Voir la Modèle:OEIS.

Notons que ce nombre est par définition le nombre dont la suite des coefficients du développement de Engel est la suite des nombres premiers.

Primorielles et nombres composés consécutifs

Pour tout entier <math>k</math> de 2 jusqu'à <math>n</math> inclus, on a <math>\text{PGCD}(n\#,k)>1</math> ; on en déduit que les entiers <math>n\#+2,n\#+3,...,n\#+n</math> forment <math>n-1</math> entiers consécutifs composés, ce qui montre qu'il y a des plages de composés consécutifs aussi grandes qu'on veut.

Produits de primorielles

Un entier <math>n>0</math> est produit de primorielles si et seulement si sa décomposition en produit de facteurs premiers écrite avec des facteurs croissants voit les exposants de ces derniers décroitre :

<math>n = p_1^{\alpha_1} \times p_2^{\alpha_2} \times \cdots \times p_k^{\alpha_k}</math> avec <math>\alpha_1 \geqslant \alpha_2 \geqslant...\geqslant \alpha_k>0,</math>

où <math>p_k</math> est le k-ieme nombre premier.

Toutes les factorielles sont des produits de primorielles, comme le montre la formule de Legendre exprimant l'exposant du nombre premier <math>p</math> dans la décomposition de <math>n!</math> :

<math>\alpha_p(n!)=\left \lfloor \frac{n}{p} \right \rfloor+\left \lfloor \frac{n}{p^2} \right \rfloor+...</math>

Par exemple <math>5040 = 7! = 7\#\times 3\#\times(2\#)^2</math>.

Tout nombre hautement composé est également un produit de primorielles.

Progressions arithmétiques et primorielles

Les primorielles jouent un rôle important dans la recherche de suites de <math>k</math> nombres premiers en progression arithmétique (Ben Green et Terence Tao ont établi en 2004 l'existence de telles suites avec <math>k</math> arbitrairement grand, mais de façon non constructive). Pour une telle suite, on a les deux propriétés suivantes :

• la raison est un multiple de <math>k\#</math>, sauf si la suite commence à <math>k</math> (qui doit alors être premier)<ref>Modèle:Lien web.</ref>. Par exemple, la suite de 26 nombres premiers trouvée en Modèle:Date par Benoît Perichon et PrimeGrid<ref>Modèle:Lien web.</ref><ref>Suite Modèle:OEIS2C de l'OEIS.</ref> a une raison multiple de 26# = 23# ; elle est donnée par la formule :<math>43142746595714191+23681770\times 23\# \times n</math> pour <math>n = 0, 1,..., 25</math>
• il semble que pour tout <math>k > 7</math> , le plus petit multiple (soit <math>k\#</math> lui-même) est atteint pour certaines suites. Cette conjecture est vérifiée au moins jusqu'à <math>k=21</math> ; par exemple, David W. Wilson a découvert en 1999<ref>Modèle:Lien web.</ref> une suite arithmétique de 13 nombres premiers de raison 13# :<math>14933623 + 13\#\times n</math> pour <math>n = 0, 1,... , 12</math>.

Numération primorielle

Les primorielles constituent les bases variables de la numération primorielle.

Voir aussi

• Inégalité de Bonse
• Nombre pratique, propriété possédée par les primorielles<ref name = "boyer">Modèle:Ouvrage</ref>.