Go backward to Illustration Go up to Top Go 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+Ny) = h(x) +Z h(y); h(x*Ny) = h(x) *Z h(y)
i.e., h is a homomorphism from N to Z (for the operations + and *).