Curso 2-2023 1

Álgebra abstracta I
Lista de problemas Nro. 7 (Trabajo extra)
Fecha de entrega: 17.12.2023.

Sea R un anillo conmutativo con identidad. Para a, b ∈ R \ {0} defina el máximo común
divisor de a y b, que se escribe mcd(a, b). Con esta definición demuestre lo siguiente:
1. Sea D un dominio entero, y sean a, b ∈ D \ {0}. Suponga que x es un mcd de a y b.
Entonces y es un mcd de a y b si y sólo si x e y son asociados.
2. Sea D un DFU, y sean a, b ∈ D \ {0}. Entonces mcd(a, b) existe.
3. Sea D un DIP, sean a, b ∈ D \ {0}. Entonces mcd(a, b) = sa + tb para algunos s, t ∈ D.
En particular,
(mcd(a, b)) = (a, b).
4. Sea D un DIP, y sean a, b ∈ D \ {0}. Entonces a y b son primos relativos si y sólo si
existen u, v ∈ D con au + bv = 1.
5. Sea D un DFU, y sean a, b ∈ D \{0}. Suponga que a | bc y que mcd(a, b) = 1. Entonces
a | c.
6. Sea D un dominio euclidiano, y sean a, b ∈ D \ {0}. Si a = bq + r con r 6= 0, entonces
mcd(a, b) = mcd(b, r).
7. Sea D un dominio euclidiano con función de grado d. Sean a, b ∈ D \ {0}. Defina una
sucesión de elementos de D recursivamente como sigue: Sea r0 = a, r1 = b, y, para
k > 1, siempre y cuando rk−1 6= 0, escriba
rk−2 = qk rk−1 + rk ,
donde rk = 0 o d(rk ) < d(rk−1 ). Si rk−1 = 0, entonces ponga rk = 0 también. Entonces
la sucesión r0 , r1 , . . . , rk , . . . terminará en una cadena de ceros, y su último elemento
no nulo será el mcd de a y b.
En otras palabras, si b | a, entonces mcd(a, b) = b. De lo contrario, escribimos
a = q2 b + r2 r2 6= 0
b = q3 r2 + r3 r3 6= 0
r2 = q4 r3 + r4 r4 6= 0
..
.
rk−2 = qk rk−1 + rk rk 6= 0
rk−1 = qk rk .
Entonces rk = mcd(a, b) en D.

UMSA FCPN Matemática

2 Curso 2-2023

Sea R un anillo conmutativo con identidad, y sean a, b ∈ R\{0}. Defina el mı́nimo común
múltiplo de a y b, que se escribe mcm(a, b). Con esta definición demuestre lo siguiente:

1. Sea D un dominio entero con a, b ∈ D \ {0}, y sea c ∈ D. Entonces c = mcm(a, b) si y

sólo si (c) = (a) ∩ (b).

2. Sea D un dominio entero donde cada par de elementos no nulos tiene un máximo común
divisor. Entonces cada par de elementos no nulos de D también tiene un mı́nimo común
múltiplo. En particular, en un DFU cada par de elementos no nulos tiene un mı́nimo
común múltiplo.

UMSA FCPN Matemática