1B 11 - Int Impropia

Álgebra Superior II - LM
José Alejandro Lara Rodrı́guez

Edificio A, planta alta, cubı́culo AA-04
alex.lara@correo.uady.mx
Facultad de Matemáticas
Universidad Autónoma de Yucatán
24 de agosto de 2018
Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 1 / 100

Contenido

Contenido
1 El anillo de los enteros

Divisibilidad
El máximo común divisor
El Algoritmo de la División
El mı́nimo común múltiplo
Ecuaciones diofantinas
El Teorema Fundamental de la Aritmética
Los enteros módulo n y la aritmética modular

Definiciones básicas
Definición

Definición
1 Sean a, b ∈ Z.

Definición
1 Sean a, b ∈ Z.
a divide a b

Definición
1 Sean a, b ∈ Z.
a divide a b ⇐⇒ si b = ac para algún c ∈ Z

Definición
1 Sean a, b ∈ Z.
2 a | b significa a divide a b.

Definición
1 Sean a, b ∈ Z.
3 Si a | b, se dice que

Definición
1 Sean a, b ∈ Z.
1 a es un divisor de b

Definición
1 Sean a, b ∈ Z.
2 a es un factor de b

Definición
1 Sean a, b ∈ Z.
3 b es un múltiplo de a

Definición
1 Sean a, b ∈ Z.
3 b es un múltiplo de a
4 b es divisible entre a.

Ejemplos
Ejemplo

Ejemplos
Ejemplo
1) ¿3 | 12?

Ejemplos
Ejemplo
1) ¿3 | 12?
2) ¿−2 | 8?

Ejemplos
Ejemplo
1) ¿3 | 12?
2) ¿−2 | 8?
3) ¿5 divide 0?

Ejemplos
Ejemplo
1) ¿3 | 12?
2) ¿−2 | 8?
3) ¿5 divide 0?
4) ¿0 | 5?

Ejemplos
Ejemplo
1) ¿3 | 12?
2) ¿−2 | 8?
3) ¿5 divide 0?
4) ¿0 | 5?
5) ¿0 | 0?

Ejemplos
Ejemplo
1) ¿3 | 12?
2) ¿−2 | 8?
3) ¿5 divide 0?
4) ¿0 | 5?
5) ¿0 | 0?
6) ¿Cuáles son los enteros que dividen al cero?

Ejemplos
Ejemplo
1) ¿3 | 12?
2) ¿−2 | 8?
3) ¿5 divide 0?
4) ¿0 | 5?
5) ¿0 | 0?
6) ¿Cuáles son los enteros que dividen al cero?
7) ¿Cuáles son los enteros a los que el cero divide?

Combinaciones lineales
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.

Definición
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10

Definición
Ejemplo
6=

Definición
Ejemplo
6 = 6 · 1 + 10 · 0

Definición
Ejemplo
6 = 6 · 1 + 10 · 0
10 =

Definición
Ejemplo
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1

Definición
Ejemplo
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 =

Definición
Ejemplo
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 = 6 · 2 + 10 · 3

Definición
Ejemplo
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 = 6 · 2 + 10 · 3
4=

Definición
Ejemplo
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 = 6 · 2 + 10 · 3
4 = 6 · (−1) + 10 · 1

Definición
Ejemplo
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 = 6 · 2 + 10 · 3
4 = 6 · (−1) + 10 · 1
2=

Definición
Ejemplo
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 = 6 · 2 + 10 · 3
4 = 6 · (−1) + 10 · 1
2 = 6 · 2 + 10 · (−1)

Definición
Ejemplo
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 = 6 · 2 + 10 · 3
4 = 6 · (−1) + 10 · 1
2 = 6 · 2 + 10 · (−1)
− 70 =

Definición
Ejemplo
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 = 6 · 2 + 10 · 3
4 = 6 · (−1) + 10 · 1
2 = 6 · 2 + 10 · (−1)
− 70 = 6 · (−5) + 10 · (−4)

Propiedades básicas de la divisibilidad
Teorema

Teorema
1) a | a para todo a ∈ Z.

Teorema
2) Si a | b y b | c, entonces a | c.

Teorema
3) Se tiene
c | a y c | b ⇔ c | (ax + by) para cualesquiera enteros x, y .

Teorema
3) Se tiene
4) a | b y b | a si y solamente si a = ub, donde u es una unidad en Z.

Teorema
3) Se tiene
4) a | b y b | a si y solamente si a = ub, donde u es una unidad en Z.

5) Sea m 6= 0 un entero. Entonces
a|b ⇐⇒ ma | mb

Ejemplo
Ejemplo

Ejemplo
Ejemplo
1 ¿Es 64 es combinación lineal de a = 15 y b = 20?

Ejemplo
Ejemplo
2 Sea c = 5. Entonces c | a y c | b.

Ejemplo
Ejemplo
3 5 | ax + by para toda x, y ∈ Z.

Ejemplo
Ejemplo
3 5 | ax + by para toda x, y ∈ Z.
4 5 | 64 (Contradicción)

Corolario

Corolario
1) Si a | b, entonces a | bx para cualquier entero x.

Corolario
1) Si a | b, entonces a | bx para cualquier entero x.
2) Si c | a y c | b, entonces c | (±a ± b).

Divisibilidad y valor absoluto
Teorema
Sean a, b ∈ Z.

Teorema
Sean a, b ∈ Z.
1) Entonces a | |a| y |a| | a.

Teorema
Sean a, b ∈ Z.
2) Las siguientes condiciones son equivalentes:

Teorema
Sean a, b ∈ Z.
a) a|b

Teorema
Sean a, b ∈ Z.
a) a|b
b) |a| | |b|.

Divisibilidad y orden
Teorema
Si a y b son enteros con b 6= 0 y a | b, entonces |a| ≤ |b|.

Divisibilidad y orden
Teorema
Si a y b son enteros con b 6= 0 y a | b, entonces |a| ≤ |b|.
Corolario
Si a ∈ Z y a 6= 0, entonces
{d ∈ Z : d | a}
es un conjunto finito.

Contenido

Divisibilidad

Máximo común divisor
Definición
El máximo común divisor de los enteros a y b es
(
máx{d ∈ Z : d | a y d | b} si a 6= 0 o b 6= 0
mcd(a, b) =
0 si a = 0 = b

Definición
(
mcd(a, b) =
0 si a = 0 = b
Observaciones

Definición
(
mcd(a, b) =
0 si a = 0 = b
Observaciones
1) mcd(a, b) = mcd(b, a).

Definición
(
mcd(a, b) =
0 si a = 0 = b
Observaciones
1) mcd(a, b) = mcd(b, a).
2) mcd(a, b) = mcd(±a, ±b).

Ejemplos
Ejemplo

Ejemplos
Ejemplo
1 mcd(6, 10) =

Ejemplos
Ejemplo
1 mcd(6, 10) =
2 mcd(−4, 6) =

Ejemplos
Ejemplo
1 mcd(6, 10) =
2 mcd(−4, 6) =
3 mcd(3, 0) =

Ejemplos
Ejemplo
1 mcd(6, 10) =
2 mcd(−4, 6) =
3 mcd(3, 0) =
4 mcd(0, −3) =

Ejemplos
Ejemplo
1 mcd(6, 10) =
2 mcd(−4, 6) =
3 mcd(3, 0) =
4 mcd(0, −3) =
5 mcd(a, 0) =

Ejemplos
Ejemplo
1 mcd(6, 10) =
2 mcd(−4, 6) =
3 mcd(3, 0) =
4 mcd(0, −3) =
5 mcd(a, 0) =
Ejercicio

Ejemplos
Ejemplo
1 mcd(6, 10) =
2 mcd(−4, 6) =
3 mcd(3, 0) =
4 mcd(0, −3) =
5 mcd(a, 0) =
Ejercicio
1 Calcular mcd(8645, 10659).

Ejemplos
Ejemplo
1 mcd(6, 10) =
2 mcd(−4, 6) =
3 mcd(3, 0) =
4 mcd(0, −3) =
5 mcd(a, 0) =
Ejercicio
1 Calcular mcd(8645, 10659).
2 Calcule mcd(a, b) si a | b.

Teorema
Si a y b son enteros, entonces
mcd(a, b) = mcd(a, b − a) = mcd(a, a + b).

Teorema
Corolario
Sean a, b, n ∈ Z. Entonces mcd(a, b) = mcd(a, b − an).

Teorema
Corolario
Ejercicio
Calcular mcd(8645, 10659) (¿Otra vez?).

Teorema
Corolario
Ejercicio
Sı́,

Teorema
Corolario
Ejercicio
Sı́, ahora usando alguno de los resultados en esta misma página.

Ejercicio
Ejercicio
Sean a, b, q, r enteros tales que
a = bq + r .
Pruebe que el conjunto de divisores de a y b es igual al conjunto de

divisores de b y r .

Contenido

Divisibilidad

Algoritmo de la División
Teorema
Si a, b ∈ Z y b 6= 0, entonces existen q, r ∈ Z, únicos, tales que
a = bq + r con 0 ≤ r < |b| .
r es el residuo, q el cociente.

Ejercicios
1 Calcule el cociente y el residuo no negativo.

Ejercicios

1 a = 20, b = 3.

Ejercicios

1 a = 20, b = 3.
2 a = 14, b = 20.

Ejercicios

1 a = 20, b = 3.
2 a = 14, b = 20.
3 a = 80, b = −35.

Ejercicios

1 a = 20, b = 3.
2 a = 14, b = 20.
3 a = 80, b = −35.
4 a = −35, b = −80.

Ejercicios

1 a = 20, b = 3.
2 a = 14, b = 20.
3 a = 80, b = −35.
4 a = −35, b = −80.
5 a = −42, b = −13.

Ejercicio
Ejercicio
El resto que se obtiene al dividir un entero a entre 523 es 5. Calcule el
resto que se obtiene al dividir 537a entre 523.

Cálculo del mcd
1) Calcular mcd(4655, 1309).

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) =

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309)

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728,

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) =

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581,

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) =

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147,

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) =

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) = mcd(147, 581)

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) = mcd(147, 581)
581 = 147 · 3 + 140,

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) = mcd(147, 581)
581 = 147 · 3 + 140, mcd(147, 581) =

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) = mcd(147, 581)
581 = 147 · 3 + 140, mcd(147, 581) = mcd(147, 140)

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) = mcd(147, 581)
581 = 147 · 3 + 140, mcd(147, 581) = mcd(147, 140)
147 = 140 · 1 + 7,

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) = mcd(147, 581)
581 = 147 · 3 + 140, mcd(147, 581) = mcd(147, 140)
147 = 140 · 1 + 7, mcd(147, 140) =

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) = mcd(147, 581)
581 = 147 · 3 + 140, mcd(147, 581) = mcd(147, 140)
147 = 140 · 1 + 7, mcd(147, 140) = mcd(7, 140)

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) = mcd(147, 581)
581 = 147 · 3 + 140, mcd(147, 581) = mcd(147, 140)
147 = 140 · 1 + 7, mcd(147, 140) = mcd(7, 140)
140 = 7 · 20 + 0,

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) = mcd(147, 581)
581 = 147 · 3 + 140, mcd(147, 581) = mcd(147, 140)
147 = 140 · 1 + 7, mcd(147, 140) = mcd(7, 140)
140 = 7 · 20 + 0, mcd(7, 140) =

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) = mcd(147, 581)
581 = 147 · 3 + 140, mcd(147, 581) = mcd(147, 140)
147 = 140 · 1 + 7, mcd(147, 140) = mcd(7, 140)
140 = 7 · 20 + 0, mcd(7, 140) = mcd(7, 0)

