If $(a,b)\sim(A,B)$ and $(c,d) \sim (C,D)$ prove $(a,b)(c,d)\sim(A,B)(C,D)$

Question

If $(a,b) \sim (A,B)$ and $(c,d) \sim (C,D)$, where all pairs are whole numbers,

Prove that: $(a,b)*(c,d)\sim(A,B)*(C,D)$

Relation defined on the following:

$(a,b)\sim (A,B) \iff a+B=A+b$

$(c,d)\sim(C,D) \iff c+D=C+d$

For this I am assume we have to work a little backwards to show the proof, any tips on how to go about this.

$(a,b)+(c,d)=(a+c, b+d)$ and $(a,b)*(c,d)=(ac+bd, ad+bc)$

Could you define your symbols a bit more? $~$ is a general binary relation and it makes me nervous to interpret $*$ willy-nilly in that case. — Kitter Catter, Dec 06 '16 at 02:55
@BillDubuque that is what I pointed out to my professor, but as he explained we can assume the old material we learned in the sense that (a,b)~(c,d)=(a+c, b+d) and (a,b)*(c,d)=(ac+bd, ad+bc) is all we covered in this class....So I am stuck trying prove the above question. Any idea on what I should do thanks! — , Dec 06 '16 at 02:56
@KitterCatter * as in multiply on my exam question its a dot slightly higher then the middle, the assumption I made along with my class mates is that he meant multiply. — , Dec 06 '16 at 02:59
It appears that you are constructing the integers as differences of naturals, is that correct? Thus $(a,b)\sim(A,B)\iff a+B = A+b,,$ correct? — Bill Dubuque, Dec 06 '16 at 03:02
You need to add that context to your question since it is impossible infer otherwise. — Bill Dubuque, Dec 06 '16 at 03:05
Added, thanks for the suggestion. This may actually help me more the fact that I needed that information myself. — , Dec 06 '16 at 03:09
@JamesMcNoir Don't forget to include the definition of the $*$ operator. — Erick Wong, Dec 06 '16 at 03:46
Some related questions: Showing the consistency of an equivalence relation over *, Show that multiplication $[(x, y)] * [(n,m)] = [(xn + ym, xm + yn)]$ is also well-defined, Definition of multiplication intuition (Set theory), Equivalence Relations and Equivalence Classes. — Martin Sleziak, Dec 09 '16 at 04:50
They were found using Approach0 - I tried this query and this query — Martin Sleziak, Dec 09 '16 at 04:51

score 2 · Answer 1 · edited Apr 13 '17 at 12:20

If you already know that $\sim$ is equivalence relation, then it suffices to show that $$(a,b) \sim (A,B) \implies (a,b)\ast(c,d) \sim (A,B)\ast(c,d). \tag{1}$$

Once you have this, you can get also $(a,b)\ast(c,d)\sim(A,B)\ast(c,d)$ using transitivity of $\sim$ and commutativity of $\ast$.

So to prove (1) we assume that $(a,b)\sim(A,B)$, i.e., that $a+B=A+b$. And we try to say something about $(ac+bd,ad+bc)$ and $(Ac+Bd,Ad+Bc)$.

We get $$(ac+bd) + (Ad+Bc) = (a+B)c+(A+b)d = (A+b)c+(a+B)d = (Ac+Bd)+(ad+bc)$$ which is exactly $$(ac+bd,ad+bc)\sim(Ac+Bd,Ad+Bc).$$

It is worth mentioning that this is equivalence relation is often used to construct integers from natural numbers. Which is a reason why it is better to avoid using subtraction in the proof - we assume that only operation which was defined so far.

We can embed cancellative commutative semigroup into a group using a similar approach.

Beat me to finishing it up. I like the second link thanks for a good read! — OLE, Dec 09 '16 at 18:16

score 0 · Answer 2 · answered Dec 06 '16 at 04:08

0

You only need to prove $ac+bd-AC-BD=ad+bc-AD-BC$, so you only need to prove $a(c-d)+A(D-C) +b(d-c)+B(C-D)=0$, left is equal to $(a-b)(c-d)+(A-B)(D-C)$ Clearly it is zero, since $A-a=B-b, C-c=D-d$

answered Dec 06 '16 at 04:08

noname1014

2,573

1

mind explaining how you derive the first equation you have gotten. – OLE Dec 09 '16 at 02:59

score 0 · Accepted Answer · answered Dec 11 '16 at 01:14

Notice:

$(a,b)~(A,B)⟹ a+B=b+A ⟹ B-A=b-a$ This ending will call **

$(c,d)~(C,D)⟹ c+D=d+C ⟹ c-d=C-D$ This ending will call **

Use ** so that we get: $(C-D)(B-A)=(c-d)(b-a)$

Foil:

$BC+AD-AC-BD=bc-ad-ac+ad$

Rearrange the terms to get: $ac+bd+AD+BC=ad+bc+AC+BD$

Which is $(ac+bd,ad+bc)~(AC+BD,AD+BC)$

$(a,b)*(c,d)~(A,B)(C,D)$

As we needed to prove.

If $(a,b)\sim(A,B)$ and $(c,d) \sim (C,D)$ prove $(a,b)(c,d)\sim(A,B)(C,D)$

3 Answers3

Linked

If $(a,b)\sim(A,B)$ and $(c,d) \sim (C,D)$ prove $(a,b)*(c,d)\sim(A,B)*(C,D)$

3 Answers3

Linked

If $(a,b)\sim(A,B)$ and $(c,d) \sim (C,D)$ prove $(a,b)(c,d)\sim(A,B)(C,D)$