Solved: Define a relation on ordered pairs of integers
Chapter 0, Problem A-1.22(choose chapter or problem)
Define a relation on ordered pairs of integers with second entry nonzero by (w, x) (y, z) ifand only ifw . z = x . y. Show that the operations [(w, x)." + [(y, z)." = [(w z +xy, x z)]", and [(w, x)]", [(y, z)]", = [(w y, x . z)." are well-defined, that is, they do not depend on the representative of the equivalence classes chosen for the computation.
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer