Go backward to ExampleGo up to TopGo forward to Example |

Take `h`: **Z** -> **Q** defined as

h(x) :=x/1_{Z}.

Then we have, for all `x` in **Z** and `y` in **Z**,

h(x+_{Z}y)= h(x) +_{Q}h(y);h(x-_{Z}y)= h(x) -_{Q}h(y);h(x*_{Z}y)= h(x) *_{Q}h(y)

i.e., `h` is a homomorphism from **Z** to **Q**
(for operations +, -, *).

Author: Wolfgang Schreiner

Last Modification: December 7, 1999