Cálculo del mcd
1) Calcular mcd(4655, 1309).
4655 = 1309 · 3 + 728

mcd(4655, 1309) = mcd(4655 − 1309 · 3, 1309) = mcd(728, 1309)
4655 = 1309 · 3 + 728, mcd(4655, 1309) = mcd(728, 1309)

1309 = 728 · 1 + 581, mcd(728, 1309) = mcd(728, 581)
728 = 581 · 1 + 147, mcd(728, 581) = mcd(147, 581)
581 = 147 · 3 + 140, mcd(147, 581) = mcd(147, 140)
147 = 140 · 1 + 7, mcd(147, 140) = mcd(7, 140)
140 = 7 · 20 + 0, mcd(7, 140) = mcd(7, 0) = 7.

Algoritmo de Euclides para el cálculo del mcd(a, b)
1 Mediante la aplicación repetida del Algoritmo de la División se
obtiene una sucesión de cocientes y residuos

a = bq0 + r0 ,

a = bq0 + r0 , 0 ≤ r0 < |b| , (0)

a = bq0 + r0 , 0 ≤ r0 < |b| , (0)

b = r0 q1 + r1 ,

a = bq0 + r0 , 0 ≤ r0 < |b| , (0)

b = r0 q1 + r1 , 0 ≤ r1 < r0 , (1)

a = bq0 + r0 , 0 ≤ r0 < |b| , (0)

b = r0 q1 + r1 , 0 ≤ r1 < r0 , (1)
r0 = r1 q2 + r2 ,

a = bq0 + r0 , 0 ≤ r0 < |b| , (0)

b = r0 q1 + r1 , 0 ≤ r1 < r0 , (1)
r0 = r1 q2 + r2 , 0 ≤ r2 < r1 , (2)

a = bq0 + r0 , 0 ≤ r0 < |b| , (0)

b = r0 q1 + r1 , 0 ≤ r1 < r0 , (1)
r0 = r1 q2 + r2 , 0 ≤ r2 < r1 , (2)
..
.

a = bq0 + r0 , 0 ≤ r0 < |b| , (0)

b = r0 q1 + r1 , 0 ≤ r1 < r0 , (1)
r0 = r1 q2 + r2 , 0 ≤ r2 < r1 , (2)
..
.
rn−2 = rn−1 qn + rn ,

a = bq0 + r0 , 0 ≤ r0 < |b| , (0)

b = r0 q1 + r1 , 0 ≤ r1 < r0 , (1)
r0 = r1 q2 + r2 , 0 ≤ r2 < r1 , (2)
..
.
rn−2 = rn−1 qn + rn , 0 ≤ rn < rn−1 , (n)

a = bq0 + r0 , 0 ≤ r0 < |b| , (0)

b = r0 q1 + r1 , 0 ≤ r1 < r0 , (1)
r0 = r1 q2 + r2 , 0 ≤ r2 < r1 , (2)
..
.
rn−2 = rn−1 qn + rn , 0 ≤ rn < rn−1 , (n)
rn−1 = rn qn+1 ,

a = bq0 + r0 , 0 ≤ r0 < |b| , (0)

b = r0 q1 + r1 , 0 ≤ r1 < r0 , (1)
r0 = r1 q2 + r2 , 0 ≤ r2 < r1 , (2)
..
.
rn−2 = rn−1 qn + rn , 0 ≤ rn < rn−1 , (n)
rn−1 = rn qn+1 , (n+1)
donde rn es el último residuo distinto de cero

a = bq0 + r0 , 0 ≤ r0 < |b| , (0)

b = r0 q1 + r1 , 0 ≤ r1 < r0 , (1)
r0 = r1 q2 + r2 , 0 ≤ r2 < r1 , (2)
..
.
rn−2 = rn−1 qn + rn , 0 ≤ rn < rn−1 , (n)
rn−1 = rn qn+1 , (n+1)
donde rn es el último residuo distinto de cero
2 Entonces rn = mcd(a, b)
Ejercicio
Ejercicio
Usando el algoritmo de Euclides, calcule el máximo común divisor de

Ejercicio
Ejercicio
1 a = 76 y b = 6

Ejercicio
Ejercicio
1 a = 76 y b = 6
2 a = 36 y b = 14

Ejercicio
Ejercicio
1 a = 76 y b = 6
2 a = 36 y b = 14
3 a = 43 y b = 20

Ejercicio
Ejercicio
1 a = 76 y b = 6
2 a = 36 y b = 14
3 a = 43 y b = 20
4 a = 2431 y b = 4807.

El mcd(a, b) es una combinación lineal de a y b
Teorema
Si a, b ∈ Z, entonces existen enteros x, y tales que
mcd(a, b) = ax + by.

El mcd(a, b) es una combinación lineal de a y b
Teorema
Si a, b ∈ Z, entonces existen enteros x, y tales que
mcd(a, b) = ax + by.
Corolario
Un entero c es combinación lineal de a y b si y solamente si
mcd(a, b) | c.

Expresión del mcd(a, b) como combinación lineal
1 Se tiene
4655 = 1309 · 3 + 728, (0)

1309 = 728 · 1 + 581, (1)
728 = 581 · 1 + 147, (2)
581 = 147 · 3 + 140, (3)
147 = 140 · 1 + 7, (4)
140 = 7 · 20. (5)

1 Se tiene
4655 = 1309 · 3 + 728, (0)

1309 = 728 · 1 + 581, (1)
728 = 581 · 1 + 147, (2)
581 = 147 · 3 + 140, (3)
147 = 140 · 1 + 7, (4)
140 = 7 · 20. (5)
2 mcd(4655, 1309) = 7.


7 = 147 − 140 · 1

7 = 147 − 140 · 1
= 147 − (581 − 147 · 3) · 1

7 = 147 − 140 · 1
= 147 − (581 − 147 · 3) · 1 = 147 · 4 − 581 · 1

7 = 147 − 140 · 1
= 147 − (581 − 147 · 3) · 1 = 147 · 4 − 581 · 1
= (728 − 581) · 4 − 581 · 1

7 = 147 − 140 · 1
= 147 − (581 − 147 · 3) · 1 = 147 · 4 − 581 · 1
= (728 − 581) · 4 − 581 · 1 = 728 · 4 + 581(−5)

7 = 147 − 140 · 1
= 147 − (581 − 147 · 3) · 1 = 147 · 4 − 581 · 1
= (728 − 581) · 4 − 581 · 1 = 728 · 4 + 581(−5)
= 728 · 4 + (1309 − 728)(−5)

7 = 147 − 140 · 1
= 147 − (581 − 147 · 3) · 1 = 147 · 4 − 581 · 1
= (728 − 581) · 4 − 581 · 1 = 728 · 4 + 581(−5)
= 728 · 4 + (1309 − 728)(−5) = 728 · 9 + 1309(−5)

7 = 147 − 140 · 1
= 147 − (581 − 147 · 3) · 1 = 147 · 4 − 581 · 1
= (728 − 581) · 4 − 581 · 1 = 728 · 4 + 581(−5)
= 728 · 4 + (1309 − 728)(−5) = 728 · 9 + 1309(−5)
= (4655 − 1309 · 3) · 9 + 1309(−5)

7 = 147 − 140 · 1
= 147 − (581 − 147 · 3) · 1 = 147 · 4 − 581 · 1
= (728 − 581) · 4 − 581 · 1 = 728 · 4 + 581(−5)
= 728 · 4 + (1309 − 728)(−5) = 728 · 9 + 1309(−5)
= (4655 − 1309 · 3) · 9 + 1309(−5) = 4655 · 9 + 1309(−32).

7 = 147 − 140 · 1
= 147 − (581 − 147 · 3) · 1 = 147 · 4 − 581 · 1
= (728 − 581) · 4 − 581 · 1 = 728 · 4 + 581(−5)
= 728 · 4 + (1309 − 728)(−5) = 728 · 9 + 1309(−5)
= (4655 − 1309 · 3) · 9 + 1309(−5) = 4655 · 9 + 1309(−32).
2 Luego
mcd(4655, 1309) = 4655(9) + 1309(−32)

Ejercicios
1 Exprese el mcd(a, b) de como combinación lineal de a y b:

Ejercicios

1 a = 17670, b = 6290

Ejercicios

1 a = 17670, b = 6290
2 a = 3026, b = 9962

Ejercicios

1 a = 17670, b = 6290
2 a = 3026, b = 9962
2 Solución:

Ejercicios

1 a = 17670, b = 6290
2 a = 3026, b = 9962
2 Solución:
mcd(17670, 6290) = 10

Ejercicios

1 a = 17670, b = 6290
2 a = 3026, b = 9962
2 Solución:
mcd(17670, 6290) = 10
10 = 17670(152) + 6290(−427)

Ejercicios

1 a = 17670, b = 6290
2 a = 3026, b = 9962
2 Solución:
mcd(17670, 6290) = 10
10 = 17670(152) + 6290(−427)
mcd(3026, 9962) = 34

Ejercicios

1 a = 17670, b = 6290
2 a = 3026, b = 9962
2 Solución:
mcd(17670, 6290) = 10
10 = 17670(152) + 6290(−427)
mcd(3026, 9962) = 34
34 = 3026(−79) + 9962(24)

El mcd(a, b) como combinación lineal de a y b
Ejercicio

