Número primo de Mersenne

Para entender cuándo se dice que un número entero positivo es Número primo de Mersenne, primero repasemos la definición, la conjetura y finalmente llegaremos al punto de interés.

Número de Mersenne

Los números de Mersenne son enteros de la forma:

\[ M_n = 2^n-1 \]

Muchos autores recomiendan que el exponente n sea ​​un primo. Son de interés porque los primos de Mersenne (números primos de Mersenne) se encuentran entre los primos más antiguos y más estudiados. Y se cumple lo siguiente:

  • Los números de Mersenne que sean primos también tendrán un n primo (aunque no al revés;  que n sea prima no es una condición suficiente para que Mn lo sea).
  • Si n es compuesto, entonces Mn es compuesto.

Estos números llevan el nombre del monje francés Marin Mersenne porque animó a muchos matemáticos a estudiarlos e incorrectamente conjeturó que los números de Mersenne eran primos para

 n = 2, 3, 5, 7, 13, 17, 19, 31, 67 y 257;

y todos los demás enteros positivos Mersennes con n >257 eran compuestos . Veamos la conjetura de Mersenne para más detalle sobre esta conjetura influyente.

2. La conjetura de Mersenne

Era obvio para los compañeros de Mersenne que él no podía haber probado todos estos números (de hecho, admitió que sí), y ellos tampoco podían probarlos. Tomó tres siglos y varios descubrimientos matemáticos (como la prueba de Lucas Lehmer), antes de que los exponentes en la conjetura de Mersenne hubieran sido completamente verificados.

Se determinó que había cometido cinco errores (tres primos omitidos, dos compuestos enumerados)

Omitió:

\[ M_{61}, M_{89}, M_{107} \]

Son compuestos:

\[ M_{67}, M{257} \]

y la lista correcta es:

n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107 y 127

2.1. Lectura recomendada

¿De dónde sacó Mersenne su lista? Quizás encontremos una pista en esta cita del libro History of the Theory of Number de Leonard Eugene Dickson:

History of the Theory of Numbers: Divisibility and Primality: 1 (Dover Books on Mathematics)

En una carta a Tannery, Lucas declaró que Mersenne (1644, 1647) daba a entender que una condición necesaria y suficiente para que

\[ 2^p-1 \]

sea un primo, es que p sea ​​primo de una de las formas:

\[ 2^{2n}+1 \]

\[ 2^2n \pm-3 \]

\[ 2^{2n+1}-1 \]

Tannery expresó su creencia de que el teorema era empírico y señaló que la condición suficiente sería falsa si

\[ 2^{67}-1 \]

es compuesto [como es el caso].

Entonces, quienquiera que sea la fuente (Mersenne, Frenicle o Fermat –leer libro), parece existir la creencia de que los exponentes p de Mersenne tienen una forma especial. También hay una restricción faltante en el tamaño del primo porque todos sabían que 2^3 -1 es primo, pero 3 no se obtiene de ninguna de estas formas.)

Lamentablemente, las condiciones citadas anteriormente no son ni necesarias ni suficientes. Los números de Mersenne Mp son compuestos para los siguientes números primos p :

\[ 257=2^8-1 \]

\[ 1024=2^{10}-3 \]

\[ 67=2^6+3 \]

\[ 8191=2^{13}-1 \]

Además, Mp es primo para p=89, pero 89 no se puede escribir en ninguna de las formas enumeradas.

¿Se puede rescatar algo de esta conjetura? Algunos dicen que sí, vea la nueva conjetura de Mersenne al final del artículo.

3. Primos de Mersenne

Un número 2^n -1 de Mersenne, que es primo, se llama primo Mersenne . Muy pocos de los números de la forma

\[ 2^n-1 \]

son primos. Los números de Mersenne son el tipo de número más fácil para comprobar que son primos (debido a la prueba de Lucas-Lehmer), por lo que suelen ser los primos más grandes en la lista de de los primos más conocidos.

Los primos de esta forma fueron estudiados primero por Euclides, quien exploró su relación con los números pares perfectos . Fueron nombrados después Mersenne porque escribió a muchos matemáticos para alentar su estudio y porque despertó el interés de generaciones de matemáticos al afirmar en 1644 que

Mp era primo para 2, 3, 5, 7, 13, 17, 19, 31 , 67, 127, 257 y para ningún otro primo p menor que 257.

Le tomó tres siglos probar completamente su audaz declaración, y cuando terminó, se descubrió que estaba equivocado acerca de que M67 y M257 eran primos, y omitió M61, M89 y M107.

4. Lista de los números primos de Mersenne conocidos

La siguiente tabla muestra los números primos de Mersenne conocidos: (Vía Wikipedia)

