stringtranslate.com

Número primo

Grupos de dos a doce puntos, que muestran que los números compuestos de puntos (4, 6, 8, 9, 10 y 12) se pueden organizar en rectángulos, pero los números primos no.
Los números compuestos se pueden organizar en rectángulos , pero los números primos no.

Un número primo (o primo ) es un número natural mayor que 1 que no es producto de dos números naturales menores. Un número natural mayor que 1 que no es primo se llama número compuesto . Por ejemplo, 5 es primo porque las únicas formas de escribirlo como producto, 1 × 5 o 5 × 1 , involucran al propio 5. Sin embargo, 4 es compuesto porque es un producto (2 × 2) en el que ambos números son menores que 4. Los primos son centrales en la teoría de números debido al teorema fundamental de la aritmética : todo número natural mayor que 1 es un primo en sí mismo o puede factorizarse como un producto de primos que es único hasta su orden.

La propiedad de ser primo se llama primalidad . Un método simple pero lento para verificar la primalidad de un número dado , llamado división de prueba , prueba si es un múltiplo de cualquier entero entre 2 y . Los algoritmos más rápidos incluyen la prueba de primalidad de Miller-Rabin , que es rápida pero tiene una pequeña posibilidad de error, y la prueba de primalidad AKS , que siempre produce la respuesta correcta en tiempo polinomial pero es demasiado lenta para ser práctica. Hay métodos particularmente rápidos disponibles para números de formas especiales, como los números de Mersenne . A diciembre de 2018, el número primo más grande conocido es un primo de Mersenne con 24,862,048 dígitos decimales . [1]

Existen infinitos números primos, como demostró Euclides alrededor del año 300 a. C. No se conoce ninguna fórmula sencilla que separe los números primos de los números compuestos. Sin embargo, la distribución de los primos dentro de los números naturales en los grandes puede modelarse estadísticamente. El primer resultado en esa dirección es el teorema de los números primos , demostrado a finales del siglo XIX, que dice que la probabilidad de que un número grande elegido al azar sea primo es inversamente proporcional a su número de dígitos, es decir, a su logaritmo .

Varias cuestiones históricas relacionadas con los números primos aún no han sido resueltas. Entre ellas se encuentran la conjetura de Goldbach , según la cual todo entero par mayor que 2 puede expresarse como la suma de dos primos, y la conjetura de los primos gemelos , según la cual hay infinitos pares de primos que difieren en dos. Tales cuestiones impulsaron el desarrollo de varias ramas de la teoría de números, centrándose en los aspectos analíticos o algebraicos de los números. Los primos se utilizan en varias rutinas de la tecnología de la información , como la criptografía de clave pública , que se basa en la dificultad de factorizar números grandes en sus factores primos. En el álgebra abstracta , los objetos que se comportan de forma generalizada como los números primos incluyen los elementos primos y los ideales primos .

Definición y ejemplos

Un número natural (1, 2, 3, 4, 5, 6, etc.) se llama número primo (o primo ) si es mayor que 1 y no se puede escribir como el producto de dos números naturales más pequeños. Los números mayores que 1 que no son primos se llaman números compuestos . [2] En otras palabras, es primo si los elementos no se pueden dividir en grupos más pequeños de igual tamaño de más de un elemento, [3] o si no es posible organizar puntos en una cuadrícula rectangular que tenga más de un punto de ancho y más de un punto de alto. [4] Por ejemplo, entre los números del 1 al 6, los números 2, 3 y 5 son los números primos, [5] ya que no hay otros números que los dividan de manera uniforme (sin un resto). 1 no es primo, ya que está específicamente excluido en la definición. 4 = 2 × 2 y 6 = 2 × 3 son ambos compuestos.

Consulte el título
Demostración, con varillas de Cuisenaire , de que 7 es primo, porque ninguno de 2, 3, 4, 5 o 6 lo divide de manera exacta

Los divisores de un número natural son los números naturales que se dividen de manera exacta. Todo número natural tiene como divisores tanto a 1 como a sí mismo. Si tiene cualquier otro divisor, no puede ser primo. Esto nos lleva a una definición equivalente de los números primos: son los números con exactamente dos divisores positivos . Esos dos son 1 y el número mismo. Como 1 solo tiene un divisor, él mismo, no es primo según esta definición. [6] Otra forma de expresar lo mismo es que un número es primo si es mayor que uno y si ninguno de los números se divide de manera exacta. [7]

Los primeros 25 números primos (todos los números primos menores que 100) son: [8]

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 (secuencia A000040 en la OEIS ).

Ningún número par mayor que 2 es primo porque cualquier número de este tipo puede expresarse como el producto de . Por lo tanto, todo número primo distinto de 2 es un número impar y se denomina primo impar . [9] De manera similar, cuando se escriben en el sistema decimal habitual , todos los números primos mayores que 5 terminan en 1, 3, 7 o 9. Los números que terminan con otros dígitos son todos compuestos: los números decimales que terminan en 0, 2, 4, 6 u 8 son pares, y los números decimales que terminan en 0 o 5 son divisibles por 5. [10]

El conjunto de todos los números primos se denota a veces por (una P mayúscula en negrita ) [11] o por (una P mayúscula en negrita en pizarra ). [12]

Historia

El papiro matemático de Rhind
El papiro matemático de Rhind

El Papiro matemático Rhind , de alrededor de 1550 a. C., contiene expansiones fraccionarias egipcias de diferentes formas para números primos y compuestos. [13] Sin embargo, los primeros registros supervivientes del estudio de los números primos provienen de los antiguos matemáticos griegos , que los llamaban prōtos arithmòs ( πρῶτος ἀριθμὸς ). Los Elementos de Euclides (c. 300 a. C.) prueban la infinitud de los primos y el teorema fundamental de la aritmética , y muestran cómo construir un número perfecto a partir de un primo de Mersenne . [14] Otra invención griega, la criba de Eratóstenes , todavía se utiliza para construir listas de primos. [15] [16]

Alrededor del año 1000 d. C., el matemático islámico Ibn al-Haytham (Alhazen) descubrió el teorema de Wilson , que caracteriza a los números primos como los números que dividen de manera uniforme a . También conjeturó que todos los números perfectos pares provienen de la construcción de Euclides utilizando primos de Mersenne, pero no pudo demostrarlo. [17] Otro matemático islámico, Ibn al-Banna' al-Marrakushi , observó que la criba de Eratóstenes se puede acelerar considerando solo los divisores primos hasta la raíz cuadrada del límite superior. [16] Fibonacci llevó las innovaciones de las matemáticas islámicas a Europa. Su libro Liber Abaci (1202) fue el primero en describir la división por tanteo para probar la primalidad, nuevamente utilizando divisores solo hasta la raíz cuadrada. [16]

En 1640 Pierre de Fermat enunció (sin pruebas) el pequeño teorema de Fermat (más tarde demostrado por Leibniz y Euler ). [18] Fermat también investigó la primalidad de los números de Fermat , [19] y Marin Mersenne estudió los primos de Mersenne , números primos de la forma con él mismo un primo. [20] Christian Goldbach formuló la conjetura de Goldbach , de que todo número par es la suma de dos primos, en una carta de 1742 a Euler. [21] Euler demostró la conjetura de Alhazen (ahora el teorema de Euclides-Euler ) de que todos los números perfectos pares pueden construirse a partir de primos de Mersenne. [14] Introdujo métodos del análisis matemático en esta área en sus pruebas de la infinitud de los primos y la divergencia de la suma de los recíprocos de los primos . [22] A principios del siglo XIX, Legendre y Gauss conjeturaron que como tiende a infinito, el número de primos hasta es asintótico a , donde es el logaritmo natural de . Una consecuencia más débil de esta alta densidad de primos fue el postulado de Bertrand , de que para cada hay un primo entre y , demostrado en 1852 por Pafnuty Chebyshev . [23] Las ideas de Bernhard Riemann en su artículo de 1859 sobre la función zeta esbozaron un esquema para demostrar la conjetura de Legendre y Gauss. Aunque la hipótesis de Riemann, estrechamente relacionada , sigue sin demostrarse, el esquema de Riemann fue completado en 1896 por Hadamard y de la Vallée Poussin , y el resultado ahora se conoce como el teorema de los números primos . [24] Otro resultado importante del siglo XIX fue el teorema de Dirichlet sobre progresiones aritméticas , que afirma que ciertas progresiones aritméticas contienen infinitos números primos. [25]

Muchos matemáticos han trabajado en pruebas de primalidad para números mayores que aquellos en los que la división por tanteo es prácticamente aplicable. Los métodos que están restringidos a formas numéricas específicas incluyen la prueba de Pépin para números de Fermat (1877), [26] el teorema de Proth (c. 1878), [27] la prueba de primalidad de Lucas-Lehmer (originada en 1856) y la prueba de primalidad generalizada de Lucas . [16]

Desde 1951, todos los primos más grandes conocidos se han encontrado utilizando estas pruebas en computadoras . [a] La búsqueda de primos cada vez más grandes ha generado interés fuera de los círculos matemáticos, a través de la Gran Búsqueda de Primos de Mersenne en Internet y otros proyectos de computación distribuida . [8] [29] La idea de que los números primos tenían pocas aplicaciones fuera de las matemáticas puras [b] se hizo añicos en la década de 1970 cuando se inventaron la criptografía de clave pública y el criptosistema RSA , utilizando números primos como base. [32]

La creciente importancia práctica de las pruebas de primalidad y factorización computarizadas condujo al desarrollo de métodos mejorados capaces de manejar grandes cantidades de forma no restringida. [15] [33] [34] La teoría matemática de los números primos también avanzó con el teorema de Green-Tao (2004) que sostiene que existen progresiones aritméticas arbitrariamente largas de números primos, y la prueba de Yitang Zhang de 2013 de que existen infinitos huecos primos de tamaño acotado. [35]

Primalidad de uno

La mayoría de los primeros griegos ni siquiera consideraban que el 1 fuera un número, [36] [37] por lo que no podían considerar su primalidad. Algunos eruditos de la tradición griega y romana posterior, incluidos Nicómaco , Jámblico , Boecio y Casiodoro , también consideraban que los números primos eran una subdivisión de los números impares, por lo que tampoco consideraban que el 2 fuera primo. Sin embargo, Euclides y la mayoría de los demás matemáticos griegos consideraban que el 2 era primo. Los matemáticos islámicos medievales siguieron en gran medida a los griegos al considerar que el 1 no era un número. [36] En la Edad Media y el Renacimiento, los matemáticos comenzaron a tratar al 1 como un número, y algunos de ellos lo incluyeron como el primer número primo. [38] A mediados del siglo XVIII, Christian Goldbach incluyó al 1 como primo en su correspondencia con Leonhard Euler ; sin embargo, el propio Euler no consideraba que el 1 fuera primo. [39] En el siglo XIX muchos matemáticos todavía consideraban que 1 era primo, [40] y las listas de primos que incluían 1 continuaron publicándose hasta 1956. [41] [42]

Si se cambiara la definición de un número primo para llamar al 1 un primo, muchas afirmaciones que involucran números primos necesitarían ser reformuladas de una manera más complicada. Por ejemplo, el teorema fundamental de la aritmética necesitaría ser reformulado en términos de factorizaciones en primos mayores que 1, porque cada número tendría factorizaciones múltiples con cualquier número de copias de 1. [40] De manera similar, la criba de Eratóstenes no funcionaría correctamente si manejara al 1 como un primo, porque eliminaría todos los múltiplos de 1 (es decir, todos los demás números) y arrojaría solo el número único 1. [42] Algunas otras propiedades más técnicas de los números primos tampoco se cumplen para el número 1: por ejemplo, las fórmulas para la función totiente de Euler o para la función de suma de divisores son diferentes para los números primos que para el 1. [43] A principios del siglo XX, los matemáticos comenzaron a estar de acuerdo en que el 1 no debería figurar como primo, sino en su propia categoría especial como una " unidad ". [40]

