Teórica XII - Máximo común divisor y

combinación entera, coprimos

Máximo Común Divisor

DEF:
Sean a, b ∈ Zno ambos nulos. El MCD entre ay bes el mayor de los divisores comunes entre ay
by se nota (a : b).
Observaciones:

• (a : b) ∈ Npues (a : b) ≥ 1.
• Siempre existe, pues 1 ∈ DivC om+ (a, b). ​

DivC om+ (a, b) = Div + (a) ∩ Div + (b) 

​ ​ =∅ ​

Y no puede ser tan grande pues si d∣ay d∣b, entonces ∣d∣ ≤ ∣a∣y ∣d∣ ≤ ∣b∣.

Propiedades:
Sean a, b ∈ Zno ambos nulos
1. (a : b) = (±a : ±b)
2. (a : b) = (b : a)
3. (a : 1) = 1
4. (a : 0) = ∣a∣ ∀a ∈ Z − {0}
5. Si b∣a, entonces (a : b) = ∣b∣ si b ∈ Z − {0}

Algoritmo de Euclides
Proposición:
Sean a, b ∈ Zcon b =
 0
Entonces ∀k ∈ Z se tiene

(a : b) = (b : a − kb)

En particular, como rb (a)

​ = a − kb, con k el cociente (para b =
 0), se tiene

(a : b) = (b : rb (a))
​

Ejemplo:
Calcular (−120 : 84) = (120 : 84)
1. Divido a 120por 84:

120 = 84 + 36 ⟹ (120 : 84) = (84 : 36)

2. Divido a 84por 36:
84 = 2 ⋅ 36 + 12 ⟹ (84 : 36) = (36 : 12)
3. Divido a 36por 12:

36 = 3 ⋅ 12 + 0 ⟹ (36 : 12) = (12 : 0) = 12

En conclusión:

(120 : 84) = (84 : 36) = (36 : 12) = (12 : 0) = 12  ​

Máximo común divisor y combinación entera

Teorema: El máximo común divisor es combinación entera
Sean a, b ∈ Zno ambos nulos, entonces

∃s, t ∈ Z : (a : b) = sa + tb

Ejemplo:
(324 : 120)usando el algoritmo de Euclides:

(324 : 120)
324 = 2 ⋅ 120 + 84

⋮
⟹ 12 = (324 : 120)

Mirándolo "de abajo para arriba":

12 = 84 − 2 ⋅ 36
= 84 − 2(120 − 84)
= 3 ⋅ 84 − 2 ⋅ 120
= 3(324 − 2 ⋅ 120) − 2 ⋅ 120
​ ​

12 = 3 ⋅ 324 + −8 ⋅ 120
​ ​

s t

Consecuencias:
1. El máximo común divisor satisface que todo divisor común lo divide.

Sean a, b ∈ Zno ambos nulos, y d ∈ Z − {0}. Si

d∣a y d∣b ⟹ d∣(a : b)

2. Sea c ∈ Z. Entonces

∃s′ , t′ ∈ Z con c = s′ a + t′ b ⟺ (a : b)∣c

3. Sea a, b ∈ Zno ambos nulos, y sea k ∈ N

(ka : kb) = k(a : b)

Coprimos
DEF:
Dados a, b ∈ Zno ambos nulos, se dice que son números coprimos si (a : b) = 1.
Notación: a ⊥ b ⟺ (a : b) = 1
Observación:

a ⊥ b ⟺ ∃s, t ∈ Z tal que 1 = sa + tb

Coprimizar
Proposición:
Sean a, b ∈ Zno ambos nulos. Entonces

a b
⊥
(a : b) (a : b)
​ ​

{
a = (a : b)a′
con a′ ⊥ b′
b = (a : b)b′
​

Propiedades de coprimos:
1. Sean a, c, d ∈ Zcon c, d =
 0, c ⊥ d, entonces

c∣a, d∣a ⟺ cd∣a

2. Sean a, b, d ∈ Zcon d =
 0. Entonces

d∣ab y d ⊥ a ⟺ d∣b