Go backward to Isomorphism of Integer ConstructionsGo up to TopGo forward to Isomorphism of Rational Constructions |

*Definition:* Set of rational numbers **Q**:

x~_{Q}y: <=> (x_{0}*_{Z}y_{1}=y_{0}*_{Z}x_{1})Q:= (ZxZ_{ != 0})/ ~_{Q}

*Arithmetic:* see lecture notes.

Author: Wolfgang Schreiner

Last Modification: January 12, 2000