Nmero primo

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 P .
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 recu- Imagen del hueso de Ishango expuesto en el Real Instituto Belga
rrente de investigacin en la teora de nmeros: si se con- de Ciencias Naturales.
sideran nmeros individuales, los primos parecen estar
distribuidos aleatoriamente, pero la distribucin global
de los nmeros primos sigue leyes bien denidas.
tena realmente el hombre de aquella poca.[6]

1
1.1

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.

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 En las matemticas egipcias, el clculo de fracciones
1

HISTORIA DE LOS NMEROS PRIMOS

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 12 , 13 , 14 , 15 , . . . , por lo que las fracciones de
numerador distinto de 1 se escriban como suma( de inversos de naturales,
a ser posible sin repeticin 12 + 16
) [8]
1
1
en lugar de 3 + 3 . Es por ello que, en cierta manera,
tenan que conocer o intuir los nmeros primos.[9]

1.2

Antigua Grecia

Pierre de Fermat.
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 dene los nmeros primos, demuestra
que hay innitos de ellos, dene 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.

1.3

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.

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 12 + 13 + 51 + 17 +. . . , y
en 1747 demostr que todos los nmeros perfectos pares
son de la forma 2p1 (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 innito, el nmero de primos menores o iguales que n es
n
asinttico a ln(n)
, 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.

Fermat conjetur que todos los nmeros de la forma Actualmente no se comprueba la primalidad de un nmen
22 +1 eran primos (debido a lo cual se los conoce como ro por divisiones sucesivas, al menos no si el nmero es
nmeros de Fermat) y veric esta propiedad hasta n = relativamente grande.

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

2 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 lisPosteriormente se encontraron algoritmos de primalidad ta de Derrick Norman Lehmer de nmeros primos hasta
con slo obtener una factorizacin parcial de p+1 o p- el 10.006.721, reimpresa hasta el ao 1956[14] empezaba
1. Ejemplos de estos algoritmos son el test de Proth con el 1 como primer nmero primo.[15]
(desarrollado alrededor de 1878) y el test de Pockling- Actualmente, la comunidad matemtica se inclina por no
ton (1914). En estos algoritmos se requiere que el pro- considerar al 1 en la lista de los nmeros primos. Esta
ducto de los factores primos conocidos de p-1 sea mayor convencin, por ejemplo, permite una formulacin muy
que la raz cuadrada de p. Ms recientemente, en 1975, econmica del teorema fundamental de la aritmtica: toBrillhart, Lehmer y Selfridge desarrollaron el test BLS do nmero natural tiene una representacin nica como
de primalidad que slo requiere que dicho producto sea producto de factores primos, salvo el orden.[16][17] Ademayor que la raz cbica de p. El mejor mtodo conoci- ms, los nmeros primos tienen numerosas propiedades
do de esta clase es el test de Konyagin y Pomerance del de las que carece el 1, tales como la relacin del nmero
ao 1997, que requiere que dicho producto sea mayor que con el valor correspondiente de la funcin de Euler o la
p3/10 .[10][11]
funcin divisor.[18]
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 3
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 3.1
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
vericar, 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 certicado consistente en una serie de nmeros que permite despus conrmar 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.

Propiedades de los nmeros primos

Teorema fundamental de la aritmtica

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 alEsta ilustracin muestra que el 11 es un nmero primo, pero el
goritmos, 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.

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

3 PROPIEDADES DE LOS NMEROS PRIMOS

como producto de 22 313149, 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=22 3 es
60=22 35.
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.

3.2

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 nito 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, p1 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. p1 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 nito, 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 nito 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 denida por un producto
sobre el conjunto de todos los primos para Re(s) >
1:

(s) =

1
1
=
.
s
n
1 ps
p
n=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:

1
p 1p1 = (Correspondiente
a la serie armnica, relacionado con
la innitud de nmeros primos).

2
1
p 1p2 = 6 . (Correspondiente al problema de Basilea).

En general 1n p 1p1n es un nmero racional cuando n es un nmero entero positivo par.

El anillo Z/pZ 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 p1 +x p2 + + 1 es
irreducible sobre Z/pZ si y slo si p es primo.
Un nmero natural n es primo si y slo si el nsimo polinomio de Chebyshov de la primera especie Tn(x), dividido entre x, es irreducible en Z[x] .
Adems, Tn(x) xn si y slo si n es primo.

4.1

3.3

Innitud de los nmeros primos

Nmeros primos y funciones aritmti- IX de su obra Elementos[19] Una adaptacin comn de esta demostracin original sigue as: Se toma un conjunto
cas

Las funciones aritmticas, es decir, funciones reales o

complejas, denidas 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

f (ab) = f (a)f (b)

arbitrario pero nito de nmeros primos p1 , p2 , p3 , ,

pn, y se considera el producto de todos ellos ms uno,
q = p1 p2 p3 . . . pn + 1 . 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 q p1 p2 p3 . . . pn = 1 , 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 nito
que se tome.

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
Por tanto, el conjunto de los nmeros primos es innito.

Si se toma como conjunto el de los n primeros nmeros

primos,
entonces q = p1 p2 p3 . . .pn +1 = pn +1
(pm ) = pm pm1
, donde pn# es lo que se llama primorial de pn. Un nmero primo de la forma pn# +1 se denomina nmero primo
(pm ) = m + 1
de Euclides en honor al matemtico griego. Tambin se
(pm ) = 1 + p2 + p3 + + pm
puede elaborar una demostracin similar a la de EucliGracias a la propiedad que las dene, las funciones arit- des tomando el producto de un nmero dado de nmeros
mticas pueden calcularse fcilmente a partir del valor primos menos uno, el lugar del producto de esos nmeque toman en las potencias de nmeros primos. De he- ros primos ms uno. En ese sentido, se denomina nmero
primo primorial a un nmero primo de la forma pn# 1.
cho, dado un nmero natural n de factorizacin
No todos los nmeros de la forma pn# +1 son primos.
En este caso, como se sigue de la demostracin anterior,
q1
qa
todos los factores primos debern ser mayores que n. Por
n = p1 pa
ejemplo: 23571113+1=30031=59509
se tiene que
Otros matemticos han demostrado la innitud de los nmeros primos con diversos mtodos procedentes de reas
de las matemticas tales como al lgebra conmutativa y la
f (n) = f (pq11 ) f (pqaa )
topologa.[20] Algunas de estas demostraciones se basan
en el uso de sucesiones innitas con la propiedad de que
con lo que se ha reconducido el problema de calcular
cada uno de sus trminos es coprimo con todos los def(n) al de calcular f sobre las potencias de los nmems, por lo que se crea una biyeccin entre los trminos
ros primos que dividen n, valores que son generalmende la sucesin y un subconjunto (innito) del conjunto de
te ms fciles de obtener mediante una frmula general.
los primos.
Por ejemplo, para conocer el valor de la funcin sobre
2 2
Una sucesin que cumple dicha propiedad es la sucesin
n=450=23 5 basta con calcular
de Euclides-Mullin, que deriva de la demostracin eucldea de la innitud de los nmeros primos, ya que cada
2
2
uno de sus trminos se dene como el factor primo ms
(450) = (2)(3 )(5 ) = (21)(93)(255) = 120
pequeo de uno ms el producto de todos los trminos
anteriores. La sucesin de Sylvester se dene de forma
puesto que cada uno de sus trminos es igual a
4 Caractersticas del conjunto de similar,
uno ms el producto de todos los anteriores. Aunque los
trminos de esta ltima sucesin no son necesariamenlos nmeros primos
te todos primos, cada uno de ellos es coprimo con todos
los dems, por lo que se puede escoger cualquiera de sus
4.1 Innitud de los nmeros primos
factores primos, por ejemplo, el menor de ellos, y el conjunto resultante ser un conjunto innito cuyos trminos
Existen innitos nmeros primos. Euclides realiz la prison todos primos.
mera demostracin alrededor del ao 300 a. C. en el libro

CARACTERSTICAS DEL CONJUNTO DE LOS NMEROS PRIMOS

4.1.1

Otros enunciados que implican la innitud de El empeo de demostrar esta conjetura abarc todo el silos nmeros primos
glo XIX. Los primeros resultados fueron obtenidos entre
1848 y 1859 por Chebyshov, quien demostr utilizando
Un resultado an ms fuerte, y que implica directamente mtodos puramente aritmticos la existencia de dos consla innitud de los nmeros primos, fue descubierto por tantes A y B tales que
Euler en el siglo XVIII. Establece que la serie 12 + 13 +
1
1
5 + 7 +. . . es divergente. Uno de los teoremas de Mertens
concreta ms, estableciendo que
(n)
A n B

ln n
1
[21]
pn p = ln ln n + O(1)
para n sucientemente grande. Consigui demostrar que,
donde la expresin O(1) indica que ese trmino est aco- si exista el lmite del cociente de aquellas expresiones,
tado entre -C y C para n mayor que n0 , donde los valores ste deba ser 1.
de C y n0 no estn especicados.[22]
Hadamard y De la Valle-Poussin elaboraron una deOtro resultado es el teorema de Dirichlet, que dice as:
El postulado de Bertrand enuncia as:
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.

4.2

mostracin 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:

Frecuencia de los nmeros primos

(n) Li(n) =
2

1
dx
ln x

En 1899 De la Valle-Poussin demostr que el error que

se comete aproximando (n) de esta forma es
(

a ln n

(n) Li(n) = O ne

(
=O

n
(ln n)m

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]

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 lnnn

|(n) Li(n)| = O

(
)
n ln n .

Una forma equivalente al teorema de los nmeros primos

es que pn, el n-simo nmero primo, queda bien aproxiUna vez demostrado la innitud de los nmeros primos, mado por nln(n). En efecto, pn es estrictamente mayor
cabe preguntarse cmo se distribuyen los primos entre los que este valor.
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 independien- 4.3 Diferencia entre dos primos consecutite a nales del siglo XVIII, para el cual introdujeron la
vos
funcin enumerativa de los nmeros primos (n), y conjeturaron que su valor fuese aproximadamente
Ligado a la distribucin de los nmeros primos se encuentra el estudio de los intervalos entre dos primos consecu(n) lnnn .[23]
tivos. Este intervalo, con la nica salvedad del que hay

4.4

Conclusin

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 La distribucin de todos los nmeros primos comprendidos entre
1 y 76.800, de izquierda a derecha y de arriba abajo. Cada pixel
1 y n. Los nmeros
representa un nmero. Los pxeles negros representan nmeros
primos; los blancos representan nmeros no primos.

( n + 1)! + 2, ( n + 1)! + 3, , ( n + 1)! + n + 1

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 coImagen con 2310 columnas que conserva mltiplos de 2, 3, 5,
rresponden a:
7 y 11 en las columnas respectivas. Como cabe esperar, los n6! + 2 = 722 = 2 361
6! + 3 = 723 = 3 241

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

6! + 4 = 724 = 4 181
6! + 5 = 725 = 5 145
6! + 6 = 726 = 6 121

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]

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 se- En una conferencia de 1975, Don Zagier coment:
parados de ocho unidades es (89, 97), mientras que 8! es
igual a 40.320.
Hay dos hechos sobre la distribucin de los
La sucesin de las diferencias entre primos
consecutivos[26] ha sido profusamente estudiada en
matemticas, y alrededor de este concepto se han
establecido muchas conjeturas que permanecen sin
resolver.

4.4

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:

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 denicin 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]

