Problems I - Groups Theory

Licenciatura en Matemáticas
Universidad del Cauca
Ms. Jose L. Herrera

1. Sean a, b y c enteros. Probar las siguientes afirmaciones

a. Si (a, b) = 1, c | a y d | b entonces (c, d) = 1.

b. Si (a, b) = (a, c) = 1 entonces (a, bc) = 1.

2. Suponga que d es el máximo común divisor de los enteros a y b. Probar que existen
enteros x e y tales que
d = ax + by.
Dar un contraejemplo para mostrar que el reciproco es falso.

3. Supongamos que a, b y c son enteros. Probar que

(ac, bc) = |c|(a, b).

Ayuda: Usar el ejercicio anterior.

4. Sean a, b ∈ Z. Probar que

(a, b) = 1 si y sólo si existen x, y ∈ Z tales que ax + by = 1.

5. Sea n ∈ Z tal que n ≥ 2. Suponga que

n = pα1 1 pα2 2 . . . pαk k ,

donde p1 , . . . , pk son primos distintos y α1 , . . . , αk son enteros positivos. Probar que

d | n si y sólo si d = pβ1 1 p2β2 . . . pβk k , con 0 ≤ βi ≤ αi para cada i ∈ {1, . . . , k} .

6. Suponga que a y b son enteros positivos que admiten las siguientes descomposiciones

a = pα1 1 pα2 2 . . . pαk k y b = pβ1 1 pβ2 2 . . . pβk k ,

donde los pi son primos distintos y los αi y βi son enteros no negativos. Probar que

(a, b) = pδ11 pδ22 . . . pδkk ,

donde δi = min {αi , βi } para cada i = 1, 2, . . . , k.

7. Un entero n se llama libre de cuadrados si no existe un primo p tal que p2 | n. Probar que
para cada entero n ≥ 1, existen enteros a > 0 y b > 0 tales que n = a2 b, donde b es libre de
cuadrados.

8. La sucesión de Fibonacci se define por medio de la fórmula de recurrencia Fn+1 = Fn + Fn−1

con F1 = F2 = 1. Probar que

(Fn , Fn+1 ) = 1 para todo n ≥ 1.

 9. Sea f : A −→ B una función sobreyectiva entre conjuntos no vacios. Definimos la siguiente
relación binaria sobre el conjunto A:

a ∼ b si y sólo si f (a) = f (b).

Probar que:

a. La relación dada es de equivalencia.

b. Determinar la clase de equivalencia de un elemento arbitrario de A.

10. Sea n ∈ Z+ . Usar el algoritmo de la divisón para probar que para todo a ∈ Z, existe r ∈ Z tal
que
[a] = [r] tal que 0 ≤ r < n.

11. Sea n ∈ Z+ . Definimos

A = {[0], [1], . . . , [n − 1]} y B = {[a] : a ∈ Z} .

Probar que

• Todos los elementos de A son distintos.

• A = B.

12. Sean n ∈ Z+ y [a1 ], [b1 ] ∈ Zn . Si a2 ∈ [a1 ] y b2 ∈ [b1 ], probar que

[a1 ] + [b1 ] = [a2 ] + [b2 ] y [a1 ] · [b1 ] = [a2 ] · [b2 ]

13. Decimos que Zn es un cuerpo cuando Z∗n = {[a] ∈ Zn : [a] 6= [0]}. Probar que

Zn es un cuerpo si y sólo si n es primo.

14. El Mı́nimo Común Multiplo de dos enteros a y b se designa por [a, b] y se define como sigue

|ab|
 (a,b) si a =
 6 0 y b 6= 0
[a, b] =

 0 si a = 0 o b = 0.

Probar que si a, b ∈ Z+ que admiten las siguientes descomposiciones

a = pα1 1 pα2 2 . . . pαk k y b = pβ1 1 pβ2 2 . . . pβk k ,

donde los pi son primos distintos y los αi , βi ∈ Z+ , entonces

[a, b] = pδ11 pδ22 . . . pδkk ,

donde δi = max {αi , βi } para cada i = 1, 2, . . . , k.

Page 2