Propiedades elementales

Factorización única

Escribir un número como producto de números primos se denomina factorización prima del número. Por ejemplo:

Los términos del producto se llaman factores primos . El mismo factor primo puede aparecer más de una vez; este ejemplo tiene dos copias del factor primo. Cuando un primo aparece varias veces, se puede utilizar la exponenciación para agrupar varias copias del mismo número primo: por ejemplo, en la segunda forma de escribir el producto anterior, denota el cuadrado o la segunda potencia de

La importancia central de los números primos para la teoría de números y las matemáticas en general se deriva del teorema fundamental de la aritmética . [44] Este teorema establece que todo entero mayor que 1 puede escribirse como un producto de uno o más primos. Más fuertemente, este producto es único en el sentido de que dos factorizaciones primos cualesquiera del mismo número tendrán el mismo número de copias de los mismos primos, aunque su orden puede diferir. [45] Por lo tanto, aunque hay muchas formas diferentes de encontrar una factorización utilizando un algoritmo de factorización de números enteros , todas deben producir el mismo resultado. Los primos pueden considerarse, por lo tanto, los "bloques básicos de construcción" de los números naturales. [46]

Algunas pruebas de la unicidad de las factorizaciones primales se basan en el lema de Euclides : Si es un número primo y divide un producto de números enteros y luego divide o divide (o ambos). [47] Por el contrario, si un número tiene la propiedad de que cuando divide un producto siempre divide al menos un factor del producto, entonces debe ser primo. [48]

Infinitud

Hay una infinidad de números primos. Otra forma de decirlo es que la secuencia

2, 3, 5, 7, 11, 13, ...

La infinitud de los números primos nunca termina. Esta afirmación se conoce como el teorema de Euclides en honor al antiguo matemático griego Euclides , ya que la primera prueba conocida de esta afirmación se le atribuye a él. Se conocen muchas más pruebas de la infinitud de los números primos, incluida una prueba analítica de Euler , la prueba de Goldbach basada en los números de Fermat , [49] la prueba de Furstenberg utilizando topología general , [50] y la prueba elegante de Kummer . [51]

La prueba de Euclides [52] muestra que toda lista finita de primos es incompleta. La idea clave es multiplicar los primos de cualquier lista dada y sumar. Si la lista consta de los primos, esto da el número

Por el teorema fundamental, tiene una factorización prima

con uno o más factores primos. es divisible de manera exacta por cada uno de estos factores, pero tiene un resto de uno cuando se divide por cualquiera de los números primos de la lista dada, por lo que ninguno de los factores primos de puede estar en la lista dada. Como no hay una lista finita de todos los primos, debe haber infinitos primos.

Los números que se forman sumando uno a los productos de los primos más pequeños se llaman números de Euclides . [53] Los primeros cinco de ellos son primos, pero el sexto,

es un número compuesto.

Fórmulas para números primos

No se conoce ninguna fórmula eficiente para los números primos. Por ejemplo, no existe ningún polinomio no constante , incluso en varias variables, que tome solo valores primos. [54] Sin embargo, existen numerosas expresiones que codifican todos los primos, o solo los primos. Una fórmula posible se basa en el teorema de Wilson y genera el número 2 muchas veces y todos los demás primos exactamente una vez. [55] También existe un conjunto de ecuaciones diofánticas en nueve variables y un parámetro con la siguiente propiedad: el parámetro es primo si y solo si el sistema de ecuaciones resultante tiene una solución sobre los números naturales. Esto se puede utilizar para obtener una única fórmula con la propiedad de que todos sus valores positivos son primos. [54]

Otros ejemplos de fórmulas generadoras de números primos provienen del teorema de Mills y un teorema de Wright . Estos afirman que existen constantes reales y tales que

son primos para cualquier número natural en la primera fórmula y cualquier número de exponentes en la segunda fórmula. [56] Aquí representa la función base , el entero más grande menor o igual que el número en cuestión. Sin embargo, estos no son útiles para generar primos, ya que los primos deben generarse primero para calcular los valores de o [54]

Preguntas abiertas

Se han planteado muchas conjeturas que giran en torno a los números primos. A menudo, tienen una formulación elemental y muchas de estas conjeturas han resistido la prueba durante décadas: los cuatro problemas de Landau de 1912 aún están sin resolver. [57] Una de ellas es la conjetura de Goldbach , que afirma que todo entero par mayor que 2 puede escribirse como una suma de dos primos. [58] A partir de 2014 , esta conjetura se ha verificado para todos los números hasta [59] Se han demostrado afirmaciones más débiles que esta, por ejemplo, el teorema de Vinogradov dice que todo entero impar suficientemente grande puede escribirse como una suma de tres primos. [60] El teorema de Chen dice que todo número par suficientemente grande puede expresarse como la suma de un primo y un semiprimo (el producto de dos primos). [61] Además, cualquier entero par mayor que 10 puede escribirse como la suma de seis primos. [62] La rama de la teoría de números que estudia estas cuestiones se llama teoría de números aditivos . [63]

Otro tipo de problema se refiere a los huecos entre primos , las diferencias entre primos consecutivos. La existencia de huecos entre primos arbitrariamente grandes se puede ver al notar que la secuencia consiste en números compuestos, para cualquier número natural [64] Sin embargo, los huecos entre primos grandes ocurren mucho antes de lo que muestra este argumento. [65] Por ejemplo, el primer hueco entre primos de longitud 8 está entre los primos 89 y 97, [66] mucho más pequeño que Se conjetura que hay infinitos primos gemelos , pares de primos con diferencia 2; esta es la conjetura de los primos gemelos . La conjetura de Polignac establece de manera más general que para cada entero positivo hay infinitos pares de primos consecutivos que difieren en [67] La ​​conjetura de Andrica , [67] la conjetura de Brocard , [68] la conjetura de Legendre , [69] y la conjetura de Oppermann [68] sugieren que las brechas más grandes entre primos de a deberían ser como máximo aproximadamente un resultado que se sabe que se sigue de la hipótesis de Riemann, mientras que la conjetura de Cramér, mucho más fuerte, establece el tamaño de brecha más grande en [67] Las brechas de primos se pueden generalizar a primos -tuplas , patrones en las diferencias entre más de dos números primos. Su infinitud y densidad son el tema de la primera conjetura de Hardy-Littlewood , que puede estar motivada por la heurística de que los números primos se comportan de manera similar a una secuencia aleatoria de números con densidad dada por el teorema de los números primos. [70]

Propiedades analíticas

La teoría analítica de números estudia la teoría de números a través de la lente de las funciones continuas , los límites , las series infinitas y las matemáticas relacionadas con lo infinito y lo infinitesimal .

Esta área de estudio comenzó con Leonhard Euler y su primer resultado importante, la solución del problema de Basilea . El problema pedía el valor de la suma infinita que hoy puede reconocerse como el valor de la función zeta de Riemann . Esta función está estrechamente relacionada con los números primos y con uno de los problemas sin resolver más importantes de las matemáticas, la hipótesis de Riemann . Euler demostró que . [71] El recíproco de este número, , es la probabilidad límite de que dos números aleatorios seleccionados uniformemente de un rango grande sean primos entre sí (no tengan factores en común). [72]

La distribución de los números primos en los grandes, como la cuestión de cuántos primos son menores que un umbral grande dado, se describe mediante el teorema de los números primos , pero no se conoce ninguna fórmula eficiente para el primo -ésimo . El teorema de Dirichlet sobre progresiones aritméticas , en su forma básica, afirma que los polinomios lineales

con números enteros relativamente primos y toman infinitos valores primos. Las formas más fuertes del teorema establecen que la suma de los recíprocos de estos valores primos diverge, y que diferentes polinomios lineales con el mismo valor tienen aproximadamente las mismas proporciones de primos. Aunque se han formulado conjeturas sobre las proporciones de primos en polinomios de grado superior, siguen sin demostrarse, y se desconoce si existe un polinomio cuadrático que (para argumentos enteros) sea primo infinitamente a menudo.

Demostración analítica del teorema de Euclides

La prueba de Euler de que hay infinitos números primos considera las sumas de los recíprocos de los primos,

Euler demostró que, para cualquier número real arbitrario , existe un primo para el cual esta suma es mayor que . [73] Esto demuestra que hay infinitos primos, porque si hubiera un número finito de primos la suma alcanzaría su valor máximo en el primo más grande en lugar de crecer más allá de cada . La tasa de crecimiento de esta suma se describe con mayor precisión mediante el segundo teorema de Mertens . [74] A modo de comparación, la suma

no crece hasta el infinito como tiende al infinito (véase el problema de Basilea ). En este sentido, los números primos ocurren con más frecuencia que los cuadrados de los números naturales, aunque ambos conjuntos son infinitos. [75] El teorema de Brun establece que la suma de los recíprocos de los primos gemelos ,

es finito. Debido al teorema de Brun, no es posible utilizar el método de Euler para resolver la conjetura de los primos gemelos , según la cual existen infinitos primos gemelos. [75]

Número de primos por debajo de un límite dado

El error relativo de y la integral logarítmica como aproximaciones a la función de conteo de primos . Ambos errores relativos disminuyen a cero a medida que crece, pero la convergencia a cero es mucho más rápida para la integral logarítmica.

La función de conteo de primos se define como el número de primos no mayores que . [76] Por ejemplo, , ya que hay cinco primos menores o iguales a 11. Métodos como el algoritmo de Meissel-Lehmer pueden calcular valores exactos de más rápido de lo que sería posible enumerar cada primo hasta . [77] El teorema de los números primos establece que es asintótico a , que se denota como

y significa que la razón de a la fracción de la derecha se acerca a 1 a medida que crece hasta el infinito. [78] Esto implica que la probabilidad de que un número elegido al azar menor que sea primo es (aproximadamente) inversamente proporcional al número de dígitos en . [79] También implica que el º número primo es proporcional a [80] y, por lo tanto, que el tamaño promedio de un espacio primo es proporcional a . [65] Una estimación más precisa para se da mediante la integral logarítmica de desplazamiento [78]

Progresiones aritméticas

Una progresión aritmética es una secuencia finita o infinita de números tal que todos los números consecutivos en la secuencia tienen la misma diferencia. [81] Esta diferencia se llama módulo de la progresión. [82] Por ejemplo,

3, 12, 21, 30, 39, ...,

es una progresión aritmética infinita con módulo 9. En una progresión aritmética, todos los números tienen el mismo resto cuando se dividen por el módulo; en este ejemplo, el resto es 3. Como tanto el módulo 9 como el resto 3 son múltiplos de 3, también lo es cada elemento de la secuencia. Por lo tanto, esta progresión contiene solo un número primo, el propio 3. En general, la progresión infinita

puede tener más de un primo sólo cuando su resto y módulo son primos entre sí. Si son primos entre sí, el teorema de Dirichlet sobre progresiones aritméticas afirma que la progresión contiene infinitos primos. [83]

Primos en las progresiones aritméticas módulo 9. Cada fila de la delgada banda horizontal muestra una de las nueve posibles progresiones módulo 9, con los números primos marcados en rojo. Las progresiones de números que son 0, 3 o 6 módulo 9 contienen como máximo un número primo (el número 3); las progresiones restantes de números que son 2, 4, 5, 7 y 8 módulo 9 tienen infinitos números primos, con cantidades similares de primos en cada progresión.

El teorema de Green-Tao muestra que existen progresiones aritméticas finitas arbitrariamente largas que constan únicamente de números primos. [35] [84]

