Hola, Víctor, buenos días.
(A) Sobre la forma de escribir o representar la congruencia, en la publicacion que sugeriste revisar, vi que lo ponian así y supuse que ambas formas serian validas; pero ahora sé las formas de hacerlo.
Sí, hay un sitio en que lo pone así no sé por qué, pero si te fijas más arriba lo pone como yo digo, que es lo normal; vamos, que yo haya siempre visto.
→ Pero en este caso estaríamos evaluando la primalidad de (13) con Fermat y de (27) con Euler...
Tiene que ser siempre módulo el primo (supuesto primo) que estás intentando determinar, claro; estás trabajando en el anillo \( \mathbb{Z}_{p} \) siendo “p” el primo que estás comprobando.
Cuando llegas al resto 96, este número pertenece tal cual está escrito a \( \mathbb{Z}_{p} \), porque es menor que 97, pero también es verdad que está a distancia de “-1”, como haces ver, con lo que no pasa nada, pude seguir siendo primo el “p” que estás analizando.
Pero al llegar al resto “22” no sé qué pasa, 22 pertenece también a \( \mathbb{Z}_{p} \), pero está a distancia de “-75”, por lo que no es de la clase “1”. Seguramente habrá que tener en cuenta alguna historia, ya te digo que yo esto lo conozco muy por encima, a lo mejor cuando se llega a ese “-1” hay que parar porque ya se tienen las dos raíces posibles, no sé, algo se considerará.
Sobre esto, será mas importante y/o trascendente que determinar los siguientes primos de Mersenne ? Qué lo hace mas importante ? El tiempo que tiene el test, la importancia o renombre del matemático... solo para saber, importa algo de esto o con la demostracion que se haga es suficiente.
En caso de que el test tuviera una pega (que insisto en que no, que lo que pasa, casi segurísimo, es que yo desconozco algo que hay que considerar) el detectar esa posible pega sería importantísimo porque, en tal circunstancia, los matemáticos que se dedican a usarlo tendrían una herramienta defectuosa que acarrearía fallos graves; como que el test desechara números primos auténticos como si no lo fueran. Y, como podrás comprender, esto es mucho más importante que hallar un primo suelto y particular; hay infinitos, en realidad lo de pescar primos, si no sirve para generalizar nada, no lleva a nada útil.
Por otra parte ten en cuenta además que llega un momento en que ya no son los primos, es que si los números tienen trillones de cifras, por ejemplo, también es difícil decir si son múltiplos de tres, no ya primos, porque hay que sumar trillones de dígitos y ver si esa suma da un múltiplo de 3. O sea, que los primos son difíciles de determinar, pero no de forma tan especial como parece, también lo son otros números naturales. Si acaban en cero o en par o en cinco, se sabe a la primera que son múltiplos de 2 ó de 5 aunque tengan todas las cifras del mundo, pero en otros casos...
→ Pero en otros aparece "k", "q", "m", "n" y demas, por lo que era preciso preguntar como era esto de la "k".
Ah, he usado la letra “k” como podría haber usado la “c”, de cociente, u otra letra, eso no importa, hay quien usa unas letras y hay quien usa otras, lo importante es que es esta relación:
\( dividendo=(cociente)\,\cdot (divisor)+(resto) \)
y que se entiende que todos esos números de la expresión son enteros, sin decimales.
Se que ya dijimos que no existiría una formula generadora de primos, asi de forma directa y ordenados en fila india... Pero podría ser que ciertos numeros de Carmichael (no todos) complementan la secuencia de primos.
Usando primos y algunos otros números impares sí se pueden encontrar fórmulas que nos den el siguiente al número “n” que sea de la sucesión que podemos formar así, pero no sé si se puede o no con los números de Carmichael, no lo he investigado.
Sí investigué cosas así, pero entonces no sabía que eran los primos de Carmichael; y, en cualquier caso, nunca se sabe del todo quiénes son los primos o no en esas sucesiones (al menos a mí me pasa eso) sólo se sabe que hay de las dos cosas. Por ejemplo, una enredosa sucesión que analicé era así:
Primero, vamos restando los primos consecutivamente de esta manera
\( {\color{red}3}-2=1 \)
\( {\color{magenta}5}-{\color{red}3}=2 \)
\( {\color{blue}7}-{\color{magenta}5}=2 \)
\( {\color{green}11}-{\color{blue}7}=4 \)
\( 13-{\color{green}11}=2 \)
…
Nos van dando las distancias entre primos consecutivos: 1,2,2,4,2,4,2,4,6...
Si ahora sumamos las dos primeras distancias, tenemos 1+2=3, si sumamos los tres primeras tenemos 1+2+2=5, si sumamos las cuatro primeras nos da 1+2+2+4=9,etc., o sea, obtenemos esta sucesión:
3,5,9,11,15,17,21,27, 29,35,39...
si ahora tomamos los impares que faltan en esa sucesión, tenemos esta otra sucesión
7,13,19,23,25,31,33,37...
si ahora a ésta le restamos los términos de la otra... obtenemos una sucesión que empieza a tener “forma”...
4,8,10,12,10,14,12,10,...
Sobre esto tenía yo una interesante conjetura que nunca comprobé si llegaba más lejos o no.
Como se observa, se intercalan dieces, doces... Y si ahora comparamos los lugares en los que entran los compuestos en la otra sucesión que teníamos antes
3,5,9,11,15,17,21,27, 29,35,39...
con el lugar donde se empiezan a repetir los dieces, doces... en esta última
\( 4,8,{\color{red}10},{\color{blue}12},{\color{red}10},14,{\color{blue}12},{\color{red}10}... \)
vemos que los dieces están en el tercer, quinto, octavo lugar... y en esos lugares tenemos, en la otra, al 9, al 15, al 27... que no son primos. También pasa lo mismo cuando se repite el 12 por segunda vez (en el séptimo lugar) vemos que en el séptimo lugar de la otra sucesión entra el 21, que tampoco es primo... pareciendo que quiere completar los múltiplos de 3 impares...
Pareciera que de esta sucesión se podría sacar algo, aparenta cierta simetría que seguramente o sin duda existe, pero la simetría se puede ir complicando mucho (aunque no se pierda del todo) y habría que estudiarla más profundamente (si lo ves interesante, puedes hacerlo).
Y más cosas que investigué, mucho mas intrincadas, con fracciones continuas, con bases numéricas, con cosas de geometría y álgebra lineal e incluso con lo poquito que sabía de análisis... pero estos últimos años han sido para mí (en cosas no relacionadas con las matemáticas) muy malos, devastadores, y estoy un poco deteriorado de todo, no sólo de la vista y de la memoria, como te dije.
Así que ya no hago nada más que pasar por aquí a modo de turista que charla con los otros paseantes y mira los números casi como un paisaje, como si las ecuaciones y demás fueran acuarelas de Turner o pasteles de Degas.
Una pena, me gustaría estar mejor de todo (y sobre todo de motivación) porque así yo también programaría e investigaría y podríamos trabajar juntos; a distancia pero juntos.
Pero, bueno, a cambio, te cuento estas cosas que sólo recuerdo a medias ya (tiré muchos papeles que quizá hubiera sido interesante conservar... qué le vamos hacer).
Un cordial saludo.