Números Primos

Prof. Pedro Villalba

Teorı́a de Números
FACET - UNC
Esquema

1 Definición

2 Teorema de Euclides

3 Propiedades de los números primos

4 Teorema fundamental de la Aritmética

5 Descomposición Canónica

Prof. Pedro V Números primos 2 / 14

Números primos

Prof. Pedro V Números primos 3 / 14

Números primos

Definición
Un número entero n se llama número primo si n > 1 y si los únicos
divisores positivos de n son 1 y el propio n. Si n > 1 y n no es primo,
entonces decimos que n es un número compuesto.

Prof. Pedro V Números primos 3 / 14

Números primos

Definición
Un número entero n se llama número primo si n > 1 y si los únicos
divisores positivos de n son 1 y el propio n. Si n > 1 y n no es primo,
entonces decimos que n es un número compuesto.

Definición
Decimos que dos números enteros positivos a y b son primos entre sı́,
primos relativos, o coprimos, si mcd(a, b) = 1.

Prof. Pedro V Números primos 3 / 14

Teoremas de Euclides

Prof. Pedro V Números primos 4 / 14

Teoremas de Euclides

Teorema 1
Cada entero n > 1, o es primo, o es producto de números primos

Prof. Pedro V Números primos 4 / 14

Teoremas de Euclides

Teorema 1
Cada entero n > 1, o es primo, o es producto de números primos

Demostración:

Prof. Pedro V Números primos 4 / 14

Teoremas de Euclides

Teorema 1
Cada entero n > 1, o es primo, o es producto de números primos

Demostración:
Por inducción en n.

Prof. Pedro V Números primos 4 / 14

Teoremas de Euclides

Teorema 1
Cada entero n > 1, o es primo, o es producto de números primos

Demostración:
Por inducción en n.
• Para n = 2,

Prof. Pedro V Números primos 4 / 14

Teoremas de Euclides

Teorema 1
Cada entero n > 1, o es primo, o es producto de números primos

Demostración:
Por inducción en n.
• Para n = 2, 2 es primo y no hay nada que probar.

Prof. Pedro V Números primos 4 / 14

Teoremas de Euclides

Teorema 1
Cada entero n > 1, o es primo, o es producto de números primos

Demostración:
Por inducción en n.
• Para n = 2, 2 es primo y no hay nada que probar.
• Sea n > 2 y supongamos que la hipótesis inductiva se cumple para
m < n y probemos que se cumple para m = n.

Prof. Pedro V Números primos 4 / 14

Teoremas de Euclides

Teorema 1
Cada entero n > 1, o es primo, o es producto de números primos

Demostración:
Por inducción en n.
• Para n = 2, 2 es primo y no hay nada que probar.
• Sea n > 2 y supongamos que la hipótesis inductiva se cumple para
m < n y probemos que se cumple para m = n.
Supongamos que n no es primo,

Prof. Pedro V Números primos 4 / 14

Teoremas de Euclides

Teorema 1
Cada entero n > 1, o es primo, o es producto de números primos

Demostración:
Por inducción en n.
• Para n = 2, 2 es primo y no hay nada que probar.
• Sea n > 2 y supongamos que la hipótesis inductiva se cumple para
m < n y probemos que se cumple para m = n.
Supongamos que n no es primo, entonces posee algún divisor d 6= 1
y d 6= n.

Prof. Pedro V Números primos 4 / 14

Teoremas de Euclides

Teorema 1
Cada entero n > 1, o es primo, o es producto de números primos

Demostración:
Por inducción en n.
• Para n = 2, 2 es primo y no hay nada que probar.
• Sea n > 2 y supongamos que la hipótesis inductiva se cumple para
m < n y probemos que se cumple para m = n.
Supongamos que n no es primo, entonces posee algún divisor d 6= 1
y d 6= n. Digamos n = d · c,

Prof. Pedro V Números primos 4 / 14

Teoremas de Euclides

Teorema 1
Cada entero n > 1, o es primo, o es producto de números primos

Demostración:
Por inducción en n.
• Para n = 2, 2 es primo y no hay nada que probar.
• Sea n > 2 y supongamos que la hipótesis inductiva se cumple para
m < n y probemos que se cumple para m = n.
Supongamos que n no es primo, entonces posee algún divisor d 6= 1
y d 6= n. Digamos n = d · c, como 1 < c, d < n entonces ambos son
productos de primos,

Prof. Pedro V Números primos 4 / 14

Teoremas de Euclides

Teorema 1
Cada entero n > 1, o es primo, o es producto de números primos

Demostración:
Por inducción en n.
• Para n = 2, 2 es primo y no hay nada que probar.
• Sea n > 2 y supongamos que la hipótesis inductiva se cumple para
m < n y probemos que se cumple para m = n.
Supongamos que n no es primo, entonces posee algún divisor d 6= 1
y d 6= n. Digamos n = d · c, como 1 < c, d < n entonces ambos son
productos de primos, luego n es producto de primos. 

