N�mero primo

Ir a la navegaci�nIr a la b�squeda

Este art�culo trata sobre primos en los n�meros enteros. Para la generalizaci�n a
anillos, v�anse elemento primo y elemento irreducible.

La distribuci�n de los n�meros primos (l�nea azul) hasta el 400.

En matem�ticas, un n�mero primo es un n�mero natural mayor que 1 que tiene
�nicamente dos divisores distintos: �l mismo y el 1.1?2? Por el contrario, los
n�meros compuestos son los n�meros naturales que tienen alg�n divisor natural
aparte de s� mismos y del 1, y, por lo tanto, pueden factorizarse. El n�mero 1, por
convenio, no se considera ni primo ni compuesto.

Los 168 n�meros primos menores que 1000 son:

2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79,
83, 89, 97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167,
173, 179, 181, 191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257,
263, 269, 271, 277, 281, 283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353,
359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 439, 443, 449,
457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557, 563,
569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653,
659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761,
769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877,
881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991 y
997 (sucesi�n A000040 en OEIS).

El primer n�mero primo a partir del n�mero mil es el 1009, luego de diez mil es el
10 007, a partir de cien mil es el 100 003, inmediatamente despu�s de un mill�n es
el 1 000 003.

La propiedad de ser n�mero primo se denomina primalidad.

En la teor�a algebraica de n�meros, a los n�meros primos se les conoce como n�meros
racionales primos para distinguirlos de los n�meros gaussianos primos.3?. La
primalidad no depende del sistema de numeraci�n, pero s� del anillo donde se
estudia la primalidad. Dos es primo racional; sin embargo tiene factores como
entero gaussiano: 2 = (1+i)+(1-i).

El estudio de los n�meros primos es una parte importante de la teor�a de n�meros,

rama de las matem�ticas que trata las propiedades, b�sicamente aritm�ticas,4? de
los n�meros enteros. Los n�meros primos est�n presentes en algunas conjeturas
centenarias tales como la hip�tesis de Riemann y la conjetura de Goldbach, resuelta
por Harald Helfgott en su forma d�bil.

La distribuci�n de los n�meros primos es un asunto reiterativo de investigaci�n en

la teor�a de n�meros: si se consideran n�meros aisladamente, los primos parecieran
estar distribuidos de modo probabil�stico, pero la distribuci�n �global� de los
n�meros primos se ajusta a leyes bien definidas.

�ndice
1 Historia de los n�meros primos
1.1 El Oriente prehel�nico
1.2 Antigua Grecia
1.3 Desde la �poca del Renacimiento
2 El n�mero 1 no se considera primo
3 Propiedades de los n�meros primos
3.1 Teorema fundamental de la aritm�tica
3.2 Otras propiedades
3.3 N�meros primos y funciones aritm�ticas
4 Caracter�sticas del conjunto de los n�meros primos
4.1 Infinitud de los n�meros primos
4.1.1 Otros enunciados que implican la infinitud de los n�meros primos
4.2 Frecuencia de los n�meros primos
4.3 Diferencia entre dos primos consecutivos
4.4 Conclusi�n
5 Encontrar n�meros primos
5.1 Tests de primalidad
5.2 Algoritmos de factorizaci�n
5.3 F�rmulas que solo generasen n�meros primos
5.4 Algoritmo de primalidad no probabil�stico
6 Clases de n�meros primos
6.1 Primos primoriales y primos factoriales
6.2 N�meros primos de Fermat
6.3 N�meros primos de Mersenne
6.4 Otras clases de n�meros primos
7 Conjeturas
7.1 Hip�tesis de Riemann
7.2 Otras conjeturas
7.2.1 Infinitud de ciertos tipos de n�meros primos
7.2.2 Distribuci�n de los n�meros primos
7.2.3 Teor�a aditiva de n�meros
7.3 Los cuatro problemas de Landau
8 Generalizaci�n del concepto de n�mero primo
8.1 Elementos primos en un anillo
8.2 Ideales primos
8.3 Primos en teor�a de la valoraci�n
8.4 Nudos primos
9 Aplicaciones en la matem�tica
10 Aplicaciones en la computaci�n
11 N�meros primos en el arte y la literatura
12 V�ase tambi�n
13 Referencias
14 Enlaces externos
Historia de los n�meros primos
El Oriente prehel�nico

Imagen del hueso de Ishango expuesto en el Real Instituto Belga de Ciencias

Naturales.
Las muescas presentes en el hueso de Ishango, que data de hace m�s de 20 000 a�os
(anterior por tanto a la aparici�n de la escritura) y que fue hallado por el
arque�logo Jean de Heinzelin de Braucourt,5? parecen aislar cuatro n�meros primos:
11, 13, 17 y 19. Algunos arque�logos interpretan este hecho como la prueba del
conocimiento de los n�meros primos. Con todo, existen muy pocos hallazgos que
permitan discernir los conocimientos que ten�a 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 resoluci�n de
problemas aritm�ticos y atestiguan los conocimientos de la �poca. Los c�lculos
requer�an conocer los inversos de los naturales, que tambi�n se han hallado en
tablillas.7? En el sistema sexagesimal que empleaban los babilonios para escribir
los n�meros, los inversos de los divisores de potencias de 60 (n�meros regulares)
se calculan f�cilmente; por ejemplo, dividir entre 24 equivale a multiplicar por
150 (2�60+30) y correr la coma sexagesimal dos lugares. El conocimiento matem�tico
de los babilonios necesitaba una s�lida comprensi�n de la multiplicaci�n, la
divisi�n y la factorizaci�n de los naturales.
En las matem�ticas egipcias, el c�lculo de fracciones requer�a conocimientos sobre
las operaciones, la divisi�n de naturales y la factorizaci�n. Los egipcios s�lo
operaban con las llamadas fracciones egipcias, suma de fracciones unitarias, es
decir, aquellas cuyo numerador es 1, como {\displaystyle {\tfrac {1}{2}},{\tfrac
{1}{3}},{\tfrac {1}{4}},{\tfrac {1}{5}},\dots } \tfrac{1}{2}, \tfrac{1}{3},
\tfrac{1}{4}, \tfrac{1}{5}, \dots, por lo que las fracciones de numerador distinto
de 1 se escrib�an como suma de inversos de naturales, a ser posible sin repetici�n
{\displaystyle \left({\tfrac {1}{2}}+{\tfrac {1}{6}}\right.} \left( \tfrac{1}
{2}+\tfrac{1}{6} \right . en lugar de {\displaystyle \left.{\tfrac {1}{3}}+{\tfrac
{1}{3}}\right)} \left . \tfrac{1}{3}+\tfrac{1}{3} \right).8? Es por ello que, en
cierta manera, ten�an que conocer o intuir los n�meros primos.9?

Antigua Grecia

Un fragmento de los Elementos de Euclides encontrado en Oxirrinco.

La primera prueba indiscutible del conocimiento de los n�meros primos se remonta a
alrededor del a�o 300 a. C. y se encuentra en los Elementos de Euclides (tomos VII
a IX). Euclides define los n�meros primos, demuestra que hay infinitos de ellos,
define el m�ximo com�n divisor y el m�nimo com�n m�ltiplo y proporciona un m�todo
para determinarlos que hoy en d�a se conoce como el algoritmo de Euclides. Los
Elementos contienen asimismo el teorema fundamental de la aritm�tica y la manera de
construir un n�mero perfecto a partir de un n�mero primo de Mersenne.

La criba de Erat�stenes, atribuida a Erat�stenes de Cirene, es un m�todo sencillo

que permite encontrar n�meros primos. Hoy en d�a, empero, los mayores n�meros
primos que se encuentran con la ayuda de ordenadores emplean otros algoritmos m�s
r�pidos y complejos.

Desde la �poca del Renacimiento

Pierre de Fermat.
Despu�s de las matem�ticas griegas hubo pocos avances en el estudio de los n�meros
primos hasta el siglo XVII. En 1640 Pierre de Fermat estableci� (aunque sin
demostraci�n) el peque�o 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 n�meros de la forma 22n+1 eran primos (debido a lo
cual se los conoce como n�meros de Fermat) y verific� esta propiedad hasta n = 4
(es decir, 216 + 1). Sin embargo, el n�mero de Fermat 232 + 1 es compuesto (uno de
sus factores primos es 641), como demostr� Euler. De hecho, hasta nuestros d�as no
se conoce ning�n n�mero de Fermat que sea primo aparte de los que ya conoc�a el
propio Fermat.

El monje franc�s Marin Mersenne investig� los n�meros primos de la forma 2p - 1,

con p primo. En su honor, se los conoce como n�meros de Mersenne.

En el trabajo de Euler en teor�a de n�meros se encuentran muchos resultados que

conciernen a los n�meros primos. Demostr� la divergencia de la serie {\displaystyle
{\tfrac {1}{2}}+{\tfrac {1}{3}}+{\tfrac {1}{5}}+{\tfrac {1}{7}}+\dots } \tfrac{1}
{2}+\tfrac{1}{3}+\tfrac{1}{5}+\tfrac{1}{7}+\dots, y en 1747 demostr� que todos los
n�meros perfectos pares son de la forma 2p-1(2p - 1), donde el segundo factor es un
n�mero primo de Mersenne. Se cree que no existen n�meros perfectos impares, pero
todav�a es una cuesti�n abierta.

A comienzos del siglo XIX, Legendre y Gauss conjeturaron de forma independiente

