Equivalance classes and integer addition

[hitmeoff]

Homework Statement

Prove: If a and b are in N the [(1,1+a)] + [(1,1+b)] = [(1,1+a+b)]

Homework Equations

Definition: We define + over Z as follows: if [(a,b)] and [(c,d)] are any two equivalence classes, we define

[(a,b)] + [(c,d)] = [(a+c,b+d)].

The Attempt at a Solution

So the left hand is [(2,2+a+b)] since 2, a, b are all \in N does this mean this is equivalent to [(1,1+a+b)]?

 

[HallsofIvy]

What is the equivalence relation?

One way of defining Z from N is to say that two pairs of natural numbers, (a, b) and (c, d) are equivalent if and only if a+ d= b+ c. Is that the equivalence relation you are using?

 

[hitmeoff]

What is the equivalence relation?

One way of defining Z from N is to say that two pairs of natural numbers, (a, b) and (c, d) are equivalent if and only if a+ d= b+ c. Is that the equivalence relation you are using?

ahh..yes yes it is. i didnt quit understand my notes. i got the solution, thanks for clearing it up