Álgebra I

ARITMÉTICA ENTERA

1.1 EL CONJUNTO DE LOS NÚMEROS ENTEROS (ℤ)

Definición:
El conjunto de los números enteros ℤ se define como la unión del conjunto de los números
naturales ℕ, sus opuestos aditivos −ℕ y el neutro aditivo 0, es decir
ℤ = ℕ ∪ {0} ∪ −ℕ
donde −ℕ = {𝑚 ∈ ℝ ∶ −𝑚 ∈ ℕ}.

Proposición:
(i) 𝑎, 𝑏 ∈ ℤ ⇒ 𝑎 + 𝑏 ∈ ℤ ∧ 𝑎 − 𝑏 ∈ ℤ ∧ 𝑎𝑏 ∈ ℤ
(ii) 𝑎, 𝑏 ∈ ℤ ⇒ (𝑎𝑏 = 1 ⇔ 𝑎 = 𝑏 = 1 ∨ 𝑎 = 𝑏 = −1)

Proposición: La suma y el producto de números enteros tienen las siguientes

propiedades

(i) La suma es asociativa y conmutativa

(ii) El producto es asociativo y conmutativo
(iii) La suma y el producto satisfacen la propiedad distributiva
(iv) El 0 es el único elemento neutro para la suma
(v) El 1 es la única identidad para el producto
(vi) Cada entero tiene un único opuesto entero

Proposición:
Los únicos números enteros que tienen inverso multiplicativo entero son 1 y -1.

A pesar de que los enteros distintos de ±1 no poseen inversos, a veces

sucede que dados dos enteros 𝑎, 𝑏, 𝑏𝑎 −1 si es entero, donde 𝑎−1 es el
inverso en ℝ de 𝑎 (que es racional). Este fenómeno nos lleva a estudiar la
divisibilidad de los números enteros.

1.2 DIVISIBILIDAD
Definición:
Sean 𝑎, 𝑏 ∈ ℤ, 𝑏 ≠ 0, decimos que 𝑏 divide a 𝑎 o que 𝑏 es divisor de 𝑎 o que 𝑎 es múltiplo de 𝑏
o que 𝑎 es divisible por 𝑏 si existe un número 𝑐 ∈ ℤ tal que 𝑎 = 𝑏𝑐 y lo denotamos por 𝑏|𝑎.
𝑏|𝑎 ⇔ ∃𝑐 ∈ ℤ ∶ 𝑎 = 𝑏𝑐

Nota: Según la bibliografía, la condición 𝑏 ≠ 0 puede ser innecesaria, y

habilitar afirmaciones como 0|𝑎 ⇔ 𝑎 = 0.

Proposición:
Para todo 𝑎, 𝑏 ∈ ℤ, valen las siguientes propiedades.
(i) 1| ± 𝑎 y −1| ± 𝑎
(ii) 𝑎| ± 𝑎 y – 𝑎| ± 𝑎 (Simetría)
(iii) 𝑎|𝑏 ⇔ 𝑎| ± 𝑏 y – 𝑎| ± 𝑏
(iv) 𝑎|0
PÁGINA | 1 DE 8
 Álgebra I
ARITMÉTICA ENTERA
(v) 0|𝑎 ⇔ 𝑎 = 0

Notar que la definición que trabajamos no contempla la afirmación 0|𝑎,

pero para otros autores este resultado es útil.

Proposición:
Los enteros no tienen divisores de cero, es decir, no hay enteros distintos de 0 que multiplicados
den 0.

El uso del término divisor de 0 no es el mismo que el dado en la definición

1.2.1.

Lema:
Sean 𝑎, 𝒃, 𝒄 ∈ ℤ todos no nulos, entonces valen las siguientes propiedades.
(i) Si 𝑎|𝑏 y 𝑏|𝑐 entonces 𝑎|𝑐 (Transitividad)
(ii) Si 𝑎|𝑏 y 𝑏|𝑎 entonces |𝑎| = |𝑏|, es decir 𝑎 = 𝑏 o 𝑎 = −𝑏
(iii) Si 𝑎|𝑏 y 𝑏|𝑐 entonces 𝑎|𝑏 y 𝑎|𝑏 ± 𝑐
(iv) Si 𝑎|𝑏 ± 𝑐 y 𝑎|𝑏 entonces 𝑎|𝑐
(v) Si 𝑎|𝑏 entonces 𝑎|𝑏 y 𝑎|𝑏𝑐
(vi) Si 𝑎|𝑏 y 𝑏 ≠ 0, entonces |𝑎| ≤ |𝑏|

