MAT1206 - Introducción al Álgebra

Semana 13: 24, 25 y 29 de mayo de 2017

“Historia”: Diofanto de Alejandrı́a, s. III después de Cristo. Recibimos el álgebra de los árabes
(de hecho la llamamos por su nombre árabe); en ellos influyeron los indios y Diofanto (considerado
por algunos el padre del álgebra). Según Wikipedia, fue el primer matemático griego que reconoció
los racionales como números en el sentido de poder usarlos como coeficientes y soluciones en las
ecuaciones. En Diofanto de Alejandrı́a se ve lo que era la Alejandrı́a del s. III; y en Alejandrı́a
vemos la intervención en la historia de Alejandro Magno. William Ospina (escritor colombiano)
considera (en su Álgebra embrujada) que la motivación principal que tuvo Alejandro Magno para
salir a formar el imperio más grande de la antigüedad fue que su tutor (Aristóteles) le sugirió que
era necesario helenizar al mundo. Equivocado o no, de no haber sido por la llama que siguió viva
en Alejandrı́a (y nos llegó después a través de los moros y de Bizancio, Venecia y el renacimiento)
tal vez no hubiéramos conocido los tesoros de la matemática de los griegos (quienes a su vez se
nutrieron de egipcios y mesopotámicos).
Según Wikipedia, la traducción más popular al latı́n de (lo que se salvó de) la Aritmética de
Diofanto fue la de Bachet (el del teorema de Bachet-Bézout -que el mcd es la menor c.l. positiva-).
El libro en el que Fermat escribió que no le alcanzaba el espacio para escribir su demostración fue
la Aritmética de Diofanto. Aunque Fermat no haya podido hacer una demostración rigurosa, tal
vez sı́ vio, de alguna manera intuitiva, que el teorema tenı́a que ser cierto. Andrew Wiles 1994:
problemas fachada (trabajó en el último teorema de Fermat, en forma secreta, por siete años). El
edificio del Inst. de Mat. en Oxford hoy lleva su nombre.
Ramanujan y Hardy: los taxicab numbers.
Hay toda un área de la matemática hoy llamada el análisis Diofántico. La conj. de Erdös-Straus:
invitación a hacerse famosos. La matemática no está toda hecha, es falso lo de que “no hay nada
nuevo”: está todo por hacer. Invitación a la investigación.

Resumen:

Sean a, b, c enteros. Una condición necesaria y suficiente para que el sistema ax + by = c tenga
solución en los enteros es que el mcd(a, b) divida a c.
(Ver p.ej. la Proposición 2, §7.4 en [1])
Dem.: para un lado a = a0 d, b = b0 d, c = c0 d; Euclides-Bachet-Bézout dan s, t t.q. a0 s+b0 t = d;
multiplicar por c0 .
Para el otro lado: ax y by son múltiplos de d entonces también c por ser la suma de ambos.

Sean a, b, c enteros. Sea (x0 , y0 ) una solución particular de

ax + by = c. (1)

(i) Si (x1 , y1 ) es una solución de (1) entonces x1 = x0 + u, y1 = y0 + v donde (u, v) es una

solución de
ax + by = 0. (2)
(ii) Si (u, v) es una solución de (2), entonces (x0 + u, y0 + v) es una solución de (1).
(Ver Proposición 2, §7.4 en [1])

1
Sean a, b enteros no ambos 0. Sea c ∈ Z y asumamos que d = mcd(a, d) divide a c. Sean
a = a0 d, b = b0 d. El conjunto de soluciones enteras de

ax + by = c (3)

es (
x = x0 − b0 t,
y = y0 + a0 t.
donde (x0 , y0 ) es una solución particular de (3) y t ∈ Z.
(Ver corolario a Proposición 2, §7.4 en [1])

¿Qué dı́a de la semana será dentro de 100 dı́as? (Primos entre sı́, Omar Gil)

[100] = [49 · 2 + 2] = [49] · [2] + [2] = [0] · [2] + [2] = [0 · 2] + [2] = [0] + [2] = [0 + 2] = [2].

[100] = [10] · [10] = [3] · [3] = [9] = [2].

Sea n ∈ N fijo y R la relación binaria en Z definida por a R b si y solo si a − b = kn para algún

k ∈ N. Si a R b decimos que a es congruente a b módulo n; se denota también por a ≡ b (mód
n). Se tiene que R es una relación de equivalencia. Hay exactamente n clases de equivalencia.

Definición 1 Al conjunto cociente


Z R = {[s] : s ∈ N} = {[0], [1], [2], . . . [n − 1]}

lo llamamos el conjunto de las clases modulares y lo denotamos por Zn .

Podemos definir la suma en Zn como [a]n + [b]n := [a + b]n . Es necesario mostrar que la
definición funciona: sean a1 R a2 y b1 R b2 . Tenemos que (a1 + b1 ) R (a2 + b2 ).

Podemos definir el producto en Zn como [a]n × [b]n := [a × b]n . Es necesario mostrar que la
definición funciona: sean a1 R a2 y b1 R b2 . Tenemos que (a1 × b1 ) R (a2 × b2 ).

La definición de la suma en Zn establece la siguiente relación entre pares (x, y) de clases en

Zn × Zn y clases z en Zn :
decimos que x + y = z si existen a ∈ x y b ∈ y tales que a + b ∈ z.
Que la suma está bien definida equivale a que todo par (x, y) ∈ Zn × Zn está relacionado con
una, y solo una, clase z ∈ Zn . A su vez, esto equivale a decir que esa relación es una función
(más precisamente, que define una función de Zn × Zn a Zn ).

Las operaciones de Zn satisfacen la distributividad, conmutatividad y asociatividad.

[0]n es el neutro aditivo en Zn .

Ejemplo. Consideremos [2]6 y [3]6 . Se tiene que [2]6 ×[3]6 = [6]6 = [0]6 . Por otro lado [2]6 6= [0]6
y [3]6 6= [0]6 . Es decir, hay dos elementos distintos de cero cuyo producto es cero.

Consideremos n ≥ 2. Existen a, b ∈ Zn , a 6= [0]n , b 6= [0]n con ab = [0]n si y solo si n no es

primo. (La demostración se basa en el Lema de Euclides.)

2
 Ejercicios (opcionales)

1. Demuestre que la función a ∈ {0, 1, . . . , n − 1} 7→ [a] ∈ Zn es biyectiva. Concluya que Zn tiene

cardinalidad n.

2. Escriba la tabla de la suma y la multiplicación en Z7 . Haga lo mismo ahora para Z6 . ¿Observa

alguna diferencia?

3. Demuestre que la suma y el producto en Zn satisfacen la distributividad, conmutatividad y

asociatividad.

4. Demuestre que [0] y [1] son el neutro aditivo y el neutro multiplicativo en Zn .

5. Reflexione sobre por qué prender y apagar un interruptor constituye un ejemplo del hecho
que [1] + [1] = [0] en Z2 .

6. Demuestre que en Z63 hay clases distintas de [0] cuyo producto es [0].

7. Muestre que en Z5 no hay elementos a 6= [0]5 , b 6= [0]5 con ab = [0]5 .

Referencias
[1] Humberto Cárdenas, Emilio Lluis, Francisco Raggi, Francisco Tomás, Álgebra superior, Editorial
Trillas 1990.