que, cuando n tiende a infinito, el n�mero de primos menores o iguales que n es
asint�tico a {\displaystyle {\tfrac {n}{\ln(n)}}} \tfrac{n}{\ln (n)}, donde ln(n)
es el logaritmo natural de n. Las ideas que Bernhard Riemann plasm� en un trabajo
de 1859 sobre la funci�n zeta describieron el camino que conducir�a a la
demostraci�n del teorema de los n�meros primos. Hadamard y De la Vall�e-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 n�mero por divisiones sucesivas, al

menos no si el n�mero es relativamente grande.

Durante el siglo XIX se desarrollaron algoritmos para saber si un n�mero es primo o

no factorizando completamente el n�mero 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 P�pin para los n�meros de
Fermat (1877). El caso general de test de primalidad cuando el n�mero
inmediatamente anterior se encuentra completamente factorizado se denomina test de
Lucas.

Posteriormente se encontraron algoritmos de primalidad con solo obtener una

factorizaci�n 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 ra�z cuadrada de p. M�s recientemente, en 1975, Brillhart, Lehmer y
Selfridge desarrollaron el test BLS de primalidad que solo requiere que dicho
producto sea mayor que la ra�z c�bica de p. El mejor m�todo conocido de esta clase
es el test de Konyagin y Pomerance del a�o 1997, que requiere que dicho producto
sea mayor que p3/10.10?11?

A partir de la d�cada de 1970 varios investigadores descubrieron algoritmos para

determinar si cualquier n�mero es primo o no con complejidad subexponencial, lo que
permite realizar tests en n�meros de miles de d�gitos, aunque son mucho m�s lentos
que los m�todos 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 tama�o del n�mero cuya primalidad se desea verificar, el test de
primalidad por curvas el�pticas (desarrollado en 1986 por S. Goldwasser, J. Kilian
y mejorado por A. O. L. Atkin), que entrega un certificado consistente en una serie
de n�meros que permite despu�s confirmar r�pidamente si el n�mero es primo o no. El
desarrollo m�s reciente es el test de primalidad AKS (2002), que si bien su
complejidad es polin�mica, para los n�meros que puede manejar la tecnolog�a actual
es el m�s lento de los tres.

Durante mucho tiempo, se pensaba que la aplicaci�n de los n�meros primos era muy
limitada fuera de la matem�tica pura.12?13? Esto cambi� en los a�os 1970 con el
desarrollo de la criptograf�a de clave p�blica, en la que los n�meros primos
formaban la base de los primeros algoritmos, tales como el algoritmo RSA.

Desde 1951, el mayor n�mero primo conocido siempre ha sido descubierto con la ayuda
de ordenadores. La b�squeda de n�meros primos cada vez mayores ha suscitado inter�s
incluso fuera de la comunidad matem�tica. En los �ltimos a�os han ganado
popularidad proyectos de computaci�n distribuida tales como el GIMPS, mientras los
matem�ticos siguen investigando las propiedades de los n�meros primos.

El n�mero 1 no se considera primo

La cuesti�n acerca de si el n�mero 1 debe o no considerarse primo est� basada en la
convenci�n. Ambas posturas tienen sus ventajas y sus inconvenientes. De hecho,
hasta el siglo XIX, los matem�ticos en su mayor�a lo consideraban primo. Muchos
trabajos matem�ticos siguen siendo v�lidos a pesar de considerar el 1 como un
n�mero primo, como, por ejemplo, el de Stern y Zeisel. La lista de Derrick Norman
Lehmer de n�meros primos hasta el 10.006.721, reimpresa hasta el a�o 195614?
empezaba con el 1 como primer n�mero primo.15?
Actualmente, la comunidad matem�tica se inclina por no considerar al 1 en la lista
de los n�meros primos. Esta convenci�n, por ejemplo, permite una formulaci�n muy
econ�mica del teorema fundamental de la aritm�tica: �todo n�mero natural tiene una
representaci�n �nica como producto de factores primos, salvo el orden�.16?17?
Adem�s, los n�meros primos tienen numerosas propiedades de las que carece el 1,
tales como la relaci�n del n�mero con el valor correspondiente de la funci�n f de
Euler o la funci�n divisor.18? Cabe tambi�n la igualdad para todo {\displaystyle n}
n entero positivo, {\displaystyle 1=1^{n}} 1= 1^n , lo que permitir�a decir que
tiene {\displaystyle n} n factores. 19?

Propiedades de los n�meros primos

Teorema fundamental de la aritm�tica
Art�culo principal: Teorema fundamental de la aritm�tica

Esta ilustraci�n muestra que el 11 es un n�mero primo, pero el 12 no lo es.

El teorema fundamental de la aritm�tica establece que todo n�mero natural tiene una
representaci�n �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 vac�o.

Se puede considerar que los n�meros primos son los �ladrillos� con los que se
construye cualquier n�mero natural. Por ejemplo, se puede escribir el n�mero 23.244
como producto de 22�3�13�149, y cualquier otra factorizaci�n del 23.244 como
producto de n�meros primos ser� id�ntica 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 n�meros primos. Si se admitiera el 1 como n�mero primo, el enunciado del
teorema requerir�a aclaraciones adicionales.

A partir de esta unicidad en la factorizaci�n en factores primos se desarrollan

otros conceptos muy utilizados en matem�ticas, tales como el m�nimo com�n m�ltiplo,
el m�ximo com�n divisor y la coprimalidad de dos o m�s n�meros. As�,

El m�nimo com�n m�ltiplo de dos o m�s n�meros es el menor de los m�ltiplos comunes
de todos ellos. Para calcularlo, se descomponen los n�meros en factores primos y se
toman los factores comunes y no comunes con su m�ximo exponente. Por ejemplo, el
m�nimo com�n m�ltiplo de 10=2�5 y 12=22�3 es 60=22�3�5.
El m�ximo com�n divisor de dos o m�s n�meros es el mayor de los divisores comunes
de todos ellos. Es igual al producto de los factores comunes con su m�nimo
exponente. En el ejemplo anterior, el m�ximo com�n divisor de 10 y 12 es 2.
Finalmente, dos o m�s n�meros son coprimos, o primos entre s�, si no tienen ning�n
factor primo com�n; es decir, si su m�ximo com�n divisor es 1. Un n�mero primo es,
as�, coprimo con cualquier n�mero natural que no sea m�ltiplo de �l mismo.
Otras propiedades
En su escritura en el sistema de numeraci�n decimal, todos los n�meros primos,
salvo el 2 y el 5, tiene como el guarismo de las unidades uno de estos: 1, 3, 7 o
9. En general, en cualquier sistema de numeraci�n, todos los n�meros primos salvo
un n�mero finito acaban en una cifra que es coprima con la base.
De lo anterior se deduce que todos los n�meros primos salvo el 2 son de la forma 4n
+ 1 o bien 4n + 3. Igualmente, todos los n�meros primos salvo el 2 y el 3 son de la
forma 6n + 1 o 6n - 1.
En la progresi�n aritm�tica 3, 7, 11, 15, 19, 23, 27, 31,... hay una cantidad
infinita de n�meros primos de la forma 4n-1, n entero. 20?
En la progresi�n aritm�tica 7, 13, 19, 25, 31, 37, 43, 49, 55, 61, 67,... hay una
cantidad infinita de n�meros primos de la forma 6k+1, k entero 21?
Lema de Euclides: Si p es un n�mero primo y divisor del producto de n�meros enteros
ab, entonces p es divisor de a o de b.
Peque�o teorema de Fermat: Si p es primo y a es alg�n n�mero natural diferente de
1, entonces ap - a es divisible por p.
Si un n�mero p no divide al n�mero m, entonces (p; m) =1 22?
Si p es primo distinto de 2 y 5, {\displaystyle {\tfrac {1}{p}}} \tfrac{1}{p}
siempre es un n�mero peri�dico en su representaci�n decimal, de periodo p - 1 o un
divisor de p - 1. Esto se puede deducir directamente a partir del peque�o teorema
de Fermat. {\displaystyle {\tfrac {1}{p}}} \tfrac{1}{p} 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 n�mero natural n > 1 es primo si y solo si el factorial (n -
1)! + 1 es divisible por n. Asimismo, un n�mero natural n > 4 es compuesto si y
solo si (n - 1)! es divisible por n.
La caracter�stica de todo cuerpo es, o bien cero, o bien un n�mero 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 n�mero primo que divide al
orden de G, entonces G contiene un elemento de orden p.
La constante de Copeland-Erdos 0,235711131719232931374143�, obtenida por
concatenaci�n de los n�meros primos en el sistema decimal, es un n�mero irracional.
El valor de la funci�n zeta de Riemann en cada punto del plano complejo se da como
una continuaci�n meromorfa de una funci�n definida por un producto sobre el
conjunto de todos los primos para Re(s) > 1:
{\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p}{\frac
{1}{1-p^{-s}}}.} \zeta(s)=
\sum_{n=1}^\infin \frac{1}{n^s} = \prod_{p} \frac{1}{1-p^{-s}}.
En la regi�n donde es convergente, este producto indexado por los n�meros primos se
puede calcular, obteni�ndose diversos valores, algunos de ellos importantes en
teor�a de n�meros. Los dos primeros son:
{\displaystyle \prod _{p}{\frac {1}{1-p^{-1}}}=\infty } \prod_{p} \frac{1}{1-p^{-
1}} = \infty (Correspondiente a la serie arm�nica, relacionado con la infinitud de
n�meros primos).
{\displaystyle \prod _{p}{\frac {1}{1-p^{-2}}}={\frac {\pi ^{2}}{6}}.} \prod_{p}
\frac{1}{1-p^{-2}}= \frac{\pi^2}{6}. (Correspondiente al problema de Basilea).
En general {\displaystyle {\frac {1}{\pi ^{n}}}\prod _{p}{\frac {1}{1-p^{-n}}}}
\frac{1}{\pi^n}\prod_{p} \frac{1}{1-p^{-n}} es un n�mero racional cuando n es un
n�mero entero positivo par.
El anillo {\displaystyle \mathbb {Z} /p\mathbb {Z} } \mathbb{Z}/p\mathbb{Z} es un
cuerpo si y solo si p es primo. Equivalentemente: p es primo si y solo si f(p) = p
- 1.
Si p > 1, el polinomio x p-1+x p-2+ ��� + 1 es irreducible sobre {\displaystyle
\mathbb {Z} /p\mathbb {Z} } \mathbb{Z}/p\mathbb{Z} si y solo si p es primo.
Un n�mero natural n es primo si y solo si el n-�simo polinomio de Chebyshov de la
primera especie Tn(x), dividido entre x, es {\displaystyle 2=i(1-i)^{2}} 2 = i(1-
i)^2 irreducible en {\displaystyle \mathbb {Z} [x]} \mathbb{Z}[x]. Adem�s, Tn(x) =
xn si y solo si n es primo.
No todo n�mero primo es un n�mero gaussiano primo; tal el caso de 2, que como
entero gaussiano admite la descomposici�n {\displaystyle 2=i(1-i)^{2}} 2 = i(1-
i)^2 don de la norma de {\displaystyle 1-i} 1-i es 2, por lo tanto no es unidad en
Z[i].
Los n�meros primos de la forma {\displaystyle 4n+1} 4n+1 son igual a la suma de
dos cuadrados perfectos; por lo que no son n�meros gaussianos primos. En tanto que
los n�meros primos de la forma {\displaystyle 4n+3} 4n+3 s� son n�meros gaussianos
primos.
Todo n�mero racional primo es un n�mero gaussiano entero, sin ser necesariamente
n�mero gaussiano primo. 23?
N�meros primos y funciones aritm�ticas
Las funciones aritm�ticas, es decir, funciones reales o complejas, definidas sobre
un conjunto de n�meros naturales, desempe�an un papel crucial en la teor�a de
n�meros. Las m�s importantes son las funciones multiplicativas, que son aquellas
funciones f en las cuales, para cada par de n�meros coprimos (a,b) se tiene
{\displaystyle f(ab)=f(a)f(b)\,\!} f(ab)=f(a)f(b) \,\!.
Algunos ejemplos de funciones multiplicativas son la funci�n f de Euler, que a cada
n asocia el n�mero de enteros positivos menores y coprimos con n, y las funciones t
y s, que a cada n asocian respectivamente el n�mero de divisores de n y la suma de
todos ellos. El valor de estas funciones en las potencias de n�meros primos es