La relación 𝑎|𝑏 sobre un conjunto 𝐴 tal que 𝐴 ⊆ ℕ 𝑜 𝑏𝑖𝑒𝑛 𝐴 ⊆ −ℕ define

una relación de orden parcial. Notar que esto no es cierto si 𝐴 ⊈ ℕ y 𝐴 ⊈
−ℕ, dado que si 𝑎|𝑏 y 𝑏|𝑎 no es necesariamente cierto que 𝑎 = 𝑏, y la
antisimetría no se cumpliría.

1.3 LA DIVISIÓN ENTERA

Lema:

Dados dos enteros positivos 𝒂 y 𝒃, existen enteros 𝒒 y 𝒓 con 𝟎 ≤ 𝒓 < 𝒃, tales que 𝒂 = 𝒒𝒃 + 𝒓.
Más aún, 𝒒 y 𝒓 son únicos en estas condiciones.

Teorema (Algoritmo de la división):

Dados 𝑎 𝑦 𝑏 enteros cualesquiera con 𝑏 ≠ 0, existen enteros 𝑞 y 𝑟 con 0 ≤ 𝑟 < |𝑏| tales que
𝑎 = 𝑞𝑏 + 𝑟. Más aún, en estas condiciones 𝑞 y 𝑟 son únicos.

En clase se trabajó una versión menos general del algoritmo de la división,

dada como sigue.

Sean 𝑎, 𝑏 ∈ ℤ, 𝑏 > 0 entonces existen enteros 𝑞 y 𝑟 tales que 𝑎 = 𝑏𝑞 +

𝑟, 𝑐𝑜𝑛 0 ≤ 𝑟 < 𝑏. Además, 𝑞 y 𝑟 son únicos con esta propiedad, es decir si
𝑎 = 𝑏𝑞 + 𝑟 ∧ 𝑎 = 𝑏𝑞 ′ + 𝑟 ′ , 𝑐𝑜𝑛 0 ≤ 𝑟, 𝑟 ′ < 𝑏 entonces 𝑞 = 𝑞′ y 𝑟 = 𝑟′.
Dados 𝑎, 𝑏, 𝑞 y 𝑟 como en el teorema, los números 𝑞 y 𝑟 son llamados
respectivamente cociente y resto de la división de 𝑎 por 𝑏. Además 𝑎|𝑏 ⇔
𝑟=0

PÁGINA | 2 DE 8
 Álgebra I
ARITMÉTICA ENTERA
[Link] Ejemplo: Dividir -103 por -7
Para eso dividimos 103 por 7.
103 = 7 × 14 + 5 ⇒ −103 = 7 × (−14) − 5
⇒ −103 = 8 × (−14) − (−14) − 5 = 8 × (−14) + 9
⇒ −103 = 8 × (−14) + 9

[Link] Ejemplo: Exprese el número (𝟑𝟕)𝟏𝟎 en base 2.

37 = 1 × (25 ) + 5

5 = 1 × (22 ) + 1

Luego 37 = 1 × (25 ) + 0 × (24 ) + 0 × (23 ) + 1 × (22 ) + 0 × (21 ) + 1 × (20 ) = (100101)2

1.4 MÁXIMO COMÚN DIVISOR

Definición:
Dados 𝑎, 𝑏 ∈ ℤ, con 𝑏 ≠ 0, decimos que 𝑑 es el máximo común divisor (MCD) de 𝑎 y 𝑏 si 𝑑 ∈
ℕ y además
(i) 𝑑|𝑎 y 𝑑|𝑏
(ii) Si 𝑐|𝑎 y 𝑐|𝑏, entonces 𝑐|𝑑

Proposición:
Si el máximo común divisor de 𝑎 y 𝑏 existe, entonces es único.

Todavía no estamos en condiciones de demostrar que el máximo común

divisor existe.

