Академический Документы
Профессиональный Документы
Культура Документы
Este artculo trata sobre primos en los nmeros enteros. Para la generalizacin a anillos,
vanse elemento primo y elemento irreducible.
ndice
7 Conjeturas
o 7.1 Hiptesis de Riemann
o 7.2 Otras conjeturas
9 Aplicaciones en la computacin
11 Vase tambin
12 Referencias
13 Enlaces externos
en
lugar de
.8 Es por ello que, en cierta manera, tenan que conocer o intuir los
nmeros primos.9
Antigua Grecia
Matemticas modernas
Pierre de Fermat.
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 2p 1, con p
primo. En su honor, se los conoce como nmeros de Mersenne.
En el trabajo de Euler en teora de nmeros se encuentran 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.
La importancia de este teorema es una de las razones para excluir el 1 del conjunto de los
nmeros primos. Si se admitiera el 1 como nmero primo, el enunciado del teorema
requerira aclaraciones adicionales.
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,
Otras propiedades
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.
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.
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
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 y slo si p es
. Adems, Tn(x) xn si
se tiene que
Existen infinitos nmeros primos. Euclides realiz la primera demostracin alrededor del
ao 300 a. C. en el libro IX de su obra Elementos19 Una adaptacin comn de esta
demostracin original sigue as: Se toma un conjunto arbitrario pero finito de nmeros
primos p1, p2, p3, , pn, y se considera el producto de todos ellos ms uno,
. Este nmero es obviamente mayor que 1 y distinto
de todos los primos pi de la lista. El nmero q puede ser primo o compuesto. Si es primo
tendremos un nmero primo que no est en el conjunto original. Si, por el contrario, es
compuesto, entonces existir algn factor p que divida a q. Suponiendo que p es alguno de
los pi, se deduce entonces que p divide a la diferencia
, pero ningn nmero primo divide a 1, es decir, se ha llegado a un absurdo por suponer que
p est en el conjunto original. La consecuencia es que el conjunto que se escogi no es
exhaustivo, ya que existen nmeros primos que no pertenecen a l, y esto es independiente
del conjunto finito que se tome.
Por tanto, el conjunto de los nmeros primos es infinito.
Si se toma como conjunto el de los n primeros nmeros primos, entonces
, donde pn# es lo que se llama primorial
de pn. Un 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.20 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.
21
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.22
Otro resultado es el teorema de Dirichlet, que dice as:
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.
10
102
103
104
105
106
107
108
109
1010
...
4
25
168
1.229
9.592
78.498
664.579
5.761.455
50.847.534
455.052.511
...
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
130
339
754
1.701
3.104
...
2,500
4,000
5,952
8,137
10,425
12,740
15,047
17,357
19,667
21,975
...
Comparacin entre las funciones (n) (azul), n / ln n (verde) y Li(n) (rojo); se puede ver
que la aproximacin de (n) con Li(n) es mejor que la que hay con
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
.23
El empeo de demostrar esta conjetura abarc todo el siglo XIX. Los primeros 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
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
esta forma es
de
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:24
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.
fcil de demostrar: entre tres nmeros impares consecutivos mayores que 3 siempre hay
uno que es mltiplo de 3, y por tanto compuesto. Los primeros pares de nmeros primos
gemelos son (3,5), (5,7), (11, 13), (17, 19) y (29, 31).
Por otra parte, la diferencia entre primos consecutivos puede ser tan grande como se quiera:
dado un nmero natural n, se denota por n! su factorial, es decir, el producto de todos los
nmeros naturales comprendidos entre 1 y n. Los nmeros
son todos compuestos: si 2 i n+1, entonces (n+1)!+i es divisible entre i, por tanto, es
compuesto. La sucesin, que comprende n enteros consecutivos, no contiene ningn
nmero primo. Por ejemplo, si n=5, estos valores corresponden a:
El siguiente valor, 6!+7=727, es primo.25 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 consecutivos26 ha sido profusamente estudiada
en matemticas, y alrededor de este concepto se han establecido muchas conjeturas que
permanecen sin resolver.
Conclusin
.
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 deterministas 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.
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.
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,
A lo largo de la historia, se han buscado numerosas frmulas para generar los nmeros
primos. El nivel ms alto de exigencia para una frmula as sera que asociara a cada
nmero natural n el n-simo nmero primo. De forma ms indulgente, se puede pedir una
funcin f que asocie a cada nmero natural n un nmero primo de tal forma que cada uno
de los valores tomados slo aparezca una vez.
Adems, se desea que la funcin se pueda calcular en la prctica.30 Por ejemplo, el teorema
de Wilson asegura que p es un nmero primo si y slo si (p-1)!-1 (mod p). Otro ejemplo:
la funcin f(n) = 2 + ( 2(n!) mod (n+1)) genera todos los nmeros primos, slo los nmeros
primos, y slo el valor 2 se toma ms de una vez. Sin embargo, ambas frmulas se basan en
el clculo de un factorial, lo que las hace computacionalmente inviables.
En la bsqueda de estas funciones, se han investigado notablemente las funciones
polinmicas. Cabe subrayar que ningn polinomio, aun en varias variables, toma slo
valores primos.31 Por ejemplo, el polinomio en una variable f(n) = n n + 41 devuelve
valores primos para n = 0,, 40, 43, pero f(41) y f(42) son compuestos. Si el trmino
constante vale cero, entonces el polinomio es mltiplo de n, por lo que el polinomio es
compuesto para valores compuestos de n. En caso contrario, si c es el trmino constante,
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
Los nmeros de Mersenne son los de forma Mp = 2p 1, donde p es primo.36 Los mayores
nmeros primos conocidos son generalmente de esta forma, ya que existe un test de
primalidad muy eficaz, el test de Lucas-Lehmer, para determinar si un nmero de Mersenne
es primo o no.
Actualmente, el mayor nmero primo que se conoce es M43.112.609 = 243.112.609 - 1, que tiene
12.978.189 cifras en el sistema decimal. Se trata cronolgicamente del 45 nmero primo
de Mersenne conocido y su descubrimiento se anunci el 23 de agosto de 2008 gracias al
proyecto de computacin distribuida Great Internet Mersenne Prime Search (GIMPS).
Desde entonces, se han descubierto otros dos nmeros primos de Mersenne, pero son
menores que el 45.37 38
41
Tambin se les da nombres especiales a algunas clases de primos que dependen de la base
de numeracin empleada o de la forma de escribir los dgitos, y no de una frmula
matemtica. Es el caso de los nmeros somirp (primos al revs), que son aquellos nmeros
primos tales que el nmero obtenido al invertir el orden de sus cifras tambin es primo.
Tambin es el caso de los nmeros primos repunit, que son aquellos nmeros primos que
son concatenacin de unos. Si, en lugar de considerarse el sistema de numeracin decimal
se considera el binario, se obtiene otro conjunto distinto de nmeros primos repunit que,
adems, coincide con el de los nmeros primos de Mersenne. Finalmente, los nmeros
primos tridicos son aquellos nmeros que son primos, capicas y simtricos respecto de
una recta horizontal.
El que se le d un nombre a una clase de nmeros primos con una definicin precisa no
significa que se conozca algn nmero primo que sea de esa clase. Por ejemplo, no se
conoce hasta el momento ningn nmero primo de Wall-Sun-Sun, pero su relevancia radica
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
Vase tambin: Hiptesis de Riemann
Para entender la hiptesis de Riemann, una conjetura enunciada en 1859 pero que, hasta la
fecha (2015), sigue sin resolverse, es necesario entender la funcin zeta de Riemann. Sea
un nmero complejo con parte real mayor que 1. Entonces,
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 Fibonacci44 e infinitos primos de
Mersenne, pero slo un nmero finito de primos de Fermat.45 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:
Representacin de los primos gaussianos de norma menor o igual a 500. Los primos
gaussianos son, por definicin, los enteros gaussianos que son primos.
Se pueden definir los elementos primos y los elementos irreducibles en cualquier dominio
de integridad.48 En cualquier dominio de factorizacin nica, como por ejemplo, el anillo
de los enteros, el conjunto de elementos primos equivale al conjunto de los elementos
irreducibles, que en es {, 11, 7, 5, 3, 2, 2, 3, 5, 7, 11, }.
Considrense por ejemplo los enteros gaussianos
, es decir, los nmeros complejos de
la forma a+bi con a, b . 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, pero no lo es en otro dominio entero. 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.
Ideales primos
En teora de anillos, un ideal I es un subconjunto de un anillo A tal que
Un ideal primo se define entonces como un ideal que cumple tambin que:
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.
Nudos primos
Aplicaciones en la computacin
Artculo principal: Algoritmo RSA
Vase tambin
Criptografa
Espiral de Ulam
Matemtica
Test de primalidad
Anexo:Nmeros primos
Primo de Solinas
Clasificacin de nmeros
Racionales
Complejos
Reales
Naturales 1: uno
Naturales primos
Enteros
Naturales compuestos
0: Cero
Enteros negativos
Fraccionarios
Irracionales
Imaginarios
Fraccin propia
Fraccin impropia
Irracionales algebraicos
Trascendentes