Nombre pseudo-premier d'Euler
Modèle:À sourcer En mathématiques, un nombre pseudo-premier d'Euler de base Modèle:Mvar est un nombre composé impair Modèle:Mvar premier avec Modèle:Mvar et tel que la congruence suivante soit vérifiée :
Cette définition<ref>Modèle:Demazure1.</ref> est motivée par le critère d'Euler (qui précise le petit théorème de Fermat), d'après lequel si Modèle:Mvar est un nombre premier impair premier avec Modèle:Mvar, cette congruence a lieu.
La relation peut être vérifiée assez rapidement, ce qui est utilisé pour les tests de primalité. Ces tests sont deux fois plus forts que les tests basés sur le petit théorème de Fermat.
Tout nombre pseudo-premier d'Euler est aussi un nombre pseudo-premier de Fermat. Il n'est pas possible de produire un test définitif de primalité basé sur l'éventualité qu'un nombre soit un pseudo-premier d'Euler parce qu'il existe des nombres pseudo-premiers absolus d'Euler, qui sont des pseudo-premiers d'Euler pour chaque base relativement première à eux-mêmes. Les nombres pseudo-premiers absolus d'Euler forment un sous-ensemble des pseudo-premiers de Fermat absolus, ou nombres de Carmichael. Le plus petit pseudo-premier absolu d'Euler est 1729 = 7 × 13 × 19.
La condition plus forte Modèle:Retrait où pgcd(Modèle:Mvar, Modèle:Mvar) = 1 et <math>\left(\frac an\right)</math> est le symbole de Jacobi, est quelquefois prise comme définition d'un pseudo-premier d'Euler<ref>https://math.dartmouth.edu/~carlp/PDF/paper25.pdf</ref>. Une discussion sur les nombres de cette forme peut être trouvée dans l'article « Nombre pseudo-premier d'Euler-Jacobi ».
Notes et références
Modèle:Traduction/Référence Modèle:Références
Voir aussi
Article connexe
Lien externe
Nombres pseudo-premiers d'Euler de base 2 : Modèle:OEIS
