The class of equivalence.

Let $Q$ be the following set of $\mathbb{Z}\times \mathbb{Z}$
Q=\{(a,b)\in \mathbb{Z}\times \mathbb{Z} | b\neq 0\}
Define the relation $\sim$ on $Q$ as
(a,b)\sim (c,d)\Leftrightarrow ad=bc
Prove that $\sim$ is a relation of equivalence, and give the class of equivalence of $[(2,3)]$. Furthermore the general order of equivalence of $[(a,b)]$. Try to give a description $Q/\sim$.

I’ve asked the same question (I deleted it one hour later) but it didn’t look well when I didn’t try to add what I tried. Here we go. I have proven that $\sim$ is a relation of equivalence by showin it’s i) reflexive, ii) symmetric and iii) transitive.

i) $\forall (a,b)\in Q:(a,b) \sim (a,b)$.

$\forall (a,b)\in Q:(a, b) \sim (a, b) \Leftrightarrow ab \stackrel{\surd}= ab$

ii) $(a, b) \sim (c, d) \Rightarrow (c, d) \sim (a,b)$

$(a, b) \sim (c, d) \Leftrightarrow ad = bc$ and $(c, d) \sim (a, b) \Leftrightarrow cb = da$

then $ad = bc \stackrel{\surd}\Rightarrow cb = da$.

iii) $[(a, b) \sim (c,d) \wedge (c, d) \sim (e, f)] \Rightarrow (a, b) \sim (e, f)$

$(a, b)\sim (c, d) \Leftrightarrow ad = bc$, $(c, d) \sim (e, f) \Leftrightarrow cf = de$ and $(a, b) \sim (e, f) \Leftrightarrow af = be$

then $((ad = bc) \wedge (cf = de))\stackrel{\surd}\Rightarrow af = be$.

The class of eq. $[(2,3)]$ is the class, that contains the element $(2,3)$, so for every element $(a,b)$ in this class satisfies $(a,b) \sim (2,3) \Leftrightarrow 3a=2b$, that is
[(2,3)] = \lbrace (a,b) \in \mathbb{Z}\times\mathbb{Z} | b \neq 0 \wedge 3a = 2b \rbrace

So now I’ve shown what I tried to show. Is there something I’m missing or something I should have mentioned? I need some help to answer the rest. Thanks.

Solutions Collecting From Web of "The class of equivalence."