Sección 2.6 Números Primos
Definición 2.6.1.
(Número Primo) Se dice que un número entero \(p\) es primo si verifica- \(p \neq \left\lbrace 0,\pm 1\right\rbrace\text{.}\)
- Los únicos divisores de \(p\) son \(\pm 1\) y \(\pm p\text{.}\)
A partir de la Definición 2.6.1, un número entero \(n\) se denomina compuesto si no es primo.
Proposición 2.6.2.
Todo entero positivo (salvo 1) es divisible por al menos un número primo.El siguiente resultado es útil como prueba de primalidad. Sin embargo, su efectividad es limitada (no es eficaz a la hora de trabajar con números extensos).
Proposición 2.6.3.
Todo número entero positivo compuesto \(n\) tiene entre sus divisores a un primo \(p\text{,}\) tal que \(p\le \sqrt{n}\text{.}\)La siguiente aplicación de Sage permite verificar si un número entero es primo o no.
Lema 2.6.4.
(Euclides) Sean \(a,b\in \mathbb{Z}\) y \(p\) un número primo. Si \(p |ab\) entonces \(p |a \lor p |b\text{.}\)Demostración.
Del Lema de Euclides, se desprende el siguiente resultado (Corolario 2.6.5).
Corolario 2.6.5.
Sean \(a_{1}, a_{2},...,a_{n} \in \mathbb{Z}\) y \(p\) un número primo tal que \(p |a_{1}\cdot p_{2}\cdot ...\cdot p_{n}\text{.}\) Entonces \(p |a_{i}\text{,}\) con \(i=1,2,...,n\text{.}\)Demostración.
Para el siguiente resultado (Proposición 2.6.6), proporcionaremos la demostración realizada por Euclides. ¡Es muy interesante y existen diversas demostraciones!
Proposición 2.6.6.
(Euclides) Existen infinitos números primos.Demostración.
El siguiente resultado (Teorema 2.6.7) fue establecido por Dirichlet y su demostración se escapa del alcance de este curso. ¡Es uno de los resultados más maravillosos sobre números primos!
Teorema 2.6.7.
(Dirichlet) Sean \(a,b\in \mathbb{N}\) tales que \((a,b)=1\text{.}\) Entonces existen infinitos números primos de la forma \(an+b\) ( \(n\) natural).Del Teorema 2.6.7 se derivan ejercicios muy interesantes (ver Ejercicio 4.6.8).
Ejercicio 2.6.8.
Para finalizar esta sección, proporcionaremos el Teorema de los Números Primos. Al igual que el Teorema 2.6.7, su demostración se escapa del alcance de un curso introductorio al Álgebra.
Teorema 2.6.9.
(de los Números Primos) Sea \(\pi(x)\) la cantidad de números primos inferiores o iguales a \(x\)( \(x\in \mathbb{R}\)). Entonces¿Cómo interpretar el Teorema 2.6.9? Los números primos se vuelven cada vez más escasos a medida que se avanza por la recta real.
Nuevamente Sage nos proporcionará una herramienta para calcular \(\pi(x)\text{.}\)