Puede un Mersenne número de nunca ser un número de Carmichael?
Más específicamente, puede un número compuesto $m$ de la forma $2^n-1$ cada vez pasa la prueba: $a^{m-1} \equiv 1 \mod m$ para todos los intergers $a >1$ (Fermat Prueba)?
Los casos potencialmente resultó tan lejos: (Que nunca son los números de Carmichael)
- donde $n$ es impar
- donde $n$ es el prime
- donde $n = \lambda(m)$ (El Carmichael función)
Trabajo utilizando la "principal" de la definición:
En primer lugar toma la definición de un número de Carmichael:
Un positivo compuesto entero $m$ es un número de Carmichael si y sólo si $m$ es la plaza libre, y para todos los primos divisores de $p$ de $m$, es cierto que $p - 1 \mediados de los m - 1$.
Supongamos que $m=2^n-1$ es squarefree. (Mejor de los casos, y creo que siempre es por $2^p-1$)
Tomemos el caso donde $n$ (en $2^n-1$), es un excelente $p$. Todos los factores de $2^p-1$ debe de la forma: $2kp+1$ para algunas constantes de $k$. Así se $2kp$ nunca dividir $2^p-2$? El Factoring $2$ nos da $kp \mid 2^{p-1}-1$, o dividirse en dos: $k \mid 2^{p-1}-1$ y $p \mid 2^{p-1}-1$ deben ser ambos verdaderos. Por Fermat poco teorema, $2^{p-1} \equiv 1 \mod p$, entonces $p \mid 2^{p-1}-1$ siempre es cierto.
Así que si $k \mid 2^{p-1}-1$ para $k = {q-1 \sobre p}$, es falso por lo menos un factor de $p$ de $2^p-1$, no los números de Carmichael puede existir de forma $2^p-1$.
Ahora para otros casos donde $$ n es compuesto, digamos $n=cp$, para algunos el primer $p$, y algún número $de c$:
$\begin{align}2^{cp}-1&y=(2^p-1)\cdot \left(1+2^p+2^{2}+2^{3p}+\cdots+2^{(c-1)p}\right)\end{align}$
Por lo tanto: $2^{n-1} \mid 2^p-1$
Por eso, debemos mirar los factores de $2^p-1$ la hora de considerar si $2^{cp}-1$ es un número de Carmichael. Así que sabemos que esos factores son ya de la forma $2kp+1$, entonces $kp \mid 2^{cp-1}-1$.
Aquí es donde me quedo. en una prueba incompleta.
El uso de Bernoulli definición:
Un extraño compuesto squarefree número $m$ es un número de Carmichael iff $m$ divide el denominador del número de Bernoulli $B_{n-1}$.
El uso de Von Staudt–Clausen teorema, puede ser una forma de prueba de que los factores de Bernoulli número denominador nunca puede dividir un mersenne número.