Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Facultad de Matemáticas
Universidad Autónoma de Yucatán
17 de mayo de 2017
Definición
Definición
1 a, b ∈ Z. Se dice que a divide a b, si b = ac para algún c ∈ Z.
Definición
1 a, b ∈ Z. Se dice que a divide a b, si b = ac para algún c ∈ Z.
2 a | b significa a divide a b.
Definición
1 a, b ∈ Z. Se dice que a divide a b, si b = ac para algún c ∈ Z.
2 a | b significa a divide a b.
3 Si a | b, se dice que
Definición
1 a, b ∈ Z. Se dice que a divide a b, si b = ac para algún c ∈ Z.
2 a | b significa a divide a b.
3 Si a | b, se dice que
1 a es un divisor de b
Definición
1 a, b ∈ Z. Se dice que a divide a b, si b = ac para algún c ∈ Z.
2 a | b significa a divide a b.
3 Si a | b, se dice que
1 a es un divisor de b
2 a es un factor de b
Definición
1 a, b ∈ Z. Se dice que a divide a b, si b = ac para algún c ∈ Z.
2 a | b significa a divide a b.
3 Si a | b, se dice que
1 a es un divisor de b
2 a es un factor de b
3 b es un múltiplo de a
Definición
1 a, b ∈ Z. Se dice que a divide a b, si b = ac para algún c ∈ Z.
2 a | b significa a divide a b.
3 Si a | b, se dice que
1 a es un divisor de b
2 a es un factor de b
3 b es un múltiplo de a
4 b es divisible entre a.
Ejemplo
Ejemplo
1) 3 | 12 y −2 | 8.
Ejemplo
1) 3 | 12 y −2 | 8.
2) ¿5 divide 0?
Ejemplo
1) 3 | 12 y −2 | 8.
2) ¿5 divide 0?
3) ¿0 | 5?
Ejemplo
1) 3 | 12 y −2 | 8.
2) ¿5 divide 0?
3) ¿0 | 5?
4) ¿Cuáles son los enteros que dividen al cero?
Ejemplo
1) 3 | 12 y −2 | 8.
2) ¿5 divide 0?
3) ¿0 | 5?
4) ¿Cuáles son los enteros que dividen al cero?
5) ¿Cuál o cuáles son los enteros al que el cero divide?
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
6=
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
6 = 6 · 1 + 10 · 0
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
6 = 6 · 1 + 10 · 0
10 =
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 =
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 = 6 · 2 + 10 · 3
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 = 6 · 2 + 10 · 3
4=
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 = 6 · 2 + 10 · 3
4 = 6 · (−1) + 10 · 1
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
6 = 6 · 1 + 10 · 0
10 = 6 · 0 + 10 · 1
42 = 6 · 2 + 10 · 3
4 = 6 · (−1) + 10 · 1
2=
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
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)
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
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 =
Definición
Una combinación lineal de los enteros a y b es un entero de la forma
ax + by donde x, y son enteros.
Ejemplo
Los siguientes números son combinaciones lineales de 6 y 10
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)
Teorema
Teorema
1) Propiedad reflexiva: Si a ∈ Z, a, a | a.
Teorema
1) Propiedad reflexiva: Si a ∈ Z, a, a | a.
2) Propiedad transitiva: Si a | b y b | c, entonces a | c.
Teorema
1) Propiedad reflexiva: Si a ∈ Z, a, a | a.
2) Propiedad transitiva: Si a | b y b | c, entonces a | c.
3) Un entero c divide a los enteros a y b si y solamente si c divide a
cualquier combinación lineal de a y b:
Teorema
1) Propiedad reflexiva: Si a ∈ Z, a, a | a.
2) Propiedad transitiva: Si a | b y b | c, entonces a | c.
3) Un entero c divide a los enteros a y b si y solamente si c divide a
cualquier combinación lineal de a y b:
Teorema
1) Propiedad reflexiva: Si a ∈ Z, a, a | a.
2) Propiedad transitiva: Si a | b y b | c, entonces a | c.
3) Un entero c divide a los enteros a y b si y solamente si c divide a
cualquier combinación lineal de a y b:
a|b ⇐⇒ ma | mb
Ejemplo
Ejemplo
1 ¿Es 64 es combinación lineal de a = 15 y b = 20?
Ejemplo
1 ¿Es 64 es combinación lineal de a = 15 y b = 20?
2 Sea c = 5. Entonces c | a y c | b.
Ejemplo
1 ¿Es 64 es combinación lineal de a = 15 y b = 20?
2 Sea c = 5. Entonces c | a y c | b.
3 5 | ax + by para toda x, y ∈ Z.
Ejemplo
1 ¿Es 64 es combinación lineal de a = 15 y b = 20?
2 Sea c = 5. Entonces c | a y c | b.
3 5 | ax + by para toda x, y ∈ Z.
4 5 | 64 (Contradicción)
Corolario
Corolario
Corolario
Teorema
Sean a, b ∈ Z.
Teorema
Sean a, b ∈ Z.
1) Entonces a | |a| y |a| | a.
Teorema
Sean a, b ∈ Z.
1) Entonces a | |a| y |a| | a.
2) Las siguientes condiciones son equivalentes:
Teorema
Sean a, b ∈ Z.
1) Entonces a | |a| y |a| | a.
2) Las siguientes condiciones son equivalentes:
a) a | b
Teorema
Sean a, b ∈ Z.
1) Entonces a | |a| y |a| | a.
2) Las siguientes condiciones son equivalentes:
a) a | b
b) |a| | |b|.
Teorema
Si a y b son enteros con b 6= 0 y a | b, entonces |a| ≤ |b|.
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
{b ∈ Z : b | a}
es un conjunto finito.
Definición
El máximo común divisor de los enteros a y b es
(
máx{d ∈ Z : d | a y d | b} si a 6= 0 o b 6= 0
mcd(a, b) =
0 si a = 0 = b
Definición
El máximo común divisor de los enteros a y b es
(
máx{d ∈ Z : d | a y d | b} si a 6= 0 o b 6= 0
mcd(a, b) =
0 si a = 0 = b
Observaciones
Definición
El máximo común divisor de los enteros a y b es
(
máx{d ∈ Z : d | a y d | b} si a 6= 0 o b 6= 0
mcd(a, b) =
0 si a = 0 = b
Observaciones
1) mcd(a, b) = mcd(b, a).
Definición
El máximo común divisor de los enteros a y b es
(
máx{d ∈ Z : d | a y d | b} si a 6= 0 o b 6= 0
mcd(a, b) =
0 si a = 0 = b
Observaciones
1) mcd(a, b) = mcd(b, a).
2) mcd(a, b) = mcd(±a, ±b).
Ejemplo
Ejemplo
1 mcd(6, 10) =
Ejemplo
1 mcd(6, 10) =
2 mcd(−4, 6) =
Ejemplo
1 mcd(6, 10) =
2 mcd(−4, 6) =
3 mcd(3, 0) =
Ejemplo
1 mcd(6, 10) =
2 mcd(−4, 6) =
3 mcd(3, 0) =
4 mcd(0, −3) =
Ejemplo
1 mcd(6, 10) =
2 mcd(−4, 6) =
3 mcd(3, 0) =
4 mcd(0, −3) =
5 mcd(a, 0) =
Corolario
Sean a, b, n ∈ Z. Entonces mcd(a, b) = mcd(a, b − an).
Teorema
Si a, b ∈ Z y b 6= 0, entonces existen q, r ∈ Z, únicos, tales que
r es el residuo, q el cociente.
Corolario
Sean a, b ∈ Z con b 6= 0. Sea
a/b
si ba/bc = a/b,
q = ba/bc si b > 0,
ba/bc + 1 si b < 0
y r = a − bq. Entonces
1 Si a = 20 y b = 3, entonces
1 Si a = 20 y b = 3, entonces
q = b20/3c
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r=
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18 = 2
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18 = 2
2 Si a = 14 y b = 20, entonces
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18 = 2
2 Si a = 14 y b = 20, entonces
q = b14/20c
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18 = 2
2 Si a = 14 y b = 20, entonces
q = b14/20c = 0
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18 = 2
2 Si a = 14 y b = 20, entonces
q = b14/20c = 0
r = a − bq
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18 = 2
2 Si a = 14 y b = 20, entonces
q = b14/20c = 0
r = a − bq = 14
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18 = 2
2 Si a = 14 y b = 20, entonces
q = b14/20c = 0
r = a − bq = 14
3 Si a = 80 y b = −35, entonces
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18 = 2
2 Si a = 14 y b = 20, entonces
q = b14/20c = 0
r = a − bq = 14
3 Si a = 80 y b = −35, entonces
q = b80/(−35)c + 1
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18 = 2
2 Si a = 14 y b = 20, entonces
q = b14/20c = 0
r = a − bq = 14
3 Si a = 80 y b = −35, entonces
q = b80/(−35)c + 1 = −2
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18 = 2
2 Si a = 14 y b = 20, entonces
q = b14/20c = 0
r = a − bq = 14
3 Si a = 80 y b = −35, entonces
q = b80/(−35)c + 1 = −2
r = 80 − (−35)(−2)
1 Si a = 20 y b = 3, entonces
q = b20/3c = b6 + 2/3c = 6
r = a − bq = 20 − 18 = 2
2 Si a = 14 y b = 20, entonces
q = b14/20c = 0
r = a − bq = 14
3 Si a = 80 y b = −35, entonces
q = b80/(−35)c + 1 = −2
r = 80 − (−35)(−2) = 10
q = b−35/ − 80c + 1
q = b−35/ − 80c + 1 = 1
q = b−35/ − 80c + 1 = 1
r = −35 − (−80) · 1
q = b−35/ − 80c + 1 = 1
r = −35 − (−80) · 1 = 45
q = b−35/ − 80c + 1 = 1
r = −35 − (−80) · 1 = 45
q = b−35/ − 80c + 1 = 1
r = −35 − (−80) · 1 = 45
q = b(−42)/(−13)c + 1
q = b−35/ − 80c + 1 = 1
r = −35 − (−80) · 1 = 45
q = b(−42)/(−13)c + 1 = 4
q = b−35/ − 80c + 1 = 1
r = −35 − (−80) · 1 = 45
q = b(−42)/(−13)c + 1 = 4
r = a − bq = −42 − (−13)(4)
q = b−35/ − 80c + 1 = 1
r = −35 − (−80) · 1 = 45
q = b(−42)/(−13)c + 1 = 4
r = a − bq = −42 − (−13)(4) = 10
Ejercicio
Sean a, b, q, r enteros tales que
a = bq + r .
Ejemplo
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
Ejemplo
1) Calcular mcd(4655, 1309).
2 Entonces rn = mcd(a, b)
Alejandro Lara (Fmat- Uady) Álgebra Superior II 17 de mayo de 2017 23 / 82
Ejercicio
Ejercicio
Usando el algoritmo de Euclides, calcule el máximo común divisor de
a = 2431 y b = 4807.
Teorema
Si a, b ∈ Z, entonces existen enteros x, y tales que
mcd(a, b) = ax + by .
Teorema
Si a, b ∈ Z, entonces existen enteros x, y tales que
mcd(a, b) = ax + by .
Corolario
Un entero c es combinación lineal de a y b si y solamente si
mcd(a, b) | c.
1 Se tiene
1 Se tiene
2 mcd(4655, 1309) = 7.
1 Se tiene
2 mcd(4655, 1309) = 7.
3 mcd(4655, 1309) = 4655(9) + 1309(−32)
mcd(17670, 6290) = 10
mcd(17670, 6290) = 10
10 = 17670(152) + 6290(−427)
mcd(17670, 6290) = 10
10 = 17670(152) + 6290(−427)
mcd(3026, 9962) = 34
mcd(17670, 6290) = 10
10 = 17670(152) + 6290(−427)
mcd(3026, 9962) = 34
34 = 3026(−79) + 9962(24)
20 = a · 4 + b · (−9),
Teorema
Si a y b son enteros positivos y d = ax + by es su combinación lineal
positiva mı́nima, entonces d = mcd(a, b).
Teorema
Si a y b son enteros positivos y d = ax + by es su combinación lineal
positiva mı́nima, entonces d = mcd(a, b).
Ejemplo
Teorema
Si a y b son enteros positivos y d = ax + by es su combinación lineal
positiva mı́nima, entonces d = mcd(a, b).
Ejemplo
1 Sean a = 2210 y b = 980. Se tiene
Teorema
Si a y b son enteros positivos y d = ax + by es su combinación lineal
positiva mı́nima, entonces d = mcd(a, b).
Ejemplo
1 Sean a = 2210 y b = 980. Se tiene
20 = a · 4 + b · (−9)
Teorema
Si a y b son enteros positivos y d = ax + by es su combinación lineal
positiva mı́nima, entonces d = mcd(a, b).
Ejemplo
1 Sean a = 2210 y b = 980. Se tiene
20 = a · 4 + b · (−9)
10 = a · (−47) + b · 106
Teorema
Si a y b son enteros positivos y d = ax + by es su combinación lineal
positiva mı́nima, entonces d = mcd(a, b).
Ejemplo
1 Sean a = 2210 y b = 980. Se tiene
20 = a · 4 + b · (−9)
10 = a · (−47) + b · 106
30 = a · (−43) + b · 97
Teorema
Si a y b son enteros positivos y d = ax + by es su combinación lineal
positiva mı́nima, entonces d = mcd(a, b).
Ejemplo
1 Sean a = 2210 y b = 980. Se tiene
20 = a · 4 + b · (−9)
10 = a · (−47) + b · 106
30 = a · (−43) + b · 97
Teorema
Si a y b son enteros positivos y d = ax + by es su combinación lineal
positiva mı́nima, entonces d = mcd(a, b).
Ejemplo
1 Sean a = 2210 y b = 980. Se tiene
20 = a · 4 + b · (−9)
10 = a · (−47) + b · 106
30 = a · (−43) + b · 97
75 = a · 7 + b · (−2),
75 = a · 7 + b · (−2),
1 = a · (−271) + b · 78
75 = a · 7 + b · (−2),
1 = a · (−271) + b · 78
2 = a · (9624) + b · (−2770)
75 = a · 7 + b · (−2),
1 = a · (−271) + b · 78
2 = a · (9624) + b · (−2770)
Teorema
Sean a, b y d > 0 enteros. La siguientes afirmaciones son
equivalentes:
Teorema
Sean a, b y d > 0 enteros. La siguientes afirmaciones son
equivalentes:
1) d = mcd(a, b).
Teorema
Sean a, b y d > 0 enteros. La siguientes afirmaciones son
equivalentes:
1) d = mcd(a, b).
2) d es la combinación lineal positiva mı́nima de a y b.
Teorema
Sean a, b y d > 0 enteros. La siguientes afirmaciones son
equivalentes:
1) d = mcd(a, b).
2) d es la combinación lineal positiva mı́nima de a y b.
3) d | a, d | b, y si c | a y c | b, entonces c | d.
Teorema
Sean a, b y d > 0 enteros. La siguientes afirmaciones son
equivalentes:
1) d = mcd(a, b).
2) d es la combinación lineal positiva mı́nima de a y b.
3) d | a, d | b, y si c | a y c | b, entonces c | d.
4) d | a, d | b, y d es combinación lineal de a y b.
Ejemplo
Ejemplo
1 Sean a = 2210 y b = 980. Se tiene
20 = a · 4 + b · (−9)
10 = a · (−47) + b · 106
30 = a · (−43) + b · 97
Ejemplo
1 Sean a = 2210 y b = 980. Se tiene
20 = a · 4 + b · (−9)
10 = a · (−47) + b · 106
30 = a · (−43) + b · 97
1 = a(1611) + b(−818).
1 = a(1611) + b(−818).
Teorema
Los enteros a y b son primos relativos si y solamente si existen
enteros x, y tales que
1 = ax + by .
Teorema
Los enteros a y b son primos relativos si y solamente si existen
enteros x, y tales que
1 = ax + by .
Teorema
Si a | bc y mcd(a, b) = 1, entonces a | c.
Teorema
Los enteros a y b son primos relativos si y solamente si existen
enteros x, y tales que
1 = ax + by .
Teorema
Si a | bc y mcd(a, b) = 1, entonces a | c.
Ejercicio
Pruebe que si a y b son primos relativos y a | c y b | c, entonces ab | c.
1 Recordatorio: b múltiplo de a si
1 Recordatorio: b múltiplo de a si
a|b
1 Recordatorio: b múltiplo de a si
a|b ⇐⇒ b = aq, q ∈ Z
1 Recordatorio: b múltiplo de a si
a|b ⇐⇒ b = aq, q ∈ Z
1 Recordatorio: b múltiplo de a si
a|b ⇐⇒ b = aq, q ∈ Z
1 Recordatorio: b múltiplo de a si
a|b ⇐⇒ b = aq, q ∈ Z
1 Recordatorio: b múltiplo de a si
a|b ⇐⇒ b = aq, q ∈ Z
1 Recordatorio: b múltiplo de a si
a|b ⇐⇒ b = aq, q ∈ Z
{0}
1 Recordatorio: b múltiplo de a si
a|b ⇐⇒ b = aq, q ∈ Z
{0}
1 Recordatorio: b múltiplo de a si
a|b ⇐⇒ b = aq, q ∈ Z
{0}
1 Recordatorio: b múltiplo de a si
a|b ⇐⇒ b = aq, q ∈ Z
{0}
{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
Teorema
Sean a, b ∈ Z − {0}. El mı́nimo común múltiplo de a y b es el único
entero positivo m que satisface las siguientes condiciones:
Teorema
Sean a, b ∈ Z − {0}. El mı́nimo común múltiplo de a y b es el único
entero positivo m que satisface las siguientes condiciones:
1 a | m y b | m;
Teorema
Sean a, b ∈ Z − {0}. El mı́nimo común múltiplo de a y b es el único
entero positivo m que satisface las siguientes condiciones:
1 a | m y b | m;
2 Si a | m0 y b | m0 , entonces m | m0 .
Teorema
Si a y b son enteros positivos, entonces
ab = mcd(a, b) mcm(a, b)
Teorema
Teorema
1 La ecuación Diofantina
ax + by = c (a, b, c ∈ Z) (*)
Teorema
1 La ecuación Diofantina
ax + by = c (a, b, c ∈ Z) (*)
6(1) + 8(3) =
6(1) + 8(3) = 30
6(1) + 8(3) = 30
6(−15) + 8(15) =
6(1) + 8(3) = 30
6(−15) + 8(15) = 30
6(1) + 8(3) = 30
6(−15) + 8(15) = 30
6(−7) + 8(9) =
6(1) + 8(3) = 30
6(−15) + 8(15) = 30
6(−7) + 8(9) = 30
6(1) + 8(3) = 30
6(−15) + 8(15) = 30
6(−7) + 8(9) = 30
Ejercicio
Sean a, b ∈ Z no ambos cero y sea d = mcd(a, b). Pruebe que a/d y
b/d son primos relativos.
Teorema
Si la ecuación diofantina ax + by = c tiene solución, entonces el
conjunto de todas las soluciones es
b a
x = x0 + t , y = y0 − t , t ∈ Z,
mcd(a, b) mcd(a, b)
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)
2,
2, 3,
2, 3, 5,
2, 3, 5, 7,
2, 3, 5, 7, 11,
2, 3, 5, 7, 11, 13,
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4,
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4, 6,
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4, 6, 8,
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4, 6, 8, 9,
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4, 6, 8, 9, 10,
2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 47, 53, 59.
4, 6, 8, 9, 10, 12,
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.
Teorema
Sea p un número primo y a, b ∈ Z. Si p | ab, entonces p | a o p | b.
Teorema
Sea p un número primo y a, b ∈ Z. Si p | ab, entonces p | a o p | b.
Ejercicio
Pruebe por inducción:
Teorema
Todo número natural se puede expresar en forma única, salvo el
orden, como un producto finito de números primos.
2+1=
2+1=3
2+1=3
2·3+1=
2+1=3
2·3+1=7
2+1=3
2·3+1=7
2·3·7+1=
2+1=3
2·3+1=7
2 · 3 · 7 + 1 = 43
2+1=3
2·3+1=7
2 · 3 · 7 + 1 = 43
2 · 3 · 7 · 43 + 1 =
2+1=3
2·3+1=7
2 · 3 · 7 + 1 = 43
2 · 3 · 7 · 43 + 1 = 1807
2+1=3
2·3+1=7
2 · 3 · 7 + 1 = 43
2 · 3 · 7 · 43 + 1 = 1807 = 13 · 139
2+1=3
2·3+1=7
2 · 3 · 7 + 1 = 43
2 · 3 · 7 · 43 + 1 = 1807 = 13 · 139
n = p1α1 · · · prαr .
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 .
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 .
Definición
Definición
1 Sea n ≥ 0 un entero.
Definición
1 Sea n ≥ 0 un entero.
2 Sean a, b ∈ Z. a es congruente con b módulo n si n | a − b:
a ≡ b mód n ⇔ n | a − b.
¿7 ≡ 3 mód 4?
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?
¿ − 9 ≡ −1 mód 4?
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?
¿ − 9 ≡ −1 mód 4?
¿5 ≡ 2 mód 4?
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?
¿ − 9 ≡ −1 mód 4?
¿5 ≡ 2 mód 4?
¿5 ≡ 2 mód 0?
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?
¿ − 9 ≡ −1 mód 4?
¿5 ≡ 2 mód 4?
¿5 ≡ 2 mód 0?
¿107 ≡ 3 mód 8?
¿7 ≡ 3 mód 4?
¿21 ≡ 1 mód 4?
¿ − 9 ≡ −1 mód 4?
¿5 ≡ 2 mód 4?
¿5 ≡ 2 mód 0?
¿107 ≡ 3 mód 8?
¿ − 10 ≡ 14 mód 8?
a mód n
a mód n = a + nZ
a mód n = a + nZ = {b ∈ Z : b ≡ a mód n}
a mód n = a + nZ = {b ∈ Z : b ≡ a mód n}
= {a + nk : k ∈ Z}
a mód n = a + nZ = {b ∈ Z : b ≡ a mód n}
= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
a mód n = a + nZ = {b ∈ Z : b ≡ a mód n}
= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:
a mód n = a + nZ = {b ∈ Z : b ≡ a mód n}
= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:
nZ
a mód n = a + nZ = {b ∈ Z : b ≡ a mód n}
= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:
nZ = {nk : k ∈ Z}
a mód n = a + nZ = {b ∈ Z : b ≡ a mód n}
= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:
a mód n = a + nZ = {b ∈ Z : b ≡ a mód n}
= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:
Z/nZ = {a + nZ : a ∈ Z}
a mód n = a + nZ = {b ∈ Z : b ≡ a mód n}
= {a + nk : k ∈ Z}
= {a, a ± n, a ± 2n, a ± 3n, . . . }.
3 Clase del 0:
Z/nZ = {a + nZ : a ∈ Z}
Z/4Z = {a + 4Z : a ∈ Z}
Z/4Z = {a + 4Z : a ∈ Z}
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z 11 + 4Z
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z 11 + 4Z −28 + 4Z
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z 11 + 4Z −28 + 4Z
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z 11 + 4Z −28 + 4Z
Z/4Z = {a + 4Z : a ∈ Z}
1 + 4Z 2 + 4Z 11 + 4Z −28 + 4Z
Teorema
Teorema
1 El conjunto Z/nZ junto con las operaciones
Teorema
1 El conjunto Z/nZ junto con las operaciones
Teorema
1 El conjunto Z/nZ junto con las operaciones
3 La cardinalidad de Z/nZ es n.
am mód n = a
| · a{z
· · · · a} módn
m veces
= (a mód n) · (a mód n) · · · (a mód n)
| {z }
m veces
m
= (a mód n) .
am mód n = a
| · a{z
· · · · a} módn
m veces
= (a mód n) · (a mód n) · · · (a mód n)
| {z }
m veces
m
= (a mód n) .
4 Por ejemplo
am mód n = a
| · a{z
· · · · a} módn
m veces
= (a mód n) · (a mód n) · · · (a mód n)
| {z }
m veces
m
= (a mód n) .
4 Por ejemplo
332014 = 33 · · · 33 = 1 · · · 1 = 1.
a = a0 + a1 10 + a2 102 + · · ·
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 =
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
a = a0 + a1 10 + a2 102 + · · ·
3 Se quiere determinar a0 y a1 (¿no que los últimos dı́gitos?)
4 Reducción módulo 100: a mód 100 = (a0 + a1 10) mód 100.
5 Se observa
Teorema
Teorema
Teorema
Teorema
Teorema
Teorema
1) La ecuación lineal ax ≡ b mód n tiene solución ⇐⇒ mcd(a, n) | b.
Teorema
1) La ecuación lineal ax ≡ b mód n tiene solución ⇐⇒ mcd(a, n) | b.
2) Si mcd(a, n) | b, una solución de ax ≡ b mód n es
b
x0 = r , donde mcd(a, n) = ar + ns,
mcd(a, n)
Teorema
1) La ecuación lineal ax ≡ b mód n tiene solución ⇐⇒ mcd(a, n) | b.
2) Si mcd(a, n) | b, una solución de ax ≡ b mód n es
b
x0 = r , donde mcd(a, n) = ar + ns,
mcd(a, n)
Teorema
1) La ecuación lineal ax ≡ b mód n tiene solución ⇐⇒ mcd(a, n) | b.
2) Si mcd(a, n) | b, una solución de ax ≡ b mód n es
b
x0 = r , donde mcd(a, n) = ar + ns,
mcd(a, n)
Ejemplo SageMath
El comando solve mod(eqn,modulo) calcula las soluciones de la
ecuación lineal.
140
34 + k = 34 + 10k, k ∈ Z.
14
140
34 + k = 34 + 10k, k ∈ Z.
14
6 Las soluciones diferentes módulo 140 son:
34, 44, 54, 64, 74, 84, 94, 104, 114, 124, 134, 4, 14, 24.
Ejemplo SageMath
Con sage
1 φ(90) = |(Z/90Z)∗ | = 24
2 Las unidades son
Teorema
Teorema
1 Si mcd(a, n) = 1 y ab ≡ ac mód n, entonces b ≡ c mód n.
Teorema
1 Si mcd(a, n) = 1 y ab ≡ ac mód n, entonces b ≡ c mód n.
2 Equivalentemente, en Z/nZ,
1 Resolver el sistema
x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)
1 Resolver el sistema
x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)
1 Resolver el sistema
x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)
1 Resolver el sistema
x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)
1 Resolver el sistema
x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)
1 Resolver el sistema
x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)
3k ≡ −4 mód 5.
1 Resolver el sistema
x ≡ 8 mód 3, (1)
x ≡ 4 mód 5. (2)
3k ≡ −4 mód 5.
Teorema
Teorema
1 Sean a, b ∈ Z y sean m y n enteros positivos primos relativos.
Entonces el sistema de congruencias
x ≡a mód m
x ≡b mód n
tiene solución.
Teorema
1 Sean a, b ∈ Z y sean m y n enteros positivos primos relativos.
Entonces el sistema de congruencias
x ≡a mód m
x ≡b mód n
tiene solución.
2 De hecho, x = a + rm(b − a) es una solución, donde 1 = mr + ns.
Teorema
1 Sean a, b ∈ Z y sean m y n enteros positivos primos relativos.
Entonces el sistema de congruencias
x ≡a mód m
x ≡b mód n
tiene solución.
2 De hecho, x = a + rm(b − a) es una solución, donde 1 = mr + ns.
3 La solución es única módulo mn.
x ≡ 8 mód 10,
x ≡ 10 mód 21.
x ≡ 8 mód 10,
x ≡ 10 mód 21.
x ≡ 8 mód 10,
x ≡ 10 mód 21.
x ≡ 8 mód 10,
x ≡ 10 mód 21.
x ≡ 24 mód 35
x ≡ 24 mód 35
2 Observe que 35 = 5 × 7
x ≡ 24 mód 35
2 Observe que 35 = 5 × 7
3 La congruencia anterior se convierte en el sistema de
congruencias:
x ≡ 4 mód 5
x ≡ 3 mód 7
Ejercicio
Ejercicio
1 Sean p, q primos distintos. Pruebe que x 2 ≡ a mód pq tiene
solución si y solo si el sistema
x 2 ≡ a mód p
x 2 ≡ a mód q
tiene solución.
Ejercicio
1 Sean p, q primos distintos. Pruebe que x 2 ≡ a mód pq tiene
solución si y solo si el sistema
x 2 ≡ a mód p
x 2 ≡ a mód q
tiene solución.
2 Usando (1), determine si la ecuación x 2 ≡ 11 mód 35 tiene
solución.
Ejercicio
Pruebe que el sistema de congruencias
x ≡ a mód m
x ≡ b mód n