Proposición:
De la definición del máximo común divisor se desprende inmediatamente que
(i) (𝑎, 𝑏) ≥ 1
(ii) (𝑎, 𝑏) = (𝑏, 𝑎)
(iii) (1, 𝑎) = 1
(iv) (0, 𝑏) = |𝑏|
(v) (𝑎, 𝑏) = (|𝑎|, |𝑏|) 𝑦 𝑒𝑛 𝑝𝑎𝑟𝑡𝑖𝑐𝑢𝑙𝑎𝑟 (𝑎, 𝑏) = (−𝑎, 𝑏) = (𝑎, −𝑏) = (−𝑎, −𝑏)
𝑎 𝑏
(vi) (𝑎,𝑏) ∈ ℤ ∧ (𝑎,𝑏) ∈ ℤ

Definición:
Dos números enteros 𝑎 y 𝑏 no simultáneamente nulos se dicen coprimos si (𝑎, 𝑏) = 1.

Proposición:
Si 𝑥 es coprimo con 𝑥1 𝑥2 … 𝑥𝑛 , entonces 𝑥 es comprimo con 𝑥1 , 𝑥 es coprimo con 𝑥2 , … , 𝑥 es
comprimo con 𝑥𝑛 .

Proposición:
Sean 𝑎 y 𝑏 enteros dados, no simultáneamente nulos. Entonces para cualquier entero 𝑚, se
cumple que
(𝑎, 𝑏) = (𝑎, 𝑏 + 𝑚𝑎)
PÁGINA | 3 DE 8
 Álgebra I
ARITMÉTICA ENTERA
Proposición (Fundamento del Algoritmo de Euclides)
Dados 𝑎, 𝑏 enteros cualesquiera, no simultáneamente nulos, sean 𝑎 = 𝑞𝑏 + 𝑟 la división entera
de 𝑎 por 𝑏. Entonces (𝑎, 𝑏) = (𝑏, 𝑟).

[Link] Ejemplo: Calcular (𝟒𝟓, 𝟑𝟎)

Dividimos 45 por 30.
45 = 1 × 30 + 15
Por la proposición anterior, (45,30) = (30,15). Repetimos nuevamente el procedimiento,
30 = 2 × 15 + 0
Luego (30,15) = (15,0) = 15. ∎

Acabamos de aplicar el algoritmo de Euclides para expresar el máximo

común divisor como (𝑎, 𝑏) = (𝑑, 0) y concluir que (𝑎, 𝑏) = 𝑑 pues
(𝑑, 0) = 𝑑. Siempre podemos realizar este procedimiento.

Algoritmo de Euclides:
Paso 1: Podemos suponer que 𝑎, 𝑏 ≥ 0 y como (𝑎, 𝑏) = (|𝑎|, |𝑏|), podemos suponer que 𝑎 ≥ 𝑏.
Paso 2: Si 𝑎 = 𝑏, entonces (𝑎, 𝑏) = 𝑎. Fin.
Paso 3: Si 𝑏 = 0, entonces (𝑎, 𝑏) = 𝑎. Fin.
Paso 4: Sean 𝑎′ = 𝑎 y 𝑏 ′ = 𝑏. Dividimos 𝑎′ por 𝑏′.
𝑎′ = 𝑞 × 𝑏 ′ + 𝑟
Si 𝑟 = 0, entonces (𝑎, 𝑏) = (𝑎′ , 𝑏 ′ ) = 𝑏′. Fin.
Paso 5: Se repite el paso anterior con 𝑎′ = 𝑏 ′ y 𝑏 ′ = 𝑟 hasta terminar.

Teorema:
Dados 𝑎, 𝑏 ∈ ℤ, no simultáneamente nulos, existe un número 𝑑 ∈ ℕ que satisface que
(i) 𝑑|𝑎 y 𝑑|𝑏
(ii) Si 𝑐|𝑎 y 𝑐|𝑏 entonces 𝑐|𝑑.
Más aún, en estas condiciones 𝑑 es único. Llamamos a 𝑑 el máximo común divisor de 𝑎 y 𝑏 y
lo denotamos 𝑑 = (𝑎, 𝑏) o 𝑑 = 𝑀𝐶𝐷(𝑎, 𝑏).

𝐓𝐞𝐨𝐫𝐞𝐦𝐚: (𝐈𝐝𝐞𝐧𝐭𝐢𝐝𝐚𝐝 𝐨 𝐋𝐞𝐦𝐚 𝐝𝐞 𝐁é𝐳𝐨𝐮𝐭)

Dados 𝑎, 𝑏 ∈ ℤ, 𝑏 ≠ 0, existen 𝑠, 𝑡 ∈ ℤ tales que 𝑠𝑎 + 𝑡𝑏 = (𝑎, 𝑏). Se dice que (𝑎, 𝑏) es una
combinación lineal entera de 𝑎 y 𝑏.