{\displaystyle \operatorname {\varphi } (p^{m})=p^{m}-p^{m-1}}

\operatorname{\varphi}(p^m)=p^m-p^{m-1},
{\displaystyle \operatorname {\tau } (p^{m})=m+1} \operatorname{\tau}(p^m)=m+1,
{\displaystyle \operatorname {\sigma } (p^{m})=1+p^{2}+p^{3}+\cdots +p^{m}}
\operatorname{\sigma}(p^m)=1+p^2+p^3+\cdots+p^m.
Gracias a la propiedad que las define, las funciones aritm�ticas pueden calcularse
f�cilmente a partir del valor que toman en las potencias de n�meros primos. De
hecho, dado un n�mero natural n de factorizaci�n

{\displaystyle n=p_{1}^{q_{1}}\cdots p_{a}^{q_{a}}} n=p_1^{q_1}\cdots p_a^{q_a}

se tiene que

{\displaystyle f(n)=f(p_{1}^{q_{1}})\cdots f(p_{a}^{q_{a}})}

f(n)=f(p_1^{q_1})\cdots f(p_a^{q_a})
con lo que se ha reconducido el problema de calcular f(n) al de calcular f sobre
las potencias de los n�meros primos que dividen n, valores que son generalmente m�s
f�ciles de obtener mediante una f�rmula general. Por ejemplo, para conocer el valor
de la funci�n f sobre n=450=2�32�52 basta con calcular

{\displaystyle \operatorname {\varphi } (450)=\operatorname {\varphi } (2)\cdot

\operatorname {\varphi } (3^{2})\cdot \operatorname {\varphi } (5^{2})=(2-1)\cdot
(9-3)\cdot (25-5)=120} \operatorname{\varphi}(450)=\operatorname{\varphi}
(2)\cdot\operatorname{\varphi}(3^2)\cdot\operatorname{\varphi}(5^2)=(2-1)\cdot(9-
3)\cdot(25-5)=120.
Caracter�sticas del conjunto de los n�meros primos
Infinitud de los n�meros primos
V�ase tambi�n: Infinitud de los n�meros primos
Existen infinitos n�meros primos. Euclides realiz� la primera demostraci�n
alrededor del a�o 300 a. C. en el libro IX de su obra Elementos24? Una adaptaci�n
com�n de esta demostraci�n original sigue as�: Se toma un conjunto arbitrario pero
finito de n�meros primos p1, p2, p3, ���, pn, y se considera el producto de todos
ellos m�s uno, {\displaystyle q=p_{1}\times p_{2}\times p_{3}\ldots \times p_{n}+1}
q=p_1\times p_2\times p_3 \ldots \times p_n + 1. Este n�mero es obviamente mayor
que 1 y distinto de todos los primos pi de la lista. El n�mero q puede ser primo o
compuesto. Si es primo tendremos un n�mero primo que no est� en el conjunto
original. Si, por el contrario, es compuesto, entonces existir� alg�n factor p que
divida a q. Suponiendo que p es alguno de los pi, se deduce entonces que p divide a
la diferencia {\displaystyle q-p_{1}\times p_{2}\times p_{3}\ldots \times p_{n}=1}
q - p_1 \times p_2 \times p_3 \ldots \times p_n = 1, pero ning�n n�mero 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 n�meros primos que no pertenecen a �l, y esto es
independiente del conjunto finito que se tome.

Por tanto, el conjunto de los n�meros primos es infinito.

Si se toma como conjunto el de los n primeros n�meros primos, entonces

{\displaystyle q=p_{1}\times p_{2}\times p_{3}\ldots \times p_{n}+1=p_{n}\sharp +1}
q=p_1\times p_2\times p_3 \ldots \times p_n+1 = p_n\sharp +1, donde pn# es lo que
se llama primorial de pn. Un n�mero primo de la forma pn# +1 se denomina n�mero
primo de Euclides en honor al matem�tico griego. Tambi�n se puede elaborar una
demostraci�n similar a la de Euclides tomando el producto de un n�mero dado de
n�meros primos menos uno, el lugar del producto de esos n�meros primos m�s uno. En
ese sentido, se denomina n�mero primo primorial a un n�mero primo de la forma pn# �
1.

No todos los n�meros de la forma pn# +1 son primos. En este caso, como se sigue de
la demostraci�n anterior, todos los factores primos deber�n ser mayores que n. Por
ejemplo: 2�3�5�7�11�13+1=30031=59�509

Otros matem�ticos han demostrado la infinitud de los n�meros primos con diversos
m�todos procedentes de �reas de las matem�ticas tales como al �lgebra conmutativa y
la topolog�a.25? Algunas de estas demostraciones se basan en el uso de sucesiones
infinitas con la propiedad de que cada uno de sus t�rminos es coprimo con todos los
dem�s, por lo que se crea una biyecci�n entre los t�rminos de la sucesi�n y un
subconjunto (infinito) del conjunto de los primos.

Una sucesi�n que cumple dicha propiedad es la sucesi�n de Euclides-Mullin, que

deriva de la demostraci�n eucl�dea de la infinitud de los n�meros primos, ya que
cada uno de sus t�rminos se define como el factor primo m�s peque�o de uno m�s el
producto de todos los t�rminos anteriores. La sucesi�n de Sylvester se define de
forma similar, puesto que cada uno de sus t�rminos es igual a uno m�s el producto
de todos los anteriores. Aunque los t�rminos de esta �ltima sucesi�n no son
necesariamente todos primos, cada uno de ellos es coprimo con todos los dem�s, 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 t�rminos son todos
primos.

Otros enunciados que implican la infinitud de los n�meros primos

Un resultado a�n m�s fuerte, y que implica directamente la infinitud de los n�meros
primos, fue descubierto por Euler en el siglo XVIII. Establece que la serie
{\displaystyle {\tfrac {1}{2}}+{\tfrac {1}{3}}+{\tfrac {1}{5}}+{\tfrac {1}{7}}
+\dots } \tfrac{1}{2}+\tfrac{1}{3}+\tfrac{1}{5}+\tfrac{1}{7}+\dots es divergente.
Uno de los teoremas de Mertens concreta m�s, estableciendo que

{\displaystyle \sum _{p\leq n}{\frac {1}{p}}=\ln \ln n+O(1)} \sum_{p\leq n}

\frac{1}{p}=\ln \ln n+O(1)26?
donde la expresi�n O(1) indica que ese t�rmino est� acotado entre -C y C para n
mayor que n0, donde los valores de C y n0 no est�n especificados.27?

Otro resultado es el teorema de Dirichlet, que dice as�:

En toda progresi�n aritm�tica an = a + n�q, donde los enteros positivos a, q = 1

son primos entre s�, existen infinitos t�rminos que son primos.

El postulado de Bertrand enuncia as�:

Si n es un n�mero natural mayor que 3, entonces siempre existe un n�mero primo p

tal que n < p < 2n- 2.

Una manera m�s d�bil pero elegante de formularlo es que, si n es un n�mero natural
mayor que 1, entonces siempre existe un n�mero primo p tal que n < p < 2n. Esto
supone que, en una progresi�n geom�trica de primer t�rmino entero mayor que 3 y
raz�n igual a 2, entre cada t�rmino de la progresi�n y el siguiente, se tiene al
menos un n�mero primo.

