Man betrachte Z/mZ, definiert als die Restklassen modulo m mit m ∈ Z.
Ich soll nun eine Abbildung ·m erstellen, die die bekannte Multiplikation zweier Restklassen darstellt und auch noch zeigen, dass Z/mZ abgeschlossen unter dieser Multiplikation ist, d.h. ∀a, b ∈ Z/mZ : a · b ∈ Z/mZ.
Bräuchte Hilfe !