LOS NUMEROS PRIMOS

Un nmero primo es un nmero natural mayor que 1 que tiene nicamente dos divisores distintos: l mismo y el 1. Los nmeros primos se contraponen as a los compuestos, que son aquellos que tienen algn divisor natural aparte de s mismos y del 1. El nmero 1, por convenio, no se considera ni primo ni compuesto. Los nmeros primos menores que cien son los siguientes: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43,47, 53, 59, 61, 67, 71, 73, 79, 83, 89 y 97. Un nmero primo es un nmero entero mayor que cero, que tiene exactamente dos divisores positivos. Tambin podemos definirlo como aquel nmero entero positivo que no puede expresarse como producto de dos nmeros enteros positivos ms pequeos que l, o bien, como producto de dos enteros positivos de ms de una forma. Conviene observar que con cualquiera de las dos definiciones el 1 queda excluido del conjunto de los nmeros primos. Ejemplos: El 7 es primo. Sus nicos divisores son 1 y 7. Slo puede expresarse como producto de 71. El 15 no es primo. Sus divisores son 1, 3, 5 y 15. Puede expresarse como 35. (y tambin como 151)

CMO AVERIGUAR SI UN NMERO ES PRIMO

El algoritmo ms sencillo que puede utilizarse para saber si un nmero n es primo es el de la divisin. Se trata de ir probando para ver si tiene algn divisor propio. Para ello vamos dividiendo el nmero n entre 2, 3, 4, 5, ... , n-1. Si alguna de las divisiones es exacta (da resto cero) podemos asegurar que el nmero n es compuesto. Si ninguna de estas divisiones es exacta, el nmero n es primo. Este mtodo puede hacerse ms eficiente observando simplemente, que si un nmero es compuesto alguno de sus factores (sin contar el 1) debe ser menor o igual que n. Por lo tanto, el nmero de divisiones a realizar es mucho menor. Slo hay que dividir entre 2, 3, 4, 5, ... , * n]. En realidad, bastara hacer las divisiones entre los nmeros primos menores o iguales que n. Ejemplo: Para probar que 227 es primo sabiendo que 227 = 15'0665... basta con ver que no es divisible entre 2, 3, 5, 7, 11 y 13.

DEFINICIONES
Si un entero n compuesto e impar verifica la congruencia de Euler para la base b, entonces n es un pseudoprimo de Euler para la base b. As mismo, si n pasa el test de Miller-Rabin para la base b, entonces n es un pseudoprimo fuerte para la base b. Los siguientes resultados nos dan la respuesta a la cuestin del prrafo anterior.

PROPOSICIN
Si n es compuesto e impar, al menos la mitad de las bases b que verifican 0<b<n, no satisfacen la congruencia de Euler.

TEOREMA (RABIN)
Si n es un entero compuesto impar, entonces n es un pseudoprimo fuerte para la base b, para a lo sumo un 25% de las posibles bases que verifican 0 < b < n, mcd(b,n) = 1. Desde luego que el teorema anterior no es para tirar cohetes. Probar con un 25% de las bases es algo descomunal si n es un nmero grande. Sin embargo, tambin hay que decir, que experimentalmente se ha comprobado que el test es mucho ms eficiente de lo que indica la acotacin del 25%. Es decir, cuando el nmero es compuesto, basta probar con unas pocas bases (la mayora de veces con una sola) para demostrar que el nmero es compuesto. Si probamos con varias bases y nuestro nmero pasa el test, la probabilidad de que sea primo es muy pequea. Y se puede elegir el nmero de bases que queramos de manera que la probabilidad sea menor que una cota prefijada de antemano.

TEOREMA (MILLER, 1976)

Si la hiptesis generalizada de Riemann es cierta y n es un entero compuesto impar, entonces n no pasa el test de Miller-Rabin para alguna base b < 2log2n (teorema de bach, aukemy, montgomery 1985??) Este resultado implicara un test de primalidad en tiempo polinmico del orden de O(log5n). En la tabla de abajo podemos ver la cantidad de nmeros de Carmichael y pseudoprimos para la base 2. Por ejemplo, el primer 1 de la fila que comienza con 103 indica que slo hay un nmero de Carmichael menor que 1000, y el 3 que sigue que hay 3 pseudoprimos para la base 2 menores que 1000.

10n Carmichael psprimos(2) pspEuler(2) pspFuerte(2) 101 102 10 10 10 10 10 10

3 4

0 0 1 7 16 43 105 255 646 1547 3605 8241