5
5.1

Encontrar nmeros primos

Tests de primalidad

ENCONTRAR NMEROS PRIMOS

yor factor primo que se necesita no es mayor que n, dejando el nmero de candidatos a factor primo en cerca
de

ln n 1
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.

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.

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 denitivamente 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 verican algunas hiptesis matemticas.
Por ejemplo, si se verica la hiptesis generalizada de
n
Riemann, se puede emplear una versin determinstica
ln n 1
del test de Miller-Rabin, y el test de primalidad por curDe esta forma, para determinar la primalidad de n, el ma- vas elpticas podra mejorar notablemente su tiempo de
En efecto, el nmero de nmeros primos menores que n
es aproximadamente

5.3

Frmulas que slo generan nmeros primos

ejecucin si se vericaran algunas hiptesis de teora ana- que p es un nmero primo si y slo si (p1)!1 (mod
ltica de nmeros.
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,
5.2 Algoritmos de factorizacin
lo que las hace computacionalmente inviables.
Un algoritmo de factorizacin es un algoritmo que separa En la bsqueda de estas funciones, se han investigado nouno a uno los factores primos de un nmero. Los algorit- tablemente las funciones polinmicas. Cabe subrayar que
mos de factorizacin pueden funcionar tambin a modo ningn polinomio, aun en varias variables, toma slo vade tests de primalidad, pero en general tienen un tiem- lores primos.[31] Por ejemplo, el polinomio en una variapo de ejecucin menos ventajoso. Por ejemplo, se puede ble f(n) = n n + 41 devuelve valores primos para n
modicar el algoritmo de divisin por tentativa de forma = 0,, 40, 43, pero f(41) y f(42) son compuestos. Si
que no se detenga cuando se obtenga una divisin exacta, el trmino constante vale cero, entonces el polinomio es
sino que siga realizando nuevas divisiones, y no sobre el mltiplo de n, por lo que el polinomio es compuesto panmero original, sino sobre el cociente obtenido. Despus ra valores compuestos de n. En caso contrario, si c es el
de la divisin por tentativa, los mtodos ms antiguos que trmino constante, entonces f(cn) es mltiplo de c, por
se conocen son el mtodo de Fermat, que se basa en las lo que si el polinomio no es constante, necesariamente
diferencias entre cuadrados y que es especialmente ecaz deber incluir valores compuestos.
cuando n es el producto de dos nmeros primos prximos
entre s, y el mtodo de Euler, que se basa en la represen- Sin embargo, hay polinomios en varias variables cuyos
tacin de n como suma de dos cuadrados de dos formas valores positivos (cuando las variables recorren los nmeros naturales) son precisamente los nmeros primos.
distintas.
Un ejemplo es este polinomio descubierto por Jones, SaMs recientemente, se han elaborado algoritmos basados to, Wada y Wiens en 1976:[31]
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 ejem2
2
2 2
2
2 2
plo, se basa en una mejora del mtodo de Fermat y po- (1(wz+h+jq) (2n+p+q+ze) (a y y +1x ) . . .
see complejidad computacional subexponencial sobre el
3
2
2 2
3
2
2 2
nmero de cifras de n). Otros, como el mtodo rho de (e (e+2)(a+1) +1o ) (16(k+1) (k+2)(n+1) +1f ) . . .
Pollard, son probabilsticos, y no garantizan hallar los di(((a+u2 (u2 a))2 1)(n+4dy)2 +1(x+cu)2 )2 (ai+k+1li)
visores de un nmero compuesto.
2
2 4
2
2 2
Hoy por hoy, el algoritmo determinstico ms rpido de ((gk+2g+k+1)(h+j)+hz) (16r y (a 1)+1u ) . . .
uso general es el general number eld sieve, que tambin
2
2
2
posee complejidad computacional subexponencial sobre (pm+l(an1)+b(2an+2an 2n2)) (zpm+plap
el nmero de cifras de n.[29] Se ha propuesto un algoritmo (qx+y(ap1)+s(2ap+2ap2 2p2))2 (a2 l2 l2 +1m2 )2
cuyo tiempo de ejecucin es polinmico sobre el nmero
de cifras de n (el algoritmo de Shor), pero requiere ser Al igual que ocurre con las frmulas con factoriales, este
ejecutado en un ordenador cuntico, ya que su simula- polinomio no es prctico de calcular, ya que, aunque los
cin en un ordenador normal requiere un tiempo expo- valores positivos que toma son todos primos, prcticanencial. No se conocen algoritmos para factorizar en una mente no devuelve otra cosa que valores negativos cuancomputadora tradicional en tiempo polinmico y tampo- do se hacen variar las variables a a z de 0 a innito.
co se demostr que esto sea imposible.
Otro enfoque al problema de encontrar una funcin que

5.3

slo genere nmeros primos viene dado a partir del

teorema de Mills, que indica que existe una constante
Frmulas que slo generan nmeros tal que

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.

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 obAdems, se desea que la funcin se pueda calcular en la tenidos rigurosamente, sino slo de manera probabilstiprctica.[30] Por ejemplo, el teorema de Wilson asegura ca, suponiendo cierta la hiptesis de Riemann.

10

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.

6.1

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]

Primos primoriales y primos factoria6.3 Nmeros primos de Mersenne

les

Los nmeros primos primoriales, directamente relacionados con la demostracin euclidiana de la innitud 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]

