Bei Z/k gibt es doch nur endlich viele Elemente, vertreten durch
0 , 1, 2, ...., k-1
wenn du jetzt deine Abbildung anwendest, erhältst du
1 , 2 ........ k = 0 denn k mod k ist ja 0.
Also entstehen für verschiedene Werte von n auch
verschiedene f(n) , also inj.
Und bei f(n) kommen alle von Z/k vor, also surj.