Demostración "Relación congruencia mod n"

Lema: La relación "congruencia módulo n" define una relación de equivalencia en el conjunto de los enteros.

Demostración:

1. PD que la relación es reflexiva, es decir,  $\forall$ a ∈ $\mathbb{Z}$, a ≡ a $mod$ n.
Sea a ∈ $\mathbb{Z}$, a-a=0 , $\Rightarrow$ n $\mid$ a-a         (n$\mid$0)
$\Rightarrow$ a ≡ a $mod$ n
Ya que a es un número entero arbitrario,  $\Rightarrow$  $\forall$ a ∈ $\mathbb{Z}$, a ≡ a $mod$ n
$\Rightarrow$ La relación es reflexiva.

2. PD que la relación es simétrica, es decir,  si  a ≡ b $mod$ n $\Rightarrow$ b ≡ a $mod$ n.
Sea a,b ∈ $\mathbb{Z}$ tal que a ≡ b $mod$ n $\Rightarrow$ n$\mid$ a-b
$\Rightarrow$ n$\mid$(-1)(a-b) , $\Rightarrow$ b ≡ a $mod$ n.
$\Rightarrow$ La relación es simétrica.

3. PD que la relación es transitiva, es decir, si a ≡ b $mod$ n y b ≡ c$mod$ n, $\Rightarrow$ a ≡ c$mod$ n.
Sean a,b,c  ∈ $\mathbb{Z}$ tal que a ≡ b $mod$ n y b ≡ c$mod$ n,
$\Rightarrow$ n$\mid$a-b y n$\mid$b-c  (por def. de la relación)
$\Rightarrow$ n$\mid$(a-b) + (b+c) $\Rightarrow$ n$\mid$a-c

Por definición de la relación,  $\Rightarrow$ a ≡ c$mod$ n.
$\Rightarrow$ La relación es transitiva.

$\therefore$ La relación de congruencia mód n es relación de equivalencia.