Proposición:
Dado dos enteros 𝑎 y 𝑏, no simultáneamente nulos, el máximo común divisor (𝑎, 𝑏) es el menor
natural que se escribe como combinación lineal entera de (𝑎, 𝑏)

Lema de Euclides:
Si 𝑎|𝑏𝑐, con 𝑎 y 𝑏 coprimos, entonces 𝑎|𝑐.
𝑐 = 𝑎(𝑝𝑐) + 𝑞(𝑏𝑐)

PÁGINA | 4 DE 8
 Álgebra I
ARITMÉTICA ENTERA
Como 𝑎|𝑎(𝑝𝑐) y 𝑎|𝑏𝑐 por lo que 𝑎|𝑞(𝑏𝑐), entonces 𝑎|𝑎𝑝𝑐 + 𝑞𝑏𝑐, es decir 𝑎|𝑐. ∎

Proposición:
Dados 𝑎, 𝑏 ∈ ℤ, se sabe que (𝑎, 𝑏) = 1 ⇔ ∃𝑝, 𝑞 ∈ ℤ ∶ 𝑎𝑝 + 𝑏𝑞 = 1.

Corolario:
𝑎 𝑏
Dados 𝑎, 𝑏 ∈ ℤ, no simultáneamente nulos, (𝑎,𝑏) y (𝑎,𝑏) son coprimos.

1.5 NÚMEROS PRIMOS

Definición:
Si 𝑝 ∈ ℤ, entonces 𝑝 se dice un número primo si 𝑝 ≠ ±1 y si 𝑝 admite como únicos divisores a
±1 y a ±𝑝.

Lema:
Sea 𝑝 ∈ ℤ. Si 𝑝 es primo, cada vez que 𝑝 divide a un producto 𝑎𝑏 de enteros, 𝑝 divide
necesariamente a uno de ellos.
𝑝|𝑎𝑏 ⇒ 𝑝|𝑎 ∨ 𝑝|𝑏

Lema (generalizado):
Si 𝑝 ∈ ℤ es primo, y 𝑝 divide a un producto de enteros 𝑎1 𝑎2 𝑎3 … 𝑎𝑛 entonces 𝑝|𝑎𝑗 para algún 𝑗,
con 1 ≤ 𝑗 ≤ 𝑛.

Proposición:
Si 𝑝 y 𝑞 son primos positivos, y 𝑝|𝑞, entonces 𝑝 = 𝑞.

Lema:
Si 𝑎, 𝑏, 𝑐 ∈ ℕ y 𝑎 = 𝑏𝑐 entonces 𝑏 ≤ 𝑎 y 𝑐 ≤ 𝑎.

Lema:
Sea 𝑎 ∈ ℤ, 𝑎 ≠ ±1 y 𝑎 ≠ 0 y 𝑎 NO es primo, entonces existe un número natural 𝑡 con 1 < 𝑡 <
|𝑎| tal que 𝑡|𝑎

Teorema:
Todo entero distinto de ±1 es divisible por un número primo.

Teorema:
Existen infinitos números primos.

Proposición (Criba de Eratóstenes):

Sea 𝑎 ∈ ℕ un número cualquiera. Si 𝑎 no es primo, entonces existe al menos un número primo
𝑝0 ∈ ℕ talque 𝑝0 |𝑎 y 𝑝0 ≤ ⌊√𝑎⌋.

Teorema de Pascal:
𝑛+1 𝑛 𝑛
( ) = ( )+( )
𝑘 𝑘 𝑘−1
Teorema:
Los números combinatorios son enteros.
𝑛
( ) ∈ ℤ, ∀𝑛 ∈ ℕ ∪ {0} ∶ 0 ≤ 𝑘 ≤ 𝑛
𝑘
PÁGINA | 5 DE 8
 Álgebra I
ARITMÉTICA ENTERA
Aplicación:
Si 𝑝 es primo, 𝑝 > 0, entonces para 1 ≤ 𝑖 < 𝑝, tenemos que 𝑝|(𝑝𝑖)

Corolario:
𝑆𝑖 𝑝 es primo, dados 𝑎, 𝑏 enteros no nulos, tenemos que para algún 𝑘 ∈ ℤ, se cumple que
(𝑎 + 𝑏)𝑝 = 𝑏 𝑝 + 𝑝𝑘 + 𝑎𝑝

