Nmero primo

Este artculo trata sobre primos en los nmeros enteros. Para la generalizacin a anillos,
vanse elemento primo y elemento irreducible.

La distribucin de los nmeros primos (lnea azul) hasta el 400

En matemticas, particularmente en Teora de nmeros o Aritmtica, un nmero primo es
un nmero natural mayor que 1 que tiene nicamente dos divisores distintos: l mismo y el
1.1 2 Los nmeros primos se contraponen as a los compuestos, que son aquellos que tienen
por lo menos un divisor natural distinto de s mismos y de 1. El nmero 1, por convenio, no
se considera ni primo ni compuesto.
Los nmeros primos menores que 100 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.3
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, rama de
las matemticas que versa sobre las propiedades, bsicamente aritmticas, 4 de los nmeros
enteros. Los nmeros primos estn presentes en algunas conjeturas centenarias tales como
la hiptesis de Riemann y la conjetura de Goldbach, recientemente resuelta por el peruano
Harald Helfgott en su forma dbil. 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.

ndice

1 Historia de los nmeros primos

o 1.1 Matemticas anteriores a la Antigua Grecia
o 1.2 Antigua Grecia
o 1.3 Matemticas modernas

2 Primalidad del nmero 1

3 Propiedades de los nmeros primos

o 3.1 Teorema fundamental de la aritmtica
o 3.2 Otras propiedades
o 3.3 Nmeros primos y funciones aritmticas

4 Caractersticas del conjunto de los nmeros primos

o 4.1 Infinitud de los nmeros primos

4.1.1 Otros enunciados que implican la infinitud de los nmeros

primos

o 4.2 Frecuencia de los nmeros primos

o 4.3 Diferencia entre dos primos consecutivos
o 4.4 Conclusin

5 Encontrar nmeros primos

o 5.1 Tests de primalidad
o 5.2 Algoritmos de factorizacin
o 5.3 Frmulas que slo generan nmeros primos

6 Clases de nmeros primos

o 6.1 Primos primoriales y primos factoriales
o 6.2 Nmeros primos de Fermat
o 6.3 Nmeros primos de Mersenne
o 6.4 Otras clases de nmeros primos

7 Conjeturas
o 7.1 Hiptesis de Riemann
o 7.2 Otras conjeturas

7.2.1 Infinitud de ciertos tipos de nmeros primos

7.2.2 Distribucin de los nmeros primos

7.2.3 Teora aditiva de nmeros

o 7.3 Los cuatro problemas de Landau

8 Generalizacin del concepto de nmero primo

o 8.1 Elementos primos en un anillo
o 8.2 Ideales primos
o 8.3 Primos en teora de la valoracin
o 8.4 Nudos primos

9 Aplicaciones en la computacin

10 Nmeros primos en el arte y la literatura

11 Vase tambin

12 Referencias

13 Enlaces externos

Historia de los nmeros primos

Matemticas anteriores a la Antigua Grecia
Las muescas presentes en el hueso de Ishango, que data de hace ms de 20.000 aos
(anterior por tanto a la aparicin de la escritura) y que fue hallado por el arquelogo Jean de
Heinzelin de Braucourt,5 parecen aislar cuatro nmeros primos: 11, 13, 17 y 19. Algunos
arquelogos interpretan este hecho como la prueba del conocimiento de los nmeros
primos. Con todo, existen muy pocos hallazgos que permitan discernir los conocimientos
que tena realmente el hombre de aquella poca.6
Numerosas tablillas de arcilla seca atribuidas a las civilizaciones que se fueron sucediendo
en Mesopotamia a lo largo del II milenio a.C. muestran la resolucin de problemas
aritmticos y atestiguan los conocimientos de la poca. Los clculos requeran conocer los
inversos de los naturales, que tambin se han hallado en tablillas.7 En el sistema
sexagesimal que empleaban los babilonios para escribir los nmeros, los inversos de los

divisores de potencias de 60 (nmeros regulares) se calculan fcilmente; por ejemplo,

dividir entre 24 equivale a multiplicar por 150 (260+30) y correr la coma sexagesimal dos
lugares. El conocimiento matemtico de los babilonios necesitaba una slida comprensin
de la multiplicacin, la divisin y la factorizacin de los naturales.
En las matemticas egipcias, el clculo de fracciones requera conocimientos sobre las
operaciones, la divisin de naturales y la factorizacin. Los egipcios slo operaban con las
llamadas fracciones egipcias, suma de fracciones unitarias, es decir, aquellas cuyo
numerador es 1, como