Frecuencia de los n�meros primos

V�ase tambi�n: Teorema de los n�meros primos
{\displaystyle n} n {\displaystyle \pi (n)} \pi (n) {\displaystyle \pi (n)-
{\tfrac {n}{\ln n}}} \pi (n) - \tfrac{n}{\ln n} {\displaystyle \mathrm {Li} (n)-\pi
(n)} \mathrm{Li} (n) - \pi (n) {\displaystyle {\tfrac {n}{\pi (n)}}} \tfrac{n}
{\pi(n)}
10 4 -0,3 2,2 2,500
102 25 3,3 5,1 4,000
103 168 23 10 5,952
104 1.229 143 17 8,137
105 9.592 906 38 10,425
106 78.498 6.116 130 12,740
107 664.579 44.158 339 15,047
108 5.761.455 332.774 754 17,357
109 50.847.534 2.592.592 1.701 19,667
1010 455.052.511 20.758.029 3.104 21,975
1011 4.118.054.813 169.923.159 11.586 24,283
... ... ... ... ...

Comparaci�n entre las funciones p(n) (azul), n / ln n (verde) y Li(n) (rojo); se

puede ver que la aproximaci�n de p(n) con Li(n) es mejor que la que hay con
{\displaystyle {\tfrac {n}{\ln n}}} \tfrac{n}{\ln n}
Una vez demostrado la infinitud de los n�meros primos, cabe preguntarse c�mo se
distribuyen los primos entre los n�meros naturales, es decir, cu�n frecuentes son y
d�nde se espera encontrar el n-�simo n�mero primo. Este estudio lo iniciaron Gauss
y Legendre de forma independiente a finales del siglo XVIII, para el cual
introdujeron la funci�n enumerativa de los n�meros primos p(n), y conjeturaron que
su valor fuese aproximadamente

{\displaystyle \pi (n)\sim {\frac {n}{\ln n}}} \pi(n)\sim\frac{n}{\ln n}.28?

El empe�o de demostrar esta conjetura abarc� todo el siglo XIX. Los primeros
resultados fueron obtenidos entre 1848 y 1859 por Chebyshov, quien demostr�
utilizando m�todos puramente aritm�ticos la existencia de dos constantes A y B
tales que

{\displaystyle A\leq {\frac {\pi (n)}{\frac {n}{\ln n}}}\leq B} A\leq \frac{\pi(n)}

{\frac{n}{\ln n}} \leq B
para n suficientemente grande. Consigui� demostrar que, si exist�a el l�mite del
cociente de aquellas expresiones, este deb�a ser 1.

Hadamard y De la Vall�e-Poussin elaboraron una demostraci�n en 1896,

independientemente el uno del otro, usando m�todos similares, basados en el uso de
la funci�n zeta de Riemann, que hab�a sido introducida por Bernhard Riemann en
1859. Hubo que esperar hasta 1949 para encontrar una demostraci�n que usara solo
m�todos elementales (es decir, sin usar el an�lisis complejo). Esta demostraci�n
fue ideada por Selberg y Erdos. Actualmente, se conoce el teorema como teorema de
los n�meros primos.

El mismo Gauss introdujo una estimaci�n m�s precisa, utilizando la funci�n

logaritmo integral:

{\displaystyle \pi (n)\approx \mathrm {Li} (n)=\int _{2}^{n}{\frac {1}{\ln

x}}\mathrm {d} x} \pi(n)\approx \mathrm{Li}(n)=\int_2^n \frac{1}{\ln x}\mathrm{d}x.
En 1899 De la Vall�e-Poussin demostr� que el error que se comete aproximando
{\displaystyle \pi (n)} \pi(n) de esta forma es

{\displaystyle \pi (n)-\mathrm {Li} (n)=O\left(n\mathrm {e} ^{-a{\sqrt {\ln

n}}}\right)=O\left({\frac {n}{(\ln n)^{m}}}\right)} \pi(n)-\mathrm{Li}(n) = O
\left(n \mathrm{e}^{-a\sqrt{\ln n}}\right)=O\left(\frac{n}{(\ln n)^m}\right)
para una constante positiva a y para cada entero m. Este resultado fue ligeramente
mejorado a lo largo de los a�os. Por otra parte, en 1901 Von Koch mostr� que si la
hip�tesis de Riemann era cierta, se ten�a la siguiente estimaci�n, m�s precisa:29?

{\displaystyle \left|\pi (n)-\mathrm {Li} (n)\right|=O\left({\sqrt {n}}\ln

n\right).} \left | \pi(n) - \mathrm{Li}(n) \right | = O\left(\sqrt n \ln n\right).

Una forma equivalente al teorema de los n�meros primos es que pn, el n-�simo n�mero
primo, queda bien aproximado por nln(n). En efecto, pn es estrictamente mayor que
este valor.

Diferencia entre dos primos consecutivos

Art�culo principal: Diferencia entre dos n�meros primos consecutivos
Ligado a la distribuci�n de los n�meros 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
n�meros primos consecutivos al menos hay un n�mero par y por tanto compuesto. Si
dos n�meros primos tienen por diferencia 2, se dice que son gemelos, y con la
salvedad del "triplete" formado por los n�meros 3, 5 y 7, los n�meros gemelos se
presentan siempre de dos en dos. Esto tambi�n es f�cil de demostrar: entre tres
n�meros impares consecutivos mayores que 3 siempre hay uno que es m�ltiplo de 3, y
por tanto compuesto. Los primeros pares de n�meros 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 n�mero natural n, se denota por n! su factorial, es decir, el
producto de todos los n�meros naturales comprendidos entre 1 y n. Los n�meros

