Go backward to Rational NumbersGo up to TopGo forward to Summary |

*Proposition:*
Let **Q**' denote the old construction of the integers and **Q**
denote the new one. The function
`i`: **Q**' -> **Q**

is an isomorphism with respect to 0, +, -, *, ', <, i.e.,

i(x) := [x]

i(0_{Q'})= 0 _{Q},i(x+_{Q'}y)= i(x)+_{Q}i(y),i(-_{Q'}x)= - _{Q}i(x),i(x-_{Q'}y)= i(x)-_{Q}i(y),...

*Inverse Isomorphism:* `j`: **Q** -> **Q**', `j`(`x`) := `x`_{0}/`x`_{1}.

Author: Wolfgang Schreiner

Last Modification: January 12, 2000