Teoría de números

Matemática Discreta
Escuela Universitaria Politécnica de Teruel

(Universidad de Zaragoza) Teoría de números 1 / 19

Índice

1 Números enteros

2 Algoritmo de la división y de Euclides

3 Números primos y teorema fundamental de la aritmética

(Universidad de Zaragoza) Teoría de números 2 / 19

Números naturales y enteros

Designaremos N al conjunto de los números naturales. Este es el

conjunto definido como:

N = {1, 2, 3, 4, 5, 6, . . .}.

Designaremos Z al conjunto de los números enteros. Este es el con-

junto definido como:

Z = {. . . , −4, −3, −2, −1, 0, 1, 2, 3, 4, . . .}.

Principio de la buena ordenación

Todo subcojunto no vacío de los números enteros no negativos tiene
un primer elemento (que es menor que todos los demás).

(Universidad de Zaragoza) Teoría de números 3 / 19

Definiciones

Definición
Sean a, b dos números enteros:
Se llama diferencia a − b de estos dos enteros a otro número
entero d que cumpla la igualdad a = b + d.
Si a ̸= 0 y b = a · q para algún número entero q diremos que a
divide a b. Equivalentemente, diremos que a es divisor de b o que
b es múltiplo de a. Usaremos la notación a|b para denotar que a
divide a b.
Diremos que b > a si existe un número natural n tal que b = a + n.
Diremos que b ≥ a si b > a ó b = a.

(Universidad de Zaragoza) Teoría de números 4 / 19

Propiedades

Dados a, b, c ∈ Z se tiene que:

1 0a = 0.
2 a(-b)=-ab.
3 Si a ̸= 0, entonces ab = ac implica que b = c.
4 Si a ̸= 0, entonces a|b implica que a|bx para cualquier x ∈ Z.
5 Si a, b ̸= 0, entonces a|b y b|c implica que a|c.
6 Dado a ̸= 0, si a|b y a|c entonces a|(bx + cy ) para cualquier par
de enteros x e y .
7 Dados a, b > 0, a|b implica que a ≤ b.
8 Sean a, b ̸= 0. Si a|b y b|a, se tiene que a = ±b.

(Universidad de Zaragoza) Teoría de números 5 / 19

Valor absoluto

Valor absoluto
Llamaremos valor absoluto a la aplicación

| · | : Z → Z,
cuya imagen es |z| = z para z ≥ 0 o |z| = −z cuando z < 0.

Propiedades
1 |z| ∈ N ∪ {0}
2 |z| = 0 si y sólo si |z| = 0.
3 |a · b| = |a| · |b|.
4 Desigualdad triangular: |a + b| ≤ |a| + |b|
5 Si a ̸= 0, b ̸= 0 y a|b, entonces |a| ≤ |b|.

(Universidad de Zaragoza) Teoría de números 6 / 19

Algoritmo de la división

Teorema - Algoritmo de la división

Sean a ∈ Z y b ∈ N. Entonces existen números enteros q y r tales que
a = bq + r con 0 ≤ r < b. Además q y r son únicos.

A los números a, b, q, r de este teorema se les suele llamar dividendo,

divisor, cociente y resto.

Corolario
Sean a, b ∈ Z con b ̸= 0, entonces existen unos únicos q y r tales que
a = bq + r , con 0 ≤ r < |b|.

(Universidad de Zaragoza) Teoría de números 7 / 19

Módulos

Definición
Sean a, b ∈ Z con b ̸= 0 y sea a = bq + r con 0 ≤ r < |b|. El operador
módulo MOD se define como

a MOD b = r .

Propiedades del operador módulo

Sean a, b, c, d, m números enteros y m ̸= 0. Si

a MOD m = c MOD m y b MOD m = d MOD m,

1 (a + b) MOD m = (c + d) MOD m.
2 (ab) MOD m = (cd) MOD m.

(Universidad de Zaragoza) Teoría de números 8 / 19

Máximo común divisor

Divisor común
Sean a, b y d números enteros. Si d cumple que d|a y d|b, entonces
diremos que d es divisor común de a y b.

Máximo común divisor

Un divisor común de a y b se llama máximo común divisor de a y
b si d > 0 y cada común divisor de a y b también divide a d. El
máximo común divisor se denota como m.c.d(a, b). Para a = b = 0,
m.c.d(0, 0) = 0.
Dados a1 , a2 , . . . , an números enteros, el máximo común divisor de
a1 , a2 , . . . , an es el divisor común d > 0 tal que cualquier otro divisor co-
mún de a1 , a2 , . . . , an divide también a d. Se denota m.c.d.(a1 , . . . , an ).

(Universidad de Zaragoza) Teoría de números 9 / 19

Teorema
Sean a y b enteros distintos de 0. Entonces existe un único número d
máximo común divisor de a y b. Además d es el entero positivo más
pequeño que puede expresarse de la forma ax + by , con x, y ∈ Z.

Corolario
Sean a y b enteros distintos de 0. Entonces m.c.d(a, b) = 1 si y solo si
existen s, t ∈ Z tales que as + bt = 1.

(Universidad de Zaragoza) Teoría de números 10 / 19

Algoritmo de Euclides - resultados previos

Proposición
Dados dos números a, b ∈ Z con b ̸= 0:
Los divisores comunes de a y b también lo son del resto de la
división de a por b.
Los divisores comunes de b y del resto r también son divisores de
a.