Prof. Pedro V Números primos 4 / 14

Teorema de Euclides

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración:

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1,

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1,

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo o es un producto de números primos.

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo o es un producto de números primos. Pero m no es un número
primo

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo o es un producto de números primos. Pero m no es un número
primo ya que es mayor que cada uno de los únicos números primos pi ,

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo o es un producto de números primos. Pero m no es un número
primo ya que es mayor que cada uno de los únicos números primos pi ,
y según el Teorema 1,

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo o es un producto de números primos. Pero m no es un número
primo ya que es mayor que cada uno de los únicos números primos pi ,
y según el Teorema 1, m será producto de números primos.

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo o es un producto de números primos. Pero m no es un número
primo ya que es mayor que cada uno de los únicos números primos pi ,
y según el Teorema 1, m será producto de números primos. Sin
embargo, ningún pi divide a m,

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo o es un producto de números primos. Pero m no es un número
primo ya que es mayor que cada uno de los únicos números primos pi ,
y según el Teorema 1, m será producto de números primos. Sin
embargo, ningún pi divide a m, pues si algún pi |m,

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo o es un producto de números primos. Pero m no es un número
primo ya que es mayor que cada uno de los únicos números primos pi ,
y según el Teorema 1, m será producto de números primos. Sin
embargo, ningún pi divide a m, pues si algún pi |m, entonces
pi |(m − p1 · p2 · · · pn ) = 1,

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo o es un producto de números primos. Pero m no es un número
primo ya que es mayor que cada uno de los únicos números primos pi ,
y según el Teorema 1, m será producto de números primos. Sin
embargo, ningún pi divide a m, pues si algún pi |m, entonces
pi |(m − p1 · p2 · · · pn ) = 1, lo cual es absurdo

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo o es un producto de números primos. Pero m no es un número
primo ya que es mayor que cada uno de los únicos números primos pi ,
y según el Teorema 1, m será producto de números primos. Sin
embargo, ningún pi divide a m, pues si algún pi |m, entonces
pi |(m − p1 · p2 · · · pn ) = 1, lo cual es absurdo ya que los pi son
números primos.

Prof. Pedro V Números primos 5 / 14

Teorema de Euclides
Teorema 2 (Teorema de Euclides)
Existe una infinidad de números primos.

Demostración: Reducción al absurdo.

Supongamos que existe sólo un número finito de primos.

p1 , p2 , · · · , pn

Sea m = p1 · p2 · · · pn + 1, ası́ m > 1 y por el Teorema 1, es un número

primo o es un producto de números primos. Pero m no es un número
primo ya que es mayor que cada uno de los únicos números primos pi ,
y según el Teorema 1, m será producto de números primos. Sin
embargo, ningún pi divide a m, pues si algún pi |m, entonces
pi |(m − p1 · p2 · · · pn ) = 1, lo cual es absurdo ya que los pi son
números primos. De esta manera, existe una infinidad de números
primos. 
Prof. Pedro V Números primos 5 / 14
Propiedades de los números primos

Prof. Pedro V Números primos 6 / 14

Propiedades de los números primos
Teorema 3
Si un número primo p no divide a un número a, entonces
mcd(p, a) = 1, es decir, p y a son primos relativos.

Prof. Pedro V Números primos 6 / 14

Propiedades de los números primos
Teorema 3
Si un número primo p no divide a un número a, entonces
mcd(p, a) = 1, es decir, p y a son primos relativos.

Teorema 4
Si un número primo p divide a ab, entonces p|a o p|b. En general, si p
divide a un producto a1 a2 · · · an , entonces p divide a por lo menos a
uno de los factores ai .

Prof. Pedro V Números primos 6 / 14

Propiedades de los números primos
Teorema 3
Si un número primo p no divide a un número a, entonces
mcd(p, a) = 1, es decir, p y a son primos relativos.

Teorema 4
Si un número primo p divide a ab, entonces p|a o p|b. En general, si p
divide a un producto a1 a2 · · · an , entonces p divide a por lo menos a
uno de los factores ai .

Demostración:

Prof. Pedro V Números primos 6 / 14

Propiedades de los números primos
Teorema 3
Si un número primo p no divide a un número a, entonces
mcd(p, a) = 1, es decir, p y a son primos relativos.

Teorema 4
Si un número primo p divide a ab, entonces p|a o p|b. En general, si p
divide a un producto a1 a2 · · · an , entonces p divide a por lo menos a
uno de los factores ai .

Demostración:
Sea p|ab y supongamos que p - a

Prof. Pedro V Números primos 6 / 14

Propiedades de los números primos
Teorema 3
Si un número primo p no divide a un número a, entonces
mcd(p, a) = 1, es decir, p y a son primos relativos.

Teorema 4
Si un número primo p divide a ab, entonces p|a o p|b. En general, si p
divide a un producto a1 a2 · · · an , entonces p divide a por lo menos a
uno de los factores ai .