Ejercicio
1 Suponga que mcd(a, b) = 6.

Ejercicio
1 Pruebe que el máximo común divisor de 2a + b y a − 2b es menor
o igual a 30.

Ejercicio
o igual a 30.
2 Pruebe que mcd(2a + b, a + 3b) ≤ 90.

Ejercicio
o igual a 30.
2 Pruebe que mcd(2a + b, a + 3b) ≤ 90.
2 Sean a, b ∈ Z. Sean c y c 0 combinaciones lineales de a y b.
Pruebe mcd(a, b) | mcd(c, c 0 ).

Combinaciones lineales y el mcd
1 ¿Cualquier combinación lineal de a y b es un máximo común

divisor?


divisor?
2 ¿Como saber que una combinación lineal es el máximo común
divisor?


divisor?
divisor?
3 Si a = 2210 y b = 980, ¿Es alguno de los siguientes números un
mcd?
20 = a · 4 + b · (−9),


divisor?
divisor?
mcd?
20 = a · 4 + b · (−9), 10 = a · (−47) + b · 106


divisor?
divisor?
mcd?
20 = a · 4 + b · (−9), 10 = a · (−47) + b · 106

30 = a · (−43) + b · 97,


divisor?
divisor?
mcd?
20 = a · 4 + b · (−9), 10 = a · (−47) + b · 106

30 = a · (−43) + b · 97, 40 = a · 8 + b · (−18),


divisor?
divisor?
mcd?
20 = a · 4 + b · (−9), 10 = a · (−47) + b · 106

30 = a · (−43) + b · 97, 40 = a · 8 + b · (−18),
50 = a · (−39) + b · (88),


divisor?
divisor?
mcd?
20 = a · 4 + b · (−9), 10 = a · (−47) + b · 106

30 = a · (−43) + b · 97, 40 = a · 8 + b · (−18),
50 = a · (−39) + b · (88), 60 = a · 12 + b · (−27).

Equivalencias del mcd
Teorema
Sean a, b y d > 0 enteros. La siguientes afirmaciones son
equivalentes:

Teorema
equivalentes:
1) d = mcd(a, b).

Teorema
equivalentes:
1) d = mcd(a, b).
2) d es la combinación lineal positiva mı́nima de a y b.

Teorema
equivalentes:
1) d = mcd(a, b).
3) d | a, d | b, y si c | a y c | b, entonces c | d.

Teorema
equivalentes:
1) d = mcd(a, b).
3) d | a, d | b, y si c | a y c | b, entonces c | d.
4) d | a, d | b, y d es combinación lineal de a y b.

El mcd(a, b) es la combinación lineal positiva mı́nima
Ejemplo

Ejemplo
1 Sean a = 2210 y b = 980. Se tiene

Ejemplo
20 = a · 4 + b · (−9)

Ejemplo
20 = a · 4 + b · (−9)
10 = a · (−47) + b · 106

Ejemplo
20 = a · 4 + b · (−9)
10 = a · (−47) + b · 106
30 = a · (−43) + b · 97

Ejemplo
20 = a · 4 + b · (−9)
10 = a · (−47) + b · 106
30 = a · (−43) + b · 97
2 ¿Es 30 el máximo común divisor de a y b?

Ejemplo
20 = a · 4 + b · (−9)
10 = a · (−47) + b · 106
30 = a · (−43) + b · 97
2 ¿Es 30 el máximo común divisor de a y b?

3 ¿Se puede saber cuál es el máximo común divisor de a y b?

Ejemplo
1 Sean a = 1463 y b = 5083.

Ejemplo
1 Sean a = 1463 y b = 5083.

2 Se tiene

Ejemplo
1 Sean a = 1463 y b = 5083.

2 Se tiene
75 = a · 7 + b · (−2),

Ejemplo
1 Sean a = 1463 y b = 5083.

2 Se tiene
75 = a · 7 + b · (−2),
1 = a · (−271) + b · 78

Ejemplo
1 Sean a = 1463 y b = 5083.

2 Se tiene
75 = a · 7 + b · (−2),
1 = a · (−271) + b · 78
2 = a · (9624) + b · (−2770)

Ejemplo
1 Sean a = 1463 y b = 5083.

2 Se tiene
75 = a · 7 + b · (−2),
1 = a · (−271) + b · 78
2 = a · (9624) + b · (−2770)
3 ¿Cuál es el máximo común divisor de a y b?

Ejercicios
Ejercicio

Ejercicios
Ejercicio
1 Pruebe que si m es un entero positivo, entonces
mcd(ma, mb) = m mcd(a, b).

Ejercicios
Ejercicio
1 Pruebe que si m es un entero positivo, entonces
mcd(ma, mb) = m mcd(a, b).
2 Pruebe que a | b si y solamente si mcd(a, b) = |a|.

Números primos relativos
Definición
Dos enteros a y b son primos relativos, primos entre sı́ o coprimos si
su máximo común divisor es 1.

Definición
1 ¿Son 2 y 3 primos relativos?

Definición


Definición


Definición

4 Los números a = 2683 y b = 5284 satisfacen la relación
1 = a(1611) + b(−818).
¿Son a y b primos relativos?

Definición

4 Los números a = 2683 y b = 5284 satisfacen la relación
1 = a(1611) + b(−818).
¿Son a y b primos relativos?

5 ¿Es posible escribir 1 como combinación lineal de 66 y 35?

Primos relativos
Teorema
Los enteros a y b son primos relativos si y solamente si existen
enteros x, y tales que
1 = ax + by .

Primos relativos
Teorema
1 = ax + by .
Teorema
Si a | bc y mcd(a, b) = 1, entonces a | c.

Primos relativos
Teorema
1 = ax + by .
Teorema
Ejercicio

Primos relativos
Teorema
1 = ax + by .
Teorema
Ejercicio
1 Pruebe que si a y b son primos relativos y a | c y b | c, entonces
ab | c.

Primos relativos
Teorema
1 = ax + by .
Teorema
Ejercicio
1 Pruebe que si a y b son primos relativos y a | c y b | c, entonces
ab | c.
2 Sean a, b ∈ Z no ambos cero y sea d = mcd(a, b). Pruebe que
a/d y b/d son primos relativos.

Contenido

Divisibilidad

1 Recordatorio: b múltiplo de a si

a|b

a|b ⇐⇒ b = aq, q ∈ Z

a|b ⇐⇒ b = aq, q ∈ Z
2 Sean a, b ∈ Z. ¿Existen múltiplos comunes de a y b?

a|b ⇐⇒ b = aq, q ∈ Z

3 Si a = 5 y b = −7, el conjunto de múltiplos comunes es

a|b ⇐⇒ b = aq, q ∈ Z

{. . . , −70, −35, 0, 35, 70, . . . }

a|b ⇐⇒ b = aq, q ∈ Z

{. . . , −70, −35, 0, 35, 70, . . . }
4 si a = 0 y b = 2, el conjunto de múltiplos comunes es

a|b ⇐⇒ b = aq, q ∈ Z

{. . . , −70, −35, 0, 35, 70, . . . }
{0}

a|b ⇐⇒ b = aq, q ∈ Z

{. . . , −70, −35, 0, 35, 70, . . . }
{0}
5 Si a 6= 0 6= b, ¿existen múltiplos comunes positivos de a y b?

a|b ⇐⇒ b = aq, q ∈ Z

{. . . , −70, −35, 0, 35, 70, . . . }
{0}
5 Si a 6= 0 6= b, ¿existen múltiplos comunes positivos de a y b?

6 Si a = 0 o b = 0, ¿existen múltiplos comunes positivos de a y b?

1 El mı́nimo común múltiplo de los enteros a y b es

