Nombre de Carmichael
En théorie des nombres, un nombre de Carmichael (portant le nom du mathématicien américain Robert Daniel Carmichael), ou nombre absolument pseudo-premier, ou encore nombre pseudo-premier absolu[1], est un nombre composé qui vérifie la propriété suivante, satisfaite par tous les nombres premiers d'après le petit théorème de Fermat :
- pour tout entier premier avec , est un diviseur de .
C'est donc un nombre pseudo-premier de Fermat en toute base première avec lui (on peut d'ailleurs se restreindre aux entiers de 2 à dans cette définition).
D'après le lemme de Gauss, cette propriété équivaut à que pour tout entier premier avec , soit un diviseur de . Mais l'étude des nombres de Carmichael permet de montrer que ce sont aussi les nombres composés vérifiant :
ce qui correspond, pour les nombres premiers , à un autre énoncé du petit théorème de Fermat.
Le plus petit nombre de Carmichael est 561, et en 1994, Alford, Granville et Pomerance démontrent qu'il existe une infinité de nombres de Carmichael[2]; voir la suite A002997 de l'OEIS.
Contexte
modifierLe petit théorème de Fermat énonce que les nombres premiers ont la propriété que pour tout entier , est un diviseur de . Sa réciproque est fausse et les nombres de Carmichael sont les nombres positifs qui satisfont cette propriété sans être premiers : ce sont des menteurs de Fermat. Pour de tels nombres, dits pseudo-premiers, le test de primalité de Fermat échoue toujours à montrer qu'ils sont composés[3], quel que soit le choix du témoin , ce qui ne peut pas arriver pour d'autres tests de primalité comme le test de primalité de Solovay-Strassen ou le test de primalité de Miller-Rabin.
Cependant, plus les nombres deviennent grands, plus les nombres de Carmichael deviennent rares, ce qui fait que le test de primalité de Fermat reste probabilistiquement relativement pertinent. Par exemple, le 646e nombre de Carmichael vaut 993 905 641 et il existe 105 212 nombres de Carmichael entre 1 et 1015.
Appellation
modifierL'appellation "nombre absolument pseudo-premier" (ou "nombre pseudo-premier absolu") devrait être précisée par : "pour le test de Fermat", car il existe d'autres nombres absolument pseudo-premiers, par exemple les nombres absolument pseudo-premiers d'Euler.
Caractérisation
modifierUne caractérisation des nombres de Carmichael est donnée par le théorème de Korselt :
Théorème — Un entier positif composé est un nombre de Carmichael si et seulement si aucun carré de nombre premier ne divise (on dit que est sans facteur carré) et pour chaque diviseur premier de , le nombre divise . De plus, un tel divise tous les (même pour non premier avec ).
Il découle de ce théorème que tous les nombres de Carmichael sont des produits d'au moins trois nombres premiers différents.
Korselt mentionne cette caractérisation (sans l'accompagner d'exemples) dans une courte réponse à une question de Gaston Tarry[4], à propos, dirions nous aujourd'hui, de l'existence de nombres pseudo-premiers en base 2, caractérisation passée semble-t-il alors inaperçue[5]. En 1910, Robert Daniel Carmichael énonce indépendamment[5] et démontre un critère voisin, dont la formulation utilise sa fonction indicatrice, et donne 4 de ces nombres dont 561 et 1105, les deux plus petits d'entre eux[6], résultats qu'il reprend et développe dans un article paru en 1912[7]. C'est à la suite de ces articles que ces nombres sont appelés nombres de Carmichael[5].
On vérifie facilement que 561 = 3 × 11 × 17 est un nombre de Carmichael à l'aide du théorème de Korselt : la décomposition en facteurs premiers ne comporte pas de facteur multiple et 3 – 1 = 2, 11 – 1 = 10 et 17 – 1 = 16 sont tous trois des diviseurs de 560.
Les sept premiers[8] nombres de Carmichael sont :
- 561 = 3 × 11 × 17
- 1105 = 5 × 13 × 17
- 1729 = 7 × 13 × 19
- 2465 = 5 × 17 × 29
- 2821 = 7 × 13 × 31
- 6601 = 7 × 23 × 41
- 8911 = 7 × 19 × 67.
J. Chernick démontre un théorème en 1939[9] qui peut être utilisé pour construire un sous-ensemble de nombres de Carmichael. Le nombre est un nombre de Carmichael si ses trois facteurs sont tous premiers. On ne sait pas si cette formule, ou d'autres similaires, engendre une infinité de nombres de Carmichael lorsque décrit l'ensemble des entiers. Tout nombre de Chernick est aussi un nombre de Zeisel avec et .
Nombre de nombres de Carmichael
modifierEn 1956, Paul Erdős démontre[10] l'existence d'une constante telle que le nombre de nombres de Carmichael inférieurs ou égaux à est majoré par .
Le tableau suivant donne les valeurs minimales approximatives de cette constante, pour :
4 | 6 | 8 | 10 | 12 | 14 | 16 | 18 | 20 | |
2,19547 | 1,97946 | 1,90495 | 1,86870 | 1,86377 | 1,86293 | 1,86406 | 1,86522 | 1,86598 |
Dans le même article, Erdős donne des arguments heuristiques en faveur de l'hypothèse selon laquelle pour tout pour assez grand, hypothèse qui a pour conséquence l'existence d'une infinité de nombres de Carmichael conjecturée par celui-ci.
La conjecture de Carmichael est démontrée en 1994 par William Alford (en), Andrew Granville et Carl Pomerance[2], qui démontrent même plus précisément que pour assez grand[11].
En 2013, Thomas Wright démontre qu'il existe une infinité de nombres de Carmichael dans toute suite arithmétique où [12].
Propriétés
modifierTout nombre de Carmichael est impair. En effet, pour tout entier composé pair , n'est pas divisible par .
Les nombres de Carmichael ont au moins trois facteurs premiers.
Les premiers nombres de Carmichael avec respectivement au moins k = 3, 4, 5,... facteurs premiers sont (suite A006931 de l'OEIS) :
k | |
---|---|
3 | 561 = 3 · 11 · 17 |
4 | 41041 = 7 · 11 · 13 · 41 |
5 | 825265 = 5 · 7 · 17 · 19 · 73 |
6 | 321197185 = 5 · 19 · 23 · 29 · 37 · 137 |
7 | 5394826801 = 7 · 13 · 17 · 23 · 31 · 67 · 73 |
8 | 232250619601 = 7 · 11 · 13 · 17 · 31 · 37 · 73 · 163 |
9 | 9746347772161 = 7 · 11 · 13 · 17 · 19 · 31 · 37 · 41 · 641 |
Les premiers nombres de Carmichael avec quatre facteurs premiers sont (suite A074379 de l'OEIS) :
i | |
---|---|
1 | 41041 = 7 · 11 · 13 · 41 |
2 | 62745 = 3 · 5 · 47 · 89 |
3 | 63973 = 7 · 13 · 19 · 37 |
4 | 75361 = 11 · 13 · 17 · 31 |
5 | 101101 = 7 · 11 · 13 · 101 |
6 | 126217 = 7 · 13 · 19 · 73 |
7 | 172081 = 7 · 13 · 31 · 61 |
8 | 188461 = 7 · 13 · 19 · 109 |
9 | 278545 = 5 · 17 · 29 · 113 |
10 | 340561 = 13 · 17 · 23 · 67 |
Une coïncidence amusante est la suivante : le troisième nombre de Carmichael et premier nombre de Chernick , 1729, est le nombre de Hardy-Ramanujan, c'est-à-dire le plus petit entier positif qui peut être écrit de deux façons différentes comme la somme de deux cubes (1729 = 7 × 13 × 19 = 103 + 93 = 123 + 13). Dans la même veine, le deuxième nombre de Carmichael, 1105, peut être écrit comme somme de deux carrés de plus de façons que n'importe quel entier qui lui est inférieur.
Le nombre 101 101 est le plus petit nombre de Carmichael palindrome. L'astéroïde numéroté 101 101 a été baptisé du nom de Carmichael[13].
Démonstration du théorème de Korselt
modifier- Soient un nombre de Carmichael (donc impair), l'un de ses facteurs premiers, l'exposant de dans , et un entier à la fois générateur du groupe cyclique des unités de ℤ/prℤ et premier avec (il en existe, d'après le théorème chinois). Alors est divisible par donc par , donc est un multiple de l'ordre multiplicatif de modulo , c'est-à-dire de . Il en résulte que (puisque divise et ) et que divise .
- Réciproquement, supposons que soit un produit de nombres premiers distincts p1, p2, … , pk et que les nombres p1 – 1, p2 – 1, … divisent tous . Alors, pour tout entier et tout i, on a et donc (d'après le petit théorème de Fermat) . Le nombre est congru à modulo chacun des , donc aussi modulo leur produit . C'est vrai pour tout entier (même non premier avec ), en particulier est un nombre de Carmichael dès que .
Cela achève la démonstration du théorème de Korselt.
Conséquences du théorème de Korselt :
Si est un facteur premier d'un nombre de Carmichael alors, modulo , on a n/p = (n/p)1 ≡ (n/p)p = n ≡ 1. Autrement dit, si est un facteur premier d'un nombre de Carmichael, alors le produit des autres facteurs premiers est congru à 1 modulo .
Un nombre de Carmichael ne peut être le produit de deux nombres premiers et , car alors chacun des deux nombres et diviserait l'autre et ils seraient égaux.
Tout nombre de Carmichael est donc le produit d'au moins trois nombres premiers (impairs) distincts.
Nombres de Carmichael d'ordre supérieur
modifierLes nombres de Carmichael peuvent être généralisés en utilisant les concepts de l'algèbre générale.
La définition ci-dessus énonce qu'un entier composé est un nombre de Carmichael précisément lorsque la fonction puissance -ième de l'anneau commutatif des entiers modulo dans lui-même est la fonction identité. L'identité est le seul -endomorphisme d'algèbre sur donc nous pouvons retrouver la même définition en demandant que soit un endomorphisme d'algèbre de . Comme ci-dessus, satisfait à cette propriété quand est premier.
La fonction puissance -ième peut se définir sur n'importe quelle -algèbre A. Un théorème énonce que est premier si et seulement si toutes les fonctions sont des endomorphismes d'algèbres.
Entre ces deux conditions se trouve la définition des nombres de Carmichael d'ordre pour un entier positif comme étant les nombres composés tel que est un endomorphisme de chaque -algèbre pouvant être générée comme -module par éléments. Les nombres de Carmichael d'ordre 1 sont alors les nombres de Carmichael ordinaires.
Propriétés
modifierLe critère de Korselt peut être généralisé aux nombres de Carmichael d'ordre supérieur[14].
Un argument heuristique[14] semble suggérer qu'il existe une infinité de nombres de Carmichael d'ordre , quel que soit . Néanmoins, on ne connaît aucun nombre de Carmichael d'ordre 3 ou plus.
Notes et références
modifier- Michel BALAZARD, Abdelhakim SMATI, « Travaux de Pomerance sur la fonction phi d'Euler », publications mathématiques d'Orsay, 1989-1990, p. 9 (lire en ligne)
- (en) William Alford, Andrew Granville et Carl Pomerance, « There are infinitely many Carmichael numbers », Ann. of Math., vol. 140, no 3, , p. 703-722 (lire en ligne).
- Plus exactement, il s'agit de la variante testant la divisibilité de par , car le test de primalité de Fermat réussit pour tous les diviseurs de . Ainsi, n'est pas divisible par 8, alors que est bien divisible par 8.
- A. R. Korselt, « Problème chinois [réponse à une question de G. Tarry] », L'Intermédiaire des mathématiciens, vol. 6, , p. 143 (lire en ligne), lire également (volumes 5 et 6 complets). La question est posée par Tarry dans le même périodique en 1988, voir volume 5 p 266, les réponses, parmi lesquelles celle de Korselt, vont de la page 142 à la page 144 du volume 6.
- Ribenboim 1996, p. 118.
- (en) R. D. Carmichael, « Note on a new number theory function », Bull. Amer. Math. Soc., vol. 16, no 5, , p. 232–238 (DOI 10.1090/s0002-9904-1910-01892-9, lire en ligne), p. 237-238.
- (en) Carmichael, R. D., « On composite numbers P which satisfy the Fermat congruence aP-1 ≡ 1 mod P », Amer. Math. Monthly, vol. 19, no 2, , p. 22–27 (DOI 10.2307/2972687).
- Pour les 10 000 premiers, voir ce lien de la suite A002997 de l'OEIS. La décomposition en facteurs premiers des 8 241 premiers est donnée ici.
- (en) J. Chernick, « On Fermat's simple theorem », Bull. Amer. Math. Soc., vol. 45, , p. 269-274 (lire en ligne).
- (en) P. Erdős, « On pseudoprimes and Carmichael numbers », Publ. Math. Debrecen, vol. 4, , p. 201-206 (lire en ligne).
- Une expérimentation numérique donne C(1021) = 20 138 200 ((en) Richard G. E. Pinch, The Carmichael numbers up to 10 to the 21, sur sa page personnelle), nettement supérieur à 106.
- (en) Thomas Wright, « Infinitely many Carmichael numbers in arithmetic progressions », Bull. London Math. Soc., vol. 45, 2013, p. 943-952 « 1212.5850 », texte en accès libre, sur arXiv..
- « (101101) Carmichael = 1998 RO41 », WGSBN Bulletin, vol. 4, no 13, , p. 19 (lire en ligne).
- (en) Everett W. Howe, « Higher-order Carmichael numbers », Math. Comp., vol. 69, 2000, p. 1711-1719 « math.NT/9812089 », texte en accès libre, sur arXiv..
Bibliographie
modifier(en) Paulo Ribenboim, The New Book of Prime Number Records, Springer, , 541 p. (ISBN 0-387-94457-5), chap. IX
Voir aussi
modifierArticle connexe
modifierLiens externes
modifier- (en) The Dullness of 1729 sur mathpages.com
- (en) Richard Guy, Unsolved Problems in Number Theory, 3e éd., Springer Verlag, 2004, section A13
- (en) G. Ander Steele, « Carmichael numbers in number rings », J. Number Theor., vol. 128, no 4, , p. 910-917 (DOI 10.1016/j.jnt.2007.08.009, lire en ligne)