0 0 3 22 78 245 750 2057 5597 14884 38975 101629

0 0 1 12 36 114 375 1071 2939 7706 20417 53332

0 0 0 5 16 46 162 488 1282 3291 8607 22407

105
6

107
8

109
10 11

1012

1013

19279

264239

124882

58892

Tabla 2: Pseudoprimos y nmeros de Carmichael

Teorema (Odlyzko-Pomerance, 1982)

Existe una constante c>0 efectivamente computable tal que para todo n > ee existe un entero positivo t que satisface: i) t es libre de cuadrados. ii) 0 < t < (log n)clog(log(log n)) y tal que s(t) > n , donde s(t) = { q Z+ / q primo y q-1 divisor de t }

El test APR seguira entonces los siguientes pasos: Paso1: Introducimos un primo impar n. Paso2: Buscamos (secuencialmente) un valor t que verifique s = s(t) > n. Paso3: Factorizamos t. A sus factores pi les llamamos primos iniciales. Paso4: Factorizamos s. A sus factores qi les llamamos primos eucldeos. Paso5: Se comprueba que mcd (st, n) = 1 (si no es el caso, n no es primo) Paso6: Para cada primo inicial p se tiene una de estas dos opciones: a) np-1 1 (mod p2) b) np-1 1 (mod p2) y para cada primo eucldeo q tal que p | q-1 existe un carcter (aplicacin de un grupo en el cuerpo de los nmeros complejos) : Zq* --------> Gp de orden p y conductor q, tal que G()n ()nG(n) mdulo nZ*p, q+ para algn 1 () Gp (revisar) Si se da el caso a) probamos con otro primo inicial y si se da b) seguimos con el paso 7. Paso7: Para cada i = 0, 1, 2, 3, ... , t-1 se calcula mcd( ni (mod s) , n). Si alguno de los resultados obtenidos es un nmero comprendido estrictamente entre 1 y n entonces el nmero n es compuesto. Si todos los resultados dan 1 n, entonces podemos estar seguros de que n es primo.

EL TEOREMA DEL NMERO PRIMO Nmeros primos de Fermat

Los nmeros de Fermat, ligados a la construccin de polgonos regulares con regla y comps, son los nmeros de la forma , con n natural. Los nicos nmeros primos de Fermat que se conocen hasta la fecha son los cinco que ya conoca el propio Fermat, correspondientes a n = 0, 1, 2, 3 y 4, mientras que para valores de n entre 5 y 32 estos nmeros son compuestos.32

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.

Nmeros primos de Mersenne

Los nmeros de Mersenne son los de forma Mp = 2p 1, donde p es primo.33 Los mayores nmeros primos conocidos son generalmente de esta forma, ya que existe un test de primalidad muy eficaz, el test de Lucas-Lehmer, para determinar si un nmero de Mersenne es primo o no. Actualmente, el mayor nmero primo que se conoce es M43.112.609 = 243.112.609 - 1, que tiene 12.978.189 cifras en el sistema decimal. Se trata cronolgicamente del 45 nmero primo de Mersenne conocido y su descubrimiento se anunci el 23 de agosto de 2008 gracias al proyecto de computacin distribuida Great Internet Mersenne Prime Search (GIMPS). Desde entonces, se han descubierto otros dos nmeros primos de Mersenne, pero son menores que el 45.

Nmero primo de Sophie Germain.

Un nmero primo es un nmero de Sophie Germain si al multiplicarlo por 2 y sumarle 1 el resultado es tambin un nmero primo. Ejemplo: El 2 es nmero primo de Sophie Germain por ser un numero primo y cumplirse 2x2+1=5 siendo 5 tambin nmero primo.

Nmeros primos de Sophie Germain menores de 1000.

2 113 359 683 3 131 419 719 5 173 431 743 11 179 443 761 23 191 491 809 29 233 509 911 41 239 593 953 53 251 641 83 281 653 89 293 659

Nmeros gemelos
Son los nmeros primos cuya diferencia es 2 (p. ej. 5 es primo y 7 es primo, y 7-5=2; 31-29=2; etc).

Los Nmeros Primos menores de 1000.

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

BIOGRAFIA
http://www.juegosdelogica.com/numeros_primos.htm http://recursostic.educacion.es/descartes/web/materiales_didacticos/Numeros_primos/n umeros_primos.htm http://es.wikipedia.org/wiki/N%C3%BAmero_primo http://mimosa.pntic.mec.es/jgomez53/matema/conocer/primos.htm http://pinux.info/primos/son.html

FIN