Are Non-linear Functions Also Homomorphisms Between Modulo Groups?

[raynard]

I was wondering, if we want to define a morphism from
\mathbb{Z}₂₀₀₆ to, let's say \mathbb{Z}₃₀₀₈.
Obviously, all linear functions like $ x \rightarrow a\cdot x$ will do, but are there any other functions which can result in a homomorphism?

 

[Outlined]

Well, in the case of this cyclic group an homomorphism depends on the generating element of the group. When you have the image of your generating element you have the image of every other element of the group. The only restriction is

image_generating_element²⁰⁰⁶ = 0.

In your case the claim that all homom. will do is FALSE. Example, define

f : Z₂₀₀₆ -> Z₃₀₀₈
x |-> 20x.

Apply f to 2006 = 1 + 1 + ... + 1:

1016 = 40120 = 20 + 20 + ... + 20 _{[2006 times]}= f(1) + f(1) + ... + f(1) _{[2006 times]}= f(1 + 1 + ... + 1 _{[2006 times]}) = f(2006) = f(0) = 0

CONTRADICTION

 

[raynard]

I understand my error in believing every linair function will result in a homomorphism.
However, I don't fully understand how the restriction on a generator (gen²⁰⁰⁶ = 0) can help in finding function that do result in a morphism. The only possible combination is the trivial solution x |-> x.

 

[Outlined]

Well, sometimes a homomorphism doesn't even exists (except for the trivial homom. which maps everything to 0), for example, try to find a homom. between Z₆ and Z₇ (in which EVERY element is of order 7, as 7 is prime).