Go backward to IllustrationGo up to TopGo forward to Example |

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

h(x) := <x, 0>.

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

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

i.e., `h` is a homomorphism from **N** to **Z**
(for the operations + and *).

Author: Wolfgang Schreiner

Last Modification: December 7, 1999