Número de Carmichael

En teoría de números, los números de Carmichael son los números compuestos n que satisfacen la congruencia Plantilla:Ecuación Los números de Carmichael reciben su nombre por el matemático Robert Daniel Carmichael que los estudió.

Relevancia

El Teorema de Fermat establece que si p es un número primo, entonces la congruencia Plantilla:Ecuación es válida para cualquier número $a$ no divisible por $p$.

Dicho de otra manera, si a no es divisible por p entonces p divide a a^p-1-1: Plantilla:Ecuación

Para determinar si un número n es primo o no, se escoge un número a que sea primo relativo con n y se calcula $a^{n-1}(\mathrm{mod}n)$. Si el resultado es diferente a 1, el número es compuesto con toda certeza.

Desafortunadamente si el resultado es 1 no es posible asegurar a ciencia cierta que el número n es primo, ya que el inverso del teorema de Fermat no es válido: existen números compuestos a tales que $a^{n-1}\equiv 1(\mathrm{mod}n)$. Estos números se denominan pseudoprimos en la base a, por lo que la prueba propuesta no es en realidad una verdadera prueba de primalidad.

Los números de Carmichael son entonces números pseudoprimos en cualquier base: son los números para los que la prueba anterior falla para cualquier elección de base que sea primo relativo con el número dado.

Ejemplos

Los primeros números de Carmichael son Plantilla:Ecuación

El primer número de Carmichael es Plantilla:Ecuación por lo que no es primo. Sin embargo Plantilla:Ecuación

Véase también

• Pseudoprimo
• Introducción a la Matemática Discreta (Universidad de Sevilla)

Referencias

• Carmichael, R. D. (1912) On composite numbers P which satisfy the Fermat congruence $a^{P-1}\equiv 1modP$. Am. Math. Month. 19 22–27.
• Erdős, Paul (1956). On pseudoprimes and Carmichael numbers, Publ. Math. Debrecen 4, 201 –206.
• Alford, Granville and Pomerance (1994). There are infinitely many Carmichael numbers, Ann. of Math. 140(3), 703–722.

Enlaces externos

• Plantilla:Springer
• Plantilla:MathWorld