Es sei ≡ die Äquivalenzrelation
a ≡ b ⇔ 7 teilt b - a
auf der Menge ℤ der ganzen Zahlen. Weiter bezeichne ℤ/7ℤ die Menge der Äquivalenzklassen bzgl. ≡.
Zeigen Sie, dass [a] * [b] := [ab] eine wohldefinierte Verknüpfung auf ℤ/7ℤ ist.
Wie fange ich hier an? Die Aufgabe verwirrt mich total.