, por lo que las fracciones de numerador distinto de 1

se escriban como suma de inversos de naturales, a ser posible sin repeticin

en

lugar de
.8 Es por ello que, en cierta manera, tenan que conocer o intuir los
nmeros primos.9

Antigua Grecia

Un fragmento de los Elementos de Euclides encontrado en Oxirrinco.

La primera prueba indiscutible del conocimiento de los nmeros primos se remonta a
alrededor del ao 300 a. 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

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.

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, 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 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.10 11
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.12 13 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.

Primalidad del nmero 1

La cuestin acerca de si el nmero 1 debe o no considerarse primo est basada en la
convencin. Ambas posturas tienen sus ventajas y sus inconvenientes. De hecho, hasta el
siglo XIX, los matemticos en su mayora lo consideraban primo. Muchos trabajos
matemticos siguen siendo vlidos a pesar de considerar el 1 como un nmero primo,
como, por ejemplo, el de Stern y Zeisel. La lista de Derrick Norman Lehmer de nmeros
primos hasta el 10.006.721, reimpresa hasta el ao 195614 empezaba con el 1 como primer
nmero primo.15
Actualmente, la comunidad matemtica se inclina por no considerar al 1 en la lista de los
nmeros primos. Esta convencin, por ejemplo, permite una formulacin muy econmica
del teorema fundamental de la aritmtica: todo nmero natural tiene una representacin
nica como producto de factores primos, salvo el orden.16 17 Adems, los nmeros primos
tienen numerosas propiedades de las que carece el 1, tales como la relacin del nmero con
el valor correspondiente de la funcin de Euler o la funcin divisor.18

Propiedades de los nmeros primos

Teorema fundamental de la aritmtica
Artculo principal: Teorema fundamental de la aritmtica

Esta ilustracin muestra que el 11 es un nmero primo, pero el 12 no lo es.

El teorema fundamental de la aritmtica establece que todo nmero natural tiene una
representacin nica como producto de factores primos, salvo el orden. Un mismo factor
primo puede aparecer varias veces. El 1 se representa entonces como un producto vaco.
Se puede considerar que los nmeros primos son los ladrillos con los que se construye
cualquier nmero natural. Por ejemplo, se puede escribir el nmero 23.244 como producto
de 22313149, y cualquier otra factorizacin del 23.244 como producto de nmeros primos
ser idntica excepto por el orden de los factores.

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,

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 p 1 o un divisor de p 1. 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.

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
positivo par.

es un nmero racional cuando n es un nmero entero

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 x p-1+x p-2+ + 1 es irreducible sobre

primo.

si y slo si p es

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
y slo si n es primo.

. Adems, Tn(x) xn si

Nmeros primos y funciones aritmticas

Las funciones aritmticas, es decir, funciones reales o complejas, definidas sobre un
conjunto de nmeros naturales, desempean un papel crucial en la teora de nmeros. Las
ms importantes son las funciones multiplicativas, que son aquellas funciones f en las
cuales, para cada par de nmeros coprimos (a,b) se tiene
.
Algunos ejemplos de funciones multiplicativas son la funcin de Euler, que a cada n
asocia el nmero de enteros positivos menores y coprimos con n, y las funciones y , que
a cada n asocian respectivamente el nmero de divisores de n y la suma de todos ellos. El
valor de estas funciones en las potencias de nmeros primos es
,
,
.
Gracias a la propiedad que las define, las funciones aritmticas pueden calcularse
fcilmente a partir del valor que toman en las potencias de nmeros primos. De hecho, dado
un nmero natural n de factorizacin

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

Caractersticas del conjunto de los nmeros primos

Infinitud de los nmeros primos

Vase tambin: Infinitud de los nmeros primos

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.

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

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.

Frecuencia de los nmeros primos

Vase tambin: Teorema de los nmeros primos

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.

Diferencia entre dos primos consecutivos

Artculo principal: Diferencia entre dos nmeros primos consecutivos

Ligado a la distribucin de los nmeros primos se encuentra el estudio de los intervalos

entre dos primos consecutivos. Este intervalo, con la nica salvedad del que hay entre el 2 y
el 3, debe ser siempre igual o mayor que 2, ya que entre dos nmeros primos consecutivos
al menos hay un nmero par y por tanto compuesto. Si dos nmeros primos tienen por
diferencia 2, se dice que son gemelos, y con la salvedad del "triplete" formado por los
nmeros 3, 5 y 7, los nmeros gemelos se presentan siempre de dos en dos. Esto tambin es

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

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.
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.27
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.28