Valores primos de polinomios cuadráticos

La espiral de Ulam
La espiral de Ulam . Los números primos (rojos) se agrupan en algunas diagonales y no en otras. Los valores primos de se muestran en azul.

Euler observó que la función

produce números primos para , aunque los números compuestos aparecen entre sus valores posteriores. [85] [86] La búsqueda de una explicación para este fenómeno condujo a la teoría de números algebraicos profundos de los números de Heegner y al problema del número de clase . [87] La ​​conjetura de Hardy-Littlewood F predice la densidad de primos entre los valores de polinomios cuadráticos con coeficientes enteros en términos de la integral logarítmica y los coeficientes polinomiales. No se ha demostrado que ningún polinomio cuadrático tome infinitos valores primos. [88]

La espiral de Ulam organiza los números naturales en una cuadrícula bidimensional, formando espirales en cuadrados concéntricos que rodean el origen con los números primos resaltados. Visualmente, los primos parecen agruparse en ciertas diagonales y no en otras, lo que sugiere que algunos polinomios cuadráticos toman valores primos con más frecuencia que otros. [88]

Función zeta y la hipótesis de Riemann

Gráfica de los valores absolutos de la función zeta
Gráfico de los valores absolutos de la función zeta, mostrando algunas de sus características

Una de las cuestiones sin resolver más famosas de las matemáticas, que data de 1859 y que forma parte de los Problemas del Premio del Milenio , es la hipótesis de Riemann , que pregunta dónde se encuentran los ceros de la función zeta de Riemann . Esta función es una función analítica sobre los números complejos . Para los números complejos con parte real mayor que uno, es igual a una suma infinita sobre todos los números enteros y a un producto infinito sobre los números primos.

Esta igualdad entre una suma y un producto, descubierta por Euler, se llama producto de Euler . [89] El producto de Euler se puede derivar del teorema fundamental de la aritmética, y muestra la estrecha conexión entre la función zeta y los números primos. [90] Conduce a otra prueba de que hay infinitos primos: si solo hubiera un número finito, entonces la igualdad suma-producto también sería válida en , pero la suma divergiría (es la serie armónica ) mientras que el producto sería finito, una contradicción. [91]

La hipótesis de Riemann establece que los ceros de la función zeta son todos números pares negativos o números complejos con parte real igual a 1/2. [92] La prueba original del teorema de los números primos se basó en una forma débil de esta hipótesis, que no hay ceros con parte real igual a 1, [93] [94] aunque se han encontrado otras pruebas más elementales. [95] La función de conteo de primos puede expresarse mediante la fórmula explícita de Riemann como una suma en la que cada término proviene de uno de los ceros de la función zeta; el término principal de esta suma es la integral logarítmica, y los términos restantes hacen que la suma fluctúe por encima y por debajo del término principal. [96] En este sentido, los ceros controlan la regularidad con la que se distribuyen los números primos. Si la hipótesis de Riemann es verdadera, estas fluctuaciones serán pequeñas, y la distribución asintótica de los primos dada por el teorema de los números primos también se mantendrá en intervalos mucho más cortos (de longitud aproximadamente la raíz cuadrada de para intervalos cercanos a un número ). [94]

Álgebra abstracta

Aritmética modular y cuerpos finitos

La aritmética modular modifica la aritmética habitual al utilizar únicamente los números , para un número natural llamado módulo. Cualquier otro número natural se puede mapear en este sistema reemplazándolo por su residuo después de la división por . [97] Las sumas, diferencias y productos modulares se calculan realizando el mismo reemplazo por el residuo en el resultado de la suma, diferencia o producto habitual de números enteros. [98] La igualdad de números enteros corresponde a la congruencia en aritmética modular: y son congruentes (escritos mod ) cuando tienen el mismo residuo después de la división por . [99] Sin embargo, en este sistema de números, la división por todos los números distintos de cero es posible si y solo si el módulo es primo. Por ejemplo, con el número primo como módulo, la división por es posible: , porque despejar los denominadores multiplicando ambos lados por da la fórmula válida . Sin embargo, con el módulo compuesto , la división por es imposible. No existe una solución válida para : despejar denominadores multiplicando por hace que el lado izquierdo se convierta en mientras que el lado derecho se convierte en o . En la terminología del álgebra abstracta , la capacidad de realizar divisiones significa que la aritmética modular módulo un número primo forma un cuerpo o, más específicamente, un cuerpo finito , mientras que otros módulos solo dan un anillo pero no un cuerpo. [100]

Se pueden formular varios teoremas sobre números primos utilizando aritmética modular. Por ejemplo, el pequeño teorema de Fermat establece que si (mod ), entonces (mod ). [101] Sumando esto sobre todas las opciones de se obtiene la ecuación

válido siempre que sea primo. La conjetura de Giuga dice que esta ecuación también es una condición suficiente para que sea primo. [102] El teorema de Wilson dice que un entero es primo si y solo si el factorial es congruente con módulo . Para un número compuesto esto no puede cumplirse, ya que uno de sus factores divide tanto a n como a , y por lo tanto es imposible. [103]

pag-números ádicos

El orden -ádico de un entero es el número de copias de en la factorización prima de . El mismo concepto se puede extender de los números enteros a los números racionales definiendo el orden -ádico de una fracción como . El valor absoluto -ádico de cualquier número racional se define entonces como . Multiplicar un entero por su valor absoluto -ádico cancela los factores de en su factorización, dejando solo los otros primos. Así como la distancia entre dos números reales se puede medir por el valor absoluto de su distancia, la distancia entre dos números racionales se puede medir por su distancia -ádica, el valor absoluto -ádico de su diferencia. Para esta definición de distancia, dos números están cerca uno del otro (tienen una distancia pequeña) cuando su diferencia es divisible por una alta potencia de . De la misma manera que los números reales se pueden formar a partir de los números racionales y sus distancias, añadiendo valores límite adicionales para formar un cuerpo completo , los números racionales con la distancia -ádica se pueden extender a un cuerpo completo diferente, los números -ádicos . [104] [105]

Esta imagen de un orden, valor absoluto y cuerpo completo derivada de ellos puede generalizarse a cuerpos de números algebraicos y sus valoraciones (ciertos mapeos del grupo multiplicativo del cuerpo a un grupo aditivo totalmente ordenado , también llamados órdenes), valores absolutos (ciertos mapeos multiplicativos del cuerpo a los números reales, también llamados normas), [104] y lugares (extensiones a cuerpos completos en los que el cuerpo dado es un conjunto denso , también llamados compleciones). [106] La extensión de los números racionales a los números reales , por ejemplo, es un lugar en el que la distancia entre números es el valor absoluto usual de su diferencia. El mapeo correspondiente a un grupo aditivo sería el logaritmo del valor absoluto, aunque esto no cumple con todos los requisitos de una valoración. Según el teorema de Ostrowski , hasta una noción natural de equivalencia, los números reales y los números -ádicos, con sus órdenes y valores absolutos, son las únicas valoraciones, valores absolutos y lugares en los números racionales. [104] El principio local-global permite que ciertos problemas sobre números racionales se resuelvan juntando soluciones de cada uno de sus lugares, lo que subraya nuevamente la importancia de los números primos para la teoría de números. [107]

Elementos primos en anillos

Los primos gaussianos con norma menor que 500

Un anillo conmutativo es una estructura algebraica donde se definen la adición, la resta y la multiplicación. Los números enteros son un anillo, y los números primos en los números enteros se han generalizado a anillos de dos maneras diferentes, elementos primos y elementos irreducibles . Un elemento de un anillo se llama primo si es distinto de cero, no tiene inverso multiplicativo (es decir, no es una unidad ) y satisface el siguiente requisito: siempre que divide el producto de dos elementos de , también divide al menos uno de o . Un elemento es irreducible si no es una unidad ni el producto de otros dos elementos no unitarios. En el anillo de números enteros, los elementos primos e irreducibles forman el mismo conjunto,

En un anillo arbitrario, todos los elementos primos son irreducibles. La inversa no se cumple en general, pero sí para dominios de factorización únicos . [108]

El teorema fundamental de la aritmética sigue siendo válido (por definición) en dominios de factorización única. Un ejemplo de dicho dominio son los números enteros gaussianos , el anillo de números complejos de la forma donde denota la unidad imaginaria y y son números enteros arbitrarios. Sus elementos primos se conocen como primos gaussianos . No todos los números que son primos entre los números enteros siguen siendo primos en los números enteros gaussianos; por ejemplo, el número 2 se puede escribir como un producto de los dos primos gaussianos y . Los primos racionales (los elementos primos en los números enteros) congruentes con 3 módulo 4 son primos gaussianos, pero los primos racionales congruentes con 1 módulo 4 no lo son. [109] Esto es una consecuencia del teorema de Fermat sobre sumas de dos cuadrados , que establece que un primo impar es expresable como la suma de dos cuadrados, , y por lo tanto factorizable como , exactamente cuando es 1 módulo 4. [110]

Ideales primordiales

No todos los anillos son un dominio de factorización única. Por ejemplo, en el anillo de números (para enteros y ) el número tiene dos factorizaciones , donde ninguno de los cuatro factores puede reducirse más, por lo que no tiene una factorización única. Para extender la factorización única a una clase más grande de anillos, la noción de un número puede reemplazarse por la de un ideal , un subconjunto de los elementos de un anillo que contiene todas las sumas de pares de sus elementos y todos los productos de sus elementos con elementos del anillo. Los ideales primos , que generalizan elementos primos en el sentido de que el ideal principal generado por un elemento primo es un ideal primo, son una herramienta importante y un objeto de estudio en álgebra conmutativa , teoría de números algebraicos y geometría algebraica . Los ideales primos del anillo de números enteros son los ideales (0), (2), (3), (5), (7), (11), ... El teorema fundamental de la aritmética se generaliza al teorema de Lasker-Noether , que expresa cada ideal en un anillo conmutativo noetheriano como una intersección de ideales primarios , que son las generalizaciones apropiadas de potencias primos . [111]

El espectro de un anillo es un espacio geométrico cuyos puntos son los ideales primos del anillo. [112] La geometría aritmética también se beneficia de esta noción, y existen muchos conceptos tanto en geometría como en teoría de números. Por ejemplo, la factorización o ramificación de ideales primos cuando se elevan a un cuerpo de extensión , un problema básico de la teoría algebraica de números, tiene cierta semejanza con la ramificación en geometría . Estos conceptos pueden incluso ayudar en cuestiones de teoría de números que solo se ocupan de números enteros. Por ejemplo, los ideales primos en el anillo de números enteros de cuerpos de números cuadráticos se pueden utilizar para demostrar la reciprocidad cuadrática , una afirmación que se refiere a la existencia de raíces cuadradas módulo números primos enteros. [113] Los primeros intentos de demostrar el último teorema de Fermat llevaron a la introducción de Kummer de los primos regulares , números primos enteros relacionados con el fracaso de la factorización única en los números enteros ciclotómicos . [114] La cuestión de cuántos números primos enteros se factorizan en un producto de múltiples ideales primos en un campo de números algebraicos se aborda mediante el teorema de densidad de Chebotarev , que (cuando se aplica a los números enteros ciclotómicos) tiene como caso especial el teorema de Dirichlet sobre primos en progresiones aritméticas. [115]

Teoría de grupos

En la teoría de grupos finitos , los teoremas de Sylow implican que, si una potencia de un número primo divide el orden de un grupo , entonces el grupo tiene un subgrupo de orden . Por el teorema de Lagrange , cualquier grupo de orden primo es un grupo cíclico , y por el teorema de Burnside, cualquier grupo cuyo orden sea divisible por sólo dos primos es resoluble . [116]

Métodos computacionales

