Nombre de Carmichael

Robert Daniel 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, est un nombre composé $n$ 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 $a$ premier avec $n$, $n$ est un diviseur de $a^{n-1}-1$.

C'est donc un nombre pseudo-premier de Fermat en toute base première avec lui (on peut d'ailleurs se restreindre aux entiers $a$ de 2 à $n-1$ dans cette définition).

D'après le lemme de Gauss, cette propriété équivaut à que pour tout entier $a$ premier avec $n$, $n$ soit un diviseur de $a^n-a$. Mais l'étude des nombres de Carmichael permet de montrer que ce sont aussi les nombres composés vérifiant :

pour tout entier $a$, $n$ est un diviseur de $a^n-a$,

ce qui correspond, pour les nombres premiers $n$, à 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; voir la Modèle:OEIS.

Contexte

Le petit théorème de Fermat énonce que les nombres premiers ont la propriété que pour tout entier $a$, $n$ est un diviseur de $a^n-a$. 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ésModèle:Note, quel que soit le choix du témoin $a$, 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 Modèle:646e de Carmichael vaut 993 905 641 et il existe 105 212 nombres de Carmichael entre 1 et 10Modèle:15.

Appellation

L'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

Une caractérisation des nombres de Carmichael est donnée par le théorème de Korselt :

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, à 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. En 1910, Robert Daniel Carmichael énonce indépendamment 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, résultats qu'il reprend et développe dans un article paru en 1912. C'est à la suite de ces articles que ces nombres sont appelés nombres de Carmichael.

On vérifie facilement que Modèle:Nobr 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 Modèle:Nobr, Modèle:Nobr et Modèle:Nobr sont tous trois des diviseurs de 560.

Les sept premiers nombres de Carmichael sont :

Modèle:Nobr

Modèle:Nobr

Modèle:Nobr

Modèle:Nobr

Modèle:Nobr

Modèle:Nobr

Modèle:Nobr.

J. Chernick démontre un théorème en 1939 qui peut être utilisé pour construire un sous-ensemble de nombres de Carmichael. Le nombre $(6k+1)(12k+1)(18k+1)$ 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 $k$ décrit l'ensemble des entiers. Tout nombre de Chernick est aussi un nombre de Zeisel avec $a=1$ et $b=6k$.

Nombre de nombres de Carmichael

En 1956, Paul Erdős démontre l'existence d'une constante $K$ telle que le nombre $C(n)$ de nombres de Carmichael inférieurs ou égaux à $n$ est majoré par $n\exp \left(\frac{-K\ln n\ln \ln \ln n}{\ln \ln n}\right)$.

Le tableau suivant donne les valeurs minimales approximatives de cette constante, pour $n⩽10^m$:

$m$	4	6	8	10	12	14	16	18	20
$K$	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 $\epsilon >0,C(n)>n^{1-\epsilon }$pour $n$ 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 Modèle:Lien, Andrew Granville et Carl Pomerance, qui démontrent même plus précisément que $C(n)>n^{2/7}$ pour $n$ assez grand.

En 2013, Thomas Wright démontre qu'il existe une infinité de nombres de Carmichael dans toute suite arithmétique $(an+b)$ où $\text{pgcd}(a,b)=1$.

Propriétés

Tout nombre de Carmichael est impair. En effet, pour tout entier composé pair $n$, $(-1{)}^n-(-1)=2$ n'est pas divisible par $n$.

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 (Modèle: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 (Modèle: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 = 10³ + 9³ = 12³ + 1³). 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.

Démonstration du théorème de Korselt

• Soient $n$ un nombre de Carmichael (donc impair), $p$ l'un de ses facteurs premiers, $r$ l'exposant de $p$ dans $n$, et $a$ un entier à la fois générateur du groupe cyclique des [[Anneau Z/nZ#Cas où n n'est pas premier|unités de ℤ/pModèle:Expℤ]] et premier avec $n$ (il en existe, d'après le théorème chinois). Alors $a^{n-1}-1$ est divisible par $n$ donc par $p^r$, donc $n-1$ est un multiple de l'ordre multiplicatif de $a$ modulo $p^r$, c'est-à-dire de $p^{r-1}(p-1)$. Il en résulte que $r=1$ (puisque $p^{r-1}$ divise $n-1$ et $n$) et que $p-1$ divise $n-1$.
• Réciproquement, supposons que $n$ soit un produit de nombres premiers distincts pModèle:Ind, pModèle:Ind, … , pModèle:Ind et que les nombres pModèle:Ind – 1, pModèle:Ind – 1, … divisent tous $n-1$. Alors, pour tout entier $a$ et tout i, on a $n\equiv 1mod(p_i-1)$ et donc (d'après le petit théorème de Fermat) $a^n\equiv amod(p_i-1)$. Le nombre $a^n$ est congru à $a$ modulo chacun des $p_i$, donc aussi modulo leur produit $n$. C'est vrai pour tout entier $a$ (même non premier avec $n$), en particulier $n$ est un nombre de Carmichael dès que $k>1$.

Cela achève la démonstration du théorème de Korselt.

Conséquences du théorème de Korselt :

Si $p$ est un facteur premier d'un nombre de Carmichael $n$ alors, modulo $p-1$, on a n/p = (n/p)1 ≡ (n/p)p = n ≡ 1. Autrement dit, si $p$ est un facteur premier d'un nombre de Carmichael, alors le produit des autres facteurs premiers est congru à 1 modulo $p-1$.

Un nombre de Carmichael ne peut être le produit de deux nombres premiers $p$ et $q$, car alors chacun des deux nombres $p-1$et $q-1$ 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

Les 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é $n$ est un nombre de Carmichael précisément lorsque la fonction puissance $n$-ième $p_n$ de l'anneau commutatif $\mathbb{Z}/n\mathbb{Z}$ des entiers modulo $n$ dans lui-même est la fonction identité. L'identité est le seul $\mathbb{Z}/n\mathbb{Z}$-endomorphisme d'algèbre sur $\mathbb{Z}/n\mathbb{Z}$ donc nous pouvons retrouver la même définition en demandant que $p_n$ soit un endomorphisme d'algèbre de $\mathbb{Z}/n\mathbb{Z}$. Comme ci-dessus, $p_n$ satisfait à cette propriété quand $n$ est premier.

La fonction puissance $n$-ième $p_n$ peut se définir sur n'importe quelle $\mathbb{Z}/n\mathbb{Z}$-algèbre A. Un théorème énonce que $n$ est premier si et seulement si toutes les fonctions $p_n$ sont des endomorphismes d'algèbres.

Entre ces deux conditions se trouve la définition des nombres de Carmichael d'ordre $m$ pour un entier positif $m$ comme étant les nombres composés $n$ tel que $p_n$ est un endomorphisme de chaque $\mathbb{Z}/n\mathbb{Z}$-algèbre pouvant être générée comme $\mathbb{Z}/n\mathbb{Z}$-module par $m$ éléments. Les nombres de Carmichael d'ordre 1 sont alors les nombres de Carmichael ordinaires.

Propriétés

Le critère de Korselt peut être généralisé aux nombres de Carmichael d'ordre supérieur.

Un argument heuristique semble suggérer qu'il existe une infinité de nombres de Carmichael d'ordre $m$, quel que soit $m$. Néanmoins, on ne connaît aucun nombre de Carmichael d'ordre 3 ou plus.

Voir aussi

Liens externes

• Modèle:En The Dullness of 1729 sur mathpages.com
• Modèle:En Richard Guy, Unsolved Problems in Number Theory, Modèle:3e éd., Springer Verlag, 2004, section A13
• Modèle:Article