Encontrar nmeros primos

Tests de primalidad
Artculo principal: Test de primalidad

La criba de Eratstenes fue concebida por Eratstenes de Cirene, un matemtico griego

del siglo III a. C. Es un algoritmo sencillo que permite encontrar todos los nmeros primos
menores o iguales que un nmero dado.
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 si un nmero dado es primo sin tener que
confeccionar una lista de nmeros primos. 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 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,

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.29 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.

Frmulas que slo generan nmeros primos

Vase tambin: Frmula de los nmeros primos

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,

entonces f(cn) es mltiplo de c, por lo que si el polinomio no es constante, necesariamente

deber incluir valores compuestos.
Sin embargo, hay polinomios en varias variables cuyos valores positivos (cuando las
variables recorren los nmeros naturales) son precisamente los nmeros primos. Un
ejemplo es este polinomio descubierto por Jones, Sato, Wada y Wiens en 1976:31

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 siempre un nmero primo, donde es la funcin piso.32 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.

Clases de nmeros primos

De mayor inters son otras frmulas que, aunque no slo generen nmeros primos, son ms
rpidas de implementar, sobre todo si existe un algoritmo especializado que permita
calcular rpidamente la primalidad de los valores que van tomando. A partir de estas
frmulas se obtienen subconjuntos relativamente pequeos del conjunto de los nmeros
primos, que suelen recibir un nombre colectivo.

Primos primoriales y primos factoriales

Vanse tambin: Nmero primo primorial y Nmero primo factorial.

Los nmeros primos primoriales, directamente relacionados con la demostracin euclidiana

de la infinitud de los nmeros primos, son los de la forma p = n# 1 para algn nmero

natural n, donde n# es igual al producto 2 3 5 7 11 de todos los primos n.

Asimismo, un nmero primo se dice primo factorial si es de la forma n! 1. Los primeros
primos factoriales son:
n! 1 es primo para n = 3, 4, 6, 7, 12, 14, 30, 32, 33, 38, 94, 166, 324, 33
n! + 1 es primo para n = 0, 1, 2, 3, 11, 27, 37, 41, 73, 77, 116, 154, 320, 34

Nmeros primos de Fermat

Vase tambin: Nmero de Fermat

Construccin de un pentgono regular. 5 es un nmero primo de Fermat.

Los nmeros de Fermat, ligados a la construccin de polgonos regulares con regla y
comps, son los nmeros de la forma
, con n natural. Los nicos nmeros
primos de Fermat que se conocen hasta la fecha son los cinco que ya conoca el propio
Fermat, correspondientes a n = 0, 1, 2, 3 y 4, mientras que para valores de n entre 5 y 32
estos nmeros son compuestos.35
Para determinar su primalidad, existe un test especializado cuyo tiempo de ejecucin es
polinmico: el test de Ppin. Sin embargo, los propios nmeros de Fermat crecen tan
rpidamente que slo se lo ha podido aplicar para valores de n pequeos. En 1999 se lo
aplic para n = 24. Para determinar el carcter de otros nmeros de Fermat mayores se
utiliza el mtodo de divisiones sucesivas y de esa manera a fecha de junio de 2009 se
conocen 241 nmeros de Fermat compuestos, aunque en la mayora de los casos se
desconozca su factorizacin completa.35

Nmeros primos de Mersenne

Vase tambin: Nmero primo de Mersenne

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

Otras clases de nmeros primos

Existen literalmente decenas de apellidos que se pueden aadir al concepto de nmero
primo para referirse a un subconjunto que cumple alguna propiedad concreta. Por ejemplo,
los nmeros primos pitagricos son los que se pueden expresar en la forma 4n+1. Dicho de
otra forma, se trata de los nmeros primos cuyo resto al dividirlos entre 4 es 1. Otro
ejemplo es el de los nmeros primos de Wieferich, que son aquellos nmeros primos p tales
que p2 divide a 2p-1 - 1.
Algunas de estas propiedades se refieren a una relacin concreta con otro nmero primo:

Nmeros primos gemelos: p y p+2 lo son si son los dos primos.

Nmero primo de Sophie Germain: dado p primo, es de Sophie Germain si 2p + 1

tambin es primo. Una sucesin de nmeros p1,p2,p3, ,pn todos ellos primos, tales
que pi+1=2pi+1 para todo i {1,2,,n-1 }, se denomina cadena (completa) de
Cunningham de primera especie, y cumple por definicin que cada uno de los
trminos, salvo el ltimo, es un nmero primo de Sophie Germain. Se cree que para
todo n natural existen infinitas cadenas de Cunningham de longitud n,39 aunque
hasta la fecha nadie ha proporcionado prueba de que dicha afirmacin sea cierta.