(
mı́n{m ∈ Z+ : a | m y b | m} si ab 6= 0
mcm(a, b) =
0 otro caso


(
mı́n{m ∈ Z+ : a | m y b | m} si ab 6= 0
mcm(a, b) =
0 otro caso
2 Si ab 6= 0, entonces
mcm(a, b) = mı́n{m ∈ Z+ : a | m} ∩ {m ∈ Z+ : b | m}.


(
mı́n{m ∈ Z+ : a | m y b | m} si ab 6= 0
mcm(a, b) =
0 otro caso
3 De la definición es inmediato que
mcm(a, b) = mcm(b, a)
mcm(a, b) = mcm(±a, ±b).


(
mı́n{m ∈ Z+ : a | m y b | m} si ab 6= 0
mcm(a, b) =
0 otro caso
3 De la definición es inmediato que
mcm(a, b) = mcm(b, a)
mcm(a, b) = mcm(±a, ±b).
4 Otra notación para mcm(a, b) es [a, b]

Ejemplo
1 Si a = −4 y b = 6, el conjunto de los múltiplos positivos comunes

es
{4, 8, 12, 16, 20, 24, . . . } ∩ {6, 12, 18, 24, 30, 36 . . . }
= {12, 24, 36, . . . }

Ejemplo

es
{4, 8, 12, 16, 20, 24, . . . } ∩ {6, 12, 18, 24, 30, 36 . . . }
= {12, 24, 36, . . . }
2 mcm(a, b) = 12.

Ejemplo

es
{4, 8, 12, 16, 20, 24, . . . } ∩ {6, 12, 18, 24, 30, 36 . . . }
= {12, 24, 36, . . . }
2 mcm(a, b) = 12.
3 Con la ayuda de SageMath:
sage: lcm(-4,6)
12

Caracterización del mcm
Teorema
Sean a, b ∈ Z − {0}. El mı́nimo común múltiplo de a y b es el único
entero positivo m que satisface las siguientes condiciones:

Teorema
1 a | m y b | m;

Teorema
1 a | m y b | m;
2 Si a | m0 y b | m0 , entonces m | m0 .

Relación entre el mcd y el mcm
Teorema
Si a y b son enteros positivos, entonces
ab = mcd(a, b) mcm(a, b)

Relación entre el mcd y el mcm
Teorema
Si a y b son enteros positivos, entonces
ab = mcd(a, b) mcm(a, b)
Ejercicio
Sea a, b, c ∈ Z con c > 0. Pruebe que
mcm(ca, cb) = c mcm(a, b).

Contenido

Divisibilidad

Soluciones enteras de ax + by = c
Teorema

Teorema
1 La ecuación Diofantina
ax + by = c (a, b, c ∈ Z) (*)
tiene solución entera si y solamente si mcd(a, b) | c.

Teorema
1 La ecuación Diofantina
ax + by = c (a, b, c ∈ Z) (*)
tiene solución entera si y solamente si mcd(a, b) | c.

2 Si a 6= 0 o b 6= 0, mcd(a, b) | c y mcd(a, b) = ar + bs, una solución
de (*) es
rc sc
x0 = , y0 =
mcd(a, b) mcd(a, b)

Ejemplos
1 Determine cuál o cuales de las siguientes ecuaciones diofantinas

tiene solución.

Ejemplos

tiene solución.
2 Si tiene solución, encuentre una solución particular.

Ejemplos

tiene solución.
1 6x + 8y = 30

Ejemplos

tiene solución.
1 6x + 8y = 30
2 6x + 8y = 3

Ejemplos

tiene solución.
1 6x + 8y = 30
2 6x + 8y = 3
3 −18x + 10y = 28

Ejemplos

tiene solución.
1 6x + 8y = 30
2 6x + 8y = 3
3 −18x + 10y = 28
4 2x + 3y = 0

Ejemplos

tiene solución.
1 6x + 8y = 30
2 6x + 8y = 3
3 −18x + 10y = 28
4 2x + 3y = 0
5 ax + by = 0

Ejemplos

tiene solución.
1 6x + 8y = 30
2 6x + 8y = 3
3 −18x + 10y = 28
4 2x + 3y = 0
5 ax + by = 0
6 3x = 18

Ejemplos

tiene solución.
1 6x + 8y = 30
2 6x + 8y = 3
3 −18x + 10y = 28
4 2x + 3y = 0
5 ax + by = 0
6 3x = 18
7 4x = 18

Ejemplos

tiene solución.
1 6x + 8y = 30
2 6x + 8y = 3
3 −18x + 10y = 28
4 2x + 3y = 0
5 ax + by = 0
6 3x = 18
7 4x = 18
8 ax + 0y = c

Ejemplos
1 Si una ecuación tiene solución, la solución no necesariamente es

única.

Ejemplos

única.
2 La ecuación 6x + 8y = 30 tiene más de una solución:

Ejemplos

única.
6(1) + 8(3) =

Ejemplos

única.
6(1) + 8(3) = 30

Ejemplos

única.
6(1) + 8(3) = 30
6(−15) + 8(15) =

Ejemplos

única.
6(1) + 8(3) = 30
6(−15) + 8(15) = 30

Ejemplos

única.
6(1) + 8(3) = 30
6(−15) + 8(15) = 30
6(−7) + 8(9) =

Ejemplos

única.
6(1) + 8(3) = 30
6(−15) + 8(15) = 30
6(−7) + 8(9) = 30

Ejemplos

única.
6(1) + 8(3) = 30
6(−15) + 8(15) = 30
6(−7) + 8(9) = 30
3 ¿Cuál es el conjunto solución de 6x = 30?

Ejemplos

única.
6(1) + 8(3) = 30
6(−15) + 8(15) = 30
6(−7) + 8(9) = 30

4 ¿Cuál es el conjunto solución de 0x + 0y = 0?

Ejemplos

única.
6(1) + 8(3) = 30
6(−15) + 8(15) = 30
6(−7) + 8(9) = 30

4 ¿Cuál es el conjunto solución de 0x + 0y = 0?
5 ¿Cuál es el conjunto solución de la ecuación 0x + 0y = 2?

Conjunto solución
Teorema
Si la ecuación diofantina ax + by = c tiene solución, donde a 6= 0 o
b 6= 0, entonces el conjunto de todas las soluciones es
b a
x = x0 + t , y = y0 − t , t ∈ Z,
mcd(a, b) mcd(a, b)
donde (x0 , y0 ) es una solución particular. También se escribe

b a
S = (x0 , y0 ) + t ,− |t ∈Z
mcd(a, b) mcd(a, b)

Ejemplo
1 Encuentre todas las soluciones de la ecuación 2x − 4y = 4.

Ejemplo

1 mcd(2, −4) = 2 = 2(1) + 4(0)

Ejemplo

1 mcd(2, −4) = 2 = 2(1) + 4(0)
2 Solución particular (x0 , y0 ) = ( 1·4 0·4
2 , 2 ) = (2, 0).

Ejemplo

1 mcd(2, −4) = 2 = 2(1) + 4(0)
2 , 2 ) = (2, 0).
3 El conjunto solución:

Ejemplo

1 mcd(2, −4) = 2 = 2(1) + 4(0)
2 , 2 ) = (2, 0).
S = {(x, y) ∈ Z × Z : x = 2 − 2t, y = −t, t ∈ Z}

Ejemplo

1 mcd(2, −4) = 2 = 2(1) + 4(0)
2 , 2 ) = (2, 0).
S = {(x, y) ∈ Z × Z : x = 2 − 2t, y = −t, t ∈ Z}

= {(2 − 2t, −t) : t ∈ Z}

Ejemplo

1 mcd(2, −4) = 2 = 2(1) + 4(0)
2 , 2 ) = (2, 0).
S = {(x, y) ∈ Z × Z : x = 2 − 2t, y = −t, t ∈ Z}

= {(2 − 2t, −t) : t ∈ Z}
= (2, 0) + {t(−2, −1) | t ∈ Z}

Gráfica del conjunto solución de 2x − 4y = 4
y
3
2x − 4y = 4 2
(6, 2)
1
(4, 1)
−6 −4 −2
(2, 0)
6
x
(0, −1)
(−2, −2)
−3
(−4, −3)
−4
(−6, −4)

Ejercicios
1 Determine cuál o cuáles de las siguientes ecuaciones diofantinas

tiene solución. En caso de tener solución encuentre el conjunto
de todas las soluciones.

Ejercicios

1 −159x + 184y = −73.

Ejercicios

1 −159x + 184y = −73.
2 90x + 75y = −28.

Ejercicios

1 −159x + 184y = −73.
2 90x + 75y = −28.
3 63x − 85y = −46.

Ejercicios

1 −159x + 184y = −73.
2 90x + 75y = −28.
3 63x − 85y = −46.
2 El conjunto solución de la ecuación diofantina ax + by = 78 es
{(−6 − 11t, −5 − 7t) | t ∈ Z}. Determine a y b.

Contenido

Divisibilidad

Los números primos
1 Teorema Fundamental de la Aritmética. Cada número natural

a > 1 se puede escribir como un producto de números primos.


2 Los números primos son los bloques básicos de construcción de


1 los números naturales;


2 los números enteros;


3 los números racionales;


4 los números reales;


5 los números complejos;


5 los números complejos;
6 etc.

1 Es fácil multiplicar números enteros.


2 Es difı́cil factorizar números enteros.


3 ¿No lo creen?


3 ¿No lo creen?
4 Veamos un ejemplo en SageMath con la instrucción
random prime(n, lbound = 2 )


3 ¿No lo creen?
5 La seguridad de muchos criptosistemas se basan precisamente
en la dificultad de factorizar números enteros en un tiempo
razonable.


3 ¿No lo creen?
razonable.
6 Uno de los sistemas que se basa en la dificultad de factorizar
números enteros es el algoritmo RSA (Rivest, Shamir y Adleman).


3 ¿No lo creen?
razonable.
7 Es un sistema criptográfico de clave pública desarrollado en 1977
y es el más utilizado en la actualidad.


3 ¿No lo creen?
razonable.
7 Es un sistema criptográfico de clave pública desarrollado en 1977
y es el más utilizado en la actualidad.
8 Algoritmo de Shor y la computación cuántica.

Don Zagier (1975)
1 “Hay dos hechos sorprendentes acerca de la distribución de los

números primos.

Don Zagier (1975)

números primos.
2 El primero es que, a pesar de su definición tan simple y su papel
como los bloques a partir de los cuales se construyen los
números naturales, son los objetos más arbitrarios y engañosos
estudiados por los matemáticos: crecen como hierba entre los
números naturales, y parece que no obedecen ninguna ley
excepto a la casualidad, y nadie puede predecir donde brotará el
siguiente número primo.

Don Zagier (1975)

números primos.
2 El primero es que, a pesar de su definición tan simple y su papel
como los bloques a partir de los cuales se construyen los
números naturales, son los objetos más arbitrarios y engañosos
estudiados por los matemáticos: crecen como hierba entre los
números naturales, y parece que no obedecen ninguna ley
excepto a la casualidad, y nadie puede predecir donde brotará el
siguiente número primo.
3 El segundo hecho es aún más increı́ble, porque es exactamente
opuesto al primero: los números primos exhiben una regularidad
impresionante ası́ que hay leyes que gobiernan su
comportamiento, y que obedecen a estas leyes con precisión casi
militar”.

La función zeta
1 La función zeta está definida por la serie
1 1 1
ζ(s) = 1 + s
+ s + s + ···
2 3 4

La función zeta
1 1 1
ζ(s) = 1 + s
+ s + s + ···
2 3 4
2 Fórmula del producto de Euler
∞ Y 1 −1

X 1
ζ(s) = = 1 − ,
ns p
p s
n=1

La función zeta
1 1 1
ζ(s) = 1 + s
+ s + s + ···
2 3 4
∞ Y 1 −1

X 1
ζ(s) = = 1 − ,
ns p
p s
n=1
3 La función zeta codifica información de los números enteros y de

los números primos.

La función zeta
1 1 1
ζ(s) = 1 + s
+ s + s + ···
2 3 4
∞ Y 1 −1

X 1
ζ(s) = = 1 − ,
ns p
p s
n=1
3 La función zeta codifica información de los números enteros y de

los números primos.
4 Riemman observó que la frecuencia de los números primos se
relaciona con la función zeta.

La función zeta y el problema del millón de dólares
1 El teorema del número primo determina la distribución promedio

de los primos.


de los primos.
2 La hipótesis de Riemann habla acerca de la desviación con
respecto a este promedio.


de los primos.
3 La hipótesis de Riemann:


de los primos.
Todas las soluciones no triviales de la ecuación ζ(s) = 0 están
sobre la recta s = 1/2.


de los primos.
4 La hipótesis de Riemann, formulada en 1859, es uno de los 7

problemas del milenio.


de los primos.
4 La hipótesis de Riemann, formulada en 1859, es uno de los 7