En general, no es cierto que (𝑎 + 𝑏)𝑛 = 𝑎𝑛 + 𝑛𝑘 + 𝑏 𝑛 si 𝑛 no es primo.

Teorema Fundamental de la Aritmética (Existencia y Unicidad):

Sea 𝑚 ∈ ℤ, 𝑚 ≠ 0, 𝑚 ≠ ±1. Entonces 𝑚 se factoriza como producto de primos positivos
𝑝1 , 𝑝2 , … , 𝑝𝑟 de una de las siguientes formas:
𝑟 𝑟

𝑚 = ∏ 𝑝𝑗 ó 𝑚 = − ∏ 𝑝𝑗
𝑗=1 𝑗=1

Y esta factorización es única salvo por el orden de los factores.

[Link] Teorema Fundamental de la Aritmética (versión II):

Todo entero no nulo distinto de 1 o de −1 es el producto de números primos positivos si es
positivo, o es el producto de números primos positivos por −1 si es negativo. Los distintos
factores que aparecen y sus multiplicidades son únicos. Es decir, la factorización mencionada es
única salvo el orden de sus factores.

1.6 MÍNIMO COMÚN MÚLTIPLO

Definición:
Dados 𝑎, 𝑏 ∈ ℤ, 𝑎 ≠ 0, 𝑏 ≠ 0, entonces 𝑎𝑏 y – 𝑎𝑏 son múltiplos comunes de 𝑎 y de 𝑏.
Sea 𝐻 = { 𝑚 ∈ ℕ ∶ 𝑚 𝑒𝑠 𝑚ú𝑙𝑡𝑖𝑝𝑙𝑜 𝑑𝑒 𝑎 𝑦 𝑏} ≠ ∅, donde es claro que 𝐻 ⊆ ℕ. Por el principio
de buena ordenación, existe un primer elemento en 𝐻 que llamamos 𝑚0 y que satisface que
(i) 𝑚0 ∈ ℕ
(ii) 𝑚0 es múltiplo de 𝑎 y de 𝑏
(iii) Si 𝑛 es un múltiplo de 𝑎 y de 𝑏, entonces 𝑚0 ≤ 𝑛.
Llamamos a 𝑚0 el mínimo común múltiplo de 𝑎 y 𝑏, y lo denotamos por [𝑎, 𝑏].
Convención: Si 𝑎 = 0 ó 𝑏 = 0, entonces [𝑎, 𝑏] = 0.

Propiedades del mínimo común múltiplo:

(i) 𝑎 ∈ ℤ ⇒ [𝑎, 𝑎] = |𝑎|
(ii) ∀𝑎, 𝑏 ∈ ℤ, 𝑏 > 0, ([𝑎, 𝑏] = 𝑏 ⇔ 𝑎|𝑏)
(iii) ∀𝑎, 𝑏, 𝑘 ∈ ℤ, 𝑎 ≠ 0, 𝑏 ≠ 0, (𝑎|𝑘 ∧ 𝑏|𝑘 ⇒ [𝑎, 𝑏]|𝑘)

Definición (versión II):

Dados 𝑎, 𝑏 ∈ ℤ, con 𝑎 ≠ 0, 𝑏 ≠ 0, decimos que 𝑚0 es el mínimo común múltiplo de 𝑎 y de 𝑏 si
𝑚0 ∈ ℕ y además
(i) 𝑎|𝑚0 y 𝑏|𝑚0
(ii) Para todo 𝑘 ∈ ℤ, si 𝑎|𝑘 y 𝑏|𝑘, entonces 𝑚0 |𝑘.

PÁGINA | 6 DE 8
 Álgebra I
ARITMÉTICA ENTERA
Proposición (Máximo Común Divisor y el TFA):
𝑘 ℎ
Sean 𝑎, 𝑏 ∈ ℤ, 𝑎 ≠ 0, 𝑏 ≠ 0, tal que 𝑎 = 𝜖 ∏𝑟𝑗=1 𝑝𝑗 𝑗 y 𝑏 = 𝜖 ∏𝑟𝑗=1 𝑝𝑗 𝑗 donde 𝜖, 𝜖 ′ = ±1 y todos
los 𝑝𝑗 son primos positivos distintos entre sí, para 1 ≤ 𝑗 ≤ 𝑟. Entonces
𝑟
min(𝑘𝑗 ,ℎ𝑗 )
(𝑎, 𝑏) = ∏ 𝑝𝑗
𝑗=1