{\displaystyle (n+1)!+2,(n+1)!+3,\cdot \cdot \cdot ,(n+1)!+n+1} {\displaystyle

(n+1)!+2,(n+1)!+3,\cdot \cdot \cdot ,(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 sucesi�n, que comprende n enteros consecutivos, no contiene
ning�n n�mero primo. Por ejemplo, si n=5, estos valores corresponden a:

{\displaystyle 6!+2=722=2\cdot 361} 6!+2=722=2 \cdot 361

{\displaystyle 6!+3=723=3\cdot 241} 6!+3=723=3 \cdot 241
{\displaystyle 6!+4=724=4\cdot 181} 6!+4=724=4 \cdot 181
{\displaystyle 6!+5=725=5\cdot 145} 6!+5=725=5 \cdot 145
{\displaystyle 6!+6=726=6\cdot 121} 6!+6=726=6 \cdot 121
El siguiente valor, 6!+7=727, es primo.30? De todas formas, el menor n�mero primo
que dista del siguiente en n es generalmente mucho menor que el factorial, por
ejemplo, el caso m�s peque�o de dos primos consecutivos separados de ocho unidades
es (89, 97), mientras que 8! es igual a 40.320.

La sucesi�n de las diferencias entre primos consecutivos31? ha sido profusamente

estudiada en matem�ticas, y alrededor de este concepto se han establecido muchas
conjeturas que permanecen sin resolver.

Conclusi�n

La distribuci�n de todos los n�meros primos comprendidos entre 1 y 76.800, de

izquierda a derecha y de arriba abajo. Cada pixel representa un n�mero. Los p�xeles
negros representan n�meros primos; los blancos representan n�meros no primos.

Imagen con 2310 columnas que conserva m�ltiplos de 2, 3, 5, 7 y 11 en las columnas

respectivas. Como cabe esperar, los n�meros primos caer�n en columnas concretas si
los n�meros est�n ordenados de izquierda a derecha y el ancho es un m�ltiplo de un
n�mero primo. Sin embargo, los n�meros primos tambi�n 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 distribuci�n de los n�meros primos es un tema de investigaci�n
recurrente entre los te�ricos de n�meros. La primalidad de un n�mero concreto es
(hasta ahora) impredecible a pesar de que existen leyes, como el teorema de los
n�meros primos y el postulado de Bertrand, que gobiernan su distribuci�n a gran
escala. Leonhard Euler coment�:

Hasta el d�a de hoy, los matem�ticos han intentado en vano encontrar alg�n orden en
la sucesi�n de los n�meros primos, y tenemos motivos para creer que es un misterio
en el que la mente jam�s penetrar�.32?

En una conferencia de 1975, Don Zagier coment�:

Hay dos hechos sobre la distribuci�n de los n�meros primos de los que espero
convencerles de forma tan incontestable que quedar�n permanentemente grabados en
sus corazones. El primero es que, a pesar de su definici�n simple y del papel que
desempe�an como ladrillos con los que se construyen los n�meros naturales, los
n�meros primos crecen como malas hierbas entre los n�meros naturales, y no parecen
obedecer ninguna otra ley que la del azar, y nadie puede predecir d�nde brotar� el
siguiente. El segundo hecho es a�n m�s asombroso, ya que dice justo lo contrario:
que los n�meros primos muestran una regularidad pasmosa, que hay leyes que
gobiernan su comportamiento, y que obedecen estas leyes con precisi�n casi
militar.33?

Encontrar n�meros primos

Tests de primalidad
Art�culo principal: Test de primalidad

La criba de Erat�stenes fue concebida por Erat�stenes de Cirene, un matem�tico

griego del siglo III a. C. Es un algoritmo sencillo que permite encontrar todos los
n�meros primos menores o iguales que un n�mero dado.
La criba de Erat�stenes es una manera sencilla de hallar todos los n�meros primos
menores o iguales que un n�mero dado. Se basa en confeccionar una lista de todos
los n�meros naturales desde el 2 hasta ese n�mero y tachar repetidamente los
m�ltiplos de los n�meros primos ya descubiertos. La criba de Atkin, m�s moderna,
tiene una mayor complejidad, pero si se optimiza apropiadamente tambi�n es m�s
r�pida. Tambi�n existe una reciente criba de Sundaram que genera �nicamente n�meros
compuestos, siendo los primos los n�meros faltantes.

En la pr�ctica, lo que se desea es determinar si un n�mero dado es primo sin tener

que confeccionar una lista de n�meros primos. Un m�todo para determinar la
primalidad de un n�mero es la divisi�n por tentativa, que consiste en dividir
sucesivamente ese n�mero entre los n�meros primos menores o iguales a su ra�z
cuadrada. Si alguna de las divisiones es exacta, entonces el n�mero 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 n�mero primo, 11, ya es mayor que v120. Es el test de primalidad m�s
sencillo, y r�pidamente pierde su utilidad a la hora de comprobar la primalidad de
n�meros grandes, ya que el n�mero de factores posibles crece demasiado r�pido a
medida que crece el n�mero potencialmente primo.

En efecto, el n�mero de n�meros primos menores que n es aproximadamente

{\displaystyle {\frac {n}{\ln n-1}}} \frac {n}{\ln n - 1}.

De esta forma, para determinar la primalidad de n, el mayor factor primo que se
necesita no es mayor que vn, dejando el n�mero de candidatos a factor primo en
cerca de

{\displaystyle {\frac {\sqrt {n}}{\ln {\sqrt {n}}-1}}} \frac {\sqrt{n}}{\ln\sqrt{n}

- 1}.
Esta expresi�n crece cada vez m�s lentamente en funci�n de n, pero, como los n
grandes son de inter�s, el n�mero de candidatos tambi�n 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 n�meros primos, pero su utilidad computacional
depende mucho del test usado. Por ejemplo, se podr�a emplear el teorema de Wilson
para calcular la primalidad de un n�mero, pero tiene el inconveniente de requerir
el c�lculo de un factorial, una operaci�n computacionalmente prohibitiva cuando se
manejan n�meros grandes. Aqu� entre en juego el tiempo de ejecuci�n del algoritmo
empleado, que se expresa en la notaci�n de Landau. Para poder determinar la
primalidad de n�meros cada vez m�s grandes (de miles de cifras) se buscan aquellos
algoritmos cuyo tiempo de ejecuci�n crezca lo m�s lentamente posible, a ser
posible, que se pueda expresar como un polinomio. Si bien el test de primalidad AKS
cumple con esta condici�n, para el rango de n�meros que se usa en la pr�ctica este
algoritmo es extremadamente lento.

Por otra parte, a menudo basta con tener una respuesta m�s r�pida con una alta
probabilidad (aunque no segura) de ser cierta. Se puede comprobar r�pidamente la
primalidad de un n�mero relativamente grande mediante tests de primalidad
probabil�sticos. Estos tests suelen tomar un n�mero aleatorio llamado "testigo" e
introducirlo en una f�rmula junto con el n�mero potencialmente primo n. Despu�s de
varias iteraciones, se resuelve que n es "definitivamente compuesto" o bien
"probablemente primo". Estos �ltimos n�meros pueden ser primos o bien pseudoprimos
(n�meros compuestos que pasan el test de primalidad). Algunos de estos tests no son
perfectos: puede haber n�meros compuestos que el test considere "probablemente
primos" independientemente del testigo utilizado. Esos n�meros reciben el nombre de
pseudoprimos absolutos para ese test. Por ejemplo, los n�meros de Carmichael son
n�meros compuestos, pero el test de Fermat los eval�a como probablemente primos.
Sin embargo, los tests probabil�sticos m�s 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 probabil�sticos.

Algunos tests probabil�sticos podr�an pasar a ser determin�sticos y algunos tests

pueden mejorar su tiempo de ejecuci�n si se verifican algunas hip�tesis
matem�ticas. Por ejemplo, si se verifica la hip�tesis generalizada de Riemann, se
puede emplear una versi�n determin�stica del test de Miller-Rabin, y el test de
primalidad por curvas el�pticas podr�a mejorar notablemente su tiempo de ejecuci�n
si se verificaran algunas hip�tesis de teor�a anal�tica de n�meros.

Algoritmos de factorizaci�n
Un algoritmo de factorizaci�n es un algoritmo que separa uno a uno los factores
primos de un n�mero. Los algoritmos de factorizaci�n pueden funcionar tambi�n a
modo de tests de primalidad, pero en general tienen un tiempo de ejecuci�n menos
ventajoso. Por ejemplo, se puede modificar el algoritmo de divisi�n por tentativa
de forma que no se detenga cuando se obtenga una divisi�n exacta, sino que siga
realizando nuevas divisiones, y no sobre el n�mero original, sino sobre el cociente
obtenido. Despu�s de la divisi�n por tentativa, los m�todos m�s antiguos que se
conocen son el m�todo de Fermat, que se basa en las diferencias entre cuadrados y
que es especialmente eficaz cuando n es el producto de dos n�meros primos pr�ximos
entre s�, y el m�todo de Euler, que se basa en la representaci�n de n como suma de
dos cuadrados de dos formas distintas.

M�s recientemente, se han elaborado algoritmos basados en una gran variedad de

t�cnicas, como las fracciones continuas o las curvas el�pticas, aunque algunos son
mejoras de m�todos anteriores (la criba cuadr�tica, por ejemplo, se basa en una
mejora del m�todo de Fermat y posee complejidad computacional subexponencial sobre
el n�mero de cifras de n). Otros, como el m�todo rho de Pollard, son
probabil�sticos, y no garantizan hallar los divisores de un n�mero compuesto.

Hoy por hoy, el algoritmo determin�stico m�s r�pido de uso general es el general
number field sieve, que tambi�n posee complejidad computacional subexponencial
sobre el n�mero de cifras de n.34? Se ha propuesto un algoritmo cuyo tiempo de
ejecuci�n es polin�mico sobre el n�mero de cifras de n (el algoritmo de Shor), pero
requiere ser ejecutado en un ordenador cu�ntico, ya que su simulaci�n en un
ordenador normal requiere un tiempo exponencial. No se conocen algoritmos para
factorizar en una computadora tradicional en tiempo polin�mico y tampoco se
demostr� que esto sea imposible.

F�rmulas que solo generasen n�meros primos

V�ase tambi�n: F�rmula de los n�meros primos
A lo largo de la historia, se han buscado numerosas f�rmulas para generar los
n�meros primos. El nivel m�s alto de exigencia para una f�rmula as� ser�a que
asociara a cada n�mero natural n el n-�simo n�mero primo. De forma m�s indulgente,
se puede pedir una funci�n f inyectiva que asocie a cada n�mero natural n un n�mero
primo de tal forma que cada uno de los valores tomados aparezca solo una vez.

Adem�s, se exige que la funci�n se pueda aplicar, efectiva y eficazmente, en la

pr�ctica.35? Por ejemplo, el teorema de Wilson asegura que p es un n�mero primo si
y solo si (p-1)!=-1 (mod p). Otro ejemplo: la funci�n f(n) = 2 + ( 2(n!) mod (n+1))
genera todos los n�meros primos, solo los n�meros primos, y solo el valor 2 se toma
m�s de una vez. Sin embargo, ambas f�rmulas se basan en el c�lculo de un factorial,
lo que las hace computacionalmente inviables.

En la b�squeda de estas funciones, se han investigado, notablemente, las funciones

polin�micas. Cabe subrayar que ning�n polinomio, aun en varias variables, devuelve
solo valores primos.36? Por ejemplo, el polinomio en una variable f(n) = n� + n +
41, estudiada por Leonardo Euler, devuelve valores primos para n = 0,�, 39, sin
embargo para n= 40, resulta {\displaystyle 40^{2}+40+41=41^{2}} 40^2 +40 +41 =
41^2 un n�mero compuesto.37? Si el t�rmino constante vale cero, entonces el
polinomio es m�ltiplo de n, por lo que el polinomio es compuesto para valores
compuestos de n. En caso contrario, si c es el t�rmino constante, entonces f(cn) es
m�ltiplo 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 n�meros naturales) son precisamente n�meros primos. Un ejemplo,
es este polinomio descubierto por Jones, Sato, Wada y Wiens en 1976:36?

{\displaystyle (1-(w\cdot z+h+j-q)^{2}-(2\cdot n+p+q+z-e)^{2}-(a^{2}\cdot y^{2}-

y^{2}+1-x^{2})^{2}\dots } (1 - (w \cdot z + h + j - q)^2 - (2 \cdot n + p + q + z -
e)^2 - (a^2 \cdot y^2 - y^2 + 1 - x^2)^2 \dots
{\displaystyle -(e^{3}\cdot (e+2)\cdot (a+1)^{2}+1-o^{2})^{2}-(16\cdot
(k+1)^{3}\cdot (k+2)\cdot (n+1)^{2}+1-f^{2})^{2}\dots } - (e^3 \cdot (e + 2) \cdot
(a + 1)^2 + 1 - o^2)^2 - (16 \cdot (k + 1)^3 \cdot (k + 2) \cdot (n + 1)^2 + 1 -
f^2)^2 \dots
{\displaystyle -(((a+u^{2}\cdot (u^{2}-a))^{2}-1)\cdot (n+4\cdot d\cdot y)^{2}+1-
(x+c\cdot u)^{2})^{2}-(a\cdot i+k+1-l-i)^{2}\dots } - (((a + u^2 \cdot (u^2 -
a))^2 - 1) \cdot (n + 4 \cdot d \cdot y)^2 + 1 - (x + c \cdot u)^2)^2 - (a \cdot i
+ k + 1 - l - i)^2 \dots
{\displaystyle -((g\cdot k+2\cdot g+k+1)\cdot (h+j)+h-z)^{2}-(16\cdot r^{2}\cdot
y^{4}\cdot (a^{2}-1)+1-u^{2})^{2}\dots } - ((g \cdot k + 2 \cdot g + k + 1) \cdot
(h + j) + h - z)^2 - (16 \cdot r^2 \cdot y^4 \cdot (a^2 - 1) + 1 - u^2)^2 \dots
{\displaystyle -(p-m+l\cdot (a-n-1)+b\cdot (2\cdot a\cdot n+2\cdot a-n^{2}-2\cdot
n-2))^{2}-(z-p\cdot m+p\cdot l\cdot a-p^{2}l+t\cdot (2\cdot a\cdot p-p^{2}-
1))^{2}\dots } - (p - m + l \cdot (a - n - 1) + b \cdot (2 \cdot a \cdot n + 2
\cdot a - n^2 - 2 \cdot n - 2))^2 - (z - p \cdot m + p \cdot l \cdot a - p^2l +
t \cdot (2 \cdot a \cdot p - p^2 - 1))^2 \dots
{\displaystyle -(q-x+y\cdot (a-p-1)+s\cdot (2\cdot a\cdot p+2\cdot a-p^{2}-2\cdot
p-2))^{2}-(a^{2}\cdot l^{2}-l^{2}+1-m^{2})^{2}-(n+l+v-y)^{2})\cdot (k+2)} - (q - x
+ y \cdot (a - p - 1) + s \cdot (2 \cdot a \cdot p + 2 \cdot a - p^2 - 2 \cdot p -
2))^2 - (a^2 \cdot l^2 - l^2 + 1 - m^2)^2 - (n + l + v - y)^2) \cdot (k + 2)
Al igual que ocurre con las f�rmulas con factoriales, este polinomio no es pr�ctico
de calcular, ya que, aunque los valores positivos que toma son todos primos,
pr�cticamente 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 funci�n que solo genere n�meros primos
viene dado a partir del teorema de Mills, que indica que existe una constante ? tal
que

{\displaystyle \lfloor \theta ^{3^{n}}\rfloor } \lfloor \theta^{3^n}\rfloor

es siempre un n�mero primo, donde {\displaystyle \lfloor \rfloor } \lfloor \rfloor
es la funci�n piso.38? Todav�a no se conoce ninguna f�rmula para calcular la
constante de Mills, y las aproximaciones que se emplean en la actualidad se basa en
la sucesi�n de los as� llamados n�meros primos de Mills (los n�meros primos
generados mediante esta f�rmula), que no pueden ser obtenidos rigurosamente, sino
solo de manera probabil�stica, suponiendo cierta la hip�tesis de Riemann.

Algoritmo de primalidad no probabil�stico

A continuaci�n mencionaremos la propiedad algebraica y aritm�tica que permite
expresar dicho algoritmo: {\displaystyle \left\{6\cdot n\pm 1\right\}}
{\displaystyle \left\{6\cdot n\pm 1\right\}} expresa el conjunto de todos los
n�meros naturales no divisibles por 2 y 3, o sea en un conjunto que incluiye a los
n�meros primos mayores que 3. La explicaci�n de esto radica en que {\displaystyle
6\cdot n-1=(6\cdot m-1)\cdot p} {\displaystyle 6\cdot n-1=(6\cdot m-1)\cdot p} tal
que n y m pertenecen a los naturales y p pertenece al conjunto de los n�meros
primos, esto significa que si un n�mero natural es de la forma {\displaystyle
6\cdot n-1} {\displaystyle 6\cdot n-1} solo basta recorrer(e ir dividiendo) por los
n�meros primos que son de su misma forma {\displaystyle 6\cdot n-1} {\displaystyle
6\cdot n-1} para tener la certeza de que es o no es un n�mero primo, ahorr�ndonos
mucho tiempo en el algoritmo de b�squeda(no necesito dividirlo por los n�meros
primos de la forma {\displaystyle 6\cdot n+1} {\displaystyle 6\cdot n+1}).

El autor de este descubrimiento es un estudiante argentino llamado Esteban

Gadacz39? en el a�o 2009 inspirado en teor�a de n�meros al leer un libro40?
recomendado por un profesor de matem�tica discreta llamado Martin Maulhardt41? en
la UTN(Universidad Tecnol�gica Nacional - Facultad Regional de Buenos Aires) en el
a�o 2009.

Clases de n�meros primos

De mayor inter�s son otras f�rmulas que, aunque no solo generen n�meros primos, son
m�s r�pidas de implementar, sobre todo si existe un algoritmo especializado que
permita calcular r�pidamente la primalidad de los valores que van tomando. A partir
de estas f�rmulas se obtienen subconjuntos relativamente peque�os del conjunto de
los n�meros primos, que suelen recibir un nombre colectivo.

Primos primoriales y primos factoriales

V�anse tambi�n: N�mero primo primorial y N�mero primo factorial.
Los n�meros primos primoriales, directamente relacionados con la demostraci�n
euclidiana de la infinitud de los n�meros primos, son los de la forma p = n# � 1
para alg�n n�mero natural n, donde n# es igual al producto 2 � 3 � 5 � 7 � 11 � �
de todos los primos = n. Asimismo, un n�mero 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, �42?
n! + 1 es primo para n = 0, 1, 2, 3, 11, 27, 37, 41, 73, 77, 116, 154, 320, �43?
N�meros primos de Fermat
V�ase tambi�n: N�mero de Fermat

Construcci�n de un pent�gono regular. 5 es un n�mero primo de Fermat.

Los n�meros de Fermat, ligados a la construcci�n de pol�gonos regulares con regla y
comp�s, son los n�meros de la forma {\displaystyle F_{n}=2^{2^{n}}+1} F_n=2^{2^n} +
1, con n natural. Los �nicos n�meros primos de Fermat que se conocen hasta la fecha
son los cinco que ya conoc�a el propio Fermat, correspondientes a n = 0, 1, 2, 3 y
4, mientras que para valores de n entre 5 y 32 estos n�meros son compuestos.44?

Para determinar su primalidad, existe un test especializado cuyo tiempo de

ejecuci�n es polin�mico: el test de P�pin. Sin embargo, los propios n�meros de
Fermat crecen tan r�pidamente que solo se lo ha podido aplicar para valores de n
peque�os. En 1999 se lo aplic� para n = 24. Para determinar el car�cter de otros
n�meros de Fermat mayores se utiliza el m�todo de divisiones sucesivas y de esa
manera a fecha de junio de 2009 se conocen 241 n�meros de Fermat compuestos, aunque
en la mayor�a de los casos se desconozca su factorizaci�n completa.44?

N�meros primos de Mersenne

V�ase tambi�n: N�mero primo de Mersenne
Los n�meros de Mersenne son los de forma Mp = 2p � 1, donde p es primo.45? Los
mayores n�meros 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
n�mero de Mersenne es primo o no.

Actualmente, el mayor n�mero primo que se conoce es M82 589 933 = 282 589 933 - 1,
que tiene 24 862 048 cifras en el sistema decimal. Se trata cronol�gicamente del
51� n�mero primo de Mersenne conocido y su descubrimiento se anunci� el 7 de
diciembre de 201846? gracias al proyecto de computaci�n distribuida �Great Internet
Mersenne Prime Search� (GIMPS).

Otras clases de n�meros primos

Existen literalmente decenas de apellidos que se pueden a�adir al concepto de
n�mero primo para referirse a un subconjunto que cumple alguna propiedad concreta.
Por ejemplo, los n�meros primos pitag�ricos son los que se pueden expresar en la
forma 4n+1. Dicho de otra forma, se trata de los n�meros primos cuyo resto al
dividirlos entre 4 es 1. Otro ejemplo es el de los n�meros primos de Wieferich, que
son aquellos n�meros primos p tales que p2 divide a 2p-1 - 1.

Algunas de estas propiedades se refieren a una relaci�n concreta con otro n�mero
primo:

N�meros primos gemelos: p y p+2 lo son si son los dos primos.

N�mero primo de Sophie Germain: dado p primo, es de Sophie Germain si 2p + 1
tambi�n es primo. Una sucesi�n de n�meros 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 definici�n que cada uno de los
t�rminos, salvo el �ltimo, es un n�mero primo de Sophie Germain. Se cree que para
todo n natural existen infinitas cadenas de Cunningham de longitud n,47? aunque
hasta la fecha nadie ha proporcionado prueba de que dicha afirmaci�n sea cierta.
N�mero primo de Wagstaff: p lo es si {\displaystyle \textstyle p={{2^{q}+1} \over
3}} \textstyle p={{2^q+1}\over 3}, donde q es otro n�mero primo.48?49?
Tambi�n se les da nombres especiales a algunas clases de primos que dependen de la
base de numeraci�n empleada o de la forma de escribir los d�gitos, y no de una
f�rmula matem�tica. Es el caso de los n�meros somirp (primos al rev�s), que son
aquellos n�meros primos tales que el n�mero obtenido al invertir el orden de sus
cifras tambi�n es primo. Tambi�n es el caso de los n�meros primos repunit, que son
aquellos n�meros primos que son concatenaci�n de unos. Si, en lugar de considerarse
el sistema de numeraci�n decimal se considera el binario, se obtiene otro conjunto
distinto de n�meros primos repunit que, adem�s, coincide con el de los n�meros
primos de Mersenne. Finalmente, los n�meros primos tri�dicos son aquellos n�meros
que son primos, capic�as y sim�tricos respecto de una recta horizontal.
El que se le d� un nombre a una clase de n�meros primos con una definici�n precisa
no significa que se conozca alg�n n�mero primo que sea de esa clase. Por ejemplo,
no se conoce hasta el momento ning�n n�mero primo de Wall-Sun-Sun, pero su
relevancia radica en que en 1992, antes de la demostraci�n de Wiles del �ltimo
teorema de Fermat, se descubri� que la falsedad del teorema para un n�mero primo p
dado implicaba que p era un n�mero primo de Wall-Sun-Sun. Esto hizo que, durante un
tiempo, la b�squeda de n�meros primos de esta clase fuera tambi�n la b�squeda de un
contraejemplo del �ltimo teorema de Fermat.50?

Conjeturas
Existen numerosas preguntas abiertas acerca de los n�meros primos. Muchas de ellas
son problemas bien antiguos, y una de las m�s significativas es la hip�tesis de
Riemann, varias veces mencionada en este art�culo como una conjetura que, de ser
cierta, permitir�a conocer numerosos resultados relevantes en diversos campos de
las matem�ticas.

Hip�tesis de Riemann
V�ase tambi�n: Hip�tesis de Riemann
Para entender la hip�tesis de Riemann, una conjetura enunciada en 1859 pero que,
hasta la fecha (2019), sigue sin resolverse, es necesario entender la funci�n zeta
de Riemann. Sea {\displaystyle s} s un n�mero complejo con parte real mayor que 1.
Entonces,

{\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}=\prod _{p}{\frac

{1}{1-p^{-s}}}.} \zeta(s)=\sum_{n=1}^\infin \frac{1}{n^s} = \prod_{p} \frac{1}{1-
p^{-s}}.