Demostración:
Sea p|ab y supongamos que p - a y probemos que p|b.

Prof. Pedro V Números primos 6 / 14

Propiedades de los números primos
Teorema 3
Si un número primo p no divide a un número a, entonces
mcd(p, a) = 1, es decir, p y a son primos relativos.

Teorema 4
Si un número primo p divide a ab, entonces p|a o p|b. En general, si p
divide a un producto a1 a2 · · · an , entonces p divide a por lo menos a
uno de los factores ai .

Demostración:
Sea p|ab y supongamos que p - a y probemos que p|b. Por el Teorema 3,
como p - a, entonces mcd(p, a) = 1.

Prof. Pedro V Números primos 6 / 14

Propiedades de los números primos
Teorema 3
Si un número primo p no divide a un número a, entonces
mcd(p, a) = 1, es decir, p y a son primos relativos.

Teorema 4
Si un número primo p divide a ab, entonces p|a o p|b. En general, si p
divide a un producto a1 a2 · · · an , entonces p divide a por lo menos a
uno de los factores ai .

Demostración:
Sea p|ab y supongamos que p - a y probemos que p|b. Por el Teorema 3,
como p - a, entonces mcd(p, a) = 1. De la Práctica 1, ejercicio 2: “Si
a|bc y si mcd(a, b) = 1, demuestre que a|c”, concluimos que
necesariamente p|b.

Prof. Pedro V Números primos 6 / 14

Propiedades de los números primos
Teorema 3
Si un número primo p no divide a un número a, entonces
mcd(p, a) = 1, es decir, p y a son primos relativos.

Teorema 4
Si un número primo p divide a ab, entonces p|a o p|b. En general, si p
divide a un producto a1 a2 · · · an , entonces p divide a por lo menos a
uno de los factores ai .

Demostración:
Sea p|ab y supongamos que p - a y probemos que p|b. Por el Teorema 3,
como p - a, entonces mcd(p, a) = 1. De la Práctica 1, ejercicio 2: “Si
a|bc y si mcd(a, b) = 1, demuestre que a|c”, concluimos que
necesariamente p|b. El caso general se puede demostrar por
inducción n (n el número de factores). 
Prof. Pedro V Números primos 6 / 14
Teorema fundamental de la Aritmética

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética

Teorema 5: Teorema fundamental de la Aritmética

Cada entero n > 1 se puede expresar de manera única, como producto
de números primos, salvo el orden de los factores.

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética

Teorema 5: Teorema fundamental de la Aritmética

Cada entero n > 1 se puede expresar de manera única, como producto
de números primos, salvo el orden de los factores.

Demostración:

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética

Teorema 5: Teorema fundamental de la Aritmética

Cada entero n > 1 se puede expresar de manera única, como producto
de números primos, salvo el orden de los factores.

Demostración:
Inducción en n.

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética

Teorema 5: Teorema fundamental de la Aritmética

Cada entero n > 1 se puede expresar de manera única, como producto
de números primos, salvo el orden de los factores.

Demostración:
Inducción en n.
• Para n = 2, se cumple pues 2 es primo.

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética

Teorema 5: Teorema fundamental de la Aritmética

Cada entero n > 1 se puede expresar de manera única, como producto
de números primos, salvo el orden de los factores.

Demostración:
Inducción en n.
• Para n = 2, se cumple pues 2 es primo.
• Supongamos que es verdadero para todo entero m con 1 < m < n,

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética

Teorema 5: Teorema fundamental de la Aritmética

Cada entero n > 1 se puede expresar de manera única, como producto
de números primos, salvo el orden de los factores.

Demostración:
Inducción en n.
• Para n = 2, se cumple pues 2 es primo.
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética

Teorema 5: Teorema fundamental de la Aritmética

Cada entero n > 1 se puede expresar de manera única, como producto
de números primos, salvo el orden de los factores.

Demostración:
Inducción en n.
• Para n = 2, se cumple pues 2 es primo.
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo,

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética

Teorema 5: Teorema fundamental de la Aritmética

Cada entero n > 1 se puede expresar de manera única, como producto
de números primos, salvo el orden de los factores.

Demostración:
Inducción en n.
• Para n = 2, se cumple pues 2 es primo.
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética

Teorema 5: Teorema fundamental de la Aritmética

Cada entero n > 1 se puede expresar de manera única, como producto
de números primos, salvo el orden de los factores.

Demostración:
Inducción en n.
• Para n = 2, se cumple pues 2 es primo.
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto,

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética

Teorema 5: Teorema fundamental de la Aritmética

Cada entero n > 1 se puede expresar de manera única, como producto
de números primos, salvo el orden de los factores.

Demostración:
Inducción en n.
• Para n = 2, se cumple pues 2 es primo.
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética

Teorema 5: Teorema fundamental de la Aritmética

Cada entero n > 1 se puede expresar de manera única, como producto
de números primos, salvo el orden de los factores.

