If $(a,b)\sim (c,d)$ means $ad=bc$ prove that $\sim$ is an equivalence relation on $S$.

by K Math   Last Updated August 10, 2018 12:20 PM

$A$ is an integral domain, $S=\{(a,b)\mid a,b \in A \text{ and } b\neq 0\}$. If $(a,b)\sim (c,d)$ means $ad=bc$, prove that $\sim$ is an equivalence relation on $S$.

I have already proven that $\sim$ is reflexive and symmetric. I am stuck on transitivity. I have:

If $(a,b)\sim(c,d)\Leftrightarrow ad=bc$ and $(c,d)\sim(e,f)\Leftrightarrow cf=de$ then $(a,b)\sim (e,f)\Leftrightarrow af=be$. Should I be solving with subsitution?



Answers 2


Let be $(a,b)\sim (a', b')$ and $(a',b')\sim (a'', b'')$.

Then:

$b'(ab''-a''b)=\underbrace{ab'b''-a'bb''}_{b''(ab'-a'b)}+\underbrace{a'bb''-a''bb'}_{b(a'b''-a''b')}=0$, because $A$ is an integer domain and $b'\neq 0$ it is $ab''=a''b$

Cornman
Cornman
November 01, 2017 14:44 PM

You can't make substitution such as $a=\frac{bc}{d}$ because you only know that $A$ is an integral domain, but not necessarily a field. Instead, what you do is try to prove that $afx=bex$ for some well-chosen $x$; in an integral domain, this is equivalent to $af=be$.

Particularly interesting examples of $x$ would be $x=c$ or $x=d$, so that you can use the different relations you already know.

Arnaud D.
Arnaud D.
November 01, 2017 14:47 PM

Related Questions


Why is $\mathbb{Z}_m$ an abelian ring?

Updated June 12, 2017 20:20 PM

Group of units on $S^{-1}R$

Updated May 14, 2015 01:08 AM

$J/I\trianglelefteq R/J$ Ideal

Updated July 12, 2018 12:20 PM


Understanding Equivalence Classes?

Updated August 25, 2017 21:20 PM