Skip to content
Exercise: Equivalence Relations · Q12

Q.Show that the relation RR on Z\mathbb{Z} defined by a R ba\,R\,b iff 44 divides a−ba - b is an equivalence relation, and list its equivalence classes.

West Bengal WbchseTextbookSubjectiveImportance★★★★★
29% · 14/49 Questions
✓ Free question

Reflexive: a−a=0a-a=0 and 4∣04\mid 0, so (a,a)∈R(a,a)\in R for every aa.

Symmetric: if 4∣(a−b)4\mid(a-b), write a−b=4ka-b=4k; then b−a=4(−k)b-a=4(-k), so 4∣(b−a)4\mid(b-a).

Transitive: if 4∣(a−b)4\mid(a-b) and 4∣(b−c)4\mid(b-c), write a−b=4k, b−c=4ma-b=4k,\ b-c=4m; then a−c=4(k+m)a-c=4(k+m), so 4∣(a−c)4\mid(a-c).

All three hold, so RR is an equivalence relation. The classes are grouped by remainder on division by 4:

[0]={…,−4,0,4,8,… }[0]=\{\dots,-4,0,4,8,\dots\}, [1]={…,−3,1,5,9,… }[1]=\{\dots,-3,1,5,9,\dots\}, [2]={…,−2,2,6,10,… }[2]=\{\dots,-2,2,6,10,\dots\}, [3]={…,−1,3,7,11,… }[3]=\{\dots,-1,3,7,11,\dots\}.

✓Final answer

RR is an equivalence relation; its 4 classes are [0],[1],[2],[3][0],[1],[2],[3], grouped by remainder mod 4.

Unlock everything free for 14 days

  • Full step-by-step solutions
  • Concept-first explanations
  • Methods, shortcuts & mistakes
  • PYQ mapping + timed mock tests

Full access for 14 days. No credit card required.