Demostración:
Inducción en n.
• Para n = 2, se cumple pues 2 es primo.
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)

Prof. Pedro V Números primos 7 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto.

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj .

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1),

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,
por el Teorema 4,

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,
por el Teorema 4, p1 |qi para algún i.

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,
por el Teorema 4, p1 |qi para algún i. Reordenamos el producto
q1 · q2 · · · qr de manera que p1 |q1 .

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,
por el Teorema 4, p1 |qi para algún i. Reordenamos el producto
q1 · q2 · · · qr de manera que p1 |q1 . Entonces p1 = q1 .

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,
por el Teorema 4, p1 |qi para algún i. Reordenamos el producto
q1 · q2 · · · qr de manera que p1 |q1 . Entonces p1 = q1 . Entonces

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,
por el Teorema 4, p1 |qi para algún i. Reordenamos el producto
q1 · q2 · · · qr de manera que p1 |q1 . Entonces p1 = q1 . Entonces
n
= p2 · p3 · · · ps = q2 · q3 · · · qr
p1

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,
por el Teorema 4, p1 |qi para algún i. Reordenamos el producto
q1 · q2 · · · qr de manera que p1 |q1 . Entonces p1 = q1 . Entonces
n
= p2 · p3 · · · ps = q2 · q3 · · · qr
p1

De igual manera probamos que p2 = q2 , p3 = q3 , · · · , ps = qs , si

s < r.

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,
por el Teorema 4, p1 |qi para algún i. Reordenamos el producto
q1 · q2 · · · qr de manera que p1 |q1 . Entonces p1 = q1 . Entonces
n
= p2 · p3 · · · ps = q2 · q3 · · · qr
p1

De igual manera probamos que p2 = q2 , p3 = q3 , · · · , ps = qs , si

s < r. Ası́ 1 = qs+1 qs+2 · · · qr

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,
por el Teorema 4, p1 |qi para algún i. Reordenamos el producto
q1 · q2 · · · qr de manera que p1 |q1 . Entonces p1 = q1 . Entonces
n
= p2 · p3 · · · ps = q2 · q3 · · · qr
p1

De igual manera probamos que p2 = q2 , p3 = q3 , · · · , ps = qs , si

s < r. Ası́ 1 = qs+1 qs+2 · · · qr
Lo cual es absurdo,

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,
por el Teorema 4, p1 |qi para algún i. Reordenamos el producto
q1 · q2 · · · qr de manera que p1 |q1 . Entonces p1 = q1 . Entonces
n
= p2 · p3 · · · ps = q2 · q3 · · · qr
p1

De igual manera probamos que p2 = q2 , p3 = q3 , · · · , ps = qs , si

s < r. Ası́ 1 = qs+1 qs+2 · · · qr
Lo cual es absurdo, pues todos los qi son primos.

Prof. Pedro V Números primos 8 / 14

Teorema fundamental de la Aritmética
Demostración:
• Supongamos que es verdadero para todo entero m con 1 < m < n,
y probemos que es verdadero para m = n.
• Si n > 2 es primo, no hay nada que probar.
• Si n > 2 es compuesto, supongamos que admite dos
descomposiciones
n = p1 · p2 · · · ps = q1 · q2 · · · qr (1)
s > 1 y r > 1 pues n es compuesto. La idea es demostrar que s = t y
que cada primo pi es igual a algún primo qj . De (1), p1 |q1 · q2 · · · qr ,
por el Teorema 4, p1 |qi para algún i. Reordenamos el producto
q1 · q2 · · · qr de manera que p1 |q1 . Entonces p1 = q1 . Entonces
n
= p2 · p3 · · · ps = q2 · q3 · · · qr
p1

De igual manera probamos que p2 = q2 , p3 = q3 , · · · , ps = qs , si

s < r. Ası́ 1 = qs+1 qs+2 · · · qr
Lo cual es absurdo, pues todos los qi son primos.
Luego s = t, y pi = qi , ∀ i = 1, · · · , s 
Prof. Pedro V Números primos 8 / 14
Descomposición canónica de un número

Prof. Pedro V Números primos 9 / 14

Descomposición canónica de un número
En la descomposición de un número entero n en sus factores primos,

Prof. Pedro V Números primos 9 / 14

Descomposición canónica de un número
En la descomposición de un número entero n en sus factores primos, un
cierto factor primo p puede aparecer más de una vez.

Prof. Pedro V Números primos 9 / 14

Descomposición canónica de un número
En la descomposición de un número entero n en sus factores primos, un
cierto factor primo p puede aparecer más de una vez. Si los factores
primos distintos de n son p1 , p2 , · · · , pr

Prof. Pedro V Números primos 9 / 14

Descomposición canónica de un número
En la descomposición de un número entero n en sus factores primos, un
cierto factor primo p puede aparecer más de una vez. Si los factores
primos distintos de n son p1 , p2 , · · · , pr y si cada pi se repite o aparece
αi veces como factor,

Prof. Pedro V Números primos 9 / 14

