I was given the following task to solve
Let $n > 1$ be a natural number. Define on $Z$ the following relation: $x \equiv y$ mod $n$ if $x-y$ can be divided by $n$. Show that operations of addition and multiplication on $Z$ are "agreed" with this equivalence relation.
I don't understand this task. Could you please explain what we have to show ?
- We have a relation $x \equiv y $ mod $n$ with 3 variables now, i.e $x$~$y$~n ?
- Show that operations of addition and multiplication on $Z$ are "agreed" with this equivalence relation. What does it mean ?
UPD. Let's prove that operation of addition is compatible with equivalence relation.
Suppose that $x\equiv y\pmod n$ and $w\equiv v\pmod n$. Then $y -x = n *i$ and $v -w = n * k$. Adding up both equations we get $(y+v) - (x+w) = n*(k*i)$.Hence, $x+w\equiv y+v\pmod n$. Hence addition is compatible with this relation.
Proof that multiplication is compatible.
Consider $y = x + ni$ and $w = z + nl$ we have to show that $yw-xz = n * k$.
Multiplying both equations we get $yw = xz + xnl + zni + n^2li \to yw - xz = n(xl + zi + nli) $