El engranaje pequeño de esta pieza de maquinaria agrícola tiene 13 dientes, un número primo, y el engranaje intermedio tiene 21, primo relativo a 13.

Durante mucho tiempo, la teoría de números en general, y el estudio de los números primos en particular, fue vista como el ejemplo canónico de las matemáticas puras, sin aplicaciones fuera de las matemáticas [b] aparte del uso de dientes de engranajes con números primos para distribuir el desgaste de manera uniforme. [117] En particular, los teóricos de números como el matemático británico GH Hardy se enorgullecían de hacer un trabajo que no tenía absolutamente ninguna importancia militar. [118]

Esta visión de la pureza de la teoría de números se hizo añicos en la década de 1970, cuando se anunció públicamente que los números primos podían usarse como base para la creación de algoritmos de criptografía de clave pública . [32] Estas aplicaciones han llevado a un estudio significativo de algoritmos para computar con números primos, y en particular de pruebas de primalidad , métodos para determinar si un número dado es primo. La rutina de prueba de primalidad más básica, la división de prueba, es demasiado lenta para ser útil para números grandes. Un grupo de pruebas de primalidad modernas es aplicable a números arbitrarios, mientras que hay pruebas más eficientes disponibles para números de tipos especiales. La mayoría de las pruebas de primalidad solo indican si su argumento es primo o no. Las rutinas que también proporcionan un factor primo de argumentos compuestos (o todos sus factores primos) se denominan algoritmos de factorización . Los números primos también se utilizan en computación para sumas de comprobación , tablas hash y generadores de números pseudoaleatorios .

División de juicio

El método más básico para comprobar la primalidad de un entero dado se llama división de prueba . Este método divide por cada entero desde 2 hasta la raíz cuadrada de . Cualquier entero de este tipo que se divida de manera uniforme se establece como compuesto; de lo contrario, es primo. Los enteros mayores que la raíz cuadrada no necesitan ser comprobados porque, siempre que , uno de los dos factores y es menor o igual que la raíz cuadrada de . Otra optimización es comprobar solo los primos como factores en este rango. [119] Por ejemplo, para comprobar si 37 es primo, este método lo divide por los primos en el rango de 2 a , que son 2, 3 y 5. Cada división produce un resto distinto de cero, por lo que 37 es de hecho primo.

Aunque este método es simple de describir, no es práctico para probar la primalidad de números enteros grandes, porque el número de pruebas que realiza crece exponencialmente en función del número de dígitos de estos números enteros. [120] Sin embargo, todavía se utiliza la división de prueba, con un límite menor que la raíz cuadrada en el tamaño del divisor, para descubrir rápidamente números compuestos con factores pequeños, antes de utilizar métodos más complicados en los números que pasan este filtro. [121]

Tamices

La criba de Eratóstenes comienza con todos los números sin marcar (gris). Encuentra repetidamente el primer número sin marcar, lo marca como primo (colores oscuros) y marca su cuadrado y todos los múltiplos posteriores como compuestos (colores más claros). Después de marcar los múltiplos de 2 (rojo), 3 (verde), 5 (azul) y 7 (amarillo), se han procesado todos los primos hasta la raíz cuadrada del tamaño de la tabla y todos los números restantes sin marcar (11, 13, etc.) se marcan como primos (magenta).

Antes de las computadoras, era común imprimir tablas matemáticas que enumeraban todos los primos o factorizaciones primos hasta un límite dado. [122] El método más antiguo conocido para generar una lista de primos se llama criba de Eratóstenes. [123] La animación muestra una variante optimizada de este método. [124] Otro método de cribado asintóticamente más eficiente para el mismo problema es la criba de Atkin . [125] En matemáticas avanzadas, la teoría de cribas aplica métodos similares a otros problemas. [126]

Prueba de primalidad versus demostración de primalidad

Algunas de las pruebas modernas más rápidas para determinar si un número dado arbitrario es primo son algoritmos probabilísticos (o de Monte Carlo ), lo que significa que tienen una pequeña probabilidad aleatoria de producir una respuesta incorrecta. [127] Por ejemplo, la prueba de primalidad de Solovay-Strassen sobre un número dado elige un número al azar entre y utiliza la exponenciación modular para comprobar si es divisible por . [c] Si es así, responde sí y, en caso contrario, responde no. Si realmente es primo, siempre responderá sí, pero si es compuesto, entonces responde sí con una probabilidad de como máximo 1/2 y no con una probabilidad de como mínimo 1/2. [128] Si esta prueba se repite veces sobre el mismo número, la probabilidad de que un número compuesto pueda pasar la prueba cada vez es como máximo . Debido a que esto disminuye exponencialmente con el número de pruebas, proporciona una alta confianza (aunque no certeza) de que un número que pasa la prueba repetida es primo. Por otro lado, si la prueba alguna vez falla, entonces el número es ciertamente compuesto. [129] Un número compuesto que pasa dicha prueba se llama pseudoprimo . [128]

Por el contrario, algunos otros algoritmos garantizan que su respuesta siempre será correcta: los primos siempre se determinarán como primos y los compuestos siempre se determinarán como compuestos. Por ejemplo, esto es cierto para la división por tanteo. Los algoritmos con salida correcta garantizada incluyen algoritmos deterministas (no aleatorios), como la prueba de primalidad AKS , [130] y algoritmos aleatorios de Las Vegas donde las elecciones aleatorias hechas por el algoritmo no afectan su respuesta final, como algunas variaciones de la prueba de primalidad de curva elíptica . [127] Cuando el método de curva elíptica concluye que un número es primo, proporciona un certificado de primalidad que se puede verificar rápidamente. [131] La prueba de primalidad de curva elíptica es la más rápida en la práctica de las pruebas de primalidad correcta garantizada, pero su análisis en tiempo de ejecución se basa en argumentos heurísticos en lugar de pruebas rigurosas. La prueba de primalidad AKS ha demostrado matemáticamente la complejidad temporal, pero es más lenta que la prueba de primalidad de curva elíptica en la práctica. [132] Estos métodos se pueden utilizar para generar números primos aleatorios grandes, generando y probando números aleatorios hasta encontrar uno que sea primo; al hacer esto, una prueba probabilística más rápida puede eliminar rápidamente la mayoría de los números compuestos antes de que se utilice un algoritmo de corrección garantizada para verificar que los números restantes sean primos. [d]

La siguiente tabla enumera algunas de estas pruebas. Su tiempo de ejecución se da en términos de , el número que se va a probar y, para algoritmos probabilísticos, el número de pruebas realizadas. Además, es un número positivo arbitrariamente pequeño y log es el logaritmo en una base no especificada. La notación O mayúscula significa que cada límite de tiempo debe multiplicarse por un factor constante para convertirlo de unidades adimensionales a unidades de tiempo; este factor depende de detalles de implementación como el tipo de computadora utilizada para ejecutar el algoritmo, pero no de los parámetros de entrada y .

Algoritmos de propósito especial y el mayor número primo conocido

Además de las pruebas mencionadas anteriormente que se aplican a cualquier número natural, algunos números de una forma especial pueden ser sometidos a pruebas de primalidad más rápidamente. Por ejemplo, la prueba de primalidad de Lucas-Lehmer puede determinar si un número de Mersenne (uno menos que una potencia de dos ) es primo, de manera determinista, en el mismo tiempo que una única iteración de la prueba de Miller-Rabin. [137] Es por esto que desde 1992 (a diciembre de 2018 ) el primo más grande conocido siempre ha sido un primo de Mersenne. [138] Se conjetura que hay infinitos primos de Mersenne. [139]

La siguiente tabla muestra los números primos más grandes conocidos de varios tipos. Algunos de estos números primos se han encontrado utilizando computación distribuida . En 2009, el proyecto Great Internet Mersenne Prime Search recibió un premio de 100.000 dólares estadounidenses por descubrir primero un número primo con al menos 10 millones de dígitos. [140] La Electronic Frontier Foundation también ofrece 150.000 y 250.000 dólares por números primos con al menos 100 millones de dígitos y 1.000 millones de dígitos, respectivamente. [141]

Factorización de números enteros

Dado un entero compuesto , la tarea de proporcionar uno (o todos) de los factores primos se conoce como factorización de . Es significativamente más difícil que la prueba de primalidad, [148] y aunque se conocen muchos algoritmos de factorización, son más lentos que los métodos de prueba de primalidad más rápidos. La división de prueba y el algoritmo rho de Pollard se pueden utilizar para encontrar factores muy pequeños de , [121] y la factorización de curva elíptica puede ser efectiva cuando tiene factores de tamaño moderado. [149] Los métodos adecuados para números arbitrarios grandes que no dependen del tamaño de sus factores incluyen la criba cuadrática y la criba de campo numérico general . Al igual que con la prueba de primalidad, también hay algoritmos de factorización que requieren que su entrada tenga una forma especial, incluida la criba de campo numérico especial . [150] A diciembre de 2019, el número más grande conocido que ha sido factorizado por un algoritmo de propósito general es RSA-240 , que tiene 240 dígitos decimales (795 bits) y es el producto de dos primos grandes. [151]

El algoritmo de Shor puede factorizar cualquier número entero en un número polinómico de pasos en un ordenador cuántico . [152] Sin embargo, la tecnología actual sólo puede ejecutar este algoritmo para números muy pequeños. A fecha de octubre de 2012, el número más grande que ha sido factorizado por un ordenador cuántico que ejecuta el algoritmo de Shor es 21. [153]

Otras aplicaciones computacionales

Varios algoritmos de criptografía de clave pública , como RSA y el intercambio de claves Diffie-Hellman , se basan en números primos grandes (los primos de 2048 bits son comunes). [154] RSA se basa en el supuesto de que es mucho más fácil (es decir, más eficiente) realizar la multiplicación de dos números (grandes) y que calcular y (supuestos coprimos ) si solo se conoce el producto. [32] El intercambio de claves Diffie-Hellman se basa en el hecho de que existen algoritmos eficientes para la exponenciación modular (computación ), mientras que la operación inversa (el logaritmo discreto ) se considera un problema difícil. [155]

Los números primos se utilizan con frecuencia para las tablas hash . Por ejemplo, el método original de Carter y Wegman para el hash universal se basaba en calcular funciones hash eligiendo funciones lineales aleatorias módulo números primos grandes. Carter y Wegman generalizaron este método para el hash independiente mediante el uso de polinomios de grado superior, nuevamente módulo números primos grandes. [156] Así como en la función hash, los números primos se utilizan para el tamaño de la tabla hash en las tablas hash basadas en sondeo cuadrático para garantizar que la secuencia de sondeo cubra toda la tabla. [157]

Algunos métodos de suma de comprobación se basan en las matemáticas de los números primos. Por ejemplo, las sumas de comprobación utilizadas en los números del Libro Estándar Internacional se definen tomando el resto del número módulo 11, un número primo. Como 11 es primo, este método puede detectar tanto errores de un solo dígito como transposiciones de dígitos adyacentes. [158] Otro método de suma de comprobación, Adler-32 , utiliza el módulo aritmético 65521, el número primo más grande menor que . [159] Los números primos también se utilizan en generadores de números pseudoaleatorios, incluidos los generadores congruenciales lineales [160] y el Mersenne Twister . [161]

Otras aplicaciones

Los números primos son de importancia central para la teoría de números, pero también tienen muchas aplicaciones en otras áreas dentro de las matemáticas, incluyendo el álgebra abstracta y la geometría elemental. Por ejemplo, es posible colocar números primos de puntos en una cuadrícula bidimensional de modo que no haya tres en una línea , o de modo que cada triángulo formado por tres de los puntos tenga un área grande . [162] Otro ejemplo es el criterio de Eisenstein , una prueba para determinar si un polinomio es irreducible en función de la divisibilidad de sus coeficientes por un número primo y su cuadrado. [163]