Teorema
En una división, el máximo común divisor del dividendo y del divisor
es el mismo que el máximo común divisor del divisor y del resto.

(Universidad de Zaragoza) Teoría de números 11 / 19

Algoritmo de Euclides

Suponemos que a ≥ b > 0 y dividimos a por b:

a = bq1 + r1 , con 0 ≤ r1 < b.
Si r1 = 0, ya tenemos que b = m.c.d.(a, b). Por lo que suponemos
que r1 ̸= 0 y dividimos b por r1 :
b = r1 q 2 + r2 con 0 ≤ r2 < r1 .
Si r2 = 0, tenemos que m.c.d(b, r1 ) =m.c.d.(a, b) = r1 y hemos
terminado. Si r2 ̸= 0, entonces continuamos dividiendo r1 por r2 . Así
vamos obteniendo una sucesión de números (de restos):
r1 > r2 > r3 . . . > ri > . . . ,
Como cada resto es estrictamente menor que el anterior, esta
sucesión es finita y tendremos que rn = 0 para algún n ∈ N, y, así:
rn−1 = m.c.d.(rn−1 , rn−2 ) = m.c.d.(rn−2 , rn−3 ) . . . = m.c.d.(b, r1 )
= m.c.d.(a, b)
(Universidad de Zaragoza) Teoría de números 12 / 19
Propiedades - máximo común divisor

Dado un entero k ̸= 0, m.c.d.(ka, kb) = |k |m.c.d.(a, b).

Ejercicio
Probar que d =m.c.d.(a, b) si y solo si d|a, d|b y m.c.d.( da , db ) = 1.

(Universidad de Zaragoza) Teoría de números 13 / 19

Números primos

Número primo
Dado un número natural p > 1, diremos que p es un número primo si
1 y p son los únicos divisores positivos de p. Los números naturales
c > 1 que no sean primos los llamaremos números compuestos.

Dada una colección de números enteros a1 , . . . , ak , diremos que los

números a1 , . . . , ak son primos entre sí si se cumple que

m.c.d.(a1 , a2 , . . . , ak ) = 1.

(Universidad de Zaragoza) Teoría de números 14 / 19

Números primos

Número primo
Dado un número natural p > 1, diremos que p es un número primo si
1 y p son los únicos divisores positivos de p. Los números naturales
c > 1 que no sean primos los llamaremos números compuestos.

Dada una colección de números enteros a1 , . . . , ak , diremos que los

números a1 , . . . , ak son primos entre sí si se cumple que

m.c.d.(a1 , a2 , . . . , ak ) = 1.

Lema de Euclides
Dados a, b, c ∈ Z tales que a, c son primos entre sí y que c|ab.
Entonces c|b.

(Universidad de Zaragoza) Teoría de números 14 / 19

Números primos

Corolario 1
Dado p > 1 número natural, las dos afirmaciones siguientes son
equivalentes:
p es primo.
Para cualquier par de números enteros a y b, si p|ab entonces p|a
o p|b.

Corolario 2
Sea p un número primo y a1 , a2 , . . . , an ∈ Z. Si p|a1 a2 · · · an entonces
p|ai para algún índice i = 1, . . . , n.

(Universidad de Zaragoza) Teoría de números 15 / 19

Teorema fundamental de la aritmética

Teorema fundamental de la aritmética

Sea n > 1 un número natural. Entonces existen números primos
p1 , . . . , pr tales que

n = p1 p2 · · · pr con p1 ≤ p2 ≤ . . . ≤ pr .
Además, esta factorización es única.

Corolario
Sea z ∈ Z con |z| > 1. Entonces z tiene una factorización única de la
forma

z = ±p1α1 · · · ptαt ,
donde t ≥ 1, los números pi son números primos con
p1 < p2 < . . . < pt y αi ≥ 1 para 1 ≤ i ≤ t. Esta factorización se llama
factorización canónica de z.
(Universidad de Zaragoza) Teoría de números 16 / 19
Números primos

Teorema
El número de números primos es infinito.

Teorema (Criba de Eratóstenes)

Sea √
a un número entero mayor que 1. Si para todo número primo
p ≤ a, se tiene que p no divide al número a, se verifica que a es
primo.

(Universidad de Zaragoza) Teoría de números 17 / 19

Cálculo del máximo común divisor

Podemos calcular el máximo común divisor de forma directa partiendo

de la factorización canónica.

Teorema
Dados a, b ∈ Z, tales que a = ±p1α1 · · · ptαt y b = ±p1β1 · · · ptβt , donde
algunos de los αi y βi pueden ser cero, se tiene que
min{α1 ,β1 } min{αt ,βt }
m.c.d.(a, b) = p1 · · · pt

(Universidad de Zaragoza) Teoría de números 18 / 19

Mínimo común múltiplo

Definición
Dados a, b ∈ Z, llamamos mínimo común múltiplo de a y b al menor
entero positivo que sea múltiplo de ambos. Lo denotaremos con la
notación m.c.m.(a, b).

Teorema - Cálculo del m.c.m.

Dados a, b ∈ Z, tales que a = ±p1α1 · · · ptαt y b = ±p1β1 · · · ptβt , donde
algunos de los αi y βi pueden ser cero, se tiene que
max{α1 ,β1 } max{αt ,βt }
m.c.m.(a, b) = p1 · · · pt

(Universidad de Zaragoza) Teoría de números 19 / 19