Na dann ist es doch einfach:
Abbildung ℤ/3ℤ → ℤ/6ℤmit [a]3 → [2a]6
Bei ℤ/3ℤ gibt es doch nur 3 verschiedene Klassen
[0]3 und [1]3 und [2]3 und also auch nur drei Fälle der Zuordnung
[0]3 → [2*0]6 = [2*0]6 = [0]6
[1]3 → [2*1]6 = [2]6
[2]3 → [4]6
also ist die Abbildung injektiv; denn die drei Klassen
[0]6 [2]6 [4]6 sind verschieden, aber nicht surjektiv,
weil nicht alle Elemente von ℤ/6ℤ als Bilder vorkommen.