La suma conectada de dos nudos primos

El concepto de número primo es tan importante que se ha generalizado de diferentes maneras en varias ramas de las matemáticas. Generalmente, "primo" indica minimalidad o indecomponibilidad, en un sentido apropiado. Por ejemplo, el cuerpo primo de un cuerpo dado es su subcuerpo más pequeño que contiene tanto 0 como 1. Es el cuerpo de los números racionales o un cuerpo finito con un número primo de elementos, de ahí el nombre. [164] A menudo se pretende un segundo significado adicional al usar la palabra primo, a saber, que cualquier objeto puede ser, esencialmente de manera única, descompuesto en sus componentes primos. Por ejemplo, en la teoría de nudos , un nudo primo es un nudo que es indecomponible en el sentido de que no puede escribirse como la suma conexa de dos nudos no triviales. Cualquier nudo puede expresarse de manera única como una suma conexa de nudos primos. [165] La descomposición en primos de 3-variedades es otro ejemplo de este tipo. [166]

Más allá de las matemáticas y la informática, los números primos tienen conexiones potenciales con la mecánica cuántica y se han utilizado metafóricamente en las artes y la literatura. También se han utilizado en biología evolutiva para explicar los ciclos de vida de las cigarras .

Polígonos construibles y particiones poligonales.

Construcción de un pentágono regular con regla y compás. Esto sólo es posible porque 5 es un número primo de Fermat .

Los primos de Fermat son primos de la forma

con un entero no negativo . [167] Reciben su nombre de Pierre de Fermat , quien conjeturó que todos esos números son primos. Los primeros cinco de estos números (3, 5, 17, 257 y 65 537) son primos, [168] pero son compuestos, al igual que todos los demás números de Fermat que se han verificado hasta 2017. [169] Un -gono regular se puede construir usando regla y compás si y solo si los factores primos impares de (si los hay) son primos de Fermat distintos. [168] Del mismo modo, se puede construir un -gono regular usando regla, compás y un trisector de ángulos si y solo si los factores primos de son cualquier número de copias de 2 o 3 junto con un conjunto (posiblemente vacío) de primos de Pierpont distintos , primos de la forma . [170]

Es posible dividir cualquier polígono convexo en polígonos convexos más pequeños de igual área y perímetro igual, cuando es una potencia de un número primo , pero esto no se sabe para otros valores de . [171]

Mecánica cuántica

A partir del trabajo de Hugh Montgomery y Freeman Dyson en la década de 1970, los matemáticos y físicos han especulado que los ceros de la función zeta de Riemann están conectados a los niveles de energía de los sistemas cuánticos . [172] [173] Los números primos también son significativos en la ciencia de la información cuántica , gracias a estructuras matemáticas como bases mutuamente imparciales y medidas simétricas informacionalmente completas con valores de operadores positivos . [174] [175]

Biología

La estrategia evolutiva utilizada por las cigarras del género Magicicada hace uso de números primos. [176] Estos insectos pasan la mayor parte de sus vidas como larvas bajo tierra. Solo pupan y luego emergen de sus madrigueras después de 7, 13 o 17 años, momento en el que vuelan, se reproducen y luego mueren después de unas pocas semanas como máximo. Los biólogos teorizan que estas duraciones de ciclos reproductivos con números primos han evolucionado para evitar que los depredadores se sincronicen con estos ciclos. [177] [178] En contraste, se plantea la hipótesis de que los períodos de varios años entre la floración en las plantas de bambú son números lisos , que tienen solo pequeños números primos en sus factorizaciones. [179]

Artes y literatura

Los números primos han influido en muchos artistas y escritores. El compositor francés Olivier Messiaen utilizó números primos para crear música amétrica a partir de «fenómenos naturales». En obras como La nativité du seigneur (1935) y Quatre études de rythme (1949-1950), empleó simultáneamente motivos con duraciones dadas por diferentes números primos para crear ritmos impredecibles: los primos 41, 43, 47 y 53 aparecen en el tercer estudio, «Neumes rythmiques». Según Messiaen, esta forma de componer estaba «inspirada en los movimientos de la naturaleza, movimientos de duraciones libres y desiguales». [180]

En su novela de ciencia ficción Contacto , el científico Carl Sagan sugirió que la factorización prima podría usarse como un medio para establecer planos de imagen bidimensionales en las comunicaciones con extraterrestres, una idea que había desarrollado por primera vez de manera informal con el astrónomo estadounidense Frank Drake en 1975. [181] En la novela El curioso incidente del perro a medianoche de Mark Haddon , el narrador organiza las secciones de la historia mediante números primos consecutivos como una forma de transmitir el estado mental de su personaje principal, un adolescente matemáticamente dotado con síndrome de Asperger . [182] Los números primos se utilizan como una metáfora de la soledad y el aislamiento en la novela de Paolo Giordano La soledad de los números primos , en la que se los retrata como "forasteros" entre los números enteros. [183]

Notas

  1. ^ Un número primo de 44 dígitos descubierto en 1951 por Aimé Ferrier con una calculadora mecánica sigue siendo el número primo más grande que no se ha encontrado con la ayuda de computadoras electrónicas. [28]
  2. ^ ab Por ejemplo, Beiler escribe que el teórico de números Ernst Kummer amaba sus números ideales , estrechamente relacionados con los primos, "porque no se habían ensuciado con ninguna aplicación práctica", [30] y Katz escribe que Edmund Landau , conocido por su trabajo sobre la distribución de los primos, "detestaba las aplicaciones prácticas de las matemáticas", y por esta razón evitaba temas como la geometría que ya habían demostrado ser útiles. [31]
  3. ^ En esta prueba, el término es negativo si es un cuadrado módulo del primo (supuesto) dado y positivo en caso contrario. En términos más generales, para valores no primos de , el término es el símbolo de Jacobi (negado) , que se puede calcular utilizando la reciprocidad cuadrática .
  4. ^ De hecho, gran parte del análisis de la demostración de primalidad de curvas elípticas se basa en el supuesto de que la entrada al algoritmo ya ha pasado una prueba probabilística. [131]
  5. ^ La función primorial de , denotada por , produce el producto de los números primos hasta , y un primo primo es un primo de una de las formas . [145]