problemas del milenio.
5 The Clay Mathematics Institute
(http://www.claymath.org/millennium-problems) ofrece un millón
de dólares a quien lo resuelva.

Definición de número primo
1 Un entero p > 1 es un número primo si sus únicos divisores

positivos son 1 y p.


2 Un número n > 1 es un número compuesto si no es un número
primo.


primo.
3 Los números 1 y −1 no son ni números primos ni números
compuestos.


primo.
compuestos.
4 Algunos números primos


primo.
compuestos.
2,


primo.
compuestos.
2, 3,


primo.
compuestos.
2, 3, 5,


primo.
compuestos.
2, 3, 5, 7,


primo.
compuestos.
2, 3, 5, 7, 11,


primo.
compuestos.
2, 3, 5, 7, 11, 13,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
5 Algunos números compuestos:


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4, 6,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4, 6, 8,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4, 6, 8, 9,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4, 6, 8, 9, 10,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4, 6, 8, 9, 10, 12,


primo.
compuestos.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21, 22, 24, 25, 26, 27, 28, 30.

Propiedades de los números primos
Ejercicios

Ejercicios
1 Sea p un número primo. Si a | p, pruebe que a = ±1 o a = ±p.

Ejercicios
2 Sea p un número primo y a un entero que no es divisible por p.
Pruebe que mcd(a, p) = 1.

Ejercicios
3 Pruebe que si n > 1 no es primo, entonces existen enteros
1 < a, b < n tales que n = ab.

Ejercicios
4 Sean n, a, b enteros positivos con a > 1 y b > 1. Si n = ab,
pruebe que n no es primo.

Ejercicios
4 Sean n, a, b enteros positivos con a > 1 y b > 1. Si n = ab,
pruebe que n no es primo.
5 Sean n, a, b enteros con 1 ≤ a, b < n. Si n = ab, pruebe que n no
es primo.

Teorema
Sea p un número primo y a, b ∈ Z. Si p | ab, entonces p | a o p | b.

Teorema
Ejercicio

Teorema
Ejercicio
1 Pruebe por inducción:
Si p | a1 . . . an entonces p | ai para algún i

Teorema
Ejercicio
2 Sea p > 1 un entero con la siguiente propiedad: Para

cualesquiera enteros a y b, si p | ab, entonces p | a o p | b.
Pruebe que p es un número primo.

Teorema
Ejercicio
2 Sea p > 1 un entero con la siguiente propiedad: Para

cualesquiera enteros a y b, si p | ab, entonces p | a o p | b.
Pruebe que p es un número primo.
3 Sea p un número primo. Pruebe que no existen enteros a y b
tales que a2 = pb2 .

Teorema Fundamental de la Aritmética
Teorema
Todo número natural se puede expresar en forma única, salvo el
orden, como un producto finito de números primos.

Teorema Fundamental de la Aritmética
Teorema
Todo número natural se puede expresar en forma única, salvo el
orden, como un producto finito de números primos.
Corolario
Todo número entero n que no sea cero se escribe en la forma
up1 · · · pr ,
donde u es una unidad y p1 , . . . , pr son números primos.

Euclides: Hay infinidad de números primos
1 Euclides probó que existe una infinidad de primos.

2 Idea: Si p1 , . . . , pn son primos se construye un primo que no está
en la lista.

en la lista.
3 Ese primo proviene de la factorización en primos de
N = p1 p2 · · · pn + 1

en la lista.
N = p1 p2 · · · pn + 1
4 Se empieza con 2 que es primo.

en la lista.
N = p1 p2 · · · pn + 1
2+1=

en la lista.
N = p1 p2 · · · pn + 1
2+1=3

en la lista.
N = p1 p2 · · · pn + 1
2+1=3
2·3+1=

en la lista.
N = p1 p2 · · · pn + 1
2+1=3
2·3+1=7

en la lista.
N = p1 p2 · · · pn + 1
2+1=3
2·3+1=7
2·3·7+1=

en la lista.
N = p1 p2 · · · pn + 1
2+1=3
2·3+1=7
2 · 3 · 7 + 1 = 43

en la lista.
N = p1 p2 · · · pn + 1
2+1=3
2·3+1=7
2 · 3 · 7 + 1 = 43
2 · 3 · 7 · 43 + 1 =

en la lista.
N = p1 p2 · · · pn + 1
2+1=3
2·3+1=7
2 · 3 · 7 + 1 = 43
2 · 3 · 7 · 43 + 1 = 1807

en la lista.
N = p1 p2 · · · pn + 1
2+1=3
2·3+1=7
2 · 3 · 7 + 1 = 43
2 · 3 · 7 · 43 + 1 = 1807 = 13 · 139

en la lista.
N = p1 p2 · · · pn + 1
2+1=3
2·3+1=7
2 · 3 · 7 + 1 = 43
2 · 3 · 7 · 43 + 1 = 1807 = 13 · 139
5 La factorización de N contiene al menos un primo q que no

pertenece al conjunto de primos que se usaron en su
construcción.
Teorema (Teorema de Euclides)

Existe un número infinito de números primos.

La criba de Eratóstenes
1 Eratóstenes dio un método para encontrar números primos

consecutivos menores que n


2 Se forma una tabla con todos los números comprendidos entre 2
yn


yn
3 Se van tachando los números que no son primos de la siguiente
manera:


yn
manera:
1 Comenzando con el 2 se tachan todos sus múltiplos.


yn
manera:
2 Se repite el proceso con el primer número que no haya sido
tachado, ese número es primo


yn
manera:
3 se tachan todos sus múltiplos, y ası́ sucesivamente.


yn
manera:
3 se tachan todos sus múltiplos, y ası́ sucesivamente.
4 Ver animación

Factorización prima
1 Si n > 1, existen p1 , . . . , pr números primos distintos y enteros

αi ≥ 1 tales que
n = p1α1 · · · prαr .


αi ≥ 1 tales que
n = p1α1 · · · prαr .
2 Si a = 22 · 53 · 19 y b = 34 · 52 · 13, escribimos
a = 22 · 30 · 53 · 130 · 19
b = 20 · 34 · 52 · 13 · 190 .


αi ≥ 1 tales que
n = p1α1 · · · prαr .
2 Si a = 22 · 53 · 19 y b = 34 · 52 · 13, escribimos
a = 22 · 30 · 53 · 130 · 19
b = 20 · 34 · 52 · 13 · 190 .
3 En general, si a y b son números enteros, existen primos

p1 , p2 , . . . , pr tales que
a = ±p1α1 p2α2 · · · prαr , αi ≥ 0,

b = ±p1β1 p2β2 · · · prβr , βi ≥ 0.

Ejercicios
1 Sean a, b enteros positivos y suponga que su respectivas

factorizaciones en primos son
a = p1α1 p2α2 · · · prαr , αi ≥ 0,

b= p1β1 p2β2 · · · prβr , βi ≥ 0,
Pruebe que
mı́n{α1 ,β1 } mı́n{αr ,βr }
mcd(a, b) = p1 · · · pr ,
máx{α1 ,β1 } máx{αr ,βr }
mcm(a, b) = p1 · · · pr .

Ejercicios
1 Sean a, b enteros positivos y suponga que su respectivas

factorizaciones en primos son
a = p1α1 p2α2 · · · prαr , αi ≥ 0,

b= p1β1 p2β2 · · · prβr , βi ≥ 0,
Pruebe que
mı́n{α1 ,β1 } mı́n{αr ,βr }
mcd(a, b) = p1 · · · pr ,
máx{α1 ,β1 } máx{αr ,βr }
mcm(a, b) = p1 · · · pr .
2 Como aplicación de lo anterior, pruebe que
ab = mcd(a, b) mcm(a, b).

Contenido

Divisibilidad

Congruencias módulo un entero n
Definición

Definición
1 Sea n ≥ 0 un entero.

Definición
1 Sea n ≥ 0 un entero.
2 Sean a, b ∈ Z. a es congruente con b módulo n si n | a − b:
a ≡ b mód n ⇔ n | a − b.

Ejemplos
¿7 ≡ 3 mód 4?

Ejemplos
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?

Ejemplos
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?
¿ − 9 ≡ −1 mód 4?

Ejemplos
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?
¿ − 9 ≡ −1 mód 4?
¿5 ≡ 2 mód 4?

Ejemplos
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?
¿ − 9 ≡ −1 mód 4?
¿5 ≡ 2 mód 4?
¿5 ≡ 2 mód 0?

Ejemplos
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?
¿ − 9 ≡ −1 mód 4?
¿5 ≡ 2 mód 4?
¿5 ≡ 2 mód 0?
¿107 ≡ 3 mód 8?

Ejemplos
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?
¿ − 9 ≡ −1 mód 4?
¿5 ≡ 2 mód 4?
¿5 ≡ 2 mód 0?
¿107 ≡ 3 mód 8?
¿ − 10 ≡ 14 mód 8?

Ejercicios
Ejercicio

Ejercicios
Ejercicio
1 Suponga que a ≡ a0 mód n y b ≡ b0 mód n. Pruebe que
a + b ≡ a0 + b0 mód n,
ab ≡ a0 b0 mód n.

Ejercicios
Ejercicio
a + b ≡ a0 + b0 mód n,
2 Pruebe que a, b, c ∈ Z se cumple

Ejercicios
Ejercicio
a + b ≡ a0 + b0 mód n,

1 a ≡ a mód n.

Ejercicios
Ejercicio
a + b ≡ a0 + b0 mód n,

1 a ≡ a mód n.
2 Si a ≡ b mód n, entonces b ≡ a mód n.

Ejercicios
Ejercicio
a + b ≡ a0 + b0 mód n,

1 a ≡ a mód n.
2 Si a ≡ b mód n, entonces b ≡ a mód n.
3 Si a ≡ b mód n y b ≡ c mód n, entonces a ≡ c mód n.

La congruencia es una relación de equivalencia
1 La congruencia módn es una relación de equivalencia en Z.


2 Describir la clase de congruencia módulo n de a ∈ Z.


a mód n


a mód n = a + nZ


a mód n = a + nZ = {b ∈ Z : b ≡ a mód n}


= {a + nk : k ∈ Z}


= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.


= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:


= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:
nZ


= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:
nZ = {nk : k ∈ Z}


= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:
nZ = {nk : k ∈ Z} = {0, ±n, ±2n, ±3n, . . . }


= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:
nZ = {nk : k ∈ Z} = {0, ±n, ±2n, ±3n, . . . }
4 El conjunto de los enteros módulo n es
Z/nZ = {a + nZ : a ∈ Z}, Z/nZ = {0 mód n, 1 mód n, . . . , (n − 1) m


= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:
nZ = {nk : k ∈ Z} = {0, ±n, ±2n, ±3n, . . . }
4 El conjunto de los enteros módulo n es
Z/nZ = {a + nZ : a ∈ Z}, Z/nZ = {0 mód n, 1 mód n, . . . , (n − 1) m
5 ¿Cuántos elementos tiene este conjunto?

Ejemplo
1 Considere el anillo de los enteros módulo 4:
Z/4Z = {a + 4Z : a ∈ Z}

Ejemplo
Z/4Z = {a + 4Z : a ∈ Z}
2 Proporcionar ejemplos de elementos en Z/4Z.

Ejemplo
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z

Ejemplo
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z

Ejemplo
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z 11 + 4Z

Ejemplo
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z 11 + 4Z −28 + 4Z

Ejemplo
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z 11 + 4Z −28 + 4Z
3 ¿Es única la representación de los elementos en Z/4Z?

Ejemplo
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z 11 + 4Z −28 + 4Z

4 No, la representación no es única.

Ejemplo
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z 11 + 4Z −28 + 4Z

5 ¿Cuál es la cardinalidad de Z/4Z?

Ejemplo
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z 11 + 4Z −28 + 4Z


El anillo de los enteros módulo n
Teorema

Teorema
1 El conjunto Z/nZ junto con las operaciones
(a + nZ) + (b + nZ) = (a + b) + nZ,

(a + nZ) · (b + nZ) = (a · b) + nZ.
es un anillo conmutativo con unitario.

Teorema
(a + nZ) + (b + nZ) = (a + b) + nZ,

(a + nZ) · (b + nZ) = (a · b) + nZ.

2 Si n es un entero positivo, la representación canónica o natural es
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}.

Teorema
(a + nZ) + (b + nZ) = (a + b) + nZ,

(a + nZ) · (b + nZ) = (a · b) + nZ.

2 Si n es un entero positivo, la representación canónica o natural es
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}.
3 La cardinalidad de Z/nZ es n.

La representación de un entero módulo n no es única
1 Notación alternativa para a + nZ que también se escribe a mód n)
a := a + nZ o también a := a + nZ.