Descomposición canónica de un número
En la descomposición de un número entero n en sus factores primos, un
cierto factor primo p puede aparecer más de una vez. Si los factores
primos distintos de n son p1 , p2 , · · · , pr y si cada pi se repite o aparece
αi veces como factor, entonces escribiremos:
n
Y
n = pα1 1 · pα2 2 · · · pαr r = pαi i
i=1

Prof. Pedro V Números primos 9 / 14

Descomposición canónica de un número
En la descomposición de un número entero n en sus factores primos, un
cierto factor primo p puede aparecer más de una vez. Si los factores
primos distintos de n son p1 , p2 , · · · , pr y si cada pi se repite o aparece
αi veces como factor, entonces escribiremos:
n
Y
n = pα1 1 · pα2 2 · · · pαr r = pαi i
i=1

Esta es la descomposición de n en sus factores primos o la

descomposición canónica de n.

Prof. Pedro V Números primos 9 / 14

Descomposición canónica de un número
En la descomposición de un número entero n en sus factores primos, un
cierto factor primo p puede aparecer más de una vez. Si los factores
primos distintos de n son p1 , p2 , · · · , pr y si cada pi se repite o aparece
αi veces como factor, entonces escribiremos:
n
Y
n = pα1 1 · pα2 2 · · · pαr r = pαi i
i=1

Esta es la descomposición de n en sus factores primos o la

descomposición canónica de n.

Por ejemplo, la descomposición canónica de 600 es 23 · 3 · 52

Prof. Pedro V Números primos 9 / 14

Descomposición canónica de un número
En la descomposición de un número entero n en sus factores primos, un
cierto factor primo p puede aparecer más de una vez. Si los factores
primos distintos de n son p1 , p2 , · · · , pr y si cada pi se repite o aparece
αi veces como factor, entonces escribiremos:
n
Y
n = pα1 1 · pα2 2 · · · pαr r = pαi i
i=1

Esta es la descomposición de n en sus factores primos o la

descomposición canónica de n.

Por ejemplo, la descomposición canónica de 600 es 23 · 3 · 52

=⇒ p1 = 2 y α1 = 3,

Prof. Pedro V Números primos 9 / 14

Descomposición canónica de un número
En la descomposición de un número entero n en sus factores primos, un
cierto factor primo p puede aparecer más de una vez. Si los factores
primos distintos de n son p1 , p2 , · · · , pr y si cada pi se repite o aparece
αi veces como factor, entonces escribiremos:
n
Y
n = pα1 1 · pα2 2 · · · pαr r = pαi i
i=1

Esta es la descomposición de n en sus factores primos o la

descomposición canónica de n.

Por ejemplo, la descomposición canónica de 600 es 23 · 3 · 52

=⇒ p1 = 2 y α1 = 3,
=⇒ p2 = 3 y α2 = 1,

Prof. Pedro V Números primos 9 / 14

Descomposición canónica de un número
En la descomposición de un número entero n en sus factores primos, un
cierto factor primo p puede aparecer más de una vez. Si los factores
primos distintos de n son p1 , p2 , · · · , pr y si cada pi se repite o aparece
αi veces como factor, entonces escribiremos:
n
Y
n = pα1 1 · pα2 2 · · · pαr r = pαi i
i=1

Esta es la descomposición de n en sus factores primos o la

descomposición canónica de n.

Por ejemplo, la descomposición canónica de 600 es 23 · 3 · 52

=⇒ p1 = 2 y α1 = 3,
=⇒ p2 = 3 y α2 = 1,
=⇒ p3 = 5 y α3 = 2.

Prof. Pedro V Números primos 9 / 14

Descomposición canónica de un número
Teorema 6.
r
pαi i , el conjunto de todos los divisores positivos de n es el
Q
Si n =
i=1
r
pci i , en donde 0 ≤ ci ≤ αi para
Q
conjunto de los números de la forma
i=1
i = 1, 2, · · · r.

Prof. Pedro V Números primos 10 / 14

Descomposición canónica de un número
Teorema 6.
r
pαi i , el conjunto de todos los divisores positivos de n es el
Q
Si n =
i=1
r
pci i , en donde 0 ≤ ci ≤ αi para
Q
conjunto de los números de la forma
i=1
i = 1, 2, · · · r.

Demostración:

Prof. Pedro V Números primos 10 / 14

Descomposición canónica de un número
Teorema 6.
r
pαi i , el conjunto de todos los divisores positivos de n es el
Q
Si n =
i=1
r
pci i , en donde 0 ≤ ci ≤ αi para
Q
conjunto de los números de la forma
i=1
i = 1, 2, · · · r.

Demostración:
r
pci i divide a n.
Q
Probemos primero que
i=1

Prof. Pedro V Números primos 10 / 14

Descomposición canónica de un número
Teorema 6.
r
pαi i , el conjunto de todos los divisores positivos de n es el
Q
Si n =
i=1
r
pci i , en donde 0 ≤ ci ≤ αi para
Q
conjunto de los números de la forma
i=1
i = 1, 2, · · · r.

