Nmero primo
En matemticas, un nmero primo es un nmero natural mayor que 1 que tiene nicamente dos divisores La distribucin de los nmeros primos (lnea azul) hasta el 400 distintos: l mismo y el 1. Los nmeros primos se contraponen as a los compuestos, que son aquellos que tienen algn divisor natural aparte de s mismos y del 1. El nmero 1, por convenio, no se considera ni primo ni compuesto. Los nmeros primos menores que cien son los siguientes: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89 y 97. La propiedad de ser primo se denomina primalidad. A veces se habla de nmero primo impar para referirse a cualquier nmero primo mayor que 2, ya que ste es el nico nmero primo par. A veces se denota el conjunto de todos los nmeros primos por . El estudio de los nmeros primos es una parte importante de la teora de nmeros, la rama de las matemticas que comprende el estudio de los nmeros enteros. Los nmeros primos estn presentes en algunas conjeturas centenarias tales como la hiptesis de Riemann y la conjetura de Goldbach. La distribucin de los nmeros primos es un tema recurrente de investigacin en la teora de nmeros: si se consideran nmeros individuales, los primos parecen estar distribuidos aleatoriamente, pero la distribucin global de los nmeros primos sigue leyes bien definidas.
Nmero primo
Antigua Grecia
La primera prueba indiscutible del conocimiento de los nmeros primos se remonta a alrededor del ao 300a.C. y se encuentra en los Elementos de Euclides (tomos VII a IX). Euclides define los nmeros primos, demuestra que hay infinitos de ellos, define el mximo comn divisor y el mnimo comn mltiplo y proporciona un mtodo para determinarlos que hoy en da se conoce como el algoritmo de Euclides. Los Elementos contienen asimismo el teorema fundamental de la aritmtica y la manera de construir un nmero perfecto a partir de un nmero primo de Mersenne. La criba de Eratstenes, atribuida a Eratstenes de Cirene, es un mtodo sencillo que permite encontrar nmeros primos. Hoy en da, empero, los mayores nmeros primos que se encuentran con la ayuda de ordenadores emplean otros algoritmos ms rpidos y complejos.
Matemticas modernas
Despus de las matemticas griegas, hubo pocos avances en el estudio de los nmeros primos hasta el siglo XVII. En 1640 Pierre de Fermat estableci (aunque sin demostracin) el pequeo teorema de Fermat, posteriormente demostrado por Leibniz y Euler. Es posible que mucho antes se conociera un caso especial de dicho teorema en China. Fermat conjetur que todos los nmeros de la forma 22n+1 eran primos (debido a lo cual se los conoce como nmeros de Fermat) y verific esta propiedad hasta n = 4 (es decir, 216+1). Sin embargo, el nmero de Fermat 232+1 es compuesto (uno de sus factores primos es 641), como demostr Euler. De hecho, hasta nuestros das no se conoce ningn nmero de Fermat que sea primo aparte de los que ya conoca el propio Fermat. El monje francs Marin Mersenne investig los nmeros primos de la forma 2p1, con p primo. En su honor, se los conoce como nmeros de Mersenne. En el trabajo de Euler en teora de nmeros se encuentran Pierre de Fermat. muchos resultados que conciernen a los nmeros primos. Demostr la divergencia de la serie , y en 1747 demostr que todos los nmeros perfectos pares son de la forma 2p-1(2p - 1), donde el segundo factor es un nmero primo de Mersenne. Se cree que no existen nmeros perfectos impares, pero todava es una cuestin abierta. A comienzos del siglo XIX, Legendre y Gauss conjeturaron de forma independiente que, cuando n tiende a infinito, el nmero de primos menores o iguales que n es asinttico a , donde ln(n) es el logaritmo natural de n. Las ideas que Bernhard Riemann plasm en un trabajo de 1859 sobre la funcin zeta describieron el camino que conducira a la demostracin del teorema de los nmeros primos. Hadamard y De la Valle-Poussin, cada uno por separado, dieron forma a este esquema y consiguieron demostrar el teorema en 1896. Actualmente no se comprueba la primalidad de un nmero por divisiones sucesivas, al menos no si el nmero es relativamente grande. Durante el siglo XIX se desarrollaron algoritmos para saber si un nmero es primo o no factorizando completamente el nmero siguiente (p+1) o el anterior (p-1). Dentro del primer caso se encuentra el test de Lucas-Lehmer,
Nmero primo desarrollado a partir de 1856. Dentro del segundo caso se encuentra el test de Ppin para los nmeros de Fermat (1877). El caso general de test de primalidad cuando el nmero inmediatamente anterior se encuentra completamente factorizado se denomina test de Lucas. Posteriormente se encontraron algoritmos de primalidad con slo obtener una factorizacin parcial de p+1 o p-1. Ejemplos de de estos algoritmos son el test de Proth (desarrollado alrededor de 1878) y el test de Pocklington (1914). En estos algoritmos se requiere que el producto de los factores primos conocidos de p-1 sea mayor que la raz cuadrada de p. Ms recientemente, en 1975, Brillhart, Lehmer y Selfridge desarrollaron el test BLS de primalidad que slo requiere que dicho producto sea mayor que la raz cbica de p. El mejor mtodo conocido de esta clase es el test de Konyagin y Pomerance del ao 1997, que requiere que dicho producto sea mayor que p3/10. A partir de la dcada de 1970 varios investigadores descubrieron algoritmos para determinar si cualquier nmero es primo o no con complejidad subexponencial, lo que permite realizar tests en nmeros de miles de dgitos, aunque son mucho ms lentos que los mtodos anteriores. Ejemplos de estos algoritmos son el test APRT-CL (desarrollado en 1979 por Adleman, Pomerance y Rumely, con mejoras introducidas por Cohen y Lenstra en 1984), donde se usan los factores de pm-1, donde el exponente m depende del tamao del nmero cuya primalidad se desea verificar, el test de primalidad por curvas elpticas (desarrollado en 1986 por S. Goldwasser, J. Kilian y mejorado por A. O. L. Atkin), que entrega un certificado consistente en una serie de nmeros que permite despus confirmar rpidamente si el nmero es primo o no. El desarrollo ms reciente es el test de primalidad AKS (2002), que si bien su complejidad es polinmica, para los nmeros que puede manejar la tecnologa actual es el ms lento de los tres. Durante mucho tiempo, se pensaba que la aplicacin de los nmeros primos era muy limitada fuera de la matemtica pura. Esto cambi en los aos 1970 con el desarrollo de la criptografa de clave pblica, en la que los nmeros primos formaban la base de los primeros algoritmos, tales como el algoritmo RSA. Desde 1951, el mayor nmero primo conocido siempre ha sido descubierto con la ayuda de ordenadores. La bsqueda de nmeros primos cada vez mayores ha suscitado inters incluso fuera de la comunidad matemtica. En los ltimos aos han ganado popularidad proyectos de computacin distribuida tales como el GIMPS, mientras los matemticos siguen investigando las propiedades de los nmeros primos.
Nmero primo
A partir de esta unicidad en la factorizacin en factores primos se desarrollan otros conceptos muy utilizados en matemticas, tales como el mnimo comn mltiplo, el mximo comn divisor y la coprimalidad de dos o ms nmeros. As, El mnimo comn mltiplo de dos o ms nmeros es el menor de los mltiplos comunes de todos ellos. Para calcularlo, se descomponen los nmeros en factores primos y se toman los factores comunes y no comunes con su mximo exponente. Por ejemplo, el mnimo comn mltiplo de 10=25 y 12=223 es 60=2235. El mximo comn divisor de dos o ms nmeros es el mayor de los divisores comunes de todos ellos. Es igual al producto de los factores comunes con su mnimo exponente. En el ejemplo anterior, el mximo comn divisor de 10 y 12 es 2. Finalmente, dos o ms nmeros son coprimos, o primos entre s, si no tienen ningn factor primo comn; es decir, si su mximo comn divisor es 1. Un nmero primo es, as, coprimo con cualquier nmero natural que no sea mltiplo de l mismo.
Otras propiedades
En su representacin decimal, todos los nmeros primos salvo el 2 y el 5 acaban en 1, 3, 7 9. En general, en cualquier sistema de numeracin, todos los nmeros primos salvo un nmero finito acaban en una cifra que es coprima con la base. De lo anterior se deduce que todos los nmeros primos salvo el 2 son de la forma 4n + 1 o bien 4n - 1. Igualmente, todos los nmeros primos salvo el 2 y el 3 son de la forma 6n + 1 o 6n - 1. Lema de Euclides: Si p es un nmero primo y divisor del producto de nmeros enteros ab, entonces p es divisor de a o de b. Pequeo teorema de Fermat: Si p es primo y a es algn nmero natural diferente de 1, entonces ap - a es divisible por p. Si p es primo distinto de 2 y 5, siempre es un nmero peridico en su representacin decimal, de periodo p1 o un divisor de p1. Esto se puede deducir directamente a partir del pequeo teorema de Fermat. expresado en base q (en lugar de en base 10) tiene propiedades similares, siempre que p no sea un factor primo de q. Teorema de Wilson: Un nmero natural n > 1 es primo si y solo si el factorial (n - 1)! + 1 es divisible por n. Asimismo, un nmero natural n > 4 es compuesto si y slo si (n - 1)! es divisible por n. La caracterstica de todo cuerpo es, o bien cero, o bien un nmero primo.
Nmero primo Primer teorema de Sylow: Si G es un grupo finito, p primo y pn es la mayor potencia de p que divide el orden de G. Entonces, existe un subgrupo de G de orden pn. Teorema de Cauchy: Si G es un grupo finito y p es un nmero primo que divide al orden de G, entonces G contiene un elemento de orden p. La constante de Copeland-Erds 0,235711131719232931374143, obtenida por concatenacin de los nmeros primos en el sistema decimal, es un nmero irracional. El valor de la funcin zeta de Riemann en cada punto del plano complejo se da como una continuacin meromorfa de una funcin definida por un producto sobre el conjunto de todos los primos para Re(s) > 1:
En la regin donde es convergente, este producto indexado por los nmeros primos se puede calcular, obtenindose diversos valores, algunos de ellos importantes en teora de nmeros. Los dos primeros son: (Correspondiente a la serie armnica, relacionado con la infinitud de nmeros primos). (Correspondiente al problema de Basilea). En general es un nmero racional cuando n es un nmero entero positivo par.
El anillo es un cuerpo si y solo si p es primo. Equivalentemente: p es primo si y solo si (p) = p 1. Si p > 1, el polinomio xp-1+xp-2+ + 1 es irreducible sobre si y slo si p es primo. Un nmero natural n es primo si y slo si el n-simo polinomio de Chebyshov de la primera especie Tn(x), dividido entre x, es irreducible en . Adems, Tn(x) xn si y slo si n es primo.
se tiene que
con lo que se ha reconducido el problema de calcular f(n) al de calcular f sobre las potencias de los nmeros primos que dividen n, valores que son generalmente ms fciles de obtener mediante una frmula general. Por ejemplo, para conocer el valor de la funcin sobre n=450=23252 basta con calcular
Nmero primo .
de la forma pn# +1 se denomina nmero primo de Euclides en honor al matemtico griego. Tambin se puede elaborar una demostracin similar a la de Euclides tomando el producto de un nmero dado de nmeros primos menos uno, el lugar del producto de esos nmeros primos ms uno. En ese sentido, se denomina nmero primo primorial a un nmero primo de la forma pn# 1. No todos los nmeros de la forma pn# +1 son primos. En este caso, como se sigue de la demostracin anterior, todos los factores primos debern ser mayores que n. Por ejemplo: 23571113+1=30031=59509 Otros matemticos han demostrado la infinitud de los nmeros primos con diversos mtodos procedentes de reas de las matemticas tales como al lgebra conmutativa y la topologa. Algunas de estas demostraciones se basan en el uso de sucesiones infinitas con la propiedad de que cada uno de sus trminos es coprimo con todos los dems, por lo que se crea una biyeccin entre los trminos de la sucesin y un subconjunto (infinito) del conjunto de los primos. Una sucesin que cumple dicha propiedad es la sucesin de Euclides-Mullin, que deriva de la demostracin eucldea de la infinitud de los nmeros primos, ya que cada uno de sus trminos se define como el factor primo ms pequeo de uno ms el producto de todos los trminos anteriores. La sucesin de Sylvester se define de forma similar, puesto que cada uno de sus trminos es igual a uno ms el producto de todos los anteriores. Aunque los trminos de esta ltima sucesin no son necesariamente todos primos, cada uno de ellos es coprimo con todos los dems, por lo que se puede escoger cualquiera de sus factores primos, por ejemplo, el menor de ellos, y el conjunto resultante ser un conjunto infinito cuyos trminos son todos primos. Otros enunciados que implican la infinitud de los nmeros primos Un resultado an ms fuerte, y que implica directamente la infinitud de los nmeros primos, fue descubierto por Euler en el siglo XVIII. Establece que la serie es divergente. Uno de los teoremas de Mertens concreta ms, estableciendo que
[7]
donde la expresin O(1) indica que ese trmino est acotado entre -C y C para n mayor que n0, donde los valores de C y n0 no estn especificados.[8] Otro resultado es el teorema de Dirichlet, que dice as:
Nmero primo En toda progresin aritmtica an = a + nq, donde los enteros positivos a, q 1 son primos entre s, existen infinitos trminos que son primos. El postulado de Bertrand enuncia as: Si n es un nmero natural mayor que 3, entonces siempre existe un nmero primo p tal que n < p < 2n- 2. Una manera ms dbil pero elegante de formularlo es que, si n es un nmero natural mayor que 1, entonces siempre existe un nmero primo p tal que n < p < 2n. Esto supone que, en una progresin geomtrica de primer trmino entero mayor que 3 y razn igual a 2, entre cada trmino de la progresin y el siguiente, se tiene al menos un nmero primo.
0,3 3,3 23 143 906 6.116 44.158 332.774 2.592.592 20.758.029 ...
2,2 5,1 10 17
38 10,425 130 12,740 339 15,047 754 17,357 1.701 19,667 3.104 21,975 ... ...
Una vez demostrado la infinitud de los nmeros primos, cabe preguntarse cmo se distribuyen los primos entre los nmeros naturales, es decir, cun frecuentes son y dnde se espera encontrar el n-simo nmero primo. Este estudio lo iniciaron Gauss y Legendre de forma independiente a finales del siglo XVIII, para el cual introdujeron la funcin enumerativa de los nmeros primos (n), y conjeturaron que su valor fuese aproximadamente .[9] El empeo de demostrar esta conjetura Comparacin entre las funciones (n) (azul), n / ln n (verde) y Li(n) (rojo); se abarc todo el siglo XIX. Los primeros puede ver que la aproximacin de (n) con Li(n) es mejor que la que hay con resultados fueron obtenidos entre 1848 y 1859 por Chebyshov, quien demostr utilizando mtodos puramente aritmticos la existencia de dos constantes A y B tales que
Nmero primo
para n suficientemente grande. Consigui demostrar que, si exista el lmite del cociente de aquellas expresiones, ste deba ser 1. Hadamard y De la Valle-Poussin elaboraron una demostracin en 1896, independientemente el uno del otro, usando mtodos similares, basados en el uso de la funcin zeta de Riemann, que haba sido introducida por Bernhard Riemann en 1859. Hubo que esperar hasta 1949 para encontrar una demostracin que usara slo mtodos elementales (es decir, sin usar el anlisis complejo). Esta demostracin fue ideada por Selberg y Erds. Actualmente, se conoce el teorema como teorema de los nmeros primos. El mismo Gauss introdujo una estimacin ms precisa, utilizando la funcin logaritmo integral: . En 1899 De la Valle-Poussin demostr que el error que se comete aproximando de esta forma es
para una constante positiva a y para cada entero m. Este resultado fue ligeramente mejorado a lo largo de los aos. Por otra parte, en 1901 Von Koch mostr que si la hiptesis de Riemann era cierta, se tena la siguiente estimacin, ms precisa:
Una forma equivalente al teorema de los nmeros primos es que pn, el n-simo nmero primo, queda bien aproximado por nln(n). En efecto, pn es estrictamente mayor que este valor.
Nmero primo El siguiente valor, 6!+7=727, es primo.[10] De todas formas, el menor nmero primo que dista del siguiente en n es generalmente mucho menor que el factorial, por ejemplo, el caso ms pequeo de dos primos consecutivos separados de ocho unidades es (89, 97), mientras que 8! es igual a 40.320. La sucesin de las diferencias entre primos consecutivos ha sido profusamente estudiada en matemticas, y alrededor de este concepto se han establecido muchas conjeturas que permanecen sin resolver.
Conclusin
El modelado de la distribucin de los nmeros primos es un tema de investigacin recurrente entre los tericos de nmeros. La primalidad de un nmero concreto es (hasta ahora) impredecible a pesar de que existen leyes, como el teorema de los nmeros primos y el postulado de Bertrand, que gobiernan su distribucin a gran escala. Leonhard Euler coment: Hasta el da de hoy, los matemticos han intentado en vano encontrar algn orden en la sucesin de los nmeros primos, y tenemos motivos para creer que es un misterio en el que la mente jams penetrar.[11] En una conferencia de 1975, Don Zagier coment: Hay dos hechos sobre la distribucin de los nmeros primos de los que espero convencerles de forma tan incontestable que quedarn permanentemente grabados en sus corazones. El primero es que, a pesar de su definicin simple y del papel que desempean como ladrillos con los que se construyen los nmeros naturales, los nmeros primos crecen como malas hierbas entre los nmeros naturales, y no parecen obedecer ninguna otra ley que la del azar, y nadie puede predecir dnde brotar el siguiente. El segundo hecho es an ms asombroso, ya que dice justo lo contrario: que los nmeros primos muestran una regularidad pasmosa, que hay leyes que gobiernan su comportamiento, y que obedecen estas leyes con precisin casi militar.[12]
La distribucin de todos los nmeros primos comprendidos entre 1 y 76.800, de izquierda a derecha y de arriba abajo. Cada pixel representa un nmero. Los pxeles negros representan nmeros primos; los blancos representan nmeros no primos.
Imagen con 2310 columnas que conserva mltiplos de 2, 3, 5, 7 y 11 en las columnas respectivas. Como cabe esperar, los nmeros primos caern en columnas concretas si los nmeros estn ordenados de izquierda a derecha y el ancho es un mltiplo de un nmero primo. Sin embargo, los nmeros primos tambin quedan distribuidos de manera ordenada en construcciones espirales como la espiral de Ulam, ya que tienden a concentrarse en algunas diagonales concretas y no en otras.
Nmero primo
10
Tests de primalidad
La criba de Eratstenes es una manera sencilla de hallar todos los nmeros primos menores o iguales que un nmero dado. Se basa en confeccionar una lista de todos los nmeros naturales desde el 2 hasta ese nmero y tachar repetidamente los mltiplos de los nmeros primos ya descubiertos. La criba de Atkin, ms moderna, tiene una mayor complejidad, pero si se optimiza apropiadamente tambin es ms rpida. Tambin existe una reciente criba de Sundaram que genera nicamente nmeros compuestos, siendo los primos los nmeros faltantes. En la prctica, lo que se desea es determinar La criba de Eratstenes fue concebida por Eratstenes de Cirene, un matemtico si un nmero dado es primo sin tener que griego del siglo IIIa.C. Es un algoritmo sencillo que permite encontrar todos los confeccionar una lista de nmeros primos. nmeros primos menores o iguales que un nmero dado. Un mtodo para determinar la primalidad de un nmero es la divisin por tentativa, que consiste en dividir sucesivamente ese nmero entre los nmeros primos menores o iguales a su raz cuadrada. Si alguna de las divisiones es exacta, entonces el nmero no es primo; en caso contrario, es primo. Por ejemplo, dado n menor o igual que 120, para determinar su primalidad basta comprobar si es divisible entre 2, 3, 5 y 7, ya que el siguiente nmero primo, 11, ya es mayor que 120. Es el test de primalidad ms sencillo, y rpidamente pierde su utilidad a la hora de comprobar la primalidad de nmeros grandes, ya que el nmero de factores posibles crece demasiado rpido a medida que crece el nmero potencialmente primo. En efecto, el nmero de nmeros primos menores que n es aproximadamente . De esta forma, para determinar la primalidad de n, el mayor factor primo que se necesita no es mayor que n, dejando el nmero de candidatos a factor primo en cerca de . Esta expresin crece cada vez ms lentamente en funcin de n, pero, como los n grandes son de inters, el nmero de candidatos tambin se hace grande: por ejemplo, para n = 1020 se tienen 450 millones de candidatos. Asimismo, existen otros muchos tests de primalidad determinsticos que se basan en propiedades que caracterizan a los nmeros primos, pero su utilidad computacional depende mucho del test usado. Por ejemplo, se podra emplear el teorema de Wilson para calcular la primalidad de un nmero, pero tiene el inconveniente de requerir el clculo de un factorial, una operacin computacionalmente prohibitiva cuando se manejan nmeros grandes. Aqu entre en juego el tiempo de ejecucin del algoritmo empleado, que se expresa en la notacin de Landau. Para poder determinar la primalidad de nmeros cada vez ms grandes (de miles de cifras) se buscan aquellos algoritmos cuyo tiempo de ejecucin crezca lo ms lentamente posible, a ser posible, que se pueda expresar como un polinomio. Si bien el test de primalidad AKS cumple con esta condicin, para el rango de nmeros que se usa en la prctica este algoritmo es extremadamente lento.
Nmero primo Por otra parte, a menudo basta con tener una respuesta ms rpida con una alta probabilidad (aunque no segura) de ser cierta. Se puede comprobar rpidamente la primalidad de un nmero relativamente grande mediante tests de primalidad probabilsticos. Estos tests suelen tomar un nmero aleatorio llamado "testigo" e introducirlo en una frmula junto con el nmero potencialmente primo n. Despus de varias iteraciones, se resuelve que n es "definitivamente compuesto" o bien "probablemente primo". Estos ltimos nmeros pueden ser primos o bien pseudoprimos (nmeros compuestos que pasan el test de primalidad). Algunos de estos tests no son perfectos: puede haber nmeros compuestos que el test considere "probablemente primos" independientemente del testigo utilizado. Esos nmeros reciben el nombre de pseudoprimos absolutos para ese test. Por ejemplo, los nmeros de Carmichael son nmeros compuestos, pero el test de Fermat los evala como probablemente primos. Sin embargo, los tests probabilsticos ms utilizados, como el test de Miller-Rabin o el obsoleto test de Solovay-Strassen, superado por el anterior, no tienen este inconveniente, aun siendo igualmente tests probabilsticos. Algunos tests probabilsticos podran pasar a ser determinsticos y algunos tests pueden mejorar su tiempo de ejecucin si se verifican algunas hiptesis matemticas. Por ejemplo, si se verifica la hiptesis generalizada de Riemann, se puede emplear una versin determinstica del test de Miller-Rabin, y el test de primalidad por curvas elpticas podra mejorar notablemente su tiempo de ejecucin si se verificaran algunas hiptesis de teora analtica de nmeros.
11
Algoritmos de factorizacin
Un algoritmo de factorizacin es un algoritmo que separa uno a uno los factores primos de un nmero. Los algoritmos de factorizacin pueden funcionar tambin a modo de tests de primalidad, pero en general tienen un tiempo de ejecucin menos ventajoso. Por ejemplo, se puede modificar el algoritmo de divisin por tentativa de forma que no se detenga cuando se obtenga una divisin exacta, sino que siga realizando nuevas divisiones, y no sobre el nmero original, sino sobre el cociente obtenido. Despus de la divisin por tentativa, los mtodos ms antiguos que se conocen son el mtodo de Fermat, que se basa en las diferencias entre cuadrados y que es especialmente eficaz cuando n es el producto de dos nmeros primos prximos entre s, y el mtodo de Euler, que se basa en la representacin de n como suma de dos cuadrados de dos formas distintas. Ms recientemente, se han elaborado algoritmos basados en una gran variedad de tcnicas, como las fracciones continuas o las curvas elpticas, aunque algunos son mejoras de mtodos anteriores (la criba cuadrtica, por ejemplo, se basa en una mejora del mtodo de Fermat y posee complejidad computacional subexponencial sobre el nmero de cifras de n). Otros, como el mtodo rho de Pollard, son probabilsticos, y no garantizan hallar los divisores de un nmero compuesto. Hoy por hoy, el algoritmo determinstico ms rpido de uso general es el general number field sieve, que tambin posee complejidad computacional subexponencial sobre el nmero de cifras de n. Se ha propuesto un algoritmo cuyo tiempo de ejecucin es polinmico sobre el nmero de cifras de n (el algoritmo de Shor), pero requiere ser ejecutado en un ordenador cuntico, ya que su simulacin en un ordenador normal requiere un tiempo exponencial. No se conocen algoritmos para factorizar en una computadora tradicional en tiempo polinmico y tampoco se demostr que esto sea imposible.
Nmero primo
12
Al igual que ocurre con las frmulas con factoriales, este polinomio no es prctico de calcular, ya que, aunque los valores positivos que toma son todos primos, prcticamente no devuelve otra cosa que valores negativos cuando se hacen variar las variables a a z de 0 a infinito. Otro enfoque al problema de encontrar una funcin que slo genere nmeros primos viene dado a partir del teorema de Mills, que indica que existe una constante tal que es la funcin piso.[15] Todava no se conoce ninguna frmula para calcular
la constante de Mills, y las aproximaciones que se emplean en la actualidad se basa en la sucesin de los as llamados nmeros primos de Mills (los nmeros primos generados mediante esta frmula), que no pueden ser obtenidos rigurosamente, sino slo de manera probabilstica, suponiendo cierta la hiptesis de Riemann.
Nmero primo
13
Nmero primo
14
Conjeturas
Existen numerosas preguntas abiertas acerca de los nmeros primos. Muchas de ellas son problemas bien antiguos, y una de las ms significativas es la hiptesis de Riemann, varias veces mencionada en este artculo como una conjetura que, de ser cierta, permitira conocer numerosos resultados relevantes en diversos campos de las matemticas.
Hiptesis de Riemann
Para entender la hiptesis de Riemann, una conjetura enunciada en 1859 pero que, hasta la fecha (2013), sigue sin resolverse, es necesario entender la funcin zeta de Riemann. Sea un nmero complejo con parte real mayor que 1. Entonces,
La segunda igualdad es una consecuencia del teorema fundamental de la aritmtica, y muestra que la funcin zeta est ntimamente relacionada con los nmeros primos.
Nmero primo Existen dos tipos de ceros de la funcin zeta, es decir, valores s para los cuales (s) = 0: los triviales, que son s=-2, s=-4, s=-6, etc. (los enteros pares negativos) y los no triviales, que son aquellos ceros que no se encuentran en el eje real. Lo que indica la hiptesis de Riemann es que la parte real de todos los ceros no triviales es igual a 1/2. La veracidad de la hiptesis implica una profunda conexin con los nmeros primos, en esencia, en el caso de verificarse, dice que los nmeros primos estn distribuidos de la forma ms regular posible. Desde un punto de vista fsico, dice grosso modo que las irregularidades en la distribucin de los nmeros primos slo proceden de ruido aleatorio. Desde un punto de vista matemtico, dice que la distribucin asinttica de los nmeros primos (segn el teorema de los nmeros primos, la proporcin de primos menores que n es ) tambin es cierta para intervalos mucho menores, con un error de aproximadamente la raz cuadrada de n (para intervalos prximos a n). Est ampliamente extendido en la comunidad matemtica que la hiptesis sea cierta. En concreto, la presuncin ms simple es que los nmeros primos no deberan tener irregularidades significativas en su distribucin sin una buena razn.
15
Otras conjeturas
Infinitud de ciertos tipos de nmeros primos Muchas conjeturas tratan sobre si hay infinitos nmeros primos de una determinada forma. As, se conjetura que hay infinitos nmeros primos de Fibonacci e infinitos primos de Mersenne, pero slo un nmero finito de primos de Fermat.[17] No se sabe si hay infinitos nmeros primos de Euclides. Distribucin de los nmeros primos Tambin hay numerosas conjeturas que se ocupan de determinadas propiedades de la distribucin de los nmeros primos. As, la conjetura de los nmeros primos gemelos enuncia que hay infinitos nmeros primos gemelos, que son pares de primos cuya diferencia es de 2. La conjetura de Polignac es una versin ms general y ms fuerte de la anterior, ya que enuncia que, para cada entero positivo n, hay infinitos pares de primos consecutivos que difieren en 2n. A su vez, una versin ms dbil de la conjetura de Polignac dice que todo nmero par es la diferencia de dos nmeros primos. Asimismo, se conjetura la infinidad de los primos de la forma n2 + 1. Segn la conjetura de Brocard, entre los cuadrados de primos consecutivos mayores que 2 existen siempre al menos cuatro nmeros primos. La conjetura de Legendre establece que, para cada n natural, existe un nmero primo entre n2 y (n+1)2. Finalmente, la conjetura de Cramr, cuya veracidad implicara la de Legendre, dice que:
Teora aditiva de nmeros Otras conjeturas relacionan algunas propiedades aditivas de los nmeros con los nmeros primos. As, la conjetura de Goldbach dice que todo nmero par mayor que 2 se puede escribir como suma de dos nmeros primos, aunque tambin existe una versin ms dbil de la misma conjetura segn la cual todo nmero impar mayor que 5 se puede escribir como suma de tres nmeros primos. El matemtico chino Chen Jingrun demostr, en 1966, que en efecto, todo nmero par suficientemente grande puede expresarse como suma de dos primos o como la suma de un primo y de un nmero que es el producto de dos primos. ("semi-primo").
Nmero primo
16
es decir, los nmeros complejos de la forma a+bi con a, . Este es un dominio de integracin, y sus elementos primos son los primos gaussianos. Cabe destacar que el 2 no es un primo gaussiano, porque admite factorizacin como producto de los primos gaussianos (1+i) y (1-i). Sin embargo, el elemento 3 s es primo en los enteros gaussianos. En general, los primos racionales (es decir, los elementos primos del anillo ) de la forma 4k+3 son primos gaussianos, pero no lo son aquellos de la forma 4k+1.
Representacin de los primos gaussianos de norma menor o igual a 500. Los primos gaussianos son, por definicin, los enteros gaussianos que son primos.
Ideales primos
En teora de anillos, un ideal I es un subconjunto de un anillo A tal que si i, j I, entonces la suma i + j pertenece a I y si x A, i I, entonces los productos a i, i a pertenecen a I. Un ideal primo se define entonces como un ideal que cumple tambin que: para cualquier par de elementos a, b del anillo A tales que su producto a b pertenece a I, entonces, al menos uno de los dos elementos, a o b, est en I. I no es el anillo A entero. Los ideales primos son una herramienta relevante en lgebra conmutativa, teora algebraica de nmeros y geometra algebraica. Los ideales primos del anillo de enteros son los ideales (0), (2), (3), (5), (7), (11), Un problema central en teora algebraica de nmeros es la manera en que se factorizan los ideales primos cuando se ven sometidos a una extensin de cuerpos. En el ejemplo de los enteros gaussianos, (2) se ramifica en potencia de un primo (ya que y generan el mismo ideal primo), los ideales primos de la forma son inertes (mantienen su primalidad) y los de la forma pasan a ser producto de dos ideales primos distintos.
Nmero primo
17
, y se dice que dos valoraciones son equivalentes si generan la misma topologa. Un primo de
clase de equivalencia de valoraciones. Con esta definicin, los primos del cuerpo nmero primo p.
quedan representados por la funcin valor absoluto as como por las valoraciones p-dicas sobre
Nudos primos
En teora de nudos, un nudo primo es un nudo no trivial que no se puede descomponer en dos nudos ms pequeos. De forma ms precisa, se trata de un nudo que no se puede escribir como suma conexa de dos nudos no triviales. En 1949 Horst Schubert demostr un teorema de factorizacin anlogo al teorema fundamental de la aritmtica, que asegura que cada nudo se puede obtener de forma nica como suma conexa de nudos primos.[19] Por este motivo, los nudos primos desempean un papel central en la teora de nudos: una clasificacin de los nudos ha sido desde finales del siglo XIX el tema central de la teora.
Aplicaciones en la computacin
El algoritmo RSA se basa en la obtencin de la clave pblica mediante la multiplicacin de dos nmeros grandes (mayores que 10100) que sean primos. La seguridad de este algoritmo radica en que no se conocen maneras rpidas de factorizar un nmero grande en sus factores primos utilizando computadoras tradicionales.
Nmero primo
18
Referencias
[1] Marcus du Sautoy, La symphonie des nombres premiers P.42 (en francs) [2] Prhistoire de la gomtrie: le problme des sources (http:/ / www. reunion. iufm. fr/ recherche/ irem/ telecharger/ Keller/ Keller3. pdf), artculo de Olivier Keller (en francs) [3] Hans Riesel, Prime Numbers and Computer Methods for Factorization. New York: Springer (1994): 36 (en ingls) [4] Richard K. Guy & John Horton Conway, The Book of Numbers. New York: Springer (1996): 129 - 130 (en ingls) [5] " Why is the number one not prime? (http:/ / primes. utm. edu/ notes/ faq/ one. html)" (en ingls), accedido el 31-05-2009. [6] " Arguments for and against the primality of 1 (http:/ / www. geocities. com/ primefan/ Prime1ProCon. html)" (en ingls), accedido el 31-05-2009. [7] Vase, por ejemplo, An Introduction to the Theory of Numbers, p. 24. (en ingls) [8] En general, en la notacin de Landau, UNIQ-math-0-37735f510b68f5b9-QINU indica que est dominada asintticamente por UNIQ-math-2-37735f510b68f5b9-QINU , es decir, UNIQ-math-3-37735f510b68f5b9-QINU . Para ms informacin, lea notacin de Landau. [9] Con esta expresin se quiere decir que el lmite de la razn entre las dos expresiones tiende a 1 cuando n tiende a infinito. [10] Ntese que esto no tiene por qu ser verdad en general, por ejemplo, si n es impar, se tiene que n!+(n+1) es divisible entre 2. [11] Julian Havil, Gamma: Exploring Euler's Constant (tapa dura). Princeton: Princeton University Press (2003): 163 (en ingls) [12] Julian Havil, Gamma: Exploring Euler's Constant (tapa dura). Princeton: Princeton University Press (2003): 171 [13] Introduccin del captulo 3 del libro de Ribenboim The new book of prime number records. [14] Prime Glossary - Matijasevic's Polynomial (http:/ / primes. utm. edu/ glossary/ xpage/ MatijasevicPoly. html), accedido el 06-06-2009 [15] W. H. Mills, A prime-representing function (1947) (en ingls) [16] . Por contraposicin, se deduce que, para buscar nmeros primos de Mersenne, basta con buscar entre los nmeros de Mersenne con exponente primo. [17] Por ejemplo, vase , problema A3, pp. 78. [18] Mathworld - Landau's Problems (http:/ / mathworld. wolfram. com/ LandausProblems. html) (en ingls) [19] En Mathworld (http:/ / mathworld. wolfram. com/ PrimeKnot. html). (en ingls) [20] Carl Pomerance, Prime Numbers and the Search for Extraterrestrial Intelligence (http:/ / www. math. dartmouth. edu/ ~carlp/ PDF/ extraterrestrial. pdf), accedido el 31-05-2009 [21] A Mathematician reviews PopCo (http:/ / math. cofc. edu/ kasman/ MATHFICT/ mfview. php?callnumber=mf476) (en ingls), accedido el 31-05-2009 [22] Music of the Spheres (http:/ / www. musicoftheprimes. com/ films. htm), Seleccin de Marcus du Sautoy de pelculas que versan sobre los nmeros primos (en ingls), accedido el 31-05-2009
Enlaces externos
The Prime Pages (http://www.utm.edu/research/primes) Sobre el artculo de Manindra Agrawal et al. PRIMES IS IN P, en donde afirman: "We present a deterministic polynomial-time algorithm that determines whether an input number n is prime or composite" mathmistakes (http://members.cox.net/mathmistakes/primes.htm) Algoritmos eficientes para calcular nmeros primos, por Steve Litt (http://www.troubleshooters.com/codecorn/ primenumbers/primenumbers.htm) Es este nmero primo? (http://www.mste.uiuc.edu/html.f/resource/prime.html)
19
Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/