2 De esta manera

2 De esta manera
Z/nZ = {0 mód n, 1 mód n, . . . , (n − 1) mód n}

2 De esta manera
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}

2 De esta manera
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}
Z/nZ = {0, 1, . . . , n − 1}

2 De esta manera
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}
Z/nZ = {0, 1, . . . , n − 1}
Z/nZ = {0, 1, . . . , n − 1}

2 De esta manera
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}
Z/nZ = {0, 1, . . . , n − 1}
Z/nZ = {0, 1, . . . , n − 1}
3 Como los elementos son conjuntos, la representación no es única.

2 De esta manera
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}
Z/nZ = {0, 1, . . . , n − 1}
Z/nZ = {0, 1, . . . , n − 1}
4 En Z/6Z,

2 De esta manera
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}
Z/nZ = {0, 1, . . . , n − 1}
Z/nZ = {0, 1, . . . , n − 1}
4 En Z/6Z,
1 + 6Z = 7 + 6Z

2 De esta manera
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}
Z/nZ = {0, 1, . . . , n − 1}
Z/nZ = {0, 1, . . . , n − 1}
4 En Z/6Z,
1 + 6Z = 7 + 6Z = −11 + 6Z

2 De esta manera
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}
Z/nZ = {0, 1, . . . , n − 1}
Z/nZ = {0, 1, . . . , n − 1}
4 En Z/6Z,
1 + 6Z = 7 + 6Z = −11 + 6Z
1 = 7 = −11

2 De esta manera
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}
Z/nZ = {0, 1, . . . , n − 1}
Z/nZ = {0, 1, . . . , n − 1}
4 En Z/6Z,
1 + 6Z = 7 + 6Z = −11 + 6Z
1 = 7 = −11
1=

2 De esta manera
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}
Z/nZ = {0, 1, . . . , n − 1}
Z/nZ = {0, 1, . . . , n − 1}
4 En Z/6Z,
1 + 6Z = 7 + 6Z = −11 + 6Z
1 = 7 = −11
1=7

2 De esta manera
Z/nZ = {0 + nZ, 1 + nZ, . . . , n − 1 + nZ}
Z/nZ = {0, 1, . . . , n − 1}
Z/nZ = {0, 1, . . . , n − 1}
4 En Z/6Z,
1 + 6Z = 7 + 6Z = −11 + 6Z
1 = 7 = −11
1 = 7 = −11

Aritmética con enteros módulo n
1 En Z/14Z, se tiene

(7 + 14Z) + (9 + 14Z) =

(7 + 14Z) + (9 + 14Z) = 16 + 14Z

(7 + 14Z) + (9 + 14Z) = 16 + 14Z = 2 + 14Z

(7 + 14Z) + (9 + 14Z) = 16 + 14Z = 2 + 14Z

(3 + 14Z)(7 + 14Z) =

(7 + 14Z) + (9 + 14Z) = 16 + 14Z = 2 + 14Z

(3 + 14Z)(7 + 14Z) = 21 + 14Z

(7 + 14Z) + (9 + 14Z) = 16 + 14Z = 2 + 14Z

(3 + 14Z)(7 + 14Z) = 21 + 14Z = 7 + 14Z

(7 + 14Z) + (9 + 14Z) = 16 + 14Z = 2 + 14Z

(3 + 14Z)(7 + 14Z) = 21 + 14Z = 7 + 14Z
2 Usando la forma compacta, en Z/14Z, se tiene

(7 + 14Z) + (9 + 14Z) = 16 + 14Z = 2 + 14Z

(3 + 14Z)(7 + 14Z) = 21 + 14Z = 7 + 14Z
7+9=

(7 + 14Z) + (9 + 14Z) = 16 + 14Z = 2 + 14Z

(3 + 14Z)(7 + 14Z) = 21 + 14Z = 7 + 14Z
7 + 9 = 16

(7 + 14Z) + (9 + 14Z) = 16 + 14Z = 2 + 14Z

(3 + 14Z)(7 + 14Z) = 21 + 14Z = 7 + 14Z
7 + 9 = 16 = 2

(7 + 14Z) + (9 + 14Z) = 16 + 14Z = 2 + 14Z

(3 + 14Z)(7 + 14Z) = 21 + 14Z = 7 + 14Z
7 + 9 = 16 = 2
3×7=

(7 + 14Z) + (9 + 14Z) = 16 + 14Z = 2 + 14Z

(3 + 14Z)(7 + 14Z) = 21 + 14Z = 7 + 14Z
7 + 9 = 16 = 2
3 × 7 = 21

(7 + 14Z) + (9 + 14Z) = 16 + 14Z = 2 + 14Z

(3 + 14Z)(7 + 14Z) = 21 + 14Z = 7 + 14Z
7 + 9 = 16 = 2
3 × 7 = 21 = 7

La representación canónica
1 La representación canónica en Z/nZ o la reducción módulo n de

un entero a ∈ Z, es el único entero r tal que
a = nq + r , donde 0≤r <n


2 La representación canónica de 144 en Z/14Z es



3 El representante canónico de a = 17 × 19 × 30 en Z/14Z es






5 El representante canónico de a = 33 × 33 × 33 × 33 en Z/10Z es



6 El representante canónico de a = 336 en Z/10Z es







Potencias módulo n
1 Sea a un entero y m un entero positivo.


2 Calcular el resto que se obtiene al dividir am entre n.


3 Equivalentemente, encuentre el representante canónico de am en
Z/nZ.


Z/nZ.
4 Se puede proceder como sigue:


Z/nZ.
am mód n


Z/nZ.
am mód n = a
| · a{z
· · · · a} módn
m veces


Z/nZ.
am mód n = a
| · a{z
· · · · a} módn
m veces
= (a mód n) · (a mód n) · · · (a mód n)
| {z }
m veces


Z/nZ.
am mód n = a
| · a{z
· · · · a} módn
m veces
= (a mód n) · (a mód n) · · · (a mód n)
| {z }
m veces
m
= (a mód n) .

1 Calcular el resto que se obtiene al dividir 332018 entre 8.

332018 mód 8

332018 mód 8 = (33 mód 8)2018

332018 mód 8 = (33 mód 8)2018 = (1 mód 8)2018

332018 mód 8 = (33 mód 8)2018 = (1 mód 8)2018 = 1 mód 8.

332018 mód 8 = (33 mód 8)2018 = (1 mód 8)2018 = 1 mód 8.
2 Equivalentemente, en Z/8Z se tiene:

332018 mód 8 = (33 mód 8)2018 = (1 mód 8)2018 = 1 mód 8.
332018

332018 mód 8 = (33 mód 8)2018 = (1 mód 8)2018 = 1 mód 8.
332018 = 33 × 33 × · · · × 33
| {z }
2018 veces

332018 mód 8 = (33 mód 8)2018 = (1 mód 8)2018 = 1 mód 8.
332018 = 33 × 33 × · · · × 33
| {z }
2018 veces
= 1 × 1 × ··· × 1
| {z }
2018 veces

332018 mód 8 = (33 mód 8)2018 = (1 mód 8)2018 = 1 mód 8.
332018 = 33 × 33 × · · · × 33
| {z }
2018 veces
= 1 × 1 × ··· × 1
| {z }
2018 veces
=1



2 En Z/10Z se tiene:


332018


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces
= 3 × 3 × 3 × 3×
| {z }
=1


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces
= 3 × 3 × 3 × 3×3 × 3 × 3 × 3
| {z } | {z }
=1 =1


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces
= 3 × 3 × 3 × 3×3 × 3 × 3 × 3 × ··· × 3 × 3 × 3 × 3×
| {z } | {z } | {z }
=1 =1 =1


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces
= 3 × 3 × 3 × 3 × 3 × 3 × 3 × 3 × · · · × 3 × 3 × 3 × 3 ×3 × 3
| {z } | {z } | {z }
=1 =1 =1


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces
= 3 × 3 × 3 × 3 × 3 × 3 × 3 × 3 × · · · × 3 × 3 × 3 × 3 ×3 × 3
| {z } | {z } | {z }
=1 =1 =1
=9


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces
= 3 × 3 × 3 × 3 × 3 × 3 × 3 × 3 × · · · × 3 × 3 × 3 × 3 ×3 × 3
| {z } | {z } | {z }
=1 =1 =1
=9
3 Simplificado:


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces
= 3 × 3 × 3 × 3 × 3 × 3 × 3 × 3 × · · · × 3 × 3 × 3 × 3 ×3 × 3
| {z } | {z } | {z }
=1 =1 =1
=9
3 Simplificado:
32018 =


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces
= 3 × 3 × 3 × 3 × 3 × 3 × 3 × 3 × · · · × 3 × 3 × 3 × 3 ×3 × 3
| {z } | {z } | {z }
=1 =1 =1
=9
3 Simplificado:
32018 = 3504×4+2


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces
= 3 × 3 × 3 × 3 × 3 × 3 × 3 × 3 × · · · × 3 × 3 × 3 × 3 ×3 × 3
| {z } | {z } | {z }
=1 =1 =1
=9
3 Simplificado:
504
32018 = 3504×4+2 = 34 × 32


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces
= 3 × 3 × 3 × 3 × 3 × 3 × 3 × 3 × · · · × 3 × 3 × 3 × 3 ×3 × 3
| {z } | {z } | {z }
=1 =1 =1
=9
3 Simplificado:
504
32018 = 3504×4+2 = 34 × 32 = 1504 × 32