La segunda igualdad es una consecuencia del teorema fundamental de la aritm�tica, y

muestra que la funci�n zeta est� �ntimamente relacionada con los n�meros primos.

Existen dos tipos de ceros de la funci�n 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 hip�tesis de Riemann es que la parte real de todos los
ceros no triviales es igual a 1/2.

La veracidad de la hip�tesis implica una profunda conexi�n con los n�meros primos,
en esencia, en el caso de verificarse, dice que los n�meros primos est�n
distribuidos de la forma m�s regular posible. Desde un punto de vista �f�sico�,
dice grosso modo que las irregularidades en la distribuci�n de los n�meros primos
solo proceden de ruido aleatorio. Desde un punto de vista matem�tico, dice que la
distribuci�n asint�tica de los n�meros primos (seg�n el teorema de los n�meros
primos, la proporci�n de primos menores que n es {\displaystyle {\tfrac {1}
{\ln(n)}}} \tfrac{1}{\ln(n)}) tambi�n es cierta para intervalos mucho menores, con
un error de aproximadamente la ra�z cuadrada de n (para intervalos pr�ximos a n).
Est� ampliamente extendido en la comunidad matem�tica que la hip�tesis sea cierta.
En concreto, la presunci�n m�s simple es que los n�meros primos no deber�an tener
irregularidades significativas en su distribuci�n sin una buena raz�n.51?