Demostración:
r
pci i divide a n. Como 0 ≤ ci ≤ αi ,
Q
Probemos primero que
i=1

Prof. Pedro V Números primos 10 / 14

Descomposición canónica de un número
Teorema 6.
r
pαi i , el conjunto de todos los divisores positivos de n es el
Q
Si n =
i=1
r
pci i , en donde 0 ≤ ci ≤ αi para
Q
conjunto de los números de la forma
i=1
i = 1, 2, · · · r.

Demostración:
r
pci i divide a n. Como 0 ≤ ci ≤ αi , sea
Q
Probemos primero que
i=1
bi = αi − ci , ası́ 0 ≤ bi ≤ αi .

Prof. Pedro V Números primos 10 / 14

Descomposición canónica de un número
Teorema 6.
r
pαi i , el conjunto de todos los divisores positivos de n es el
Q
Si n =
i=1
r
pci i , en donde 0 ≤ ci ≤ αi para
Q
conjunto de los números de la forma
i=1
i = 1, 2, · · · r.

Demostración:
r
pci i divide a n. Como 0 ≤ ci ≤ αi , sea
Q
Probemos primero que
i=1
bi = αi − ci , ası́ 0 ≤ bi ≤ αi . Luego αi = ci + bi ,

Prof. Pedro V Números primos 10 / 14

Descomposición canónica de un número
Teorema 6.
r
pαi i , el conjunto de todos los divisores positivos de n es el
Q
Si n =
i=1
r
pci i , en donde 0 ≤ ci ≤ αi para
Q
conjunto de los números de la forma
i=1
i = 1, 2, · · · r.

Demostración:
r
pci i divide a n. Como 0 ≤ ci ≤ αi , sea
Q
Probemos primero que
i=1
bi = αi − ci , ası́ 0 ≤ bi ≤ αi . Luego αi = ci + bi , entonces
pαi i = pci i +bi = pci i pbi i ,

Prof. Pedro V Números primos 10 / 14

Descomposición canónica de un número
Teorema 6.
r
pαi i , el conjunto de todos los divisores positivos de n es el
Q
Si n =
i=1
r
pci i , en donde 0 ≤ ci ≤ αi para
Q
conjunto de los números de la forma
i=1
i = 1, 2, · · · r.

Demostración:
r
pci i divide a n. Como 0 ≤ ci ≤ αi , sea
Q
Probemos primero que
i=1
bi = αi − ci , ası́ 0 ≤ bi ≤ αi . Luego αi = ci + bi , entonces
pαi i = pci i +bi = pci i pbi i , por lo tanto
r r r
! r !
Y αi
Y ci bi
Y ci
Y b
i
pi = pi pi = pi pi
i=1 i=1 i=1 i=1

Prof. Pedro V Números primos 10 / 14

Descomposición canónica de un número
Teorema 6.
r
pαi i , el conjunto de todos los divisores positivos de n es el
Q
Si n =
i=1
r
pci i , en donde 0 ≤ ci ≤ αi para
Q
conjunto de los números de la forma
i=1
i = 1, 2, · · · r.

Demostración:
r
pci i divide a n. Como 0 ≤ ci ≤ αi , sea
Q
Probemos primero que
i=1
bi = αi − ci , ası́ 0 ≤ bi ≤ αi . Luego αi = ci + bi , entonces
pαi i = pci i +bi = pci i pbi i , por lo tanto
r r r
! r !
Y αi
Y ci bi
Y ci
Y b
i
pi = pi pi = pi pi
i=1 i=1 i=1 i=1
r
pci i con 0 ≤ ci ≤ αi ,
Q
Luego,
i=1
Prof. Pedro V Números primos 10 / 14
Descomposición canónica de un número
Teorema 6.
r
pαi i , el conjunto de todos los divisores positivos de n es el
Q
Si n =
i=1
r
pci i , en donde 0 ≤ ci ≤ αi para
Q
conjunto de los números de la forma
i=1
i = 1, 2, · · · r.

Demostración:
r
pci i divide a n. Como 0 ≤ ci ≤ αi , sea
Q
Probemos primero que
i=1
bi = αi − ci , ası́ 0 ≤ bi ≤ αi . Luego αi = ci + bi , entonces
pαi i = pci i +bi = pci i pbi i , por lo tanto
r r r
! r !
Y αi
Y ci bi
Y ci
Y b
i
pi = pi pi = pi pi
i=1 i=1 i=1 i=1
r r
pci i con 0 ≤ ci ≤ αi , divide a n = pαi i .
Q Q
Luego,
i=1 i=1
Prof. Pedro V Números primos 10 / 14
Descomposición canónica de un número
r
pαi i .
Q
Supongamos que d | n =
i=1

Prof. Pedro V Números primos 11 / 14

Descomposición canónica de un número
r s
pαi i . Sea d = qiβi ,
Q Q
Supongamos que d | n =
i=1 i=1

