Zum besseren Verständnis der Grundlagen: Bei festem Modul \(m\in\mathbb{Z}\) lässt sich die Menge der ganzen Zahlen \(\mathbb{Z}\) in \(m\) verschiedene (, disjunkte) (Äquivalenz-)Klassen gleichen Restes bezüglich der Division durch \(m\) zerlegen. Die Klassen haben immer unendlich viele Elemente. Jedes Element einer Klasse kann als Repräsentant für die ganze Klasse stehen. Häufig werden als Repräsentanten die kleinsten, nicht negativen Reste gewählt, das muss aber keinewegs so sein.
Deine Abbildung
ℤ/5 → ℤ/3, 0↦ -7, 1↦0, 2↦5, 3↦11, 4↦ -31, 5↦ -4, 6↦66
wird durch sieben Wertepaare definiert, obwohl ℤ/5 nur fünf Elemente enthält. Was könnte uns das sagen? Jedenfalls nicht "Die 6 ist doch gar nicht in Z/5", denn das wäre nach dem oben Gesagten falsch.
Weiter wird bei der Abbildung der Restklasse 0 in Z/5 nicht "auf den Rest 1 in Z/3" abgebildet, sondern auf die Restklasse \(\,\dots\equiv -7 \equiv -4 \equiv -1 \equiv 2 \equiv 5 \equiv \dots\).
Vielleicht solltest Du zunächst versuchen, die Abbildung zu vereinfachen, indem Du möglichst kleine, nicht negative Repräsentanten für die 14 Werte in der Abbildungsdefinition wählst.