6.2

CLASES DE NMEROS PRIMOS

Nmeros primos de Fermat

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 ecaz, 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
M.. = 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]

6.4 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 2p1 - 1.
Algunas de estas propiedades se reeren a una relacin
concreta con otro nmero primo:
Nmeros primos gemelos: p y p+2 lo son si son los
dos primos.
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 nmen
ros de la forma Fn = 22 + 1 , 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]

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=2pi+1 para todo i {1,2,,n1 }, se denomina cadena (completa) de Cunningham
de primera especie, y cumple por denicin que cada uno de los trminos, salvo el ltimo, es un nmero primo de Sophie Germain. Se cree que para
todo n natural existen innitas cadenas de Cunningham de longitud n,[39] aunque hasta la fecha nadie ha

7.2

Otras conjeturas

11

proporcionado prueba de que dicha armacin sea zeta est ntimamente relacionada con los nmeros pricierta.
mos.
2q +1
3

, 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
Tambin se les da nombres especiales a algunas clases de no triviales, que son aquellos ceros que no se encuentran
primos que dependen de la base de numeracin empleada en el eje real. Lo que indica la hiptesis de Riemann es
o de la forma de escribir los dgitos, y no de una frmu- que la parte real de todos los ceros no triviales es igual a
la matemtica. Es el caso de los nmeros somirp (primos 1/2.
Nmero primo de Wagsta: p lo es si p =
donde q es otro nmero primo.[40][41]

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.

La veracidad de la hiptesis implica una profunda conexin con los nmeros primos, en esencia, en el caso de
vericarse, 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
1
de primos menores que n es ln(n)
) 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 signicativas en su distribucin sin
una buena razn.[43]

