Nombre premier de Higgs

Modèle:Ébauche Un nombre premier de Higgs est un nombre premier p dont l'indicatrice d'Euler (l'entier φ(p) = p – 1) divise le carré du produit des nombres premiers de Higgs plus petits. Plus généralement, étant donné un exposant a, le n-ième premier de Higgs est le plus petit nombre premier Hp_n tel que

$\phi (H{p}_n)|\prod _{i=1}^{n-1}{H{p}_i}^a\text{ et }H{p}_n>H{p}_{n-1}.$

Pour les carrés (a = 2), les premiers nombres premiers de Higgs sont 2, 3, 5, 7, 11, 13, 19, 23, 29, 31Modèle:Etc. (Modèle:OEIS). Ainsi, par exemple, 13 est un premier Higgs parce que le carré du produit des nombres premiers de Higgs plus petits est Modèle:Nombre, dont le quotient par 12 est entier (égal à Modèle:Nombre). Mais 17 n'est pas un premier de Higgs car le carré du produit des nombres premiers de Higgs plus petits est Modèle:Nombre, dont le reste dans la division euclidienne par 16 est non nul (égal à 4).

Pour les premiers nombres premiers de Higgs pour les exposants 2 à 7, il est plus compact de présenter les nombres premiers qui ne sont pas de Higgs :

Exposant	Modèle:75e de Higgs	Nombres premiers inférieurs au Modèle:75e de Higgs et qui ne sont pas de Higgs
2	827	17, 41, 73, 83, 89, 97, 103, 109, 113, 137, 163, 167, 179, 193, 227, 233, 239, 241, 251, 257, 271, 281, 293, 307, 313, 337, 353, 359, 379, 389, 401, 409, 433, 439, 443, 449, 457, 467, 479, 487, 499, 503, 521, 541, 563, 569, 577, 587, 593, 601, 613, 617, 619, 641, 647, 653, 673, 719, 739, 751, 757, 761, 769, 773, 809, 811, 821, 823
3	521	17, 97, 103, 113, 137, 163, 193, 227, 239, 241, 257, 307, 337, 353, 389, 401, 409, 433, 443, 449, 479, 487
4	419	97, 193, 257, 353, 389
5	397	193, 257
6	389	257
7	389	257

Une observation révèle en outre qu'un premier de Fermat $2^{2^n}+1$ ne peut pas être un premier de Higgs pour l'exposant a si a est plus petit que 2ⁿ.

On ne sait pas s'il y a une infinité de nombres premiers de Higgs pour tout exposant a strictement plus grand que 1. La situation est tout à fait autre pour a = 1. Il y en a quatre : 2, 3, 7 et 43 (une suite étrangement similaire à la suite de Sylvester). Modèle:Harvsp ont constaté qu'environ un cinquième des nombres premiers en dessous d'un million sont des premiers de Higgs.

Références

• Modèle:Article
• Modèle:Ouvrage, M0660