Proof for a relation

58 Views Asked by At

Define a relationship $R$ on $\mathbb{Z}$ by declaring that $xRy$ if and only if $x^2 \equiv y^2 (mod 4)$. Prove that $R$ is reflexive, symmetric and transitive.

I'm unsure of where to start with this question.

1

There are 1 best solutions below

0
On

Not to hard to prove that:

  1. $x^2\equiv x^2($mod $4)$ (reflexivity)
  2. $x^2\equiv y^2($mod $4)\Rightarrow y^2\equiv x^2($mod $4)$ (symmetric)
  3. And $x^2\equiv y^2($mod $4)\wedge y^2\equiv z^2($mod $4)\Rightarrow x^2\equiv z^2($mod $4)$ (transitiv)