Otras conjeturas
Infinitud de ciertos tipos de n�meros primos
Muchas conjeturas tratan sobre si hay infinitos n�meros primos de una determinada
forma. As�, se conjetura que hay infinitos n�meros primos de Fibonacci52? e
infinitos primos de Mersenne, pero solo un n�mero finito de primos de Fermat.53? No
se sabe si hay infinitos n�meros primos de Euclides.

Distribuci�n de los n�meros primos

Tambi�n hay numerosas conjeturas que se ocupan de determinadas propiedades de la
distribuci�n de los n�meros primos. As�, la conjetura de los n�meros primos gemelos
enuncia que hay infinitos n�meros primos gemelos, que son pares de primos cuya
diferencia es de 2. La conjetura de Polignac es una versi�n m�s general y m�s
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 versi�n
m�s d�bil de la conjetura de Polignac dice que todo n�mero par es la diferencia de
dos n�meros primos.

Asimismo, se conjetura la infinidad de los primos de la forma n2 + 1. Seg�n la

conjetura de Brocard, entre los cuadrados de primos consecutivos mayores que 2
existen siempre al menos cuatro n�meros primos. La conjetura de Legendre establece
que, para cada n natural, existe un n�mero primo entre n2 y (n+1)2. Finalmente, la
conjetura de Cram�r, cuya veracidad implicar�a la de Legendre, dice que:

{\displaystyle \limsup _{n\rightarrow \infty }{\frac {p_{n+1}-p_{n}}{(\log

p_{n})^{2}}}=1} \limsup_{n\rightarrow\infty} \frac{p_{n+1}-p_n}{(\log p_n)^2} = 1

Teor�a aditiva de n�meros

Otras conjeturas relacionan algunas propiedades aditivas de los n�meros con los
n�meros primos. As�, la conjetura de Goldbach dice que todo n�mero par mayor que 2
se puede escribir como suma de dos n�meros primos, aunque tambi�n existe una
versi�n m�s d�bil de la misma conjetura seg�n la cual todo n�mero impar mayor que 5
se puede escribir como suma de tres n�meros primos. El matem�tico chino Chen
Jingrun demostr�, en 1966, que en efecto, todo n�mero par suficientemente grande
puede expresarse como suma de dos primos o como la suma de un primo y de un n�mero
que es el producto de dos primos. ("semi-primo").54?

Los cuatro problemas de Landau

En 1912, Landau estableci� en el Quinto Congreso Internacional de Matem�ticos de
Cambridge una lista de cuatro de los problemas ya mencionados sobre n�meros 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 n�meros primos gemelos,
la de Legendre y la de los primos de la forma n2 + 1.55?

Generalizaci�n del concepto de n�mero primo

El concepto de n�mero primo es tan importante que se ha visto generalizado de
varias maneras en diversas ramas de las matem�ticas.

Elementos primos en un anillo

Representaci�n de los primos gaussianos de norma menor o igual a 500. Los primos
gaussianos son, por definici�n, los enteros gaussianos que son primos.
Se pueden definir los elementos primos y los elementos irreducibles en cualquier
dominio de integridad.56? En cualquier dominio de factorizaci�n �nica, como por
ejemplo, el anillo {\displaystyle \mathbb {Z} } \mathbb{Z} de los enteros, el
conjunto de elementos primos equivale al conjunto de los elementos irreducibles,
que en {\displaystyle \mathbb {Z} } \mathbb{Z} es {�, -11, -7, -5, -3, -2, 2, 3, 5,
7, 11, �}.

Consid�rense por ejemplo los enteros gaussianos {\displaystyle \mathbb {Z} [i]}
\mathbb{Z}[i], es decir, los n�meros complejos de la forma a+bi con a, b ?
{\displaystyle \mathbb {Z} } \mathbb{Z}. Este es un dominio de integridad, y sus
elementos primos son los primos gaussianos. Cabe destacar que el 2 no es un primo
gaussiano, porque admite factorizaci�n 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 {\displaystyle \mathbb {Z} } \mathbb{Z}) de la forma
4k+3 son primos gaussianos, pero no lo son aquellos de la forma 4k+1.

Ideales primos
En teor�a 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 tambi�n 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, teor�a
algebraica de n�meros y geometr�a algebraica. Los ideales primos del anillo de
enteros son los ideales (0), (2), (3), (5), (7), (11), �

Un problema central en teor�a algebraica de n�meros es la manera en que se

factorizan los ideales primos cuando se ven sometidos a una extensi�n de cuerpos.
En el ejemplo de los enteros gaussianos, (2) se ramifica en potencia de un primo
(ya que {\displaystyle 1+i} 1+i y {\displaystyle 1-i} 1-i generan el mismo ideal
primo), los ideales primos de la forma {\displaystyle 4k+3} 4k+3 son inertes
(mantienen su primalidad) y los de la forma {\displaystyle 4k+1} 4k+1 pasan a ser
producto de dos ideales primos distintos.

Primos en teor�a de la valoraci�n

En teor�a algebraica de n�meros surge otra generalizaci�n m�s. Dado un cuerpo
{\displaystyle \mathbb {K} } {\mathbb {K}}, reciben el nombre de valoraciones
sobre {\displaystyle \mathbb {K} } {\mathbb {K}} determinadas funciones de
{\displaystyle \mathbb {K} } {\mathbb {K}} en {\displaystyle \mathbb {R} }
\mathbb{R}. Cada una de estas valoraciones genera una topolog�a sobre
{\displaystyle \mathbb {K} } {\mathbb {K}}, y se dice que dos valoraciones son
equivalentes si generan la misma topolog�a. Un primo de {\displaystyle \mathbb
{K} } {\mathbb {K}} es una clase de equivalencia de valoraciones. Con esta
definici�n, los primos del cuerpo {\displaystyle \mathbb {Q} } \mathbb{Q} de los
n�meros racionales quedan representados por la funci�n valor absoluto as� como por
las valoraciones p-�dicas sobre {\displaystyle \mathbb {Q} } \mathbb{Q} para cada
n�mero primo p.

Nudos primos
Trefoil Figure-8 knot Cinquefoil PrimeKnot-5-2.png
Algunos nudos primos.
En teor�a de nudos, un nudo primo es un nudo no trivial que no se puede descomponer
en dos nudos m�s peque�os. De forma m�s 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 factorizaci�n an�logo al teorema

fundamental de la aritm�tica, que asegura que cada nudo se puede obtener de forma
�nica como suma conexa de nudos primos.57? Por este motivo, los nudos primos
desempe�an un papel central en la teor�a de nudos: una clasificaci�n de los nudos
ha sido desde finales del siglo XIX el tema central de la teor�a.

