I'm working through a higher algebra textbook. It has some exercises related to the positive integers and I'm stuck on this proof. Here's what I have so far:
Assume the contrary, [(xy=0)∧(x,y∈ℤ)]→¬[(x=0)∨(y=0)]→[¬(x=0)∧¬(y=0)]→[(x≠0)∧(y≠0)]
Now let x be symbolised by the pair of positive integers (a,b). Likewise, let y be symbolised by the pair of positive integers (c,d)
Pause here. I can complete the proof iff I get a proof that ab=cd→[(a=c AND b=d) OR (a=d AND b=c) OR (a=kc AND kb=d) OR (a=kd AND kb=c)] where a,b,c,d,k are positive integers and k>1. This seems obvious to me; but it seems daunting to proof it with so many variables and equipped little more than with induction and basic logic. So, if anyone can prove either the original proposition or the one I now would like I would be most grateful. I've already checked out this similar question but the only answers there require a definition for the multiplicative inverse, which isn't defined just yet. Neither is division, or subtraction for positive integers.
Additive and multiplicative cancellation, communicative and associative laws, the distributive law, inequality; that given a+x=b for positive integers a,x,b, a< b, and that either a< b XOR a>b XOR a=b, transitive law of inequality, postulate of finite induction.
For integers, they have been defined as pairs of positive integers. An equality (a,b)=(c,d) holds IFF a+d=b+c. (a,b)+(c,d)=(a+c,b+d), (a,b)·(c,d)=(ac+bd,ad+bc). I understand that this is probably not the standard way of doing things, so feel free to avoid the notation and stick with negative numbers, but be warned that manipulations involving positive integers must not be mixed with integers.
There are other axioms but most are irrelevant. If you'd like to know whether I have a specific concept defined yet, just ask.
For the curious, the textbook is Higher Algebra for the Undergraduate 2nd Ed. Written by Marie J. Weiss and Roy Dubisch. This isn't for homework or anything, I just got a load of old textbooks from a friend and am just working through them before I leave high school.