Referencias

  1. ^ ab "El proyecto GIMPS descubre el mayor número primo conocido: 282.589.933-1". Mersenne Research, Inc. 21 de diciembre de 2018. Consultado el 21 de diciembre de 2018 .
  2. ^ Gardiner, Anthony (1997). Manual de la Olimpiada Matemática: Introducción a la resolución de problemas basada en las primeras 32 Olimpiadas Matemáticas Británicas 1965-1996 . Oxford University Press. pág. 26. ISBN 978-0-19-850105-3.
  3. ^ Henderson, Anne (2014). Dislexia, discalculia y matemáticas: una guía práctica (2.ª ed.). Routledge. pág. 62. ISBN 978-1-136-63662-2.
  4. ^ Adler, Irving (1960). El gigantesco libro dorado de las matemáticas: exploración del mundo de los números y el espacio . Golden Press. pág. 16. OCLC  6975809.
  5. ^ Leff, Lawrence S. (2000). Cuaderno de ejercicios de matemáticas para el SAT I. Serie educativa de Barron. pág. 360. ISBN 978-0-7641-0768-9.
  6. ^ Dudley, Underwood (1978). "Sección 2: Factorización única". Teoría elemental de números (2.ª ed.). WH Freeman and Co. pág. 10. ISBN 978-0-7167-0076-0.
  7. ^ Sierpiński, Wacław (1988). Teoría elemental de números. Biblioteca matemática de Holanda Septentrional. Vol. 31 (2.ª ed.). Elsevier. pág. 113. ISBN 978-0-08-096019-7.
  8. ^ ab Ziegler, Günter M. (2004). "Las grandes carreras de récords de números primos". Avisos de la American Mathematical Society . 51 (4): 414–416. MR  2039814.
  9. ^ Stillwell, John (1997). Números y geometría. Textos de pregrado en matemáticas. Springer. pág. 9. ISBN 978-0-387-98289-2.
  10. ^ Sierpiński, Wacław (1964). Una selección de problemas en la teoría de números . Nueva York: Macmillan. p. 40. MR  0170843.
  11. ^ Nathanson, Melvyn B. (2000). "Notaciones y convenciones". Métodos elementales en teoría de números . Textos de posgrado en matemáticas. Vol. 195. Springer. ISBN 978-0-387-22738-2.Sr. 1732941  .
  12. ^ Faticoni, Theodore G. (2012). Las matemáticas del infinito: una guía para las grandes ideas. Matemáticas puras y aplicadas: una serie de textos, monografías y tratados de Wiley. Vol. 111 (2.ª ed.). John Wiley & Sons. pág. 44. ISBN 978-1-118-24382-4.
  13. ^ Bruins, Evert Marie, reseña en Mathematical Reviews de Gillings, RJ (1974). "El recto del Papiro matemático de Rhind. ¿Cómo lo preparó el antiguo escriba egipcio?". Archivo de Historia de las Ciencias Exactas . 12 (4): 291–298. doi :10.1007/BF01307175. MR  0497458. S2CID  121046003.
  14. ^ ab Stillwell, John (2010). Matemáticas y su historia. Textos de pregrado en matemáticas (3.ª ed.). Springer. pág. 40. ISBN 978-1-4419-6052-8.
  15. ^ ab Pomerance, Carl (diciembre de 1982). "La búsqueda de números primos". Scientific American . 247 (6): 136–147. Bibcode :1982SciAm.247f.136P. doi :10.1038/scientificamerican1282-136. JSTOR  24966751.
  16. ^ abcd Mollin, Richard A. (2002). "Una breve historia de la factorización y las pruebas de primalidad BC (antes de las computadoras)". Revista de matemáticas . 75 (1): 18–29. doi :10.2307/3219180. JSTOR  3219180. MR  2107288.
  17. ^ O'Connor, John J.; Robertson, Edmund F. "Abu Ali al-Hasan ibn al-Haytham". Archivo de Historia de las Matemáticas de MacTutor . Universidad de St Andrews .
  18. ^ Sandifer 2007, 8. El pequeño teorema de Fermat (noviembre de 2003), pág. 45
  19. ^ Sandifer, C. Edward (2014). Cómo Euler hizo aún más. Asociación Matemática de Estados Unidos. p. 42. ISBN 978-0-88385-584-3.
  20. ^ Koshy, Thomas (2002). Teoría elemental de números con aplicaciones. Academic Press. pág. 369. ISBN 978-0-12-421171-1.
  21. ^ Yuan, Wang (2002). Conjetura de Goldbach. Serie en Matemáticas Pura. Vol. 4 (2.ª ed.). World Scientific. pág. 21. ISBN 978-981-4487-52-8.
  22. ^ Narkiewicz, Wladyslaw (2000). "1.2 Suma de recíprocos de primos". El desarrollo de la teoría de números primos: desde Euclides hasta Hardy y Littlewood . Springer Monographs in Mathematics. Springer. pág. 11. ISBN 978-3-540-66289-1.
  23. ^ Chebychev, P. (1852). "Mémoire sur les nombres premiers" (PDF) . Journal de mathématiques pures et appliquées . Serie 1 (en francés): 366–390.. (Prueba del postulado: 371–382). Véase también Mémoires de l'Académie Impériale des Sciences de St. Pétersbourg, vol. 7, págs. 15 a 33, 1854
  24. ^ Apostol, Tom M. (2000). "Una historia centenaria del teorema de los números primos". En Bambah, RP; Dumir, VC; Hans-Gill, RJ (eds.). Teoría de números . Tendencias en matemáticas. Basilea: Birkhäuser. págs. 1–14. MR  1764793.
  25. ^ Apostol, Tom M. (1976). "7. Teorema de Dirichlet sobre los números primos en progresiones aritméticas". Introducción a la teoría analítica de números . Nueva York; Heidelberg: Springer-Verlag. págs. 146–156. MR  0434929.
  26. ^ Chabert, Jean-Luc (2012). Una historia de los algoritmos: del Pebble al microchip. Springer. pág. 261. ISBN 978-3-642-18192-4.
  27. ^ Rosen, Kenneth H. (2000). "Teorema 9.20. Prueba de primalidad de Proth". Teoría elemental de números y sus aplicaciones (4.ª ed.). Addison-Wesley. pág. 342. ISBN 978-0-201-87073-2.
  28. ^ Cooper, S. Barry; Hodges, Andrew (2016). El Turing de antaño y del futuro. Cambridge University Press. págs. 37–38. ISBN 978-1-107-01083-3.
  29. ^ Rosen 2000, pág. 245.
  30. ^ Beiler, Albert H. (1999) [1966]. Recreaciones en la teoría de números: La reina de las matemáticas entretiene. Dover. p. 2. ISBN 978-0-486-21096-4.OCLC 444171535  .
  31. ^ Katz, Shaul (2004). "Raíces berlinesas: encarnación sionista: el espíritu de las matemáticas puras y los inicios del Instituto Einstein de Matemáticas en la Universidad Hebrea de Jerusalén". Science in Context . 17 (1–2): 199–234. doi :10.1017/S0269889704000092. MR  2089305. S2CID  145575536.
  32. ^ abc Kraft, James S.; Washington, Lawrence C. (2014). Teoría elemental de números. Libros de texto de matemáticas. CRC Press. p. 7. ISBN 978-1-4987-0269-0.
  33. ^ Bauer, Craig P. (2013). Historia secreta: la historia de la criptología. Matemáticas discretas y sus aplicaciones. CRC Press. pág. 468. ISBN 978-1-4665-6186-1.
  34. ^ Klee, Victor ; Wagon, Stan (1991). Problemas antiguos y nuevos sin resolver en geometría plana y teoría de números. Exposiciones matemáticas de Dolciani. Vol. 11. Cambridge University Press. p. 224. ISBN 978-0-88385-315-3.
  35. ^ desde Neale 2017, págs. 18, 47.
  36. ^ ab Caldwell, Chris K.; Reddick, Angela; Xiong, Yeng; Keller, Wilfrid (2012). "La historia de la primalidad del uno: una selección de fuentes". Journal of Integer Sequences . 15 (9): Artículo 12.9.8. MR  3005523.Para una selección de citas de las posiciones de la antigua Grecia sobre el estatus de 1 y 2, véase en particular las páginas 3 y 4. Para los matemáticos islámicos, véase la página 6.
  37. ^ Tarán, Leonardo (1981). Espeusipo de Atenas: un estudio crítico con una colección de textos relacionados y comentarios. Philosophia Antiqua: una serie de monografías sobre filosofía antigua. Vol. 39. Brill. pp. 35–38. ISBN 978-90-04-06505-5.
  38. ^ Caldwell et al. 2012, págs. 7-13. Véanse en particular las entradas de Stevin, Brancker, Wallis y Prestet.
  39. ^ Caldwell y col. 2012, pág. 15.
  40. ^ abc Caldwell, Chris K.; Xiong, Yeng (2012). "¿Cuál es el primo más pequeño?" (PDF) . Journal of Integer Sequences . 15 (9): Artículo 12.9.7. MR  3005530.
  41. ^ Riesel, Hans (1994). Números primos y métodos informáticos para la factorización (2.ª ed.). Basilea, Suiza: Birkhäuser. p. 36. doi :10.1007/978-1-4612-0251-6. ISBN 978-0-8176-3743-9.Señor 1292250  .
  42. ^ ab Conway, John Horton ; Guy, Richard K. (1996). El libro de los números . Nueva York: Copernicus. págs. 129-130. doi :10.1007/978-1-4612-4072-3. ISBN 978-0-387-97993-9.Señor 1411676  .
  43. ^ Para el totiente, véase Sierpiński 1988, p. 245. Para la suma de divisores, véase Sandifer, C. Edward (2007). How Euler Did It. MAA Spectrum. Mathematical Association of America. p. 59. ISBN 978-0-88385-563-8.
  44. ^ Smith, Karl J. (2011). La naturaleza de las matemáticas (12.ª ed.). Cengage Learning. pág. 188. ISBN 978-0-538-73758-6.
  45. ^ Dudley 1978, Sección 2, Teorema 2, pág. 16; Neale, Vicky (2017). Closing the Gap: The Quest to Understand Prime Numbers (Cerrando la brecha: la búsqueda para comprender los números primos) . Oxford University Press. pág. 107. ISBN 978-0-19-109243-5.
  46. ^ du Sautoy, Marcus (2003). La música de los números primos: en busca de la solución del mayor misterio de las matemáticas . Harper Collins. pág. 23. ISBN 978-0-06-093558-0.
  47. ^ Dudley 1978, Sección 2, Lema 5, pág. 15; Higgins, Peter M. (1998). Matemáticas para los curiosos. Oxford University Press. págs. 77–78. ISBN 978-0-19-150050-3.
  48. ^ Rotman, Joseph J. (2000). Un primer curso de álgebra abstracta (2.ª ed.). Prentice Hall. Problema 1.40, pág. 56. ISBN 978-0-13-011584-3.
  49. ^ Carta en latín de Goldbach a Euler, julio de 1730.
  50. ^ Furstenberg, Harry (1955). "Sobre la infinitud de los números primos". American Mathematical Monthly . 62 (5): 353. doi :10.2307/2307043. JSTOR  2307043. MR  0068566.
  51. ^ Ribenboim, Paulo (2004). El pequeño libro de los números primos más grandes. Berlín; Nueva York: Springer-Verlag. p. 4. ISBN 978-0-387-20169-6.
  52. ^ Elementos de Euclides , Libro IX, Proposición 20. Véase la traducción al inglés de la prueba de Euclides de David Joyce o Williamson, James (1782). Los elementos de Euclides, con disertaciones. Oxford: Clarendon Press . pág. 63. OCLC  642232959.
  53. ^ Vardi, Ilan (1991). Recreaciones computacionales en Mathematica . Addison-Wesley. págs. 82-89. ISBN. 978-0-201-52989-0.
  54. ^ abc Matiyasevich, Yuri V. (1999). "Fórmulas para números primos". En Tabachnikov, Serge (ed.). Kvant Selecta: Álgebra y análisis . Vol. II. Sociedad Matemática Americana . págs. 13–24. ISBN 978-0-8218-1915-9.
  55. ^ Mackinnon, Nick (junio de 1987). "Fórmulas de números primos". The Mathematical Gazette . 71 (456): 113–114. doi :10.2307/3616496. JSTOR  3616496. S2CID  171537609.
  56. ^ Wright, EM (1951). "Una función que representa números primos". American Mathematical Monthly . 58 (9): 616–618. doi :10.2307/2306356. JSTOR  2306356.
  57. ^ Guy 2013, pág. vii.
  58. ^ Guy 2013, C1 Conjetura de Goldbach, págs. 105-107.
  59. ^ Oliveira e Silva, Tomás; Herzog, Siegfried; Pardi, Silvio (2014). "Verificación empírica de la conjetura de Goldbach par y cálculo de huecos primos hasta 4 ⋅ 10 18 {\displaystyle 4\cdot 10^{18}}". Matemáticas de la computación . 83 (288): 2033–2060. doi : 10.1090/S0025-5718-2013-02787-1 . MR  3194140.
  60. ^ Tao 2009, 3.1 Estructura y aleatoriedad en los números primos, pp. 239–247. Véase especialmente la p. 239.
  61. ^ Guy 2013, pág. 159.
  62. ^ Ramaré, Olivier (1995). "Sobre la constante de Šnirel'man". Annali della Scuola Normale Superiore di Pisa . 22 (4): 645–706. SEÑOR  1375315. Archivado desde el original el 9 de febrero de 2022 . Consultado el 23 de enero de 2018 .
  63. ^ Rassias, Michael Th. (2017). Problema de Goldbach: temas seleccionados. Cham: Springer. pág. vii. doi :10.1007/978-3-319-57914-6. ISBN 978-3-319-57912-2.Señor 3674356  .
  64. ^ Koshy 2002, Teorema 2.14, pág. 109. Riesel 1994 ofrece un argumento similar utilizando el primorial en lugar del factorial.
  65. ^ ab Riesel 1994, "Grandes brechas entre primos consecutivos", págs. 78-79.
  66. ^ Sloane, N. J. A. (ed.). "Secuencia A100964 (Número primo más pequeño que comienza con un espacio primo de al menos 2n)". La enciclopedia en línea de secuencias de números enteros . Fundación OEIS.
  67. ^ abc Ribenboim 2004, Brechas entre números primos, págs. 186-192.
  68. ^ desde Ribenboim 2004, pág. 183.
  69. ^ Chan, Joel (febrero de 1996). "¡Hora de máxima audiencia!". Math Horizons . 3 (3): 23–25. doi :10.1080/10724117.1996.11974965. JSTOR  25678057.Nótese que Chan enumera la conjetura de Legendre como "Postulado de Sierpinski".
  70. ^ Ribenboim 2004, Conjetura de las -tuplas primas, págs. 201–202.
  71. ^ Sandifer 2007, Capítulo 35, Estimación del problema de Basilea, págs. 205-208.
  72. ^ Ogilvy, CS ; Anderson, JT (1988). Excursiones en teoría de números. Dover Publications Inc. págs. 29-35. ISBN 978-0-486-25778-5.
  73. ^ Apostol 1976, Sección 1.6, Teorema 1.13
  74. ^ Apostol 1976, Sección 4.8, Teorema 4.12
  75. ^ ab Miller, Steven J.; Takloo-Bighash, Ramin (2006). Una invitación a la teoría de números moderna. Princeton University Press. págs. 43-44. ISBN 978-0-691-12060-7.
  76. ^ Crandall y Pomerance 2005, pág. 6.
  77. ^ Crandall y Pomerance 2005, Sección 3.7, Conteo de números primos, págs. 152-162.
  78. ^ desde Crandall y Pomerance 2005, pág. 10.
  79. ^ du Sautoy, Marcus (2011). "¿Cuáles son las probabilidades de que su número de teléfono sea primo?". Los misterios de los números: una odisea matemática a través de la vida cotidiana . St. Martin's Press. págs. 50–52. ISBN 978-0-230-12028-0.
  80. ^ Apostol 1976, Sección 4.6, Teorema 4.7
  81. ^ Gelfand, IM ; Shen, Alejandro (2003). Álgebra. Saltador. pag. 37.ISBN 978-0-8176-3677-7.
  82. ^ Mollin, Richard A. (1997). Teoría fundamental de números con aplicaciones. Matemáticas discretas y sus aplicaciones. CRC Press. pág. 76. ISBN 978-0-8493-3987-5.
  83. ^ Crandall y Pomerance 2005, Teorema 1.1.5, pág. 12.
  84. ^ Green, Ben ; Tao, Terence (2008). "Los primos contienen progresiones aritméticas arbitrariamente largas". Anales de Matemáticas . 167 (2): 481–547. arXiv : math.NT/0404188 . doi :10.4007/annals.2008.167.481. S2CID  1883951.
  85. ^ Hua, LK (2009) [1965]. Teoría aditiva de números primos . Traducciones de monografías matemáticas. Vol. 13. Providence, RI: American Mathematical Society. págs. 176–177. ISBN 978-0-8218-4942-2. Sr.  0194404. OCLC  824812353.
  86. ^ Lava, Paolo Pietro enumera la secuencia de estos números primos, comenzando en en lugar de ; Balzarotti, Giorgio (2010). "Capítulo 33. Fórmula afortunada". 103 curiosità matematiche: Teoria dei numeri, delle cifre e delle relazioni nella matematica contemporanea (en italiano). Ulrico Hoepli Editore SpA pág. 133.ISBN 978-88-203-5804-4.
  87. ^ Chamberland, Marc (2015). "Los números de Heegner". Single Digits: In Praise of Small Numbers (Dígitos individuales: elogio de los números pequeños) . Princeton University Press. págs. 213–215. ISBN 978-1-4008-6569-7.
  88. ^ ab Guy, Richard (2013). "A1 Valores primos de funciones cuadráticas". Problemas sin resolver en teoría de números . Libros de problemas de matemáticas (3.ª ed.). Springer. págs. 7–10. ISBN 978-0-387-26677-0.
  89. ^ Patterson, SJ (1988). Introducción a la teoría de la función zeta de Riemann. Cambridge Studies in Advanced Mathematics. Vol. 14. Cambridge University Press, Cambridge. pág. 1. doi :10.1017/CBO9780511623707. ISBN 978-0-521-33535-5.Sr. 0933558  .
  90. ^ Borwein, Peter ; Choi, Stephen; Rooney, Brendan; Weirathmueller, Andrea (2008). La hipótesis de Riemann: un recurso tanto para aficionados como para virtuosos. CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC. Nueva York: Springer. págs. 10-11. doi :10.1007/978-0-387-72126-2. ISBN. 978-0-387-72125-5.Señor 2463715  .
  91. ^ Sandifer 2007, págs. 191-193.
  92. ^ Borwein et al. 2008, Conjetura 2.7 (la hipótesis de Riemann), pág. 15.
  93. ^ Patterson 1988, pág. 7.
  94. ^ ab Borwein et al. 2008, pág. 18.
  95. ^ Nathanson 2000, Capítulo 9, El teorema de los números primos, págs. 289–324.
  96. ^ Zagier, Don (1977). "Los primeros 50 millones de números primos". The Mathematical Intelligencer . 1 (S2): 7–19. doi :10.1007/bf03351556. S2CID  37866599.Véanse especialmente las páginas 14-16.
  97. ^ Kraft y Washington (2014), Proposición 5.3, pág. 96.
  98. ^ Shahriari, Shahriar (2017). Álgebra en acción: un curso sobre grupos, anillos y campos. Textos universitarios puros y aplicados. Vol. 27. Sociedad Matemática Estadounidense. págs. 20-21. ISBN 978-1-4704-2849-5.
  99. ^ Dudley 1978, Teorema 3, pág. 28.
  100. ^ Shahriari 2017, págs. 27-28.
  101. ^ Ribenboim 2004, El pequeño teorema de Fermat y raíces primitivas módulo un primo, págs. 17-21.
  102. ^ Ribenboim 2004, La propiedad de Giuga, págs. 21-22.
  103. ^ Ribenboim 2004, El teorema de Wilson, p. 21.
  104. ^ abc Childress, Nancy (2009). Teoría de campos de clases. Universitext. Springer, Nueva York. pp. 8-11. doi :10.1007/978-0-387-72490-4. ISBN 978-0-387-72489-8.Señor 2462595  .Véase también la pág. 64.
  105. ^ Erickson, Marty; Vazzana, Anthony; Garth, David (2016). Introducción a la teoría de números. Libros de texto de matemáticas (2.ª ed.). Boca Raton, FL: CRC Press. pág. 200. ISBN 978-1-4987-1749-6.Señor 3468748  .
  106. ^ Weil, André (1995). Teoría básica de números . Clásicos de las matemáticas. Berlín: Springer-Verlag. pág. 43. ISBN 978-3-540-58655-5.Señor 1344916  .Sin embargo, hay que tener en cuenta que algunos autores como Childress (2009) utilizan "lugar" para referirse a una clase de equivalencia de normas.
  107. ^ Koch, H. (1997). Teoría algebraica de números. Berlín: Springer-Verlag. pag. 136. CiteSeerX 10.1.1.309.8812 . doi :10.1007/978-3-642-58095-6. ISBN  978-3-540-63003-6.Señor 1474965  .
  108. ^ Lauritzen, Niels (2003). Álgebra abstracta concreta: de los números a las bases de Gröbner. Cambridge: Cambridge University Press. pág. 127. doi :10.1017/CBO9780511804229. ISBN 978-0-521-53410-9. Sr.  2014325.
  109. ^ Lauritzen 2003, Corolario 3.5.14, p. 133; Lema 3.5.18, pág. 136.
  110. ^ Kraft & Washington 2014, Sección 12.1, Sumas de dos cuadrados, págs. 297–301.
  111. ^ Eisenbud, David (1995). Álgebra conmutativa . Textos de posgrado en matemáticas. Vol. 150. Berlín; Nueva York: Springer-Verlag. Sección 3.3. doi :10.1007/978-1-4612-5350-1. ISBN 978-0-387-94268-1.Señor 1322960  .
  112. ^ Shafarevich, Igor R. (2013). "Definición de Spec ⁡ A {\displaystyle \operatorname {Spec} A}". Geometría algebraica básica 2: esquemas y variedades complejas (3.ª ed.). Springer, Heidelberg. pág. 5. doi :10.1007/978-3-642-38010-5. ISBN 978-3-642-38009-9.Señor 3100288  .
  113. ^ Neukirch, Jürgen (1999). Teoría algebraica de números . Grundlehren der Mathematischen Wissenschaften [Principios fundamentales de las ciencias matemáticas]. vol. 322. Berlín: Springer-Verlag. Sección I.8, pág. 50. doi :10.1007/978-3-662-03983-0. ISBN 978-3-540-65399-8.Sr. 1697859  .
  114. ^ Neukirch 1999, Sección I.7, pág. 38
  115. ^ Stevenhagen, P.; Lenstra, HW Jr. (1996). "Chebotarëv y su teorema de densidad". The Mathematical Intelligencer . 18 (2): 26–37. CiteSeerX 10.1.1.116.9409 . doi :10.1007/BF03027290. MR  1395088. S2CID  14089091. 
  116. ^ Hall, Marshall (2018). La teoría de grupos. Dover Books on Mathematics. Courier Dover Publications. ISBN 978-0-486-81690-6.Para los teoremas de Sylow, véase la pág. 43; para el teorema de Lagrange, véase la pág. 12; para el teorema de Burnside, véase la pág. 143.
  117. ^ Bryant, John; Sangwin, Christopher J. (2008). ¿Qué tan redondo es tu círculo?: Donde se encuentran la ingeniería y las matemáticas . Princeton University Press. pág. 178. ISBN 978-0-691-13118-4.
  118. ^ Hardy, Godfrey Harold (2012) [1940]. Disculpa de un matemático . Cambridge University Press. pág. 140. ISBN 978-0-521-42706-7. OCLC  922010634. Nadie ha descubierto aún ninguna finalidad bélica a la que puedan servir la teoría de los números o la relatividad, y parece poco probable que alguien lo haga durante muchos años.
  119. ^ Giblin, Peter (1993). Primos y programación . Cambridge University Press. pág. 39. ISBN 978-0-521-40988-9.
  120. ^ Giblin 1993, pág. 54
  121. ^ desde Riesel 1994, pág. 220.
  122. ^ Bullynck, Maarten (2010). "Una historia de las tablas de factores con notas sobre el nacimiento de la teoría de números 1657-1817". Revue d'Histoire des Mathématiques . 16 (2): 133–216.
  123. ^ Wagstaff, Samuel S. Jr. (2013). El placer de factorizar. Biblioteca matemática para estudiantes. Vol. 68. American Mathematical Society. p. 191. ISBN 978-1-4704-1048-3.
  124. ^ Crandall, Richard ; Pomerance, Carl (2005). Números primos: una perspectiva computacional (2.ª ed.). Springer. pág. 121. ISBN 978-0-387-25282-7.
  125. ^ Farach-Colton, Martín ; Tsai, Meng-Tsung (2015). "Sobre la complejidad de la computación de tablas de primos". En Elbassioni, Khaled; Makino, Kazuhisa (eds.). Algorithms and Computation: 26th International Symposium, ISAAC 2015, Nagoya, Japón, 9-11 de diciembre de 2015, Actas . Lecture Notes in Computer Science. Vol. 9472. Springer. págs. 677–688. arXiv : 1504.05240 . doi :10.1007/978-3-662-48971-0_57. ISBN 978-3-662-48970-3.
  126. ^ Grebas, George (2013). Tamices en teoría de números. Ergebnisse der Mathematik und ihrer Grenzgebiete (3. Folge). vol. 43. Saltador. pag. 1.ISBN 978-3-662-04658-6.
  127. ^ ab Hromkovič, Juraj (2001). "5.5 Observaciones bibliográficas". Algoritmia para problemas difíciles . Textos en informática teórica. Una serie EATCS. ​​Springer-Verlag, Berlín. pp. 383–385. doi :10.1007/978-3-662-04616-6. ISBN 978-3-540-66860-2. Sr.  1843669. S2CID  31159492.
  128. ^ ab Koblitz, Neal (1987). "Capítulo V. Primalidad y factorización". Un curso de teoría de números y criptografía . Textos de posgrado en matemáticas. Vol. 114. Springer-Verlag, Nueva York. págs. 112-149. doi :10.1007/978-1-4684-0310-7_5. ISBN 978-0-387-96576-5.Sr. 0910297  .
  129. ^ Pieprzyk, Josef; Hardjono, Thomas; Seberry, Jennifer (2013). "2.3.9 Cálculos probabilísticos". Fundamentos de seguridad informática . Springer. págs. 51–52. ISBN 978-3-662-07324-7.
  130. ^ ab Tao, Terence (2010). "1.11 La prueba de primalidad AKS". Un épsilon de la habitación, II: Páginas del tercer año de un blog matemático . Estudios de posgrado en matemáticas. Vol. 117. Providence, RI: American Mathematical Society. págs. 82–86. doi :10.1090/gsm/117. ISBN 978-0-8218-5280-4.Señor 2780010  .
  131. ^ ab Atkin, A OL ; Morain, F. (1993). "Curvas elípticas y demostración de primalidad" (PDF) . Matemáticas de la computación . 61 (203): 29–68. Bibcode :1993MaCom..61...29A. doi : 10.1090/s0025-5718-1993-1199989-x . JSTOR  2152935. MR  1199989.
  132. ^ ab Morain, F. (2007). "Implementación de la versión asintóticamente rápida del algoritmo de demostración de primalidad de curva elíptica". Matemáticas de la computación . 76 (257): 493–505. arXiv : math/0502097 . Bibcode :2007MaCom..76..493M. doi :10.1090/S0025-5718-06-01890-4. MR  2261033. S2CID  133193.
  133. ^ Lenstra, HW Jr. ; Pomerance, Carl (2019). "Pruebas de primalidad con periodos gaussianos" (PDF) . Revista de la Sociedad Matemática Europea . 21 (4): 1229–1269. doi :10.4171/JEMS/861. hdl :21.11116/0000-0005-717D-0. MR  3941463. S2CID  127807021.
  134. ^ Carl Pomerance ; John L. Selfridge ; Samuel S. Wagstaff, Jr. (julio de 1980). "Los pseudoprimos hasta 25·109" (PDF) . Matemáticas de la computación . 35 (151): 1003–1026. doi : 10.1090/S0025-5718-1980-0572872-7 . JSTOR  2006210.
  135. ^ Robert Baillie; Samuel S. Wagstaff, Jr. (octubre de 1980). "Lucas Pseudoprimes" (PDF) . Matemáticas de la computación . 35 (152): 1391–1417. doi : 10.1090/S0025-5718-1980-0583518-6 . JSTOR  2006406. MR  0583518.
  136. ^ ab Monier, Louis (1980). "Evaluación y comparación de dos algoritmos de prueba de primalidad probabilística eficientes". Ciencias de la Computación Teórica . 12 (1): 97–108. doi : 10.1016/0304-3975(80)90007-9 . MR  0582244.
  137. ^ Tao, Terence (2009). "1.7 La prueba de Lucas-Lehmer para los primos de Mersenne". Los legados de Poincaré, páginas del segundo año de un blog matemático. Parte I. Providence, RI: American Mathematical Society. págs. 36–41. ISBN 978-0-8218-4883-8.Señor 2523047  .
  138. ^ Kraft & Washington 2014, pág. 41.
  139. ^ Por ejemplo, véase Guy 2013, A3 Primos de Mersenne. Repunits. Números de Fermat. Primos de forma k ⋅ 2 n + 1 {\displaystyle k\cdot 2^{n}+1} . págs. 13–21.
  140. ^ "Un número primo récord de 12 millones de dígitos genera un premio de 100.000 dólares". Electronic Frontier Foundation. 14 de octubre de 2009. Consultado el 4 de enero de 2010 .
  141. ^ "Premios de Computación Cooperativa de la EFF". Electronic Frontier Foundation. 2008-02-29 . Consultado el 2010-01-04 .
  142. ^ "Subproyecto Seventeen or Bust de PrimeGrid" (PDF) . Consultado el 3 de enero de 2017 .
  143. ^ Caldwell, Chris K. "Los veinte primeros: los mayores primos conocidos". The Prime Pages . Consultado el 3 de enero de 2017 .
  144. ^ Caldwell, Chris K. "Los veinte mejores: Factorial". The Prime Pages . Consultado el 3 de enero de 2017 .
  145. ^ Ribenboim 2004, pág. 4.
  146. ^ Caldwell, Chris K. "Los veinte mejores: primordial". The Prime Pages . Consultado el 3 de enero de 2017 .
  147. ^ Caldwell, Chris K. "Los veinte mejores: Twin Primes". The Prime Pages . Consultado el 3 de enero de 2017 .
  148. ^ Kraft & Washington 2014, pág. 275.
  149. ^ Hoffstein, Jeffrey; Pipher, Jill ; Silverman, Joseph H. (2014). Introducción a la criptografía matemática. Textos de pregrado en matemáticas (2.ª ed.). Springer. pág. 329. ISBN 978-1-4939-1711-2.
  150. ^ Pomerance, Carl (1996). "Un cuento de dos tamices". Avisos de la American Mathematical Society . 43 (12): 1473–1485. MR  1416721.
  151. ^ Emmanuel Thomé, “Factorización de 795 bits y logaritmos discretos”, 2 de diciembre de 2019.
  152. ^ Rieffel, Eleanor G. ; Polak, Wolfgang H. (2011). "Capítulo 8. Algoritmo de Shor". Computación cuántica: una introducción sencilla . MIT Press. págs. 163–176. ISBN 978-0-262-01506-6.
  153. ^ Martín-López, Enrique; Laing, Anthony; Lawson, Thomas; Alvarez, Roberto; Zhou, Xiao-Qi; O'Brien, Jeremy L. (12 de octubre de 2012). "Realización experimental del algoritmo de factorización cuántica de Shor usando reciclaje de cúbits". Nature Photonics . 6 (11): 773–776. arXiv : 1111.4147 . Código Bibliográfico :2012NaPho...6..773M. doi :10.1038/nphoton.2012.259. S2CID  46546101.
  154. ^ Chirgwin, Richard (9 de octubre de 2016). "Las criptomonedas necesitan más transparencia, advierten los investigadores". The Register .
  155. ^ Hoffstein, Pipher y Silverman 2014, Sección 2.3, Intercambio de claves Diffie-Hellman, págs. 65-67.
  156. ^ Cormen, Thomas H. ; Leiserson, Charles E. ; Rivest, Ronald L. ; Stein, Clifford (2001) [1990]. "11.3 Hashing universal". Introducción a los algoritmos (2.ª ed.). MIT Press y McGraw-Hill. págs. 232–236. ISBN 0-262-03293-7.Para el hashing independiente, consulte el problema 11–4, pág. 251. Para el crédito a Carter y Wegman, consulte las notas del capítulo, pág. 252.
  157. ^ Goodrich, Michael T .; Tamassia, Roberto (2006). Estructuras de datos y algoritmos en Java (4.ª ed.). John Wiley & Sons. ISBN 978-0-471-73884-8.Véase “Sonda cuadrática”, pág. 382, ​​y ejercicio C–9.9, pág. 415.
  158. ^ Kirtland, Joseph (2001). Números de identificación y esquemas de dígitos de control. Materiales de recursos para el aula. Vol. 18. Asociación Matemática de Estados Unidos. Págs. 43-44. ISBN 978-0-88385-720-5.
  159. ^ Deutsch, P. (mayo de 1996). Especificación del formato de datos comprimidos ZLIB versión 3.3. Grupo de trabajo de redes. doi : 10.17487/RFC1950 . RFC 1950.
  160. ^ Knuth, Donald E. (1998). "3.2.1 El modelo congruencial lineal". El arte de la programación informática, vol. 2: Algoritmos seminuméricos (3.ª ed.). Addison-Wesley. págs. 10–26. ISBN 978-0-201-89684-8.
  161. ^ Matsumoto, Makoto; Nishimura, Takuji (1998). "Mersenne Twister: Un generador de números pseudoaleatorios uniforme equidistribuido de 623 dimensiones". ACM Transactions on Modeling and Computer Simulation . 8 (1): 3–30. CiteSeerX 10.1.1.215.1141 . doi :10.1145/272991.272995. S2CID  3332028. 
  162. ^ Roth, KF (1951). "Sobre un problema de Heilbronn". Revista de la Sociedad Matemática de Londres . Segunda serie. 26 (3): 198–204. doi :10.1112/jlms/s1-26.3.198. MR  0041889.
  163. ^ Cox, David A. (2011). «Por qué Eisenstein demostró el criterio de Eisenstein y por qué Schönemann lo descubrió primero» (PDF) . American Mathematical Monthly . 118 (1): 3–31. CiteSeerX 10.1.1.398.3440 . doi :10.4169/amer.math.monthly.118.01.003. S2CID  15978494. Archivado desde el original (PDF) el 2023-03-26 . Consultado el 2018-01-25 . 
  164. ^ Lang, Serge (2002). Álgebra . Textos de posgrado en matemáticas. Vol. 211. Berlín; Nueva York: Springer-Verlag . doi :10.1007/978-1-4613-0041-0. ISBN . 978-0-387-95385-4.Señor 1878556  ., Sección II.1, pág. 90
  165. ^ Schubert, Horst (1949). "Die eindeutige Zerlegbarkeit eines Knotens in Primknoten". S.-B Heidelberger Akad. Wiss. Matemáticas.-Nat. Kl . 1949 (3): 57–104. SEÑOR  0031733.
  166. ^ Milnor, J. (1962). "Un teorema de descomposición único para 3-variedades". American Journal of Mathematics . 84 (1): 1–7. doi :10.2307/2372800. JSTOR  2372800. MR  0142125.
  167. ^ Boklan y Conway (2017) también incluyen , que no tiene esta forma.
  168. ^ de Křížek, Michal; Luca, Florian; Somer, Lawrence (2001). 17 Lecciones sobre números de Fermat: de la teoría de números a la geometría. CMS Books in Mathematics. Vol. 9. Nueva York: Springer-Verlag. págs. 1–2. doi :10.1007/978-0-387-21850-2. ISBN 978-0-387-95332-8.Señor 1866957  .
  169. ^ Boklan, Kent D.; Conway, John H. (enero de 2017). "¡Espere como máximo una milmillonésima parte de un nuevo primo de Ferma t !". The Mathematical Intelligencer . 39 (1): 3–5. arXiv : 1605.01371 . doi :10.1007/s00283-016-9644-3. S2CID  119165671.
  170. ^ Gleason, Andrew M. (1988). "Trisección de ángulos, heptágono y triscaidecágono". American Mathematical Monthly . 95 (3): 185–194. doi :10.2307/2323624. JSTOR  2323624. MR  0935432.
  171. ^ Ziegler, Günter M. (2015). "Cañones contra gorriones". Boletín de la Sociedad Matemática Europea (95): 25–31. MR  3330472.
  172. ^ Peterson, Ivars (28 de junio de 1999). "El regreso de Zeta". MAA Online . Archivado desde el original el 20 de octubre de 2007. Consultado el 14 de marzo de 2008 .
  173. ^ Hayes, Brian (2003). "Ciencia informática: El espectro de Riemannium". American Scientist . 91 (4): 296–300. doi :10.1511/2003.26.3349. JSTOR  27858239. S2CID  16785858.
  174. ^ Bengtsson, Ingemar; Życzkowski, Karol (2017). Geometría de estados cuánticos: una introducción al entrelazamiento cuántico (Segunda edición). Cambridge: Cambridge University Press . pp. 313–354. ISBN. 978-1-107-02625-4.OCLC 967938939  .
  175. ^ Zhu, Huangjun (2010). "POS de SIC y grupos de Clifford en dimensiones primarias". Journal of Physics A: Mathematical and Theoretical . 43 (30): 305305. arXiv : 1003.3591 . Bibcode :2010JPhA...43D5305Z. doi :10.1088/1751-8113/43/30/305305. S2CID  118363843.
  176. ^ Goles, E.; Schulz, O.; Markus, M. (2001). "Selección de ciclos por números primos en un modelo depredador-presa". Complejidad . 6 (4): 33–38. Bibcode :2001Cmplx...6d..33G. doi :10.1002/cplx.1040.
  177. ^ Campos, Paulo RA; de Oliveira, Viviane M.; Giro, Ronaldo; Galvão, Douglas S. (2004). "Aparición de números primos como resultado de una estrategia evolutiva". Physical Review Letters . 93 (9): 098107. arXiv : q-bio/0406017 . Bibcode :2004PhRvL..93i8107C. doi :10.1103/PhysRevLett.93.098107. PMID  15447148. S2CID  88332.
  178. ^ "La invasión de la prole". The Economist . 6 de mayo de 2004. Consultado el 26 de noviembre de 2006 .
  179. ^ Zimmer, Carl (15 de mayo de 2015). "Matemáticos del bambú". Fenómenos: el telar. National Geographic . Consultado el 22 de febrero de 2018 .
  180. ^ Colina, Peter Jensen, ed. (1995). El compañero de Messiaen. Portland, Oregón: Amadeus Press. Ex. 13.2 Messe de la Pentecôte 1 'Entreée'. ISBN 978-0-931340-95-6.
  181. ^ Pomerance, Carl (2004). "Números primos y la búsqueda de inteligencia extraterrestre" (PDF) . En Hayes, David F.; Ross, Peter (eds.). Aventuras matemáticas para estudiantes y aficionados . MAA Spectrum. Washington, DC: Asociación Matemática de Estados Unidos. pp. 3–6. ISBN. 978-0-88385-548-5.Señor 2085842  .
  182. ^ GrrlScientist (16 de septiembre de 2010). "El curioso incidente del perro a medianoche". Science. The Guardian . Consultado el 22 de febrero de 2010 .
  183. ^ Schillinger, Liesl (9 de abril de 2010). "Contando unos con otros". Sunday Book Review. The New York Times .

Enlaces externos

Generadores y calculadoras