# Thread: Equivalence Classes proof.. simple but no idea where to start...

1. ## Equivalence Classes proof.. simple but no idea where to start...

Prove that for elements x, y, z Zm, we have (x ⊕ y) ⊕ z = x ⊕ (y ⊕ z)

and that x ⊗ y = y ⊗ x

Zm being an equivance class [x]m for some x ∈ Z

2. Originally Posted by richmond91
Prove that for elements x, y, z Zm, we have (x ⊕ y) ⊕ z = x ⊕ (y ⊕ z) and that x ⊗ y = y ⊗ x
Zm being an equivance class [x]m for some x ∈ Z
I am so sorry to tell you this, but I have no idea what that question means.
The I cannot even read the notation.
Can you rewrite the question?
Or at least explain what the notation means.

3. Originally Posted by richmond91
Prove that for elements x, y, z Zm, we have (x ⊕ y) ⊕ z = x ⊕ (y ⊕ z)

and that x ⊗ y = y ⊗ x

Zm being an equivance class [x]m for some x ∈ Z
Is $x \oplus y$ defined as $x+y-xy$?

4. sorry if it is not very clear... the question is regarding equivalence classes congruence classes of modulo m. does that make it any clearer? i'm not too sure what the question wants me to do..

its basically asking to prove that when adding and multiplying congruent classes in modular arithmetic it does not matter about where brackets are when adding, and the order of multiplication... i think.

Thanks

Ps - in Zm i mean Zm (set of integers modulo m)

5. Originally Posted by richmond91
Prove that for elements x, y, z Zm, we have (x ⊕ y) ⊕ z = x ⊕ (y ⊕ z)

and that x ⊗ y = y ⊗ x

Zm being an equivance class [x]m for some x ∈ Z

So $[x]_{m} \oplus [y]_m = [x+y]_m$.