El que se le d un nombre a una clase de nmeros primos con una denicin precisa no signica 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, 7.2 Otras conjeturas
la bsqueda de nmeros primos de esta clase fuera tambin la bsqueda de un contraejemplo del ltimo teorema 7.2.1 Innitud de ciertos tipos de nmeros primos
de Fermat.[42]
Muchas conjeturas tratan sobre si hay innitos nmeros
primos de una determinada forma. As, se conjetura que
hay innitos nmeros primos de Fibonacci[44] e inni7 Conjeturas
tos primos de Mersenne, pero slo un nmero nito de
primos de Fermat.[45] No se sabe si hay innitos nmeros
Existen numerosas preguntas abiertas acerca de los nprimos de Euclides.
meros primos. Muchas de ellas son problemas bien antiguos, y una de las ms signicativas es la hiptesis de
Riemann, varias veces mencionada en este artculo como
7.2.2 Distribucin de los nmeros primos
una conjetura que, de ser cierta, permitira conocer numerosos resultados relevantes en diversos campos de las
Tambin hay numerosas conjeturas que se ocupan de dematemticas.
terminadas propiedades de la distribucin de los nmeros
primos. As, la conjetura de los nmeros primos gemelos
enuncia que hay innitos nmeros primos gemelos, que
7.1 Hiptesis de Riemann
son pares de primos cuya diferencia es de 2. La conjetura
Para entender la hiptesis de Riemann, una conjetura de Polignac es una versin ms general y ms fuerte de
enunciada en 1859 pero que, hasta la fecha (2015), si- la anterior, ya que enuncia que, para cada entero positivo
gue sin resolverse, es necesario entender la funcin zeta n, hay innitos pares de primos consecutivos que dieren
de Riemann. Sea s un nmero complejo con parte real en 2n. A su vez, una versin ms dbil de la conjetura de
Polignac dice que todo nmero par es la diferencia de dos
mayor que 1. Entonces,
nmeros primos.

1
1
(s) = n=1 ns = p 1ps .
Asimismo, se conjetura la innidad de los primos de la
forma n2 + 1. Segn la conjetura de Brocard, entre los
La segunda igualdad es una consecuencia del teorema cuadrados de primos consecutivos mayores que 2 existen
fundamental de la aritmtica, y muestra que la funcin siempre al menos cuatro nmeros primos. La conjetura

12

8 GENERALIZACIN DEL CONCEPTO DE NMERO PRIMO

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:
lim supn
7.2.3

pn+1 pn
(log pn )2

