Llamado en honor a | Marín Mersenne |
---|---|
Número de términos conocidos | 52 |
Número conjeturado de términos | Infinito |
Subsecuencia de | Números de Mersenne |
Primeros términos | 3 , 7 , 31 , 127 , 8191 |
Término más grande conocido | 2 136 279 841 − 1 (21 de octubre de 2024) |
Índice OEIS |
|
En matemáticas , un primo de Mersenne es un número primo que es uno menos que una potencia de dos . Es decir, es un número primo de la forma M n = 2 n − 1 para cualquier entero n . Reciben su nombre de Marin Mersenne , un fraile francés de la Orden Mínima , que los estudió a principios del siglo XVII. Si n es un número compuesto , entonces también lo es 2 n − 1. Por lo tanto, una definición equivalente de los primos de Mersenne es que son los números primos de la forma M p = 2 p − 1 para algún primo p .
Los exponentes n que dan primos de Mersenne son 2, 3, 5, 7, 13, 17, 19, 31, ... (secuencia A000043 en la OEIS ) y los primos de Mersenne resultantes son 3 , 7 , 31 , 127 , 8191, 131071, 524287, 2147483647 , ... (secuencia A000668 en la OEIS ).
Los números de la forma M n = 2 n − 1 sin el requisito de primalidad pueden llamarse números de Mersenne . Sin embargo, a veces, los números de Mersenne se definen con el requisito adicional de que n sea primo. El número de Mersenne compuesto más pequeño con exponente primo n es 2 11 − 1 = 2047 = 23 × 89 .
Los números primos de Mersenne se estudiaron en la antigüedad debido a su estrecha relación con los números perfectos: el teorema de Euclides-Euler afirma una correspondencia biunívoca entre los números perfectos pares y los primos de Mersenne. Muchos de los números primos más grandes conocidos son primos de Mersenne porque es más fácil comprobar su primalidad.
A partir de 2024 [árbitro], se conocen 52 números primos de Mersenne. El mayor número primo conocido , 2 136 279 841 − 1 , es un primo de Mersenne. [1] [2] Desde 1997, todos los nuevos primos de Mersenne encontrados han sido descubiertos por la Gran Búsqueda de Primos de Mersenne en Internet , un proyecto de computación distribuida . En diciembre de 2020, se alcanzó un hito importante en el proyecto después de que todos los exponentes por debajo de 100 millones se verificaran al menos una vez. [3]
Aún quedan por resolver muchas cuestiones fundamentales sobre los números primos de Mersenne. Ni siquiera se sabe si el conjunto de números primos de Mersenne es finito o infinito.
La conjetura de Lenstra-Pomerance-Wagstaff afirma que hay infinitos primos de Mersenne y predice su orden de crecimiento y frecuencia: para cada número n, debería haber en promedio alrededor de ≈ 5,92 primos p con n dígitos decimales (es decir, 10 n-1 < p < 10 n ) para los cuales es primo.
Tampoco se sabe si infinitos números de Mersenne con exponentes primos son compuestos, aunque esto se seguiría de conjeturas ampliamente aceptadas sobre los números primos, por ejemplo, la infinitud de primos de Sophie Germain congruentes con 3 ( mod 4 ). Para estos primos p , 2 p + 1 (que también es primo) dividirá a M p , por ejemplo, 23 | M 11 , 47 | M 23 , 167 | M 83 , 263 | M 131 , 359 | M 179 , 383 | M 191 , 479 | M 239 , y 503 | M 251 (secuencia A002515 en la OEIS ). Como para estos primos p , 2 p + 1 es congruente con 7 mod 8, entonces 2 es un residuo cuadrático mod 2 p + 1 , y el orden multiplicativo de 2 mod 2 p + 1 debe dividir a . Como p es un primo, debe ser p o 1. Sin embargo, no puede ser 1 ya que y 1 no tiene factores primos , entonces debe ser p . Por lo tanto, 2 p + 1 divide y no puede ser primo. Los primeros cuatro primos de Mersenne son M 2 = 3 , M 3 = 7 , M 5 = 31 y M 7 = 127 y como el primer primo de Mersenne comienza en M 2 , todos los primos de Mersenne son congruentes con 3 (mod 4). Aparte de M 0 = 0 y M 1 = 1 , todos los demás números de Mersenne también son congruentes con 3 (mod 4). En consecuencia, en la factorización prima de un número de Mersenne ( ≥ M 2 ) debe haber al menos un factor primo congruente con 3 (mod 4).
Un teorema básico sobre los números de Mersenne establece que si M p es primo, entonces el exponente p también debe ser primo. Esto se deduce de la identidad Esto descarta la primalidad para los números de Mersenne con un exponente compuesto, como M 4 = 2 4 − 1 = 15 = 3 × 5 = (2 2 − 1) × (1 + 2 2 ) .
Aunque los ejemplos anteriores podrían sugerir que M p es primo para todos los primos p , este no es el caso, y el contraejemplo más pequeño es el número de Mersenne.
La evidencia disponible sugiere que es mucho más probable que un número de Mersenne seleccionado al azar sea primo que un entero impar de tamaño similar seleccionado al azar arbitrariamente. [4] No obstante, los valores primos de M p parecen volverse cada vez más escasos a medida que p aumenta. Por ejemplo, ocho de los primeros 11 primos p dan lugar a un primo de Mersenne M p (los términos correctos en la lista original de Mersenne), mientras que M p es primo solo para 43 de los primeros dos millones de números primos (hasta 32.452.843).
La falta actual de cualquier prueba simple para determinar si un número de Mersenne dado es primo hace que la búsqueda de primos de Mersenne sea una tarea difícil, ya que los números de Mersenne crecen muy rápidamente. La prueba de primalidad de Lucas-Lehmer (LLT) es una prueba de primalidad eficiente que ayuda en gran medida a esta tarea, haciendo que sea mucho más fácil probar la primalidad de los números de Mersenne que la de la mayoría de los otros números del mismo tamaño. La búsqueda del primo más grande conocido tiene una especie de seguimiento de culto . [5] En consecuencia, se ha gastado una gran cantidad de potencia informática en la búsqueda de nuevos primos de Mersenne, gran parte de lo cual ahora se hace utilizando computación distribuida .
El módulo aritmético de un número de Mersenne es particularmente eficiente en una computadora binaria , lo que los convierte en opciones populares cuando se desea un módulo primo, como el generador de números aleatorios de Park-Miller . Para encontrar un polinomio primitivo de orden de número de Mersenne se requiere conocer la factorización de ese número, por lo que los primos de Mersenne permiten encontrar polinomios primitivos de orden muy alto. Dichos trinomios primitivos se utilizan en generadores de números pseudoaleatorios con períodos muy grandes, como el Twister de Mersenne , el registro de desplazamiento generalizado y los generadores de Fibonacci rezagados .
Los primos de Mersenne M p están estrechamente relacionados con los números perfectos . En el siglo IV a. C., Euclides demostró que si 2 p − 1 es primo, entonces 2 p − 1 (2 p − 1 ) es un número perfecto. En el siglo XVIII, Leonhard Euler demostró que, a la inversa, todos los números perfectos pares tienen esta forma. [6] Esto se conoce como el teorema de Euclides-Euler . Se desconoce si existen números perfectos impares .
Una forma alternativa de los números perfectos (que no afecta la esencia): Si es un número primo, entonces es un número perfecto. (Los números perfectos son números triangulares cuya base es un primo de Mersenne).
2 | 3 | 5 | 7 | 11 | 13 | 17 | 19 |
---|---|---|---|---|---|---|---|
23 | 29 | 31 | 37 | 41 | 43 | 47 | 53 |
59 | 61 | 67 | 71 | 73 | 79 | 83 | 89 |
97 | 101 | 103 | 107 | 109 | 113 | 127 | 131 |
137 | 139 | 149 | 151 | 157 | 163 | 167 | 173 |
179 | 181 | 191 | 193 | 197 | 199 | 211 | 223 |
227 | 229 | 233 | 239 | 241 | 251 | 257 | 263 |
269 | 271 | 277 | 281 | 283 | 293 | 307 | 311 |
Los primeros 64 exponentes primos, con los correspondientes a los primos de Mersenne sombreados en cian y en negrita, y los que Mersenne cree que lo hacen en rojo y en negrita. |
Los primos de Mersenne toman su nombre del erudito francés del siglo XVII Marin Mersenne , quien compiló lo que se suponía que era una lista de primos de Mersenne con exponentes de hasta 257. Los exponentes enumerados por Mersenne en 1644 fueron los siguientes:
Su lista replicó los primos conocidos de su tiempo con exponentes de hasta 19. Su siguiente entrada, 31, era correcta, pero la lista luego se volvió en gran parte incorrecta, ya que Mersenne incluyó por error M 67 y M 257 (que son compuestos) y omitió M 61 , M 89 y M 107 (que son primos). Mersenne dio pocas indicaciones de cómo se le ocurrió su lista. [7]
Édouard Lucas demostró en 1876 que M 127 es de hecho primo, como afirmó Mersenne. Este fue el mayor número primo conocido durante 75 años hasta 1951, cuando Ferrier encontró un primo mayor, , utilizando una máquina calculadora de escritorio. [8] : página 22 M 61 fue determinado como primo en 1883 por Ivan Mikheevich Pervushin , aunque Mersenne afirmó que era compuesto y por esta razón a veces se lo llama número de Pervushin. Este fue el segundo mayor número primo conocido, y permaneció así hasta 1911. Lucas había demostrado otro error en la lista de Mersenne en 1876 al demostrar que M 67 era compuesto sin encontrar un factor. No se encontró ningún factor hasta una famosa charla de Frank Nelson Cole en 1903. [9] Sin decir una palabra, fue a una pizarra y elevó 2 a la potencia 67, luego restó uno, dando como resultado el número 147.573.952.589.676.412.927 . En el otro lado del tablero, multiplicó 193.707.721 × 761.838.257.287 y obtuvo el mismo número, luego regresó a su asiento (entre aplausos) sin decir nada. [10] Más tarde dijo que le había llevado "tres años de domingos" encontrar el resultado. [11] Una lista correcta de todos los primos de Mersenne en este rango de números se completó y verificó rigurosamente solo unos tres siglos después de que Mersenne publicara su lista.
Hay algoritmos rápidos disponibles para encontrar números primos de Mersenne y, a partir de octubre de 2024 [actualizar], los siete números primos más grandes conocidos son primos de Mersenne.
Los primeros cuatro primos de Mersenne M 2 = 3 , M 3 = 7 , M 5 = 31 y M 7 = 127 eran conocidos en la antigüedad. El quinto, M 13 = 8191 , fue descubierto anónimamente antes de 1461; los dos siguientes ( M 17 y M 19 ) fueron encontrados por Pietro Cataldi en 1588. Después de casi dos siglos, Leonhard Euler verificó que M 31 era primo en 1772. El siguiente (en orden histórico, no numérico) fue M 127 , encontrado por Édouard Lucas en 1876, luego M 61 por Ivan Mikheevich Pervushin en 1883. Dos más ( M 89 y M 107 ) fueron encontrados a principios del siglo XX, por RE Powers en 1911 y 1914, respectivamente.
El método más eficiente conocido actualmente para probar la primalidad de los números de Mersenne es la prueba de primalidad de Lucas-Lehmer . En concreto, se puede demostrar que para primo p > 2 , M p = 2 p − 1 es primo si y solo si M p divide a S p − 2 , donde S 0 = 4 y S k = ( S k − 1 ) 2 − 2 para k > 0 .
Durante la era del cálculo manual, todos los exponentes hasta el 257 inclusive se probaron con la prueba de Lucas-Lehmer y se descubrió que eran compuestos. Una contribución notable fue la del profesor de física jubilado de Yale Horace Scudder Uhler, quien realizó los cálculos para los exponentes 157, 167, 193, 199, 227 y 229. [12] Desafortunadamente para esos investigadores, el intervalo que estaban probando contiene la brecha relativa más grande conocida entre primos de Mersenne: el siguiente exponente primo de Mersenne, 521, resultaría ser más de cuatro veces más grande que el récord anterior de 127.
La búsqueda de primos de Mersenne se revolucionó con la introducción de la computadora digital electrónica. Alan Turing los buscó en el Manchester Mark 1 en 1949, [13] pero la primera identificación exitosa de un primo de Mersenne, M 521 , por este medio se logró a las 10:00 pm del 30 de enero de 1952, utilizando la Oficina Nacional de Normas de EE. UU. Western Automatic Computer (SWAC) en el Instituto de Análisis Numérico de la Universidad de California, Los Ángeles (UCLA), bajo la dirección de DH Lehmer , con un programa de búsqueda de computadora escrito y administrado por el profesor RM Robinson . Fue el primer primo de Mersenne en ser identificado en treinta y ocho años; el siguiente, M 607 , fue encontrado por la computadora un poco menos de dos horas después. Tres más - M 1279 , M 2203 y M 2281 - fueron encontrados por el mismo programa en los siguientes meses. M 4.423 fue el primer primo descubierto con más de 1000 dígitos, M 44.497 fue el primero con más de 10.000 y M 6.972.593 fue el primero con más de un millón. En general, el número de dígitos en la representación decimal de M n es igual a ⌊ n × log 10 2⌋ + 1 , donde ⌊ x ⌋ denota la función base (o equivalentemente ⌊log 10 M n ⌋ + 1 ).
En septiembre de 2008, los matemáticos de la UCLA que participaron en la Gran Búsqueda de Primos de Mersenne en Internet (GIMPS) ganaron parte de un premio de 100.000 dólares de la Electronic Frontier Foundation por su descubrimiento de un primo de Mersenne de casi 13 millones de dígitos. El premio, finalmente confirmado en octubre de 2009, es para el primer primo conocido con al menos 10 millones de dígitos. El primo fue encontrado en un Dell OptiPlex 745 el 23 de agosto de 2008. Este fue el octavo primo de Mersenne descubierto en la UCLA. [14]
El 12 de abril de 2009, un registro del servidor GIMPS informó que posiblemente se había encontrado un primo de Mersenne número 47. El hallazgo se detectó por primera vez el 4 de junio de 2009 y se verificó una semana después. El primo es 2 42.643.801 − 1 . Aunque cronológicamente es el primo de Mersenne número 47 descubierto, es más pequeño que el más grande conocido en ese momento, que era el número 45 descubierto.
El 25 de enero de 2013, Curtis Cooper , matemático de la Universidad de Central Missouri , descubrió un 48.º primo de Mersenne, 2 57.885.161 − 1 (un número con 17.425.170 dígitos), como resultado de una búsqueda ejecutada por una red de servidores GIMPS. [15]
El 19 de enero de 2016, Cooper publicó su descubrimiento de un 49º primo de Mersenne, 2 74.207.281 − 1 (un número con 22.338.618 dígitos), como resultado de una búsqueda ejecutada por una red de servidores GIMPS. [16] [17] [18] Este fue el cuarto primo de Mersenne descubierto por Cooper y su equipo en los últimos diez años.
El 2 de septiembre de 2016, la Gran Búsqueda de Primos de Mersenne en Internet terminó de verificar todas las pruebas por debajo de M 37.156.667 , confirmando así oficialmente su posición como el 45º primo de Mersenne. [19]
El 3 de enero de 2018, se anunció que Jonathan Pace, un ingeniero eléctrico de 51 años que vivía en Germantown, Tennessee , había encontrado un 50º primo de Mersenne, 2 77,232,917 − 1 (un número con 23,249,425 dígitos), como resultado de una búsqueda ejecutada por una red de servidores GIMPS. [20] El descubrimiento fue realizado por una computadora en las oficinas de una iglesia en la misma ciudad. [21] [22]
El 21 de diciembre de 2018, se anunció que The Great Internet Mersenne Prime Search (GIMPS) descubrió un nuevo número primo, 2 82,589,933 − 1 , que tiene 24,862,048 dígitos. Una computadora proporcionada voluntariamente por Patrick Laroche de Ocala, Florida, hizo el descubrimiento el 7 de diciembre de 2018. [23]
A finales de 2020, GIMPS comenzó a utilizar una nueva técnica para descartar posibles primos de Mersenne llamada prueba de primos probables (PRP), basada en el desarrollo de Robert Gerbicz en 2017, y una forma sencilla de verificar pruebas desarrolladas por Krzysztof Pietrzak en 2018. Debido a la baja tasa de error y la facilidad de prueba, esto casi redujo a la mitad el tiempo de cálculo para descartar posibles primos en comparación con la prueba de Lucas-Lehmer (ya que dos usuarios ya no tendrían que realizar la misma prueba para confirmar el resultado del otro), aunque los exponentes que pasan la prueba PRP aún requieren que uno confirme su primalidad. [24]
El 12 de octubre de 2024, un usuario llamado Luke Durant de San José, California, encontró el primo de Mersenne más grande conocido hasta el momento, 2 136 279 841 − 1 , que tiene 41 024 320 dígitos. Esto marca el primer primo de Mersenne con un exponente que supera los 8 dígitos. Esto se anunció el 21 de octubre de 2024. [25]
Los números de Mersenne son 0, 1, 3, 7, 15, 31, 63, ... (secuencia A000225 en la OEIS ).
A partir de 2024 [actualizar], los 52 primos de Mersenne conocidos son 2 p − 1 para los siguientes p :
Dado que son números primos, los primos de Mersenne son divisibles solo por 1 y por ellos mismos. Sin embargo, no todos los números de Mersenne son primos de Mersenne. Los números de Mersenne son muy buenos casos de prueba para el algoritmo de criba de campo de números especiales , por lo que a menudo el número más grande factorizado con este algoritmo ha sido un número de Mersenne. A junio de 2019 [actualizar], 2 1,193 − 1 es el poseedor del récord, [28] habiendo sido factorizado con una variante de la criba de campo de números especiales que permite la factorización de varios números a la vez. Consulte los registros de factorización de números enteros para obtener enlaces a más información. La criba de campo de números especiales puede factorizar números con más de un factor grande. Si un número tiene solo un factor muy grande, entonces otros algoritmos pueden factorizar números más grandes encontrando primero factores pequeños y luego ejecutando una prueba de primalidad en el cofactor. A partir de septiembre de 2022 [actualizar], el mayor número completamente factorizado (con factores primos probables permitidos) es 2 12,720,787 − 1 = 1,119,429,257 × 175,573,124,547,437,977 × 8,480,999,878,421,106,991 × q , donde q es un primo probable de 3,829,294 dígitos. Fue descubierto por un participante de GIMPS con el apodo "Funky Waddle". [29] [30] A partir de septiembre de 2022 [actualizar], el número de Mersenne M 1277 es el número de Mersenne compuesto más pequeño sin factores conocidos; no tiene factores primos por debajo de 2 68 , [31] y es muy poco probable que tenga factores por debajo de 10 65 (~2 216 ). [32]
La siguiente tabla muestra factorizaciones para los primeros 20 números compuestos de Mersenne (secuencia A244453 en la OEIS ).
pag | M p | Factorización de M p |
---|---|---|
11 | 2047 | 23 × 89 |
23 | 8388607 | 47 × 178,481 |
29 | 536870911 | 233 × 1103 × 2089 |
37 | 137438953471 | 223 × 616.318.177 |
41 | 2199023255551 | 13.367 × 164.511.353 |
43 | 8796093022207 | 431 × 9,719 × 2,099,863 |
47 | 140737488355327 | 2.351 × 4.513 × 13.264.529 |
53 | 9007199254740991 | 6.361 × 69.431 × 20.394.401 |
59 | 576460752303423487 | 179.951 × 3.203.431.780.337 (13 dígitos) |
67 | 147573952589676412927 | 193.707.721 × 761.838.257.287 (12 dígitos) |
71 | 2361183241434822606847 | 228.479 × 48.544.121 × 212.885.833 |
73 | 9444732965739290427391 | 439 × 2.298.041 × 9.361.973.132.609 (13 dígitos) |
79 | 604462909807314587353087 | 2.687 × 202.029.703 × 1.113.491.139.767 (13 dígitos) |
83 | 967140655691...033397649407 | 167 × 57.912.614.113.275.649.087.721 (23 dígitos) |
97 | 158456325028...187087900671 | 11 447 × 13 842 607 235 828 485 645 766 393 (26 dígitos) |
101 | 253530120045...993406410751 | 7.432.339.208.719 (13 dígitos) × 341.117.531.003.194.129 (18 dígitos) |
103 | 101412048018...973625643007 | 2.550.183.799 × 3.976.656.429.941.438.590.393 (22 dígitos) |
109 | 649037107316...312041152511 | 745.988.807 × 870.035.986.098.720.987.332.873 (24 dígitos) |
113 | 103845937170...992658440191 | 3.391 × 23.279 × 65.993 × 1.868.569 × 1.066.818.132.868.207 (16 dígitos) |
131 | 272225893536...454145691647 | 263 × 10 350 794 431 055 162 386 718 619 237 468 234 569 (38 dígitos) |
El número de factores de los primeros 500 números de Mersenne se puede encontrar en (secuencia A046800 en la OEIS ).
En el problema matemático Torre de Hanoi , resolver un rompecabezas con una torre de n discos requiere M n pasos, suponiendo que no se cometen errores. [ 33] La cantidad de granos de arroz en todo el tablero de ajedrez en el problema del trigo y el tablero de ajedrez es M 64. [34]
El asteroide con el número de planeta menor 8191 se llama 8191 Mersenne en honor a Marin Mersenne, porque 8191 es un primo de Mersenne ( 3 Juno , 7 Iris , 31 Euphrosyne y 127 Johanna fueron descubiertos y nombrados durante el siglo XIX). [35]
En geometría , un triángulo rectángulo entero que es primitivo y tiene su cateto par una potencia de 2 ( ≥ 4 ) genera un triángulo rectángulo único tal que su inradio es siempre un número de Mersenne. Por ejemplo, si el cateto par es 2 n + 1 entonces, como es primitivo, restringe el cateto impar a ser 4 n − 1 , la hipotenusa a ser 4 n + 1 y su inradio a ser 2 n − 1 . [36]
Un número de Mersenne-Fermat se define como2 p r − 1/2 p r − 1 − 1 con p primo, r número natural, y puede escribirse como MF( p , r ) . Cuando r = 1 , es un número de Mersenne. Cuando p = 2 , es un número de Fermat . Los únicos primos de Mersenne-Fermat conocidos con r > 1 son
De hecho, MF( p , r ) = Φ p r (2) , donde Φ es el polinomio ciclotómico .
Los primos de Mersenne generalizados más simples son números primos de la forma f (2 n ) , donde f ( x ) es un polinomio de bajo grado con coeficientes enteros pequeños . [38] Un ejemplo es 2 64 − 2 32 + 1 , en este caso, n = 32 , y f ( x ) = x 2 − x + 1 ; otro ejemplo es 2 192 − 2 64 − 1 , en este caso, n = 64 , y f ( x ) = x 3 − x − 1 .
También es natural intentar generalizar los primos de la forma 2 n − 1 a primos de la forma b n − 1 (para b ≠ 2 y n > 1 ). Sin embargo (ver también los teoremas anteriores), b n − 1 siempre es divisible por b − 1 , por lo que, a menos que este último sea una unidad , el primero no es un primo. Esto se puede remediar permitiendo que b sea un entero algebraico en lugar de un entero:
En el anillo de los números enteros (en los números reales ), si b − 1 es una unidad , entonces b es 2 o 0. Pero 2 n − 1 son los primos de Mersenne habituales, y la fórmula 0 n − 1 no conduce a nada interesante (ya que siempre es −1 para todo n > 0 ). Por lo tanto, podemos considerar un anillo de "enteros" en números complejos en lugar de números reales , como los enteros de Gauss y los enteros de Eisenstein .
Si consideramos el anillo de números enteros gaussianos , obtenemos el caso b = 1 + i y b = 1 − i , y podemos preguntar ( WLOG ) para qué n el número (1 + i ) n − 1 es un primo gaussiano que entonces se llamará primo gaussiano de Mersenne . [39]
(1 + i ) n − 1 es un primo gaussiano para el siguiente n :
Al igual que la secuencia de exponentes de los primos de Mersenne habituales, esta secuencia contiene únicamente números primos (racionales).
Como ocurre con todos los primos gaussianos, las normas (es decir, los cuadrados de los valores absolutos) de estos números son primos racionales:
Se pueden encontrar casos en los que un primo de Mersenne de este tipo sea también un primo de Eisenstein , de la forma b = 1 + ω y b = 1 − ω . En estos casos, dichos números se denominan primos de Mersenne de Eisenstein .
(1 + ω ) n − 1 es un primo de Eisenstein para el siguiente n :
Las normas (es decir, los cuadrados de los valores absolutos) de estos primos de Eisenstein son primos racionales:
La otra forma de abordar el hecho de que b n − 1 siempre es divisible por b − 1 es simplemente sacar este factor y preguntar qué valores de n forman
sea primo. (El entero b puede ser positivo o negativo). Si, por ejemplo, tomamos b = 10 , obtenemos n valores de:
Estos números primos se denominan números primos repunitarios. Otro ejemplo es cuando tomamos b = −12 , obtenemos n valores de:
Es una conjetura que para cada entero b que no sea una potencia perfecta , existen infinitos valores de n tales queb n − 1/b -1 es primo. (Cuando b es una potencia perfecta, se puede demostrar que hay como máximo unvalor n tal que b n − 1/b -1 es primo)
Menos n tal que b n − 1/b -1 son primos (comenzando con b = 2 , 0 si no existe tal n )
Para bases negativas b , son (comenzando con b = −2 , 0 si no existe tal n )
Base mínima b tal queb primo( n ) − 1/b -1 es primo son
Para bases negativas b , son
Otro número de Mersenne generalizado es
con a , b cualesquiera números enteros coprimos , a > 1 y − a < b < a . (Dado que a n − b n siempre es divisible por a − b , la división es necesaria para que haya alguna posibilidad de encontrar números primos.) [a] Podemos preguntar cuál n hace que este número sea primo. Se puede demostrar que tales n deben ser primos ellos mismos o iguales a 4, y n puede ser 4 si y solo si a + b = 1 y a 2 + b 2 es primo. [b] Es una conjetura que para cualquier par ( a , b ) tal que a y b no sean ambos potencias r ésimas perfectas para cualquier r y −4 ab no sea una cuarta potencia perfecta , hay infinitos valores de n tales que un n - b n/a - b es primo. [c] Sin embargo, esto no se ha demostrado para ningún valor individual de ( a , b ) .
a | b | números n tales que un n - b n/a - b es primo (algunos términos grandes son soloprimos probables, estos n se verifican hasta100000para | b | ≤ 5 o | b | = a − 1 ,20000para 5 < | b | < a − 1 ) | Secuencia OEIS |
---|---|---|---|
2 | 1 | 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203, 2281, 3217, 4253, 4423, 9689, 9941, 11213, 2170, 1, 23209, 44497, 86243, 110503, 132049, 216091, 756839, 859433, 1257787, 1398269, 2976221, 3021377, 6972593, 13466917, 20996011, 24036583, 25964951, 30402457, 32582657, 37156667, 42643801, 43112609, 57885161, ..., 74207281, ..., 77232917, ..., 33, ... | A000043 |
2 | -1 | 3, 4 * , 5, 7, 11, 13, 17, 19, 23, 31, 43, 61, 79, 101, 127, 167, 191, 199, 313, 347, 701, 1709, 2617, 3539, 5807 , 10501, 10691, 11279, 12391, 14479, 42737, 83339, 95369, 117239, 127031, 138937, 141079, 267017, 269987, 374321, 986191, 4031399, ..., 13347311, 13372531, ... | A000978 |
3 | 2 | 2, 3, 5, 17, 29, 31, 53, 59, 101, 277, 647, 1061, 2381, 2833, 3613, 3853, 3929, 5297, 7417, 90217, 122219, 173191, 336353, 485977, 591827, 1059503, ... | A057468 |
3 | 1 | 3, 7, 13, 71, 103, 541, 1091, 1367, 1627, 4177, 9011, 9551, 36913, 43063, 49681, 57917, 483611, 877843, ... | A028491 |
3 | -1 | 2 * , 3, 5, 7, 13, 23, 43, 281, 359, 487, 577, 1579, 1663, 1741, 3191, 9209, 11257, 12743, 13093, 17027, 26633, 104243, 227, 152287, 700897 , 1205459, ... | A007658 |
3 | -2 | 3, 4 * , 7, 11, 83, 149, 223, 599, 647, 1373, 8423, 149497, 388897, ... | A057469 |
4 | 3 | 2, 3, 7, 17, 59, 283, 311, 383, 499, 521, 541, 599, 1193, 1993, 2671, 7547, 24019, 46301, 48121, 68597, 91283, 131497, 663, 184463, 341233, ... | A059801 |
4 | 1 | 2 (ninguno más) | |
4 | -1 | 2 * , 3 (ningún otro) | |
4 | -3 | 3, 5, 19, 37, 173, 211, 227, 619, 977, 1237, 2437, 5741, 13463, 23929, 81223, 121271, ... | A128066 |
5 | 4 | 3, 43, 59, 191, 223, 349, 563, 709, 743, 1663, 5471, 17707, 19609, 35449, 36697, 45259, 91493, 246497, 265007, 289937, ... | A059802 |
5 | 3 | 13, 19, 23, 31, 47, 127, 223, 281, 2083, 5281, 7411, 7433, 19051, 27239, 35863, 70327, ... | A121877 |
5 | 2 | 2, 5, 7, 13, 19, 37, 59, 67, 79, 307, 331, 599, 1301, 12263, 12589, 18443, 20149, 27983, ... | A082182 |
5 | 1 | 3, 7, 11, 13, 47, 127, 149, 181, 619, 929, 3407, 10949, 13241, 13873, 16519, 201359, 396413, 1888279, ... | A004061 |
5 | -1 | 5, 67, 101, 103, 229, 347, 4013, 23297, 30133, 177337, 193939, 266863, 277183, 335429, ... | A057171 |
5 | -2 | 2 * , 3, 17, 19, 47, 101, 1709, 2539, 5591, 6037, 8011, 19373, 26489, 27427, ... | A082387 |
5 | -3 | 2 * , 3, 5, 7, 17, 19, 109, 509, 661, 709, 1231, 12889, 13043, 26723, 43963, 44789, ... | A122853 |
5 | -4 | 4 * , 5, 7, 19, 29, 61, 137, 883, 1381, 1823, 5227, 25561, 29537, 300893, ... | A128335 |
6 | 5 | 2, 5, 11, 13, 23, 61, 83, 421, 1039, 1511, 31237, 60413, 113177, 135647, 258413, ... | A062572 |
6 | 1 | 2, 3, 7, 29, 71, 127, 271, 509, 1049, 6389, 6883, 10613, 19889, 79987, 608099, ... | A004062 |
6 | -1 | 2 * , 3, 11, 31, 43, 47, 59, 107, 811, 2819, 4817, 9601, 33581, 38447, 41341, 131891, 196337, ... | A057172 |
6 | -5 | 3, 4 * , 5, 17, 397, 409, 643, 1783, 2617, 4583, 8783, ... | A128336 |
7 | 6 | 2, 3, 7, 29, 41, 67, 1327, 1399, 2027, 69371, 86689, 355039, ... | A062573 |
7 | 5 | 3, 5, 7, 113, 397, 577, 7573, 14561, 58543, ... | A128344 |
7 | 4 | 2, 5, 11, 61, 619, 2879, 2957, 24371, 69247, ... | A213073 |
7 | 3 | 3, 7, 19, 109, 131, 607, 863, 2917, 5923, 12421, ... | A128024 |
7 | 2 | 3, 7, 19, 79, 431, 1373, 1801, 2897, 46997, ... | A215487 |
7 | 1 | 5, 13, 131, 149, 1699, 14221, 35201, 126037, 371669, 1264699, ... | A004063 |
7 | -1 | 3, 17, 23, 29, 47, 61, 1619, 18251, 106187, 201653, ... | A057173 |
7 | -2 | 2 * , 5, 23, 73, 101, 401, 419, 457, 811, 1163, 1511, 8011, ... | A125955 |
7 | -3 | 3, 13, 31, 313, 3709, 7933, 14797, 30689, 38333, ... | A128067 |
7 | -4 | 2 * , 3, 5, 19, 41, 47, 8231, 33931, 43781, 50833, 53719, 67211, ... | A218373 |
7 | -5 | 2 * , 11, 31, 173, 271, 547, 1823, 2111, 5519, 7793, 22963, 41077, 49739, ... | A128337 |
7 | -6 | 3, 53, 83, 487, 743, ... | A187805 |
8 | 7 | 7, 11, 17, 29, 31, 79, 113, 131, 139, 4357, 44029, 76213, 83663, 173687, 336419, 615997, ... | A062574 |
8 | 5 | 2, 19, 1021, 5077, 34031, 46099, 65707, ... | A128345 |
8 | 3 | 2, 3, 7, 19, 31, 67, 89, 9227, 43891, ... | A128025 |
8 | 1 | 3 (ninguno más) | |
8 | -1 | 2 * (ninguno más) | |
8 | -3 | 2 * , 5, 163, 191, 229, 271, 733, 21059, 25237, ... | A128068 |
8 | -5 | 2 * , 7, 19, 167, 173, 223, 281, 21647, ... | A128338 |
8 | -7 | 4 * , 7, 13, 31, 43, 269, 353, 383, 619, 829, 877, 4957, 5711, 8317, 21739, 24029, 38299, ... | A181141 |
9 | 8 | 2, 7, 29, 31, 67, 149, 401, 2531, 19913, 30773, 53857, 170099, ... | A059803 |
9 | 7 | 3, 5, 7, 4703, 30113, ... | A273010 |
9 | 5 | 3, 11, 17, 173, 839, 971, 40867, 45821, ... | A128346 |
9 | 4 | 2 (ninguno más) | |
9 | 2 | 2, 3, 5, 13, 29, 37, 1021, 1399, 2137, 4493, 5521, ... | A173718 |
9 | 1 | (ninguno) | |
9 | -1 | 3, 59, 223, 547, 773, 1009, 1823, 3803, 49223, 193247, 703393, ... | A057175 |
9 | -2 | 2 * , 3, 7, 127, 283, 883, 1523, 4001, ... | A125956 |
9 | -4 | 2 * , 3, 5, 7, 11, 17, 19, 41, 53, 109, 167, 2207, 3623, 5059, 5471, 7949, 21211, 32993, 60251, ... | A211409 |
9 | -5 | 3, 5, 13, 17, 43, 127, 229, 277, 6043, 11131, 11821, ... | A128339 |
9 | -7 | 2 * , 3, 107, 197, 2843, 3571, 4451, ..., 31517, ... | A301369 |
9 | -8 | 3, 7, 13, 19, 307, 619, 2089, 7297, 75571, 76103, 98897, ... | A187819 |
10 | 9 | 2, 3, 7, 11, 19, 29, 401, 709, 2531, 15787, 66949, 282493, ... | A062576 |
10 | 7 | 2, 31, 103, 617, 10253, 10691, ... | A273403 |
10 | 3 | 2, 3, 5, 37, 599, 38393, 51431, ... | A128026 |
10 | 1 | 2, 19, 23, 317, 1031, 49081, 86453, 109297, 270343, ... | A004023 |
10 | -1 | 5, 7, 19, 31, 53, 67, 293, 641, 2137, 3011, 268207, ... | A001562 |
10 | -3 | 2 * , 3, 19, 31, 101, 139, 167, 1097, 43151, 60703, 90499, ... | A128069 |
10 | -7 | 2 * , 3, 5, 11, 19, 1259, 1399, 2539, 2843, 5857, 10589, ... | |
10 | -9 | 4 * , 7, 67, 73, 1091, 1483, 10937, ... | A217095 |
11 | 10 | 3, 5, 19, 311, 317, 1129, 4253, 7699, 18199, 35153, 206081, ... | A062577 |
11 | 9 | 5, 31, 271, 929, 2789, 4153, ... | A273601 |
11 | 8 | 2, 7, 11, 17, 37, 521, 877, 2423, ... | A273600 |
11 | 7 | 5, 19, 67, 107, 593, 757, 1801, 2243, 2383, 6043, 10181, 11383, 15629, ... | A273599 |
11 | 6 | 2, 3, 11, 163, 191, 269, 1381, 1493, ... | A273598 |
11 | 5 | 5, 41, 149, 229, 263, 739, 3457, 20269, 98221, ... | A128347 |
11 | 4 | 3, 5, 11, 17, 71, 89, 827, 22307, 45893, 63521, ... | A216181 |
11 | 3 | 3, 5, 19, 31, 367, 389, 431, 2179, 10667, 13103, 90397, ... | A128027 |
11 | 2 | 2, 5, 11, 13, 331, 599, 18839, 23747, 24371, 29339, 32141, 67421, ... | A210506 |
11 | 1 | 17, 19, 73, 139, 907, 1907, 2029, 4801, 5153, 10867, 20161, 293831, ... | A005808 |
11 | -1 | 5, 7, 179, 229, 439, 557, 6113, 223999, 327001, ... | A057177 |
11 | -2 | 3, 5, 17, 67, 83, 101, 1373, 6101, 12119, 61781, ... | A125957 |
11 | -3 | 3, 103, 271, 523, 23087, 69833, ... | A128070 |
11 | -4 | 2 * , 7, 53, 67, 71, 443, 26497, ... | A224501 |
11 | -5 | 7, 11, 181, 421, 2297, 2797, 4129, 4139, 7151, 29033, ... | A128340 |
11 | -6 | 2 * , 5, 7, 107, 383, 17359, 21929, 26393, ... | |
11 | -7 | 7, 1163, 4007, 10159, ... | |
11 | -8 | 2 * , 3, 13, 31, 59, 131, 223, 227, 1523, ... | |
11 | -9 | 2 * , 3, 17, 41, 43, 59, 83, ... | |
11 | -10 | 53, 421, 647, 1601, 35527, ... | A185239 |
12 | 11 | 2, 3, 7, 89, 101, 293, 4463, 70067, ... | A062578 |
12 | 7 | 2, 3, 7, 13, 47, 89, 139, 523, 1051, ... | A273814 |
12 | 5 | 2, 3, 31, 41, 53, 101, 421, 1259, 4721, 45259, ... | A128348 |
12 | 1 | 2, 3, 5, 19, 97, 109, 317, 353, 701, 9739, 14951, 37573, 46889, 769543, ... | A004064 |
12 | -1 | 2 * , 5, 11, 109, 193, 1483, 11353, 21419, 21911, 24071, 106859, 139739, ... | A057178 |
12 | -5 | 2 * , 3, 5, 13, 347, 977, 1091, 4861, 4967, 34679, ... | A128341 |
12 | -7 | 2 * , 3, 7, 67, 79, 167, 953, 1493, 3389, 4871, ... | |
12 | -11 | 47, 401, 509, 8609, ... | A213216 |
* Nota: si b < 0 y n es par, entonces los números n no se incluyen en la secuencia OEIS correspondiente.
Cuando a = b + 1 , es ( b + 1) n − b n , una diferencia de dos potencias n -ésimas perfectas consecutivas, y si a n − b n es primo, entonces a debe ser b + 1 , porque es divisible por a − b .
Los menores n tales que ( b + 1) n − b n son primos son
Los menores b tales que ( b + 1) primo( n ) − b primo( n ) son primos son