Nmero primo de Wagstaff: p lo es si

, donde q es otro nmero primo.40

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

en que en 1992, antes de la demostracin de Wiles del ltimo teorema de Fermat, se

descubri que la falsedad del teorema para un nmero primo p dado implicaba que p era un
nmero primo de Wall-Sun-Sun. Esto hizo que, durante un tiempo, la bsqueda de nmeros
primos de esta clase fuera tambin la bsqueda de un contraejemplo del ltimo teorema de
Fermat.42

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,

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.
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.43

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:

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").46

Los cuatro problemas de Landau

En 1912, Landau estableci en el Quinto Congreso Internacional de Matemticos de
Cambridge una lista de cuatro de los problemas ya mencionados sobre nmeros primos, que
se conocen como los problemas de Landau. Ninguno de ellos est resuelto hasta la fecha.
Se trata de la conjetura de Goldbach, la de los nmeros primos gemelos, la de Legendre y la
de los primos de la forma n2 + 1.47

Generalizacin del concepto de nmero primo

El concepto de nmero primo es tan importante que se ha visto generalizado de varias
maneras en diversas ramas de las matemticas.

Elementos primos en un anillo

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

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.

Primos en teora de la valoracin

En teora algebraica de nmeros surge otra generalizacin ms. Dado un cuerpo , reciben
el nombre de valoraciones sobre determinadas funciones de en . Cada una de estas
valoraciones genera una topologa sobre , y se dice que dos valoraciones son
equivalentes si generan la misma topologa. Un primo de es una clase de equivalencia de
valoraciones. Con esta definicin, los primos del cuerpo de los nmeros racionales
quedan representados por la funcin valor absoluto as como por las valoraciones p-dicas
sobre para cada nmero primo p.

Nudos primos

Algunos 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.49 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
Artculo principal: Algoritmo RSA

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.

Nmeros primos en el arte y la literatura

Los nmeros primos han influido en numerosos artistas y escritores. El compositor francs
Olivier Messiaen se vali de ellos para crear msica no mtrica. En obras tales como La
Nativit du Seigneur (1935) o Quatre tudes de rythme (1949-50) emplea simultneamente
motivos cuya duracin es un nmero primo para crear ritmos impredecibles. Segn
Messiaen, esta forma de componer fue inspirada por los movimientos de la naturaleza,
movimientos de duraciones libres y desiguales.50
En su novela de ciencia ficcin Contact, posteriormente adaptada al cine, Carl Sagan
sugiere que los nmeros primos podran ser empleados para comunicarse con inteligencias
extraterrestres, una idea que haba desarrollado de manera informal con el astrnomo
estadounidense Frank Drake en 1975.51
El curioso incidente del perro a medianoche, de Mark Haddon, que describe en primera
persona la vida de un joven autista muy dotado en matemticas y clculo mental, utiliza
nicamente los nmeros primos para numerar los captulos.
En la novela PopCo de Scarlett Thomas, la abuela de Alice Butler trabaja en la
demostracin de la hiptesis de Riemann. El libro ilustra una tabla de los mil primeros
nmeros primos.52
La soledad de los nmeros primos, novela escrita por Paolo Giordano, gan el premio
Strega en 2008.
Tambin son muchas las pelculas que reflejan la fascinacin popular hacia los misterios de
los nmeros primos y la criptografa, por ejemplo, Cube, Sneakers, El amor tiene dos caras
y Una mente maravillosa. Esta ltima se basa en la biografa del matemtico y premio
Nobel John Forbes Nash, escrita por Sylvia Nasar.53
El escritor Griego Apostolos Doxiadis, escribi El to Petros y la conjetura de Goldbach.
Que narra cmo un ficticio matemtico prodigio de principios de siglo XX, se sumerge en
el mundo de las matemticas de una forma apasionante. Tratando de resolver uno de los
problemas ms difciles y an no resueltos de la matemtica "La Conjetura de Goldbach".
La cual reza: "Todo nmero par puede expresarse como la suma de dos nmeros primos".

Vase tambin

Portal:Matemtica. Contenido relacionado con Matemtica.

Criptografa

Espiral de Ulam

Matemtica

Test de primalidad

Anexo:Nmeros primos

Anexo:Tabla de factores primos

Primo de Solinas

Mayor nmero primo conocido

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