Prof. Pedro V Números primos 11 / 14

Descomposición canónica de un número
r s
pαi i . Sea d = qiβi , es claro que s ≤ r ya
Q Q
Supongamos que d | n =
i=1 i=1
que d|n.

Prof. Pedro V Números primos 11 / 14

Descomposición canónica de un número
r s
pαi i . Sea d = qiβi , es claro que s ≤ r ya
Q Q
Supongamos que d | n =
i=1 i=1
que d|n. Luego  r
Y
q1  pαi i


i=1

Prof. Pedro V Números primos 11 / 14

Descomposición canónica de un número
r s
pαi i . Sea d = qiβi , es claro que s ≤ r ya
Q Q
Supongamos que d | n =
i=1 i=1
que d|n. Luego  r
Y
q1  pαi i


i=1

Por el Teorema 4, q1 |pi para algún i.

Prof. Pedro V Números primos 11 / 14

Descomposición canónica de un número
r s
pαi i . Sea d = qiβi , es claro que s ≤ r ya
Q Q
Supongamos que d | n =
i=1 i=1
que d|n. Luego  r
Y
q1  pαi i


i=1
r
pαi i
Q
Por el Teorema 4, q1 |pi para algún i. Reordenamos el producto
i=1
de manera que q1 |p1 ,

Prof. Pedro V Números primos 11 / 14

Descomposición canónica de un número
r s
pαi i . Sea d = qiβi , es claro que s ≤ r ya
Q Q
Supongamos que d | n =
i=1 i=1
que d|n. Luego  r
Y
q1  pαi i


i=1
r
pαi i
Q
Por el Teorema 4, q1 |pi para algún i. Reordenamos el producto
i=1
de manera que q1 |p1 , luego q1 = p1 .

Prof. Pedro V Números primos 11 / 14

Descomposición canónica de un número
r s
pαi i . Sea d = qiβi , es claro que s ≤ r ya
Q Q
Supongamos que d | n =
i=1 i=1
que d|n. Luego  r
Y
q1  pαi i


i=1
r
pαi i
Q
Por el Teorema 4, q1 |pi para algún i. Reordenamos el producto
i=1
de manera que q1 |p1 , luego q1 = p1 . Seguimos de esta manera hasta que
qs = p s ,

Prof. Pedro V Números primos 11 / 14

Descomposición canónica de un número
r s
pαi i . Sea d = qiβi , es claro que s ≤ r ya
Q Q
Supongamos que d | n =
i=1 i=1
que d|n. Luego  r
Y
q1  pαi i


i=1
r
pαi i
Q
Por el Teorema 4, q1 |pi para algún i. Reordenamos el producto
i=1
de manera que q1 |p1 , luego q1 = p1 . Seguimos de esta manera hasta que
qs = ps , ası́
s s
qiβi = pβi i
Y Y
d=
i=1 i=1

Prof. Pedro V Números primos 11 / 14

Descomposición canónica de un número
r s
pαi i . Sea d = qiβi , es claro que s ≤ r ya
Q Q
Supongamos que d | n =
i=1 i=1
que d|n. Luego  r
Y
q1  pαi i


i=1
r
pαi i
Q
Por el Teorema 4, q1 |pi para algún i. Reordenamos el producto
i=1
de manera que q1 |p1 , luego q1 = p1 . Seguimos de esta manera hasta que
qs = ps , ası́
s s
qiβi = pβi i
Y Y
d=
i=1 i=1
r
pαi i .
Q
Además 0 ≤ βi ≤ αi ∀ i, pues d|n =
i=1

Prof. Pedro V Números primos 11 / 14

Descomposición canónica de un número
r s
pαi i . Sea d = qiβi , es claro que s ≤ r ya
Q Q
Supongamos que d | n =
i=1 i=1
que d|n. Luego  r
Y
q1  pαi i


i=1
r
pαi i
Q
Por el Teorema 4, q1 |pi para algún i. Reordenamos el producto
i=1
de manera que q1 |p1 , luego q1 = p1 . Seguimos de esta manera hasta que
qs = ps , ası́
s s
qiβi = pβi i
Y Y
d=
i=1 i=1
r
pαi i . Luego, todos los divisores
Q
Además 0 ≤ βi ≤ αi ∀ i, pues d|n =
i=1
r
Y r
Y
positivos de n = pαi i son de la forma pci i con 0 ≤ ci ≤ αi . 
i=1 i=1
Prof. Pedro V Números primos 11 / 14
Descomposición canónica de un número

Prof. Pedro V Números primos 12 / 14

Descomposición canónica de un número

Cada número entero positivo n (inclusive el 1) puede expresarse de la

forma
∞
Y
n= pαi i ,
i=1

Prof. Pedro V Números primos 12 / 14

Descomposición canónica de un número

Cada número entero positivo n (inclusive el 1) puede expresarse de la

forma
∞
Y
n= pαi i , con αi ≥ 0
i=1