Tabla de los 50 números primos de Mersenne. (# – número – Mn – Cantidad de Cifras – Fecha – Descubridor)
#númeroMnNº de cifras
de Mn
Fecha del
descubrimiento
Descubridor
#1231antigüedadEuclides
#2371antigüedadEuclides
#35312antigüedadEuclides
#471273antigüedadEuclides
#513819141456anónimo
#61713107161588Cataldi
#71952428761588Cataldi
#8312147483647101772Euler
#9612305843009213693951191883Pervushin
#1089618970019…449562111271911Powers
#11107162259276…010288127331914Powers
#12127170141183…884105727391876Lucas
#13521686479766…1150571511571952Robinson (SWAC)
#14607531137992…0317281271831952Robinson (SWAC)
#151.279104079321…1687290873861952Robinson (SWAC)
#162.203147597991…6977710076641952Robinson (SWAC)
#172.281446087557…1328363516871952Robinson (SWAC)
#183.217259117086…9093150719691957Riesel
#194.253190797007…3504849911.2811961Hurwitz
#204.423285542542…6085806071.3321961Hurwitz
#219.689478220278…2257541112.9171963Gillies
#229.941346088282…7894635512.9931963Gillies
#2311.213281411201…6963921913.3761963Gillies
#2419.937431542479…9680414716.0021971Tuckerman
#2521.701448679166…5118827516.5331978Noll y Nickel
#2623.209402874115…7792645116.9871979Noll
#2744.497854509824…01122867113.3951979Nelson y Slowinski
#2886.243536927995…43343820725.9621982Slowinski
#29110.503521928313…46551500733.2651988Colquitt y Welsh
#30132.049512740276…73006131139.7511983Slowinski
#31216.091746093103…81552844765.0501985Slowinski
#32756.839174135906…544677887227.8321992Slowinski y Gage
#33859.433129498125…500142591258.7161994Slowinski y Gage
#341.257.787412245773…089366527378.6321996Slowinski y Gage
#351.398.269814717564…451315711420.9211996Joel Armengaud
#362.976.221623340076…729201151895.9321997Gordon Spence
#373.021.377127411683…024694271909.5261998Roland Clarkson
#386.972.593437075744…9241937912.098.9601999GIMPS /
#3913.466.917924947738…2562590714.053.9462001Michael Cameron
#4020.996.011125976895…8556820476.320.4302003Michael Shafer
#4124.036.583299410429…7339694077.235.7332004Josh Findley
#4225.964.951122164630…5770772477.816.2302005Martin Nowak
#4330.402.457315416475…6529438719.152.0522005Curtis Cooper y Steven Boone
#4432.582.657124575026…0539678719.808.3582006Curtis Cooper y Steven Boone
#4537.156.667202254406…30822092711.185.2722008Hans-Michael Elvenich
#4642.643.801169873516…56231475112.837.0642009Odd M. Strindmo
#4743.112.609316470269…69715251112.978.1892008Edson Smith
#4857.885.161581887266…72428595117.425.1702013Curtis Cooper
#49​74.207.281300376418…08643635122.338.6182016Curtis Cooper
#50​77.232.917467333183…76217907123.249.4252017Jonathan Pace

5. Nueva conjetura de Mersenne

Ya habíamos señalamos que las condiciones de la conjetura de Mersenne no son ni necesarias ni suficientes. Entonces, ¿hay algo que pueda decirse al respecto? Bateman, Selfridge y Wagstaff dicen sí y han propuesto La Nueva conjetura de Mersenne o Conjetura de Bateman, Selfridge y Wagstaff

Establece a p ser cualquier número natural impar. Si se cumplen dos de las siguientes condiciones, también lo hará la tercera:

\[ p = 2^k \pm 1 \quad o \quad p = 4^k \pm 3 \]

\[ 2^p-1 \quad es \quad primo \]

\[ (2^p+1)\div3 \quad es \quad primo \]

Si p es un número compuesto impar, entonces tanto 2^p − 1 como (2^p + 1)/3 son compuestos (Ejemplo: p=9). Por tanto, solo es necesario examinar números primos para verificar esta conjetura (Ejemplo: p=3).

Esta conjetura se ha verificado para todos los primos p menores que 100000 y para todos los primos de Mersenne conocidos. Algunos sienten que “conjetura” es una palabra demasiado fuerte para lo anterior y que tal vez este es incluso otro caso de la Ley de los Números Pequeños de Richard Guy.

Número primo de Mersenne
5 (100%) 11 votes
Insert math as
Block
Inline
Additional settings
Formula color
Text color
#333333
Type math using LaTeX
Preview
\({}\)
Nothing to preview
Insert