2. Let us take for granted m~n which means 2|m+n.

Again, n~m, means 2|n + m. Now m+n=n+m

Therefore, IF m~n, THEN n~m (Thats symmetry)

3. Let us take for granted m~n and n~o

Therefore, 2|m+n and 2|n+o. Let m + n = 2k and n + o = 2j, Now m + o = 2k + 2j - 2n = 2(k+j -n)

Thus 2|m+o; Thus, m~o (Thats Transitivity)

From 1, 2 and 3 ~ is symmetrical, transitive and reflexive. Therefore ~ is an equivalence relation

]]>

Let ~ be the relation defined on Z by

m~n <--> 2 devides m+n

show that ~ is an equivalence relation

describe the partition of Z determined by the equivalence classes of ~

any help is much appreciated.

thanks.