332018 = 33 × 33 × 33 × 33 × · · · × 33
| {z }
2018 veces
= 3 × 3 × 3 × 3 × ··· × 3
| {z }
2018 veces
= 3 × 3 × 3 × 3 × 3 × 3 × 3 × 3 × · · · × 3 × 3 × 3 × 3 ×3 × 3
| {z } | {z } | {z }
=1 =1 =1
=9
3 Simplificado:
504
32018 = 3504×4+2 = 34 × 32 = 1504 × 32 = 9

1 Calcular los últimos dos dı́gitos de a = 123 × 202.


2 Calcular los últimos dos dı́gitos de a = 63 × 2 × 5 × 25.


3 Calcular los últimos dos dı́gitos de a = 73 .







1 Calcular los últimos dos dı́gitos de un entero a.


2 La descomposición en base de 10 de a
a = a0 + a1 10 + a2 102 + a3 103 + · · ·


a = a0 + a1 10 + a2 102 + a3 103 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)


a = a0 + a1 10 + a2 102 + a3 103 + · · ·

4 Reducción módulo 100:


a = a0 + a1 10 + a2 102 + a3 103 + · · ·

a=


a = a0 + a1 10 + a2 102 + a3 103 + · · ·

a = a0


a = a0 + a1 10 + a2 102 + a3 103 + · · ·

a = a0 + a1 10


a = a0 + a1 10 + a2 102 + a3 103 + · · ·

a = a0 + a1 10 + a2 · 0


a = a0 + a1 10 + a2 102 + a3 103 + · · ·

a = a0 + a1 10 + a2 · 0 + a3 · 0


a = a0 + a1 10 + a2 102 + a3 103 + · · ·

a = a0 + a1 10 + a2 · 0 + a3 · 0 + a4 · 0


a = a0 + a1 10 + a2 102 + a3 103 + · · ·

a = a0 + a1 10 + a2 · 0 + a3 · 0 + a4 · 0 + · · ·


a = a0 + a1 10 + a2 102 + a3 103 + · · ·

a = a0 + a1 10 + a2 · 0 + a3 · 0 + a4 · 0 + · · ·
= a0 + a1 10

1 Calcular los últimos dos dı́gitos de 1145 .


2 Se observa


2 Se observa
111 ≡ 11 mód 100,


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100,


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100,


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100,


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,
117 ≡ 71 mód 100,


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,
117 ≡ 71 mód 100, 118 ≡ 81 mód 100,


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,
117 ≡ 71 mód 100, 118 ≡ 81 mód 100, 119 ≡ 91 mód 100,


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,
117 ≡ 71 mód 100, 118 ≡ 81 mód 100, 119 ≡ 91 mód 100,
1110 ≡ 1 mód 100.


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,
117 ≡ 71 mód 100, 118 ≡ 81 mód 100, 119 ≡ 91 mód 100,
1110 ≡ 1 mód 100.
3 Se escribe 45 = 10 · 4 + 5.


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,
117 ≡ 71 mód 100, 118 ≡ 81 mód 100, 119 ≡ 91 mód 100,
1110 ≡ 1 mód 100.
3 Se escribe 45 = 10 · 4 + 5.
4 Se tiene


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,
117 ≡ 71 mód 100, 118 ≡ 81 mód 100, 119 ≡ 91 mód 100,
1110 ≡ 1 mód 100.
3 Se escribe 45 = 10 · 4 + 5.
4 Se tiene
a = 1145


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,
117 ≡ 71 mód 100, 118 ≡ 81 mód 100, 119 ≡ 91 mód 100,
1110 ≡ 1 mód 100.
3 Se escribe 45 = 10 · 4 + 5.
4 Se tiene
a = 1145 = (1110 )4 · 115


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,
117 ≡ 71 mód 100, 118 ≡ 81 mód 100, 119 ≡ 91 mód 100,
1110 ≡ 1 mód 100.
3 Se escribe 45 = 10 · 4 + 5.
4 Se tiene
a = 1145 = (1110 )4 · 115 = 14 · 115


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,
117 ≡ 71 mód 100, 118 ≡ 81 mód 100, 119 ≡ 91 mód 100,
1110 ≡ 1 mód 100.
3 Se escribe 45 = 10 · 4 + 5.
4 Se tiene
a = 1145 = (1110 )4 · 115 = 14 · 115 = 51.


2 Se observa
111 ≡ 11 mód 100, 112 ≡ 21 mód 100, 113 ≡ 31 mód 100,

114 ≡ 41 mód 100, 115 ≡ 51 mód 100, 116 ≡ 61 mód 100,
117 ≡ 71 mód 100, 118 ≡ 81 mód 100, 119 ≡ 91 mód 100,
1110 ≡ 1 mód 100.
3 Se escribe 45 = 10 · 4 + 5.
4 Se tiene
a = 1145 = (1110 )4 · 115 = 14 · 115 = 51.
5 Calcule los úlitmos dos dı́gitos de 451234567891 .

1 Calcule el resto que se obtiene al dividir:


1 9282018 entre 9.


1 9282018 entre 9.
2 2642018 entre 9.


1 9282018 entre 9.
2 2642018 entre 9.
3 292018 entre 9.


1 9282018 entre 9.
2 2642018 entre 9.
3 292018 entre 9.
2 Calcule los últimos dos dı́gitos de 74095 .


1 9282018 entre 9.
2 2642018 entre 9.
3 292018 entre 9.


1 9282018 entre 9.
2 2642018 entre 9.
3 292018 entre 9.

Reglas de divisibilidad
Teorema

Teorema
1) Un número natural a es divisible por 2 ⇐⇒ el dı́gito de las
unidades es par.

Teorema
unidades es par.
2) Un número natural a es divisible por 3 ⇐⇒ la suma de sus dı́gitos
es divisible por 3.

Teorema
unidades es par.
2) Un número natural a es divisible por 3 ⇐⇒ la suma de sus dı́gitos
es divisible por 3.
unidades es 0 o 5.

Ejercicios
1 Calcule el resto que se obtiene al dividir
a = 605121778182861079752022202677803131528716397
entre 5.

Ejercicios
a = 605121778182861079752022202677803131528716397
entre 5.
2 ¿Es 100100 + 6565 divisible por 11?

Ejercicios
a = 605121778182861079752022202677803131528716397
entre 5.
2 ¿Es 100100 + 6565 divisible por 11?
3 Pruebe que un entero a es divisible por cuatro si y solamente si la
cifra de las unidades más dos veces la cifra de las decenas es
divisible por cuatro.

Ejercicios
a = 605121778182861079752022202677803131528716397
entre 5.
2 ¿Es 100100 + 6565 divisible por 11?
4 Sea a = a0 + a1 10 + a2 102 + · · · + ar 10r = a0 + 10k un entero
positivo. Pruebe que a es divisible por 7 si y solamente si k − 2a0
es divisible por 7.

Ejercicios
a = 605121778182861079752022202677803131528716397
entre 5.
2 ¿Es 100100 + 6565 divisible por 11?
4 Sea a = a0 + a1 10 + a2 102 + · · · + ar 10r = a0 + 10k un entero
positivo. Pruebe que a es divisible por 7 si y solamente si k − 2a0
es divisible por 7.
5 Pruebe que un entero positivo a es divisible por 9 si y solamente
si la suma de sus dı́gitos es divisible por 9.

Solución de ax = b en Z/nZ
1 ¿Tiene solución la ecuación ax ≡ b mód n?


2 Si hay solución, ¿la solución es única?


2x = 2 en Z/4Z


2x = 2 en Z/4Z
2x = 3 en Z/4Z


2x = 2 en Z/4Z
2x = 3 en Z/4Z
4x = 2 en Z/6Z

Solución de ax = b módulo n
Teorema

Teorema
1) La ecuación lineal ax ≡ b mód n tiene solución ⇐⇒ mcd(a, n) | b.

Teorema
2) Si mcd(a, n) | b, una solución de ax ≡ b mód n es
b
x0 = r , donde mcd(a, n) = ar + ns,
mcd(a, n)

Teorema
b
mcd(a, n)
3) El conjunto solución de ax ≡ b mód n es
n
x0 + k (k ∈ Z)
mcd(a, n)
donde x0 es una solución particular.

Teorema
b
mcd(a, n)
3) El conjunto solución de ax ≡ b mód n es
n
x0 + k (k ∈ Z)
mcd(a, n)
donde x0 es una solución particular.

4) Si mcd(a, n) = 1, entonces ax ≡ b mód n tiene solución, y la
solución es única módulo n.

Ejemplo
1 Determine si la ecuación 193x ≡ 431 mód 16 tiene solución.

Ejemplo

2 En caso de tenerla, halle una solución.

Ejemplo

3 d = mcd(a, n) = 1 = a(1) + n(−12).

Ejemplo

3 d = mcd(a, n) = 1 = a(1) + n(−12).
4 La ecuación tiene solución y además es única (módulo 16)

Ejemplo

3 d = mcd(a, n) = 1 = a(1) + n(−12).
5 Una solución es x0 = rb/d = 1(431) = 431

Ejemplo

3 d = mcd(a, n) = 1 = a(1) + n(−12).
6 El conjunto solución es
16
431 + k = 431 + 16k , k ∈ Z.
1

Ejemplo

3 d = mcd(a, n) = 1 = a(1) + n(−12).
16
431 + k = 431 + 16k , k ∈ Z.
1
7 La única solución módulo 16 es 15, ya que:
0 ≤ 431 + 16k < 16 ⇒ k = −26