Teorema:
Si 𝑎, 𝑏 ∈ ℤ ∖ {0}, el mínimo común múltiplo está dado por
|𝑎𝑏|
(i) [𝑎, 𝑏] = (𝑎,𝑏)
𝑘 ℎ
(ii) 𝑠𝑖 𝑎 = ∏𝑟𝑗=1 𝑝𝑗 𝑗 , 𝑏 = ∏𝑟𝑗=1 𝑝𝑗 𝑗 , ℎ𝑗 ≥ 0, entonces
𝑟
max(𝑘𝑗 ,ℎ𝑗 )
[𝑎, 𝑏] = ∏ 𝑝𝑗
𝑗=1

1.7 CONJUNTO DE MÚLTIPLOS Y DIVISORES DE UN NÚMERO

Esta sección no se dictó en las clases teóricas y reúne material de la

bibliografía sugerida, brindando otra forma de definir el máximo común
divisor.

Definición:
Sea Div(𝑛) el conjunto de divisores de un entero 𝑛, es decir,
Div(𝑛) = {𝑑 ∈ ℤ ∶ 𝑑|𝑛}

Proposición:
Para todo 𝑎, 𝑏, 𝑛 ∈ ℤ se tiene que
(i) {1, −1, 𝑛, −𝑛} ⊆ Div(𝑛)
(ii) Div(1) = {1, −1}
(iii) Div(0) = ℤ
(iv) 𝑎 ∈ Div(𝑛) ⇔ −𝑎 ∈ Div(𝑛)
(v) Div(𝑛) = Div(−𝑛)
(vi) 𝑎|𝑏 ⇔ Div(𝑎) ⊆ Div(𝑏)

Lema:
Si 𝑏 ≠ 0 y 𝑎|𝑏, entonces |𝑎| ≤ |𝑏|.

Proposición:
Sea 𝑛 ∈ ℤ, 𝑛 ≠ 0. El conjunto de divisores de 𝑛 es finito, más aun
Div(𝑛) = ⟦−𝑛, 𝑛⟧

Definición:
Un múltiplo de 𝑎 es un entero 𝑚 para el cual existe un entero 𝑐 con 𝑚 = 𝑎𝑐.

PÁGINA | 7 DE 8
 Álgebra I
ARITMÉTICA ENTERA
Si 𝑎 ≠ 0, los múltiplos de 𝑎 son infinitos. Más aun, hay una biyección
natural con los enteros.

Definición:
Dado 𝑎 ∈ ℤ, consideramos el conjunto de múltiplos de 𝑎, que denotamos por 𝐼𝑎 . Tenemos
𝐼𝑎 = {𝑎𝑐 ∶ 𝑐 ∈ ℤ}

Proposición:
Sea 𝑎 ∈ ℤ, se cumple que
(i) 𝐼0 = {0}
(ii) 𝐼1 = ℤ
(iii) 𝐼𝑎 = 𝐼−𝑎
(iv) 0 ∈ 𝐼𝑎
(v) Si 𝑚, 𝑛 ∈ 𝐼𝑎 , entonces 𝑚 + 𝑛 ∈ 𝐼𝑎
(vi) Si 𝑚 ∈ 𝐼𝑎 y 𝑛 ∈ ℤ entonces 𝑚𝑛 ∈ 𝐼𝑎

Lema:
Dados enteros 𝑎 y 𝑏, 𝑎|𝑏 si y solo si 𝐼𝑏 ⊆ 𝐼𝑎

Proposición:
Todo conjunto de números reales, no vacío y finito, tiene máximo y mínimo.

Definición:
Dados dos enteros 𝑎 y 𝑏 no simultáneamente nulos, el máximo común divisor de 𝑎 y 𝑏, es el
mayor de los divisores comunes de 𝑎 y 𝑏. El máximo común divisor de 𝑎 y 𝑏 se denota por
(𝑎, 𝑏). Podemos escribir
(𝑎, 𝑏) = máx{Div(𝑎) ∩ Div(𝑏)}

Por ser Div(𝑎) ∩ Div(𝑏) un conjunto no vacío y finito, posee un máximo, por lo que (𝑎, 𝑏)
siempre existe.

PÁGINA | 8 DE 8