Aplicaciones en la matem�tica
En el estudio de los n�meros complejos, se acude al concepto de "primos relativos"
para definir ra�ces primitivas de la unidad .58? Si n es un n�mero primo todas las
ra�ces en�simas de 1 son ra�ces primitivas, salvo la ra�z 1.
En la definici�n de un cuerpo finito, se exige que el n�mero de elementos de un
anillo sea entero primo. En tal caso, eliminando el cero, cada elemento tiene
inverso multiplicativo y se obtiene la estructura de un cuerpo. 59?
En la definici�n de un pol�gono estrellado de n lados, para tomar los puntos de m
en m, se exige que m sea menor que n/2 y primo con n. 60?
Al definir el representante can�nico de un n�mero racional, usando clases de
equivalencia de pares ordenados de n�meros enteros, necesariamente, el par ordenado
definente tiene que involucrar dos enteros primos relativos. A fortiori, por lo
menos uno de ellos, un primo absoluto. 61?
Aplicaciones en la computaci�n
Art�culo principal: Algoritmo RSA
El algoritmo RSA se basa en la obtenci�n de la clave p�blica mediante la
multiplicaci�n de dos n�meros grandes (mayores que 10100) que sean primos. La
seguridad de este algoritmo radica en que no se conocen maneras r�pidas de
factorizar un n�mero grande en sus factores primos utilizando computadoras
tradicionales.

N�meros primos en el arte y la literatura

Los n�meros primos han influido en numerosos artistas y escritores. El compositor
franc�s Olivier Messiaen se vali� de ellos para crear m�sica no m�trica. En obras
tales como La Nativit� du Seigneur (1935) o Quatre �tudes de rythme (1949-50)
emplea simult�neamente motivos cuya duraci�n es un n�mero primo para crear ritmos
impredecibles. Seg�n Messiaen, esta forma de componer fue �inspirada por los
movimientos de la naturaleza, movimientos de duraciones libres y desiguales�.62?

En la novela escrita en 1968 2001: Una Odisea Espacial, Arthur C. Clarke menciona
que el monolito de origen extraterrestre tiene la proporci�n del cuadrado de los
primeros tres n�meros primos: 1,4,9.

En su novela de ciencia ficci�n Contact, posteriormente adaptada al cine, Carl

Sagan sugiere que los n�meros primos podr�an ser empleados para comunicarse con
inteligencias extraterrestres, una idea que hab�a desarrollado de manera informal
con el astr�nomo estadounidense Frank Drake en 1975.63?

El curioso incidente del perro a medianoche, de Mark Haddon, que describe en

primera persona la vida de un joven autista muy dotado en matem�ticas y c�lculo
mental, utiliza �nicamente los n�meros primos para numerar los cap�tulos.

En la novela PopCo de Scarlett Thomas, la abuela de Alice Butler trabaja en la

demostraci�n de la hip�tesis de Riemann. El libro ilustra una tabla de los mil
primeros n�meros primos.64?

La soledad de los n�meros primos, novela escrita por Paolo Giordano, gan� el premio
Strega en 2008.

Tambi�n son muchas las pel�culas que reflejan la fascinaci�n popular hacia los
misterios de los n�meros primos y la criptograf�a, por ejemplo, Cube, Sneakers, El
amor tiene dos caras y Una mente maravillosa. Esta �ltima se basa en la biograf�a
del matem�tico y premio Nobel John Forbes Nash, escrita por Sylvia Nasar.65?

El escritor Griego Apostolos Doxiadis, escribi� El t�o Petros y la conjetura de

Goldbach, que narra c�mo un ficticio matem�tico prodigio de principios de siglo XX
se sumerge en el mundo de las matem�ticas de una forma apasionante. Tratando de
resolver uno de los problemas m�s dif�ciles y a�n no resueltos de la matem�tica "La
Conjetura de Goldbach". La cual reza: "Todo n�mero par puede expresarse como la
suma de dos n�meros primos".

V�ase tambi�n
Ver el portal sobre Matem�tica Portal:Matem�tica. Contenido relacionado con
Matem�tica.
Criptograf�a
Espiral de Ulam
Entero gaussiano
Test de primalidad
Anexo:N�meros primos
Anexo:Tabla de factores primos
Primo de Solinas
Mayor n�mero primo conocido
Elemento primo
Elemento irreducible
Anillo factorial
Clasificaci�n de n�meros
Complejos {\displaystyle :\;\mathbb {C} } {\displaystyle :\;\mathbb {C} }
Reales {\displaystyle :\;\mathbb {R} } {\displaystyle :\;\mathbb {R} }
Racionales {\displaystyle :\;\mathbb {Q} } {\displaystyle :\;\mathbb {Q} }
Enteros {\displaystyle :\;\mathbb {Z} } {\displaystyle :\;\mathbb {Z} }
Naturales {\displaystyle :\;\mathbb {N} } {\displaystyle :\;\mathbb {N} }
uno: 1
Naturales primos
Naturales compuestos
Cero: 0
Enteros negativos
Fraccionarios
Exactos
Peri�dicos
Puros
Mixtos
Irracionales
Irracionales algebraicos
Trascendentes
Imaginarios
Referencias
Niven y Zuckerman: Introducci�n a la teor�a de n�meros ISBN 968-18-069-7, p�g. 19
Burton W. Jones: Teor�a de los n�meros, Editorial Trillas. M�xico D. F., p�g 55
Niven- Zuckerman. Introducci�n a la teor�a de n�meros
Abramo Hefez: Curso de �lgebbra vol.1, ISBN 9972-9394-1-3, p�g 87
Marcus du Sautoy, La symphonie des nombres premiers P.42 (en franc�s)
Pr�histoire de la g�om�trie: le probl�me des sources, art�culo de Olivier Keller
(en franc�s)
�Nacimiento de las matem�ticas.�. Archivado desde el original el 14 de junio de
2009. Consultado el 7 de junio de 2009.
Arnaldez, Roger y otros (1988). Las antiguas ciencias del Oriente. Barcelona:
Ediciones Orbis S.A. ISBN 84-402-0159-1.
Planetmath.org. �History of prime numbers.�. Consultado el 7 de junio de 2009.
Crandall, Richard (2001). Prime numbers, a computational perspective. Nueva York:
Springer-Verlag. ISBN 0-387-94777-9.
Bernstein, Daniel. �Prime tests�. Consultado el 1 de julio de 2009.
Singh, Simon (1998). �Pag. 126�. El enigma de Fermat. Editorial Planeta S.A. ISBN
978-84-08-02375-3..
Carles Pina i Estany (2005). �Curiosidades sobre n�meros primos.�. Consultado el 5
de junio de 2009.
Hans Riesel, Prime Numbers and Computer Methods for Factorization. New York:
Springer (1994): 36 (en ingl�s)
Richard K. Guy & John Horton Conway, The Book of Numbers. New York: Springer
(1996): 129 - 130 (en ingl�s)
Gowers, T (2002). Mathematics: A Very Short Introduction. Oxford University Press.
p. 118. ISBN 0-19-285361-9. �La exclusi�n aparentemente arbitraria del 1 de la
definici�n de n�mero primo � no expresa ning�n conocimiento profundo sobre los
n�meros: se trata simplemente de un convenio �til, adoptado para que solo haya una
manera de factorizar cualquier n�mero en sus factores primos�.
"Why is the number one not prime?" (en ingl�s), accedido el 31-05-2009.
"Arguments for and against the primality of 1" (en ingl�s), accedido el 31-05-
2009.
Se puede probar por el principio de inducci�n matem�tica
G.N. Berman: Un paseo por la teor�a de los n�meros, Editorial URSS, Mosc� 2007,
p�g 207
Berman: Op. cit
T. M. Aosto: Introducci�n a la teor�a anal�tica de n�meros, Editorial Revert� S.A.
Barcelona, 1980
Niven Zuckerman. Introducci�n a la teor�a de n�meros
, Euclides (1991-1996). �Vol. II, libro IX, proposici�n 20.�. Elementos. Obra
completa, Madrid, Editorial Gredos. ISBN 978-84-249-1463-9.
DiAmOnD (2008). �Demostraci�n topol�gica de la infinitud de los n�meros primos.�.
Consultado el 5 de junio de 2009.
V�ase, por ejemplo, An Introduction to the Theory of Numbers, p. 24. (en ingl�s)
En general, en la notaci�n de Landau, {\displaystyle \scriptstyle f(n)\in O(g(n))}
\scriptstyle f(n) \in O(g(n)) indica que {\displaystyle \scriptstyle f(n)}
\scriptstyle f(n) est� dominada asint�ticamente por {\displaystyle \scriptstyle
O(g(n))} \scriptstyle O(g(n)), es decir, {\displaystyle \scriptstyle \limsup _{n\to
\infty }\left|{\frac {f(n)}{g(n)}}\right|<\infty } \scriptstyle \limsup_{n \to
\infty} \left|\frac{f(n)}{g(n)}\right| < \infty. Para m�s informaci�n, lea notaci�n
de Landau.
Con esta expresi�n se quiere decir que el l�mite de la raz�n entre las dos
expresiones tiende a 1 cuando n tiende a infinito.
von Koch, Helge (1901). �Sur la distribution des nombres premiers�. SpringerLink.
Consultado el 6 de junio de 2009.
N�tese 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.
(sucesi�n A001223 en OEIS)
Julian Havil, Gamma: Exploring Euler's Constant (tapa dura). Princeton: Princeton
University Press (2003): 163 (en ingl�s)
Julian Havil, Gamma: Exploring Euler's Constant (tapa dura). Princeton: Princeton
University Press (2003): 171