Go backward to Isomorphism of Integer Constructions
Go up to Top
Go forward to Isomorphism of Rational Constructions

Rational Numbers

Definition: Set of rational numbers Q:

x ~ _Q y : <=> (x₀ *_Z y₁ = y₀ *_Z x₁)

Q:= (Z x Z_{!= 0})/ ~ _Q

Arithmetic: see lecture notes.

Author: Wolfgang Schreiner
Last Modification: January 12, 2000