Ejemplo
Ejemplo SageMath
El comando solve mod(eqn,modulo) calcula las soluciones de la
ecuación lineal.
sage: solve_mod(193 * x== 431, 16)

[(15,)]

Solución de ax = b
1 Determine el conjunto solución de ax ≡ b mód n tiene solución,

donde a = 14014, b = 476 y n = 140.


donde a = 14014, b = 476 y n = 140.
2 d = mcd(a, n) = 14 = a(1) + n(−100).


donde a = 14014, b = 476 y n = 140.
2 d = mcd(a, n) = 14 = a(1) + n(−100).
3 d | 476.


donde a = 14014, b = 476 y n = 140.
2 d = mcd(a, n) = 14 = a(1) + n(−100).
3 d | 476.
4 x0 = rb/d = 34.


donde a = 14014, b = 476 y n = 140.
2 d = mcd(a, n) = 14 = a(1) + n(−100).
3 d | 476.
4 x0 = rb/d = 34.
140
34 + k = 34 + 10k, k ∈ Z.
14


donde a = 14014, b = 476 y n = 140.
2 d = mcd(a, n) = 14 = a(1) + n(−100).
3 d | 476.
4 x0 = rb/d = 34.
140
34 + k = 34 + 10k, k ∈ Z.
14
6 0 ≤ 34 + 10k < 140 ⇒ −3 ≤ k ≤ 10.


donde a = 14014, b = 476 y n = 140.
2 d = mcd(a, n) = 14 = a(1) + n(−100).
3 d | 476.
4 x0 = rb/d = 34.
140
34 + k = 34 + 10k, k ∈ Z.
14
6 0 ≤ 34 + 10k < 140 ⇒ −3 ≤ k ≤ 10.
7 Las soluciones diferentes módulo 140 son:
4, 14, 24, 34, 44, 54, 64, 74, 84, 94, 104, 114, 124, 134

Ejemplo SageMath
Con sage
sage: solve_mod(14014*x == 476, 140)

[(84,), (64,), (44,), (24,), (4,), (124,), (104,),
(14,), (134,), (114,), (94,), (74,), (54,), (34,)]

Unidades del anillo Z/nZ
1 Si R es un anillo, el grupo multiplicativo de las unidades es

R ∗ = {a ∈ R : Existe b ∈ R tal que ab = ba = 1}.


2 Se sabe que ax ≡ 1 mód n si y sólo si mcd(a, n) | 1.


3 Por lo tanto,
(Z/nZ)∗ = {a + nZ ∈ Z/nZ : mcd(a, n) = 1}.


3 Por lo tanto,
(Z/nZ)∗ = {a + nZ ∈ Z/nZ : mcd(a, n) = 1}.
4 La función φ de Euler. Si n es un entero positivo,
φ(n) = #{a | mcd(a, n) = 1, 1 ≤ a ≤ n} = |(Z/nZ)∗ | .

Ejemplo
1 φ(90) = |(Z/90Z)∗ | = 24

Ejemplo
1 φ(90) = |(Z/90Z)∗ | = 24
2 Las unidades son
sage: n = 90; R = Integers(n); R

Ring of integers modulo 90
sage: R.unit_group_order() # Cardinalidad de (Z/nZ)ˆ*
24
sage: euler_phi(90)
24
sage: [a for a in R if gcd(ZZ(a),n)==1]
[1, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 49, 5
59, 61, 67, 71, 73,77, 79, 83, 89]

Ley de la cancelación multiplicativa en Z/nZ
Teorema

Teorema
1 Si mcd(a, n) = 1 y ab ≡ ac mód n, entonces b ≡ c mód n.

Teorema
1 Si mcd(a, n) = 1 y ab ≡ ac mód n, entonces b ≡ c mód n.
2 Equivalentemente, en Z/nZ,
ab = ac, a una unidad ⇒ b = c.

Solución del sistema ax ≡ b mód n y cx ≡ d mód n
1 Resolver el sistema
x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)

x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)
2 ¿Es posible encontrar un x ∈ Z que sea solución de ambas

congruencias?

x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)

congruencias?
3 8 satisface (1).

x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)

congruencias?
3 8 satisface (1).
4 El conjunto solución de (1) es 8 + 3k , k ∈ Z .

x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)

congruencias?
3 8 satisface (1).
5 ¿existe algún entero k tal que 8 + 3k ≡ 4 mód 5?

x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)

congruencias?
3 8 satisface (1).
6 La última ecuación es equivalente a
3k ≡ −4 mód 5.

x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)

congruencias?
3 8 satisface (1).
6 La última ecuación es equivalente a
3k ≡ −4 mód 5.
7 Una solución común es x = 8 + 3(12) = 44.

El Teorema Chino del Residuo
Teorema

Teorema
1 Sean a, b ∈ Z y sean m y n enteros positivos primos relativos.
Entonces el sistema de congruencias
x ≡a mód m
x ≡b mód n
tiene solución.

Teorema
x ≡a mód m
x ≡b mód n
tiene solución.
2 De hecho, x = a + rm(b − a) es una solución, donde 1 = mr + ns.

Teorema
x ≡a mód m
x ≡b mód n
tiene solución.
2 De hecho, x = a + rm(b − a) es una solución, donde 1 = mr + ns.
3 La solución es única módulo mn.

Ejemplo
1 Encuentre la solución del sistema de congruencias lineales
x ≡ 8 mód 10,
x ≡ 10 mód 21.

Ejemplo
x ≡ 8 mód 10,
x ≡ 10 mód 21.
2 mcd(10, 21) = 1 = (−2)m + n

Ejemplo
x ≡ 8 mód 10,
x ≡ 10 mód 21.
2 mcd(10, 21) = 1 = (−2)m + n

3 Una solución al sistema de ecuaciones es 8 + (−2)(10)(2) = −32.

Ejemplo
x ≡ 8 mód 10,
x ≡ 10 mód 21.
2 mcd(10, 21) = 1 = (−2)m + n

3 Una solución al sistema de ecuaciones es 8 + (−2)(10)(2) = −32.
4 En efecto 10 divide a −40 y 21 divide a −42.

Residuos cuadráticos ax 2 + bx + c ≡ 0 mód n
1 ¿Tiene solución la ecuación x 2 + 2x + 3 ≡ 0 mód 2?




3 ¿Tiene solución la ecuación x 2 ≡ 3 mód 7?



1 Sean m, n ∈ Z+ primos relativos. Pruebe que si r es una solución

de
ax 2 + bx + c ≡ 0 mód mn, (1)
entonces r es una solución del sistema
ax 2 + bx + c ≡ 0 mód m (2)
ax 2 + bx + c ≡ 0 mód n. (3)

1 Sean m, n ∈ Z+ primos relativos. Pruebe que si r es una solución

de
ax 2 + bx + c ≡ 0 mód mn, (1)
entonces r es una solución del sistema
ax 2 + bx + c ≡ 0 mód m (2)
ax 2 + bx + c ≡ 0 mód n. (3)
2 Sean r1 es un solución de (2) y r2 una solución de (3). Sea x la

solución al sistema
x ≡ r1 mód m, x ≡ r2 mód n.
Pruebe que x es una solución de (1)

Ejercicio

Ejercicio
1 Usando el ejercicio anterior encuentre todas las soluciones de la
ecuación
3x 2 + 2x + 5 ≡ 0 mód 35

Ejercicio
1 Usando el ejercicio anterior encuentre todas las soluciones de la
ecuación
3x 2 + 2x + 5 ≡ 0 mód 35
2 Usando el ejercicio anterior, determine si la ecuación

x 2 ≡ 11 mód 35 tiene solución.

Teorema Chino del Residuo
Ejercicio
Pruebe que el sistema de congruencias
x ≡ a mód m
x ≡ b mód n
tiene solución si y solamente si mcd(m, n) | b − a.

Ejercicios
1 Pruebe que el número 9797 + 113113 es divisible por 7.
Ejercicios
2 Determine si el número número 6161 + 7171 es divisible por 11.
Ejercicios
3 Sea n > 0 un entero y sean a, b, c, d, e, f enteros. Pruebe que el
sistema de congruencias lineales
ax + by ≡ e mód n
cx + dy ≡ f mód n
tiene solución si y solamente si mcd(ad − bc, n) = 1.
Ejercicios

4 Suponga que ar ≡ b mód n y br ≡ a mód n. Pruebe que
a2 ≡ b2 mód n.
Ejercicios

4 Suponga que ar ≡ b mód n y br ≡ a mód n. Pruebe que
a2 ≡ b2 mód n.
5 Suponga que x0 , x1 son soluciones particulares de ax ≡ b mód m
y cx ≡ d mód n, respectivamente. Pruebe que si el máximo
común divisor de m/ mcd(a, m) y n/ mcd(c, n) divide a x1 − x0 ,
entonces existe una solución al sistema de ecuaciones.

1B 11 - Int Impropia

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

1B 11 - Int Impropia

Cargado por

Copyright:

Formatos disponibles

Álgebra Superior II - LM

José Alejandro Lara Rodrı́guez

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 1 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 2 / 100

1 El anillo de los enteros

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 3 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 4 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 4 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 4 / 100

a divide a b ⇐⇒ si b = ac para algún c ∈ Z

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 4 / 100

a divide a b ⇐⇒ si b = ac para algún c ∈ Z

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 4 / 100

a divide a b ⇐⇒ si b = ac para algún c ∈ Z

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 4 / 100

a divide a b ⇐⇒ si b = ac para algún c ∈ Z

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 4 / 100

a divide a b ⇐⇒ si b = ac para algún c ∈ Z

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 4 / 100

a divide a b ⇐⇒ si b = ac para algún c ∈ Z

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 4 / 100

a divide a b ⇐⇒ si b = ac para algún c ∈ Z

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 4 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 5 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 5 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 5 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 5 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 5 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 5 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 5 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 5 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 6 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 7 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 7 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 7 / 100

c | a y c | b ⇔ c | (ax + by) para cualesquiera enteros x, y .

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 7 / 100

c | a y c | b ⇔ c | (ax + by) para cualesquiera enteros x, y .

4) a | b y b | a si y solamente si a = ub, donde u es una unidad en Z.

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 7 / 100

c | a y c | b ⇔ c | (ax + by) para cualesquiera enteros x, y .

4) a | b y b | a si y solamente si a = ub, donde u es una unidad en Z.

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 7 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 8 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 8 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 8 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 8 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 8 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 9 / 100

Alejandro Lara (Fmat- Uady) Álgebra Superior II 24 de agosto de 2018 9 / 100