In: Advanced Math
Let X be the set of equivalence classes. So X = {[(a,b)] : a ∈ Z,b ∈ N} (recall that [(a,b)] = {(c,d) ∈Z×N : (a,b) ∼ (c,d)}).
We define an addition and a multiplication on X as follows: [(a,b)] + [(c,d)] = [(ad + bc,bd)] and [(a,b)]·[(c,d)] = [(ac,bd)]
Prove that this addition and multiplication is well-defined on X.