We define an equivalence relation on :
iff . Note that
``simulates'' a division in *Z*. . We will refer to the
elements of *Q* by giving them a subscript . The elements of *Z* can be
embedded as follows: such that . Furthermore we can define:

- iff

when

Mon Feb 23 16:26:48 EST 1998