Prof. Pedro V Números primos 12 / 14

Descomposición canónica de un número

Cada número entero positivo n (inclusive el 1) puede expresarse de la

forma
∞
Y
n= pαi i , con αi ≥ 0
i=1

Los divisores positivos de n son todos de la forma

∞
Y
pci i ,
i=1

Prof. Pedro V Números primos 12 / 14

Descomposición canónica de un número

Cada número entero positivo n (inclusive el 1) puede expresarse de la

forma
∞
Y
n= pαi i , con αi ≥ 0
i=1

Los divisores positivos de n son todos de la forma

∞
Y
pci i , con 0 ≤ ci ≤ αi
i=1

Prof. Pedro V Números primos 12 / 14

Descomposición canónica de un número

Cada número entero positivo n (inclusive el 1) puede expresarse de la

forma
∞
Y
n= pαi i , con αi ≥ 0
i=1

Los divisores positivos de n son todos de la forma

∞
Y
pci i , con 0 ≤ ci ≤ αi
i=1

Todos estos productos son, evidentemente, finitos.

Prof. Pedro V Números primos 12 / 14

Descomposición canónica de un número

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i
Q
Sea d =
i=1

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i ≥ 0,
Q
Sea d =
i=1

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i ≥ 0, como ci = mı́n{ai , bi },
Q
Sea d =
i=1 i

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i ≥ 0, como ci = mı́n{ai , bi }, entonces ci ≤ ai y ci ≤ bi ,
Q
Sea d =
i=1 i

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i ≥ 0, como ci = mı́n{ai , bi }, entonces ci ≤ ai y ci ≤ bi , y
Q
Sea d =
i=1 i
d|a y d|b.

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i ≥ 0, como ci = mı́n{ai , bi }, entonces ci ≤ ai y ci ≤ bi , y
Q
Sea d =
i=1 i
d|a y d|b. Luego d es un divisor común de a y b.

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i ≥ 0, como ci = mı́n{ai , bi }, entonces ci ≤ ai y ci ≤ bi , y
Q
Sea d =
i=1 i
d|a y d|b. Luego d es un divisor común de a y b. Sea e otro divisor
común de a y b,

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i ≥ 0, como ci = mı́n{ai , bi }, entonces ci ≤ ai y ci ≤ bi , y
Q
Sea d =
i=1 i
d|a y d|b. Luego d es un divisor común de a y b. Sea e otro divisor
∞
pei i , entonces ei ≤ ai y ei ≤ bi ,
Q
común de a y b, si e =
i=1

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i ≥ 0, como ci = mı́n{ai , bi }, entonces ci ≤ ai y ci ≤ bi , y
Q
Sea d =
i=1 i
d|a y d|b. Luego d es un divisor común de a y b. Sea e otro divisor
∞
pei i , entonces ei ≤ ai y ei ≤ bi , por lo que
Q
común de a y b, si e =
i=1
ei ≤ mı́n{ai , bi } = ci ,

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i ≥ 0, como ci = mı́n{ai , bi }, entonces ci ≤ ai y ci ≤ bi , y
Q
Sea d =
i=1 i
d|a y d|b. Luego d es un divisor común de a y b. Sea e otro divisor
∞
pei i , entonces ei ≤ ai y ei ≤ bi , por lo que
Q
común de a y b, si e =
i=1
ei ≤ mı́n{ai , bi } = ci , luego ei ≤ ci .

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i ≥ 0, como ci = mı́n{ai , bi }, entonces ci ≤ ai y ci ≤ bi , y
Q
Sea d =
i=1 i
d|a y d|b. Luego d es un divisor común de a y b. Sea e otro divisor
∞
pei i , entonces ei ≤ ai y ei ≤ bi , por lo que
Q
común de a y b, si e =
i=1
ei ≤ mı́n{ai , bi } = ci , luego ei ≤ ci . Por lo tanto e|d

Prof. Pedro V Números primos 13 / 14

Descomposición canónica de un número

Teorema 7
Si dos enteros positivos a y b admiten las descomposiciones canónicas
∞ ∞ ∞
pai i , y b = pbi i , entonces mcd(a, b) = pici , en donde cada
Q Q Q
a=
i=1 i=1 i=1
ci = mı́n{ai , bi }.
i

Demostración:
∞
pci i ≥ 0, como ci = mı́n{ai , bi }, entonces ci ≤ ai y ci ≤ bi , y
Q
Sea d =
i=1 i
d|a y d|b. Luego d es un divisor común de a y b. Sea e otro divisor
∞
pei i , entonces ei ≤ ai y ei ≤ bi , por lo que
Q
común de a y b, si e =
i=1
ei ≤ mı́n{ai , bi } = ci , luego ei ≤ ci . Por lo tanto e|d y de esta manera
d = mcd(a, b). 

Prof. Pedro V Números primos 13 / 14

 FIN !!
Gracias

Prof. Pedro V Números primos 14 / 14