Movatterモバイル変換

Primorielle

Un article de Wikipédia, l'encyclopédie libre.

Enthéorie des nombres, laprimorielle d'unentier naturel $n {\displaystyle n}$ , notée $n\#$ ou $P(n)$ ^{[réf. souhaitée]}, est le produit desnombres premiers inférieurs ou égaux à $n {\displaystyle n}$ . Par exemple, la primorielle de 10 est : $10\#=7\#=2\times 3\times 5\times 7=210.$ Ces nombres ont été ainsi nommés parHarvey 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 $p {\displaystyle p}$ donné : tout diviseur premier dunombre d'Euclide $p\#+1$ est en effet strictement plus grand que $p {\displaystyle p}$ . Il est possible que $p\#+1$ soit lui-même premier ; c'est alors unnombre premier primoriel.

Premières valeurs

[modifier |modifier le code]

Voici les premières valeurs des primorielles,en prenant par convention 0# = 1, sous forme de liste^[1] et de représentation graphique. La liste ne donne $n\#$ que pour $n {\displaystyle n}$ premier puisque, par définition, la suite est constante entre deux premiers consécutifs.

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

k	n = p_k	n#
1	2	2
2	3	6
3	5	30
4	7	210
5	11	2 310
6	13	30 030
7	17	510 510
8	19	9 699 690
9	23	223 092 870
10	29	6 469 693 230
11	31	200 560 490 130
12	37	7 420 738 134 810

Les indices $k\leqslant 12$ pour lesquels $(p_{k}\#)-1$ est premier sont 2, 3, 5, 6 et ceux pour lesquels $(p_{k}\#)+1$ 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

[modifier |modifier le code]

Paul Erdős a montré élémentairement en 1932 que $n\#\,\leqslant 4^{n}$ (commelemme dans sa preuve du postulat de Bertrand).

Lelogarithme de $n\#$ , soit $\sum _{p\leq n}\ln p$ , est égal à $\theta (n)$ , où $\theta$ est la premièrefonction de Tchebychev. Lethéorème des nombres premiers étant équivalent à la relation $\theta (n)\sim n$ , on obtient : $n\#=\mathrm {e} ^{n+o(n)}$ , ce qui implique $\lim _{n\to \infty }{\sqrt[{n}]{n\#}}=\mathrm {e}$ . Pour $n<10^{11}$ les valeurs de ${\sqrt[{n}]{n\#}}$ sont inférieures à $\mathrm {e}$ ^[2], mais on remarque ensuite des oscillations autour de $\mathrm {e}$ .

la somme des inverses des primorielles est finie :

\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

Voir la suiteA064648 de l'OEIS.

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

Primorielles et nombres composés consécutifs

[modifier |modifier le code]

Pour tout entier $k {\displaystyle k}$ de 2 jusqu'à $n {\displaystyle n}$ inclus, on a ${\text{PGCD}}(n\#,k)>1$ ; on en déduit que les entiers $n\#+2,n\#+3,...,n\#+n$ forment $n-1$ 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

[modifier |modifier le code]

Caractérisation

[modifier |modifier le code]

Un entier $n>0$ 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 :

n=p_{1}^{\alpha _{1}}\times p_{2}^{\alpha _{2}}\times \cdots \times p_{k}^{\alpha _{k}}

avec

\alpha _{1}\geqslant \alpha _{2}\geqslant ...\geqslant \alpha _{k}>0,

où $p_{k}$ est lek-ieme nombre premier.

Exemples

[modifier |modifier le code]

Toutes lesfactorielles sont des produits de primorielles, comme le montre laformule de Legendre exprimant l'exposant du nombre premier $p {\displaystyle p}$ dans la décomposition de $n! {\displaystyle n!}$ :

\alpha _{p}(n!)=\left\lfloor {\frac {n}{p}}\right\rfloor +\left\lfloor {\frac {n}{p^{2}}}\right\rfloor +...

Par exemple $5040=7!=7\#\cdot 3\#\cdot (2\#)^{2}=2^{4}\cdot 3^{2}\cdot 5\cdot 7$ .

Toutnombre hautement composé est également un produit de primorielles.

Super-primorielle

[modifier |modifier le code]

Par analogie avec lasuper-factorielle, on définit lasuper-primorielle de $n {\displaystyle n}$ comme le produit des $n {\displaystyle n}$ premières primorielles :

\mathrm {sp} (n)=\prod _{k=1}^{n}k\#=\prod _{k=1}^{n}p_{k}^{n-k+1}=2^{n-1}\cdot 3^{n-2}\cdots (p_{n-1})^{2}\cdot p_{n}

Elles forment une suite ditesuite de Chernoff, suiteA006939 de l'OEIS : 1, 2, 12, 360, 75600, ...

${\text{sp}}(n)$ est le plus petit entier naturel dont la décomposition en produit de facteurs premier présente $n {\displaystyle n}$ exposants tous distincts.

Progressions arithmétiques et primorielles

[modifier |modifier le code]

Les primorielles jouent un rôle important dans la recherche de suites de

k {\displaystyle k}

nombres premiers enprogression arithmétique (Ben Green et Terence Tao ont établi en 2004 l'existence de telles suites avec

k {\displaystyle k}

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 $k\#$ , sauf si la suite commence à $k {\displaystyle k}$ (qui doit alors être premier)^[3]. Par exemple, la suite de 26 nombres premiers trouvée en2010 par Benoît Perichon etPrimeGrid^[4]^,^[5] a une raison multiple de 26# = 23# ; elle est donnée par la formule : $43142746595714191+23681770\times 23\#\times n$ pour $n=0,1,...,25$
il semble que pour tout $k>7$ , le plus petit multiple (soit $k\#$ lui-même) est atteint pour certaines suites. Cetteconjecture est vérifiée au moins jusqu'à $k=21$ ; par exemple, David W. Wilson a découvert en 1999^[6] une suite arithmétique de 13 nombres premiers de raison 13# : $14933623+13\#\times n$ pour $n=0,1,...,12$ .