=1

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 sucientemente grande pue- Representacin de los primos gaussianos de norma menor o igual
de expresarse como suma de dos primos o como la suma a 500. Los primos gaussianos son, por denicin, los enteros
de un primo y de un nmero que es el producto de dos gaussianos que son primos.
primos. ("semi-primo).[46]
2 no es un primo gaussiano, porque admite factorizacin
como producto de los primos gaussianos (1+i) y (1-i). Sin
7.3 Los cuatro problemas de Landau
embargo, el elemento 3 s es primo en los enteros gausEn 1912, Landau estableci en el Quinto Congreso In- sianos, pero no lo es en otro dominio entero. En general,
ternacional de Matemticos de Cambridge una lista de los primos racionales (es decir, los elementos primos del
cuatro de los problemas ya mencionados sobre nmeros anillo Z ) de la forma 4k+3 son primos gaussianos, pero
primos, que se conocen como los problemas de Landau. no lo son aquellos de la forma 4k+1.
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 8.2 Ideales primos
+ 1.[47]
En teora de anillos, un ideal I es un subconjunto de un
anillo A tal que

Generalizacin del concepto de

nmero primo

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.

El concepto de nmero primo es tan importante que se ha

visto generalizado de varias maneras en diversas ramas de
Un ideal primo se dene entonces como un ideal que
las matemticas.
cumple tambin que:

8.1

Elementos primos en un anillo

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.

Se pueden denir los elementos primos y los elementos

irreducibles en cualquier dominio de integridad.[48] En
I no es el anillo A entero.
cualquier dominio de factorizacin nica, como por
ejemplo, el anillo Z de los enteros, el conjunto de elementos primos equivale al conjunto de los elementos irredu- Los ideales primos son una herramienta relevante en
cibles, que en Z es {, 11, 7, 5, 3, 2, 2, 3, 5, 7, lgebra conmutativa, teora algebraica de nmeros y
geometra algebraica. Los ideales primos del anillo de en11, }.
Considrense por ejemplo los enteros gaussianos Z[i] , es teros son los ideales (0), (2), (3), (5), (7), (11),
decir, los nmeros complejos de la forma a+bi con a, b Un problema central en teora algebraica de nmeros es la
Z . Este es un dominio de integracin, y sus elementos manera en que se factorizan los ideales primos cuando se
primos son los primos gaussianos. Cabe destacar que el ven sometidos a una extensin de cuerpos. En el ejemplo

13
de los enteros gaussianos, (2) se ramica en potencia de
un primo (ya que 1 + i y 1 i generan el mismo ideal
primo), los ideales primos de la forma 4k + 3 son inertes
(mantienen su primalidad) y los de la forma 4k + 1 pasan
a ser producto de dos ideales primos distintos.

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 ccin Contact, posteriormente

adaptada al cine, Carl Sagan sugiere que los nmeros primos podran ser empleados para comunicarse con inte8.3 Primos en teora de la valoracin
ligencias extraterrestres, una idea que haba desarrollado de manera informal con el astrnomo estadounidense
En teora algebraica de nmeros surge otra generaliza- Frank Drake en 1975.[51]
cin ms. Dado un cuerpo K , reciben el nombre de
valoraciones sobre K determinadas funciones de K en R El curioso incidente del perro a medianoche, de Mark
. Cada una de estas valoraciones genera una topologa so- Haddon, que describe en primera persona la vida de un
bre K , y se dice que dos valoraciones son equivalentes si joven autista muy dotado en matemticas y clculo mengeneran la misma topologa. Un primo de K es una clase tal, utiliza nicamente los nmeros primos para numerar
de equivalencia de valoraciones. Con esta denicin, los los captulos.
primos del cuerpo Q de los nmeros racionales quedan En la novela PopCo de Scarlett Thomas, la abuela de Alirepresentados por la funcin valor absoluto as como por ce Butler trabaja en la demostracin de la hiptesis de
las valoraciones p-dicas sobre Q para cada nmero pri- Riemann. El libro ilustra una tabla de los mil primeros
mo p.
nmeros primos.[52]

8.4

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 clasicacin de los nudos ha sido desde nales 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.

10

Nmeros primos en el arte y la

literatura

La soledad de los nmeros primos, novela escrita por

Paolo Giordano, gan el premio Strega en 2008.
Tambin son muchas las pelculas que reejan 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 cticio 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.

11 Vase tambin

Portal:Matemtica. Contenido relacionado con

Matemtica.

Criptografa
Espiral de Ulam
Matemtica
Test de primalidad
Anexo:Nmeros primos

Los nmeros primos han inuido 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

Anexo:Tabla de factores primos

Primo de Solinas
Mayor nmero primo conocido

14

12

12

Referencias

[1] Niven y Zuckerman: Introduccin a la teora de nmeros

ISBN 968-18-069-7, pg. 19
[2] Burton W. Jones: : Teora de los nmeros, Editorial Trillas,
Mxico D. F. , pg 55
[3] (sucesin A000040 en OEIS)
[4] Abramo Hefez: Curso de lgebbra vol.1, ISBN 99729394-1-3, pg 87
[5] Marcus du Sautoy, La symphonie des nombres premiers
P.42 (en francs)
[6] Prhistoire de la gomtrie: le problme des sources, artculo de Olivier Keller (en francs)
[7] Nacimiento de las matemticas.. Consultado el 7 de Junio de 2009.
[8] Arnaldez, Roger y otros (1988). Las antiguas ciencias del
Oriente. Barcelona: Ediciones Orbis S.A. ISBN 84-4020159-1.

REFERENCIAS

[20] DiAmOnD (2008). Demostracin topolgica de la innitud de los nmeros primos.. Consultado el 5 de junio
de 2009.
[21] Vase, por ejemplo, An Introduction to the Theory of
Numbers, p. 24. (en ingls)
[22] En general, en la notacin de Landau, f (n)O(g(n)) indica que f (n) est dominada
asintticamente por O(g(n)) ,


(n) 
es decir, lim supn  fg(n)
< . Para ms informacin, lea
notacin de Landau.
[23] Con esta expresin se quiere decir que el lmite de la razn entre las dos expresiones tiende a 1 cuando n tiende a
innito.
[24] von Koch, Helge (1901). Sur la distribution des nombres premiers. SpringerLink. Consultado el 6 de junio
de 2009.
[25] 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.
[26] (sucesin A001223 en OEIS)

[9] Planetmath.org. History of prime numbers.. Consultado el 7 de junio de 2009.

[27] Julian Havil, Gamma: Exploring Eulers Constant (tapa dura). Princeton: Princeton University Press (2003): 163 (en
ingls)

[10] Crandall, Richard (2001). Prime numbers, a computational perspective. Nueva York: Springer-Verlag. ISBN 0387-94777-9.

[28] Julian Havil, Gamma: Exploring Eulers Constant (tapa dura). Princeton: Princeton University Press (2003): 171

[11] Bernstein, Daniel. Prime tests. Consultado el 1 de julio

de 2009.

[29] Eric W. Weisstein. Number Field Sieve (en ingls).

Consultado el 31 de mayo de 2009.

[12] Singh, Simon (1998). Pag. 126. El enigma de Fermat.

Editorial Planeta S.A. ISBN 978-84-08-02375-3..

[30] Introduccin del captulo 3 del libro de Ribenboim The

new book of prime number records.

[13] Carles Pina i Estany (2005). Curiosidades sobre nmeros

primos.. Consultado el 5 de junio de 2009.
[14] Hans Riesel, Prime Numbers and Computer Methods for
Factorization. New York: Springer (1994): 36 (en ingls)
[15] Richard K. Guy & John Horton Conway, The Book of
Numbers. New York: Springer (1996): 129 - 130 (en ingls)
[16] Gowers, T (2002). Mathematics: A Very Short Introduction. Oxford University Press. p. 118. ISBN 0-19-2853619. La exclusin aparentemente arbitraria del 1 de la denicin de nmero primo no expresa ningn conocimiento profundo sobre los nmeros: se trata simplemente
de un convenio til, adoptado para que slo haya una manera de factorizar cualquier nmero en sus factores primos.
[17] "Why is the number one not prime?" (en ingls), accedido
el 31-05-2009.
[18] "Arguments for and against the primality of 1" (en ingls),
accedido el 31-05-2009.
[19] , Euclides (1991-1996). Vol. II, libro IX, proposicin
20.. Elementos. Obra completa, Madrid, Editorial Gredos. ISBN 978-84-249-1463-9.

[31] Prime Glossary - Matijasevics Polynomial, accedido el 0606-2009

[32] W. H. Mills, A prime-representing function (1947) (en ingls)
[33] (sucesin A002982 en OEIS)
[34] (sucesin A002981 en OEIS)
[35] Keller, Wilfrid (2009). Fermat factoring status. Consultado el 1 de junio de 2009.
[36] DiAmOnD (2008). Todo nmero de Mersenne con exponente compuesto es tambin compuesto. Consultado
el 7 de junio de 2009. . Por contraposicin, se deduce que,
para buscar nmeros primos de Mersenne, basta con buscar entre los nmeros de Mersenne con exponente primo.
[37] DiAmOnD (2008). Tenemos dos nuevos primos de
Mersenne!!. Consultado el 5 de junio de 2009.
[38] GIMPS (2009). 47th Known Mersenne Prime Found!.
Consultado el 13 de junio de 2009.
[39] Nicholas Anderson, Andrew J. Havens, Brian Hydefrost,
Sean Murphy y Steve Sarasin. Prime Numbers and the
Riemann Hypothesis. p. 6. Consultado el 7 de junio de
2009.

15

[40] The On-Line Encyclopedia of Integer Sequences!.

A000979. Wagsta primes.. Consultado el 23 de abril
de 2010.
[41] Weisstein, Eric W. Wagsta Prime. En Weisstein, Eric
W. MathWorld (en ingls). Wolfram Research.
[42] Caldwell, Chris. The Prime Glossary: Wall-Sun-Sun
prime (en ingls). The Prime Pages. Universidad
de Tennessee. http://primes.utm.edu/glossary/page.php?
sort=WallSunSunPrime. Consultado el 6 de junio de
2009.
[43] Bombieri, Enrico (2000). The Riemann hypothesis (en
ingls). Clay Mathematics Institute. Consultado el 6 de junio de 2009.
[44] Caldwell, Chris. The Top Twenty: Lucas Number (en
ingls). The Prime Pages. Universidad de Tennessee. http:
//primes.utm.edu/top20/page.php?id=48. Consultado el 1
de junio de 2009.
[45] Por ejemplo, vase Guy, Richard K. (1981), Unsolved
Problems in Number Theory, Springer-Verlag, problema
A3, pp. 78.
[46] Tony Crilly (2011). 50 cosas que hay que saber sobre matemticas. Ed. Ariel. ISBN 978-987-1496-09-9.
[47] Mathworld - Landaus Problems (en ingls)
[48] Nmeros algebraicos. 2004. Consultado el 7 de junio
de 2009.
[49] En Mathworld. (en ingls)
[50] Peter Hill (1994). Amadeus Press, ed. The Messiaen companion. ISBN 0-931340-95-0..
[51] Carl Pomerance, Prime Numbers and the Search for Extraterrestrial Intelligence, accedido el 31-05-2009
[52] A Mathematician reviews PopCo (en ingls), accedido el
31-05-2009
[53] Music of the Spheres, Seleccin de Marcus du Sautoy de
pelculas que versan sobre los nmeros primos (en ingls),
accedido el 31-05-2009

13

Enlaces externos

Criba de Eratstenes para buscar los nmeros primos aplicada en C/C++. Brainum Code.
The Prime Pages
Sobre el artculo de Manindra Agrawal et al. PRIMES IS IN P, en donde arman: We present a deterministic polynomial-time algorithm that determines whether an input number n is prime or composite mathmistakes
Algoritmos ecientes para calcular nmeros primos,
por Steve Litt
Es este nmero primo?

16

14 TEXTO E IMGENES DE ORIGEN, COLABORADORES Y LICENCIAS

14
14.1

Texto e imgenes de origen, colaboradores y licencias

Texto

Nmero primo Fuente: https://es.wikipedia.org/wiki/N%C3%BAmero_primo?oldid=83830107 Colaboradores: AstroNomo, Youssefsan,

Youandme, EL Willy, Joseaperez, 4lex, Sabbut, Moriel, Frutoseco, Mrbrocoli, JorgeGG, Pieter, Sanbec, L'abbaco spagnolo~eswiki, Zwobot, Comae, Mario peral manzo, Interwiki, Ascnder, Tano4595, Barcex, RGLago, Arturo Reina~eswiki, Ncc1701zzz, Schummy, MatiasBellone, Sosta~eswiki, Petronas, RobotJcb, Airunp, Jo-Con-El, Taichi, Emijrp, Rembiapo pohyiete (bot), Magister Mathematicae,
Rupert de hentzau, Alpertron, RobotQuistnix, Chobot, Yrbot, BOT-Superzerocool, Adrruiz, FlaBot, Vitamine, BOTijo, YurikBot, Barct,
S80236g, Icvav, GermanX, Beto29, KnightRider, The Photographer, Heliocrono, Eskimbot, Kepler Oort, Maldoror, Er Komandante, Carlos Alberto Carcagno, CaStarCo, Chlewbot, Ascatala, Tomatejc, Carlosblh, Paintman, Kronin~eswiki, Lagarto, Tamorlan, Kn, BOTpolicia,
Qwertyytrewqqwerty, CEM-bot, Sive, JMCC1, Salvador alc, Marianov, Baiji, Roberpl, Eamezaga, Davius, Antur, Jjafjjaf, Gafotas, Dorieo, Daniel JG, Ggenellina, Ingenioso Hidalgo, Aleph0~eswiki, P.o.l.o., Roberto Fiadone, uo Martnez, Yeza, Hugone, Bryant1410,
B25es, Rrecillas, Botones, Cgb, JAnDbot, Nueva era, Muro de Aguas, Xavigivax, Gsrdzl, CommonsDelinker, TXiKiBoT, ^ DeViL ^,
Noluz, Leon-sotelo, Humberto, Netito777, Pabloallo, Idioma-bot, Plux, Delphidius, Snakeeater, AlnoktaBOT, VolkovBot, Technopat,
C'est moi, Queninosta, Matdrodes, BlackBeast, AlleborgoBot, Pedro.patino, Muro Bot, Edmenb, Bucho, Asimal, Comu nacho, ManelC,
BotMultichill, SieBot, Mushii, DaBot~eswiki, Loveless, Carmin, ALEJANDRO PRENSA MARTINEZ, Cobalttempest, Rigenea, Drinibot, Bigsus-bot, Dark, BOTarate, Macarse, Manw, Greek, Brindys, Mafores, Tirithel, Jarisleif, Javierito92, Dnu72, NeVic, HUB, Paulienator, Antn Francho, Farisori, PixelBot, Eduardosalg, Botelln, Leonpolanco, Charly genio, Mar del Sur, Alejandrocaro35, Slimtrax,
CestBOT, Juan Mayordomo, Darkicebot, Raulshc, Aipni-Lovrij, Joseantoniopeke, Toshi8956, SilvonenBot, UA31, AVBOT, Interscope,
LucienBOT, Louperibot, MastiBot, NicolasAlejandro, Ezarate, SpBot, Hpasten, Siddhartazen, Diegusjaimes, DumZiBoT, MelancholieBot, Rodri cyberdog, Arjuno3, Andreasmperu, Luckas-bot, Jotterbot, Angelsaracho, Strato79, Dangelin5, Barteik, Fernando101, Nixn,
ArthurBot, Diogeneselcinico42, Yuyo 84, SuperBraulio13, Xqbot, Jkbw, GNM, GhalyBot, Heriotza, Userwiki~eswiki, Ricardogpn, Esceptic0, Miguel.izquierdo.garcia, Kismalac, Pyr0, AstaBOTh15, Panderine!, TiriBOT, TobeBot, Halfdrag, RedBot, El nawe, Jerowiki,
KamikazeBot, Mr.Ajedrez, Corrector1, Ripchip Bot, Humbefa, Tarawa1943, Foundling, GrouchoBot, Edslov, EmausBot, Thebossking13,
ZroBot, Marianorbc, Allforrous, Africanus, MercurioMT, Waka Waka, WikitanvirBot, Metrnomo, Rezabot, MerlIwBot, Julio grillo,
AvocatoBot, MetroBot, Mikel24, Santga, Rotlink, Addbot, Mettallzoar, Balles2601, Roger de Lauria, DavosMat, Sever Juan, JacobRodrigues, Rodrigox99, Alfr3dobayuelo, Andri Lopez, Ineditable, Kbua23, Jarould, Matiia, El nosferatus, Elyo014, Hbkhghigoiluigougdwe,
Bibidowdowjobuscus, Anonymousbetohd, Abigail Torres, Sapristi1000, Zhirose, PollasNovas y Annimos: 412

14.2

Imgenes

Archivo:Artculo_bueno.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/e/e5/Art%C3%ADculo_bueno.svg Licencia:

Public domain Colaboradores: Circle taken from Image:Symbol support vote.svg Artista original: Paintman y Chabacano
Archivo:Gaussian_primes.png Fuente: https://upload.wikimedia.org/wikipedia/commons/8/85/Gaussian_primes.png Licencia: Public
domain Colaboradores: own work, with Mathematica 6.0 Artista original: User:Hack
Archivo:Knot-cinquefoil-sm.png Fuente: https://upload.wikimedia.org/wikipedia/commons/a/a0/Knot-cinquefoil-sm.png Licencia:
CC-BY-SA-3.0 Colaboradores: ? Artista original: ?
Archivo:Nuvola_apps_edu_mathematics-p.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c2/Nuvola_apps_edu_
mathematics-p.svg Licencia: GPL Colaboradores: Derivative of Image:Nuvola apps edu mathematics.png created by self Artista original:
David Vignoni (original icon); Flamurai (SVG convertion)
Archivo:Os_d'Ishango_IRSNB.JPG Fuente: https://upload.wikimedia.org/wikipedia/commons/4/42/Os_d%27Ishango_IRSNB.JPG
Licencia: CC-BY-SA-3.0 Colaboradores: Trabajo propio Artista original: Ben2
Archivo:Oxyrhynchus_papyrus_with_Euclid{}s_Elements.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/8/8d/P.
_Oxy._I_29.jpg Licencia: Public domain Colaboradores: http://www.math.ubc.ca/~{}cass/Euclid/papyrus/tha.jpg Artista original: Euclid
Archivo:Pentagon_construct.gif Fuente: https://upload.wikimedia.org/wikipedia/commons/7/76/Pentagon_construct.gif Licencia: Public domain Colaboradores: en:Image:Pentagon_construct.gif Artista original: TokyoJunkie at the English Wikipedia
Archivo:Pierre_de_Fermat.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/f/f3/Pierre_de_Fermat.jpg Licencia: Public
domain Colaboradores: http://www-groups.dcs.st-and.ac.uk/~{}history/PictDisplay/Fermat.html Artista original: ?
Archivo:PrimeKnot-4-1.png Fuente: https://upload.wikimedia.org/wikipedia/commons/8/84/PrimeKnot-4-1.png Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:PrimeKnot-5-2.png Fuente: https://upload.wikimedia.org/wikipedia/commons/1/1b/PrimeKnot-5-2.png Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:PrimeNumberTheorem.png Fuente: https://upload.wikimedia.org/wikipedia/commons/9/97/PrimeNumberTheorem.png Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:PrimeNumbersSmall.png Fuente: https://upload.wikimedia.org/wikipedia/commons/d/d5/PrimeNumbersSmall.png Licencia:
Public domain Colaboradores: Transferred from en.wikipedia; transfer was stated to be made by User:Aushulz. Artista original: Original
uploader was JabberWok at en.wikipedia
Archivo:Prime_num_le_400.png Fuente: https://upload.wikimedia.org/wikipedia/commons/2/2b/Prime_num_le_400.png Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Prime_rectangles.png Fuente: https://upload.wikimedia.org/wikipedia/commons/8/8a/Prime_rectangles.png Licencia: Public
domain Colaboradores: http://en.citizendium.org/wiki/Image:Prime_rectangles.png Artista original: Fredrik Johansson
Archivo:Primenumbers2310inv.png Fuente: https://upload.wikimedia.org/wikipedia/commons/6/67/Primenumbers2310inv.png Licencia: CC-BY-SA-3.0 Colaboradores: Transferido desde en.wikipedia a Commons por Muro de Aguas. Artista original: Flimsy.twiddle de
Wikipedia en ingls

14.3

Licencia de contenido

17

Archivo:Sieve_of_Eratosthenes_animation.gif
Fuente:
https://upload.wikimedia.org/wikipedia/commons/b/b9/Sieve_of_
Eratosthenes_animation.gif Licencia: CC-BY-SA-3.0 Colaboradores: ? Artista original: ?
Archivo:TrefoilKnot-01.png Fuente: https://upload.wikimedia.org/wikipedia/commons/d/df/TrefoilKnot-01.png Licencia: Public domain Colaboradores: ? Artista original: ?

14.3

Licencia de contenido

Creative Commons Attribution-Share Alike 3.0