Equivalencia de la conjetura de Grimm a la conjetura de Legendre

conjetura de Grimm

Si norte + 1 , norte + 2 , …, norte + k son todos números compuestos, entonces hay k primos distintos pag tal que pag divide norte + i para 1 i k .

Por ejemplo, para el rango 242 a 250 , se pueden asignar primos distintos de la siguiente manera:

242 : 11 , 243 : 3 , 244 : 61 , 245 : 7 , 246 : 41 , 247 : 13 , 248 : 31 , 249 : 83 , 250 : 5

Según Grimm (1969), ya está probado que hay un número finito de excepciones a esta conjetura. (Referencia del tema del problema de Grimm de los números primos de David Wells).

Paul Erdos y JLSelfridge ya han demostrado que incluso si consideramos la versión débil de la conjetura de Grimm, implicaría la conjetura de Legendre. (Referencia: algunos problemas sobre los factores primos de los números enteros consecutivos 2). En su artículo, hizo muchas otras equivalencias importantes a la conjetura de Grimm, que veo mucho más allá de mi conocimiento en este momento. En resumen elemental, por favor alguien reduzca los niveles de su argumento y nos hace comprender algunas de las implicaciones importantes de la conjetura de Grimm.

Además, si ya se ha demostrado que tiene un número finito de excepciones, ¿cómo se podría proceder a generar una prueba de la conjetura de Grimm? ¿Y hasta la fecha ha habido algún progreso significativo al respecto? Y si es posible, enumere algunas otras conjeturas relacionadas con la conjetura de Grimm, y principalmente sobre números compuestos y números primos.

Muchas gracias de antemano :) Saludos

Respuestas (1)

Aquí hay una mala interpretación de la redacción exacta de Grimm sobre "excepciones finitas". Específicamente, Grimm muestra que para cualquier C > norte norte 1 , { C + 1 , C + 2 , , C + norte } tiene distintos factores primos pag 1 , , pag norte tal que pag i | C + i . Entonces, en cierto sentido, se ha demostrado que es cierto para C y "secuencias arbitrariamente largas".

Esto deja todos los demás casos abiertos, por ejemplo { C + 1 , , C + metro } dónde metro < norte y metro { r : C > r r 1 } , por ejemplo, "excepciones finitas".

¿Es solo una posibilidad que no pudieron cubrir y está abierto a asumir que podría haber excepciones, y si es así, entonces finito?
Si está preguntando si la conjetura tiene como máximo un número finito de excepciones, entonces no estoy seguro. Lo anterior implica que aún podría haber infinitas excepciones, ya que aún no tenemos una prueba para ellas. Después de todo, hay infinitas parejas de este tipo. ( C , metro ) como anteriormente.
¿Existe un algoritmo simple para encontrar los números primos o es solo existencia? Para C lo suficientemente grande, esperaría elegir el factor primo más grande posible de C + j , entonces el factor primo más grande posible no tomado ya de C + j 1 .. podría funcionar
otra reafirmación de Grimm es que los espacios entre números primos nunca exceden el número de números primos menor que el espacio.