Tengo una duda con los apuntes de Puddu, en un momento dice:

Consideremos la relación ≃ en definida por ≃ si y sólo si − es divisible por . Dejamos como ejercicio verificar que es una relación de equivalencia.

No puedo imaginármelo. ¿Alguna ayuda? ¿Qué pinta tienen los de la relación?

Desde ya muchas gracias

Osea tenes que ver que es transitiva, reflexiva y simetrica.
Si es que esa era tu pregunta

Andy, pensalo así, agarrá algun valor para b, por ejemplo 8, y fijate que valores de a cumplen que es divisible por 4, por ejemplo inclusive . Y eso para todos los b posibles, que son los enteros.
Los que yo mencioné serían, escritos como duplas de la forma

Estoy pensando este ejercicio pero no me termina de cerrar.

Hasta ahora veo que la relación básicamente tendría la pinta . Todos enteros

Quería ver que es una Relación de Equivalencia

Es claro que es Reflexiva, pues a si a=b la fórmula sigue funcionando (0 es múltiplo de cualquier número).
Es simétrica porque si doy vuelta a con b entonces sigue valiendo todo, es sólo un cambio de signo de un lado.
¿Pero cómo miro la transitividad? Es válido decir que si a esta relacionado con b entonces b sólo puede estar relacionado con a y como era reflexiva es también transitiva. ¿Cómo justifico esta idea?

Mirá lo pensé y se me ocurrió esto. Como vos dijiste, sería de la forma , si le tomás congruencia módulo 4, queda o sea y voilà. Eso ya te debería decir que es transitiva.

Sería algo así:
está relacionado con , entonces
está relacionado con , entonces
Queremos ver que está relacionado con c
Por propiedades de divisibilidad, , lo que significa que está relacionado con .

Esto, dicho en términos de congruencia (es el tema que viene después de divisibilidad) sería (se lee " es congruente a módulo ).
La congruencia es una relación de equivalencia, y la forma de probarlo (la única que conozco al menos) es hacerlo como te piden en el ejercicio.