Nombre premier de Wieferich

En mathématiques, un nombre premier de Wieferich est un nombre premier p tel que p² divise 2^p–1 – 1 (d'après le petit théorème de Fermat, tout nombre premier Modèle:Nobr divise, entre autres, 2^p–1 – 1). Les nombres premiers de Wieferich furent décrits en premier par Arthur Wieferich en 1909 dans ses travaux<ref>Modèle:Article.</ref> relatifs au dernier théorème de Fermat.

La recherche des nombres premiers de Wieferich

Les seuls nombres premiers de Wieferich connus sont 1093 et 3511 (Modèle:OEIS), découverts par Waldemar Meissner en 1913<ref>{{#invoke:Langue|indicationDeLangue}} W. Meissner, « Über die Teilbarkeit von 2^p − 2 durch das Quadrat der Primzahl p = 1093 », Sitzungsber. Akad. d. Wiss. Berlin, 1913, p. 663-667.</ref> et Modèle:Lien en 1922<ref>Modèle:Article.</ref>, respectivement ; si d'autres existent, ils doivent être supérieurs à 1,47 × 10Modèle:17 (meilleur résultat connu en 2014)<ref>Modèle:Article.</ref><ref> {{#invoke:Langue|indicationDeLangue}} Sur PrimeGrid : résumé de l'historique ; état actuel de la recherche</ref>. On ignore si l'ensemble des nombres premiers de Wieferich est fini ou infini. Joseph H. Silverman a seulement pu démontrer, en 1988<ref>{{#invoke:Langue|indicationDeLangue}} J. H. Silverman, « Wieferich's criterion and the abc-conjecture », Journal of Number Theory, vol. 30, n° 2, 1988, p. 226-237.</ref>, que si la conjecture abc est vraie, alors pour tout entier a > 1, il existe une infinité de nombres premiers p tel que p² ne divise pas a^p–1 – 1 (et donc qu'il existe une infinité de nombres premiers qui ne sont pas de Wieferich).

Propriétés des nombres premiers de Wieferich

On sait qu'un facteur premier p d'un nombre de Mersenne M_q = 2^q – 1 ne peut être premier de Wieferich que si p² divise M_q ; on en déduit immédiatement qu'aucun nombre de Mersenne premier n'est premier de Wieferich. Aussi, si p est un nombre premier de Wieferich, alors <math>2^{p^2} \equiv 2\, \mod p^2\,</math>.

Les nombres premiers de Wieferich et le dernier théorème de Fermat

Le théorème suivant connectant les nombres premiers de Wieferich et le dernier théorème de Fermat fut prouvé par Wieferich en 1909 :

Soit p un nombre premier, et soient x, y, z des entiers tels que x^p + y^p + z^p = 0 et que p ne divise pas le produit xyz. Alors p est un nombre premier de Wieferich.

En 1910, Mirimanoff put étendre le théorème en montrant que, si les hypothèses du théorème sont vraies pour un certain nombre premier p, alors p² doit aussi diviser 3^p–1-1.

Voir aussi

Articles connexes

• Nombre premier de Wilson
• Nombre premier de Wall-Sun-Sun
• Nombre premier de Wolstenholme
• Modèle:Lien

Liens externes

• Modèle:Lien web
• Modèle:MathWorld
• {{#invoke:Langue|indicationDeLangue}} (Modèle:Date-) Latest update on the Wieferich, Wilson, Wall-Sun-Sun (Fibonacci Wieferich) and Wolstenholme search
• {{#invoke:Langue|indicationDeLangue}} Wieferich@Home